In triangle with , is the midpoint of , is the projection of onto and is arbitrary point on the side . Let be the intersection point of the parallel line through to with the parallel line through to . Prove that is the bisector of .
Solution
Let be the circle of center and radius and let the tangent to through different from meets the line at . It suffices to show that lies on .
Let be the intersection of and the line through parallel to and let be the projection of onto .
Let be the tangency point of and . Consider the case when lies in the segment ; the case when lies in the segment is treated analogously.
Since and (as is the excenter of opposite ) (as is the external angle bisector of ), the triangles and are similar.
Therefore, we have (as and are corresponding altitudes in similar triangles) (as ) (as ). It follows that and , as needed.
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.