sin18∘=45−1
推导过程:
设sin18∘=x
x=cos72∘
x=2cos236∘−1
x=2(1−2sin218∘)2−1
整理得
8x4−8x2−x+1=0
再因式分解一下
(4x2+2x−1)(2x+1)(x−1)=0
解得$x_1=\frac{\sqrt{5}-1}{4},x_2=\frac{\sqrt{5}+1}{4},x_3=-\frac{1}{2},x_4=1$
可以发现,x2>x4>sin30∘,x3<sin0∘
$因为sinx在(-90°,90°)上单调递增,因此\sin18^\circ=x_1=\frac{\sqrt{5}-1}{4}$
$同时得\sin72^\circ=\sqrt{1-sin^218^\circ}=\frac{\sqrt{10+2\sqrt{5}}}{4}$
$∵\sin72^\circ=2\sin36^\circ\cos36^\circ=4\sin18^\circ\cos18^\circ\cos36^\circ=4\sin18^\circ\sin72^\circ\sin54^\circ$
∴41=sin18∘sin54∘
又∵sin18∘=45−1
∴sin54∘=45+1
$同时得\sin36^\circ=\sqrt{1-sin^254^\circ}=\frac{\sqrt{10-2\sqrt{5}}}{4}$