Maths Olympiad Prep

Track / Stage 7 / 17 of 300 #1417 of 1964

Problem 1417

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.0 Prove it

Let nn be an integer greater than 11 such that nn could be represented as a sum of the cubes of two rational numbers, prove that nn is also the sum of the cubes of two non-negative rational numbers.

Proposed by [i]Navid Safaei[/i]

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

1. Define the curve and point:
Let C C be the curve defined by x3y3=n x^3 - y^3 = n , and let P=(a,b) P = (a, b) be a point on this curve, where a a and b b are rational numbers such that a3+b3=n a^3 + b^3 = n .

2. **Find the tangent line at P P :**
The tangent line t t to the curve C C at the point P P can be found using implicit differentiation:
x3y3=n    3x2dx3y2dy=0    dydx=x2y2 x^3 - y^3 = n \implies 3x^2 \, dx - 3y^2 \, dy = 0 \implies \frac{dy}{dx} = \frac{x^2}{y^2}
Therefore, the equation of the tangent line at (a,b) (a, b) is:
yb=a2b2(xa)    y=a2b2xa3b3b2=a2b2xnb2 y - b = \frac{a^2}{b^2}(x - a) \implies y = \frac{a^2}{b^2}x - \frac{a^3 - b^3}{b^2} = \frac{a^2}{b^2}x - \frac{n}{b^2}

3. Find the intersection of the tangent line with the curve:
Substitute y=a2b2xnb2 y = \frac{a^2}{b^2}x - \frac{n}{b^2} into the curve equation x3y3=n x^3 - y^3 = n :
x3(a2b2xnb2)3=n x^3 - \left( \frac{a^2}{b^2}x - \frac{n}{b^2} \right)^3 = n
Simplify the equation:
x3(a6b6x33a4nb6x2+3a2n2b6xn3b6)=n x^3 - \left( \frac{a^6}{b^6}x^3 - \frac{3a^4n}{b^6}x^2 + \frac{3a^2n^2}{b^6}x - \frac{n^3}{b^6} \right) = n
x3a6b6x3+3a4nb6x23a2n2b6x+n3b6=n x^3 - \frac{a^6}{b^6}x^3 + \frac{3a^4n}{b^6}x^2 - \frac{3a^2n^2}{b^6}x + \frac{n^3}{b^6} = n
(1a6b6)x3+3a4nb6x23a2n2b6x+n3b6n=0 \left( 1 - \frac{a^6}{b^6} \right)x^3 + \frac{3a^4n}{b^6}x^2 - \frac{3a^2n^2}{b^6}x + \frac{n^3}{b^6} - n = 0
Since a3+b3=n a^3 + b^3 = n , we have a6+b6=n2 a^6 + b^6 = n^2 . Thus, the leading coefficient simplifies to:
1a6b6=b6a6b6=n2a6b6 1 - \frac{a^6}{b^6} = \frac{b^6 - a^6}{b^6} = \frac{n^2 - a^6}{b^6}
The independent term simplifies to:
n3b6n=n3nb6b6=n(n2b6)b6 \frac{n^3}{b^6} - n = \frac{n^3 - n b^6}{b^6} = \frac{n(n^2 - b^6)}{b^6}

4. Solve for the other intersection point:
Since a a is a double root, the other root can be found using Vieta's relations:
x=a3(2b3a3)a2(a3+b3)=a(2b3a3)a3+b3 x = -\frac{a^3(2b^3 - a^3)}{a^2(a^3 + b^3)} = -\frac{a(2b^3 - a^3)}{a^3 + b^3}
Plugging this back into the tangent line equation, we get:
y=a2b2(a(2b3a3)a3+b3)nb2=b(2a3b3)a3+b3 y = \frac{a^2}{b^2} \left( -\frac{a(2b^3 - a^3)}{a^3 + b^3} \right) - \frac{n}{b^2} = -\frac{b(2a^3 - b^3)}{a^3 + b^3}

5. Find the reflection of the intersection point:
The reflection of the point (a(2b3a3)a3+b3,b(2a3b3)a3+b3) \left( -\frac{a(2b^3 - a^3)}{a^3 + b^3}, -\frac{b(2a^3 - b^3)}{a^3 + b^3} \right) with respect to the line x+y=0 x + y = 0 is:
(b(2a3b3)a3+b3,a(2b3a3)a3+b3) \left( \frac{b(2a^3 - b^3)}{a^3 + b^3}, \frac{a(2b^3 - a^3)}{a^3 + b^3} \right)

6. Conclusion:
The point (b(2a3b3)a3+b3,a(2b3a3)a3+b3) \left( \frac{b(2a^3 - b^3)}{a^3 + b^3}, \frac{a(2b^3 - a^3)}{a^3 + b^3} \right) is a rational point on the curve x3y3=n x^3 - y^3 = n and both coordinates are non-negative rational numbers. Therefore, n n can be represented as the sum of the cubes of two non-negative rational numbers.

\blacksquare

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