Trigonometria

Verificador de identidades trigonométricas

Insira os dois membros de uma identidade candidata como expressões em x. O verificador avalia ambos em uma sequência de pontos de teste espalhados em (0, 2π); se concordam em todos dentro da tolerância, a identidade é reportada como verificada; caso contrário, um contraexemplo é exibido.

Verificador de identidades trigonométricas

Verifica se LHS = RHS é uma identidade por amostragem numérica.

Experimente:

Perguntas frequentes

Uma identidade verificada é uma demonstração?

Não — a concordância em muitos pontos é uma forte evidência empírica, mas não uma demonstração formal. Uma prova puramente simbólica requer manipular ambos os lados com identidades conhecidas; é uma tarefa separada e muito mais difícil.

Por que amostragem em vez de manipulação simbólica?

A simplificação simbólica de identidades trigonométricas é genuinamente difícil e não é única; a amostragem numérica detecta praticamente todo erro real de forma rápida e confiável e oferece um contraexemplo concreto quando a identidade falha.

Quais pontos de amostra são usados?

Cerca de uma dúzia de valores espalhados em (0, 2π), evitando as singularidades óbvias. A tolerância é relativa para que o teste se adapte à magnitude das expressões.