Problèmes ouverts : pourquoi une réponse relance les maths ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, on embarque vraiment pour une exploration intellectuelle complètement vertigineuse.

Intervenant 20:09

Bonjour Ebel. Oui, le mot est faible. Préparez-vous.

Intervenant 10:12

Alors, pour ceux qui nous écoutent, il faut s'imaginer la scène. On observe des ingénieurs qui passent des décennies à construire un gratte-ciel philosophique gigantesque.

Intervenant 20:22

Un édifice immense, ouais.

Intervenant 10:24

Exactement. Il pose chaque brique, chaque équation avec une précision maniaque, étage par étage. L'édifice touche les nuages, tout le monde admire le travail. Et un jour, un type arrive.

Intervenant 20:36

Le fameux rabat-joie.

Intervenant 10:37

C'est ça. Il descend au cinquième sous-sol, il examine un mur dans un petit coin obscur et bam, il trouve une seule brique défectueuse, il la retire et là, l'intégralité du gratte-ciel s'effondre dans un immense nuage de poussière.

Intervenant 20:53

C'est une image tragique, mais tellement vraie.

Intervenant 10:55

Bah en mathématiques, cette brique défectueuse, c'est ce qu'on appelle un contre-exemple. Et c'est exactement ce qui est au cœur de notre sujet du jour, tiré de nos sourcières, un siècle de conjectures. L'objectif ici, c'est pas de faire un cours magistral ennuyeux.

Intervenant 21:10

Non, surtout pas !

Intervenant 11:11

Notre mission, c'est de comprendre le véritable moteur des mathématiques. Ce moteur, ce n'est pas du tout la certitude absolue, comme on le croit souvent. C'est l'inconnu.

Intervenant 21:20

C'est une excellente porte d'entrée. Parce que l'histoire de cette discipline, c'est tout sauf une autoroute tranquille. Ce n'est pas une ligne droite pavée de théorèmes définitifs.

Intervenant 11:29

On a souvent cette fausse image,

Intervenant 21:30

pourtant. Totalement. En réalité, c'est plutôt une épopée chaotique. C'est plein d'impasses monumentales, d'intuitions géniales qui se fracassent contre le réel.

Intervenant 11:40

Des ratages spectaculaires.

Intervenant 21:41

Des ratages magnifiques même. Et contre toute attente, c'est ça qui fait avancer la science. À chaque fois qu'une porte s'ouvre sur une réponse, il y a dix autres portes qui se déverrouillent sur de nouvelles interrogations.

Intervenant 11:52

Du coup, commençons par la base. Parce qu'il me semble qu'il y a un immense malentendu dans notre société sur le mot même de problème. Ah

Intervenant 22:00

oui, le fameux problème de

Intervenant 12:02

maths. Voilà. Quand on repense à l'école, un problème, c'est un exercice classique. Le prof demande de démontrer que telle chose est vraie, en utilisant la leçon de la veille. On sait très bien qu'il y a une solution toute faite qui nous attend à la fin du manuel.

Intervenant 22:15

C'est ce qu'on appelle un problème fermé.

Intervenant 12:17

D'accord.

Intervenant 22:18

Son but, en fait, il est purement pédagogique. C'est juste pour vérifier que l'élève est capable de suivre un raisonnement balisé.

Intervenant 12:23

Mais si on remonte aux racines mêmes de la discipline ?

Intervenant 22:25

Aux racines grecques, c'est ça ? Exactement. L'étymologie du mot « problème », « problema », a un sens beaucoup plus sauvage, on va dire.

Intervenant 12:36

Sauvage, ouais.

Intervenant 22:37

Oui. C'est composé du préfixe « pro », qui veut dire « devant », et de la racine baleine « jeter ». Donc c'est littéralement « ce qu'on jette devant soi ».

Intervenant 12:46

Ah ouais, un obstacle quoi.

Intervenant 22:47

Un obstacle inattendu sur la route, ouais. C'est un sujet de controverse, une question posée dont absolument personne sur la planète ne connaît la réponse. C'est la définition même du problème ouvert en recherche.

Intervenant 12:58

Non mais c'est fou de se dire ça. Ça donne vraiment l'impression que la scolarité classique, ça nous équipe d'un GPS ultra précis sur une route bien goudronnée. Alors que la véritable recherche mathématique, c'est d'être largué au beau milieu d'une jungle épaisse avec une machette rouillée.

Intervenant 23:12

C'est exactement ça.

Intervenant 13:14

On taille les lianes à l'aveugle et on ne sait même pas si la fameuse cité d'or qu'on cherche au bout du chemin existe vraiment. Mais concrètement, comment y font les chercheurs pour ne pas devenir fous ?

Intervenant 23:25

Pour pas tourner en rond dans la jungle.

Intervenant 13:27

Oui, pour survivre dans cet inconnu.

Intervenant 23:29

Eh bien, il s'appuie sur des balises très spécifiques. Et c'est là qu'intervient la notion cruciale de conjecture.

Intervenant 13:36

La conjecture,

Intervenant 23:37

