Maths Olympiad Prep

Track / Stage 6 / 377 of 400 #1377 of 1964

Problem 1377

National Olympiad, first round
Geometry Difficulty 6.5 Prove it

Let DD be a point inside an acute △ABC\triangle A B C such that ∠ADB=∠ACB+90∘\angle A D B = \angle A C B + 90^{\circ}, and AC⋅BD=AD⋅BCA C \cdot B D = A D \cdot B C. (1) Calculate the ratio AB⋅CDAC⋅BD\frac{A B \cdot C D}{A C \cdot B D};
(2) Prove that the tangents to the circumcircles of △ACD\triangle A C D and △BCD\triangle B C D at CC are perpendicular to each other.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Solution 1: (1) As shown in Figure 12-6(1), construct ∠CBE=∠CAD,∠ACD=∠BCE\angle CBE = \angle CAD, \angle ACD = \angle BCE, and let sides BEBE and CECE intersect at EE. Thus, △ACD∼△BCE\triangle ACD \sim \triangle BCE, which implies
ACBC=ADBE=CDCE \frac{AC}{BC} = \frac{AD}{BE} = \frac{CD}{CE}

Therefore, AC⋅BE=BC⋅AD=AC⋅BDAC \cdot BE = BC \cdot AD = AC \cdot BD, from which we can deduce that BE=BDBE = BD.
Since ∠ADB=∠CBD+∠CAD+∠ACB=90∘+∠ACB\angle ADB = \angle CBD + \angle CAD + \angle ACB = 90^{\circ} + \angle ACB,
it follows that ∠DBE=∠CBD+∠CBE=∠CBD+∠CAD=90∘\angle DBE = \angle CBD + \angle CBE = \angle CBD + \angle CAD = 90^{\circ}.
Thus, BD⊥BEBD \perp BE, and △DBE\triangle DBE is an isosceles right triangle.
From (1), we know ACBC=CDCE\frac{AC}{BC} = \frac{CD}{CE}, and ∠ACD=∠BCE\angle ACD = \angle BCE, so ∠ACB=∠DCE\angle ACB = \angle DCE. Therefore, △CAB∼△CDE\triangle CAB \sim \triangle CDE, and DEAB=CECB=CDCA\frac{DE}{AB} = \frac{CE}{CB} = \frac{CD}{CA}. Consequently, ABBD⋅CDCA=ABBD⋅DEAB=DEBD=2\frac{AB}{BD} \cdot \frac{CD}{CA} = \frac{AB}{BD} \cdot \frac{DE}{AB} = \frac{DE}{BD} = \sqrt{2}.
(2) As shown in Figure 12-6(2), CKCK and CLCL are the tangents to the circumcircles of △ACD\triangle ACD and △BCD\triangle BCD at CC, respectively. Then, ∠LCD=∠CBD\angle LCD = \angle CBD, ∠KCD=∠CAD\angle KCD = \angle CAD. Therefore, ∠LCK=∠LCD+∠KCD=∠CBD+∠CAD=90∘\angle LCK = \angle LCD + \angle KCD = \angle CBD + \angle CAD = 90^{\circ}, which means CL⊥CKCL \perp CK.

Solution 2: (1) As shown in Figure 12-6(3), rotate BCBC around CC by 90∘90^{\circ} to B′CB'C, and connect BB′BB', AB′AB', and CDCD. By the given conditions, ∠ACB′=∠ACB+90∘=∠ADB\angle ACB' = \angle ACB + 90^{\circ} = \angle ADB, and ACB′C=ACBC=ADBD\frac{AC}{B'C} = \frac{AC}{BC} = \frac{AD}{BD}. Therefore, △ACB′∼△ADB\triangle ACB' \sim \triangle ADB, and ACAD=CB′BD=AB′AB\frac{AC}{AD} = \frac{CB'}{BD} = \frac{AB'}{AB}, ∠CAB′=∠BAD\angle CAB' = \angle BAD. Thus, ∠CAD=∠BAB′\angle CAD = \angle BAB'. From this, we can deduce that
△ADC∼△ABB′\triangle ADC \sim \triangle ABB', and CDBB′=ADAB\frac{CD}{BB'} = \frac{AD}{AB}. Therefore,
AB⋅CDAC⋅BD=ABBD⋅CDBB′⋅BB′AC=ABBD⋅ADAB⋅BB′AC=AD⋅2BCBD⋅AC=2. \begin{aligned} \frac{AB \cdot CD}{AC \cdot BD} & = \frac{AB}{BD} \cdot \frac{CD}{BB'} \cdot \frac{BB'}{AC} = \frac{AB}{BD} \cdot \frac{AD}{AB} \cdot \frac{BB'}{AC} \\ & = \frac{AD \cdot \sqrt{2} BC}{BD \cdot AC} = \sqrt{2}. \end{aligned}
(2) As shown in Figure 12-6(4), l1l_1 and l2l_2 are the tangents to the circumcircles of △ADC\triangle ADC and △BDC\triangle BDC at CC, respectively. Then, ∠DCE=∠DAC\angle DCE = \angle DAC, ∠DCF=∠DBC\angle DCF = \angle DBC.
Since ∠ADB=∠ACB+90∘\angle ADB = \angle ACB + 90^{\circ}, it follows that 180∘−∠DAB−∠DBA=180∘−∠DAB−∠DBA−∠DAC−∠DBC+90∘180^{\circ} - \angle DAB - \angle DBA = 180^{\circ} - \angle DAB - \angle DBA - \angle DAC - \angle DBC + 90^{\circ}, which means ∠DAC+∠DBC=90∘\angle DAC + \angle DBC = 90^{\circ}. Therefore, ∠DCE+∠DCF=90∘\angle DCE + \angle DCF = 90^{\circ}, and hence l1⊥l2l_1 \perp l_2.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.