MathDB
An ant who likes run

Source: Rioplatense L3 2023 #6

December 6, 2023
geometryangle bisector

Problem Statement

Let ABCABC be an acute-angled triangle such that AB+BC=4ACAB+BC=4AC. Let DD in ACAC such that BDBD is angle bisector of ABC\angle ABC. In the segment BDBD, points PP and QQ are marked such that BP=2DQBP=2DQ. The perpendicular line to BDBD, passing by QQ, cuts the segments ABAB and BCBC in XX and YY, respectively. Let LL be the parallel line to ACAC passing by PP. The point BB is in a different half-plane(with respect to the line LL) of the points XX and YY. An ant starts a run in the point XX, goes to a point in the line ACAC, after that goes to a point in the line LL, returns to a point in the line ACAC and finishes in the point YY. Prove that the least length of the ant's run is equal to 4XY4XY.