title: Théodore de Cyrène
text: # Théodore de Cyrène
  
  Théodore de Cyrène, en grec ancien : Θεόδωρος ὁ Κυρηναῖος, (Cyrène, de nos jours en Libye, 465 av. J.-C. à 398 av. J.-C.) est un mathématicien grec de l'école pythagoricienne, célèbre pour sa contribution à la découverte des nombres irrationnels.
  
  ## Biographie
  
  La vie de Théodore de Cyrène nous est mal connue. On sait qu'il naquit et mourut à Cyrène, mais qu'il ne passa pas toute sa vie dans sa ville natale et fit de fréquents séjours à Athènes. On croit qu'il fut un disciple de Protagoras. Il est possible qu'il ait été le maître en mathématique de Théétète d'Athènes, peut-être de Socrate, voire de Platon.
  
  En plus de ses travaux en mathématiques, il s’intéressait à l’astronomie, à la musique et à toutes les disciplines touchant l’enseignement. C’était un pythagoricien convaincu et un des principaux philosophes de l’école de Cyrène. Cicéron le range parmi les athées. Il pensait que le plaisir et la douleur ne correspondaient ni au Bien, ni au Mal et que pour être heureux, il suffisait de savoir être « sage ».
  
  Dans le domaine des mathématiques, il s’intéressa aux nombres irrationnels, comme Platon en témoigne dans le dialogue du Théétète en 147 d. Théodore et les mathématiciens contemporains étudièrent plusieurs cas d’incommensurabilité à partir de celui qui correspond à la ${\sqrt {3}}$, ce qui présuppose que le cas correspondant à la ${\sqrt {2}}$ était déjà connu. Il démontra que les racines carrées des nombres entiers non carrés jusqu'à 17 (c'est-à-dire : 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15 et 17) étaient des nombres irrationnels. Mais aucune indication ne subsiste sur la méthode qu’il utilisa.
  
  En 1941, Jakob Heinrich Anderhub a imaginé la construction d'une spirale composée de 16 triangles rectangles donnant les racines des nombres entiers de 2 à 17. Depuis, cette construction a été nommée spirale de Théodore mais on ne sait pas si c'est la méthode utilisée par Théodore de Cyrène.
  
  Au début du XXe siècle, Hieronymus Georg Zeuthen a suggéré que Théodore aurait pu utiliser l'algorithme d'Euclide.
  
  Cependant Nicolas Bourbaki écrit :
  
     « On s'accorde, sur le témoignage de Platon dans son Théétète, à attribuer à Théodore de Cyrène la démonstration de l'irrationalité de √3 , √5, « et ainsi de suite jusqu'à √17 », à la suite de quoi Théètète aurait, soit obtenu une démonstration générale pour √N (N = entier non carré parfait), soit en tout cas (si, comme il se peut, la démonstration de Théodore était générale dans son principe) procédé à une classification de certains types d'irrationnels. On ne sait pas si ces premières démonstrations d'irrationalité procédaient par voie arithmétique ou géométrique. »
  