Maths Olympiad Prep

Library / HMMT February /1176 of 1302

HMMT February, 2020

Geometry Difficulty 5.9 AIME, harder Prove it United States

Problem:
Let △ABC\triangle ABC be a triangle inscribed in a unit circle with center OO. Let II be the incenter of △ABC\triangle ABC, and let DD be the intersection of BCBC and the angle bisector of ∠BAC\angle BAC. Suppose that the circumcircle of △ADO\triangle ADO intersects BCBC again at a point EE such that EE lies on IOIO. If cos⁡A=1213\cos A=\frac{12}{13}, find the area of △ABC\triangle ABC.

Solution

Solution:
Consider the following lemma:
Lemma. AD⊥EOAD \perp EO.
Proof. By the Shooting Lemma, the reflection of the midpoint MM of arc BCBC not containing AA over BCBC lies on (ADO)(ADO). Hence
∡ADE+∡DEO=∡MDC+∡DM′O=∡MDC+∡M′MD=90∘ \measuredangle ADE + \measuredangle DEO = \measuredangle MDC + \measuredangle DM' O = \measuredangle MDC + \measuredangle M' MD = 90^\circ
This is enough to imply AD⊥EOAD \perp EO.

Thus II is the foot from OO onto ADAD. Now
AI2+IO2=AO2 AI^2 + IO^2 = AO^2
By Euler's formula,
(rsin⁡A2)2+R2−2Rr=R2 \left(\frac{r}{\sin \frac{A}{2}}\right)^2 + R^2 - 2Rr = R^2
Hence
r=2Rsin⁡2A2 r = 2R \sin^2 \frac{A}{2}
Then
s=a+rtan⁡A2=a+Rsin⁡A=3Rsin⁡A s = a + \frac{r}{\tan \frac{A}{2}} = a + R \sin A = 3R \sin A
and
[ABC]=rs=(2Rsin⁡2A2)(3Rsin⁡A) [ABC] = r s = \left(2R \sin^2 \frac{A}{2}\right)(3R \sin A)
Since R=1R=1, we get
[ABC]=3(1−cos⁡A)sin⁡A [ABC] = 3(1-\cos A) \sin A
Plugging in sin⁡A=513\sin A = \frac{5}{13} and cos⁡A=1213\cos A = \frac{12}{13}, we get
[ABC]=3⋅113⋅513=15169 [ABC] = 3 \cdot \frac{1}{13} \cdot \frac{5}{13} = \frac{15}{169}

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.