Math'O Man : le Blog des Maths

Expliquer les maths sans les formules


Une très belle série de films sur les maths


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

expliquer les maths
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.

Pourquoi ne pas lire aussi :


Hand waving et dessins en mathématiques

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.

Forme générale d'une formule

Tout étudiant apprend les formules

\sum_{k=1}^nk=\frac{n(n+1)}2\,,  \qquad \qquad\sum_{k=1}^nk^2=\frac{n(n+1)(2n+1)}6\,,\qquad\qquad n\in\mathbb{N}\,.

Soit p un entier positif. Montrer que, plus généralement, la somme des premiers n termes de la suite k^p avec k\geq1 est un polynôme rationnel en n de degré p+1.

Facteurs multiplicateurs et énérgie des éoliennes

Nous savons tous que l'aire d'un carré de côté L vaut L². Lorsqu'on double la longueur des côtés alors l'aire est multipliée par 4 ; en effet, (2L)²=4L².

On montre de la même manière que si on double chaque côté d'un cube alors on multiplie sa superficie par 4 et son volume par 8. Plus généralement, ce principe fonctionne aussi pour des surfaces et volumes courbés (sphères, cones,...). Les mathématiciens parlent alors d'homothétie, les physiciens de changement d'échelle.

On le voit bien sur les formules pour une sphère de rayon r : La circonférence (périmètre d'un grand cercle) vaut 2\pi r, sa superficie 4 \pi r^2 et son volume 4\pi r^3/3. Donc la circonférence est proportionnelle à r, la surface à et le volume à r^3.

Question :
Aujourd'hui la vitesse du vent qui arrive sur mon éolienne est le double de celle d'hier. Par quel facteur dois-je multiplier l'énérgie obtenue dans la journée d'hier pour calculer celle que j'obtiens aujourd'hui ?
(On pourra supposer une éolienne idéale qui capte toute l'énergie du vent qui passe.)

La réponse n'est pas très difficile, les connaissances en physique du lycée devraient suffire.

Comprendre son bulletin de paye

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.

comprendre un bulletin de salaire
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.

comprendre une fiche de salaire
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 21e siècle, l'Education Nationale n'arrive pas à éditer des fiches de paye propres et à payer à échéance pour des services effectués.

Mathématiques dans la littérature

Après les maths et la musique et les maths du côté de chez Proust voici les mathématiques dans un roman.

A l'occasion de la journée mondiale de la femme le bloggeur El Jj a dédié un billet aux mathématiciennes. Ca m'a donné l'idée de parler d'un grand romancier qui rend hommage à sa femme mathématicienne en décrivant son incompréhension devant la science qu'elle étudie. Il s'agit de Thomas Mann (lauréat du prix Nobel de littérature en 1929) ; lorsque Mann rencontra sa future épouse Katia Pringsheim, celle-ci était étudiante en mathématiques (plus tard elle abondonnera cette voie pour se consacrer à leurs six enfants).

Dans le roman Königliche Hoheit (Altesse Royale, 1909) Thomas Mann dépeint comment il a conquis le cœur de Katia à travers deux personnages : le protagoniste Klaus Heinrich et l'étudiante en mathématiques, Imma Spoelmann. Voici un extrait que je trouve très amusant :

[...]
— Non, dit-il, aujourd'hui vous ne ferez pas d'algèbre, mademoiselle Imma, vous ne jouerez pas dans les espaces au-dessus de l'atmosphère, comme vous dites ! Regardez donc le soleil !... Vous permettez...? Il s'avança vers la petite table et prit en main le cahier de cours. Ce qu'il vit était ahurissant. En une écriture embrouillée, d'une épaisseur enfantine, qui laissait reconnaître la tenue de porte-plume propre à Imma Spoelmann, une fantaisie abracadabrante, un sabbat du runes entrecroisées couvrait les pages. Des signes d'écriture grecque se mariaient avec des caractères latins et des chiffres placés à différentes hauteurs, entremêlés de croix et de traits, alignés au-dessous ou au-dessus de lignes horizontales, à la manière des fractions, surmontés d'autres lignes qui formaient comme une tente, égalisés par de petits traits doubles, encadrés de rondes parenthèses, et réunis par des crochets carrés en grandes formules massives.
Des lettres isolées, placées en avant comme des sentinelles, se détachaient à droite, en haut des groupes enclavés. Des signes cabalistiques, complètement incompréhensibles au profane, entouraient de leurs bras les lettres et les nombres, tandis que des fractions les précédaient et qu'au-dessus d'eux, à la tête et aux pieds, planaient des nombres et des lettres. Des syllabes bizarres, abréviations de paroles mystérieuses étaient semées partout, et entre les colonnes nécromantiques, étaient écrites des phrases et des remarques en langage ordinaire, dont le sens dépassait tellement les choses humaines qu'on pouvait les lire sans en comprendre un mot, comme une incantation.

Klaus Heinrich leva les yeux sur la petite silhouette qui se tenait auprès de lui en robe chatoyante, drapée dans le voile noir de ses cheveux et regarda la petite tête exotique dans laquelle tout cela avait un sens et prenait une vie sublime et facile. Et voilà donc les arts impies, dit-il, qui vous feraient négliger cette belle matinée ?
[...]

Ca se passait il y a plus de cent ans. A cette époque il était encore exceptionnel de voir une jeune femme entamer des études supérieures, voire les maths — et ça a dû impressionner quelqu'un comme Thomas Mann qui n'a même pas passé son baccaluréat !

Si Katia a choisi de faire les études de mathématiques ce n'était certainement pas un hasard. En effet le père de Katia était Alfred Pringsheim, professeur de mathématiques à l'université de Munich. Même s'il n'est pas aussi illustre que son contemporain et collègue munichois Lindemann (qui est passé à la postérité pour sa démonstration de la transcendance de \pi), nous rencontrons encore aujourd'hui le nom Pringsheim sur certains travaux au sujet des séries et des fonctions analytiques.
D'ailleurs Thomas Mann au aussi éternisé son beau-père dans ce roman car le père du personnage fictif Imma Spoelmann porte les traits physiques et caractérielles d'Alfred Pringsheim. En revanche, dans le roman il n'est pas mathématicien mais simplement un homme très riche ce que Pringsheim, fils d'industriels prospères, était aussi dans la vraie vie.

Maths CM2

Pourquoi le nombre \pi de la formule 2\pi R pour la circonférénce d'un cercle intervient-il également dans la formule \pi R^2 pour calculer la surface d'un disque ?

Lisez ici la belle explication que Stéphane Lamy donne à sa fille en CM2.

Torsion du bras - le groupe fondamental de SO(3)

Dernièrement nous avons parlé de groupes cycliques et du groupe de rotation SO(3). Aujourd'hui nous allons revisiter ces deux notions pour explorer une jolie propriété en mathématiques.

Voici une petite vidéo où je tourne mon bol de café au lait. Plus précisément je lui fais deux tours complets. On remarquera qu'après le premier tour mon bras est tourdu, mais après le deuxième tour mon bras revient à sa comfortable position du début.

MathOMan tord son bras... et le remet à sa place!



Bizarre... La tasse de café retrouve sa position initiale après le premier tour. Ca semble évident car une rotation par 360° revient à faire une rotation de 0°. Mon bras, en revanche, a besoin de deux tours, c'est-à-dire 720°, pour retrouver sa position initiale.

Le secret de tout ça réside dans le groupe fondamental de SO(3). Le groupe fondamental est constitué des lacets (chemins fermés) — plus précisément des classes d'homotopie de lacets, deux lacets étant dit homotopes si on peut déformer l'un dans l'autre de manière continue.

Le problème est donc de savoir si l'on peut passer continûment d'un lacet dans l'espace des rotations à un autre. C'est une question de topologie non-triviale. Il se trouve que, contrairement a ce que nous dit notre intuition, une rotation de 360° n'est pas équivalente à pas de rotation! C'est profondement incompréhensible à premier abord. Il faut une rotation de 720°.

Explication (par handwaving en prose)

Pour ce qui suit il faut avoir compris que SO(3) peut être vu comme la boule d'unité (de l'espace ambiant à trois dimensions) après identification des antipodes sur la sphère — voir le billet sur le groupe de rotation SO(3) pour les détails.
  • Choisissons deux antipodes P et Q sur la sphère et notons g le chemin qui va de P à Q en ligne droite. Or g est un lacet dans SO(3) à cause de l'identification des antipodes. Plus précisément, il s'agit des rotations atour de l'axe fixe (PQ) commençant avec l'angle -180° et finissant avec l'angle 180°. Ce lacet g représente donc précisément un tour de la tasse de café.
  • Soit h un demi-cercle sur la sphère, allant de P à Q. Il est clair qu'on peut déformer g continûment en h. En termes d'homotopie on a alors g=h.
  • Considérons le demi-cercle h' allant de Q à P qui complète h en un cercle entier. Maintenant vient le point crucial: le cercle entier h+h' est homotope au lacet constant, car on peut le "rétrécir en un point''.
  • D'autre part il est clair que, par identification des antipodes, h et h' sont deux lacets identiques dans SO(3). Nous obtenons ainsi 2g=2h=h+h'=0 dans le groupe fondamentale de SO(3).
Ainsi nous avons montré que 2g=0, c'est-à-dire un tour de 720° du bol de café se déforme continûment au tour nul, ce qui permet à mon bras de se remettre en place.

Il reste à voir qu'on n'a pas déjà g=0, autrement dit qu'il est impossible d'avoir le bras en place déjà après le premier tour. Une manière simple de comprendre que g , ou encore h, n'est pas homotope au lacet constant est de voir h comme un lacet dans l'espace projectif de dimension 3. Il correspond alors à la rotation d'une droite dans l'espace de dimension 4, d'angle 180° autour d'un axe perpendiculaire. La droite revient sur elle-même, mais on ne peut pas rétrécir ce mouvement.

Voilà, si on formalise ces raisonnements un peu plus, on démontre que le groupe fondamental de SO(3) (ou plus généralement d'un espace projectif de dimension au moins 3) est le groupe cyclique à deux éléments Z/2Z.

Les physiciens adorent ce genre de propriétés mathématiques et invoquent même le groupe de Spin, revêtement universel de SO(3). Mais pour expliquer ces applications en physique théorique, il faudra un autre bloggeur — peut-être un PhysOMan?

On m'a recommandé à ce sujet le livre Spinors & Space-Time de Roger Penrose et Wolfgang Rindler mais mes maigres pré-recquis en physique m'ont découragé de l'acquérir ;-)

Blagues de matheux

Classer les gens
  • Il y a trois sortes de gens au monde: ceux qui savent compter et ceux qui ne savent pas compter.
  • Il y a deux sortes de gens au monde: ceux qui pensent que le monde peut être divisé en deux sortes de gens et ceux qui pensent que ce n'est pas possible.
  • Il y a 10 sortes de gens au monde: ceux qui comprennent la notation binaire et ceux qui ne la comprennent pas.

Combien faut-il de mathématiciens pour changer une ampoule ?
  • Aucun. C'est laissé au lecteur en exercice.
  • Aucun. Un mathématicien ne peut pas changer une ampoule, mais il peut prouver que cela est faisable.
  • Un. Il la donne à un physicien et ramène ainsi le problème à un problème précédemment résolu.
  • La solution est triviale.
  • Un seul, une fois que vous avez réussi à lui présenter le problème dans des termes qu'il peut comprendre.

Combien faut-il d'analystes pour changer une ampoule ?
Trois. Un pour prouver l'existence, un pour prouver l'unicité et un pour déterminer les condtions initiales.

Combien faut-il d'analystes numériques pour changer une ampoule ?
3,9967 (après six itérations)

Combien faut-il de mathématiciens constructivistes pour changer une ampoule ?
Aucun. Ils ne croient pas au rotations infinitésimales.

Combien faut-il de géomètres classiques pour changer une ampoule ?
Cela ne peut pas être fait à la règle et au compas.

Combien faut-il de topologistes pour changer une ampoule ?
Un seul. Mais que fait-il du beignet ??

Combien faut-il de Bourbakistes pour changer une ampoule ?
Changer une ampoule est un cas particulier d'un problème plus général concernant l'entretien et la réparation d'un système électrique. Pour déterminer un minorant et un majorant du nombre de personnes nécessaires, nous devons vérifier si les conditions du lemme 2.1 (disponibilité du personnel) et ceux du corollaire 2.3.55 (motivation du personnel) sont vérifiées. Si et seulement si ces conditions sont réunies, on obtient le résultat en appliquant le théorème de la section 3.11.23. Le majorant obtenu est, bien sûr, à prendre en compte dans un espace mesuré, muni de la topologie *-faible.

Casse-tête pour les fêtes

Noël est le temps des casse-noisettes, non des casse-têtes pour mes amis les matheux. Voici une égalité :

\sum_{k=0}^n\left\(\begin{array}{c}2n+1\\2k+1\end{array}\right\)(2k+1)\:=\:2^{2n-1}(2n+1).

Le but est de démontrer qu'elle est vraie pour tout entier n strictement positif. Comme d'habitude en maths c'est la dévise short is beautiful, c'est-à-dire il faut trouver une solution courte et élégante, sans avoir beaucoup de calcul à faire. On pourra s'inspirer de l'image d'un père noël ayant des cadeaux à distribuer dans des chaussettes...

SO(3) e(s)t l'espace projectif à 3 dimensions

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 \mathbb{P}^3. 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 \;SO(2)\:\simeq\: \mathbb{P}^1\;\; et \;\;SO(3)\:\simeq\:\mathbb{P}^3\,.

Notations
Dans un premier temps — dont nous nous contentons ici — le symbole \:\simeq\: signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude \mathbb{P}^n dénote l'espace projectif réel de dimension n, c'est-à-dire l'ensemble des droites vectorielles dans \mathbb{R}^{n+1}. Fixons aussi les notations pour trois sous-ensembles importants de \mathbb{R}^{n+1}\::
  • la boule \;\mathbb{B}^{n+1}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2\leq1\}\,,
    \:
  • la sphère \;\mathbb{S}^{n}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2=1\}\,,
    \:
  • l'hémisphère nord \;\mathbb{S}^{n}_+=\{x\in\mathbb{S}^{n} \:|\: x_{n+1}^2\geq0\}\,.
    \:
Le bord de la boule \mathbb{B}^{n+1} est la sphère \mathbb{S}^n. Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' \mathbb{B}^{n+1} par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons \mathbb{B}^{n+1}/\!\sim\,. Ca, c'est du handwaving. De manière ensembliste on pourra écrire

\;\;\;\;\;\mathbb{B}^{n+1}/\!\sim~\;\,=\;\,\left(\mathbb{B}^{n+1}\backslash\mathbb{S}^n\right)\:\dot{\bigcup}\:<br />\big\{\{x,-x\}\,|\,x\in\mathbb{S}^n\big\}\,.<br />


Questions
  1. Expliquer par des mots de quelles formes sont la boule \mathbb{B}^n et son bord \mathbb{S}^{n-1} dans les cas n=1,2,3.
  2. Démontrer que \;\mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\,.
    \,
  3. Démontrer que \;\mathbb{B}^n/\!\sim~\;\simeq\:\mathbb{P}^n\,.
    \,
  4. Démontrer que \;SO(2)~\simeq~\mathbb{P}^1\,.
    \,
  5. Démontrer que \;SO(3)~\simeq~\mathbb{P}^3\,.
    \,
Cliquez pour lire la Solution.