135/2 =67.5 だから半角公式
cos2θ=1−2(sinθ)^2

sin2α=2sinαcosα=2sinα(√(1-(sinα)^2)

sinθ+cosθ=√(1+1)(sinθcosπ/4+sinπ/4cosθ)で加法定理