Math'O Man : le Blog des Maths

Handwaving en math


Hand waving et dessins en mathématiques

Par Mathoman, samedi 20 septembre 2008 à 20:15 - Maths pour tous - Tags

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.

2 commentaires

Pourquoi ne pas lire aussi :


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

Par Mathoman - Tags

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.

7 commentaires

Arbre généalogique de mathématiciens

Par Mathoman - Tags

Lorsque j'ai travaillé avec Gérald Calderon sur le film Origine Océan nous avons consacré une petite scène à un être unicellulaire nommé LUCA (Last Universal Common Ancestor), notre dernier ancêtre commun universel dont sont issues l'ensemble des espèces.

On peut se poser la question amusante s'il existe un LUMA (Last Universal Math Ancestor) — et pour répondre à cette question on peut s'aider d'une base de données de l'université américaine NDSU.

Il s'agit d'un arbre généalogique qui permet d'associer à chaque docteur en mathématiques du monde entier son directeur de thèse. Ainsi j'ai découvert que si je remonte six générations, je trouve parmi mes aïeux l'illustre Hermann von Helmholtz. Mais mon cousin Detlev qui a soutenu sa thèse en 2001 fait encore mieux : il est un descendant scientifique de Hilbert et donc du prince des maths Carl Friedrich Gauß !

1 commentaires

Exercice sur les cordes d'un cercle

Par Mathoman - Tags

Voici un joli exercice de géométrie dans le plan. L'énoncé est surprenant et semble plutôt simple, mais la démonstration ne l'est pas.

Soit \scr{C} un cercle, A,B deux points distincts sur \scr{C} et M le milieu de la corde [AB]. Soient [PQ] et [SR] deux autres cordes passant par M. On note C (resp. D) le point d'intersection de [AB] avec [PS] (resp. [RQ]).
Démontrer que M est aussi le milieu de [CD].

cercle, cordes, milieu d'un segment, preuve difficile
Etonnant : si M est le milieu de [AB], alors aussi de [CD] !

Remarque : Ce problème est posé dans une vidéo sur Jean-Pierre Kahane du site Images des Maths. On y trouve une preuve élégante utilisant un faisceaux de coniques (niveau supérieur). Mais il existe aussi deux autres preuves, l'une géométrique et astucieuse (niveau collège) et l'autre bête et calculatoire (niveau classe de première) : vous les trouverez dans les commentaires ci-dessous.

4 commentaires

Lieu discriminant

Par Mathoman - Tags

Mon dernier billet où on parlait de racines multiples de polynômes m'a rappelé quelques souvenirs de notions que j'avais apprises pendant ma maîtrise.

Le résultant de deux polynômes

Considérons deux polynômes

P=a_0+a_1 X+a_2 X^2+\,\cdots\,+a_n X^n,\;Q=b_0+b_1 X+b_2 X^2+\,\cdots\,+b_m X^m.

Leur résultant R(P,Q) est le déterminant de la matrice de Sylvester, matrice carré d'ordre m+n dont on comprend la construction par l'exemple ci-dessous pour n=4 et m=3.

R(P,Q)=\begin{vmatrix} a_4 & a_3 & a_2 & a_1 & a_0 & 0 & 0 \\ 0 & a_4 & a_3 & a_2 & a_1 & a_0 & 0 \\ 0 & 0 & a_4 & a_3 & a_2 & a_1 & a_0 \\ b_3 & b_2 & b_1 & b_0 & 0 & 0 & 0 \\ 0 & b_3 & b_2 & b_1 & b_0 & 0 & 0 \\ 0 & 0 & b_3 & b_2 & b_1 & b_0 & 0 \\ 0 & 0 & 0 & b_3 & b_2 & b_1 & b_0 \end{vmatrix}

La proposition suivante est la raison d'être du résultant.

Proposition. On a R(P,Q)=0 si et seulement si P et Q possèdent un diviseur commun non-constant.

Le discriminant d'un polynôme

