An ant who likes run
Source: Rioplatense L3 2023 #6
December 6, 2023
geometryangle bisector
Problem Statement
Let be an acute-angled triangle such that . Let in such that is angle bisector of . In the segment , points and are marked such that . The perpendicular line to , passing by , cuts the segments and in and , respectively. Let be the parallel line to passing by . The point is in a different half-plane(with respect to the line ) of the points and . An ant starts a run in the point , goes to a point in the line , after that goes to a point in the line , returns to a point in the line and finishes in the point . Prove that the least length of the ant's run is equal to .