MathLabs

Problem 2

Let ABCABC be a triangle with circumcenter OO. The points PP and QQ are interior points of the sides CACA and ABAB, respectively. Let KK, LL, and MM be the midpoints of the segments BPBP, CQCQ, and PQPQ, respectively, and let Γ\Gamma be the circle passing through KK, LL, and MM. Suppose that the line PQPQ is tangent to the circle Γ\Gamma. Prove that OP=OQOP = OQ.
Step 1 of 4: Identify K, L, M as midline endpoints
In plain words

M is the midpoint of both triangles PQB and QPC together with K, L, so MK and ML are midlines parallel to the outer sides.

MK∥AB, MK=12QBML∥AC, ML=12PCMK \parallel AB,\ MK=\tfrac12 QB \qquad ML \parallel AC,\ ML=\tfrac12 PC
Detailed analysis

In triangle PQBPQB, MM and KK are the midpoints of PQPQ and PBPB, so MKMK is a midline: MK∥QBMK\parallel QB, i.e. MK∥ABMK\parallel AB, with MK=12QBMK=\tfrac12 QB. Likewise in triangle QPCQPC, MM and LL are the midpoints of QPQP and QCQC, so ML∥PCML\parallel PC, i.e. ML∥ACML\parallel AC, with ML=12PCML=\tfrac12 PC. Since MK∥ABMK\parallel AB and ML∥ACML\parallel AC, the angle between MKMK and MLML equals the angle between ABAB and ACAC: ∠KML=∠BAC\angle KML=\angle BAC. Also MLMK=PCQB\dfrac{ML}{MK}=\dfrac{PC}{QB}.