Maths Olympiad Prep

Library / /16 of 19

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 180180^{\circ}.
Let PP be the circumcenter of triangle BDCBDC; then, by the inscribed angle theorem (central angle theorem),
BPC=2(180CDB)=3602CDB \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=180CAB\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+O1DBO2DC \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=90ABD \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=90ACD \angle O_{2} D C = 90^{\circ} - \angle A C D
(4). Substituting (3) and (4) into (2) gives
CDB=180+(90ABD)(90ACD)=180ABD+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=180RABBRA=180CABBRA \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=180CDRDRC=180CDBBRA \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+CABCDB \angle C D B = 180^{\circ} + \angle C A B - \angle C D B
hence
2CDB=180+CAB 2 \cdot \angle C D B = 180^{\circ} + \angle C A B
Substituting into (1) gives
BPC=360(180+CAB)=180CAB \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,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 de; metadata (topic, difficulty) added by this project.