サインの半倍角も同様に出来ます．これを使えば　cos(22.5) なんかを計算でき
ます．すなわち

　　cos^2(22.5)　=　{cos(22.5×2)+1}/2　=　{cos(45)+1}/2 ={2+√2}/4

　⇒　cos(22.5)　=　[√(2+√2)]/2　=　0.9238...

最後は電卓を使わねば計算できませんが．