Maths Olympiad Prep

Library / /4 of 136

, 1997

Number theory Difficulty 7.0 National Olympiad, round 2 Prove it Hong Kong

Show that cosπ7\cos \frac{\pi}{7} is not of the form p+q+r3p + \sqrt{q} + \sqrt[3]{r}, where p,qp, q and rr are rational numbers.

Solution

Let α=cosπ7\alpha = \cos \frac{\pi}{7}. As cos4π7+cos3π7=0\cos \frac{4\pi}{7} + \cos \frac{3\pi}{7} = 0, we have
2(2α21)21+(4α33α)=0. 2(2\alpha^2 - 1)^2 - 1 + (4\alpha^3 - 3\alpha) = 0.
This is the same as (α+1)(8α34α24α+1)=0(\alpha + 1)(8\alpha^3 - 4\alpha^2 - 4\alpha + 1) = 0. Clearly, α1\alpha \ne -1. Therefore, α\alpha is a root of
P(x)=8x34x24x+1. P(x) = 8x^3 - 4x^2 - 4x + 1.
Suppose on the contrary that α=p+q+r3\alpha = p + \sqrt{q} + \sqrt[3]{r}. Then α\alpha is also a root of
Q(x)=(xpq)3r=x33(p+q)x2+3(p+q)2x(p+q)3r. Q(x) = (x - p - \sqrt{q})^3 - r = x^3 - 3(p + \sqrt{q})x^2 + 3(p + \sqrt{q})^2 x - (p + \sqrt{q})^3 - r.
Consider the field F={a+bq:a,bQ}F = \{a + b\sqrt{q} : a, b \in \mathbb{Q}\} (which is just Q\mathbb{Q} if q=0q = 0). We claim that P(x)P(x) has a root in FF.
Firstly, note that P(x)8Q(x)P(x) \ne 8Q(x). Indeed, if P(x)=8Q(x)P(x) = 8Q(x), we must have q=0q = 0 in order that all coefficients of Q(x)Q(x) are rational. Then by comparing the coefficients of x3x^3 and x2x^2, we need p=16p = \frac{1}{6}. But then the coefficients of xx do not match. Therefore, R(x)=gcd(P(x),Q(x))R(x) = \gcd(P(x), Q(x)) (over F[x]F[x]) has degree 1 or 2.

* If degR=1\deg R = 1, then since α\alpha is a root of P(x)P(x) and Q(x)Q(x), it is a root of R(x)R(x), and hence belongs to FF.
* If degR=2\deg R = 2, we can write P(x)=R(x)S(x)P(x) = R(x)S(x) where degS=1\deg S = 1. Then S(x)S(x) has a root in FF, which is also a root of P(x)P(x).
Now, let β=a+bq\beta = a + b\sqrt{q} be a root of P(x)P(x) in FF. Then β\beta is a root of (xa)2=b2q(x-a)^2 = b^2q, and so the minimal polynomial of β\beta over Q\mathbb{Q} has degree at most 2. As this minimal polynomial divides P(x)P(x), we find that P(x)P(x) is reducible. As degP=3\deg P = 3, it must consist of a linear factor. Thus, P(x)P(x) has a rational root. However, it is routine to check that none of
±1,±12,±14,±18 \pm 1, \pm \frac{1}{2}, \pm \frac{1}{4}, \pm \frac{1}{8}
is a root of P(x)P(x). By the rational root theorem, P(x)P(x) does not have any rational root. This is a contradiction. Therefore, α\alpha cannot be expressed in the form p+q+r3p + \sqrt{q} + \sqrt[3]{r}.

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.