Maths Olympiad Prep

Library / /467 of 520

Geometry Difficulty 5.9 AIME, harder Prove it

Question 3: From point OO, draw two rays l1l_{1} and l2l_{2}. A moving line ll intersects l1l_{1} and l2l_{2} at points AA and BB, respectively. The midpoint of segment ABAB is XX, and the trajectory of the moving point XX is Γ\Gamma. The rays l1l_{1} and l2l_{2}, and the line ll form OAB\triangle OAB with a constant area cc. Prove:
(1) Γ\Gamma is symmetric with respect to the angle bisector of l1l_{1} and l2l_{2};
(2) Γ\Gamma is a hyperbola.

Solution

Prove that by taking the bisector of the angle formed by rays l1l_{1} and l2l_{2} as the xx-axis, and the line passing through point OO and perpendicular to the xx-axis as the yy-axis, we establish a Cartesian coordinate system.
Let the moving point X(x0,y0)X\left(x_{0}, y_{0}\right),
ray l1:y=kx(k>0)l_{1}: y=k x(k>0),
l2:y=kx(k>0),OA=ρ1,OB=ρ2. \begin{array}{l} l_{2}: y=-k x(k>0), \\ |O A|=\rho_{1},|O B|=\rho_{2} . \end{array}

Then, from SOAX=SOBX=c2S_{\triangle O A X}=S_{\triangle O B X}=\frac{c}{2}, we get
12kx0y01+k2ρ1=c2,12kx0y01+k2ρ2=c2. Thus, ρ1=c1+k2kx0y0,ρ2=c1+k2kx0+y0. Also, 12ρ1ρ2sin2θ=c, then 12c2(1+k2)k2x02y022k1+k2=c. \begin{array}{l} \frac{1}{2} \cdot \frac{\left|k x_{0}-y_{0}\right|}{\sqrt{1+k^{2}}} \cdot \rho_{1}=\frac{c}{2}, \\ \frac{1}{2} \cdot \frac{\left|-k x_{0}-y_{0}\right|}{\sqrt{1+k^{2}}} \cdot \rho_{2}=\frac{c}{2} . \\ \text { Thus, } \rho_{1}=\frac{c \sqrt{1+k^{2}}}{\left|k x_{0}-y_{0}\right|}, \rho_{2}=\frac{c \sqrt{1+k^{2}}}{\left|k x_{0}+y_{0}\right|} . \\ \text { Also, } \frac{1}{2} \rho_{1} \rho_{2} \sin 2 \theta=c \text {, then } \\ \frac{1}{2} \cdot \frac{c^{2}\left(1+k^{2}\right)}{\left|k^{2} x_{0}^{2}-y_{0}^{2}\right|} \cdot \frac{2 k}{1+k^{2}}=c . \end{array}

Since point XX is within the region enclosed by the rays, we have
12c2(1+k2)k2x02y022k1+k2=ck2x02y02=ck(x0>0) \begin{array}{l} \frac{1}{2} \cdot \frac{c^{2}\left(1+k^{2}\right)}{k^{2} x_{0}^{2}-y_{0}^{2}} \cdot \frac{2 k}{1+k^{2}}=c \\ \Rightarrow k^{2} x_{0}^{2}-y_{0}^{2}=c k\left(x_{0}>0\right) \end{array}

which is the equation of the trajectory Γ\Gamma.
From the equation, it is easy to see that the conclusion holds.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.