Récemment en colle d'arithmétique j'ai posé la question suivante :

Soient x, y, z trois entiers vérifiant

Montrer qu’au moins un parmi eux est divisible par 3.

La solution que j'attendais de l'élève n'est pas compliquée (faire une preuve par l'absurde en étudiant l'équation modulo 9) mais depuis 1994 cette question classique semble devenue obsolète — enfin, je ne sais pas vraiment car je ne comprends pas la preuve du théorème de Wiles-Fermat... Qui peut donc m'éclaircir et me dire si la preuve de Wiles utilise ou non le résultat de cette innocente question de colle ?

Explication pour les non-matheux

Dans le 17ème siècle Pierre de Fermat écrivit sur la marge d'un livre que si n est un nombre entier strictement plus grand que 2 alors il n'existe pas de nombres entier non-nuls x, y, z vérifiant

.

Il ne donna pas de preuve et écrivit seulement J’ai trouvé une merveilleuse démonstration de cette proposition, mais la marge est trop étroite pour la contenir.
Pendant 300 ans les mathématiciens ont cherché une preuve de cette conjecture de Fermat, mais en vain. C'est seulement en 1994 qu'Andrew Wiles a réussi de la prouver ! Désormais la conjecture de Fermat est devenu le théorème de Fermat-Wiles. Sa preuve utilise des techniques très avancées. On est convaincu aujourd'hui que la preuve mentionnée par Fermat, celle qui était trop longue pour la marge, était eronnée.

Si on utilise le théorème de Fermat-Wiles la question de colle devient trivial. En effet, si trois entiers vérifient l'équation, alors au moins un parmi eux est nul et donc divisible par 3.

Pour revenir à l'histoire de ce théorème : à mon avis elle est typique à plusieurs titres pour la recherche en mathématiques :

• D'abord l'équation de Fermat est une généralisation d'une autre que tout le monde connaît, à savoir l'équation de Pythagore a²+b²=c². Il existe des entiers non-nuls qui la vérifient, par exemple 3²+4²=5² ; c'est-à-dire on peut construire un triangle rectangle de côtés entiers.
• L'énoncé du théorème de Fermat-Wiles est tellement simple que tout collégien peut le comprendre mais sa démonstration est tellement difficile que seulement quelques spécialistes la comprennent.
• L'énoncé n'a aucune application dans les sciences et ne possède, à ma connaissance, même pas de conséquences importantes en mathématiques. Son seul intérêt est sa beauté.
• Des générations de mathématiciens ont cherché à prouver cette conjecture. Ils l'ont fait pour l'honneur de l'esprit humain, sans penser à des applications, mais les outils mathématiques qu'ils ont développés ont fait avancer toute la science.
• Les ordinateurs ne peuvent jamais démontrer une telle conjecture car il faudrait tester l'équation sur une infinité de nombres ; ils peuvent seulement la rendre plausible.

Feuilles de khôlles en classe préparatoire PCSI du Lycée Charlemagne à Paris pour des étudiants qui souhaitent s'entraîner.

Khôlles prépa math sup avec corrigés :

1. Nombres complexes
2. Nombres complexes (deuxième tour)
3. Fonctions usuelles
4. Fonctions usuelles et équations différentielles linéaires
5. Géométrie en basses dimensions
6. Géométrie en basses dimensions (deuxième tour)
7. Courbes planes
8. Coniques
9. Programme mixte I
10. Programme mixte II
11. Nombres réels et limites
12. Fonctions continues
13. Fonctions continues et fonction dérivables
14. Fonctions dérivables. Groupes
15. Fonctions dérivables. Groupes

Voilà un beau petit problème de colle : quels sont les groupes possédant un automorphisme non-trivial ?

Il y a une solution élégante, pas très longue...

Dernièrement mon collègue bloggeur Tanguy donne souvent la parole à ses lecteurs. Aujourd'hui je fais pareil avec un email que je viens de recevoir d'un lecteur par ma page de contact. En fait il pose une belle question de géométrie:

