//
Das definições
Periodicidade, Simetria e translações
Estes são facilmente deduzidos do ciclo unitário:
Teoremas de Adição
A forma mais rápida de demonstrá-los é pela Fórmula de Euler. A fórmula da tangente segue das outras duas.
Fórmulas de duplo ângulo
Estas podem ser mostradas substituindo x = y nos teoremas de adição, e usando o Teorema de Pitágoras para as últimas duas. Ou usando a fórmula de de Moivre com n = 2.
Fórmulas de redução de potências
Resolva a terceira e a quarta fórmula de duplo ângulo para
e
.
Fórmulas de meio ângulo
Substitua x/2 por x nas fórmulas de redução de potência, então resolva para
e
.
Produtos para Somas
Estas podem ser provadas expandindo os membros direitos usando os teoremas de adição.
Somas para Produtos
Substitua
por
e
por
nas fórmulas de produto para soma.
Se as funções trigonométricas são definidas geometricamente, então suas derivadas podem ser encontradas primeiramente verificando que
e então usando a definição por limite da derivada e os teoremas de adição; se eles são definidos por suas Séries de Taylor, então as derivadas podem ser encontradas pela diferenciação das séries de potências termo a termo.
O restante das funções trigonométricas pode ser diferenciado usando as identidades acima e as regras de diferenciação, por exemplo
As identidades de integral podem ser encontradas na tabela de integrais da wikipédia