J'ai besoin de votre aide. Cette fois ce n'est pas pour résoudre un problème mathématique que je pose, mais plutôt le contraire. Il y a dix mois, Fafa m'a offert pour mon anniversaire cette sorte de puzzle tridimensionnel en bois.
 

Le problème c'est que ce jeu est vendu sans règles écrites et que le jour de mon anniversaire, elle avait déjà oublié les explications du vendeur. Et comme ça ne s'est pas passé dans un magasin mais dans un marché de Noël, impossible de le retrouver... Alors que faut-il faire avec ces pièces en bois? Si quelqu'un le sait, s'il vous plaît, manifestez-vous!

Je me rappelle qu'une fois, en plein concert à la Philharmonie de Munich, le pianiste Alfred Brendel interrompit son jeu car le public qui toussait. Il se retournait vers la salle et disait : "Die Grundlage der Musik ist die Stille." Traduction : la base de la musique c'est le silence.

J'aimerais adapter cette phrase aux mathématiques : "La base des mathématiques c'est le calcul". Et je pense au calcul le plus simple, les opérations élémentaires qui devraient être maîtrisées par tous les citoyens d'un pays moderne (à l'exception de quelques rares personnes souffrant d'une sorte de dyslexie des nombres) : addition, soustraction, multiplication et division. Si les élèves ne savent plus calculer, le professeur devrait arrêter son cours, comme Alfred Brendel, et le reprendre plus tard...

Autrefois, grâce à la scolarisation, le savoir progressait d'une génération à l'autre
Dans cet extrait de film des années cinquante un représentant essaie en vain de dissuader Ma and Pa Kettle que 25 divisé par 5 donne 14.

Aujourd'hui c'est le récul: beaucoup de bachéliers ne savent plus calculer
Lorsque j'enseignais en deux classes de terminale ES dans un lycée en région parisienne, j'étais confronté à un problème majeur : le programme du baccalauréat porte sur les dérivées et les intégrales, les logarithmes et les exponentielles. Or la majorité de ces élèves en terminale ne connaissait pas les règles élémentaires de calcul, beaucoup confondaient l'addition avec la multiplication et la soustraction avec la division. Voici un florilège extraits de quelques copies de bacs blancs :

              

Tout ça pourrait faire rire si ce n'étaient que quelques cas isolés. Mais ce type d'erreurs n'est plus exceptionnel, il est devenu la règle (voir mes statistiques). Il semble qu'aujourd'hui il est impossible de demander à un élève en terminale d'effectuer un calcul élémentaire sans faire d'erreur. Le nombre d'élèves acceptés en première (même en section S) et qui ne connaissent pas la table de multiplication est légion.

Le roi est nu
Certains diront que tout cela n'a pas d'importance car les mathématiques n'interviennent que peu dans notre vie quotidienne et que d'autres facilités sont plus déterminantes pour bien réussir dans la vie. Peut-être. Je serais le dernier à exiger que tous mes co-citoyens connaissent les logarithmes et les intégrales. Mais ce qui me gêne beaucoup c'est que le calcul élémentaire n'est pas acquis et qu'en même temps on habitue les élèves à utiliser un langage de bois mathématique qui prétend qu'il y a une compréhension des objets impliqués tandis qu'au fond rien n'est compris. Sous un splendide manteau de termes savants (intégrales, limites, théorème des valeurs intermédiaires, etc.), le roi est nu ! C'est digne des Impostures intellectuelles à la Sokal-Bricmont...
Evidemment il est impossible, en dernière année de lycée, de rattraper avec des cours de soutien toutes ces bases manquées. Soit on fait les choses correctement dès le départ, soit on ne les fait pas, c'est-à-dire on élimine des programmes scolaires le calcul supérieur avec les fonctions.

Ci-dessous un dernier exemple qui me rend heureux et triste à la fois — triste car cet élève ne maîtrise pas du tout le programme du collège (règles de calcul avec les fractions), et heureux car il a appris ce que je lui enseignais en terminale (règles de dérivation). Mais en fin de compte, quelle est la valeur de ses connaissances en calcul différentiel s'il ne sait pas simplifier correctement la fraction qu'il obtient ?

La question posée était de dériver la fonction Voici sa réponse :

Avant les vacances d'été j'avais écrit un billet avec les exercices du Trivium mathématique de Vladimir Arnold. Grâce aux efforts estivaux de certains lecteurs, notamment de JLT, presque toute question a trouvé sa solution (sauf les 27, 41, 51, 58, 68, 69, 70, 73, 74). Quelle conclusion peut-on tirer ?

