Let △ABC be a triangle inscribed in a unit circle with center O. Let I be the incenter of △ABC, and let D be the intersection of BC and the angle bisector of ∠BAC. Suppose that the circumcircle of △ADO intersects BC again at a point E such that E lies on IO. If cosA=1312, find the area of △ABC.
A number or a short expression. Spacing and $ signs are ignored.
Solution
Consider the following lemma: Lemma. AD⊥EO. Proof. By the Shooting Lemma, the reflection of the midpoint M of arc BC not containing A over BC lies on (ADO). Hence ∡ADE+∡DEO=∡MDC+∡DM′O=∡MDC+∡M′MD=90∘. This is enough to imply AD⊥EO. Thus I is the foot from O onto AD. Now AI2+IO2=AO2. By Euler's formula, (sin2Ar)2+R2−2Rr=R2. Hence r=2Rsin22A. Then s=a+tan2Ar=a+RsinA=3RsinA and [ABC]=rs=(2Rsin22A)(3RsinA). Since R=1, we get [ABC]=3(1−cosA)sinA. Plugging in sinA=135 and cosA=1312, we get [ABC]=3⋅131⋅135=16915.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: Omni-MATH,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.