Les chercheurs en mathématiques appellent hand waving une manière d'expliquer une idée oralement et avec les mains, sans faire appel à un formalisme poussé. Dans certaines situations, cette démarche est justifiée et peut être très efficace.

Si on veut être méchant on pourrait dire que, pour expliquer sa nouvelle découverte un mathématicien a besoin de

• ses mains et 15 minutes s'il s'adresse à un collègue dans la cafétéria de son centre de recherche,
• cinq transparents et 60 minutes s'il l'expose dans un séminaire,
• vingt pages qui demandent trois jours de lecture, s'il la publie dans une revue scientifique.

Le problème est que les mathématiques demandent la précision totale, et celle-ci nécessite un formalisme exacte et sans ambiguïté. Oralement, en faisant des dessins avec les mains dans l'air ou sur un brouillon, on peut toujours guider son interlocuteur et l'empêcher de mal comprendre. Mais ce n'est pas le cas en communication écrite où l'auteur est obligé de traduire ses idées en un formalisme que le lecteur devra ensuite retraduire en idées!
Beaucoup d'énergie est perdue dans ces efforts de traduction et re-traduction. Pour minimiser ces efforts le lecteur doit s'entraîner à maîtriser le formalisme et l'auteur, de son côté, doit inventer un formalisme facile à lire et avec des notations intuitives --- et, si possible, ajouter des dessins à son texte!

Malheureusement, dans beaucoup de manuels universitaires, il n'y a pas assez de dessins. Peut-être c'est dû à la paresse des auteurs qui rédigent en LaTeX où il est beaucoup plus rapide d'écrire cinq lignes de formules que de faire un dessin avec PSTricks...

Moi, personnellement, lorsque j'étais étudiant j'adorais les livres de Klaus Jänich, parus dans la série Undergraduate Texts in Mathematics chez Springer, très bien écrits et agrementés de nombreux dessins; en particulier son livre sur la topologie et son livre sur les fonctions holomorphes m'ont beaucoup aidé.
C'est cette démarche, avec beaucoup d'illustrations, que nous avons adoptée pour la rédaction de notre livre Mathématiques L1 pour la première année en université ou en classe prépa.

Mauvaise nouvelle : notre livre Mathématiques L1 : Cours complet avec 1000 tests et exercices est épuisé. Bonne nouvelle : l'éditeur Pearson Education veut en faire une seconde édition.

Ca sera bien entendu l'occasion de corriger des erreurs de frappe et autres, et d'améliorer certains passages. Tous ceux qui l'ont lu sont priés de me communiquer toute erreur ou commentaire. (Attention : se référer aux numéros de page du tirage 2007 et ne pas tenir compte du premier tirage en 2006 commercialisé en quelques exemplaires.)

Contrairement à Don Knuth nous ne promettons pas de chèque à tous ceux qui trouvent des erreurs. Sinon nous serions pauvres...

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

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.

Apparemment la question sur un pavage de rectangles posée ici il y a quelques jours est stimulante. Après la solution par produit tensoriel, voici une autre qui repose sur une activité habituellement réservée aux enfants: le coloriage. (Les matheux ne sont que de grands enfants !) Merci à David Caisson qui m'a envoyé cette solution extraite du livre Solving Mathematical Problems de Terence Tao.

L'idée de T. Tao est aussi simple que belle: on colore en vert tous les rectangles ayant un côté horizontal entier, et en rouge tous les autres rectangles. Un argument topologique de connexité nous assure alors que dans le grand rectangle on peut relier les deux côtés verticaux par un chemin vert ou les deux côtés horizontaux par un chemin rouge. (Pour ceux qui ne connaissent pas encore la notion de connéxité : c'est une sorte de théorème des valeurs intermédiaires qui dit que deux lignes reliant les côtés opposés se coupent forcément). Or un chemin vert consiste en la juxtaposition de rectangles verts, donc sa longueur horizontale est entière; et de manière analogue pour un chemin rouge.

Vous pouvez lire la solution complète ici.

Cette "solution" m'a laissé perplexe car sur les trois premières pages l'auteur n'avance pas beaucoup, puis au tout dernier paragraphe il évoque, sans les traiter, quelques obstacles qui pourraient éventuellement se poser. Et avec un peu d'esprit critique on trouve que la démonstration est fausse! Voici un contre-exemple.

 

 
La largeur est 4 et la hauteur est 3,5. Pourtant il n'y a pas de chaîne verte mais seulement une chaîne rouge dont on ne peut rien déduire sur la hauteur (car elle possède des décalages) ni sur la largeur (car les rectangles rouges n'ont pas de largeurs entières).

