Trigonométrie de Wildberger

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (septembre 2015).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

La trigonométrie de Wildberger (dite aussi trigonométrie rationnelle car elle ne fait aucun recours aux nombres irrationnels) constitue une réécriture de la trigonométrie traditionnelle. Elle s’en distingue en évitant non seulement l’usage des fonctions trigonométriques classiques, mais même l’usage de nombres transcendants tels que π dans l’écriture des formules.

Elle fut autopubliée en 2005 dans Divine Proportions: Rational Trigonometry to Universal Geometry par Norman Wildberger, Ph. D. de mathématiques de l'université Yale et professeur associé en mathématiques à l’université de Nouvelle-Galles du Sud à Sydney.

Historique[modifier | modifier le code]

On pratiquait depuis un quart de siècle la trigonométrie entière utilisée dès les premiers jeux graphiques sur ordinateur, afin d’éviter le recours aux fonctions flottantes dont le calcul était lent (jusqu’au 80486, les processeurs de la gamme i386 n’avaient pas de coprocesseur arithmétique en standard). Cette trigonométrie simplifiée dont la résolution ne dépassait ni ne voulait dépasser la résolution du pixel présentait le double mérite :

de sa simplicité de mise en œuvre (par utilisation intensive à la fois de tables et des formules du style $\sin(a+b)=\sin a\cos b+\sin b\cos a,$ etc. ;
d’une vitesse de calcul alors largement supérieure à celle du flottant.

Le retournement de Wildberger[modifier | modifier le code]

Wildberger retourne le problème en partant au contraire des méthodes d’addition des sinus et cosinus pris cette fois-ci comme axiomes de théorie, et développe une trigonométrie en nombres rationnels, en présentant cette construction comme plus satisfaisante pour l’esprit que l’introduction « classique ». Celle-ci évite d’introduire la notion de nombre réel, abstraction certes intéressante en soi, mais qui n’a pas d’intérêt dans le domaine spécifique du calcul numérique : il est toujours possible de pousser une précision aussi loin qu’on le désire en employant dans son système uniquement des rationnels, et sans avoir, à aucun moment du calcul, à postuler l’existence de nombres réels.

Cette approche n’est pas sans rappeler historiquement la reprise de la géométrie d’Euclide uniquement par le compas, et sans avoir à utiliser la règle dans les constructions (Georg Mohr et Lorenzo Mascheroni). Selon Wildberger, la construction de la trigonométrie est nettement simplifiée par cette méthode, et il est toujours possible de montrer par la suite que les axiomes choisis correspondent bien à ce qui est observé dans le monde euclidien.

Quadrance[modifier | modifier le code]

Afin d’éviter le recours à la notion de racine carrée, c’est la notion de quadrance (carré de la distance) qui est utilisée dans cette trigonométrie. L’inégalité triangulaire restant respectée, cette modification légère n’a pas d’incidence sur l’ensemble.

Ouverture[modifier | modifier le code]

Pour des raisons similaires, et avec les mêmes effets, les angles sont remplacés par des ouvertures (spread) qui sont le carré du sinus de l’angle. Elles présentent l’intérêt elles aussi de se calculer de façon simple en n’utilisant que l’arithmétique des nombres rationnels.

Restriction actuelle[modifier | modifier le code]

Wildberger n’a pour le moment achevé cette théorie que pour la géométrie plane.

Positionnement[modifier | modifier le code]

La démarche de Wildberger s’apparente aux méthodes constructivistes à la mode depuis quelques années en mathématiques, et elles-mêmes influencées par les paradigmes de l’algorithmique.

Sur un plan épistémologique et plus généralement philosophique, on y retrouve aussi la traditionnelle complémentarité d’approche entre :

l’algorithmique des Babyloniens (où l’important est le résultat du calcul) ;
l’abstraction générale plus typique des mathématiques et de la pensée grecque.

Applications[modifier | modifier le code]

Les applications par exemple de conception assistée par ordinateur, de cartographie ou a fortiori des jeux vidéo ont fortement à gagner d’avancées dans le domaine de la trigonométrie en nombres rationnels :

pour résoudre de façon unifiée (c’est-à-dire sans bricolages ad hoc, et donc de façon aisément portable) les questions de grandes variations d’échelle qui limitent la plage de travail de logiciels comme CATIA : cette géométrie s’abstrait en effet des considérations de granulation introduites :
- par l’architecture flottante,
- par les différences considérables de résolution des unités de sortie,
- par les fonctions approchées (polynômes) de calcul des irrationnels : des calculs sur les rationnels se font de façon exacte jusqu’à l’arrondi ou l’anticrénelage final au moment de l’affichage, ce calcul pouvant être reporté sur une carte graphique conçue en ce sens ;
afin de gagner largement en vitesse sur les temps de calcul.

Cela ne représente toutefois qu’un simple intérêt anecdotique de la théorie, comme a pu l’être autrefois la synthèse d'image pour les fractales : intéressant pour la rendre visible, mais ne lui étant pas directement nécessaire.