Math'O Man : le Blog des Maths

Construction sommet d'un parallelogramme


Entraîner sa vue géométrique


Matthias Wandel est le fils d'un éleveur de vaches allemand qui a émigré au Canada en 1980 avec sa famille. Il construit des choses fabuleuses en bois (notamment la calculatrice binaire en bois), mais il programme également des jeux en ligne, comme par exemple The Eyeballing Game.

Tester sa vue en géométrie

On peut y entraîner sa vision approximative en géométrie plane. Les huit épreuves proposées sont les suivantes.
  • Ajuster un sommet pour obtenir un parallelogramme,
  • trouver le milieu entre deux points,
  • trouver la bissectrice d'un angle,
  • placer le centre d'un triangle (centre du cercle inscrit, l'intersection des bissectrices),
  • trouver le centre d'un cercle,
  • former un angle droit,
  • placer l'intersection de trois droites concourantes.
En principe, ce sont toutes des constructions géométriques qu'un élève de collège peut réaliser à la règle et au compas. Or ici il ne s'agit pas d'ancrer votre compas sur votre écran d'ordinateur LCD et y percer des trous, mais d'essaier de trouver à l'oeil nu le point demandé. Vous devez jouer trois tours pour obtenir un score final; vous allez voir que vous vous améliorez à chaque tour. Pensez à enfoncer la souris, puis à la relacher à l'endroit souhaité (vous ne pouvez plus corriger après).

Le score est mesuré en écarts (pixels) entre votre résultat et le vrai — donc plus bas mieux c'est. Mon score total des trois tours était de 5,05 (ma meilleure réponse était de 0,2). C'est un résultat très moyen... pas terrible pour un mathématicien! Ma seule excuse: je suis myope et astighmate ;-)

Pourquoi ne pas lire aussi :


Une solution niveau CM2 pour les rectangles entiers

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 6e, 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.

réseau

On le découpe,

réseau échiquier

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

réseau

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 :

milieu ou centre de rectangle

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

jeux échiqiuer

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

reseau, noeuds

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.

réseau, jeu, échiquier

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 :

réseau et noeuds

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.

Ecole d'ingénieur cherche vacataire

Malheureusement je dois quitter mon poste de vacataire à l'Ecole Supérieure des Techniques Aéronautiques et de Construction Automobile (www.estaca.fr) à Levallois-Perret, donc cet établissment cherche un nouveau vacataire pour les TD en mathématiques : il s'agit de 144h (ou 288h) réparties entre septembre 2010 et mai 2011 sur 24 (ou 48) jours à 6h. Le programme est celui de PCSI en première année et de PC en seconde année. Les candidats peuvent contacter :
Odile TISSIER, Responsable Pédagogique en charge des Enseignements
Tel. 01 41 27 37 25, Odile.TISSIER(at)estaca.fr

L'aviation de précision

Mes étudiants à l'ESTACA (École supérieure des techniques aéronautiques et de construction automobile) devraient apprécier cette vidéo que la Patrouille de France a offerte à Uderzo pour le 50e anniversaire d'Astérix :

C'est d'une précision énorme, on croirait presque que ce n'est pas la Patrouille de France mais que c'est fait avec photoshop !

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!

Remarques sur l'enseignement des math au collège

Constat : Lacunes dans le post-bac

Il y a quelques semaines, lors d'une colle en prépa MPSI (math sup) sur les développements limités, une étudiante était amenée à calculer la somme de trois fractions,

\frac3{40}\;+\;\frac1{12}\;+\;\frac3{8}\;.

Voici comment elle s'y prenait (avec mon téléphone portable j'ai pris la photo du tableau) :

réduire au même dénominateur
A éviter : dénominateur inutilement grand

Ce qui est gênant dans cette histoire c'est que cette étudiante n'est pas une mauvaise élève, mais apparemment au collège on ne lui a pas enseigné qu'il faut toujours privilégier le plus petit dénominateur commun pour additionner des fractions. En effet, cela évite des grands nombres difficiles à gérer ; le plus petit dénominateur commun n'est pas le produit 40x12x8 des trois dénominateurs ! Il fallait procéder comme suit :

\begin{array}{rcl}
\frac3{40}\;+\;\frac1{12}\;+\;\frac3{8} \;&=&\;\frac3{2^3\times5}\;+\;\frac1{2^2\times3}\;+\;\frac3{2^3} \\
\;&=&\;\frac{3\times3}{2^3\times3\times5}\;+\;\frac{2\times5}{2^3\times3\times5}\;+\;\frac{3\times3\times5}{2^3\times3\times5}
\\&&\phantom{\frac{\frac AA}{\frac AA}}\\
\;&=&\;\frac{9+10+45}{2^3\times3\times5}\;=\;\frac{64}{2^3\times3\times5}\;=\;\frac{8}{3\times5}\;=\;\frac{8}{15}
\end{array}