Dans le cas où Q est la dérivée de P le résultant porte un nom particulier : on appelle R(P,P') le discriminant de P. La proposition ci-dessus implique le corollaire ci-dessous.

Corollaire. Un polynôme complexe admet une racine multiple si et seulement si son discriminant est nul.

Testons au moins la véracité de ce corollaire sur les polynômes de second degré (que les profs de lycée appellent trinômes) !

P=c+b X+aX^2,\;\;\;P'=b+2a X,\;\;\;a\neq0.
On calcule alors le discriminant de P comme déterminant d'une matrice 3x3 (règle de Sarrus),

R(P,P')= \begin{vmatrix} c & b & a \\ b & 2a &0 \\ 0 & b & 2a \end{vmatrix} = c\begin{vmatrix} 2a &0 \\ b & 2a \end{vmatrix} -b \begin{vmatrix} b & a \\ b & 2a \end{vmatrix} = -a(b^2-4ac).

Nous retrouvons ainsi le fait, connu par tout lycéen en classe première S, que le polynôme de second degré aX²+bX+c possède une racine double si et seulement si b²-4ac=0.

Groupe fondamental du complémentaire du lieu discriminant

Maintenant revenons au niveau maîtrise (des nos jours master ou encore magistère...) pour poser les deux questions suivantes. Dans l'espace \mathbb{C}^n on appelle lieu discriminant le sous-ensemble \Delta formé des (a_0,\,\ldots\,,a_{n-1}) tels que le polynôme

P = a_0+ a_1X +\,\cdots\, + a_{n-1}X^{n-1} + X^n

possède une racine multiple.

  1. Montrer que \mathbb{C}^n\setminus\Delta est connexe par arcs.
  2. Quel est le groupe fondamental de \mathbb{C}^n\setminus\Delta ? Le décrire par générateurs et relations.

Les réponses sont plutôt faciles ; pour la deuxième question, pas la peine de tout formaliser, le handwaving suffit car dans cet exemple le formalisme ne donne rien en valeur ajoutée...

1 commentaires

Quel est le salaire correct pour un professeur de maths ?

Par Mathoman - Tags

Le mathématicien Pierre Colmez, algébriste français éminent, a publié sur son site web une lettre ouverte adressée au directeur général de l’Ecole Polytechnique à Palaiseau. Il y explique ses raisons de ne plus prolonger son contrat d'enseignant dans cette institution prestigieuse. La première raison nomée est celle d'argent. Mr Colmez s'indigne que des collègues en mathématiques financières ou en économie sont embauchés au double respectivement triple de son salaire. La réponse qu'on lui donne ne m'étonne pas : C’est le prix du marché ; les mathématiciens n’ont qu’à organiser la pénurie s’ils veulent que l’on augmente leurs salaires.

Je ne savais pas que le salaire des enseignants à l'X est soumis au prix du marché. J'ai plusieurs amis d'études qui se sont convertis aux mathématiques financières, certains sont professeurs dans des universités en Allemagne, d'autres travaillent pour des banques. Mais ceux qui sont professeurs ne touchent pas plus que leurs collègues professeurs d'archéologie par exemple ; en revanche, ils arrondissent (avec des gros ronds !) leurs fins de mois avec des expertises et conseils pour toutes sortes d'institutions du monde financier... Leur poste de prof n'est donc pas leur principale source de revenu. Probablement la différence de salaire à l'X ne représente qu'un \epsilon sur le revenu total d'un professeur en mathématiques financières, mais il est clair que pour Pierre Colmez c'est un grand K...

Dans le futur, est-ce les universités françaises vont-elles faire comme dans le privé, c'est-à-dire rémunérer leurs enseignants en fonction de l'offre et de la demande ? Comment négocier alors ce salaire ? Que feront alors les professeurs enseignant des matières sans "applications directes" comme par exemple la musicologie ?

1 commentaires

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

Par Mathoman - Tags

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 ;-)

4 commentaires

Maths CM2

Par Mathoman - Tags

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.

Aucun commentaire

A propos

Par Mathoman - Tags

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

Le logo du site
illustre la fameuse formule  e^{i\times\pi}+1=0  qui réunit huit symboles et nombres fondamentaux en mathématiques :

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

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 mes études 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).

En 2002 j'ai passé l'agrégation (r.83). Après avoir enseigné pendant quelques années dans divers établissements de l'Education Nationale j'ai donné des cours, TD et heures d'interrogation en maths ou informatique dans des écoles d'ingénieurs (ESTACA, ESILV, ISEP) et classes prépa parisiennes. Actuellement j'enseigne à l'Université de Versailles Saint Quentin.

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 ou de m'écrire à l'adresse suivante

Bureau 2309
Département de mathématiques, Bâtiment Fermat
45 avenue des États-Unis
78035 Versailles
Tél. 01 39 25 46 20

Aucun commentaire

Les mots clé et les visiteurs de ce blog

Par Mathoman - Tags

Récemment j'ai regardé, comme tout bloggeur qui se respecte, les statistiques de ce blog MathOMan. J'étais curieux de savoir de quels pays viennent mes visiteurs et via quelles pages web intermédiaires ou grâce à quels mots clé ils arrivent sur mon site.

Pour les non-initiés : un mot-clé (en anglais keyword) est un mot ou une combinaison de mots que vous rentrez dans un moteur de recherche.

