题目
Problem
8. (a) Use de Moivre’s theorem to show that
sin5θ≡16sin5θ−20sin3θ+5sinθ
(5)
(b) Hence determine the five distinct solutions of the equation
16x5−20x3+5x+51=0
giving your answers to 3 decimal places.
(5)
(c) Use the identity given in part (a) to show that
=∫04π(4sin5θ−5sin3θ−6sinθ)dθa2+b
where a and b are rational numbers to be determined.
(4)
题目中文翻译
- (a) 用 de Moivre 定理证明
sin5θ≡16sin5θ−20sin3θ+5sinθ.
(5)
(b) 由此求方程
16x5−20x3+5x+51=0
的五个不同的解,答案保留三位小数。
(5)
(c) 用 (a) 中的恒等式证明
=∫04π(4sin5θ−5sin3θ−6sinθ)dθa2+b,
其中 a 和 b 为待求的有理数,并求出它们的值。
(4)
解答
(a)
解法一
思路
展开
用 de Moivre’s theorem:
(cosθ+isinθ)5=cos5θ+isin5θ.
把左边二项展开后,取虚部。最后把所有 cos2θ 换成 1−sin2θ,就能得到只含 sinθ 的恒等式。
答题过程
展开
By de Moivre’s theorem,
(cosθ+isinθ)5=cos5θ+isin5θ.
Expanding the left hand side,
(cosθ+isinθ)5=cos5θ+5icos4θsinθ−10cos3θsin2θ−10icos2θsin3θ+5cosθsin4θ+isin5θ.
Taking imaginary parts,
sin5θ=5cos4θsinθ−10cos2θsin3θ+sin5θ.
Now use cos2θ=1−sin2θ:
sin5θ====5(1−sin2θ)2sinθ−10(1−sin2θ)sin3θ+sin5θ5(sinθ−2sin3θ+sin5θ)−10(sin3θ−sin5θ)+sin5θ5sinθ−10sin3θ+5sin5θ−10sin3θ+10sin5θ+sin5θ16sin5θ−20sin3θ+5sinθ.
Therefore
sin5θ≡16sin5θ−20sin3θ+5sinθ.
解法二
思路
展开
令 z=cosθ+isinθ,则 z−1=cosθ−isinθ。由 de Moivre 定理,zm−z−m=2isinmθ。
展开 (z−z−1)5 后,把正负次幂配成三组,就会得到 sin5θ、sin3θ 和 sinθ。最后用三倍角公式消去 sin3θ。
答题过程
展开
Let z=cosθ+isinθ. Since ∣z∣=1, de Moivre’s theorem gives
zm=z−m=cosmθ+isinmθ,cosmθ−isinmθ.
Hence zm−z−m=2isinmθ, and in particular z−z−1=2isinθ.
Using the binomial theorem,
(z−z−1)5==z5−5z3+10z−10z−1+5z−3−z−5(z5−z−5)−5(z3−z−3)+10(z−z−1).
Substituting the sine expressions and using (2i)5=32i,
32isin5θ=2isin5θ−10isin3θ+20isinθ.
Dividing by 2i and rearranging,
sin5θ=16sin5θ+5sin3θ−10sinθ.
The angle addition formula gives
sin3θ====sin2θcosθ+cos2θsinθ2sinθcos2θ+(1−2sin2θ)sinθ2sinθ(1−sin2θ)+sinθ−2sin3θ3sinθ−4sin3θ.
Therefore
sin5θ==16sin5θ+5(3sinθ−4sin3θ)−10sinθ16sin5θ−20sin3θ+5sinθ.
(b)
解法一
思路
展开
由 (a),如果令 x=sinθ,原方程会变成
sin5θ+51=0.
也就是 sin5θ=−51。选取 −2π⩽θ⩽2π,在这个区间内 sinθ 单调递增,不会重复取到相同的 x。先列出两组角,再按照 5θ 的范围筛选,除以 5 后取正弦。因为原方程是五次方程,找到五个不同的实根后就完整了。
答题过程
展开
Let
x=sinθ.
Using the identity from part (a),
16x5−20x3+5x+51=0
becomes
sin5θ+51=0.
So
sin5θ=−51.
Choose −2π⩽θ⩽2π, so that
−25π⩽5θ⩽25π.
Let α=arcsin51≈0.201357921 radians. The two families of solutions are
5θ=or5θ=−α+2kπ,π+α+2kπ,k∈Z.
Within the required interval, the first family has k=−1,0,1, and the second has k=−1,0. Thus
5θ=−2π−α, −π+α, −α,π+α, 2π−α.
Dividing each angle by 5 gives
θ≈−1.296908646, −0.588046947,−0.040271584, 0.668590115, 1.216365477.
Taking x=sinθ for these five angles,
x≈−0.962726649, −0.554737091,−0.040260700, 0.619880272, 0.937844168.
These are five distinct roots. A polynomial of degree 5 has at most five distinct roots, so this list is complete.
Therefore the five distinct solutions, to 3 decimal places, are
x=−0.963, −0.555, −0.040, 0.620, 0.938.
(c)
解法一
思路
展开
先把 (a) 的恒等式除以 4:
4sin5θ−5sin3θ=41sin5θ−45sinθ.
这样被积函数就会变成只含 sin5θ 和 sinθ 的式子,积分会很直接。
答题过程
展开
From part (a),
sin5θ=16sin5θ−20sin3θ+5sinθ.
Dividing by 4,
41sin5θ=4sin5θ−5sin3θ+45sinθ.
Therefore
4sin5θ−5sin3θ−6sinθ==41sin5θ−45sinθ−6sinθ41sin5θ−429sinθ.
Hence
∫04π==(4sin5θ−5sin3θ−6sinθ)dθ∫04π(41sin5θ−429sinθ)dθ[−201cos5θ+429cosθ]04π.
At θ=4π,
cos5θ=cos45π=−22,cosθ=22.
Therefore
∫04π==(4sin5θ−5sin3θ−6sinθ)dθ(402+8292)−(−201+429)20732−536.
Thus
a=2073,b=−536.