Maths Olympiad Prep

Library / /313 of 520

Geometry Difficulty 7.0 National olympiad, round 2 Prove it

(x1,y1),(x2,y2),(x3,y3)(x_1, y_1), (x_2, y_2), (x_3, y_3) lie on a straight line and on the curve y2=x3y^2 = x^3. Show that x1y1+x2y2+x3y3=0\frac{x_1}{y_1} + \frac{x_2}{y_2}+\frac{x_3}{y_3} = 0.

Solution

Given points (x1,y1)(x_1, y_1), (x2,y2)(x_2, y_2), and (x3,y3)(x_3, y_3) lie on a straight line and on the curve y2=x3y^2 = x^3. We need to show that x1y1+x2y2+x3y3=0\frac{x_1}{y_1} + \frac{x_2}{y_2} + \frac{x_3}{y_3} = 0.

1. Express the points in terms of parameters:
Since the points lie on the curve y2=x3y^2 = x^3, we can write:
(x1,y1)=(a2,a3),(x2,y2)=(b2,b3),(x3,y3)=(c2,c3) (x_1, y_1) = (a^2, a^3), \quad (x_2, y_2) = (b^2, b^3), \quad (x_3, y_3) = (c^2, c^3)
where aa, bb, and cc are distinct and non-zero.

2. Collinearity condition:
The points are collinear if the slope between any two pairs of points is the same. Using the points (a2,a3)(a^2, a^3), (b2,b3)(b^2, b^3), and (c2,c3)(c^2, c^3), the collinearity condition can be written as:
b3c3b2c2=a3b3a2b2 \frac{b^3 - c^3}{b^2 - c^2} = \frac{a^3 - b^3}{a^2 - b^2}

3. Simplify the collinearity condition:
Using the identity for the difference of cubes and squares, we get:
(bc)(b2+bc+c2)(bc)(b+c)=(ab)(a2+ab+b2)(ab)(a+b) \frac{(b - c)(b^2 + bc + c^2)}{(b - c)(b + c)} = \frac{(a - b)(a^2 + ab + b^2)}{(a - b)(a + b)}
Simplifying, we obtain:
b2+bc+c2b+c=a2+ab+b2a+b \frac{b^2 + bc + c^2}{b + c} = \frac{a^2 + ab + b^2}{a + b}

4. Cross-multiply and expand:
Cross-multiplying both sides, we get:
(b2+bc+c2)(a+b)=(a2+ab+b2)(b+c) (b^2 + bc + c^2)(a + b) = (a^2 + ab + b^2)(b + c)
Expanding both sides:
b2a+b3+abc+b2c+c2a+c2b=a2b+a2c+ab2+abc+b3+b2c b^2a + b^3 + abc + b^2c + c^2a + c^2b = a^2b + a^2c + ab^2 + abc + b^3 + b^2c

5. Simplify the equation:
Canceling common terms on both sides, we get:
c2a+c2b=a2b+a2c c^2a + c^2b = a^2b + a^2c
Rearranging terms, we have:
c2(a+b)=a2(b+c) c^2(a + b) = a^2(b + c)

6. Factor and solve:
Factoring out common terms, we get:
(ac)(ab+bc+ca)=0 (a - c)(ab + bc + ca) = 0
Since aa, bb, and cc are distinct, aca \neq c. Therefore, we must have:
ab+bc+ca=0 ab + bc + ca = 0

7. Show the required result:
We need to show that x1y1+x2y2+x3y3=0\frac{x_1}{y_1} + \frac{x_2}{y_2} + \frac{x_3}{y_3} = 0. Substituting the parameterized points:
x1y1+x2y2+x3y3=a2a3+b2b3+c2c3=1a+1b+1c \frac{x_1}{y_1} + \frac{x_2}{y_2} + \frac{x_3}{y_3} = \frac{a^2}{a^3} + \frac{b^2}{b^3} + \frac{c^2}{c^3} = \frac{1}{a} + \frac{1}{b} + \frac{1}{c}
Since ab+bc+ca=0ab + bc + ca = 0, we have:
1a+1b+1c=ab+bc+caabc=0abc=0 \frac{1}{a} + \frac{1}{b} + \frac{1}{c} = \frac{ab + bc + ca}{abc} = \frac{0}{abc} = 0

Thus, we have shown that x1y1+x2y2+x3y3=0\frac{x_1}{y_1} + \frac{x_2}{y_2} + \frac{x_3}{y_3} = 0.

\blacksquare

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.