Platon attribue à Théodore de Cyrène la preuve de l’irrationalité des racines de 3, 5, 6, 7, 8, 10, 11, 12, 13, 14 15 et 17. Comme il ne reste aucune trace de cette démonstration je vais essayer de montrer à quoi elle a pu ressembler.