Biblioteca
A identidade trigonométrica fundamental