1加法定理の証明をやります。直角三角形を描きます。2加法定理の証明をやります。\beta\)を図の中に入れることができます。3加法定理の証明をやります。上図にある、3つの相似の三角形です。数学の証明で行き詰まったとき、選択肢は二つ。4加法定理の証明をやります。\beta)\)の証明をやります。5加法定理の証明をやります。\beta)\)を証明します。2行目以降は、幾何、三角関数というより、代数です。