>>428
俺の解答はこれなんだけど。
こんな具合で書いてくれるといいんだが。

倍角の公式より、
cos(4θ)=cos(2・2θ)=2・(cos2θ)^2−1
よって、cos(2θ)の値が分かればよい。

cos(2θ)=(cosθ)^2−(sinθ)^2=(cosθ+sinθ)(cosθ−sinθ)
題意より、この場合は
cos(2θ)=cosθ−sinθが成立する。

(sinθ+cosθ)^2=1^2=1
ところで、
(sinθ+cosθ)^2=(sinθ)^2 +(cosθ)^2 + 2sinθcosθ
=1+2sinθcosθ≡1
よって、
sinθ・cosθ=0
sinθ=0 なら θ=0 なので cos0=1 よって、cos(2θ)=−1
cosθ=0 なら θ=90°なので sin90°=1 よって、cos(2θ)=1

cos(4θ)=2・(cos2θ)^2−1 に代入すれば、いずれも
cos(4θ)=2−1=1