MathDB
perpendicularity wanted, intersections of tangents with perp. bisectors related

Source: BMO Shortlist 2018 G2

May 5, 2019
geometryperpendicular bisectororthocenterperpendicularperpendicularitytangentcircumcircle

Problem Statement

Let ABCABC be a triangle inscribed in circle Γ\Gamma with center OO. Let HH be the orthocenter of triangle ABCABC and let KK be the midpoint of OHOH. Tangent of Γ\Gamma at BB intersects the perpendicular bisector of ACAC at LL. Tangent of Γ\Gamma at CC intersects the perpendicular bisector of ABAB at MM. Prove that AKAK and LMLM are perpendicular.
by Michael Sarantis, Greece