Maths Olympiad Prep

Track / Stage 6 / 245 of 400 #1245 of 1964

Problem 1245

National Olympiad, first round
Geometry Difficulty 6.2 Prove it

6 Point DD lies inside the triangle ABCA B C. If A1,B1A_{1}, B_{1}, and C1C_{1} are the second intersection points of the lines AD,BDA D, B D, and CDC D with the circles circumscribed about △BDC,△CDA\triangle B D C, \triangle C D A, and △ADB\triangle A D B, prove that
ADAA1+BDBB1+CDCC1=1. \frac{A D}{A A_{1}}+\frac{B D}{B B_{1}}+\frac{C D}{C C_{1}}=1 .

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: Let kk be the circle with center DD and radius 1 . Consider the inversion with respect to the circle kk and denote by A∗,B∗,C∗,A1∗,B1∗A^{*}, B^{*}, C^{*}, A_{1}^{*}, B_{1}^{*}, and C1∗C_{1}^{*} the images of A,B,C,A1,B1A, B, C, A_{1}, B_{1}, and C1C_{1}, respectively.

The point C1∗C_{1}^{*} belongs to the line A∗B∗A^{*} B^{*}, because the circumcircle of △ADB\triangle A D B is mapped to a line. Simiarly, B1∗∈B∗C∗B_{1}^{*} \in B^{*} C^{*} and A1∗∈A∗B∗A_{1}^{*} \in A^{*} B^{*}. DD belongs to the line A∗A1∗A^{*} A_{1}^{*} and AD=1A∗DA D=\frac{1}{A^{*} D}. Using the similar reasoning we get that DD is the intersection of A∗A1∗,B∗B1∗A^{*} A_{1}^{*}, B^{*} B_{1}^{*}, and C∗C1∗C^{*} C_{1}^{*} and the desired equality now becomes equivalent to
A1∗DA∗A1∗+B1∗DB∗B1∗+C1∗DC∗C1∗=1.  \frac{A_{1}^{*} D}{A^{*} A_{1}^{*}}+\frac{B_{1}^{*} D}{B^{*} B_{1}^{*}}+\frac{C_{1}^{*} D}{C^{*} C_{1}^{*}}=1 \text {. }

Notice that A1∗DA∗A1∗=S△B∗C∗DS△B∗C∗A∗\frac{A_{1}^{*} D}{A^{*} A_{1}^{*}}=\frac{S_{\triangle B^{*} C^{*} D}}{S_{\triangle B^{*} C^{*} A^{*}}}. Analogous relations for the remaining two fractions on the left-hand side of (??) further transform our claim to:
S△B∗C∗DS△A∗B∗C∗+S△C∗A∗DS△A∗B∗C∗+S△A∗B∗DS△A∗B∗C∗=1, \frac{S_{\triangle B^{*} C^{*} D}}{S_{\triangle A^{*} B^{*} C^{*}}}+\frac{S_{\triangle C^{*} A^{*} D}}{S_{\triangle A^{*} B^{*} C^{*}}}+\frac{S_{\triangle A^{*} B^{*} D}}{S_{\triangle A^{*} B^{*} C^{*}}}=1,
which is obviously true.

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