This is a very fundamental identity in trigonometry. Similarly, we can deduce other identities. They are listed here.