Maths Olympiad Prep

Library / /103 of 105

Geometry Difficulty 7.6 National Olympiad, round 2 Prove it JBMO

Problem:
Let XYX Y be a chord of a circle Ω\Omega, with center OO, which is not a diameter. Let P,QP, Q be two distinct points inside the segment XYX Y, where QQ lies between PP and XX. Let \ell the perpendicular line dropped from PP to the diameter which passes through QQ. Let MM be the intersection point of \ell and Ω\Omega, which is closer to PP. Prove that
MPXY2QXPY M P \cdot X Y \geq 2 \cdot Q X \cdot P Y

Solution

Solution by PSC. At first, we will allow PP and QQ to coincide, and we will prove the inequality in this case. Let the perpendicular from QQ to OQO Q meet Ω\Omega at BB and CC. Then, we have that QB=QCQ B=Q C. We will show that
BQXY2QXQY B Q \cdot X Y \geq 2 Q X \cdot Q Y
By the power of a point Theorem we have that
QXQY=QBQC=QB2 Q X \cdot Q Y=Q B \cdot Q C=Q B^{2}
therefore it is enough to prove that XY2BQX Y \geq 2 B Q or XYBCX Y \geq B C. Let TT be the foot of the perpendicular from OO to XYX Y. Then, from the right-angled triangle OTQO T Q we have that OTOQO T \leq O Q, so the distance from OO to the chord XYX Y is smaller or equal to the distance from OO to the chord BCB C. This means that XYBCX Y \geq B C, so (1) holds.

Figure 1

Back to the initial problem, we have to prove that
MPXY2QXPYXY2QXPYPM M P \cdot X Y \geq 2 Q X \cdot P Y \Longleftrightarrow \frac{X Y}{2 Q X} \geq \frac{P Y}{P M}
By (1) we have that
XY2QXQYQB \frac{X Y}{2 Q X} \geq \frac{Q Y}{Q B}
so it is enough to prove that
QYQBPYPM \frac{Q Y}{Q B} \geq \frac{P Y}{P M}
If CBC B meets YMY M at SS, then from MPQSM P \| Q S we get
QYQBQYQS=PYPM \frac{Q Y}{Q B} \geq \frac{Q Y}{Q S}=\frac{P Y}{P M}
which is the desired.

We will show that (QMQP)XY2QXPY(Q M-Q P) \cdot X Y \geq 2 \cdot Q X \cdot P Y. Since MPQMQPM P \geq Q M-Q P, our inequality follows directly. Let AA the intersection point of \ell with the diameter which passes through QQ. Like in the following picture, choose a coordinative system centered at OO and such that Q=(a,0),A=(c,0)Q=(a, 0), A=(c, 0), P=(c,h)P=(c, h) and denote the lengths QX=x,PQ=t,PY=y,OP=d,QM=zQ X=x, P Q=t, P Y=y, O P=d, Q M=z.
Let λQ=r2a2\lambda_{Q}=r^{2}-a^{2} and λP=r2d2\lambda_{P}=r^{2}-d^{2} respectively the power of QQ and PP with respect to our circle Ω\Omega. We will show that:
(zt)(t+x+y)2xy (z-t)(t+x+y) \geq 2 x y
Figure 2