Mais Terence Tao ne serait pas Terence Tao, porteur de la Médaille Fields 2006 (sorte de prix Nobel pour mathématiciens), si l'idée de sa preuve était entièrement fausse ! En effet, après une petite recherche sur internet, je me rends sur son blog personnel et j'y trouve une liste d'errata où il corrige, entre autres, cette preuve. Voici l'amélioration qu'il apporte:

On colore les rectangles comme avant, mais seulement leurs intérieurs. Ensuite on colore en vert les côtés verticaux ouverts, et le reste en rouge.

Maintenant mon contre-exemple ne résiste plus! On peut relier les deux côtés verticaux par un chemin vert.


 
Pourquoi cette démonstration améliorée fonctionne-elle ? Et bien, lorsqu'on parcourt un chemin vert disons, alors chaque fois qu'on quitte un rectangle vert pour passer dans un autre, ça se fait sur un segment vertical dont l'abscisse est un entier.

Voilà donc une jolie solution purement topologique, sans analyse. Je ne pense pas qu'elle s'adapte aux dimensions supérieures.

Qu'est-ce un groupe cyclique?

Voici une idée pour une activité en mathématiques, accéssible à des élèves en collège. Elle m'est venue en lisant le titre du livre Si 7 = 0 : Quelles mathématiques pour l'école ? de Stella Baruk.

Les heures de la journée — un groupe cyclique d'ordre 24

Calculer dans un groupe cyclique, n'a rien d'abtrait. C'est même une pratique quotidienne de nous tous — littéralement! En effet, pour dire qu'il est minuit certains disent qu'il est 24h et d'autres disent qu'il est 0h. En autres mots, après avoir compté les heures de 0 à 23, donc vingt-quatre fois, on recommence au début en identifiant 24=0. Par conséquence 25=1, 26=2, 27=3, etc.

On dit alors qu'on calcule dans un groupe cyclique d'ordre 24. Il n'y a alors que 24 nombres: 0, 1, 2, ... , 23. Il faut bien comprendre que lorsqu'on écrit 25=1 ce n'est pas un égalité entre nombres naturels (elle serait fausse) mais une égalité dans le groupe cyclique d'ordre 24. Le 25 et le 1 sont deux écritures différentes d'un même élément dans ce groupe; et le 49 en est une troisième car 49=24+24+1=1.

Question: Il est 13h. Quelle heure sera-t-il dans 80 heures?

Réponse: On sait que 80h = 3x24h + 8h, donc dans 80 heures il sera 13h+8h=21h.

Nous remarquons dans cet exemple que 8h est le reste de la division de 100h par 24. C'est seulement ce reste qui compte, car les 3x24h correspondent à trois jours et changer de jour ne change pas l'heure.

En général, calculer dans un groupe cyclique d'ordre n revient à identifier n et 0 et par conséquence on identifie également tout nombre avec son reste après division par n.

Voici un autre exemple de notre vie quotidienne. Cette fois pas avec n=24 mais avec n=7.

Les jours de la semaine — un groupe cyclique d'ordre 7

Comptons les sept jours de la semaine: 0 pour lundi, 1 pour mardi, ... , 6 pour dimanche. Après le dimanche on retombe sur lundi, c'est-à-dire 7=0. Les jours de la semaine se comptent donc dans un groupe cyclique d'ordre 7. (Dans ce contexte le titre du livre Si 7 = 0 : Quelles mathématiques pour l'école ? de Stella Baruk n'a rien de provocateur!)



Question: Aujourd'hui c'est jeudi le 30/10/2008. Sur quel jour tombe le 30/11/2008? Et le 30/10/2009?

Réponse:

• Entre le 30 octobre et le 30 novembre il y a 31 jours. Or 31=4x7+3, donc le 30/11/2008 tombe trois jours après le jour de départ (jeudi), c'est-à-dire sur un dimanche.
• L'année 2009 n'étant pas bissextile l'expression "dans une année" signifie 365 jours plus tard. Or 365=350+14+1=50x7+2x7+1=52x7+1. Donc le 30/10/2009 sera un jour après le jour de départ (jeudi), c'est-à-dire un vendredi.

Etymologie : d'où vient le nom "groupe cyclique"?

L'illustration en haut par le cercle explique bien le nom: il y a un cycle car, en avançant, on revient sur son point de départ.
C'est donc le contraire de la situation d'une droite où, en avançant, on ne revient jamais sur son point de départ:

