A+B+C=πのときの三角関数の和積公式と積和公式の証明をします。この公式を知っていれば対称性を保ったまま式変形が行えるので見通しよく計算できます。