题目
Problem
(a) Use de Moivre’s theorem to show that
sec7θ=64−112sec2θ+56sec4θ−7sec6θsec7θ.
(6)
(b) Hence obtain the roots of the equation
x7−14x6+112x4−224x2+128=0
in the form secqπ, where q is rational.
(5)
题目中文翻译
(a) 用棣莫弗定理证明
sec7θ=64−112sec2θ+56sec4θ−7sec6θsec7θ.
(6)
(b) 由此求方程
x7−14x6+112x4−224x2+128=0
的根,并写成 secqπ 的形式,其中 q 为有理数。
(5)
原卷通用作答要求
Answer all questions. You should use a calculator where appropriate.
You must show all necessary working clearly; no marks will be given for unsupported answers from a calculator.
Give non-exact numerical answers correct to 3 significant figures, or 1 decimal place for angles in degrees, unless a different level of accuracy is specified in the question.
请回答所有题目。适当时应使用计算器。必须清楚展示所有必要的计算过程;仅给出计算器答案而没有过程,不予评分。除非题目另有精度要求,非精确数值答案保留 3 位有效数字,以度为单位的角度保留 1 位小数。
解答
(a)
解法一
思路
展开
对七次方取实部。将正弦的偶次幂换成余弦,取倒数,再将分子分母同除以 cos7θ。
答题过程
展开
Let c=cosθ and s=sinθ. De Moivre’s theorem gives (c+is)7=cos7θ+isin7θ. The real terms of its binomial expansion are c7+21c5(is)2+35c3(is)4+7c(is)6. Hence
cos7θ===c7−21c5s2+35c3s4−7cs6c7−21c5(1−c2)+35c3(1−2c2+c4)−7c(1−3c2+3c4−c6)64c7−112c5+56c3−7c.
Where both secants are defined, take the reciprocal and divide the numerator and denominator by c7:
64c7−112c5+56c3−7c1=64−112c−2+56c−4−7c−6c−7.
This gives
sec7θ=64−112sec2θ+56sec4θ−7sec6θsec7θ.
(b)
解法一
思路
展开
把多项式写成 x7 加上 (a) 分母的两倍。令 x=secθ 后,留意得到的是 sec7θ=−2。
答题过程
展开
The equation is
x7+2(64−112x2+56x4−7x6)=0.
The denominator 64−112x2+56x4−7x6 cannot be zero at a root, because the equation would then force x=0, where that denominator is 64. With x=secθ, part (a) gives sec7θ=−2, hence cos7θ=−21. Taking 0≤θ≤π, we obtain
7θ∈{32π,34π,38π,310π,314π,316π,320π}.
Therefore the roots are
x1=x3=x5=x7=sec212π,x2=sec214π,sec218π,x4=sec2110π,sec2114π,x6=sec2116π,sec2120π.
None of the angles has zero cosine, and the cosine values are distinct on [0,π]. These seven values therefore account for every root of the polynomial.