Maths Olympiad Prep

Library / /25 of 91

, 2009

Geometry Difficulty 5.5 AIME, harder Prove it India

Let ABCABC be a triangle in which A=60\angle A = 60^\circ. Let TT be the point where the in-circle and the nine-point circle of ABCABC touch each other. If rr is the in-radius of ABCABC, prove that AT=rAT = r.

Solution

Figure 1
We first observe that AI=rcosA2=2rAI = r \cos\frac{A}{2} = 2r. Let TT' be point on AIAI such that AT=TI=rAT' = T'I = r. Obviously TT' lies on the in-circle of ABCABC. We show that TT' also lies on the nine-point circle of ABCABC.
Let D,E,FD, E, F be the midpoints of BC,CA,ABBC, CA, AB respectively. Note that TFT'F is parallel to IBIB. Hence AFT=ABI=B2\angle AFT' = \angle ABI = \frac{B}{2}. We also observe that DFDF is parallel to ACAC, so that BFD=BAC=A\angle BFD = \angle BAC = A. It follows that
TFD=180(A+B2). \angle T'FD = 180^\circ - (A + \frac{B}{2}).
Similarly, we obtain
TED=180(A+C2). \angle T'ED = 180^\circ - (A + \frac{C}{2}).
It is easy to check that
TFD+TED=180. \angle T'FD + \angle T'ED = 180^\circ.
Hence T,F,D,ET', F, D, E are concyclic. Since F,D,EF, D, E are on the nine-point circle, it follows that TT' is also on the same circle.
However, there is only one point at which the in-circle and the nine-point circle touch each other (Feuerbach's theorem). It follows that T=TT = T'. Hence: AT=rAT = r.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.