Le Musée de l'histoire de la science à Oxford possède une collection de tableaux noirs qu'on a oublié d'effacer. Comme par exemple celui-ci d'Albert Einstein :

Je suis touché par l'écriture un peu infantil de ce grand génie. Malheureusement je ne comprends pas grande chose de ce qu'il a noté... Et pourquoi d'une ligne à l'autre la fraction change-t-elle en  ? Peut-être un physicien peut nous éclairer !

A chaque nombre naturel avec n² chiffres on peut associer le déterminant de la matrice nxn où on écrit ces chiffres ligne par ligne. Par exemple, si n=2 nous associons au nombre 2011 le déterminant

Exercice : Trouver, en fonction de n, la somme de tous les déterminants associés aux nombres entiers positifs à n² chiffres. (Le premier chiffre est supposé non-nul — par exemple pour n=2 il y a 9000 déterminants qui interviennent.)

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 :

Étienne Ghys, Jos Leys et Aurélien Alvarez ont réalisé une très belle série de films en images de synthèse sur les mathématiques. Chaque vidéo est un récit scénarisé d'un mathématicien qui raconte ses découvertes d'une manière très compréhensible. C'est bien écrit et les visualisations correspondent exactement au texte ; on prend le temps d'expliquer ce type de maths sans beaucoup de formules.

Cliquez sur l'image

Le niveau recquis des différents épisodes est très divers. Aux lycéens en terminale S je recommande l'épisode 5 qui explique de manière simple ce que c'est un nombre complexe.
En revanche, les épisodes 7 et 8 qui parlent, entre autres, de la fibration de Hopf, vont plutôt profiter aux initiés en topologie en basses dimensions.

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 !

Les professeurs de maths au collège embêtent les élèves avec des questions comme

Quel nombre est plus grand, 3/4 ou 7/9 ?

Avant l'arrivée des logiciels d'impression musicale, les imprimeurs de partitions de musique devaient bien maîtriser ce genre de calcul de fractions pour faire les bons alignements verticaux.

Par exemple dans la première mesure de l'extrait ci-dessus, où les violons sont en 3/4 et les autres en 4/4, il fallait bien réfléchir si le la indiqué en rouge doit être placé avant le ré indiqué en vert. En fait, le la est attaqué avant le ré car 1/5 est un peu plus grand que 3/16.

Clairement il s'agit là de questions assez théoriques parce que le tempo de cette musique est rapide et qu'on n'entend pas ces détails dans le tutti de l'orchestre (un aperçu de le page entière de cette partition est ici.) Et les violonistes ne se demandent probablement pas pourquoi ils doivent jouer leurs 5-uplets légèrement plus vite que les triplets qui se trouvent dans les mesures suivantes !

Question : qui a composé cette musique ?
Indication : il s'agit d'un ballet écrit pour les fameux Ballets Russes de Diaghilev à Paris.

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.

Mathias Wandel a construit une calculatrice en bois, basée sur la notation binaire !

Ceux qui ont vu le film Matrix se rapellent des suites constituées des chiffres 0 et 1 qui défilent sur l'écran presque interminablement, comme par exemple 10011100100001101010111111. Beaucoup appellent cela un "nombre binaire", mais cette appellation est mal choisie, mieux est de l'appeler "écriture binaire d'un nombre naturel". Pour mieux comprendre cette écriture bizarre faisons un petit détour.

Les nombres naturels

Les nombres naturels sont le premiers que nous avons appris à l'école : zéro, un, deux, trois, quatre,... Il y en a une infinité, car à chaque nombre on peut ajouter 1 :

zéro = 0 , un = 1 , deux = 1+1 , trois = 1+1+1, quatre = 1+1+1+1 , etc.

Cette écriture en forme de somme est essentiellement la même que l'écriture primitive par bâtons qu'on trouve sur les murs des prisons : par exemple |||| pour quatre ou |||| ||| pour huit. Elle prendrait trop de place pour des grands nombres. Pour éviter cela on utilise une ruse, que j'illustre d'abord par quelque chose que tout le monde connaît et utilise :

Le système décimal

Il fonctionne comme suit.

• Nous convenons que les dix premiers nombres (zéro, un, deux, trois, ..., huit, neuf) soient représentés par les dix symboles 0, 1, 2, 3, ..., 8, 9.
• Nous convenons que le onzième nombre, à savoir le 9+1 ou encore le dix, est représenté par la juxtaposition de 1 et de 0 : donc 10.
• Puis on donne une règle pour les autres juxtapositions en utilisant les puissances de 10. Voici deux exemples:

  et .

