Example 6 Let D be a point inside an acute △ABC such that ∠ADB=∠ACB+90∘, and AC⋅BD=AD⋅BC. (1) Calculate the ratio AC⋅BDAB⋅CD; (2) Prove that the tangents to the circumcircles of △ACD and △BCD at C 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.
Official solution
Solution 1: (1) As shown in Figure 12-6(1), construct ∠CBE=∠CAD,∠ACD=∠BCE, and let sides BE and CE intersect at E. Thus, △ACD∼△BCE, which implies BCAC=BEAD=CECD
Therefore, AC⋅BE=BC⋅AD=AC⋅BD, from which we can deduce that BE=BD. Since ∠ADB=∠CBD+∠CAD+∠ACB=90∘+∠ACB, it follows that ∠DBE=∠CBD+∠CBE=∠CBD+∠CAD=90∘. Thus, BD⊥BE, and △DBE is an isosceles right triangle. From (1), we know BCAC=CECD, and ∠ACD=∠BCE, so ∠ACB=∠DCE. Therefore, △CAB∼△CDE, and ABDE=CBCE=CACD. Consequently, BDAB⋅CACD=BDAB⋅ABDE=BDDE=2. (2) As shown in Figure 12-6(2), CK and CL are the tangents to the circumcircles of △ACD and △BCD at C, respectively. Then, ∠LCD=∠CBD, ∠KCD=∠CAD. Therefore, ∠LCK=∠LCD+∠KCD=∠CBD+∠CAD=90∘, which means CL⊥CK.
Solution 2: (1) As shown in Figure 12-6(3), rotate BC around C by 90∘ to B′C, and connect BB′, AB′, and CD. By the given conditions, ∠ACB′=∠ACB+90∘=∠ADB, and B′CAC=BCAC=BDAD. Therefore, △ACB′∼△ADB, and ADAC=BDCB′=ABAB′, ∠CAB′=∠BAD. Thus, ∠CAD=∠BAB′. From this, we can deduce that △ADC∼△ABB′, and BB′CD=ABAD. Therefore, AC⋅BDAB⋅CD=BDAB⋅BB′CD⋅ACBB′=BDAB⋅ABAD⋅ACBB′=BD⋅ACAD⋅2BC=2. (2) As shown in Figure 12-6(4), l1 and l2 are the tangents to the circumcircles of △ADC and △BDC at C, respectively. Then, ∠DCE=∠DAC, ∠DCF=∠DBC. Since ∠ADB=∠ACB+90∘, it follows that 180∘−∠DAB−∠DBA=180∘−∠DAB−∠DBA−∠DAC−∠DBC+90∘, which means ∠DAC+∠DBC=90∘. Therefore, ∠DCE+∠DCF=90∘, and hence l1⊥l2.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.