Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /111 of 270

Iranian Mathematical Olympiad

Geometry Difficulty 6.3 National Olympiad Prove it Iran

Given an inscribed pentagon ABCDEABCDE with circumcircle Γ\Gamma. Line ℓ\ell passes through vertex AA and is tangent to Γ\Gamma. Points X,YX, Y lie on ℓ\ell so that AA lies between XX and YY. Circumcircle of triangle △XED\triangle XED intersects segment ADAD at QQ and circumcircle of triangle △YBC\triangle YBC intersects segment ACAC at PP. Lines XE,YBXE, YB intersect at SS, and lines XQ,YPXQ, YP at ZZ. Prove that circumcircle of triangles △XYZ\triangle XYZ and △BES\triangle BES are tangent.

Solution

Assume the circumcircles of △ABY\triangle ABY and △AEX\triangle AEX meet for the second time at KK. Since
∠KEX=∠KAX=180∘−∠KAY=180∘−∠KBY=∠KBS, \angle KEX = \angle KAX = 180^\circ - \angle KAY = 180^\circ - \angle KBY = \angle KBS,
we find out that KBESKBES is concyclic. We have
∠YKB=∠YAB=∠BCA=∠PYB, \angle YKB = \angle YAB = \angle BCA = \angle PYB,

∠EKX=∠EAX=∠ADE=∠QXE. \angle EKX = \angle EAX = \angle ADE = \angle QXE.

∠YZX=∠YSX−∠SYZ−∠SXZ=180∘−(∠BKE+∠YKB+∠EKX)=180∘−∠YKX. \begin{align*} \angle YZX &= \angle YSX - \angle SYZ - \angle SXZ \\ &= 180^\circ - (\angle BKE + \angle YKB + \angle EKX) \\ &= 180^\circ - \angle YKX. \end{align*}
Therefore, YKXYKX is inscribed in a circle called ω\omega. Let's say the tangent line to ω\omega at KK meets XYXY at TT. We have
∠TKB=∠TKY+∠YKB=∠KXT+∠YAB=∠KEA+∠AEB=∠KEB. \angle TKB = \angle TKY + \angle YKB = \angle KXT + \angle YAB = \angle KEA + \angle AEB = \angle KEB.
As a result, TKTK is tangent to the circumcircle of △KEB\triangle KEB. So, the two circles are tangent at KK.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.