Olympiad Maths Prep

Track / Stage 7 / 201 of 300 #1601 of 2000

Problem 1601

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

If pp, qq and rr are nonzero rational numbers such that pq23+qr23+rp23\sqrt[3]{pq^2}+\sqrt[3]{qr^2}+\sqrt[3]{rp^2} is a nonzero rational number, prove that

1pq23+1qr23+1rp23\frac{1}{\sqrt[3]{pq^2}}+\frac{1}{\sqrt[3]{qr^2}}+\frac{1}{\sqrt[3]{rp^2}}

is also a rational number.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Let a=pq23 a = \sqrt[3]{pq^2} , b=qr23 b = \sqrt[3]{qr^2} , and c=rp23 c = \sqrt[3]{rp^2} . Given that a+b+c a + b + c is a nonzero rational number, we need to prove that 1a+1b+1c \frac{1}{a} + \frac{1}{b} + \frac{1}{c} is also a rational number.

2. Since a=pq23 a = \sqrt[3]{pq^2} , b=qr23 b = \sqrt[3]{qr^2} , and c=rp23 c = \sqrt[3]{rp^2} , we have:
a3=pq2,b3=qr2,c3=rp2 a^3 = pq^2, \quad b^3 = qr^2, \quad c^3 = rp^2
Therefore, abc=pq23qr23rp23=(pq2)(qr2)(rp2)3=p3q3r33=pqr abc = \sqrt[3]{pq^2} \cdot \sqrt[3]{qr^2} \cdot \sqrt[3]{rp^2} = \sqrt[3]{(pq^2)(qr^2)(rp^2)} = \sqrt[3]{p^3q^3r^3} = pqr .

3. Given that a+b+c a + b + c is rational, we also know that a3+b3+c3 a^3 + b^3 + c^3 is rational because a3=pq2 a^3 = pq^2 , b3=qr2 b^3 = qr^2 , and c3=rp2 c^3 = rp^2 are all rational numbers.

4. Using the identity for the sum of cubes:
a3+b3+c33abc=(a+b+c)(a2+b2+c2abbcca) a^3 + b^3 + c^3 - 3abc = (a + b + c)(a^2 + b^2 + c^2 - ab - bc - ca)
Since a3+b3+c3 a^3 + b^3 + c^3 and 3abc 3abc are rational, and a+b+c a + b + c is rational, it follows that:
a2+b2+c2abbcca a^2 + b^2 + c^2 - ab - bc - ca
must also be rational.

5. Next, consider the square of the sum a+b+c a + b + c :
(a+b+c)2=a2+b2+c2+2(ab+bc+ca) (a + b + c)^2 = a^2 + b^2 + c^2 + 2(ab + bc + ca)
Since (a+b+c)2 (a + b + c)^2 is rational and a2+b2+c2abbcca a^2 + b^2 + c^2 - ab - bc - ca is rational, we can solve for ab+bc+ca ab + bc + ca :
(a+b+c)23(ab+bc+ca)=a2+b2+c2abbcca (a + b + c)^2 - 3(ab + bc + ca) = a^2 + b^2 + c^2 - ab - bc - ca
Therefore, ab+bc+ca ab + bc + ca must be rational.

6. Finally, we need to show that 1a+1b+1c \frac{1}{a} + \frac{1}{b} + \frac{1}{c} is rational. Using the identity:
1a+1b+1c=ab+bc+caabc \frac{1}{a} + \frac{1}{b} + \frac{1}{c} = \frac{ab + bc + ca}{abc}
Since ab+bc+ca ab + bc + ca is rational and abc=pqr abc = pqr is rational, it follows that:
ab+bc+caabc \frac{ab + bc + ca}{abc}
is rational.

Conclusion:
1pq23+1qr23+1rp23 is a rational number. \boxed{\frac{1}{\sqrt[3]{pq^2}} + \frac{1}{\sqrt[3]{qr^2}} + \frac{1}{\sqrt[3]{rp^2}} \text{ is a rational number.}}

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