三角関数の定義は幾通りか存在する． ここでは級数で定義し，加法定理を証明する．定義．（三角関数） および と定義する．□定理．（三角関数の加法定理） 等式が成立する．□（証明） （二項定理） （組み合わせの定義） （☆） ．（証明終）途中の変形（☆）…