wikipedia

アブル・ワファー
＞業績
＞以下の式は「加法定理」として知られる。これらの式は、10世紀のペルシャの数学者アブル・ワファーによって最初に示された。これらの式はオイラーの公式を用いて示すことが可能である。

加法定理＜
回転行列の積＜
加法定理の公式を覚えるのにいいですね。忘れないかも?
English版に見当たりませんでした？

加法定理＜
オイラーの公式＜

対称性＜
θ =π /4（直線 y=x）に対して対称（co- が付く関数との関係）

Sum and difference formulas

WolframAlphaで

3倍角

別の形

((2 cos(2 θ) + 1) tan(θ))/(2 cos(2 θ) - 1)

三角関数式

実行例)
三角関数の合成

別の形
cos(a/2 - b/2) cos(a/2 + b/2)

cos(a/2 - b/2) cos(a/2 + b/2)

sympyで

3倍角(tan)

from sympy import *
x=symbols('x',real=True)
print("#",tan(3*x).simplify())
print("#",tan(3*x).expand())
print("#",tan(3*x).expand(trig=True))
print("#",tan(3*x).expand(trig=True).simplify())
print("#",trigsimp(tan(3*x)))
# tan(3*x)
# tan(3*x)
# -tan(x)**3/(1 - 3*tan(x)**2) + 3*tan(x)/(1 - 3*tan(x)**2)
# (tan(x)**2 - 3)*tan(x)/(3*tan(x)**2 - 1)
# tan(3*x)

＜DOC

symｐyのsimplify()で、 tanの２倍角は戻るけど、tanの３倍角は戻らない。

・tanの倍角について。(2023/11/8追加)

from sympy import *

var('θ',real=True)
f2=tan(2*θ)
print("#f2",f2)
print("#f2",f2.expand()           ,f2.expand(trig=True)           )
print("#f2",f2.expand().simplify(),f2.expand(trig=True).simplify())
print()
f3=tan(3*θ)
print("#f3",f3)
print("#f3",f3.expand()           ,f3.expand(trig=True)           )
print("#f3",f3.expand().simplify(),f3.expand(trig=True).simplify())
#f2 tan(2*θ)
#f2 tan(2*θ) 2*tan(θ)/(1 - tan(θ)**2)
#f2 tan(2*θ) tan(2*θ)

#f3 tan(3*θ)
#f3 tan(3*θ) -tan(θ)**3/(1 - 3*tan(θ)**2) + 3*tan(θ)/(1 - 3*tan(θ)**2)
#f3 tan(3*θ) (tan(θ)**2 - 3)*tan(θ)/(3*tan(θ)**2 - 1)

sympyで(回転行列を使って)

pprintは、編集しています。

from sympy import *
α,β=symbols('α,β',real=True)
# AB=Matrix([[cos( α+β),-sin( α+β)],[sin( α+β),cos( α+β)]])
A =Matrix([[cos( α)  ,-sin( α  )],[sin( α ),cos( α  )]])
B =Matrix([[cos( β)  ,-sin( β  )],[sin( β ),cos( β  )]])
print ("#",A*B)
# pprint("#",A*B)
# TypeError: pretty_print(
# Matrix([[-sin(α)*sin(β) + cos(α)*cos(β), -# sin(α)*cos(β) - sin(β)*cos(α)], [sin(α)*cos(β) + sin(β)*cos(α), -sin(α)*sin(β) + cos(α)*cos(β)]])
# ⎡-sin(α)⋅sin(β) + cos(α)⋅cos(β)  -sin(α)⋅cos(β) - sin(β)⋅cos(α)⎤
# ⎢                                                           ⎥
# ⎣sin(α)⋅cos(β) + sin(β)⋅cos(α)   -sin(α)⋅sin(β) + cos(α)⋅cos(β)⎦

積和公式

https://ja.wikipedia.org/wiki/三角関数の公式の一覧#和積公式と積和公式
TR8() - expand products of sin-cos to sums

