Given with , let be the bisector of with on the side . Let be a circle passing through and which is tangent to at . Suppose cuts the side again at . The tangent to the circumcircle of at intersects again at . Let be the intersection point of the segments and . Prove that is perpendicular to .
Solution
Let be the second intersection point of and . As
we have . Also, we have since
This shows , and hence is an isosceles trapezoid. Thus, the intersection point of the diagonals lies on the perpendicular bisector of . Note that also lies on the perpendicular bisector of because bisects and , , , are concyclic. Therefore, , which implies .
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.