Maths Olympiad Prep

Library / /7 of 16

, 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 x2rxx^2 - rx and x3rxx^3 - rx are rational numbers, then xx is rational as well.

a) Prove the statement for r43r \ge \frac{4}{3} and for r0r \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=x2rxs = x^2 - rx and t=x3rxt = x^3 - rx be rational. Then
x2=s+rx, x^2 = s + rx,
x3=x2x=(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=x3rx=((r2+s)x+rs)rx=(r2r+s)x+rs. t = x^3 - rx = ((r^2 + s)x + rs) - rx = (r^2 - r + s)x + rs.
if (r2r+s)0(r^2 - r + s) \neq 0 (which is x2rx+r2r0x^2 - rx + r^2 - r \neq 0), then
x=trsr2r+s x = \frac{t - rs}{r^2 - r + s}
is rational.
We conclude that the given statement holds iff the equation
x2rx+r2r=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=x2rx=rr2andt=0x+rs=rs=r(rr2). 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(43r)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 D0(r43D \le 0 \Leftrightarrow (r \ge \frac{4}{3} or r0)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(43r)=pq(43pq)=p(4q3p)q2>0. D = r(4 - 3r) = \frac{p}{q}\left(4 - \frac{3p}{q}\right) = \frac{p(4q - 3p)}{q^2} > 0.
But p4qp \nmid 4q thus pp(4q3p)p \mid p(4q - 3p) and p2p(4q3p)p^2 \nmid p(4q - 3p), that is p(4q3p)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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.