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.

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:

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

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.

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

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

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.

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!

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.

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.

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

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.

Pour savoir pour quel la série 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,

Par intégration il en résulte que

En faisant tendre n vers l'infini on conclût que la série converge si et diverge vers l'infini si

Question de colle :

Soit une série convergente. Est-il vrai que est également convergente ?

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

Réponses aux questions

1. est l'intervalle fermé [-1,1] et son bord est constitué des deux extrémités. est un disque et son bord est un cercle. est une ``vraie'' boule et son bord est une ``vraie'' sphère.
   


2. Les deux applications suivantes sont bijectives car inverses l'une de l'autre.
   
   
   
   
   
   Illustration: si on projette l'hémisphère nord sur l'hyper-plan équatorial, on obtient la boule d'unité dans cet hyper-plan.
   
   
   
   Notons que dans le graphique l'axe des abscisses représente l'espace . Il est instructif de comprendre ce dessin déjà pour les plus basses dimensions:
   
   
   
   
   • Si n=1 alors on est dans le plan euclidien . Le demi-cercle supérieur (en rouge) se projette bijectivement sur le segment (en bleu).
     
   
   
   • Si n=2 alors on est dans l'espace plan euclidien et est une ``vraie'' sphère dont le dessin montre une coupe. L'hémisphère nord (en rouge) se projette bijectivement sur le disque (en bleu).
     
   
   
   
   


3. Chaque droite coupe la sphère en deux antipodes: et où est arbitraire dans .
   Au moins un des deux points est dans l'hémisphère nord:
   
   
   
   De cette observation on déduit que l'application
   
   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
   
   
   
   Par conséquence est en bijection avec l'ensemble obtenu à partir de par identification des antipodes sur l'équateur. Or d'après la question précédente nous savons que et l'équateur n'est rien d'autre que le bord de . Par conséquence .
   
   
4. Le résultat précédent implique en particulier que .
   Or =[-1,1] et par conséquence est simplement l'intervalle [-1,1] où on a recollé -1 et 1.
   Ainsi est en bijection avec le cercle . Nous obtenons . Illustration:
   
   
   
   D'autre part est le groupe des rotations du plan euclidien orienté . Comme chaque rotation est déterminée de manière unique par son angle compris dans il est évident que est en bijection avec le cercle .
   Conclusion: .
   


5. Pour la suite voir le fichier pdf.

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 . 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) :

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

Définition (selon Wikipédia) : Un Gömböc (mot hongrois) est un corps homogène tridimensionnel convexe comportant un unique point stable et un unique point instable d'équilibre. Posé n'importe comment, il revient toujours à la même position.

La question de trouver un tel corps fût posée par le mathématicien russe Vladimir Arnold et était résolue l'année dernière par deux mathématiciens hongrois. La vidéo suivante montre que certaines tortues ont une carapace qui ressemble à un Gömböc.

