Maths Olympiad Prep

Library / /79 of 158

Geometry Difficulty 5.7 AIME, harder Prove it Estonia

The sides ABAB and ACAC of the triangle ABCABC touch the circle cc respectively at points BB' and CC'. The center LL of the circle cc lies on the side BCBC. The circumcenter OO of triangle ABCABC lies on the shorter arc BCB'C' of the circle cc. Prove that the circumcircle of ABCABC and the circle cc meet at two points.

Solution

Let rr be the circumradius of ABCABC, let ss be the radius of cc and α=BAC\alpha = \angle BAC (Fig. 15).

By tangency, AB=AC|AB'| = |AC'|. Thus CBA=BCA=π2α2\angle C'B'A = \angle B'C'A = \frac{\pi}{2} - \frac{\alpha}{2} whence, by property of inscribed angle, BOC=π(π2α2)=π2+α2\angle B'OC' = \pi - (\frac{\pi}{2} - \frac{\alpha}{2}) = \frac{\pi}{2} + \frac{\alpha}{2}.

Clearly BOC>BOC=2α\angle B'OC' > \angle BOC = 2\alpha, leading to π2+α2>2α\frac{\pi}{2} + \frac{\alpha}{2} > 2\alpha. Hence α<π3\alpha < \frac{\pi}{3}.

Now let KK be the midpoint of side BCBC. From the right triangle KOCKOC, one gets KO=OCcosKOC=rcosα|KO| = |OC|\cos\angle KOC = r\cos\alpha.

By the inequality obtained above, cosα>cosπ3=12\cos\alpha > \cos\frac{\pi}{3} = \frac{1}{2}.

On the other hand, KOLO=s|KO| \le |LO| = s, leading to 12r<rcosα=KOs\frac{1}{2}r < r\cos\alpha = |KO| \le s or r<2sr < 2s.

As cc passes through the circumcenter of ABCABC, this inequality shows that these circles must intersect.

Figure 1
Fig. 15

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.