Maths Olympiad Prep

Library / Auswahlwettbewerb Zur IMO /16 of 19

Auswahlwettbewerb Zur IMO

Geometry Difficulty 8.6 Shortlist Prove it Germany

Problem:

Let BB be an arbitrary point on a circle k1k_{1} and let AA be a point different from BB on the tangent to k1k_{1} at BB. Furthermore, let CC be a point outside k1k_{1} with the property that the segment ACA C intersects the circle k1k_{1} in two distinct points. Finally, let k2k_{2} be the circle that is tangent to the line ACA C at CC and is tangent to the circle k1k_{1} at a point DD, which lies on the other side of ACA C from BB.

Prove that the circumcenter of triangle BCDB C D lies on the circumcircle of triangle ABCA B C.

Solution

Solution:

We denote the centers of the circles k1k_{1} and k2k_{2} by O1O_{1} and O2O_{2}, respectively. The solution now assumes that ∠CDB\angle C D B is obtuse (see Fig.); otherwise only some angles need to be exchanged modulo 180∘180^{\circ}.
Let PP be the circumcenter of triangle BDCBDC; then, by the inscribed angle theorem (central angle theorem),
∠BPC=2⋅(180∘−∠CDB)=360∘−2⋅∠CDB \angle B P C = 2 \cdot (180^{\circ} - \angle C D B) = 360^{\circ} - 2 \cdot \angle C D B
Figure 1
PP lies on the circumcircle of triangle ABCA B C if and only if ACPBA C P B is a cyclic quadrilateral; this holds if and only if ∠BPC=180∘−∠CAB\angle B P C = 180^{\circ} - \angle C A B.
To prove this, we compute ∠CDB\angle C D B. Since k1k_{1} and k2k_{2} are tangent to each other at DD, DD lies on the segment O1O2O_{1} O_{2} and we have
∠CDB=180∘+∠O1DB−∠O2DC \angle C D B = 180^{\circ} + \angle O_{1} D B - \angle O_{2} D C
(2). Since k1k_{1} is tangent to the line ABA B, we have ∠ABO1=90∘\angle A B O_{1} = 90^{\circ}, hence ∠ABD+∠DBO1=90∘\angle A B D + \angle D B O_{1} = 90^{\circ}. Since BB and DD lie on k1k_{1}, the triangle BDO1B D O_{1} is isosceles with ∠O1DB=∠DBO1\angle O_{1} D B = \angle D B O_{1}. Thus
∠O1DB=90∘−∠ABD \angle O_{1} D B = 90^{\circ} - \angle A B D
(3). Since k2k_{2} is tangent to the line ACA C, we have ∠ACO2=90∘\angle A C O_{2} = 90^{\circ}, hence ∠ACD+∠DCO2=90∘\angle A C D + \angle D C O_{2} = 90^{\circ}. Since CC and DD lie on k2k_{2}, the triangle CDO2C D O_{2} is isosceles with ∠O2DC=∠DCO2\angle O_{2} D C = \angle D C O_{2}. Thus
∠O2DC=90∘−∠ACD \angle O_{2} D C = 90^{\circ} - \angle A C D
(4). Substituting (3) and (4) into (2) gives
∠CDB=180∘+(90∘−∠ABD)−(90∘−∠ACD)=180∘−∠ABD+∠ACD \angle C D B = 180^{\circ} + (90^{\circ} - \angle A B D) - (90^{\circ} - \angle A C D) = 180^{\circ} - \angle A B D + \angle A C D
(5).
Now we consider the intersection point RR of ACA C and BDB D and conclude
∠ABD=∠ABR=180∘−∠RAB−∠BRA=180∘−∠CAB−∠BRA \angle A B D = \angle A B R = 180^{\circ} - \angle R A B - \angle B R A = 180^{\circ} - \angle C A B - \angle B R A
as well as
∠ACD=∠RCD=180∘−∠CDR−∠DRC=180∘−∠CDB−∠BRA \angle A C D = \angle R C D = 180^{\circ} - \angle C D R - \angle D R C = 180^{\circ} - \angle C D B - \angle B R A
From (5) it follows that
∠CDB=180∘+∠CAB−∠CDB \angle C D B = 180^{\circ} + \angle C A B - \angle C D B
hence
2⋅∠CDB=180∘+∠CAB 2 \cdot \angle C D B = 180^{\circ} + \angle C A B
Substituting into (1) gives
∠BPC=360∘−(180∘+∠CAB)=180∘−∠CAB \angle B P C = 360^{\circ} - (180^{\circ} + \angle C A B) = 180^{\circ} - \angle C A B
Thus everything is shown.

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