あの、ではsin(x+π/2)=cosx
を確かめる場合、
xを孤度に直してからやるんですね？
そして、孤度は普通の数字と一緒に計算されることはないんですよね。

あと、勘違いかも知れませんが、単位円上での傾きの長さは全て＋になるんでしょうか？？
右上向きでも左下向きでも。
それともやっぱり左下向きは-、右上向きは+？

あと、加法定理の証明で、
αをπ/2-αで置き換えると
とかあるんですが、こんなことやってていいんでしょうか？
π/2-αを普通の数字として扱うんですよね？
もしかしたらπ/2-の時だけしか当てはまらないかも。とかは考えなくて良いんでしょうかねぇ。
何か微妙です。