Let and be points on the sides and of the triangle respectively. The circumcircle of the triangle and the line through , which is parallel to , intersect again in a point . The line intersects the side in a point . Denote by the point on the line such that and the point lies between the points and . Let be the intersection of the lines and . Assuming , prove that is the angle bisector of .
, 2015
Solution
Denote the intersection of the lines and by . We want to prove that
since it will follow that is the angle bisector of .
Since the points , and are concyclic, and the lines and are parallel, we have . Thus the points , and are concyclic.
Moreover, we have
. Hence the points , and are also concyclic.
This gives . Hence the points , and are collinear.
Since the lines and are parallel the triangles and have the same angles. Therefore they are similar and we have
For the same reason the triangles and also have the same angles. Therefore they are similar and we have
Since the lines , and intersect in the same point the Ceva's theorem gives
We also have and . Therefore the triangles and are similar and we get
Inserting (3) and (4) into the Ceva's theorem equation we get
Inserting this into (5) we get exactly (2) which we set out to prove. Therefore the line is indeed the angle bisector of .