Number theoryDifficulty 7.0National Olympiad, round 2Prove itHong Kong
Show that cos7π is not of the form p+q+3r, where p,q and r are rational numbers.
Solution
Let α=cos7π. As cos74π+cos73π=0, we have 2(2α2−1)2−1+(4α3−3α)=0. This is the same as (α+1)(8α3−4α2−4α+1)=0. Clearly, α=−1. Therefore, α is a root of P(x)=8x3−4x2−4x+1. Suppose on the contrary that α=p+q+3r. Then α is also a root of Q(x)=(x−p−q)3−r=x3−3(p+q)x2+3(p+q)2x−(p+q)3−r. Consider the field F={a+bq:a,b∈Q} (which is just Q if q=0). We claim that P(x) has a root in F. Firstly, note that P(x)=8Q(x). Indeed, if P(x)=8Q(x), we must have q=0 in order that all coefficients of Q(x) are rational. Then by comparing the coefficients of x3 and x2, we need p=61. But then the coefficients of x do not match. Therefore, R(x)=gcd(P(x),Q(x)) (over F[x]) has degree 1 or 2.
* If degR=1, then since α is a root of P(x) and Q(x), it is a root of R(x), and hence belongs to F. * If degR=2, we can write P(x)=R(x)S(x) where degS=1. Then S(x) has a root in F, which is also a root of P(x). Now, let β=a+bq be a root of P(x) in F. Then β is a root of (x−a)2=b2q, and so the minimal polynomial of β over Q has degree at most 2. As this minimal polynomial divides P(x), we find that P(x) is reducible. As degP=3, it must consist of a linear factor. Thus, P(x) has a rational root. However, it is routine to check that none of ±1,±21,±41,±81 is a root of P(x). By the rational root theorem, P(x) does not have any rational root. This is a contradiction. Therefore, α cannot be expressed in the form p+q+3r.
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.