加法定理の証明とか意外と盲点的なのってほかにある?
正弦余弦の証明とか?でもこれは簡単か

>>137はどうなんでしょ