MathDB
Tangents, a perpendicular bisector and a parallel line

Source: German TSTST (VAIMO) 2022 P4

July 15, 2023
geometrycircumcircleperpendicular bisector

Problem Statement

Let ABCABC be an acute triangle and let ω\omega be its circumcircle. Let the tangents to ω\omega through B,CB,C meet each other at point PP. Prove that the perpendicular bisector of ABAB and the parallel to ABAB through PP meet at line ACAC.