Maths Olympiad Prep

Library /

Geometry Difficulty 8.8 Shortlist Prove it India

In triangle ABCABC, let DD be the foot of the perpendicular from AA to line BCBC. Point KK lies inside triangle ABCABC such that KAB=KCA\angle KAB = \angle KCA and KAC=KBA\angle KAC = \angle KBA. The line through KK perpendicular to line DKDK meets the circle with diameter BCBC at points XX and YY. Prove that AXDY=DXAYAX \cdot DY = DX \cdot AY.

Solution

Assume ABACAB \neq AC for all solutions as in the case that AB=ACAB = AC, X,YX, Y are symmetric about ADAD and the result is immediate.
Let MM be the midpoint of BCBC. Let ω=(BC)\omega = (BC) and Ω=(ABC)\Omega = (ABC).
We prove some preliminary results here which will be freely used across different proofs.
Let TT be the intersection of the BB and CC tangents to Ω\Omega.

Claim 0.1 (BKOCT) is cyclic.
Proof. Let TT be a point such that TT is the intersection of the tangents from BB and CC to (ABC)(ABC). Now, observe that from the given angle conditions, that BKC=180A=BOC\angle BKC = 180^\circ - A = \angle BOC where OO is the center of Ω\Omega. Also, BTC=A\angle BTC = A, thus, (BKOCT)(BKOCT) is cyclic. \square

Claim 0.2 The point KK lies on the AA symmedian in ABC\triangle ABC.
Proof. From Claim 0.1 TKC=A\angle TKC = A. Also, from the given angle conditions, we have that AKC=180A\angle AKC = 180^\circ - A. Thus, A,K,TA, K, T are collinear. This gives the desired result. \square

Claim 0.3 AKO=90\angle AKO = 90^\circ.
Proof. As OKT=90\angle OKT = 90^\circ, we have AKO=90\angle AKO = 90^\circ. \square

Claim 0.4 Reflection of AA in KK lies on Ω\Omega.
Proof. Follows immediately from Claim 0.3. \square

Let KK' be the reflection of AA in KK, we have proved that KΩK' \in \Omega.

Claim 0.5 The reflection of KK' in BCBC lies on the AA-median of ABC\triangle ABC.
Proof. Let KK'' be the point on the AA median such that MAMK=MB2MA \cdot MK'' = MB^2.
Thus, we get that
KCB=KAB=MAC=MCK=BCK \angle K'CB = \angle K'AB = \angle MAC = \angle MCK'' = \angle BCK''
Similarly, KBC=CBK\angle K'BC = \angle CBK''. Thus, KK'' is the reflection of KK' in BCBC as required. \square

We call the point KK'', the AA-HM point in ABC\triangle ABC.

Claim 0.6 If SS is the intersection of the AA tangent with BCBC, then SKA=90\angle SKA = 90^\circ.
Proof. Since AKAK is the symmedian, the tangents from SS to Ω\Omega are at A,KA, K'. Thus, S,K,OS, K, O are collinear as this is the perpendicular bisector of AKAK'. Thus, we get the desired result. \square

Let DD' be the point such that (BC;DD)=1(BC; DD') = -1, or equivalently if E,FE, F are feet of perpendiculars from B,CB, C onto ABAB and ACAC respectively then D=EFBCD' = EF \cap BC.

Claim 0.7 DKAMD'K'' \perp AM
Proof. Observe that
MDA=90, MDMD=MB2=MKMA    MKD=90 \angle MDA = 90^\circ, \ MD \cdot MD' = MB^2 = MK'' \cdot MA \implies \angle MK''D' = 90^\circ
\square

Solution Path A
We wish to show that DD lies on the AA-Appolonian circle in XAY\triangle XAY. Thus, it suffices to show that there exists point PP on line XYXY with PA2=PXPY=PD2PA^2 = PX \cdot PY = PD^2 since such a point PP would be the center of the AA-Appolonian circle in XAY\triangle XAY, and if PA2=PD2PA^2 = PD^2, then DD would be on the Appolonian circle as well.

Solution A1
We will show that the perpendicular bisector of ADAD, the line XYXY and the radical axis of point circle (A)\odot(A) and (BC)\odot(BC) concur. The point of concurrence is the required point PP. The latter radical axis is simply the midline of AA with its polar in (BC)\odot(BC).
Claim 1 A,KA, K'' are inverses in ω\omega.
Proof. Same as Claim 0.5 in Solution Preliminary
\square
By homothety at AA of ratio +2+2, the conclusion is same as showing that line BCBC and the polar of AA in (BC)\odot(BC), and the line through KK' perpendicular to AKA'K' concur. However, the polar is simply the line through KK'' perpendicular to AKAK''; the reflection of the other line in BCBC, and the concurrence is obvious.
\square

