Let be the foot of the altitude from to the hypotenuse of a right triangle . The angle bisectors of the angles and intersect the segment in the points and respectively. If and are incircles of the triangles and respectively, prove that the quadrilateral is cyclic. (from an article of A. Marić)
Solution
Denote and . We have and .

The lines and are angle bisectors of the angles and , so the points and are collinear. We have . Also, .
Hence , so the triangle is isosceles and we have . This implies that the point lies on the bisector of the segment , so . From this we conclude .
Analogously, the triangle is isosceles and the point lies on the bisector of the segment , so .
We have shown which means that the points and are concyclic.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.