Je viens de lire avec beaucoup de plaisir l'intégralité de ce blog.* Tout à fait d'accord avec Rungaldier. Pour ma part je suis plus physique chimie et j'ai une colle math/géométrie que je n'ai jamais su résoudre. Pouvez vous me donner la solution?

Un champs circulaire de 10m de diamètre. Un paysan plante un piquet sur la périphérie. Il y attache une chèvre. Quelle doit être la longueur de corde pour que la chèvre ne puisse brouter que la moitié du champs; la longueur du col à la bouche n'est pas prise en compte.

* Wow, moi-même je n'aurais pas ce courage !

La théorie des groupes semble contenir une infinité de questions de colle qui ont l'apparence élémentaires mais qui sont en fait plutôt difficiles. En voici une que vient de m'envoyer un ami:

Soient G un groupe fini d’ordre n et f :G →G un automorphisme de G. On note

et l’on suppose que le cardinal de E est minoré par n/2. Prouver que f est une involution.

Pour savoir pour quel la série est convergente, on fait une comparaison avec une intégrale, c'est-à-dire on démontre (par exemple par un dessin) l'encadrement suivant, valable pour tout entier n > 1,

Par intégration il en résulte que

En faisant tendre n vers l'infini on conclût que la série converge si et diverge vers l'infini si

Question de colle :

Soit une série convergente. Est-il vrai que est également convergente ?

Lorsque j'ai travaillé avec Gérald Calderon sur le film Origine Océan nous avons consacré une petite scène à un être unicellulaire nommé LUCA (Last Universal Common Ancestor), notre dernier ancêtre commun universel dont sont issues l'ensemble des espèces.

On peut se poser la question amusante s'il existe un LUMA (Last Universal Math Ancestor) — et pour répondre à cette question on peut s'aider d'une base de données de l'université américaine NDSU.

Il s'agit d'un arbre généalogique qui permet d'associer à chaque docteur en mathématiques du monde entier son directeur de thèse. Ainsi j'ai découvert que si je remonte six générations, je trouve parmi mes aïeux l'illustre Hermann von Helmholtz. Mais mon cousin Detlev qui a soutenu sa thèse en 2001 fait encore mieux : il est un descendant scientifique de Hilbert et donc du prince des maths Carl Friedrich Gauß !

A l'occasion de la solution d'un joli exercice de type colle sur les matrices (voir le blog de Pierre Lecomte), je suis naturellement amené à poser la question suivante.

Soit A une matrice inversible à coefficient dans un corps. Alors par des opérations élémentaires sur les lignes on peut transformer A en la matrice unité. En fait c'est la méthode du pivot de Gauss qui permet cela. On en déduit que A est un produit de matrices correspondantes aux trois types d’opérations élémentaires (permutation de lignes, multiplication d’une ligne par un scalaire non-nul, ajout d’une ligne à une autre).
Cette écriture en produit est pratique car elle permet de prouver plein de choses. Par exemple, pour montrer que le déterminant conserve les produits il suffit de le vérifier pour la multiplication entre une matrice de ce type et une matrice quelconque — et c'est tout facile.

Or comment ça se passe-t-il sur un anneau ? Plus précisément :

