Maths Olympiad Prep

Track / Stage 6 / 173 of 400 #1173 of 1964

Problem 1173

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.

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,B1A^{*}, B^{*}, C^{*}, A_{1}^{*}, B_{1}^{*}, and C1C_{1}^{*} the images of A,B,C,A1,B1A, B, C, A_{1}, B_{1}, and C1C_{1}, respectively.

The point C1C_{1}^{*} belongs to the line ABA^{*} B^{*}, because the circumcircle of ADB\triangle A D B is mapped to a line. Simiarly, B1BCB_{1}^{*} \in B^{*} C^{*} and A1ABA_{1}^{*} \in A^{*} B^{*}. DD belongs to the line AA1A^{*} A_{1}^{*} and AD=1ADA D=\frac{1}{A^{*} D}. Using the similar reasoning we get that DD is the intersection of AA1,BB1A^{*} A_{1}^{*}, B^{*} B_{1}^{*}, and CC1C^{*} C_{1}^{*} and the desired equality now becomes equivalent to
A1DAA1+B1DBB1+C1DCC1=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 A1DAA1=SBCDSBCA\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:
SBCDSABC+SCADSABC+SABDSABC=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 and solution reproduced as published; topic, difficulty and ordering added by this site.