On voit sur la première ligne ci-dessus que le plus petit dénominateur commun est 2^3\times3\times5 car c'est le plus petit nombre qui contient les facteurs premiers qu'on obtient en décomposant chaque dénominateur. Autrement dit, c'est le plus petit commun multiple (PPCM) des trois dénominateurs.
On remarque d'ailleurs que je n'ai pas vraiment calculé ce dénominateur, je l'ai laissé sous forme de produit car à la fin cela permet de simplifier plus facilement...

Les nombres premiers ont disparu du collège

Comment se fait-il que certains élèves arrivent aujourd'hui en classes préparatoires de sciences et ne savent pas manipuler correctement des fractions ? La réponse est que la décomposition en produit de facteurs premiers est enseignée beaucoup trop tard et seulement à une partie des bacheliers scientifiques ; en effet, elle n'est plus au programme du collège mais seulement au programme de l'option mathématiques en terminale S.

Il fut une époque en France (pas lointaine et dans autres pays on y est toujours) où tout les enfants apprenaient à l'âge de dix ou onze ans de décomposer un nombre entier en facteurs premiers.

Valeurs pédagogiques et conceptuelles de cette décomposition :

  • On apprend à décomposer un grand problème en petits problèmes, certaines composantes, les nombres premiers, étant irréductibles comme des atomes — ou les briques d'un jeu de légo.
  • On trouve facilement le PGCD et le PPCM de deux, trois, quatre nombres ou plus à partir de leurs décompositions en nombres premiers. (En revanche, l'algorithme d'Euclid s'applique seulement à deux nombres à la fois.)
  • Avec le PPCM on rencontre le concept de la réunion d'ensembles et la signification exacte du mot ou.
  • Avec le PGCD on rencontre le concept de l'intersection et la signification exacte du mot et. Ce sont d'ailleurs des notions importantes en probabilités.
  • On apprend sa table de multiplication...

On se demande vraiment pour quelle raison mystérieuse l'Inspection Générale a-t-elle ôté des programmes le concept simple et fondamental de la décomposition en nombres premiers ? Pour trouver le PGCD de deux nombres elle préconise l'algorithme d'Euclide ! Or cet algorithme est moins intuitif et son fonctionnement plus délicat à comprendre que la décomposition en nombres premiers. Son seul avantage est qu'il marche bien avec les très grands nombres — autrement dit, il n'a aucun intérêt pédagogique... Un jeune esprit a besoin d'apprendre des idées, des concepts et pas quelques recettes pour manipuler de nombres élevés, nombres qui n'ont aucun intérêt, ni pour lui ni pour nous autres mathématiciens (sauf quelques spécialistes en cryptographie, informatique ou théorie des nombres) ! D'abord un enfant doit maîtriser la manipulation des petits nombres, se faire une idée de leurs multiples, de leur diviseurs, et ce défi n'est point gagné à l'époque de la calculatrice...
Supprimer l'enseignement de la décomposition en facteurs premiers était donc une grave erreur et qui plus tard devient source de lacunes ; en plus c'était une occasion manquée de réviser les tables de multiplication.

Plus de vraies constructions géométriques au collège ?

Pour finir, voici deux exemples de l'enseignement actuel de la géométrie, extraits du manuel scolaire Transmath 6e (Nathan 2005). Dans les deux cas l'approximatif remplace une idée de construction simple et précis :

Bissection d'un angle.  On ne fait plus appel à la symétrie !

construire la bisectrice
Bissectrice — méthode approximative avec pauvre valeur pédagogique

Encore une fois, une belle idée conceptuelle est remplacée par un procédé rapide qui n'a pas de valeur pédagogique, comme s'il s'agissait de faire croire aux enfants que plus tard dans la vie ils seraient amenés quotidiennement à diviser des angles ! Or ce qui est intéressant dans la division d'un angle par deux, ce n'est pas le résultat lui-même mais la manière dont on l'obtient, à savoir par un simple concept, la symétrie : si je fais la même construction des deux côtés d'un angle alors j'obtiens une figure symétrique.
Voici donc la vraie construction avec règle et compas telle qu'elle devrait être enseignée :

construire la bissectrice
Bissectrice — la vraie construction intéressante

Parallèle à une droite.  En appliquant la bissection d'un angle au cas particulier de 180° on obtient une perpendiculaire ; et en faisant la même chose à cette perpendiculaire on trouve une parallèle. C'est une idée simple et facile à retenir. Mais qu'est-ce qu'on enseigne à la place ? La construction approximative que voici :

construire une parallèle
Parallèle passant par un point — méthode avec peu d'intérêt

Perelman surprend de nouveau la communauté scientifique

Grande surprise : le mathématicien russe Grigori Perelman vient d'annoncer que sa preuve de la conjecture de Poincaré, publiée en novembre 2002 sur ArXiv (revue scientifique en ligne sans comité de lecture), est fausse. Apparemment Perelman le savait tout le temps et attendait que quelqu'un trouve l'erreur ! Maintenant il se moque de toute la communauté mathématique, qui pendant six ans était incapable de vérifier les subtilités de sa (fausse) démonstration. Aujourd'hui il va même plus loin et propose un contre-exemple à la conjecture de Poincaré ; en fait ce contre-exemple (à vérifier scrupuleusement...) est en dimension 22 et Perelman a des pistes pour la construction de contre-exemples en toute dimension supérieure.

Il semble que cette fois, pour son travail destructeur, le chercheur russe ne réfuse plus d'être récompensé :

"Mathematicians are so easily baffled — now I want the Fields medal and the money, even if I'm too old for it!"

Vous pouvez lire l'entretien complet avec cet homme d'exception ici.

Peut-on relier deux points par un chemin injectif ?

Les commentaires du billet un exercice de topologie sur le blog de PB soulevait quelques questions intéressantes. Une parmi elles possède la réponse suivante :

Dans une variété topologique connexe on peut relier tout couple de points distincts par un chemin injectif.

Remarquons que ce résultat ne vaut plus sur des espaces non-séparés comme la droite avec un point dédoublé (une variété topologique est séparée par définition).

Démonstration :

Rappellons d'abord que sur une variété topologique les notions connexe et connexe par arcs sont équivalentes.
Quelques notations : B(r) désigne la boule ouverte de rayon r et de centre 0 dans \mathbb{R}^n pour la norme euclidienne. Pour noter la boule fermée, on mettra une barre dessus.

Soit M une variété topologique de dimension n et x un point de M. Notons E le sous-ensemble de M constitué de x et de tous les points qu'on peut relier injectivement à x. Notre but est de prouver que E=M. Vu que M est connexe et que E est non-vide, il suffit de montrer que E est ouvert et fermé.

  • Ouvert : Soit y un point arbitraire dans E. Dans l'atlas de la variété M il existe une carte \varphi\;:\; (U,y) \rightarrow (B(1),0).

    • Si x\in U alors U\subset E car dans une boule on peut toujours relier injectivement deux points distincts par un segment.

    • Dans l'autre cas où x n'est pas dans U nous posons r=1/2 et nous allons prouver que \varphi^{-1}(B(r))\subset E. On sait déjà qu'il existe un chemin injectif \lambda\::\:[0,1] \rightarrow M tel que \lambda(0)=x et \lambda(1)=y. L'ensemble \varphi^{-1}(\overline{B}(r)) est compact, et comme M est séparé, on déduit qu'il est fermé (voir aussi remarque 2 en bas).

      Par continuité l'image réciproque \lambda^{-1}(\varphi^{-1}(\overline{B}(r))) est fermé dans [0,1] et possède donc un plus petit élément t_0. On a l'inégalité t_0>0 car \lambda(0)=x\not\in U.

      Le point \varphi(\lambda(t_0)) ne peut pas être contenu dans la boule ouverte B(r), sinon \varphi(\lambda(t_0-\epsilon)) le serait également pour \epsilon>0 assez petit, contrairement à la définition de t_0. Donc \varphi(\lambda(t_0)) est sur le bord de la boule B(r). Par construction on peut relier injectivement \lambda(t_0) à tout point de \varphi^{-1}(B(r)) sans rencontrer \lambda([0,t_0[). En juxtaposant ces deux chemins, on relie donc injectivement x à n'importe quel point de \varphi^{-1}(B(r)). Donc \varphi^{-1}(B(r)) est un voisinage ouvert de y contenu dans E.

      Faire des dessins en maths, ça aide !


  • Fermé : Nous devons prouver que le complémentaire de E est ouvert. Soit donc y un point arbitraire dans M\E, autrement dit y est un point qui ne peut pas être relié injectivement à x. On prend une carte \varphi\;:\; (U,y) \rightarrow (B(1),0). Alors on sait déjà que x ne peut pas être dans U. De deux choses l'une :

    • Soit l'ouvert U est une partie de M\E — dans ce cas on a terminé.

    • Soit U n'est pas inclu dans M\E — dans ce cas il existe un point z dans l'intersection U\cap E. Pour r=||\varphi(z)|| on a 0<r<1. Il existe un chemin injectif \lambda\::\:[0,1] \rightarrow M allant de x à z. L'ensemble
      K=\lambda([0,1])\cap\varphi^{-1}(\overline{B}(r))
      est compact car c'est l'intersection d'un compact et d'un fermé. (Pour voir que \varphi^{-1}(\overline{B}(r)) est fermé on utilise, comme en haut, le fait que M est séparé.)
      Parmi tous les points du compact \varphi(K) il existe un ayant norme minimale. Nous notons w ce point et \lambda(t_0) son correspondant sur la variété (toujours via la carte \varphi). Clairement \lambda(t_0)\neq y. D'une part on a la restriction de \lambda à [0,t_0] et d'autre part le chemin correspondant au segment [w,0] ; en juxtaposant ces deux chemins injectifs on obtient un chemin de x à y qui, par construction, est injectif. Contradiction, ce cas ne peut pas avoir lieu.

      Les illustrations en mathématiques, ça facilite la compréhension

Remarque 1 :

L'idée de la preuve est de se ramener à l'intuition que nous avons de notre espace usuel. Quand une trajectoire passe de l'extérieur d'une boule à l'intérieur d'une boule, elle doit forcément traverser le bord de la boule, elle coule comme une rivière. Or cela n'est plus vrai dans les espaces non-séparés comme la droite à deux origines dédoublées, 0' et 0''. Quand je fais un chemin de 0' à 0'' alors je rentre directement dans l'intérieur de la boule [-1,1]'' sans passer par -1 ou par 1. Le chemin apparait miraculeusement de nul part, il jaillit comme une source...

Il est donc intéressant de voir où la preuve ne fonctionne plus dans cet exemple. Evidemment c'est au moment où on utilise le fait qu'un compact d'un espace séparé est toujours fermé. Sur la droite dédoublée l'ensemble [-1,1]'' est compact mais il n'est pas fermé, car son complémentaire \:]-\infty,-1[\,\cup\,]1,+\infty[\,\cup\,\{0'\}\: n'est pas ouvert.

Remarque 2 :

On est tenté de dire que \varphi^{-1}(\overline{B}(r)) est fermé comme image réciproque d'un fermé par une application continue. Mais cela serait faux ! En effet, \varphi est seulement définie sur U et pas sur toute la variété M. On peut donc dire que \varphi^{-1}(\overline{B}(r)) est un fermé de l'espace U (pour la topologie induite par M), mais de là on ne peut pas conclûre directement qu'il s'agit d'un fermé de M. C'est pourquoi nous devons faire ce détour :

\overline{B}(r) compact dans B(1),
donc \varphi^{-1}(\overline{B}(r)) compact dans U,
donc \varphi^{-1}(\overline{B}(r)) compact dans M,
donc \varphi^{-1}(\overline{B}(r)) fermé dans M (séparé).

Lieu discriminant

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

Un porte-à-faux avec des pièces de domino

En architecture un porte-à-faux est une construction qui est supportée par une partie qui est elle-même au-dessus du vide. Avec des pièces de domino on peut faire, par exemple, une structure de type porte-à-faux comme suit.

jouer au domino
Porte-à-faux avec des dominos

Exercice (envoyé par un ami matheux) : On dispose d'une infinité de pièces des dominos identiques. En les empilant sans colle peut-on rendre aussi grand que l'on veut la distance d indiquée dans le graphique ci-dessus ?

C'est l'occasion de présenter un ami de mes années d'études à Nice : Sissimos Livas, un spécialiste des empilement d'objets en équilibre stable-instable. Voici un petit film de souvenir que j'avais tourné (en pellicule super8 pleine de poussières...) avec cet équilibriste exceptionnel. Aujourd'hui Sissimos exerce comme physiothérapeute près de Zurich et s'il met en équilibre principalement les colonnes vertébrales de ses patients il continue toujours de perfectionner son art sur l'équilibre des objets.

Maths et musique : quels concepts en commun ?

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.

hauteurs triangle concourantes orthocentre
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 mediatrises sont des droites concourrantes
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.

construire un triangle dual
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.

I LIKE TO (3) + BE IN A (3)   =   MEE (2) + RII (2) + CAA (2)
 

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 (4e 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.

Gustaf Mahler Adaggieto partition
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.