Math'O Man : le Blog des Maths

Comprendre les math grâce à un dessin


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.

Pourquoi ne pas lire aussi :


Pause d'humour

Après le dessin "drôle" des courbes dans mon billet précédent, voici un petit dessin qui concerne pas mal de personnes je crois.

la vie moderne

En fait, il y a tout un site web avec des bonnes blagues, aussi sur les maths, un peu à la Charlie Brown. Le site web s'appelle XKCD et est probablement tenu par un étudiant en sciences. Voici deux joyaux qui sont à mon goût.

quel matière étudier

Le suivant me rappelle mes propres expériences comme enseignant.

calculer avec l'exponentielle

Et celui-ci fera rire notre bloggeur phycicien-cosmologue FB. Et celle-ci est fausse dans sa manière (avec la convention d'orientation habituelle du plan il faudrait écrire -90°).

Voir aussi ça ou ça ou ça ou ça.

Se repérer dans le désert

Un joli exercice de géométrie

Voici le dessin d'une route. Elle passe tout droit en plein désert, on la voit disparaître à l'horizon.
Au bord de la route il y a des poteaux, tous les quinze mètres. Le dessinateur n'en a représenté que les deux premiers. On ne tient pas compte de la courbure de la terre, c'est-à-dire la terre est supposée plate.

Exo de géométrie : Construire les autres poteaux

Question: Comment peut-on trouver, par construction sur ce dessin, les emplacements des poteaux suivants?

Réponse: Cliquez ici pour la solution.

Remarque: Peut-être plus de bacheliers L que de bacheliers S savent résoudre cet exercice!

Pourquoi je demande à tracer des courbes à la main

Personnellement je pense que les calculatrices et TICE (Technologies de l'information et de la communication pour l'éducation) devraient être utilisées avec prudence dans les cours de mathématiques. La raison est simplement que ça va trop vite pour qu'un élève ou étudiant comprenne les nouvelles notions qu'il rencontre. C'est à nous, les enseignants, de choisir des exemples numériques où les calculs ne se compliquent pas trop et qui font dégager l'essentiel. Le danger des TICE c'est que souvent elles font primer la quantité sur la qualité. Or je pense qu'un élève qui trace lui-même sur sa feuille cinq paraboles bien choisis va comprendre plus de choses que s'il en voit vingt paraboles défiler sur un écran.

Le fait que beaucoup de bacheliers quittent l'école sans maîtriser les fondements en calcul a été (et est toujours) discuté amplement dans ce blog. Aujourd'hui je veux insister sur un autre point, la capacité de tracer à la main les courbes de fonction simples. Dans mes cours sur les fonctions trigonométriques j'insiste sur des dessins soignés des fonctions sinus, cosinus, tangente, arcsinus, arccosinus et arctangente dans une repère orthonormé. Je fais ces dessins au tableau et je passe dans les rangs pour vérifier si les étudiants les ont bien faits ; si ce n'est pas le cas je leur demande de les refaire chez eux.

Evidemment le dessin ne peut pas être aussi précis que celui qui sort d'un ordinateur. Mais en insistant sur deux choses on arrive quand même à un tracé correct :

  • Utiliser quelques valeurs particulières. Par exemple la courbe de la tangente passe par le point de coordonnées (\frac\pi4,\,1). Et afin de trouver pour l'abscisse la valeur approximative 0,8 un étudiant faible doit déjà réfléchir un peu...

  • La pente de la tangente à l'origine du sinus est sin'(0)=cos(0)=1. Placer des petits traits de pente 1 ou -1 aux points où le sinus s'annule est un bon réflexe qui permet d'augmenter sensiblement la précision du tracé de la courbe. En même temps cela rappelle la notion de la dérivée comme taux d'accroissement local...

D'ailleurs, j'ai un message à passer aux professeurs de math au collège et lycée : Travaillez moins ! Ne me comprenez pas mal ;-) Par cela je veux dire que les professeurs ne devraient plus faire le travail à la place de leurs élèves et donc ne plus fournir de repère prêt-à-utiliser sur la feuille d'énoncé. Déjà le choix d'une repère est un tâche intellectuelle importante à accomplir par l'élève : quelles échelles sur les deux axes sont adaptées à mon graphique ? quelle région veux-je représenter ?

Vu le nombre de bacheliers S qui ont du mal à dessiner correctement en moins d'une minute une parabole comme y=½(x-1)²+1 il serait souhaitable de revenir à ces concepts qui ont l'air vieux-jeu mais en réalité ne le sont pas car celui qui les a compris a compris bien plus que de faire un simple dessin.
Déjà au collège quand on trace la parabole standard y=x² à la main c'est l'occasion de comprendre plein de choses, comme par exemple que x<x² lorsque x est plus grand que 1, tandis que x>x² lorsque x est compris entre 0 et 1.

