How to test for trigonometry identity equality using Boolean Logic with Python and the Sympy library
Import sympy
Define the symbols
Here is the code:
from sympy import *
init_printing()
x,A,B = symbols("x A B")
(sin(x)**2 + cos(x)**2).equals(1)
(sec(x)**2).equals(1 + tan(x)**2)
(sin(A+B)).equals(sin(A)*cos(B) + cos(A)*sin(B))
(sin(A-B)).equals(sin(A)*cos(B) -cos(A)*sin(B))
(cos(A+B)).equals(cos(A)*cos(B) -sin(A)*sin(B))
(cos(A-B)).equals(cos(A)*cos(B) + sin(A)*sin(B))
(tan(A+B)).equals((tan(A) + tan(B))/(1- tan(A)*tan(B)))
(tan(A-B)).equals((tan(A) - tan(B))/(1+ tan(A)*tan(B)))
#mathematics #python #pythonprogramming