Solution A2
We claim that PP is the midpoint of ADAD'.
Claim 1 It is sufficient to prove that PKD=90\angle PKD = 90^\circ.
Proof. Observe that MBMC=MDMDMB \cdot MC = MD \cdot MD' and thus (ADD)(ADD') and (BC)(BC) are orthogonal. Thus, if P,XP, X and YY are collinear, then powω(P)=PXPY\text{pow}_\omega(P) = PX \cdot PY but since (ADD)(ADD') and (BC)(BC) are orthogonal, we have that powω(P)=PA2\text{pow}_\omega(P) = PA^2. Thus, we get that PA2=PXPY=PD2=PD2PA^2 = PX \cdot PY = PD^2 = PD'^2, and we will be done.
Thus, we just want P,X,YP, X, Y collinear that is PKD=90\angle PKD = 90^\circ.
\square
\square
Taking homothety +2+2 from AA, we get that if AA' is the reflection of AA in BCBC and if KK' is reflection of AA in KK, then we need that DKA=90\angle D'K'A' = 90^\circ.
Reflecting in BCBC, this is the same as proving AKD=90\angle AK''D' = 90^\circ which is the same as Claim 0.7 in the preliminaries. Thus, we are done.
\square

Solution A3
The following proof is due to ideas from Adhitya MV in the TST. The proof has been revised and rewritten by the Problem Selection Committee.
We claim that PP is the midpoint of ADAD'.

Claim 1 It is sufficient to prove that PKD=90\angle PKD = 90^\circ.
Proof. Same as Claim 1 in Solution A2
Now, let R=KPADR = KP \cap AD. Now, it suffices to prove that RKD=90\angle RKD = 90^\circ. Now, SKA=90\angle SKA = 90^\circ by Claim 0.6 from preliminaries. Thus, we just need RKA=SKD\angle RKA = \angle SKD. But (SDKA)(SDKA) is cyclic. Thus, SKD=SAD=SAR\angle SKD = \angle SAD = \angle SAR.
Thus, we just need to show that circles Ω\Omega and (SAK)(SAK) are tangent. Thus, we just need that reflection of AA in RR is on Ω\Omega. Taking homothety +2+2 from AA, we need ADKDΩAD \cap K'D' \in \Omega.
Let R=ADΩR' = AD \cap \Omega.
Now, projecting (BC;DD)(BC; DD') onto Ω\Omega from RR', we get that (B,C;A,DRΩ)=1(B, C; A, D'R' \cap \Omega) = -1 but (B,C;A,K)=1    DRΩ=K(B, C; A, K') = -1 \implies D'R' \cap \Omega = K'. Thus, RR' is the reflection of AA in RR as required.

We claim that PP is the midpoint of ADAD'.
Claim 1 It is sufficient to prove that PKD=90\angle PKD = 90^\circ.
Proof. Same as Claim 1 in Solution A2
Now, reflecting figure in BCBC and taking homothety 12\frac{1}{2} from AA, we have ABCDLN\triangle ABC \mapsto \triangle DLN, KKK'' \mapsto K and DPD' \mapsto P. Thus, KK is the DD-HM point in DLN\triangle DLN and PP is the point such that (K,L;P,ADLN)=1(K, L; P, AD \cap LN) = -1. But then by Claim 0.7 from preliminaries, we get that PKD=90\angle PKD = 90^\circ and we are done.

The following proof is due to ideas from Atul Shatavart Nadig in the TST. The proof has been revised and rewritten by the Problem Selection Committee.
We claim that PP is point of intersection of XYXY and perpendicular bisector of ADAD.
Let QQ be the foot of perpendicular from PP onto BCBC, and let NN be the midpoint of AMAM. Since KK'' lies on AMAM by Claim 0.5, taking reflection in BCBC, we get A,KA', K', MM collinear, and hence taking homothety with center AA and ratio 12\frac{1}{2}, we get that D,K,ND, K, N are collinear.
We already know PA=PDPA = PD. Note that PXPY=powω(P)=PM2MB2PX \cdot PY = \text{pow}_\omega(P) = PM^2 - MB^2. So it suffices to show
PD2=PM2MB2    MB2=PM2PD2 PD^2 = PM^2 - MB^2 \\ \iff MB^2 = PM^2 - PD^2
By the Pythagorean Theorem, since PQDMPQ \perp DM,
PM2PD2=QM2QD2=(QMQD)(QM+QD)=DM(2QD+DM) \begin{aligned} PM^2 - PD^2 &= QM^2 - QD^2 \\ &= (QM - QD)(QM + QD) \\ &= DM \cdot (2QD + DM) \end{aligned}
Let x=QDx = QD. Thus we need to show
MB2=DM(2x+DM)    x=MB2DM22DM    x+DM2=MB22DM \begin{aligned} MB^2 &= DM \cdot (2x + DM) \\ \iff x &= \frac{MB^2 - DM^2}{2DM} \\ \iff x + \frac{DM}{2} &= \frac{MB^2}{2DM} \end{aligned}
Let RR be the midpoint of ADAD. By midpoint theorem, RN=DM2RN = \frac{DM}{2}, so x+DM2=PR+RN=PNx + \frac{DM}{2} = PR + RN = PN. So it suffices to prove that
PN=MB22DM PN = \frac{MB^2}{2DM}
Let PND=NDM=NMD=θ\angle PND = \angle NDM = \angle NMD = \theta. Then
PNcosθ=NK=MK2    PN=MK2cosθ PN \cos \theta = NK = \frac{MK'}{2} \implies PN = \frac{MK'}{2 \cos \theta}

But since KK' is the A'-HM point in ABC\triangle ABC, MKMA=MB2MK' \cdot MA' = MB^2. So,
PN=MB22MAcosθ=MB22MAcosθ PN = \frac{MB^2}{2MA' \cos \theta} = \frac{MB^2}{2MA \cos \theta}
But in AMD\triangle AMD, D=90\angle D = 90^\circ and AMD=θ\angle AMD = \theta, so cosθ=DMAM\cos \theta = \frac{DM}{AM}. Therefore
PN=MB22MADMAM=MB22DM PN = \frac{MB^2}{2MA \cdot \frac{DM}{AM}} = \frac{MB^2}{2DM}
as required, so we are done. \square

## Solution B
For the following two solutions, we begin by inverting from AA with radius ABAC\sqrt{|AB||AC|} and reflecting across the AA angle bisector. Let this transformation be Φ\Phi and we write ZZZ \mapsto Z^* for any point ZZ under this transformation.
Observe the following maps:
BC \bullet B \mapsto C
CB \bullet C \mapsto B
KK\bullet K \mapsto K^* such that KBACK^*BAC is a parallelogram.
XX \bullet X \mapsto X^*
YY \bullet Y \mapsto Y^*
DD\bullet D \mapsto D^* such DD^* is the antipode of AA in Ω\Omega.
ωω\bullet \omega \mapsto \omega^* where ω\omega^* is centered at TT and passes through B,CB, C.
Now,
AXDY=AYDX    ABACAXABACDYADAY=ABACAYABACDXADAX    XD=YD AX \cdot DY = AY \cdot DX \iff \frac{AB \cdot AC}{AX^*} \cdot \frac{AB \cdot AC \cdot D^*Y^*}{AD^*AY^*} = \frac{AB \cdot AC}{AY^*} \cdot \frac{AB \cdot AC \cdot D^*X^*}{AD^*AX^*} \iff X^*D^* = Y^*D^*
Let (AXYK)=ω1(AX^*Y^*K^*) = \omega_1. Let O1O_1 be the center of ω1\omega_1. Now, we have that XYXY is the common chord of ω1\omega_1 and ω\omega^*. Thus, we just want that DO1TD^* \in O_1T.
Now, we know that XYDKXY \perp DK, thus ω\omega^* and (ADK)(AD^*K^*) are orthogonal. Thus, O1O_1 is the intersection of the DD^* and KK^* tangents to (ADK)(AD^*K^*). Thus, we want that DTD^*T is the symmedian in ADK\triangle AD^*K^*. This is equivalent to ADM=KDT\angle AD^*M = \angle K^*D^*T.

### Solution B1
We relabel the points, call DD^*, AA' and call KKK^*K'.
Now, we just want AAT=KAM\angle AA'T = \angle K'A'M. Let HH be the orthocenter of ABC\triangle ABC. Then KAM=AHM\angle K'A'M = \angle AHM by reflection over MM. Taking homothety half from AA', AHM=OMA\angle AHM = \angle OMA'.
Thus, we just want OMA=OAT\angle OMA' = \angle OA'T but this simply follows from the fact that OMOT=OA2OM \cdot OT = OA'^2. \square

The following proof is due to ideas from Vedant Saini in the TST. The proof has been revised and rewritten by the Problem Selection Committee.
We now provide a complex bash solution to the required angle condition.
Let A,B,CA, B, C be on the unit circle. Then m=b+c2m = \frac{b+c}{2}, k=b+cak^* = b+c-a, d=ad^* = -a. t=2bcb+ct = \frac{2bc}{b+c}.

We now want that admdkdtdR\frac{a-d^*}{m-d^*} \cdot \frac{k^*-d^*}{t-d^*} \in \mathbb{R}.
admdkdtd=2ab+c+2a2b+c2bc+ab+acb+c=4a(b+c)2(b+c+2a)(2bc+ab+ac)=4a(b+c)2a2b2c2(2bc+ab+ac)(2a+b+c)a2b2c2admdkdtd=4a(1b+1c)2(2a+2b+2c)(2bc+1ab+1ac)=(admdkdtd) \begin{aligned} \frac{a-d^*}{m-d^*} \cdot \frac{k^*-d^*}{t-d^*} &= \frac{2a}{\frac{b+c+2a}{2}} \cdot \frac{b+c}{\frac{2bc+ab+ac}{b+c}} = \frac{4a(b+c)^2}{(b+c+2a)(2bc+ab+ac)} = \frac{\frac{4a(b+c)^2}{a^2b^2c^2}}{\frac{(2bc+ab+ac)(2a+b+c)}{a^2b^2c^2}} \\ \\ \frac{a-d^*}{m-d^*} \cdot \frac{k^*-d^*}{t-d^*} &= \frac{\frac{4}{a}\left(\frac{1}{b} + \frac{1}{c}\right)^2}{\left(\frac{2}{a} + \frac{2}{b} + \frac{2}{c}\right)\left(\frac{2}{bc} + \frac{1}{ab} + \frac{1}{ac}\right)} = \overline{\left(\frac{a-d^*}{m-d^*} \cdot \frac{k^*-d^*}{t-d^*}\right)} \end{aligned}
This gives the desired result and we are done. \square

## Solution C
The following proof is due to ideas from Bhavya Tiwari in the TST. The proof has been revised and rewritten by the Problem Selection Committee.
This is a coordinate bash solution. Take a coordinate system with the midpoint MM of BCBC as the origin, B=(1,0)B = (-1, 0), C=(1,0)C = (1, 0) and A=(d,h)A = (d, h). Then we get D=(d,0)D = (d, 0).
Claim 1 The point KK has coordinates
(d2(c2+1c2),h2(c21c2)) \left( \frac{d}{2} \left( \frac{c^2+1}{c^2} \right) , \frac{h}{2} \left( \frac{c^2-1}{c^2} \right) \right)
where c2=d2+h2c^2 = d^2 + h^2.
Proof. We use complex numbers for this. Let k,a,b,ck, a, b, c denote the complex coordinates of K,A,B,CK, A, B, C respectively. Note that since KBAKAC\triangle KBA \sim \triangle KAC by AA test, KK is the center of spiral similarity sending BABA to ACAC. Hence,
kakb=kcka    k22ak+a2=k2(b+c)k+bc    k=bca2b+c2a \begin{aligned} \frac{k-a}{k-b} &= \frac{k-c}{k-a} \\ \implies k^2 - 2ak + a^2 &= k^2 - (b+c)k + bc \\ \implies k &= \frac{bc-a^2}{b+c-2a} \end{aligned}
Putting b=1b=1, c=1c=-1 and a=d+hia=d+hi, we get
k=a2+12a=aa2+aˉ2a2=d(a2+1)+h(a21)i2a2 \begin{aligned} k &= \frac{a^2 + 1}{2a} \\ &= \frac{a|a|^2 + \bar{a}}{2|a|^2} \\ &= \frac{d(|a|^2 + 1) + h(|a|^2 - 1)i}{2|a|^2} \end{aligned}
which gives us the required coordinates since c2=a2c^2 = |a|^2 \square

Slope of line DKDK is:
h2(c21c2)d2(c2+1c2)d=hd \frac{\frac{h}{2} \left( \frac{c^2-1}{c^2} \right)}{\frac{d}{2} \left( \frac{c^2+1}{c^2} \right) - d} = -\frac{h}{d}
Therefore slope of XYXY is dh\frac{d}{h} because XYDKXY \perp DK. Therefore, since KXYK \in XY, the equation of line XYXY is:
yh2(c21c2)=dh(xd2(c2+1c2))    y=dhx+c2(h2d2)h2d22hc2    y=dhx+h2d212h \begin{aligned} y - \frac{h}{2} \left( \frac{c^2 - 1}{c^2} \right) &= \frac{d}{h} \left( x - \frac{d}{2} \left( \frac{c^2 + 1}{c^2} \right) \right) \\ \implies y &= \frac{d}{h}x + \frac{c^2(h^2 - d^2) - h^2 - d^2}{2hc^2} \\ \implies y &= \frac{d}{h}x + \frac{h^2 - d^2 - 1}{2h} \end{aligned}

The problem is equivalent to proving AXDX=AYDY\frac{AX}{DX} = \frac{AY}{DY}. We will in fact prove that AXDX=2=AYDY\frac{AX}{DX} = \sqrt{2} = \frac{AY}{DY}. We will only prove the first equality, as the other one follows from symmetry. Let X=(x1,x2)X = (x_1, x_2). Note that XX satisfies equation of line XYXY. Thus:
AXDX=2AX2DX2=2(x1d)2+(x2h)2(x1d)2+h2=2x122dx1+d2+x222x2h+h2=0 \begin{aligned} \frac{AX}{DX} &= \sqrt{2} \\ \Leftrightarrow \frac{AX^2}{DX^2} &= 2 \\ \Leftrightarrow \frac{(x_1 - d)^2 + (x_2 - h)^2}{(x_1 - d)^2 + h^2} &= 2 \\ \Leftrightarrow x_1^2 - 2dx_1 + d^2 + x_2^2 - 2x_2h + h^2 &= 0 \end{aligned}
Putting x2x_2 obtained from equation of XYXY into the above, we get that it is equivalent to:
x122dx1+d2+(dhx1+h2d212h)2+2h(dhx1+h2d212h)h2=0(1+d2h2x1)+d(h2d21)h2x1+(h2d212h)21=0x12+(d2h2x1+2dh(h2d212h)x1+(h2d212h)2)=1x12+(dhx1+h2d212h)2=1x12+x22=1 \begin{aligned} x_1^2 - 2dx_1 + d^2 + \left(\frac{d}{h}x_1 + \frac{h^2 - d^2 - 1}{2h}\right)^2 &+ 2h\left(\frac{d}{h}x_1 + \frac{h^2 - d^2 - 1}{2h}\right) - h^2 = 0 \\ \Leftrightarrow \left(1 + \frac{d^2}{h^2}x_1\right) + \frac{d(h^2 - d^2 - 1)}{h^2}x_1 &+ \left(\frac{h^2 - d^2 - 1}{2h}\right)^2 - 1 = 0 \\ \Leftrightarrow x_1^2 + \left(\frac{d^2}{h^2}x_1 + 2\frac{d}{h}\left(\frac{h^2 - d^2 - 1}{2h}\right)x_1 + \left(\frac{h^2 - d^2 - 1}{2h}\right)^2\right) &= 1 \\ \Leftrightarrow x_1^2 + \left(\frac{d}{h}x_1 + \frac{h^2 - d^2 - 1}{2h}\right)^2 &= 1 \\ \Leftrightarrow x_1^2 + x_2^2 &= 1 \end{aligned}
because (x1,x2)(x_1, x_2) satisfies equation of XYXY. But the final equation is precisely the equation of the circle with diameter BCBC, which is satisfied by the points XYXY. Hence, all the implications holds, and we are done. \square

## Supplementary
We can in fact prove that AXDX=AYDY=2\frac{AX}{DX} = \frac{AY}{DY} = \sqrt{2}. Let U,VU, V be points on BCBC such that DU=DA=DVDU = DA = DV. Observe that the circle centered at AA' (reflection of AA in BCBC) passing through U,VU, V is Appolonius circle for ratio 2\sqrt{2} wrt A,DA, D. Let this circle be ω1\omega_1.
Thus, we just want X,YX, Y to be on this circle. But X,YX, Y also lies on (BC)(BC). Observe that AMKDA'M \parallel KD as proven in Claim 0.5 of the preliminaries.
Thus, the line joining the centers of ω1\omega_1 and (BC)(BC) is perpendicular to XYXY. Thus, we if can find a point PP on XYXY such that powω1(P)=pow(BC)(P)\text{pow}_{\omega_1}(P) = \text{pow}_{(BC)}(P), we will be done, since the radical axis of (BC)(BC) and ω1\omega_1 is parallel to XYXY.
Observe that if we consider the point circle at AA, ω1\omega_1 and (BC)(BC), their radical center is the intersection of the AA-midline of ABC\triangle ABC and the midline of the polar of AA in (BC)(BC). Thus, we just want the perpendicular bisector of AD,XYAD, XY and the midline of the polar of AA in (BC)(BC) to concur.
This is exactly what we show in Solution A1! Thus, we are done. \square

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 reproduced verbatim; metadata (topic, difficulty) added by this project.