"Leur milieu I appartient à O. Si I n'est égale à aucun élément de O c'est absurde."
Bah si par hypothèse I est dans I, comment il ne pourrait ne pa sl'être, tu te contredis tout seul.
"Sinon sinon on fait de même avec le milieu J de [AI]. Puis le milieu de [AJ]..."
Tous les milieux des segments sont hypothèse dans O. Vois mon indication dans la page précédente, c'est une bonne base. L'idée est donc de montrer qu'il existe (C, D) (différent de (A, B)) tel que CD > AB pour obtenir une contradiction.
Indication suppl : n'oublie pas l'inégalité triangulaire ...