MathLabs

Problem 2

Let ABCABC be an acute-angled triangle with AB<ACAB<AC. Let Ω\Omega be the circumcircle of ABCABC. Let SS be the midpoint of the arc CBCB of Ω\Omega containing AA. The perpendicular from AA to BCBC meets BSBS at DD and meets Ω\Omega again at E≠AE\neq A. The line through DD parallel to BCBC meets line BEBE at LL. Denote the circumcircle of triangle BDLBDL by ω\omega. Let ω\omega meet Ω\Omega again at P≠BP\neq B. Prove that the line tangent to ω\omega at PP meets line BSBS on the internal angle bisector of ∠BAC\angle BAC.
Step 5 of 6: Combine the diameter and the parallel line
In plain words

A diameter always sees any point on the circle at a right angle, so FP is perpendicular to AP; once OH is parallel to FP, it must also be perpendicular to AP, which places H on the perpendicular bisector of AP.

HP=HAHP=HA
Detailed analysis

Because AFAF is a diameter of Ω\Omega (Step 3), ∠APF=90∘\angle APF=90^\circ, i.e. FP⊥APFP\perp AP. Since OH∥PD=PFOH\parallel PD=PF (Step 4), it follows OH⊥APOH\perp AP. As OO is already equidistant from AA and PP (both on Ω\Omega), the perpendicular to APAP through OO is exactly the perpendicular bisector of APAP, and HH lies on this line too, so HP=HAHP=HA.