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.
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.