Let be a right-angled triangle with and . The perpendicular at the midpoint of meets the bisector of the angle at the point . The perpendicular bisector of meets at . Prove that is perpendicular to .
Solution
Alternative Solution by PSC. Let be the point of intersection of with . The triangles and are equal since they have equal angles and . They also share the angle , so they must have identical incenter.
Let be the midpoint of . We have . So the triangle is isosceles and therefore is a bisector of . So the incenter of belongs on . Since it shares the same incenter with , then is the common incenter. We can now finish the proof as in the first solution.
!
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.