La majorité des visiteurs de ce blog viennent de la France, du Canada et des pays francophones d'Afrique. En regardant de plus près dans Network Location j'ai pu constater que le Ministère de l'éducation nationale rend visite à MathOMan presque tous les jours ouvrés de la semaine. Je suppose qu'il s'agit là d'une procédure standard visée à vérifier que les enseignants n'écrivent pas trop de bêtises sur leurs blogs.

Les mots clés les plus fréquemment cherchés par les internautes arrivés sur MathOMan concernent les mathématiques élémentaires, comme par exemple :

  • comment trouver le centre d'un cercle
  • comment calculer un pourcentage
  • calculer une circonférence
  • algebre pour les nuls

Pour que ces gens ne restent plus sur leur faim ici, je vais ouvrir prochainement une nouvelle catégorie de billets intitulée Les Maths pour les Nuls !

Evidemment il y a actuellement beaucoup de recherches du mot clé "sujet de bac mathématiques". D'autres mots clé sont très amusants, pour diverses raisons, soit par leur combinaisons insolites, soit par le côté existentiel (comme le no.4 ci-dessous), soit par l'impossibilité de trouver une réponse à cette question (comme le no.5) :

  1. blog ennuyeux
  2. comment etre elégante en classe
  3. pourquoi pas de belle fille en math spé
  4. faire des math ou pas
  5. comment trouver le centre d'un cercle juste avec un compas
  6. comment faire un piege a oiseau qui marche
  7. piege a oiseaux sans piege
  8. thèse doctorat reggae
  9. ils ne comprennent rien il n'apprennent jamais
  10. combien en fraction le nombre de gens qui parlent existent ?
  11. comment resoudre une equation du premier degre sans pi
  12. jean dieudonné: quelle distance a-t-il parcouru ?
  13. apprendre beaucoup en peu de temps
  14. bien gerer son bac avec humour
  15. komen reusir le bac san travailé
  16. avec quelle musique faire des maths ?
  17. comment etre un bon eleve dans la classe
  18. comment calculer comment sa nous prend pour passer avec un pourcentage
  19. insecte laid qui ressemble a une fourmi transparent
  20. je veux qu'on me calcule cet exercice
  21. comment faire une opération de transformation un homme en une femme
  22. peut on réapprendre les maths à quarante ans
  23. qui fait les math à ma place
  24. demontrer de fausses égalités mathématiques
  25. elle est ferme
  26. image filles sur canapé
  27. colloque proust contrepeterie
  28. les étudiants ne savent plus faire une équation
  29. exercice pour avoir le prix nobel en maths
  30. apres combien de temps un chien oublie son maitre
  31. comment tracer une droites concourantes
  32. apprendre la corégraphie de nobody's perfect
  33. je suis aller au collège cette année, un jour, malheureusement, nous avons un problème dans le français le plus de mes leçons que nous ne comprenons pas ce que je dois faire des contrôles
  34. combien de temp deux chien son coller après avoir fait l'amour
  35. comment trouver le mot je t'aime en math
  36. comment être une fille amusante
  37. comment aimer son mari
  38. maths et masturbation
  39. extrait x les petit nin avec femme

Je lance un défi aux lecteurs de ce blog : trouvez les réponses les plus insolite à ces questions !

10 commentaires

Quel est le socle commun pour entrer en fac ?

Par Mathoman - Tags

Il bien connu (voir par exemple mon billet ou celui de Fabien sur les connaissances de élèves en terminale ou encore l'article de Michel Delord sur la maîtrise générale du calcul à l’entrée en sixième) que les exigences pour passer d'une classe à l'autre du cursus scolaire ont baissé. Les lacunes ainsi accumulées deviennent presque insurmontables, de manière qu'à la fin on est obligé de donner le bac assez facilement (voir par exemple cet excellent article sur la baisse de niveau du bac de physique ou ces réflexions sur la différence de niveau du bac entre la métroploe et la Réunion).

Quelles sont les conséquences pour les études supérieures que, selon les projets politiques, devraient entamer et réussir 50% des jeunes ? Voici un constat pratique. Recemment j'étais à la cafétéria d'une université parisienne. Sur le comptoir on avait posé cette affiche :

Le Crous cautionne-t-il le faible niveau en calcul mental des étudiants?
Vu à la fac : tableau de prix pour les nuls

D'abord je me suis dit que le CROUS de Paris propose un tarif dégressif pour des commandes groupées — mais non, il s'agit simplement d'un tableau nécessaire aux nombreux étudiants qui ne savent pas calculer quatre fois six... Le socle commun pour entrer en fac, finalement à quel niveau est-il ? Faut-il introduire les nombres négatifs pour le mesurer ?

1 commentaires