MathDB
Many Equal Sides

Source: Brazil EGMO TST 2023 #1

November 10, 2022
geometry

Problem Statement

Let ABCABC be a triangle with BA=BCBA=BC and ABC=90\angle ABC=90^{\circ}. Let DD and EE be the midpoints of CACA and BABA respectively. The point FF is inside of ABC\triangle ABC such that DEF\triangle DEF is equilateral. Let X=BFACX=BF\cap AC and Y=AFDBY=AF\cap DB. Prove that DX=YDDX=YD.