FL = CL + LD wanted, altitude of right triangle ABC, equilaterals AED, CFD
Source: 2022 Sharygin CR p3
March 6, 2022
geometryequal segmentsright triangle
Problem Statement
Let be an altitude of right-angled triangle with . Regular triangles and are such that lies on the same side from as , and lies on the same side from as . The line meets at . Prove that