Verificador de identidades trigonométricas
Introduce los dos miembros de una identidad candidata como expresiones en x. El verificador evalúa ambos en una serie de puntos repartidos por (0, 2π); si coinciden en todos los puntos dentro de la tolerancia, la identidad se reporta como verificada, en caso contrario se muestra un contraejemplo.
Preguntas frecuentes
¿Una identidad verificada es una demostración?
No — la coincidencia en muchos puntos es evidencia empírica fuerte pero no una demostración formal. Una prueba puramente simbólica requiere manipular ambos lados con identidades conocidas; es una tarea aparte y mucho más difícil.
¿Por qué muestreo en lugar de manipulación simbólica?
La simplificación simbólica de identidades trigonométricas es genuinamente difícil y no es única; el muestreo numérico detecta casi cualquier error real de forma rápida y fiable, y aporta un contraejemplo concreto cuando la identidad falla.
¿Qué puntos de muestra se usan?
Alrededor de una docena de valores repartidos por (0, 2π), evitando las singularidades obvias. La tolerancia es relativa para que la prueba se adapte a la magnitud de las expresiones.