D'abord ce trivium est loin d'être trivial. Il apprend de l'humilité à beaucoup parmi nous, enseignants souvent spécialisés dans certains domaines, et nous rappelle qu'on a la mémoire courte, c'est-à-dire qu'on a tendance à oublier des choses si on ne les utilise/enseigne plus. Deuxièmement, on apprend à apprécier l'outil Wikipédia pour chercher des définitions ou clarifications de certaines notions. Je crois que j'aurais fait mes études plus facilement si Wikipédia avait déjà existé ; mais il y a encore dix ans il fallait aller à la bibliothèque, passer beaucoup de temps à ne rien trouver ou encore trouver des articles et livres où la notion recherchée apparaissait englobée par 200 pages de définitions ou théorèmes...

Mais laissons le dernier mot à l'auteur du Trivium lui-même : en fait, Arnold a écrit un Mathematical Trivium bis dans lequel il résume certaines réactions à son premier Trivium. En plus il y a aussi son texte sur l'enseignement des mathématiques et la vidéo suivante sur les mathématiques expérimentales :

Avant l'été j'ai écrit billet sur un mélange de vin et de bière. Des amis français m'ont dit alors que mélanger vin et bière serait un sacrilège... on pourrait les boire séparemment l'un après l'autre, mais pas en même temps ! Pour savoir dans quel ordre il est conseillé de les consommer chaque pays connaît d'autres règles :

Allemagne : Wein auf Bier das rat ich dir, Bier auf Wein das lasse sein.
France : Bière sur vin est venin, vin sur bière est belle manière.
Angleterre : Beer after wine, and you’ll feel fine, wine after beer and you’ll feel queer.

Mon étonnement fût grand lorsque ce mois d'aôut deux amis brésiliens m'ont fait découvrir une boisson qu'ils appellent espanhola et qui est précisément un cocktail de vin rouge et de bière blonde. Les brésiliens en consomment beaucoup, ils la mixent eux-mêmes sur les plages. Le résultat est une boisson d'une couleur un peu sâle avec des flocons... Le goût dépend du rapport vin/bière.

Ces brésiliens mélangent...	...vin et bière !

Souvent les étudiants en première année ont une idée intuitive pour une preuve mais lorsqu'ils l'écrivent avec les termes de la logique mathématique leur rédaction est très maladroite, voire fausse ou illisible. Ces lignes leur sont destinées. Je vais montrer sur des exemples très simples ce qu'il faut faire et ce qu'il faut éviter.

Syntaxe d'une assertion

Une assertion (ou proposition) mathématique est une phrase contenant un verbe. Les verbes mathématiques sont par exemple

et leurs négations. Par exemple

7 + 1 = 8

est une assertion (qui est vraie), et

1 < 0

est une assertion (qui est fausse). Mais

7+1

n'est pas une assertion car elle ne contient pas de verbe, donc on ne peut pas se demander si elle est vraie ou fausse. Entre deux assertions équivalentes on n'écrit pas = mais le symbole . Ce symbole étant lui-même un verbe c'est donc un emboîtement d'assertions (pensez aux poupées russes).
Ecrire n'a aucun sens car [1,5] n'est pas une assertion (c'est un intervalle). En revanche, on peut écrire
Il ne suffit pas de mettre un verbe pour avoir une assertion, il faut aussi que la syntaxe soit correcte. Par exemple écrire et n'ont pas de sens. Mais et sont des assertions (qui sont vraies d'ailleurs).
Le langage mathématique suit les mêmes règles que notre langage habituel (phrase principale, phrase relative, conjonctions,...). Si quelqu'un vous disait

Nous ¤ camping # faisez ((à pluie sec

pouvez-vous dire qu'il dit la vérité ou non ? Non, vous ne pouvez pas ! Or c'est précisément ce que certains étudiants écrivent sur leurs copies de mathématiques : des juxtapositions de symboles qui ne donnent aucun sens. Et donc nous, les correcteurs, ne pouvons pas donner de point pour ce charabia.
Les symboles ne sont que des raccourcis d'écriture. Vous devriez être capables de rédiger sans eux. Si la traduction en langage français de ce que vous écrivez à l'aide de symboles n'a pas de sens, alors il y a un problème.

Introduire les objets avant leur utilisation

Ne faites jamais apparaître un objet sans l'introduire. Par exemple n'écrivez pas

.