Il n'est pas difficile de montrer que tout nombre naturel peut s'écrire dans ce système en n'utilisant que dix chiffres. Le fait qu'on ait pris dix chiffres est un pur hasard, certainement lié au fait que nous comptons dix doigts. Cela marcherait de la même manière si nous nous étions contentés par exemple de sept chiffres ; dans ce cas là, la juxtaposition signifierait le nombre sept et signifierait (c'est-à-dire dans notre système décimal habituel).

Dans toutes les langues que je connais il y a les noms particuliers "onze" et "douze" ; on dit "vingt-deux", mais on ne dit pas "dix-deux", on dit "douze". Cela montre qu'il fût un temps où nous ne comptions pas dans en dizaines mais en douzaines.

Le système binaire

Maintenant au lieu de prendre dix chiffres nous nous contentons du minimum syndical, des deux chiffres 0 et 1. C'est vraiment le minimum car avec un seul chiffre nous ne pourrions pas aller très loin, nous serions restreints à la notation primitive par bâtons |||| .

La juxtaposition signifie alors le nombre deux et signifie , c'est-à-dire , donc cinq dans notre système décimal habituel.

Ecrivons quelques nombres naturels dans les deux systèmes, binaire suivi de décimal :

0 est 0, 1 est 1, 10 est 2, 11 est 3, 100 est 4, 101 est 5, 110 est 6, 111 est 7, 1000 est 8, etc.

est , est , est (un méga)

Ces derniers nombres sont très familiers en informatique. C'est simplement parce que les ordinateurs utilisent le système binaire pour compter. En effet, la manière la plus simple pour communiquer avec une machine c'est de lui donner seulement deux signaux (et pas trois ou plus), comme oui/non, comme on/off, comme gauche/droite (dans les leviers de la machine en bois) ou comme haut/bas, etc.


Exemples de passage d'un système à l'autre

Résumons par deux exemples les règles qui permettent de passer du système binaire au système décimal :

• Soit un naturel écrit dans le système binaire. Alors dans le système décimal c'est le nombre
  


• Soit un naturel écrit dans le système décimal (!). Pour le transformer en écriture binaire nous devons d'abord trouver la plus grande puissance de 2 qui "rentre" dans . Nous savons que et que . Donc est la plus grande puissance de 2 qui "rentre" dans et ainsi l'écriture binaire de nécessitera onze chiffres le premier étant 1. Nous avons La plus grande puissance de 2 qui "rentre" dans est On est passé de la dixième puissance directement à la sixième ; les trois puissances "sautées" (neuvième, huitième, septième) sont représentées par des zéros. Donc l'écriture binaire de notre nombre commence par les cinq chiffres On poursuit de la même manière : ; la plus grande puissance de 2 qui "rentre" dans est Puis ; la plus grande puissance de 2 qui "rentre" dans est . Le dernier reste est Ainsi nous obtenons (notation binaire).


• Pour nous rassurer de notre dernier résultat faisons le test et re-transformons l'écriture binaire en écriture décimale. Le nombre en binaire devient en décimal donc (notation décimale).

Compris ? Et n'oubliez pas : il y a 10 sortes de gens au monde : ceux qui comprennent la notation binaire et ceux qui ne la comprennent pas ;-)

Chers lecteurs fidèles, ça fait un bon moment que je n'ai plus écrit de billet sur ce blog, faute de temps. Mais je vais pouvoir reprendre la cadence habituelle dans quelques mois, je l'espère. En attendant j'aimerais inverser les rôles et vous demander d'écrire quelques lignes sur une question précise que je n'arrive pas à comprendre.

Comme tout le monde le sait on serre une vis en la tournant dans le sens des aiguilles d'une montre (pour être plus précis il faut rajouter : lorsqu'on aperçoit la vis du côté du tourne-vis). Ce sens d'orientation, appelé filetage droit ou hélice droite, est devenu le standard international (parce que la majorité des humains sont des droitiers et ont plus de force dans leur main droite pour visser une vis à filetage droit qu'une vis gauche). Il y a quelques exceptions pourtant où l'on utilise une l'hélice inverse. La seule situation où j'en rencontre dans la vie de tous les jours est celle de la pédale gauche de mon vélo. Les constructeurs de vélo ont compris qu'il faut mettre un filetage gauche sur l'axe de la pédale gauche (et un filetage droit pour la pédale droite) afin d'empêcher que la pédale ne se desserre de la manivelle au fil du temps. Voici ma question :

Je ne comprends pas pourquoi ça fonctionne. Qui peut me l'expliquer ? En fait, si on bloque la pédale sur son axe et si on continue de pédaler, alors elle se défait ; en effet, le mouvement relatif de la pédale à la manivelle est contre le sens des aiguilles d'une montre pour la pédale droite, et dans le sens des aiguilles d'une montre pour la pédale gauche. Donc, selon moi, les billes du roulement mécanique exercent une force de frottement qui desserre la pédale au lieu de la serrer.

