Maths Olympiad Prep

Track / Stage 6 / 58 of 400 #1058 of 1964

Problem 1058

National olympiad, first round
Number theory Difficulty 6.1 Prove it

3293 \cdot 29 Prove that the cube roots of three distinct prime numbers cannot be three terms (not necessarily consecutive) of an arithmetic progression.
(2nd United States of America Mathematical Olympiad, 1973)

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

[Proof] Let p,q,rp, q, r be distinct prime numbers, and p3,q3,r3\sqrt[3]{p}, \sqrt[3]{q}, \sqrt[3]{r} be three terms in an arithmetic sequence.
Assume
p3=a,q3=a+md,r3=a+nd, \begin{aligned} \sqrt[3]{p} & =a, \\ \sqrt[3]{q} & =a+m d, \\ \sqrt[3]{r} & =a+n d, \end{aligned}

where m,nm, n are positive integers.
Eliminating a,da, d yields
q3p3r3p3=mnmr3nq3=(mn)p3 \begin{array}{c} \frac{\sqrt[3]{q}-\sqrt[3]{p}}{\sqrt[3]{r}-\sqrt[3]{p}}=\frac{m}{n} \\ m \sqrt[3]{r}-n \sqrt[3]{q}=(m-n) \sqrt[3]{p} \end{array}

Cubing and expanding gives
q3p3r3p3=mnmr3nq3=(mn)p3 \begin{array}{c} \frac{\sqrt[3]{q}-\sqrt[3]{p}}{\sqrt[3]{r}-\sqrt[3]{p}}=\frac{m}{n} \\ m \sqrt[3]{r}-n \sqrt[3]{q}=(m-n) \sqrt[3]{p} \end{array}
m3rn3q+3mnrq3(mr3nq3)=(mn)3p. m^{3} r-n^{3} q+3 m n \sqrt[3]{r q}(m \sqrt[3]{r}-n \sqrt[3]{q})=(m-n)^{3} p .

Substituting (1) into the above equation gives
m3rn3q(mn)3p=3mn(mn)pqr3 m^{3} r-n^{3} q-(m-n)^{3} p=-3 m n(m-n) \sqrt[3]{p q r} \text {. }

Since p,q,rp, q, r are all prime numbers, pqr3\sqrt[3]{p q r} is an irrational number. Therefore, the left side of (2) is a rational number, while the right side is an irrational number, making (2) impossible.
Thus, p3,q3,r3\sqrt[3]{p}, \sqrt[3]{q}, \sqrt[3]{r} cannot be three terms in an arithmetic sequence.

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