MathDB
for any choice of P the points D_P , E_P and F are collinear

Source: 2022 Austrian Federal Competition For Advanced Students, Part 2 p5

October 5, 2022
collineargeometryisosceles

Problem Statement

Let ABCABC be an isosceles triangle with base ABAB. We choose a point PP inside the triangle on altitude through CC. The circle with diameter CPCP intersects the straight line through BB and PP again at the point DPD_P and the Straight through AA and CC one more time at point EPE_P. Prove that there is a point FF such that for any choice of PP the points DP,EPD_P , E_P and FF lie on a straight line.
(Walther Janous)