加法定理
cos(α＋β)＝cosαsinβ−sinαcosβ
cos(90°＋45°)＝0ー1×1/√2
＝−1/√2
違う可能性あるお