余弦定理と加法定理の証明です。
加法定理は角度設定忘れてました。