Le tracé d'une courbe doit si possible faire apparaître les propriétés essentielles, comme les intersections avec les axes, les pentes en ces intersections, les extréma, des éventuels asymptotes,...
Si l'on négligence ces choses-là ça donne des intersections fantaisistes entre la courbe de la fonction tangente et celle de sa réciproque, enseignées aux étudiants d'un établissement d'enseignement supérieur américain réputé d'être l'un des meilleurs du monde (rang 4 au classement de Shanghaï 2010) :

erreur dans le dessin
Cours filmé au MIT — Tracés complètement faux de tan et arctan !

Heureusement le reste de ce cours pris en vidéo semble de meilleure qualité.

Question pour mes étudiants : Cherchez l'erreur !

Cet enseignant a probablement vu trop d'images dans des repères à échelles distinctes sur l'abscisse et l'ordonnée, comme celle-ci au lieu de celle-là. C'est d'ailleurs la raison pour laquelle je demande toujours de tracer les fonctions trigonométriques dans un repère orthonormé.

Preuve que SO(3) est l'espace projectif à 3 dimensions

Ci-dessus la solution pour l'exercice sur le lien entre groupe de rotation et espace projectif.

Réponses aux questions


  1. \mathbb{B}^1 est l'intervalle fermé [-1,1] et son bord \mathbb{S}^0=\{-1,1\} est constitué des deux extrémités.\mathbb{B}^2 est un disque et son bord \mathbb{S}^1 est un cercle.\mathbb{B}^3 est une ``vraie'' boule et son bord \mathbb{S}^2 est une ``vraie'' sphère.
    \;

  2. Les deux applications suivantes sont bijectives car inverses l'une de l'autre.
    \;
    <br />\mathbb{B}^n\:\longrightarrow\:\mathbb{S}^n_+\;,\;\;\;(x_1,\ldots,x_n<br />)\:\mapsto\:\big(x_1,\ldots,x_n,\sqrt{1-x_1^2-\ldots-x_n^2}\:\big)\,,

    \mathbb{S}^n\:\longrightarrow\:\mathbb{B}^n\;,\;\;\;(x_1,\ldots,x_{n+1})\:\mapsto\:(x_1,\ldots,x_n)\,.<br />

    Illustration: si on projette l'hémisphère nord sur l'hyper-plan équatorial, on obtient la boule d'unité dans cet hyper-plan.

    Projection de l'hémisphère

    Notons que dans le graphique l'axe des abscisses représente l'espace \mathbb{R}^{n}\:. Il est instructif de comprendre ce dessin déjà pour les plus basses dimensions:


    • Si n=1 alors on est dans le plan euclidien \mathbb{R}^2. Le demi-cercle supérieur \mathbb{S}^1_+ (en rouge) se projette bijectivement sur le segment \mathbb{B}^1 (en bleu).
      \;

    • Si n=2 alors on est dans l'espace plan euclidien \mathbb{R}^3 et \mathbb{S}^2 est une ``vraie'' sphère dont le dessin montre une coupe. L'hémisphère nord \mathbb{S}^2_+ (en rouge) se projette bijectivement sur le disque \mathbb{B}^2 (en bleu).
      \;



  3. Chaque droite D\in\mathbb{P}^n coupe la sphère \mathbb{S}^n en deux antipodes: ~\frac{x}{||x||}~ et ~\frac{-x}{||x||}~x est arbitraire dans D\backslash\{0\}.
    Au moins un des deux points est dans l'hémisphère nord:

    La droite coupe la sphère en exactement deux points antipodes

    De cette observation on déduit que l'applicationf\;: \;\;\;\mathbb{S}^n_+\;\longrightarrow\;\mathbb{P}^n\:,\;\;\;x\;\mapsto~\mathbb{R}x\,,

    est surjective; en plus, elle est injective en dehors de l'équateur, et deux antipodes sur l'équateur sont envoyés sur une même image. Plus précisément

    \forall x,y\in\mathbb{S}^n_+\,:\;\big[\,x\neq y\,\text{ et }\,f(x)=f(y) \:\big]\;\Rightarrow \;<br />\big[\:x=-y\;\text{ et }\;x_{n+1}=y_{n+1}=0\:\big]\,.<br />

    Par conséquence \: \mathbb{P}^n\: est en bijection avec l'ensemble obtenu à partir de \: \mathbb{S}^n_+\: par identification des antipodes sur l'équateur. Or d'après la question précédente nous savons que \: \: \mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\: \: et l'équateur n'est rien d'autre que le bord \: \mathbb{S}^{n-1}\: de \: \mathbb{B}^n\: . Par conséquence \: \: \mathbb{P}^n \,\simeq\: \mathbb{B}^n/\!\sim\: .

    \,
  4. Le résultat précédent implique en particulier que \:\mathbb{P}^1 \,\simeq\, \mathbb{B}^1/\!\sim\:.
    Or \:\mathbb{B}^1=[-1,1] et par conséquence \:\mathbb{B}^1/\!\sim\: est simplement l'intervalle [-1,1] où on a recollé -1 et 1.
    Ainsi \:\mathbb{B}^1/\!\sim\: est en bijection avec le cercle \,\mathbb{S}^1\,. Nous obtenons \mathbb{P}^1 \,\simeq\,\mathbb{S}^1. Illustration:

    Recoller un segment en un cercle

    D'autre part SO(2) est le groupe des rotations du plan euclidien orienté \mathbb{R}^2. Comme chaque rotation est déterminée de manière unique par son angle compris dans [0,2\pi[ il est évident que SO(2) est en bijection avec le cercle \mathbb{S}^1.
    Conclusion: SO(2)\simeq \mathbb{P}^1.
    \,

  5. Pour la suite voir le fichier pdf.

