How are trigonometric identities defined?

Questions
1

Hi Mathematica community,
I was wondering how are the trigonometric identities defined in Mathematica. I want to make custom identities which can be used for simplifying certain expressions.

Open in Wolfram Cloud ↗

Thanks

2

I found an answer, I used assumptions to define the identities. That was able to simplify the expressions.

Open in Wolfram Cloud ↗