Maths Olympiad Prep

Library / /200 of 462

, 2014

Algebra Difficulty 5.7 AIME, harder Prove it Ireland

Let n2n \ge 2 be an integer and r=23r = \sqrt[3]{2}. Prove that there do not exist rational numbers a0,a1,,an1a_0, a_1, \dots, a_{n-1}, not all of them equal to zero, such that
a0+a1r+a2r2++an1rn1=0. a_0 + a_1 r + a_2 r^2 + \dots + a_{n-1} r^{n-1} = 0.

Solution

Assume there exist rational numbers a0,a1,,an1a_0, a_1, \dots, a_{n-1} such that
a0+a1r+a2r2++an1rn1=0. a_0 + a_1 r + a_2 r^2 + \dots + a_{n-1} r^{n-1} = 0.
Consider the polynomials
f(x)=a0+a1x++an1xn1andg(x)=xn2. f(x) = a_0 + a_1 x + \dots + a_{n-1} x^{n-1} \quad \text{and} \quad g(x) = x^n - 2.
We then have f(r)=g(r)=0f(r) = g(r) = 0. By Eisenstein's criterion, g(x)g(x) is irreducible
over the rationals, i.e. cannot be written as the product of two polynomials
of positive degree with rational coefficients.

Alternatively, this could be shown directly. Assume g(x)=u(x)v(x)g(x) = u(x)v(x) where u(x)u(x) and v(x)v(x) are monic polynomials with integer coefficients. Then u(0)u(0) and v(0)v(0) are integers and u(0)v(0)=g(0)=2u(0)v(0) = g(0) = -2, hence one of these integers is equal to ±1\pm 1, say u(0)=±1u(0) = \pm 1. This implies that the product of the absolute values of the complex roots of u(x)u(x) is equal to 1. Hence, there exists at least one complex number zz for which u(z)=0u(z) = 0 and z1|z| \le 1. Then zn1|z|^n \le 1 in contradiction to g(z)=u(z)v(z)=0g(z) = u(z)v(z) = 0 which implies zn=2z^n = 2. By Gauss' Lemma, g(x)g(x) is then irreducible over the rationals, too.

Hence, if f0f \neq 0, gcd(f,g)\gcd(f, g) can only be 1 or gg. But the degree of ff is smaller
than the degree of gg, and so we conclude gcd(f,g)=1\gcd(f, g) = 1. This means that
there exist polynomials s(x)s(x) and t(x)t(x) such that s(x)f(x)+t(x)g(x)=1s(x)f(x) + t(x)g(x) = 1.
This is in contradiction with f(r)=g(r)=0f(r) = g(r) = 0, hence such rational numbers
aia_i cannot exist unless they are all equal to zero.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.