MathDB
segment of projections is half as sidelength, right triangle inscribed in right

Source: 2020 Austrian Federal Competition For Advanced Students, Part 1, p2

November 22, 2020
geometryequal segmentsright triangle

Problem Statement

Let ABCABC be a right triangle with a right angle in CC and a circumcenter UU. On the sides ACAC and BCBC, the points DD and EE lie in such a way that EUD=90o\angle EUD = 90 ^o. Let FF and GG be the projection of DD and EE on ABAB, respectively. Prove that FGFG is half as long as ABAB.
(Walther Janous)