Vladimir Arnold Trivium - conclusion

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 :

Colles 2011/2012

Feuilles de khôlles en classe préparatoire PCSI du Lycée Charlemagne à Paris pour des étudiants qui souhaitent s'entraîner.

Khôlles prépa math sup avec corrigés :

  1. Nombres complexes
  2. Nombres complexes (deuxième tour)
  3. Fonctions usuelles
  4. Fonctions usuelles et équations différentielles linéaires
  5. Géométrie en basses dimensions
  6. Géométrie en basses dimensions (deuxième tour)
  7. Courbes planes
  8. Coniques
  9. Programme mixte I
  10. Programme mixte II
  11. Nombres réels et limites
  12. Fonctions continues
  13. Fonctions continues et fonction dérivables
  14. Fonctions dérivables. Groupes
  15. Fonctions dérivables. Groupes
  16. Polynômes. Limites

Un petit exo, un powerpoint et un porte-craie

Hier j'ai reçu deux choses amusantes (un exercice et un document powerpoint) que je vais partager avec vous ainsi qu'un outil pratique :

Exercice :  Trouver toutes le fonctions injectives f de l'ensemble des nombres naturels dans lui-même telles que f(f(n)) est inférieur ou égal à (n+f(n))/2 pour tout naturel n.

Powerpoint :  Le français est choisi comme langue européenne (document pps).
Bonne lecture, votre bloggeur Perna !

Outil pratique pour le prof :  Pour nos cours nous, mathématiciens, préférons la craie au powerpoint, pour des raisons didactiques. Et nous préférons la craie aux feutres sur tableaux blancs, pour des raisons de développement durable. Mais le problème avec la craie c'est qu'après il faut se nettoyer les mains, comme le fait sur la photo ci-dessous mon ami J.P. Marco avant de recevoir les handshakes de certains auditeurs de son brillant exposé :

Jean-Pierre Marco
CQFD — et Jean-Pierre Marco se frotte les mains

Depuis hier j'utilise un porte-craie. Il évite de se salir les mains et en plus, grâce à un mécanisme qui tient la craie, on peut utiliser les bouts de craie jusqu'à leur fin ce qui fera, à long terme, des économies de consommation de craie. On en trouve deux modèles, pour des craies de diamètre 12mm et pour des craies de diamètre 10mm.

Vision dans l'espace

Dessin d'un cube transparent et deux interprétations possibles

