Maths Olympiad Prep

Track / Stage 6 / 349 of 400 #1349 of 1964

Problem 1349

National olympiad, first round
Geometry Difficulty 6.7 Prove it

S1S2+S2S3++SnSn+1>n1 \frac{S_{1}}{S_{2}}+\frac{S_{2}}{S_{3}}+\cdots+\frac{S_{n}}{S_{n+1}}>n-1
11. (20 points) The equation of circle ω\omega is x2+y2=2x^{2}+y^{2}=2. Circle ω\omega has two fixed points E(1,1),F(1,1)E(1,1), F(1,-1) and a moving point DD. The tangents to circle ω\omega at these three points intersect to form ABC\triangle A B C. Let the circumcenter of ABC\triangle A B C be PP.
(1) Find the equation of the locus of point PP;
(2) Prove that the circumcircle of ABC\triangle A B C is tangent to a certain fixed circle.

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

11. (1) (Method 1) Note that the tangent line equation through point EE is x+y2=0x+y-2=0, and the tangent line equation through point FF is xy2=0x-y-2=0. Their intersection point is A(2,0)A(2,0).
Let P(x0,y0)P\left(x_{0}, y_{0}\right), then the equation of the circumcircle is
(xx0)2+(yy0)2=(2x0)2+(0y0)2, \left(x-x_{0}\right)^{2}+\left(y-y_{0}\right)^{2}=\left(2-x_{0}\right)^{2}+\left(0-y_{0}\right)^{2},

which simplifies to
x2+y22x0x2y0y+4x04=0. x^{2}+y^{2}-2 x_{0} x-2 y_{0} y+4 x_{0}-4=0 .

By combining the above equation with x+y2=0x+y-2=0, we can find the intersection point of the circumcircle and the tangent line through point EE as C(x0y0,y0x0+2)C\left(x_{0}-y_{0}, y_{0}-x_{0}+2\right). Similarly, we can find the intersection point of the circumcircle and the tangent line through point FF as B(x0+y0,x0+y02)B\left(x_{0}+y_{0}, x_{0}+y_{0}-2\right). Therefore, the equation of line BCB C is
(xx0y0)(2x04)(yx0y0+2)(2y0)=0, \left(x-x_{0}-y_{0}\right) \cdot\left(2 x_{0}-4\right)-\left(y-x_{0}-y_{0}+2\right) \cdot\left(2 y_{0}\right)=0,

which simplifies to
(x02)xy0y+y02x02+2x0=0. \left(x_{0}-2\right) x-y_{0} y+y_{0}^{2}-x_{0}^{2}+2 x_{0}=0 .

Since circle ω\omega is tangent to line BCB C, we have
y02x02+2x0=2(x02)2+y02, \left|y_{0}^{2}-x_{0}^{2}+2 x_{0}\right|=\sqrt{2} \cdot \sqrt{\left(x_{0}-2\right)^{2}+y_{0}^{2}},

Squaring the above equation, it can be seen as a quadratic equation in y02y_{0}^{2}, from which we can solve y02=(x02)2y_{0}^{2}=\left(x_{0}-2\right)^{2} (discard) or y02=x022y_{0}^{2}=x_{0}^{2}-2. Therefore, the trajectory equation of point PP is x2y2=2x^{2}-y^{2}=2.
(Method 2) Let D(2cost,2sint)D(\sqrt{2} \cos t, \sqrt{2} \sin t), then the tangent line equation at point DD is xcost+ysint=2x \cos t+y \sin t=\sqrt{2}. It intersects the tangent line through point CC at C(22sintcostsint,2+2costcostsint)C\left(\frac{\sqrt{2}-2 \sin t}{\cos t-\sin t}, \frac{-\sqrt{2}+2 \cos t}{\cos t-\sin t}\right), and intersects the tangent line through point DD at B(2+2sintcost+sint,22costcost+sint)B\left(\frac{\sqrt{2}+2 \sin t}{\cos t+\sin t}, \frac{\sqrt{2}-2 \cos t}{\cos t+\sin t}\right)

Notice that ABC\triangle A B C is a right triangle (with AA as the right angle vertex), so the circumcenter PP of ABC\triangle A B C is the midpoint of side BCB C, i.e.,
P(2cost2sin2tcos2tsin2t,2sint2sintcostcos2tsin2t). P\left(\frac{\sqrt{2} \cos t-2 \sin ^{2} t}{\cos ^{2} t-\sin ^{2} t}, \frac{\sqrt{2} \sin t-2 \sin t \cos t}{\cos ^{2} t-\sin ^{2} t}\right) .

Eliminating tt, we find that the trajectory equation of point PP is x2y2=2x^{2}-y^{2}=2.
Note When (x0,y0)=(32,12)\left(x_{0}, y_{0}\right)=\left(\frac{3}{2}, \frac{1}{2}\right) or (32,12)\left(\frac{3}{2},-\frac{1}{2}\right), the equation of line BCB C becomes x+y2=0x+y-2=0 or xy2=0x-y-2=0, i.e., BB or CC coincides with AA, in which case the "circumcircle" does not exist. Therefore, strictly speaking, the trajectory equation should be x2y2=2(x32)x^{2}-y^{2}=2\left(x \neq \frac{3}{2}\right). However, the degenerate case x32x \neq \frac{3}{2} is easily explained geometrically, so not writing x32x \neq \frac{3}{2} is not penalized.
(2) Take G(2,0)G(-2,0), and construct a circle γ\gamma with GG as the center and 222 \sqrt{2} as the radius. We prove that the circumcircle of ABC\triangle A B C is tangent to circle γ\gamma. For this, we only need to prove PAPG=±22|P A|-|P G|= \pm 2 \sqrt{2}.

In fact, if P(x0,y0)P\left(x_{0}, y_{0}\right), then PA2=(x02)2+y02,PG2=(x0+2)2+y02|P A|^{2}=\left(x_{0}-2\right)^{2}+y_{0}^{2},|P G|^{2}=\left(x_{0}+2\right)^{2}+y_{0}^{2}. Substituting y02=x022y_{0}^{2}=x_{0}^{2}-2, we get
PA2=2(x01)2,PG2=2(x0+1)2 |P A|^{2}=2\left(x_{0}-1\right)^{2}, \quad|P G|^{2}=2\left(x_{0}+1\right)^{2} \text {. }

Noting that x02\left|x_{0}\right| \geqslant \sqrt{2}, when x02x_{0} \geqslant \sqrt{2}, PA=2(x01),PG=2(x0+1)|P A|=\sqrt{2}\left(x_{0}-1\right),|P G|=\sqrt{2}\left(x_{0}+1\right), in which case PAPG=|P A|-|P G|= 22-2 \sqrt{2}. When x02x_{0} \leqslant-\sqrt{2}, PA=2(x01),PG=2(x0+1)|P A|=-\sqrt{2}\left(x_{0}-1\right),|P G|=-\sqrt{2}\left(x_{0}+1\right), in which case PAPG=|P A|-|P G|= 222 \sqrt{2}. Therefore, the conclusion is proved.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.