Adding and multiplying respectively the relations x(t+y)=λQx(t+y)=\lambda_{Q} and y(t+x)=λPy(t+x)=\lambda_{P}, we will have
t(x+y)+2xy=λP+λQ t(x+y)+2 x y=\lambda_{P}+\lambda_{Q}
and
xy(t+x)(t+y)=λPλQ x y(t+x)(t+y)=\lambda_{P} \lambda_{Q}
Using these two equations, it's easy to deduce that:
(xy)2xy(t2+λP+λQ)+λPλQ=0 (x y)^{2}-x y\left(t^{2}+\lambda_{P}+\lambda_{Q}\right)+\lambda_{P} \lambda_{Q}=0
So, w1=xyw_{1}=x y is a zero of the second degree polynomial:
p(w)=w2w(t2+λP+λQ)+λPλQ p(w)=w^{2}-w\left(t^{2}+\lambda_{P}+\lambda_{Q}\right)+\lambda_{P} \lambda_{Q}
But w1=xy<x(t+y)=λQw_{1}=x y<x(t+y)=\lambda_{Q} and
p(λQ)=(r2a2)2(r2a2)(t2+λP+λQ)+λPλQ=(r2a2)2(r2a2)(t2+r2d2+r2a2)+(r2d2)(r2a2)=(r2a2)2(r2a2)t2(r2d2)(r2a2)(r2a2)4+(r2d2)(r2a2)=t2(r2a2)=t2λQ<0 \begin{aligned} p\left(\lambda_{Q}\right) & =\left(r^{2}-a^{2}\right)^{2}-\left(r^{2}-a^{2}\right)\left(t^{2}+\lambda_{P}+\lambda_{Q}\right)+\lambda_{P} \lambda_{Q} \\ & =\left(r^{2}-a^{2}\right)^{2}-\left(r^{2}-a^{2}\right)\left(t^{2}+r^{2}-d^{2}+r^{2}-a^{2}\right)+\left(r^{2}-d^{2}\right)\left(r^{2}-a^{2}\right) \\ & =\left(r^{2}-a^{2}\right)^{2}-\left(r^{2}-a^{2}\right) t^{2}-\left(r^{2}-d^{2}\right)\left(r^{2}-a^{2}\right)-\left(r^{2}-a^{2}\right)^{4}+\left(r^{2}-d^{2}\right)\left(r^{2}-a^{2}\right) \\ & =-t^{2}\left(r^{2}-a^{2}\right)=-t^{2} \lambda_{Q}<0 \end{aligned}
This implies that λQ\lambda_{Q} lies (strictly) between the two (positive) zeros w1,w2w_{1}, w_{2} of p(w)p(w) and w1=xyw_{1}=x y is the smaller one.
After using (2) and (3), inequality (1) can be rewritten as:
(xy)2(ztz+t)λPλQ (x y)^{2} \leq\left(\frac{z-t}{z+t}\right) \lambda_{P} \lambda_{Q}
In order to show this, it is enough to show that
p(ztz+tλPλQ)0 p\left(\sqrt{\frac{z-t}{z+t} \lambda_{P} \lambda_{Q}}\right) \leq 0
because this will imply ztz+tλPλQ[w1,w2]\sqrt{\frac{z-t}{z+t} \lambda_{P} \lambda_{Q}} \in\left[w_{1}, w_{2}\right]. After some manipulations, inequality (6) can be equivalently transformed to:
4z2λPλQ(z2t2)(t2+λP+λQ)2 4 z^{2} \lambda_{P} \lambda_{Q} \leq\left(z^{2}-t^{2}\right)\left(t^{2}+\lambda_{P}+\lambda_{Q}\right)^{2}
Since z2t2=r2d2=λPz^{2}-t^{2}=r^{2}-d^{2}=\lambda_{P}, this is equivalent to:
4z2λQ(t2+λP+λQ)2 4 z^{2} \lambda_{Q} \leq\left(t^{2}+\lambda_{P}+\lambda_{Q}\right)^{2}
But t2=(ac)2+h2=a2+d22ac,z2=t2+r2d2=a22ac+r2t^{2}=(a-c)^{2}+h^{2}=a^{2}+d^{2}-2 a c, z^{2}=t^{2}+r^{2}-d^{2}=a^{2}-2 a c+r^{2} and t2+λP+λQ==2(r2ac)t^{2}+\lambda_{P}+\lambda_{Q}=\ldots=2\left(r^{2}-a c\right). Hence, (8) is equivalent with:
(a22ac+r2)(r2a2)(r2ac)20a2(ac)2 \left(a^{2}-2 a c+r^{2}\right)\left(r^{2}-a^{2}\right) \leq\left(r^{2}-a c\right)^{2} \Leftrightarrow \cdots \Leftrightarrow 0 \leq a^{2}(a-c)^{2}
which is clearly true.

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.