Dans les commentaires à la question sur un pavage de rectangles notre cher bloggeur PB disait d'avoir entendu de l'existence d'une solution qui utilise le produit tensoriel, mais malheureusement il ne la connaissait pas. D'abord ça m'intrigait — car où est le produit tensoriel dans tout ça? Or finalement un lien entre nos rectangles et cette structure algébrique est assez plausible; en effet, la loi de distributivité des tenseurs
 

devrait correspondre à la fusion de deux rectangles ayant le côté en commun.

Donc hier j'ai pris le temps d'y réfléchir pour retrouver cette fameuse solution! En fait elle est très simple, sans astuce, elle ne fait qu'utiliser la propriété de distributivité ci-dessus.

Notons (resp.) la largeur (resp. hauteur) du grand rectangle , et de même (resp. ) pour les petits rectangles , qui partitionnent . Alors on a

Pour prouver cette égalité il suffit de prolonger les côtés des petits rectangles comme indiqué sur la figure pour avoir une subdivision à laquelle on peut appliquer la propriété de distributivité:
 

 
Maintenant on regarde l'égalité (*) dans le produit tensoriel

c'est-à-dire on prend les longueurs modulo . D'après hypothèse on a donc et par conséquence ou . En autres mots, la largeur ou hauteur du grand rectangle est entière.

Update : Malheureusement cette preuve est erronée. Cherchez l'erreur... ou lisez mon commentaire no.13 ci-dessous.

Pas si évident que ça!

Appelons un rectangle entier si sa largeur ou sa longueur est un entier.
Soit R un rectangle constitué d'autres rectangles (leur union est R et ils se touchent seulement sur leurs bords).

Questions:

1. Démontrer que si chacun de ces rectangles est entier, alors le rectangle R l'est aussi.
2. La réciproque est-elle vraie?
3. Cet énoncé en dimension deux peut-on le généraliser à des dimensions plus grandes, par exemple aux cubes?

Réponses:   Cliquez ici pour la solution. Voir aussi les discussions ici et là.

Mon billet récent sur la dimension maximale d'un sous-espace affine contenu dans l'ensemble des matrices non-inversibles m'a inspiré les réflexions suivantes, une sorte de version différentiable de ce résultat.

On note l'espace des matrices n x n à coefficients réels et le sous-ensemble des matrices inversibles. On sait que est un ouvert dans . En effet c'est l'image réciproque de l'ouvert par l'application continue déterminant

On peut même dire un peu plus : le déterminant étant polynômial en le complémentaire des matrices inversibles, c'est-à-dire l'ensemble des matrices de déterminant nul,

