Les Éléments d’Euclide pour les ingénieurs logiciels - 0. Introduction

📘 Les Éléments d’Euclide : pourquoi relire les mathématiques antiques

• Le contenu des Éléments d’Euclide figure en partie dans les mathématiques du primaire et du secondaire, mais il a pratiquement été abandonné au lycée avec l’apparition de la géométrie analytique.
• Pourtant, les Éléments se prêtent bien à une étude des mathématiques comme culture générale ou loisir, et ils ont longtemps été considérés comme une lecture essentielle de formation générale.
• En démontrant rigoureusement même des faits qui semblent intuitivement évidents, ils permettent d’entraîner la pensée logique à partir de notions déjà connues.

📖 Plan de la série

• Plutôt que de couvrir l’intégralité des Éléments, l’auteur prévoit de sélectionner et d’expliquer surtout les passages qu’il a trouvés intéressants.
• L’accent sera mis moins sur l’ordre que sur la profondeur et le renforcement des explications.

📐 Structure des Éléments

• Définitions : elles expliquent les termes de base (point, ligne, etc.), mais certains termes ne sont pas définis séparément → ils sont considérés comme des « termes non définis ».
• Postulats et notions communes : ce sont des prémisses admises sans démonstration ; dans une perspective moderne, ils relèvent tous des axiomes.
• Les postulats portent sur des objets géométriques.
• Les notions communes sont des propositions abstraites applicables à l’ensemble des mathématiques.

🔎 Qu’est-ce qu’une proposition ?

• Une phrase qui peut être démontrée logiquement à partir des définitions, axiomes, etc.
• Les méthodes de construction sont elles aussi considérées comme des propositions, et sont également démontrées en n’utilisant que les définitions et les axiomes.

📏 Proposition I.1 — Construction d’un triangle équilatéral

• En partant du segment AB, on trace deux cercles de rayon AB ; si l’on appelle C leur point d’intersection, alors on relie AC et BC pour former le triangle équilatéral ABC.
• D’après les définitions, axiomes et notions communes utilisés, on déduit que AC=AB, BC=AB, puis AC=BC, d’où AC=BC=AB.

⚠️ Critiques et discussion

• L’hypothèse selon laquelle les deux cercles ont un point d’intersection ne figure pas dans les postulats explicitement énoncés.
• Rien ne garantit non plus qu’il n’existe qu’un seul point d’intersection ; en réalité, il peut y en avoir deux.
• Le fait que le triangle ABC soit une figure plane n’est pas non plus démontré logiquement.