<BZC =90^o wanted, touchpoints with incircle, _|_ bisector
Source: Indonesia INAMO Shortlist 2010 G2
August 27, 2021
geometryincircleright angle
Problem Statement
Given an acute triangle . The inscribed circle of triangle is tangent to and at and respectively. Let be the altitude. The perpendicular bisector of the segment intersects the line at . Prove that