Problem:
Triangle is right-angled at and has incentre . Points , and are the points where the incircle of the triangle touches the sides , and respectively. Lines and intersect at point . Lines and intersect at point . Prove that .
Problem:
Triangle is right-angled at and has incentre . Points , and are the points where the incircle of the triangle touches the sides , and respectively. Lines and intersect at point . Lines and intersect at point . Prove that .
Solution:
First note that because they are all radii of the incircle, and because tangents are perpendicular to radii. Since we have a square and so too. Thus is isosceles and so .

Since is the bisector of , we see that and are reflections of each other over line . Therefore . Hence
and therefore quadrilateral is cyclic. Therefore ( is a square). Since is the bisector of , we see that and are reflections of each other over line . Therefore . Hence
because they are both perpendicular to . We also have (because is a square) so is a parallelogram. Therefore
as required.