Maths Olympiad Prep

Library / /6 of 24

Geometry Difficulty 6.0 AIME, harder Prove it Italy

Problem:

Let there be given in the plane two circles γ1\gamma_{1} and γ2\gamma_{2} with centers AA and BB respectively, intersecting at two points CC and DD. Suppose that the circle passing through AA, BB and CC further intersects γ1\gamma_{1} and γ2\gamma_{2} at EE and FF respectively, and that the arc EFE F not containing CC lies outside the two disks bounded by γ1\gamma_{1} and γ2\gamma_{2}. Prove that the arc EFE F not containing CC is bisected by the line CDC D.

Solution

Solution:

By the central angle theorem, CAD^=2CED^\widehat{C A D}=2 \widehat{C E D}. Since by symmetry CAB^=DAB^\widehat{C A B}=\widehat{D A B}, we have CAB^=CED^\widehat{C A B}=\widehat{C E D}. Moreover, CAB^=CEB^\widehat{C A B}=\widehat{C E B}, because both subtend the arc CBC B, and therefore CED^=CEB^\widehat{C E D}=\widehat{C E B}. It follows that E,DE, D and BB are collinear (because DD and BB lie on the same side of the line CEC E). Since the arcs CBC B and BFB F are equal, we have CEB^=BEF^\widehat{C E B}=\widehat{B E F}, hence DD belongs to the bisector of CEF^\widehat{C E F}. By an analogous argument, one shows that DD belongs to the bisector of CFE^\widehat{C F E}, which means that DD is the incenter of triangle CEFC E F. Therefore the line CDC D bisects

Figure 1
the angle E C F\text{E C F}, and hence the arc EFE F.

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 translated into English from it; metadata (topic, difficulty) added by this project.