【東大の有名問題】sin, cos の三角関数の加法定理の証明