Maths Olympiad Prep

Library / Cesko-Slovacko-Poljsko /6 of 16

Cesko-Slovacko-Poljsko, 2013

Algebra Difficulty 6.2 National Olympiad Prove it Czech-Polish-Slovak Mathematical Match

For each rational number rr consider the statement: If xx is a real number such that x2−rxx^2 - rx and x3−rxx^3 - rx are rational numbers, then xx is rational as well.

a) Prove the statement for r≥43r \ge \frac{4}{3} and for r≤0r \le 0.

b) Let p,qp, q be different odd primes such that 3p<4q3p < 4q. Show the statement is false for r=pqr = \frac{p}{q}.

Solution

a) Let s=x2−rxs = x^2 - rx and t=x3−rxt = x^3 - rx be rational. Then
x2=s+rx, x^2 = s + rx,
x3=x2⋅x=(s+rx)x=sx+rx2=sx+r(s+rx)=(r2+s)x+rs, x^3 = x^2 \cdot x = (s + rx)x = sx + rx^2 = sx + r(s + rx) = (r^2 + s)x + rs,
consequently
t=x3−rx=((r2+s)x+rs)−rx=(r2−r+s)x+rs. t = x^3 - rx = ((r^2 + s)x + rs) - rx = (r^2 - r + s)x + rs.
if (r2−r+s)≠0(r^2 - r + s) \neq 0 (which is x2−rx+r2−r≠0x^2 - rx + r^2 - r \neq 0), then
x=t−rsr2−r+s x = \frac{t - rs}{r^2 - r + s}
is rational.
We conclude that the given statement holds iff the equation
x2−rx+r2−r=0(1) x^2 - rx + r^2 - r = 0 \quad (1)
has no irrational roots. For the sake of completeness, note that if (1) has a rational root then ss and tt are rational as well:
s=x2−rx=r−r2andt=0⋅x+rs=rs=r(r−r2). s = x^2 - rx = r - r^2 \quad \text{and} \quad t = 0 \cdot x + rs = rs = r(r - r^2).
If the determinant D=r(4−3r)D = r(4 - 3r) of (1) is less or equal 0, then (1) has no real solutions or a solution x=r2x = \frac{r}{2}, which is rational. Since D≤0⇔(r≥43D \le 0 \Leftrightarrow (r \ge \frac{4}{3} or r≤0)r \le 0) the statement under consideration is true.

b) According to a) it suffices to show that D>0D > 0 and D\sqrt{D} is irrational. We have
D=r(4−3r)=pq(4−3pq)=p(4q−3p)q2>0. D = r(4 - 3r) = \frac{p}{q}\left(4 - \frac{3p}{q}\right) = \frac{p(4q - 3p)}{q^2} > 0.
But p∤4qp \nmid 4q thus p∣p(4q−3p)p \mid p(4q - 3p) and p2∤p(4q−3p)p^2 \nmid p(4q - 3p), that is p(4q−3p)p(4q - 3p) is not a perfect square, that is D\sqrt{D} is irrational.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.