Part 3: How to test for equality on trigonometry identities using the SymPy with Python
Code:
from sympy import *
init_printing()
var("A:B")
(sin(2*A)).equals(2*sin(A)*cos(A))
simplify(sin(2*A) - (2*sin(A)*cos(A)))
cos(2*A).equals(2*cos(A)**2 -1)
(2*sin(A)*cos(B)).equals(sin(A+B) + sin(A-B))
(2*cos(A)*sin(B)).equals(sin(A+B) - sin(A-B))
(2*cos(A)*cos(B)).equals(cos(A+B) + cos(A-B))
(2*sin(A)*sin(B)).equals(cos(A-B) - cos(A+B))
sin(-A) == -sin(A)
cos(-A) == cos(A)
tan(-A) == -tan(A)
simplify(tan(-A) - -tan(A))
