olymmath

IMO 2017 Problem 4

  • Day 2

Let RR and SS be different points on a circle Ω\Omega such that RSRS is not a diameter. Let ℓ\ell be the tangent line to Ω\Omega at RR . Point TT is such that SS is the midpoint of the line segment RTRT . Point JJ is chosen on the shorter arc RSRS of Ω\Omega so that the circumcircle Γ\Gamma of triangle JSTJST intersects ℓ\ell at two distinct points. Let AA be the common point of Γ\Gamma and ℓ\ell that is closer to RR . Line AJAJ meets Ω\Omega again at KK . Prove that the line KTKT is tangent to Γ\Gamma .

Proposed by Charles Leytem, Luxembourg

Official text Transcription from AI-MO AoPS, checked word for word against the official paper. Quoted with source.

Official text: IMO 2017 official English paper, page 2.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator imo/2017/p4 · Tag M7VF4HRS31 · Edit this page on GitHub · Keys: j next, k previous