MathDB
AE=BF wanted, projections of point on circumcircle of isosceles ABC

Source: Austria Beginners' Competition 2011 p4

October 3, 2021
geometryisosceles

Problem Statement

Let ABCABC be an isosceles triangle with AC=BCAC = BC. On the arc CACA of its circumcircle, which does not contain B B, there is a point P P. The projection of CC on the line APAP is denoted by EE, the projection of CC on the line BPBP is denoted by FF. Prove that the lines AEAE and BFBF have equal lengths.
(W. Janous, WRG Ursulincn, Innsbruck)