Soit R un anneau commutatif et A une matrice carrée avec coefficients dans R telle que det(A) est une unité de R. On sait que A est une matrice inversible (c’est du classique, voir par exemple ici pour la formule qui donne l'inverse en fonction de (det A)^-1 et de la comatrice).
Question : Peut-on ramener A à la matrice unité par des opérations élémentaires ?

Peut-être avez-vous déjà réfléchi là-dessus et connaissez la réponse...

Des élèves qui ne viennent pas le jour du contrôle, c'est l'horreur de tout prof qui doit alors concocter un deuxième sujet pour le rattrapage. On comprend donc que très souvent ce deuxième sujet sera un peu plus difficile... Voici une belle petite histoire que des collègues m'ont écrite :

Ce sont quatre taupins qui ont un DS de math le lundi à passer. Ils vont faire la fête toute la nuit du dimanche à l’occasion de l’anniversaire de l’un d’entre eux. Seulement, ils ne se réveillent pas le fameux lundi matin et vont voir mardi le professeur pour s’excuser. Ils lui demandent alors de rattraper le lendemain en argumentant qu’ils ont crevé une roue sur le chemin en guise d’excuse. Le professeur accepte finalement.
Les étudiants bossent toute la nuit et arrivent le matin confiants à l’examen. Le professeur les met dans des salles différentes et leur donne le sujet d’examen qui comporte deux questions.
La première est sur 1 point. Chacun la lit dans son coin et trouve cela très facile. En effet, la question est : « Quelle est la raison qui vous a empêché de passer le DS prévu lundi ? ». Après, ils tournent la page et la seconde question, sur 19 points, est : « Quelle roue a été crevée ? »

Question (niveau probabilités classe de première)

Quelle est la note moyenne (valeur d'expectation) des quatre élèves à laquelle il faut s'attendre ?

Incitation à la réflexion

Pourra-t-on intégrer la question précédente comme troisième question au contrôle sans provoquer une boucle logique ?

Voici un joli exercice de géométrie dans le plan. L'énoncé est surprenant et semble plutôt simple, mais la démonstration ne l'est pas.

Soit un cercle, A,B deux points distincts sur et M le milieu de la corde [AB]. Soient [PQ] et [SR] deux autres cordes passant par M. On note C (resp. D) le point d'intersection de [AB] avec [PS] (resp. [RQ]).
Démontrer que M est aussi le milieu de [CD].

Etonnant : si M est le milieu de [AB], alors aussi de [CD] !

Remarque : Ce problème est posé dans une vidéo sur Jean-Pierre Kahane du site Images des Maths. On y trouve une preuve élégante utilisant un faisceaux de coniques (niveau supérieur). Mais il existe aussi deux autres preuves, l'une géométrique et astucieuse (niveau collège) et l'autre bête et calculatoire (niveau classe de première) : vous les trouverez dans les commentaires ci-dessous.

Le mathématicien Pierre Colmez, algébriste français éminent, a publié sur son site web une lettre ouverte adressée au directeur général de l’Ecole Polytechnique à Palaiseau. Il y explique ses raisons de ne plus prolonger son contrat d'enseignant dans cette institution prestigieuse. La première raison nomée est celle d'argent. Mr Colmez s'indigne que des collègues en mathématiques financières ou en économie sont embauchés au double respectivement triple de son salaire. La réponse qu'on lui donne ne m'étonne pas : C’est le prix du marché ; les mathématiciens n’ont qu’à organiser la pénurie s’ils veulent que l’on augmente leurs salaires.

Je ne savais pas que le salaire des enseignants à l'X est soumis au prix du marché. J'ai plusieurs amis d'études qui se sont convertis aux mathématiques financières, certains sont professeurs dans des universités en Allemagne, d'autres travaillent pour des banques. Mais ceux qui sont professeurs ne touchent pas plus que leurs collègues professeurs d'archéologie par exemple ; en revanche, ils arrondissent (avec des gros ronds !) leurs fins de mois avec des expertises et conseils pour toutes sortes d'institutions du monde financier... Leur poste de prof n'est donc pas leur principale source de revenu. Probablement la différence de salaire à l'X ne représente qu'un sur le revenu total d'un professeur en mathématiques financières, mais il est clair que pour Pierre Colmez c'est un grand ...

Dans le futur, est-ce les universités françaises vont-elles faire comme dans le privé, c'est-à-dire rémunérer leurs enseignants en fonction de l'offre et de la demande ? Comment négocier alors ce salaire ? Que feront alors les professeurs enseignant des matières sans "applications directes" comme par exemple la musicologie ?