Quand on dit que quelqu'un a une bonne vision dans l'espace, c'est pour exprimer que cette personne est capable de restituer à partir des informations d'un dessin 2-dimensionnel (par exemple sur une feuille de papier ou à l'écran de votre ordinateur) la position d'un objet dans l'espace 3-dimensionnel.

Ce qui est facile pour certains peut être difficile pour d'autres. Cette vision dans l'espace n'est pas innée à tout le monde, c'est une capacité qu'on peut entraîner ; et dans certaines professions elle est indispensable, par exemple en architecture.

Quand on passe d'une configuration à 3 dimensions vers un dessin à 2 dimensions, forcément on perd certaines informations. Ainsi le dessin d'un cube transparent ci-haut admet deux "vues" possibles qu'on a representées avec deux cubes opaques.
Tandis que la première de ces deux possiblilités ne semble pas poser beaucoup de problèmes, la deuxième n'est pas évidente pour tous. C'est pourquoi ci-dessous je la reprends en ajoutant deux hommes, l'un portant le cube, l'autre se promenant dessus. Cela clarifie la perspective.

Une cube transparent et deux interprétations possibles

Exercice
Vous pouvez maintenant faire un exercice : cachez les deux cubes à droite, fixez le cube à gauche et essayez de passer d'une perspective à l'autre ! C'est un bon entraînement...

Souvent on utilise aussi des traits en pointillets pour distinguer les bords invisibles des bords visibles:

Une cube transparent et deux interprétations possibles

Un autre exercice
Voici un autre exercice basé sur le même concept mais qui exige plus d'imagination.

Quelle jambe est levée, la gauche ou la droite ?

On peut voir de deux manières la silhouette de la danseuse ci-dessus:

  • La fille nous montre son dos. Alors sa tête est légèrement inclinée vers sa droite et c'est sa jambe droite qui est levée.
  • Nous voyons le visage de la fille. Alors sa tête est légèrement inclinée vers sa gauche et c'est sa jambe gauche qui est levée.

Essayez de passer d'une vue à l'autre ! C'est beaucoup plus dur qu'avec les cubes. Et ça devient encore plus difficile, si elle tourne.

  • Soit elle tourne sur sa jambe gauche. Un oiseau au-dessus d'elle la verrait alors tourner dans le sens des aiguilles d'une montre.
  • Soit elle tourne sur sa jambe droite. Un oiseau au-dessus d'elle la verrait alors tourner contre le sens des aiguilles d'une montre.

Fille qui tourne

Quant à moi, je vois spontanément la première possibilité. Mais quelques fois j'arrive à adopter la deuxième vue, et seulement si je fais un effort. Et j'y reste bloqué, c'est-à-dire immédiatement après je ne peux plus revoir la première vue.

Il est aussi intéressant de tenir compte de l'ombre de la jambe soulevée. Comme on ne voit qu'une silhouette de la danseuse on déduit que l'éclairage est placé derrière la fille ; donc quand l'ombre du pied soulevé appraît en bas de l'image cela signifie que ce pied est plus loin du spectateur que pendant la phase où l'ombre est hors du cadre. Le seul sens possible est alors le deuxième !

Paradoxes
Lorsqu'on essaie de coder un objet 3D dans un dessin 2D, on peut perdre de l'information, mais on peut aussi créer des informations contradictoires, c'est-à-dire on peut faire des représentations pour lesquels il n'existe pas d'objet dans l'espace à 3 dimensions l'ayant pour image — ce qu'a fait l'artiste Maurits Cornelis Escher avec son escalier impossible

Maurits Cornelis Escher : Escalier

ou le mathématicien Roger Penrose avec son fameux triangle impossible (aussi tripoutre ou tribarre).

triangle de Penrose, triangle impossible

Série classique convergente

Pour savoir pour quel \alpha>0 la série \sum_{k=1}^\infty\,\frac1{k^\alpha} est convergente, on fait une comparaison avec une intégrale, c'est-à-dire on démontre (par exemple par un dessin) l'encadrement suivant, valable pour tout entier n > 1,

\int_2^n\frac{{\rm d}x}{x^\alpha}\;<\;\sum_{k=2}^n\,\frac1{k^\alpha}\;<\;\int_1^n\frac{{\rm d}x}{x^\alpha}\:.

Par intégration il en résulte que


\begin{align*}
\frac1{1-\alpha}\left(\frac1{n^{\alpha-1}}-\frac1{2^{\alpha-1}}\right)\;&<\;\sum_{k=2}^n\,\frac1{k^\alpha}\;<\;\frac1{1-\alpha}\left(\frac1{n^{\alpha-1}}-1\right)\qquad\text{ pour }\alpha\neq1\:,\\&\\&\\
\ln (n) - \ln (2)\;&<\;\sum_{k=2}^n\,\frac1{k}\;<\;\ln (n) - \ln (1)\:.
\end{align*}

En faisant tendre n vers l'infini on conclût que la série converge si \alpha>1 et diverge vers l'infini si \alpha\leq1\,.

Question de colle :

Soit \sum_{k=1}^\infty\,u_k une série convergente. Est-il vrai que \sum_{k=1}^\infty\,u_k^3 est également convergente ?

Arbre généalogique de mathématiciens

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ß !