Peut-être votre enseignant au lycée vous a donné cette mauvaise habitude, mais la lettre S n'est pas universellement reconnue pour désigner l'ensemble de solutions d'une équation. Il faut donc faire précéder par une petite phrase comme : Notant S l'ensemble de solutions de l'équation x²-6x+5=0 on obtient... Mais cela est bien lourd. Ecrivez donc plus simplement

Exemples de bonne syntaxe

Les théorèmes 1, 2 et 3 ci-dessous sont des assertions. Les deux premiers sont équivalents ; et chacun d'entre eux implique le troisième.

Théorème 1.  Soit . Alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

Théorème 2.  Pour tout réel a la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

Théorème 3.  Si a > 0 est un réel alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur .

La preuve du théorème 2 devrait commencer comme suit.

Preuve du théorème 2.  Soit a un réel. Blabla...

Evidemment on aurait pu écrire soit b un réel et continuer à travailler avec ce b. Ca serait tout à fait correct car dans le théorème 2 le réel a est une variable locale car précédé par le quantificateur . Ecrire soit a un réel ou soit b un réel revient à fixer ce réel ce qui en fait une variable globale pour la suite du raisonnement.
C'est le moment de mentionner une subtilité. Le théorème 1 commence par soit a un réel. De ce fait a est déjà fixé (une variable globale) dans le théorème 1 et ça serait inutile et même faux de commencer la preuve par dire soit a un réel. Il est déjà donnée et nous devons travailler avec lui et pas avec un autre a ni un autre b.

Mauvaise rédaction de la preuve

Preuve du théorème 2 (version débutant).
Soit a un réel. Supposons a > 0. Il faut montrer que pour tous réels x, y tels que x < y on a f(x) < f(y). Or x < y et a > 0 entraînent ax < ay ou encore f(x) < f(y). Donc f est strictement croissante.
Réciproquement supposons que f est strictement croissante, c'est-à-dire pour tous réels x, y tels que x < y on a f(x) < f(y). On voit sur l'inégalité ax < ay que a doit être forcément positif, sinon l'inégalité devrait être dans l'autre sens.

Trois erreurs :

• On voit sur l'inégalité ax < ay .... Or les symboles x et y n'ont pas été introduits précédemment. Il fallait écrire soit x et y....
• La fin du raisonnement devrait être... n'est pas clair.
• Le débutant écrit il faut montrer que... puis il donne la définition d'une fonction strictement croissante. Or redonner une définition tellement basique c'est presqu'un insulte vis-à-vis du correcteur ! Evitez de redonner des définitions que tout le monde connaît et n'écrivez pas ce que vous voulez démontrer si c'est déjà écrit clairement dans l'énoncé.
  En revanche, si ce que vous allez démontrer est une reformulation équivalente ou seulement une condition nécessaire pour la proposition que vous cherchez à prouver alors il est souhaitable que vous écrivez "je vais démontrer ceci...". Par exemple c'est une bonne idée d'écrire : Soit a > 0. Pour montrer que la fonction définie par f(x)=ax pour tout réel x est strictement croissante sur R je vais prouver que sa dérivée est strictement positive.

Bonne rédaction