Pas de vis droit et gauche sur les axes des pédales de ma bicyclette... (cliquez pour aggrandir)

Un ami vient de me signaler une autre vis gauche, celle du raccordement à une bouteille de gaz. Mais je ne comprends pas pourquoi on fait ainsi. Qui peut l'expliquer ?

Dans la Quinzaine universitaire no.1336 page 11 (11 juin 2011) publiée par le SNALC (Syndicat national des lycées et collèges), on peut lire un article sur l'évolution du salaire et du pouvoir achat des professeurs. Dans les calculs qui sont présentés on trouve à peu près toutes les erreurs qu'il faut éviter quand on fait des calculs de pourcentage. En gros, l'auteur écrit ceci:

En 1981 je gagnais 158% du salaire le plus bas (SMIC) et en 2009 je gagnais 193% du SMIC. Donc dans ces 28 ans mon pouvoir d'achat a augmenté de 35%, soit 1,25% par an.

N'étant pas économiste je ne suis pas certain qu'il est légitime de calculer le pouvoir d'achat en prenant le SMIC comme référence (ça semble faux, voir par exemple ici ou là) — mais cela n'est pas mon reproche ici. Mathématiquement les calculs sont complètement faux!

• Première erreur: Une augmentation de 35% en 28 ans ne correspond pas à une augmentation annuelle de 1,25% mais à une augmentation annuelle de environ 1,08%.
  Il est vrai que 35% divisé par 28 vaut 1,25%; or augmenter une quantité 28 fois par 1,25% revient à la multiplier par 1,0125²⁸, ce qui vaut environ 1,42 et correspond donc à une augmentation totale de 42% et pas de 35%. En revanche 1,0108²⁸ = 1,35 (arrondi).

En général, il ne faut jamais prendre la somme de pourcentages de variation mais le produit de leurs coefficients multiplicateurs. Pour donner un exemple plus simple: deux augmentations successives de 50% font une augmentation globale de 125% (et pas de 100%) car 1,5×1,5=2,25.

• Deuxième erreur: Pour passer de 158% à 193% on ne fait pas une augmentation de 35% mais de 22%. En effet 193/158 vaut 1,22 environ. (Cela fait 0,72% par an.)

En résumé, l'auteur est passé à côté d'une belle occasion pour souligner son propos car en réalité les chiffres concernant la faible progression de son pouvoir d'achat en 28 ans sont encore pire! La bonne version serait:

En 1981 je gagnais 158% du SMIC et en 2009 c'était 193%. Donc dans ces 28 ans mon pouvoir d'achat (référencé à celui d'un Smicard) a augmenté de 22%, soit 0,72% par an.

Le nom du blog
peut faire penser à Math Ol’ Man, à mythomane, à math zéro man, à Mannomann !

Le logo du site
illustre la fameuse formule    qui réunit huit symboles et nombres fondamentaux en mathématiques :

• la relation d’égalité =
• l’addition +
• la multiplication
• le nombre 0 (élément neutre de l’addition)
• le nombre 1 (élément neutre de la multiplication)
• le nombre transcendant (pour calculer l'aire d’un cercle)
• le nombre transcendant e (pour la croissance exponentielle)
• le nombre imaginaire i (solution de l’équation ).

L’auteur du blog
c'est moi, , alias MathOMan.
J'ai étudié les mathématiques en Allemagne (Munich et Bonn) et en France (Nice et Paris) pour terminer avec une thèse de doctorat (directeur de thèse : Frédéric Pham, rapporteur : Mikhaïl Zaidenberg, rapporteur et président du jury : Pierre Cartier). D'ailleurs à cette occasion j'ai formulé une conjecture à l'apparence simple et toujours ouverte actuellement... peut-être elle vous tente !

J'ai aussi passé l'agrégation (année 2002 r.83) et, après avoir enseigné dans divers établissements de l'Education Nationale, j'ai donné des cours, TD et heures d'interrogation dans des écoles d'ingénieurs et classes préparatoires parisiennes ; aujourd'hui je suis professeur agrégé à l'Université de Versailles.

Avec d'autres auteurs j'ai écrit le livre Mathématiques L1 (publié chez Pearson Education) destiné aux étudiants en première année d'université ou classe prépa. (Lisez ici un chapitre extrait de ce manuel.)

Septembre 2008 a vu la naissance de ce blog éclectique sur divers sujets liés aux maths qui me passent par la tête. Pour des questions ou suggestions je vous prie de me contacter via ce formulaire.

Adresse professionnelle
Université de Versailles Saint Quentin
Département de Mathématiques — Bureau G-212
45 avenue des États-Unis
F-78035 Versailles
Tél.: +33 139254620