Et pour finir avec la même espèce animal voici un très beau dessin connexe (dessiné d'un seul trait) par un artiste de Vanuatu (république en Océanie), spécialisé en dessins de sable. Il part d'une simple grille de référence, donc avec un cahier d'école on devrait pouvoir y arriver... Tout le monde peut s'y entraîner durant des leçons ou séminaires ennuyeux (-;

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.

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.

L'exercice amusant sur les rectangles entiers possède apparemment beaucoup de solutions. François-Xavier Vialard m'a indiqué un article en anglais de Stan Wagon qui réunit les différentes démonstrations de 14 auteurs du monde entier ! L'une parmi elles, qui m'a été signalé aussi par Tahar Boulmezaoud, est particulièrement belle. En effet, elle utilise seulement des mathématiques élémentaires que même un élève de 6^e, voire de CM2, peut comprendre. L'idée de la preuve est de travailler avec un réseau en forme d'échiquier. Voici une description détaillé de cette démonstration, lisible par tous, indépendemment du niveau en maths :

Je rappelle que l'énoncé de l'exercice se trouve ici.

On considère un grand échiquier dont chaque case est de longueur 1/2. Nous allons l'utiliser pour poser nos rectangles dessus.

Lemme 1. Si un rectangle est entier alors il couvre autant de surface noire que blanche.

Preuve : Cela se verra plus facilement avec un dessin. Voici un rectangle dont le coté horizontal est 3.

On le découpe,

puis on déplace la partie gauche à droite, sans que cela ne change la superficie blanche ou noire couverte.

Il est maintenant évident que le rectangle couvre autant de superficie blanche que noire, ce qui achève la démonstration du lemme 1.

Remarque : La réciproque du lemme 1 n'est pas vraie. Comme contre-exemple il suffit de prendre un rectangle dont le milieu se trouve sur un point nœud de l'échiquier. Il couvre alors autant d'aire noire que blanche sans être pourtant nécessairement entier :

Mais si on rajoute une condition de plus les choses s'arrangent ! En effet, on a l'énoncé suivant.

Lemme 1. Si un rectangle dont au moins un sommet coïncide avec un point nœud de l'échiquier couvre autant de surface noire que blanche alors il est entier.

Preuve : Prenons le cas où le sommet en bas à gauche du rectangle coïncide avec un point nœud. Colorons ce nœud ainsi que les autres nœuds qui sont de coordonnées entières par rapport à lui. Nous supposons qu'aucun des autres trois sommets est sur un nœud coloré.

Pour examiner si le rectangle couvre autant de surface blanche que noire, nous le découpons ainsi :

Le rectangle bleu a un côté horizontal entier et couvre donc, d'après le lemme 1, autant de surface noire que blanche. De même pour le rectangle vert car son côté vertical est entier. Il reste alors à examiner le petit rectangle rouge.

Le petit rectangle jaune couvre autant d'aire blanche que noire, tandis que le marron couvre plus d'aire blanche que noire. Par conséquence le petit rectangle rouge couvre plus de surface noire que blanche.

Nous avons donc démontré qu'un rectangle dont un unique sommet coïncide avec un nœud coloré ne peut pas couvrir autant d'aire blanche que noire. Donc si un rectangle a au moins un sommet sur un nœud coloré et couvre la même aire blanche que noire alors il a forcément un deuxième sommet sur un nœud coloré, et cela implique qu'il s'agit d'un rectangle entier. Le lemme 2 est ainsi démontré.

Remarque : En réalité, il y a quatre types petits rectangles restants mais nous n'avons traité qu'un seul type car pour les trois autres on voit immédiatement que les aires blanches et noires ne sont pas les mêmes :

Maintenant nous sommes prêts à donner la preuve du problème posé.

Nous plaçons notre grand rectangle de manière qu'un de ses sommet est sur un point nœud de l'échiquier. Par hypothèse tous les petits rectangles le constituant sont entiers, donc chacun couvre, d'après le lemme 1, autant d'aire blanche et que noire. Il en est de même du grand rectangle. D'après le lemme 2 il est entier.

Dans ma vie musique et mathématiques tiennent une place à peu près égale. Les deux me passionnent, me procurent du plaisir, m'étonnent toujours et font que je reste un éternel élève. Quand je dis aux gens que je partage mon temps entre musique et maths, ça ne les surprend pas ; les mathématiques et la musique seraient liées, disent-ils. Mais en quoi consiste ce lien ? Généralement on me donnne trois types de réponses :

1. La musique et les maths sont abstraites.
2. Les deux utilisent des systèmes de notation illisibles pour le commun mortel.
3. On y fait des calculs.

A mon avis tous ces points restent un peu à la superficie.

1. Oui, les maths sont abstraites car elles sont construites sur un système d'axiomes qui n'est pas imposé par l'observation de la nature (comme les lois physiques) mais par un choix arbitraire soumis seulement à la logique ; et la musique est abstraite car elle ne dit rien de concret (comme une pièce de théâtre) et car on ne peut pas la toucher (comme une sculpture).
2. Oui, les deux font recours à des systèmes d'écriture qu'il faut apprendre. Mais dans les deux cas la fixation par l'écrit n'est qu'un moyen et pas la finalité ; le théorème de Pythagore existe sans qu'un géomètre grec le trace dans le sable, et la musique existe pour être écoutée et non pour être lue. De plus, pas toutes les musiques sont écrites ; le solfège était inventé pour la musique classique européenne et ne se transpose pas forcément aux musiques d'autres cultures qui fonctionnent par transmission orale ou à la musique électronique de nos jours.
3. Oui, dans les deux on peut être amené à faire des calculs. Mais encore les calculs ou la combinatoire ne constituent pas la finalité, ni dans la musique sérielle ou dodécaphonique, ni dans une triple-fugue de Bach, ni chez Bartók quand il place le climax d'un mouvement au moment qui correspond au nombre d'or.

Toutes ces réponses oublient un point essentiel qui, à mon avis, caractérise à la fois les sciences mathématiques et l'art de la musique :

La polyvalence des objets, ou le changement de référence

Une grande partie du travail d'un mathématicien consiste à considérer un même objet mais sous plusieurs angles différents, puis de traduire les observations d'un point de vue à l'autre. Ce qui est étonnant c'est qu'on peut en tirer, de ce pur travail de traduction, des conclusions intéressantes ! Et la même chose est vraie en musique ; une même mélodie, un même rythme, une même harmonie peuvent être ça ou ça. Ca l'air assez flou, je vais m'expliquer sur des exemples simples.

Ca mais aussi ça — les maths comme la science des différents points de vue

Mon prof de physique avait l'habitude de se moquer des matheux qui, selon lui, ramènent tout énoncé à des affirmations triviales du genre 0 = 0. Il est vrai que les maths construisent un monde à partir de très peu. L'essentiel se fait en traduisant des différents points de vues. Proposons nous par exemple de prouver l'affirmation suivante.

Proposition sur l'orthocentre. Les hauteurs d'un triangle sont concourantes, c'est-à-dire se coupent en un point commun.

Les hauteurs se coupent en un point

Preuve. Soit ABC un triangle. Rappellons que, par définition, la hauteur issue de A est la droite passant par A et perpendiculaire à la droite (BC). Il ne faut pas la confondre avec la médiatrice sur [BC] qui, par définition, est perpendiculaire à [BC] et passe par le milieu de [BC].
Il est facile de voir que les trois médiatrices du triangle sont concourantes. En effet, la médiatrice sur [AC] est l'ensemble des points équidistants à A et C ; et de manière analogue c'est vrai pour les deux autres médiatrices. Donc le point d'intersection des médiatrices sur [AC] et [BC] est équidistant à A et C et à B et C, donc il est aussi équidistant à A et B. Par conséquence il se trouve sur la médiatrice sur [AB].
En fait, l'intersection des trois médiatrices est le centre du cercle circonscrit au triangle.

Les médiatrices se coupent au centre du cercle circonscrit

Maintenant revenons au problème de l'intersection des hauteurs. Nous construisons un nouveau triangle A'B'C' comme indiqué dans le dessin suivant.

Les hauteurs du petit triangle ABC sont les médiatrices du grand triangle A'B'C'

Les droites (AB) et (CA') sont parallèles ; de même (AC) et (BA'). Donc ABA'C est un parallélogramme, d'où l'égalité AB=CA'. De même on montre AB=B'C. Il en resulte que B'C=CA' ou encore que C est le milieu de [A'B']. Par conséquence la hauteur issue de C dans le triangle ABC coïncide avec la médiatrice sur [A'B'] du triangle A'B'C'. On peut faire le même raisonnement sur les deux autres hauteurs. Dire que les les hauteurs de ABC sont concourantes revient donc à dire que les médiatrices de A'B'C' sont concourantes — et nous savons que cette dernière affirmation est vraie, q.e.d.

Résumé. Les trois hauteurs d'un triangle sont aussi les médiatrices d'un autre triangle. L'essentiel de la preuve consiste en la traduction d'un point de vue dans l'autre. L'objet mathématique, ici une droite, peut être est ça, mais aussi ça. C'est de la pure ambivalence, et le mathématicien en est le traducteur !

Un autre exemple est celui du problème des fourmis sur une tige qui semble compliqué au premier abord, mais est finalement trivial si on change de référentiel.

Ca mais aussi ça — la musique comme l'art de l'ambivalence

Un exemple basique concerne le rythme. Beaucoup de compositeurs (notamment Brahms) utilisent le fait que le nombre six est 3+3 mais aussi 2+2+2. Pour ceux qui connaissent le solfège (et le calcul des fractions), cela se traduit par l'égalité 6/8=3/4. Par conséquence on peut très bien faire la contrebande de quelques mesures 3/4 dans un morceau 6/8, sans gêner le groove général de la musique (au contraire ça en rajoute). Je crois que l'exemple le plus connu est la chanson I like to be in America de la West Side Story de Leonard Bernstein.

Un autre exemple vient de l'harmonie. Comme nous venons parler de triangles en maths, parlons de triades (accord de trois notes) en musique. Prenons par exemple l'intervalle La-Do. Cette petite tierce peut faire partie de la triade La-Do-Mi (La-mineur) aussi bien que de la triade Fa-La-Do (Fa-majeur). C'est donc ça, mais aussi ça ! Une astuce des compositeurs est d'utiliser cette ambivalence au début d'une musique comme moyen de laisser l'auditeur dans le flou. Il ne sait pas si ça va aller vers mineur ou majeur ! Gustav Mahler le fait de manière géniale dans son fameux Adagietto (4^e mouvement de la cinquième symphonie). En plus, il nous trompe encore à l'arrivée avec une appogiature, c'est-à-dire il nous fait entendre simultanément les deux tonalités La-mineur et Fa-majeur, seulement la harpe et le pizzicato de la basse confirment avec la fondamentale qu'on est bien dans Fa.

Gustav Mahler : Adagietto de la 5ème symphonie

Pendant deux mesures l'auditeur craint d'être dans La-mineur, et quand il s'affirme finalement Fa-majeur, quelle satisfaction ! Vous pouvez l'écouter ci-dessous. Evidemment ce n'est qu'un exemple très basique et on en trouve beaucoup d'autres plus recherchés dans la littérature musicale (notamment les modulations ou l'enharmonie qui sont en analogie avec l'exemple des triangles cité en haut).

Ecouter cette musique ici.

Un dernier point commun entre maths et musique : c'est beau et ça ne sert à rien (enfin l'utilité n'est pas leur but premier). Mais une grande différence : les maths sont seulement belles pour ceux qui les font, tandis que la musique peut-être appréciée passivement.

D'ailleurs il y a des gens, plus formés que moi, qui réfléchissent aux liens structurels entre maths et musique et qui publient des recherches sérieuses sur ce sujet. De temps en temps je vais dans leur séminaire MaMuPhi à l'Ircam. Je me rappelle en particulier d'un exposé donné par le mathématicien et pianiste de jazz Guerino Mazzola ; il faisait le lien entre théorie des faisceaux et structure musicale. Je connais les faisceaux, je connais la musique, mais apparemment pas assez profondément pour avoir compris ces liens... Finalement, dans les deux domaines je ne suis qu'un working mathematician ou working composer qui ne se soucie pas trop des fondements souterrains ;-)

Citation de Paul Erdös (1913-1996)

Why are numbers beautiful? It's like asking why is Beethoven's Ninth Symphony beautiful. If you don't see why, someone can't tell you. I know numbers are beautiful. If they aren't beautiful, nothing is.