Le théorème dit que lorsque l'on trace les trisectrices des trois angles d'un triangle quelconque, les points d'intersection obtenus sont les sommets d'un triangle équilatéral. Il est en général réputé pour amener les démonstrations pénibles et calculatoires. L'une d'entre elles, proposée par Alain Connes, est assez connu pour être relativement simple, mais celle proposée ici (je ne sais pas qui en est l'auteur initialement, je l'ai entendu dans un cours de géométrie à un stage Animath) est assez impressionnante, me semble-t-il. Bonne lecture.
Version html non encore disponible.