Trigonométrie de Wildberger

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 ${\displaystyle \sin(a+b)=\sin a\cos b+\sin b\cos a,}$ etc. ;
• d’une vitesse de calcul alors largement supérieure à celle du flottant.

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.

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

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.

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.