MathDB
collinear wanted, circumcircle related

Source: Dutch IMO TST1 2012 p5

August 6, 2019
geometryangle bisectorcircumcircle

Problem Statement

Let Γ\Gamma be the circumcircle of the acute triangle ABCABC. The angle bisector of angle ABCABC intersects ACAC in the point B1B_1 and the short arc ACAC of Γ\Gamma in the point PP. The line through B1B_1 perpendicular to BCBC intersects the short arc BCBC of Γ\Gamma in KK. The line through BB perpendicular to AKAK intersects ACAC in LL. Prove that K,LK, L and PP lie on a line.