from sympy import *
from sympy.simplify.fu import TR8
from sympy import cos, sin
a,b = symbols('a b', real=True)
print("#",TR8(cos(a)*cos(b)))
print("#",TR8(cos(a)*sin(b)))
print("#",TR8(sin(a)*sin(b)))
#
print("#",TR8(cos(2)*cos(3)))
print("#",TR8(cos(2)*sin(3)))
print("#",TR8(sin(2)*sin(3)))
# cos(a - b)/2 + cos(a + b)/2
# -sin(a - b)/2 + sin(a + b)/2
# cos(a - b)/2 - cos(a + b)/2
# cos(5)/2 + cos(1)/2
# sin(5)/2 + sin(1)/2
# -cos(5)/2 + cos(1)/2

和積公式

https://ja.wikipedia.org/wiki/三角関数の公式の一覧#和積公式と積和公式
TR9()-Sum of cos or sin terms as a product of cos or sin.

from sympy import *
from sympy.simplify.fu import TR9
from sympy import cos, sin
a,b,c = symbols('a b c', real=True)
print("#",TR9(cos(a) + cos(b)) )
print("#",TR9(cos(a) + 2*sin(b) + 2*sin(c)))
#
print("#",TR9(cos(1) + cos(2)) )
print("#",TR9(cos(1) + 2*sin(1) + 2*sin(2)))
# 2*cos(a/2 - b/2)*cos(a/2 + b/2)
# 4*sin(b/2 + c/2)*cos(b/2 - c/2) + cos(a)
# 2*cos(1/2)*cos(3/2)
# cos(1) + 4*sin(3/2)*cos(1/2)

実行環境

①私の環境は,pycharmです。
②よく聞くのは、Jupyterです。
③web上で、上記のソースを「SymPy Live shell」に、コピー貼り付けでもできました。
黒背景の右上に、マウスを移動すると、コピーマークが発生します。資源の無駄使い。

???　タブレット環境で、コピー貼り付けが実行できませんでした。???

過去問

(見出しへジャンプした後、ページ右側のCMがでる。画面がスクロールするみたいです。qiitaの仕組みです。)
・

§1　加法定理
/弧度法　 /一般角　 /加法定理　 /2直線のなす角　 /2倍角の公式　 /sin，cosをtanで表す　 /半角の公式　 /3倍角の公式　 /和を積に直す公式　 /積を和に直す公式　 /合成の公式　

・
数学II・B標準問題精講(旺文社) （問題一覧）
https://kamelink.com/exam/index.php?FrontPage#r9995007

私のコメント:
標問 69 積→和，和→積の公式(2)の(日本大)の問題いいですね。勉強中。

(2023/05/13追加)

kamelink様

T氏様

ChatGPT

以下,資源の無駄遣いでした。
申し訳ありません。気を付けます。(2023/07/14)

三角関数の加法定理を教えて

三角関数の加法定理は、2つの角度の三角関数の和を、それぞれの角度の三角関数で表す定理です。以下に、一般的な形式の加法定理を示します。

sin(A + B) = sin(A)cos(B) + cos(A)sin(B)
cos(A + B) = cos(A)cos(B) - sin(A)sin(B)

ここで、AとBはそれぞれの角度を表し、sinは正弦関数、cosは余弦関数を表します。

この定理は、角度の和を計算する際に役立ちます。例えば、sin(30° + 45°)を求める場合、加法定理を使って以下のように計算できます。

sin(30° + 45°) = sin(30°)cos(45°) + cos(30°)sin(45°)

sin(30°)やcos(45°)などの具体的な値は、三角関数の表や電卓などから参照できます。加法定理を使うことで、2つの角度の三角関数の和を計算しやすくなります。

加法定理は三角関数の関係性を表す重要な公式であり、三角法や物理学、工学などの様々な分野で応用されています。

未整理

from sympy import *
θ=symbols('θ',Real=True)
print("#",simplify((sin(θ)+cos(θ)).rewrite(sin)) )
print("#",factor  ( sin(θ)**3+cos(θ)**3        ) )
# sqrt(2)*sin(θ + pi/4)
# (sin(θ) + cos(θ))*(sin(θ)**2 - sin(θ)*cos(θ) + cos(θ)**2)

参考

p65 2直線の交角<解析幾何学辞典-問題解法-笹部-貞市郎(1967/10/10)