Preuve du théorème 2 (version de l'étudiant expérimenté).
Soit a un réel.
Supposons a > 0. Soient x, y deux réels tels que x < y. Alors on a
f(x) = ax < ay = f(y). Cela prouve que f est strictement croissante.

Réciproquement supposons f strictement croissante. Alors l'inégalité 0 < 1 entraîne l'inégalité f(0) < f(1). Cela prouve que a = f(1) > f(0) = 0.

Structure d'une preuve

Exemple de structure d'une preuve bien rédigée :

Enoncé.  Soient A et B des ensembles et f une application de A dans B. Montrer que si on a l'hypothèse (H) ... alors f est injective.
Preuve.
Supposons (H). Soient x et y deux éléments de A tels que f(x) = f(y) ......
...... (je raisonne) ...... j'utilise la propriété (H) ...... (je raisonne) ...... j'obtiens x = y.
Cela prouve l'injectivité de f.

Autrement dit, vous introduisez deux éléments x et y qui vérifient l'égalité f(x) = f(y), puis vous gardez en tête que vous voulez arriver à l'égalité x = y. Si vous voulez vous pouvez l'écrire x = y en bas de votre page pour savoir où vous voulez arriver. Mais surtout ne l'écrivez pas plus tôt car c'est votre but et non votre point de départ ! Sur le chemin du raisonnement vous devez, très probablement, utiliser la propriété (H).

Preuve alternative (par contraposition).
Supposons (H). Soient x et y deux éléments distincts de A ......... (je raisonne) ........
........ j'utilise la propriété (H) ........ (je raisonne) ........ je trouve que f(x) est différent de f(y). Cela prouve l'injectivité de f.

Autre conseil

Mon collègue et ami Laurent Kaczmarek a écrit des conseils de rédaction utiles concernant la notation des fonctions en analyse.

C'est le moment de transmettre à mon père mes vœux d'anniversaire en forme d'une petite devinette.

Aujourd'hui, dimanche 5 juillet 2009, mon père fête son anniversaire. Il est né un dimanche dans une année bissextile. Quel âge a-t-il aujourd'hui ?

Pour résoudre cet exercice je conseille d'effectuer les calculs dans des groupes cycliques. En plus on peut utiliser le fait que j'ai plus de vingt-trois ans, que mon père aussi avait plus de vingt-trois ans lorsqu'il a pris la responsabilité de devenir mon père et, enfin, qu'il n'est pas centenaire...

En tout cas je te souhaite une bonne fête d'anniversaire, papa !

La fameuse Médaille Fields, équivalent en maths du prix Nobel, est seulement attribuée a des mathématiciens d'au plus 40 ans. On veut ainsi éviter que cette récompense soit donnée à un mathématicien émérite seulement à cause de sa grande réputation. Alors se pose la question, à quel âge un mathématicien a-t-il sa plus grande force ? Jean Dieudonné en donne sa réponse dans son Abrégé d'histoire des mathématiques ; et il y parle comme un botaniste parlerait de la croissance d'une plante précieuse :

La vocation mathématique s'éveille le plus fréquemment aux environs de la seizième année [...] Toutefois, contrairement à une opinion assez répandue, le début de la période créatrice se situe rarement avant l'âge de 20 à 25 ans ; les cas de Pascal, Clairaut, Gauss et Galois sont exceptionnels. Si les conditions extérieures sont favorables à son activité, on peut escompter qu'un mathématicien créateur continuera à découvrir des résultats importants jusque vers 50 ou 55 ans ; on cite quelques exemples de beaux théorèmes démontrés par des sexagénaires, mais on n'en connaît guère dont l'auteur ait dépassé 70 ans.

La vie mathématique est donc contraire à celle d'un créateur dans les arts. Les écrivains ou compositeurs mûrissent très souvent avec le temps (rares sont les compositeurs dont les premières symphonies sont meilleures que les dernières). En maths c'est plutôt comme dans le sport à haut niveau, on est plus performant lorsqu'on est jeune. La limite des 40 ans de la Médaille Fields correspond à l'âge où un keeper prend sa retraite.

Il y a dix ans, pour sortir un peu des maths pûres, je travaillais pendant quelques semaines dans la forêt guyanaise sur le tournage d'un film documentaire scientifique sur les fourmis. Le monde des insectes sociaux (fourmis, abeilles, guêpes, termites) est fascinant, pas seulement du point de vue de la biologie, mais aussi du point de vue mathématique. A part les questions de génétique (forcément liées à la combinatoire et aux probabilités), il y a aussi beaucoup de théorie de jeux dans le comportment de ces "automates vivants", ainsi que de la théorie des graphes et même des algorithmes de fourmis.

A tous ceux qui veulent en savoir davantage je recommande vivement (comme cadeau de Noël?) le livre de vulgarisation scientifique Voyage chez fourmis de Bert Hölldobler et Edward O. Wilson ainsi que Le gène égoïste de Richard Dawkins.

Lors du tournage du film j'avais le temps d'observer un peu les fourmis et de calculer certaines distances qu'elles parcourent périodiquement. Voici un joli petit problème sur les fourmis.

Devinette
Une colonie de 101 fourmis se trouve sur une fine tige de longueur 100cm. Chaque fourmi se déplace à la vitesse de 1cm par seconde dans un sens fixe, mais si deux fourmis se rencontrent elles changent de sens. Lorsqu'une fourmi arrive à l'un des deux bouts de la tige elle tombe.

Est-ce que toute la colonie va disparaître de la tige? Si oui, après combien de temps?

Réponse
A vous de chercher! Je la divulguerai prochainement...

En attendant, je vous invite à regarder un petit film amusant en Super8 que j'ai réalisé après le dernier jour du tournage officiel et auquel les auteurs du film sur les fourmis ont gracieusement participé en tant qu'acteurs.

Petite pause musicale — ou plutôt machinale car ces petits bonhommes Duracell ont la précision d'une horloge suisse! Une coordination parfaite au niveau local et global.

Voici, à titre de comparaison, la batucada brésilienne Batala dans laquelle je jouais pendant quelques années la caixa (caisse claire). Ce n'est pas la même précision, mais on s'amuse quand-même ;-) Vive le samba à Paris !