est une hypersurface algébrique. Géométriquement parlé est un fermé de qui ressemble localement à un hyperplan (c'est-à-dire à un sous-espace affine de dimension n²-1). Enfin, cela est vrai en presque tous les points, ceux où la différentielle du déterminant ne s'annulle pas (points réguliers). En revanche, en les points où la différentielle du déterminant est nulle (points singuliers), l'hypersurface ne ressemble plus à un sous-espace affine. Il peut y avoir un croisement comme par exemple

ou un rétrécissement comme par exemple

(Pour plus d'images de surfaces algébriques visitez le la galerie de Herwig Hauser.)

Il est évident que la différentielle du déterminant est nulle à l'origine. Donc notre hypersurface possède une singularité à l'origine. Le résultat suivant dit qu'il s'agit d'une singularité de type rétrécissement, car l'hypersurface de dimension n²-1 y perd quelques dimensions — il y reste juste assez de place pour n²-n dimensions...

Proposition :

Le nombre n²-n est la plus grande dimension possible d'une sous-variété différentiable F de telle que

Démonstration :

• L'ensemble des matrices dont la première ligne est nulle est un sous-espace vectoriel (et donc en particulier une sous-variété différentielle) de dimension n²-n. Evidemment il contient l'origine 0 et est contenu dans .


• Soit F une sous-variété de de dimension n²-n+1 et telle que . Nous allons prouver que F contient une matrice inversible.
  Au voisinage de l'origine la sous-variété F est décrite par un système de n-1 équations

  

  tel que les différentielles sont linéairement indépendantes à l'origine. On résoud ce système par le théorème des fonctions implicites, c'est-à-dire on peut isoler (théorétiquement) n-1 des coordonnées et les exprimer par les autres. On a ainsi, toujours au voisiange de l'origine, n²-n+1 coordonnées variables et n-1 coordonnées isolées (fonctions différentiables des coordonnées variables).
  Maintenant je peux poursuivre mon raisonnement de la preuve du cas affine : par des permutations de lignes et de colonnes je m'arrange à ce que les coordonnées isolées soient toutes au-dessus de la diagonale matricielle ; puis je prends les coordonnées sur la diagonale toutes égales à un nombre non-nul et proche de 0 et les autres coordonnées variables égales à 0. Ainsi j'obtiens une matrice inversible qui est dans F.

Dans ce billet j'ai posé l'exercice de montrer que la loi binaire

x¤y := x(y²+1)^½+y(x²+1)^½

définit une structure de groupe sur l'ensemble des réels. Le seul obstacle est l'associativité; la preuve n'est pas très difficile (il s'agit d'un simple transport de la loi + par le sinus hyperbolique). Mais avec Maple je n'arrive pas à faire la preuve par force brute; en effet, je ne sais pas comment faire en sorte que le logiciel simplifie l'expression concernée (tandis que le logiciel Xcas y arrive, comme l'a remarqué Tukikun).

Dans le même esprit, je me demande si quelqu'un arrive à démontrer avec Maple que, sur les courbes elliptiques (réelles), l'addition par la méthode des sécantes est associative. Je n'y suis pas arrivé.

Dans un post récent mon collègue bloggeur PB a constaté qu'une trop grande partie de ses élèves en prépa ne savent pas conjuguer correctement les verbes du premier groupe au passé composé et qu'ils écrivent souvent « on a montrer que… » dans leurs copies.

Je pense que la compréhension de la structure grammaticale d'une langue est fondamentale pour l'apprentissage des mathématiques. Je la situerais au même niveau que la théorie des ensembles, c'est-à-dire une structure fondamentale à connaître pour ne pas écrire de bêtises. Malheureusement l'enseignement scolaire actuel ne transmet plus cette hygiène de base, de sorte que de telles lacunes se prolongent jusqu'aux classes préparatoires...

Voici donc une «recette» permettant d'éviter l'erreur la plus fréquente : la confusion entre les terminaisons -er, -é, -ez. On peut l'appliquer sans vraiment comprendre ce que c'est un infinitif, un participe composé et une deuxième personne au pluriel (de toutes manières ceux qui comprennent ces notions ne font probablement pas d'erreurs).

L'idée est simple : remplacer le verbe du premier groupe par un autre verbe, puis se fier à la prononciation. Par exemple on a les correspondances suivantes.

montrer/apprendre/voir,    montrez/apprenez/voyez,    montré/appris/vu.

Il suffit alors de procéder par analogie. Au lieu du verbe montrer utilisez l'autre verbe (apprendre, voir, etc.), puis testez laquelle est la bonne conjuguaison en lisant à haute voix.

Quelques règles de grammaire pour les nuls

FAUX	CORRECT	DONC PAR ANALOGIE
on a apprendre que...	on a appris que...	on a montrer montré que...
vous devez apprenez...	vous devez apprendre...	vous devez montrez montrer...
je viens de vu que...	je viens de voir que...	je viens de montré montrer que...
le lemme qu'on a voir	le lemme qu'on a vu	le lemme qu'on a montrer montré
ce qu'il devait compris	ce qu'il devait comprendre	ce qu'il devait montré montrer
Quel lemme voir-vous ?	Quel lemme voyez-vous ?	Quelle femme aimer aimez-vous ?

C'est bizarre, je ne suis pas français mais je crois que je fais moins d'erreurs de conjuguaison que la moyenne des bacheliers français. Je fais des fautes sur les prépositions (par exemple je ne sais pas si on dit j'aide un élève à faire ses devoirs j'aide un élève de faire ses devois ou j'aide un élève faire ses devois) et parfois je n'utilise pas le passé correct (dans ma langue maternelle, l'allemand, on utilise de manière indifférente l'imparfait et le passé composé), mais jamais ça ne me viendrait à l'esprit d'écrire « on a montrer que… »

L'Etat fait la loi. En particulier, il s'occupe du code de travail et devrait veiller à ce que le paiement des salires soit transparent et se fait à temps. Or bizarrement il paraît que l'Etat est un employeur moins scrupuleux que les entreprises privées en ce qui concerne la transparence des fiches de paie et la ponctualité du paiement.

Voici un exemple. Une école d'ingénieur privée où j'enseigne établit le bulletin de paye suivant. Il est clairement structuré en commençant avec le plus important, à savoir le mois concerné, le nombre d'heures travaillées (CM=cours magistral, TD=travaux dirigés) et la base unitaire (par heure) ; puis il y a le total brut suivi des diverses côtisations. Et à la fin du mois l'argent est sur le compte de l'intervenant.

Dans le privé : fiche de paie claire

Maintenant comparons avec la fiche de paye pour un travail équivalent (heures d'interrogation en classe prépa) à l'Education Nationale. Sous la dénomination mystérieuse Rappel années antérieures on trouve un montant total, mais sans aucune explication.

Dans la fonction publique : fiche de paie obscure

On y cherchera en vain tous les détails importants, comme le tarif de base (nombre d'heures-élèves) ou la période concernée ! En plus, la période serait du plus grand intérêt car, même si le bulletin porte la date du janvier 2010, il s'agit en fait du paiement pour des interventions qui ont commencé en septembre 2009... et oui, l'Etat est un mauvais payeur, il est très souvent en retard ! Parfois il attend même six mois avant de payer les intervenants non-fonctionnaires (et aussi ses fonctionnaires pour leurs heures supplémentaires) ; en fait, lorsqu'on donne des heures de colles dans établissement pour la première fois, il n'est pas rare d'attendre le mois de mai pour avoir le premier virement concernant les heures du septembre. L'intervenant doit donc avoir une très bonne foi... Toute vérification est impossible.

Il est difficilement compréhensible que, dans notre monde informatisé du 21^e siècle, l'Education Nationale n'arrive pas à éditer des fiches de paye propres et à payer à échéance pour des services effectués.

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".

En architecture un porte-à-faux est une construction qui est supportée par une partie qui est elle-même au-dessus du vide. Avec des pièces de domino on peut faire, par exemple, une structure de type porte-à-faux comme suit.

Porte-à-faux avec des dominos

Exercice (envoyé par un ami matheux) : On dispose d'une infinité de pièces des dominos identiques. En les empilant sans colle peut-on rendre aussi grand que l'on veut la distance d indiquée dans le graphique ci-dessus ?

C'est l'occasion de présenter un ami de mes années d'études à Nice : Sissimos Livas, un spécialiste des empilement d'objets en équilibre stable-instable. Voici un petit film de souvenir que j'avais tourné (en pellicule super8 pleine de poussières...) avec cet équilibriste exceptionnel. Aujourd'hui Sissimos exerce comme physiothérapeute près de Zurich et s'il met en équilibre principalement les colonnes vertébrales de ses patients il continue toujours de perfectionner son art sur l'équilibre des objets.

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.

Un groupe topologique est un ensemble G munie d'une structure de groupe et d'une topologie telles que la loi interne

et la formation d'inverse sont des applications continues. En autres mots les deux structures, l'algébrique et la topologique, sont liées de manière naturelle par une condition de compatibilité. On peut alors se poser la question suivante :

Question

Existe-t-il deux groupes topologiques qui sont isomorphes comme groupes et homéomorphes comme espaces topologiques mais qui ne sont pas isomorphes comme groupes topologiques ?

Voici la réponse avec l'exemple de JLT.

Réponse

Oui. Preuve en trois étapes :

1. Soient G et H des parties denses de et une bijection monotone. Alors f est un homéomorphisme.
   
   On peut supposer f croissante. Nous allons montrer sa continité. Soient et . Puisque H est dense dans on a . Donc il existe

   

   De même il existe A cause de la surjectivité de f on peut écrire avec . On pose . Alors pour tout x dans G

   

   ce qui montre que f est continue en . La preuve de la continuité de la réciproque est la même.
    
2. Soient G et H des parties denses et dénombrables de . Alors elles sont homéomorphes.
   
   D'abord nous écrivons

   

   Maintenant nous allons énumérer G et H d'une autre manière, et Le but est de faire de sorte que est une bijection monotone (et donc automatiquement un homéomorphisme). On procède comme suit.
    
   • k=0. On prend
      
   • k=1. On prend . Pour le choix de regardons l'ordre de et de .
     Si alors on prend comme un élément de H inférieur à .
     Si alors on prend comme un élément de H supérieur à .
      
   • k=2. On prend comme le premier élément de de la liste (**). Pour choisir regardons l'ordre de .
     Si est inférieur à et on prend comme un élément de G inférieur à et .
     Si est supérieur à et on prend comme un élément de G supérieur à et .
     Si est entre et on prend comme un élément de G entre et .
      
   • k=3. On prend comme le premier élément de de la liste (*). Pour le choix de regardons l'ordre de . Il y a 24 possible manières de ranger ces quatre nombres.
     Si on prend comme un élément de H inférieur à
     Si on prend comme un élément de H entre et .
     Et ainsi de suite.
      
3. Les groupes topologiques et répondent au problème.
   
   D'après ce qu'on vient de voir, G et H sont homéomorphes comme espaces topologiques. Evidemment ils sont isomorphes comme groupes. Mais ils ne sont pas isomorphes comme groupes topologiques. En effet, supposons qu'il existe un isomorphisme de groupes topologiques . Par un récurrence facile f(n)=nf(1) pour tout entier n, et puis f(r)=rf(1) pour tout rationel r. Alors par continuité

   

   impossible dans .

Après quelques billets de maths, il est temps de polémiser un peu ;-) Voici un texte écrit par un collègue que j'ai rencontré recemment, Bertrand Rungaldier, professeur en PCSI au Lycée Janson-de-Sailly à Paris. On pourra le lire comme complément à l'article sur la désaffection des jeunes pour les filières scientifiques de Fabien Besnard.

Les Etats généraux des Mathématiques. Le constat est alarmant. Alors que le besoin de mathématiciens n’a jamais été aussi important, la France manque de mathématiciens ; pourquoi donc les jeunes scientifiques délaissent-ils les sciences dures et notamment les Mathématiques ? Ah, voilà une question qu’elle est bonne !!
Pour ce qui est de se poser la question, gageons qu’on va se la poser, mais pour ce qui est d’apporter un semblant de réponse…
Car les doctes qui se réunissent vont prendre soin de se mettre un bandeau noir sur les yeux, de se boucher les oreilles avec de la cire et de chausser des lunettes équipées de prismes pour ne surtout pas voir la réalité en face.

Car bien avant que de se poser la question « Pourquoi les jeunes scientifiques français rechignent-ils à devenir mathématicien ? » il conviendrait de se poser à soi même la simple question « Pourquoi moi-même, j’ai choisi de faire des Mathématiques ? »
Je fais ici le pari qu’on ne posera jamais cette question car si la question fâche, la réponse tue ! S’imagine-t-on vraiment que la réponse pourrait être « parce que les mathématiques c’est utile à la vie ! » ? Peuvent-ils vraiment croire une seule seconde qu’on choisit de se lancer dans une discipline de l’extrême, et les mathématiques pures en sont une à leur façon, parce que « ça sert » ? Ou parce qu’en tant que lycéen démocrate j’ai choisi de faire des Mathématiques citoyennes et de lutter contre les inégalités de convexité ou des accroissements finis !

NON ! On se lance dans de pareilles études aussi difficiles et sélectives parce qu’on a été ébloui, émerveillé par un cours, un professeur ou un devoir en classe ou à la maison. Parce qu’à cette occasion on a vu un feu d’artifice intellectuel de concepts et de raisonnements et qu’on a été frappé par la grâce comme Saül ou par une flèche de Cupidon mais en tous cas parce qu’on a trouvé ça beau.
Alors posons maintenant la question qui tue : Croyez vous vraiment messieurs les doctes que les programmes actuels aient de quoi toucher, émerveiller et éveiller des vocations ? Cela fait vingt ans que les programmes de lycée et de collège sont vidés de leur contenus pour, disent les Inspecteurs Généraux, inciter les élèves à « faire des études scientifiques ». Et depuis vingt ans que c’est le contraire qui se produit. Plus les programmes se vident et moins il y a d’élèves voulant devenir scientifique.

Tandis que nous abaissons, que dis-je, que nous aplatissons le niveau d’exigence l’Inde ou la Chine elles augmentent le leur. Et plus elles l’augmentent et plus il y a de candidats. Etonnant non ?
Dans les années 1970-80 il y avait à peine 25000 bacheliers C par an dont presque 10.000 se lançait dans les sciences dures. Aujourd’hui ce ne sont pas moins de 125.000 à 130.000 bacheliers déclarés « scientifiques » qui quittent le lycée, et alors… les amphithéâtres de Mathématiques se vident peu à peu. Voilà la réalité.
Tant qu’à faire, pourquoi ne pas organiser une grande « tombola scientifique » : « Devenez scientifique en participant à notre jeux concours ! » On pourrait ainsi décréter 200.000 jeunes gens scientifiques chaque année. Et en moins de 10 ans il n’y aurait plus du tout d’étudiants en sciences et cela permettrait de faire des économies.

On ne devient pas alpiniste en contemplant les steppes d’Asie centrales. On devient alpiniste en regardant des sommets couronnés de blanc avec le ciel bleu sombre au dessus et le soleil et qu’on se dit « Je veux monter la haut ! ». On ne devient pas pilote de catamarans de course au large en faisant du pédalo sur un étang « parce que c’est ludique », mais en regardant la mer, déchaînée, et qu’on est aspiré par l’immensité des forces de la nature.
On ne devient pas virtuose parce qu’on a téléchargé « Au clair de la lune » joué au tam-tam sur son portable, mais parce qu’on a écouté Czyfra jouer les Etudes d’Execution Transcendantes de Liszt ou Evgeni Kissin jouer l’Appassionata ou Glenn Gould jouer des partitas de Bach. Voilà qui motive et qui peut éveiller des vocations.

Alors quand on ouvre un livre de TS de mathématiques avec ses 450 pages de « Pour prendre un bon départ », « Un peu d’histoire », « Ce qu’il faut retenir », « L’Essentiel du cours », « Travaux Dirigés », « C’est nouveau au BAC », « A quoi ça sert ? », « Exercice corrigés », « Comment utiliser le cours », « Problèmes corrigés », « Réfléchissons », « Approfondir », et pourquoi pas « Mickey et les intégrales » ou « relie les points et devine où est caché Pluto » ; où l’on découvre par hasard trois pages d’un pseudo cours avec de vagues recettes sans la moindre démonstration rigoureuse (ça ne sert à rien or « Les Maths c’est utile ! »), sans définitions précises (parce que c’est trop abstrait), sans concept (parce que c’est « élitiste »), tout cela dans un déluge de bleu, de vert, de rouge, de jaune de photos et de dessins et bientôt sans doute des pages qui clignoteront et qui feront « pin-pon » quand on les ouvre ou bien qui téléchargeront un tube sur internet parce que « c’est plus motivant pour les élèves »… alors, si l’on a réussi à se retenir de pleurer on se dit qu’à moins d’avoir des parents eux-mêmes mathématiciens, un adolescent aujourd’hui n’a aucune chance d’être un jour un tant soit peu émerveillé par les Mathématiques.

450 pages de livre et misérablement 50 pages de cours quand j’avais 1200 pages de livre et 600 pages de cours le tout avec seulement 3 heures de mathématiques en plus. 50% d’horaire en plus mais dix fois plus de connaissance. Il y avait de quoi être motivé. Et quand on me rétorque « toi, oui mais moi je n’aimais pas vraiment les maths » je réponds « alors que faisais-tu en TC ? » et là silence !

Pourquoi moi, ai-je voulu faire des mathématiques ? Parce que j’ai été ébloui par un devoir sur le groupe des fonctions arithmétiques, parce qu’en fin de premier trimestre de Maths Sup j’ai pu m’acheter le livre Théorie algébrique des nombres de Pierre Samuel. Et Pourquoi ? Croyez-vous que j’avais l’âme d’un matheux ? Peut-être… mais à coup sûr parce que j’avais des connaissances qui me permettaient de mettre le nez dedans et de trouver ça beau : extension de corps, anneau, quotient, idéal premier, maximal, anneau quotient, factorisation canonique j’en passe et des meilleurs. Toutes ces connaissances qui m’ont motivé qui m’ont ébloui (moi et sans nulle doute bien d’autres) un élève de prépa rentre aujourd’hui rue d’Ulm sans en avoir la moindre trace !

Comment s’étonner qu’il n’y ait plus d’étudiant en géométrie algébrique, LA spécialité française, alors qu’un étudiant arrive en L3 sans jamais avoir vu autre chose comme espace topologique que des « parties d’un evn » tandis que de mon coté, après deux mois de Maths Sup, j’avais déjà vu des points ouverts et le fait qu’un espace était séparé si et seulement si sa diagonale est fermée.
Croit-on que l’on va inciter des étudiants à faire de la cohomologie avec un programme d’algèbre linéaire qui stipule « l’accent devra être mis sur le calcul matriciel », chose utile mais tellement « bovine » qu’elle est justement utilisée dans les ordinateurs. Doit-on rappeler aux zigés qu’un cerveau n’est pas fait en silicium et que ce qui sert à l’un est très précisément ce qui démotive l’autre ?

La vacuité des programmes de Mathématiques de lycée n’a d’égale que celle du grand vide de la constellation d’Eridan. Les sinistres crétins de l’Inspection Générale ont été jusqu’à vouloir supprimer toute la géométrie dans les nouveaux programmes de seconde. Il a fallu un tollé de la part des professeurs pour que le reste d’un embryon de géométrie soit maintenu.
« Les cons, ça osent tout, c’est même à ça qu’on les reconnaît » dit le film, et bien on a osé inscrire au programme de PCSI l’algorithme d’Euclide des polynômes (qui est une horreur) alors que les notions de PGCD et de polynôme premiers entre eux (à quoi sert précisément cet algorithme) sont hors programme ! Bref, il y a à l’heure actuelle au programme un algorithme compliqué dont le résultat est hors programme. Bref, un algorithme qui officiellement ne sert à rien !

Les programmes sont aujourd’hui tellement stupides, tellement vides, tellement insipides que Laurent Lafforgue s’il les avait eu serait sans doute entré à Solesmes pour pouvoir fréquenter un peu l’infini qu’il a pu trouver dans les EGA et dans Grothendieck.
Il faut parler un minimum l’allemand si l’on veut apprécier celui de Goethe. On pourra faire tous les films et toutes les animations sur le sage de Weimar ce n’est pas comme cela qu’on motivera réellement des étudiants. Oh certes ils diront « c’était très intéressant » mais c’en restera là. Ce n’est pas ainsi qu’on les motivera pour étudier le Faust. C’est plutôt en leur donnant un minimum de vraies connaissances.

Tous ces efforts de vulgarisations sont certes louables mais force est de constater qu’il ne fonctionnent pas et cela parce que le niveau de connaissance est tellement loin du minimum que cela fait le même effet à un élève que si on lui récitait le Mahabaratha en sanscrit. On pourrait tout aussi bien lancer une campagne de promotion avec des pom-pom girl parcourant les TS de France en scandant « Vive les maths, vive les maths, Oui, oui, oui ! » ou encore « On est foot des Maths » avec Zinedine Zidane. Cela n’y changera rien. On donne le goût de quelque chose en la faisant goûter...
A vouloir à n’importe quel prix et par pure démagogie, faire des « scientifiques » qui n’en sont pas, on a écœuré tous ceux qui étaient susceptibles de le devenir. Oh certes il restera bien quelques fils et filles de mathématiciens qui seront brillantissimes. Ce seront les arbres qui cachent le désert. La France aura peut-être encore quelques médailles Fields car celles-ci récompensent des gens d’exception, hasards de la génétiques. Mais derrière ces arbres il n’y aura plus que des dunes de sable très mou.

Lorsque parfois l’on s’exclame « mais pourquoi supprimer tel ou tel pan de programme susceptible de motiver des élèves » la réponse est toujours : « ça ne sert à rien et ceux qui aiment les mathématiques pourront apprendre cela plus tard ». Et bien non ! Ils ne l’apprennent pas ni plus tard ni jamais parce qu’ils n’éprouvent aucune envie d’étudier des choses aussi ennuyeuses et qu’ils ignorent même qu’il puisse exister des choses passionnantes.
Le cas des Mathématiques est à ce titre particulier car la matière ne peut pas se vulgariser sans se livrer à une dénaturation telle qu’il ne reste rien de la chose même. Or l’absence de connaissance n’est pas une motivation pour en acquérir. Pour motiver des adolescents à se lancer dans les Mathématioques il faudrait des programme de Lycée difficile, abstrait sélectif. Précisément ce que font Chinois, Indiens, Russes qui oh miracle ! ont des étudiants à ne savoir où les mettre.

Ci gît l’Ecole Mathématiques Française, trahie et exterminée par un Ministère qui aurait dû la défendre.

(Auteur : Bertrand Rungaldier, professeur de prépa au Lycée Janson-de-Sailly)