Vérificateur d'identité trigonométrique
Saisissez les deux membres d'une identité candidate sous forme d'expressions en x. Le vérificateur évalue les deux sur une série de points de test répartis dans (0, 2π) ; s'ils s'accordent partout dans la tolérance, l'identité est signalée comme vérifiée, sinon un contre-exemple est affiché.
Questions fréquentes
Une identité vérifiée est-elle une démonstration ?
Non — un accord en de nombreux points est une forte preuve empirique mais pas une démonstration formelle. Une preuve purement symbolique demande de manipuler les deux côtés via des identités connues, ce qui est une tâche distincte et bien plus difficile.
Pourquoi échantillonner plutôt que manipuler symboliquement ?
La simplification symbolique des identités trigonométriques est réellement difficile et non unique ; l'échantillonnage numérique détecte presque toute erreur réelle rapidement et fournit un contre-exemple concret en cas d'échec.
Quels points de test sont utilisés ?
Environ une douzaine de valeurs réparties dans (0, 2π), en évitant les singularités évidentes. La tolérance est relative pour s'adapter à l'ordre de grandeur des expressions.