Après le précédent billet, bien triste, il est le temps de rire un peu ! Voici quelques blagues et une contrepèterie de matheux pour retrouver notre sourire ;-)

Que répond une mathématicienne venant d'accoucher à qui l'on demande "Avez-vous eu un garçon ou une fille ?"
"Oui."

Logarithme et exponentielle sont au restaurant. Qui paie l'addition ?
C'est exponentielle, car logarithme népérien...

Quel est le comble du mathématicien ?
C'est de se faire piquer sa moitié par un tiers dans un car.

Combien de fois peut-on soustraire 5 de 23 et combien reste-t-il ?
Autant de fois que l'on veut et il reste 18 à chaque fois.

Qu'est-ce qu'un ours polaire ?
Un ours cartésien après un changement de coordonnées.

Qu'est-ce qui est jaune, normé et complet ?
Un espace de Bananach.

Pourquoi la vie est-elle complexe ?
Elle a des composantes réelles et imaginaires.

Qu'obtient-on en croisant un éléphant et une banane ?
|elephant| |banane| sin(theta)

Qu'est-ce qu'un homme complexe dit à une femme réelle ?
"Viens danser !"

What's purple and commutes ?
An abelian grape.

What's yellow and equivalent to the Axiom of Choice.
Zorn's Lemon.

Théorème : Tout entier positif est intéressant.

Preuve : Supposons le contraire. Alors l'ensemble des entiers positifs non-intéressants est non-vide. D'après l'axiome du bon ordre il possède un plus petit élément. Alors cet élément est drôlement intéressant — contradiction !

En 1991 le mathématicien russe Vladimir Arnol'd publia un

Il y vise ceux qu'il appelle les mathématiciens ignorants qui ont étudié les super-variétés ou les théorèmes de plongements mais ne savent pas résoudre des problèmes concrets et simples — ou, avec les mots de Pólya, ceux qui ressemblent à des singes qui sont toujours en haut d'un arbre :

A mathematician who can only generalise is like a monkey who can only climb up a tree, and a mathematician who can only specialise is like a monkey who can only climb down a tree. [...] A real mathematician must be able to generalise and specialise. — George Pólya

Selon Arnold le niveau de la culture mathématique baisse. Et il ne parle pas de la baisse du niveau du bac mais de celle du bac+5. (Or, comme le remarque Martin Andler ici, la question de la baisse de niveau est mal posée à cause de la massification de l'enseignement. Le nombre de mathématiciens en l'an 2000 est beaucoup plus grand que celui en 1900, en absolu et aussi en pourcentage de la population.)
Aux yeux d'Arnold je suis certainement un mathématicien très médiocre, voire ignorant ! De la même manière que je suis étonné quand un étudiant titulaire du bac S puisse avoir du mal à dériver sin(2x) ou à distinguer entre condition nécessaire et condition suffisante, Arnold serait choqué par le fait que je ne sais pas faire d'emblée sa liste de problèmes. En fait, si certains exercices de sa liste me sont très accessibles (par exemple les exercices 45 à 55), il y en a d'autres où je ne sais même pas par où commencer, comme par exemple le no. 72 (un problème de diffusion ?).

Pour Arnold cette collection ne contient pas de questions difficiles, mais seulement des questions qui forment le strict minimum essentiel — il serait alors intéressant de savoir combien un agrégé français moyen en résoudra en une semaine si on lui donne acces à wikipedia et à une bibliothèque de recherche. Quelle est votre estimation ? Plus ou moins que la moitié des problèmes ?

Si on regarde la liste des problèmes proposés on voit bien la préférence de l'auteur pour la géométrie et les équations différentielles. Il y a aussi un peu de topologie algébrique, mais on cherchera en vain des questions d'analyse ou algèbre pures, par exemple.

Vladimir Arnol'd est mort il y a trois semaines pas loin de chez moi, dans l'hôpital Saint-Antoine à Paris.

Mise-à-jour : JLT n'a pas chômé pendant le mois de juillet et a résolu la plupart des exercices !

Restent encore à faire: les no. 27, 41, 51, 58, 68, 69, 70, 73, 74.

Les solutions des exercices se trouvent dans les commentaires (pour déplier cliquer ci-dessous) mais ne sont pas dans l'ordre. Pour s'y retrouver utilisez la fonction find (Ctrl+F) de votre browser et recherchez le numéro de l'exercice par exemple sous la forme "no.54" ou "no.04".