ok. Une conjecture, en gros, c'est une affirmation mathématique. Ça naît souvent d'une intuition profonde ou alors de l'observation répétée d'un phénomène. On presse très fort que c'est vrai.

Intervenant 13:46

Mais on n'a pas la preuve.

Intervenant 23:47

Voilà le piège. Ça manque cruellement d'une démonstration formelle. Donc, c'est un test binaire implacable. La communauté doit répondre par un oui catégorique ou par un non absolu.

Intervenant 13:57

Mais c'est qui tout double ?

Intervenant 23:58

Prenons la célèbre conjecture de Syracuse, par exemple.

Intervenant 14:01

Ah, celle-là, elle hante encore beaucoup de monde aujourd'hui, non ?

Intervenant 24:04

Et comment ? Elle avance une règle toute simple. Vous prenez n'importe quel nombre entier de départ. Si vous lui appliquez une série d'opérations basiques.

Intervenant 14:12

Genre le diviser par 2 s'il est pair ?

Intervenant 24:14

C'est ça. Le diviser par 2 s'il est pair ou le multiplier par 3 et ajouter 1 s'il est impair. Et bien la conjecture dit qu'on finira inévitablement par retomber sur le chiffre 1.

Intervenant 14:23

Quel que soit le chiffre de départ, même s'il a des millions de zéros,

Intervenant 24:27

Même avec des millions de zéros.

Intervenant 14:29

Et le pire, c'est qu'on n'arrive pas à prouver que c'est une règle universelle.

Intervenant 24:32

Toujours pas non.

Intervenant 14:33

Même si, enfin, nos ordinateurs l'ont vérifiée pour des quantités faramineuses de nombres quoi.

Intervenant 24:38

Bien sûr. Mais vérifier des milliards de cas particuliers, ça constituera jamais une démonstration universelle en maths.

Intervenant 14:44

C'est jamais suffisant.

Intervenant 24:45

Jamais. Face à une conjecture, l'humanité a que deux options. Soit un chercheur arrive à élaborer une preuve logique incontestable, et là bingo, l'affirmation est gravée dans le marbre sous le nom de théorème.

Intervenant 14:58

La consécration.

Intervenant 24:59

Soit un autre chercheur déniche un seul cas de figure où la règle ne s'applique pas. Un seul.

Intervenant 15:05

Le fameux contre-exemple. La brique défectueuse.

Intervenant 25:08

Exactement. Et la conjecture entière s'effondre.

Intervenant 15:11

Mais alors, est-ce que ces conjectures, ça se solde parfois par des succès retentissants ou est-ce que c'est juste une machine à broyer les intuitions ? J'aimerais bien qu'on parle de ces moments de grâce, quand on trouve enfin la sortie de la jungle.

Intervenant 25:22

Il y a de très beaux moments de triomphe, heureusement. L'histoire du postulat de Bertrand illustre ça à merveille. Et surtout, ça montre comment une idée s'affine vers l'élégance absolue.

Intervenant 15:31

Racontez-nous

Intervenant 25:31

ça. On est en 1845. Le mathématicien français Joseph Bertrand observe une régularité frappante dans la distribution des nombres premiers.

Intervenant 15:41

Un nombre premier, on rappelle vite fait, c'est un nombre divisible uniquement par 1 et par lui-même. Genre 3, 5, 13, tout ça.

Intervenant 25:50

Tout à fait. Et Bertrand, il avance l'idée qu'entre n'importe quel nombre entier supérieur à 2 et le double de ce nombre, on trouvera obligatoirement au moins un nombre premier caché au milieu.

Intervenant 16:01

Donc si je prends le nombre 50 par exemple, entre 50 et 100, la règle de Bertrand me garantit mathématiquement qu'il y a un nombre premier quelque part.

Intervenant 26:10

Et ça marche même si je prends entre 10 milliards et 20 milliards.

Intervenant 16:13

C'est ça.

Intervenant 26:13

C'est une sacrée certitude sur laquelle s'appuyer quand même. Une certitude intuitive au départ, oui. Mais 5 ans plus tard, le russe Pafnouti Tchébyshev réussit l'exploit de la démontrer rigoureusement. La conjecture devient officiellement le théorème de Tchébyshev.

Intervenant 16:30

Incroyable.

Intervenant 26:30

Et la beauté de la discipline, c'est que l'effort s'est pas arrêté là. En 1919, le prodige indien Srinivasa Ramanujan reprend cette démonstration, qui est un peu lourde, et il la simplifie avec un génie fulgurant.

Intervenant 16:43

Ah, Ramanujan, quel esprit

Intervenant 26:45

fascinant. Absolument. Puis en 1932, le Hongrois Paul Erdős en propose une version encore plus épurée. Donc le problème a été résolu, puis sculpté année après année jusqu'à atteindre la perfection.

Intervenant 16:57

Là, c'est la belle histoire. C'est une victoire collective. Mais je repense à notre gratte-ciel du tout début. Ah,

Intervenant 27:03

la catastrophe ?

Intervenant 17:04

Ouais.