Comment les problèmes ont‑ils transformé les mathématiques ?

Les œuvres anciennes sont souvent mieux connues que la biographie de leurs auteurs. Les Arithmétiques sont associées à Diophante d’Alexandrie, mais sa datation exacte reste discutée ; le placer au IIIe siècle avant notre ère, comme le faisait l’ancien cours, est trop affirmatif et probablement erroné.

La preuve de l’irrationalité de $\text{√2}$ est un jalon mathématique ; les récits attribuant sa découverte à Hippase et lui donnant une fin dramatique sont tardifs et variables. Une histoire rigoureuse distingue donc résultat établi, tradition d’attribution et légende pédagogique.

Une numération positionnelle permet de calculer efficacement parce que la valeur d’un chiffre dépend de sa place. Le zéro joue à la fois le rôle de marque de position et celui de nombre. Ces outils ont circulé et évolué entre plusieurs traditions savantes avant leur usage actuel.

L’irrationalité de $\text{√2}$ montre qu’un segment géométriquement construit ne s’exprime pas toujours comme rapport d’entiers. Aujourd’hui encore, distinguer $\text{√2}$ de 1,414 et $\pi$ de 3,1416 sépare nombre exact et approximation numérique.

Les Éléments associés à Euclide organisent définitions, demandes, notions communes et propositions dans une architecture déductive. La transmission du texte a une histoire complexe, mais son influence sur la manière d’exposer une preuve est considérable.

Une démonstration explique pourquoi une conclusion découle des hypothèses pour tous les cas visés. Un exemple illustre ; une figure suggère ; un contre-exemple réfute une proposition universelle. Ces rôles, construits historiquement, structurent encore le travail de seconde.

À l’époque moderne, l’usage systématique de coordonnées permet de représenter des courbes par des équations et de traiter des problèmes géométriques par le calcul. Cette évolution ne se réduit pas à l’invention solitaire d’un repère : elle s’inscrit dans des circulations entre algèbre, géométrie et notations.

Dans un repère orthonormé, la propriété « être à distance r du point (a,b) » devient ${\text{(x−a)}}^2\text{+}{\text{(y−b)}}^2\text{=}{r}^2$. Les points d’intersection de deux courbes peuvent alors être recherchés par un système d’équations.

Avec trois dés équilibrés, compter seulement les décompositions de 9 et de 10 ignore l’ordre. Le dénombrement des triplets ordonnés donne 25 issues de somme 9 et 27 de somme 10 sur 216 : l’observation attribuée au grand-duc de Toscane devient un problème de modélisation et de combinatoire.

Le problème des partis porte sur le partage équitable de l’enjeu d’une partie interrompue. Les questions de jeux de dés associées à de Méré sont voisines historiquement, mais ce ne sont pas le même problème. Dans chaque cas, la solution exige de définir les continuations ou issues équiprobables avant de compter.

Le terme algorithme est historiquement lié à la latinisation du nom d’al-Khwārizmī. Ses travaux ont contribué à transmettre des méthodes systématiques de calcul et de résolution. D’autres procédures, comme l’algorithme d’Euclide pour le PGCD, montrent qu’une suite finie d’étapes peut traverser les langages et les siècles.

Un programme Python rend la procédure exécutable, mais il ajoute ses propres exigences : types, syntaxe, contrôle des entrées et terminaison. Un code qui finit sans erreur n’est pas forcément correct ; la preuve de correction relie toujours l’algorithme au problème mathématique annoncé.