高校の数学の先生が授業で繰り返し唱えていた言葉を今でも覚えている。
サインコス プラス コスサインはsin(x+y)=sin x cos y+cos x sin y
コスコス マイナス サインサインはcon(x+y)=cos x cos y-sin x sin y
１マイナスタンタン分のタン プラス タン は tan(x+y)= 表記が難しいので右辺は省略
以上は加法定理のプラスバージョンの覚え方だった。加法定理という名称なのにマイナスバージョンがあるのが面白い。高校時代には疑問に思わなかった。
他の三角関数の公式の覚え方も教わったはずだが、残念ながら記憶にない。
加法定理の式を覚えていることと、実用的に使えるかは別問題だ。勉強し直さないと実用的に使う自信は無い。