MathDB
A line tangent to a circumcircle

Source: Lusophon Mathematical Olympiad 2021 Problem 3

December 19, 2021
geometrycircumcircle

Problem Statement

Let triangle ABCABC be an acute triangle with ABACAB\neq AC. The bisector of BCBC intersects the lines ABAB and ACAC at points FF and EE, respectively. The circumcircle of triangle AEFAEF has center PP and intersects the circumcircle of triangle ABCABC at point DD with DD different to AA.
Prove that the line PDPD is tangent to the circumcircle of triangle ABCABC.