Maths Olympiad Prep

Library / /58 of 91

Algebra Difficulty 6.5 National Olympiad Prove it India

Suppose α,β\alpha, \beta are two positive rational numbers. Assume for some positive integers m,nm, n, it is known that α1/n+β1/m\alpha^{1/n} + \beta^{1/m} is a rational number. Prove that each of α1/n\alpha^{1/n} and β1/m\beta^{1/m} is a rational number.

Solution

Let l=lcm(m,n)l = \text{lcm}(m, n) and write n=l/u,m=l/vn = l/u, m = l/v. Then
α1/n=(αu)1/l,β1/m=(βv)1/l. \alpha^{1/n} = (\alpha^u)^{1/l}, \quad \beta^{1/m} = (\beta^v)^{1/l}.
Note that αu\alpha^u and βv\beta^v are also rationals. Thus it is sufficient to consider the case n=mn = m. Let us write a=α1/na = \alpha^{1/n}, b=β1/mb = \beta^{1/m} and c=a+bc = a + b. We are given that cc is rational.

Lemma 1: Let a,ba, b be real numbers such that a+b=ca + b = c is a rational number. Let f(x)f(x) and g(x)g(x) be the irreducible polynomials of aa and bb over Q\mathbb{Q}. Then deg(f(x))=deg(g(x))\deg(f(x)) = \deg(g(x)).

Proof of Lemma 1: Let p=deg(f(x))p = \deg(f(x)) and q=deg(g(x))q = \deg(g(x)). Then
f(x)=xp+ap1xp1++a0,g(x)=xq+bq1xq1++b0 f(x) = x^p + a_{p-1}x^{p-1} + \dots + a_0, \quad g(x) = x^q + b_{q-1}x^{q-1} + \dots + b_0
and these are polynomials with rational coefficients. Since f(a)=0f(a) = 0, we have f(cb)=0f(c-b) = 0. Thus bb satisfies the polynomial f(cx)f(c-x) over Q\mathbb{Q}. Since g(x)g(x) is the irreducible polynomial of bb over Q\mathbb{Q}, it follows that g(x)g(x) divides f(cx)f(c-x). Hence qpq \le p. Similarly we show that pqp \le q and we obtain p=qp = q.

We prove the result by induction on nn. If n=1n = 1, then α,β\alpha, \beta are rational by the given condition. If n=2n = 2, then
α1/2β1/2=αβα1/2β1/2 \alpha^{1/2} - \beta^{1/2} = \frac{\alpha - \beta}{\alpha^{1/2} - \beta^{1/2}}
which shows that α1/2β1/2\alpha^{1/2} - \beta^{1/2} is also rational. Combined with the given condition that α1/2+β1/2\alpha^{1/2} + \beta^{1/2} is rational, it follows that each of α1/2,β1/2\alpha^{1/2}, \beta^{1/2} is rational.

Suppose the result is true for k=0,1,2,,n1k = 0, 1, 2, \dots, n-1. Let f(x)f(x) be the irreducible polynomial of a=α1/na = \alpha^{1/n} over Q\mathbb{Q} and g(x)g(x) be that of b=β1/nb = \beta^{1/n} over Q\mathbb{Q}. Then the lemma 1 shows that deg(f(x))=deg(g(x))=m\deg(f(x)) = \deg(g(x)) = m, say. But we know that aa is a root of xnα=0x^n - \alpha = 0, bb is a root of xnβ=0x^n - \beta = 0 and b=cab = c - a. Thus (ca)n=bn=β(c-a)^n = b^n = \beta. Hence (ac)n=(1)nβ(a-c)^n = (-1)^n \beta. This shows that aa is a root of (xc)n(1)nβ=0(x-c)^n - (-1)^n \beta = 0. This is a polynomial with rational coefficients. Thus aa is a root of
h(x)=(xc)n(1)nβ(xnα). h(x) = (x - c)^n - (-1)^n \beta - (x^n - \alpha).
Now deg(h(x))=n1\deg(h(x)) = n-1, it follows that deg(f(x))n1\deg(f(x)) \le n-1. Thus we have mn1<nm \le n-1 < n. Let ω\omega be a primitive nn-th root of unity. Then
xnα=j=0n1(xaωj). x^n - \alpha = \prod_{j=0}^{n-1} (x - a\omega^j).
Since f(x)f(x) is the irreducible polynomial of aa over Q\mathbb{Q}, and aa is a root of xnαx^n - \alpha, we see that f(x)f(x) divides xnαx^n - \alpha. Hence xnα=f(x)q(x)x^n - \alpha = f(x)q(x) for some rational polynomial q(x)q(x). Now the factors of f(x)f(x) are all of the form (xaωj)(x - a\omega^j). Hence the constant coefficient of f(x)f(x) which is a rational number must be of the form ±am\pm a^m, where m=deg(f(x))m = \deg(f(x)). Since m<nm < n, we see that amQa^m \in \mathbb{Q} for some m<nm < n. Similarly, we see that bmb^m is also in Q\mathbb{Q}. Since m<nm < n, induction hypothesis shows that a,ba, b are also in Q\mathbb{Q}. This completes the proof.

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.