Les deux illustrations, les points indiqués sur le cercle ou sur la droite, ont quand-même une chose importante en commun: il existe un élément qui "donne naissance" à tous les autres. C'est ce que les mathématiciens appellent un groupe monogène. Les groupes cycliques sont donc précisément les groupes monogènes finis.
Mais quel est donc cet élément qui donne naissance à tous les autres? Reprenons l'exemple des heures dans la journée, c'est-à-dire du groupe cyclique d'ordre 24. Evidemment l'élément 1 donne naissance à tous les autres car on a 1+1=2, 2+1=3, 3+1=4, ... , 23+1=0.

Cet élément générateur est-il unique ? L'élement 2, par exemple, donne-t-il aussi naissance à tous les autres? Evidemment non, car en faisant 2+2=4, 4+2=6, 6+2=8, ... , 22+2=0, on ne pourra jamais obtenir un nombre impair.
De la même manière le 3 et le 4 ne donneront pas naissance à tous les autres (testez!). Par contre le 5 fonctionne. En effet, en ajoutant toujours 5 j'obtiens tous les 24 nombres:
5, 10, 15, 20, 25=1, 6, 11, 16, 21, 26=2, 7, 12, 17, 22, 27=3, 8, 13, 18, 23, 28=4, 9, 14, 19, 24=0.

Vous pouvez maintenant refléchir pourquoi ça marche avec le 5 mais pas avec le 2, 3 ou 4. Quelle est la condition pour qu'un élément est générateur du groupe cyclique d'ordre 24?

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.

Un amour de Swann, le deuxième livre autonome de la trilogie Du côté de chez Swann de Marcel Proust, est paru en 1913. A cette époque la théorie des ensembles et la théorie des groupes venaient d'être inventées et connaissaient un grand essor.
Je m'imagine bien l'écrivain Proust lors d'une réception un dimanche après-midi chez un représentant de la nomenklatura scientifique parisienne, disons chez le grand mathématicien Henri Poincaré ; on y joue des arrangements pour violon et piano des opéras de Wagner, on parle de poésie ou d'art chinois. Proust, le snob, s'isole dans le salon à côté et trouve sur la table une revue scientifique avec la dernière publication de son hôte. Il l'ouvre sur la première page, commence à lire et n'y comprend pas grand'chose — mais les mots et formulations lui plaisent...

Bon, vous direz que j'ai trop d'imagination ! Alors jugez par vous-même... voici la phrase avec laquelle commence Un amour de Swann :

Pour faire partie du « petit noyau », du « petit groupe », du « petit clan » des Verdurin, une condition était suffisante mais elle était nécessaire [...]

 

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.

Pour finir la semaine avec un peu d'humour voici quelques jeux de mots.

   Tout ce qui est hideux est négatif.

   Et le désir s'accroît quand l'effet se recule.

    En effet, si on fait fi de x, on n’en fait pas grand cas...

Voici un drôle de sketch extrait d'une série norvégienne d'il y a quelques années. Il s'agit d'une sorte de Tech Support médieval, juste au moment de l'apparition d'un tout nouveau moyen de stockage d'information : le livre.

La remarque que fait le moine à son consultant IT du helpdesk est d'ailleurs très typique pour de telles périodes de transition : le système précédent, les rouleaux, seraient plus pratiques que les livres, ils n'y avait pas toutes ces pages à tourner...

Quelques fois on garde un souvenir très complet d'une démonstration mathématique, et ce souvenir inclût également des accessoires absurdes et inutiles comme par exemple le numéro de la page du livre où on l'a apprise ou la couleur de la chemise du professeur qui l'a expliquée...

Ci-dessous j'explique, en forme d'exercice corrigé, pourquoi le groupe SO(3) de rotations dans l'espace peut être identifié à l'espace projectif réel . Et je me rappelle que c'était un collègue d'études qui m'a raconté cette preuve par la méthode de hand waving sous le soleil d'été dans une piscine plein air à Bonn!

Un bel énoncé géométrie et topologie
Le but de l'exercice est de montrer que et

Notations
Dans un premier temps — dont nous nous contentons ici — le symbole signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude dénote l'espace projectif réel de dimension n, c'est-à-dire l'ensemble des droites vectorielles dans . Fixons aussi les notations pour trois sous-ensembles importants de :

• la boule
  
• la sphère
  
• l'hémisphère nord
  

Le bord de la boule est la sphère . Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons Ca, c'est du handwaving. De manière ensembliste on pourra écrire




Questions

1. Expliquer par des mots de quelles formes sont la boule et son bord dans les cas n=1,2,3.
2. Démontrer que
   
3. Démontrer que
   
4. Démontrer que
   
5. Démontrer que
   

Cliquez pour lire la Solution.