La langue des français ne finit pas par me surprendre. Ils ne faut pas toujours prendre à la lettre ce qu'ils disent. Par exemple il a quarante balais ne signifie pas qu'il s'agit d'un collectionneur d'outils de nettoyage, non mais quel manque d'imagination de la part de l'étranger que je suis, évidemment il fallait comprendre qu'on compte ici les années...

Mais encore plus bizarres sont les deux expressions suivantes qui inversent le sens. Contrairement à ce qu'on devrait croire t'inquiète ne signifie pas inquiète-toi mais ne t'inquiète pas ! Et fais gaffe ne veut pas dire fais une gaffe mais ne fais pas de gaffe !

J'avoue qu'en ma patrie, la Bavière, aussi il y a des illogismes. Par exemple, on peut entendre des bavarois dire i hob koa Mo net gsehn. Traduction en allemand correct : ich habe keinen Mann nicht gesehen. La double-négation kein/nicht en allemand fait une affirmation, mais pas chez les bavarois car ils aiment faire chose à part du reste de l'Allemagne.

En général, une négation en mathématiques et en langue est ce qu'on appelle une involution, c'est-à-dire une opération qui appliquée deux fois nous ramène au point de départ. Comme la multiplication avec -1. Si je multiplie deux fois par -1 je retrouve le nombre initial car -(-x)=x. Un autre exemple d'involution est une réflexion, par exemple par rapport à un plan : l'image miroir d'un image miroir est l'image initial.

Blague : A Krka lors de la conférence mondiale bi-annuelle des linguistes un chercheur fait un exposé détaillé sur les principes de la double-négation. Il explique alors qu'une double-négation est équivalente à une affirmation, mais qu'une double-affirmation ne peut jamais, mais vraiment jamais produire une négation. Après une heure son exposé compliqué en MindMaps et PowerPoint, avec des matrices, des équations comme et se termine, les scientifiques s'apprêtent à applaudir quand soudainement vient du dernier rang de l'amphi un Oui, oui...

Exercice : Un condamné est dans une pièce avec deux portes, chacune gardée par un gardien. Il sait que l'une des portes amène à la liberté et l'autre à la prison et que l'un des gardiens dit toujours la vérité tandis que l'autre ment toujours. Il a le droit de poser à un gardien au choix une seule question à réponse oui/non, puis il a le droit de sortir par la porte qu'il veut. Quelle question posera-t-il et quelle porte prendra-t-il ensuite ?

Remarque : Il existe une solution bien connue. Mais il existe aussi une autre qui ne suppose même pas que chaque gardien soit au courant qu'il existe une autre porte avec un autre gardien.

Souvent les étudiants en première année ont une idée intuitive pour une preuve mais lorsqu'ils l'écrivent avec les termes de la logique mathématique leur rédaction est très maladroite, voire fausse ou illisible. Ces lignes leur sont destinées. Je vais montrer sur des exemples très simples ce qu'il faut faire et ce qu'il faut éviter.

Syntaxe d'une assertion

7 + 1 = 8

1 < 0

7+1

Nous ¤ camping # faisez ((à pluie sec

Introduire les objets avant leur utilisation

.

.

Exemples de bonne syntaxe

Les théorèmes 1, 2 et 3 ci-dessous sont des assertions. Les deux premiers sont équivalents ; et chacun d'entre eux implique le troisième.

Théorème 1.  Soit . Alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

Théorème 2.  Pour tout réel a la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

Théorème 3.  Si a > 0 est un réel alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur .

Preuve du théorème 2.  Soit a un réel. Blabla...

Mauvaise rédaction de la preuve

Preuve du théorème 2 (version débutant).
Soit a un réel. Supposons a > 0. Il faut montrer que pour tous réels x, y tels que x < y on a f(x) < f(y). Or x < y et a > 0 entraînent ax < ay ou encore f(x) < f(y). Donc f est strictement croissante.
Réciproquement supposons que f est strictement croissante, c'est-à-dire pour tous réels x, y tels que x < y on a f(x) < f(y). On voit sur l'inégalité ax < ay que a doit être forcément positif, sinon l'inégalité devrait être dans l'autre sens.

• On voit sur l'inégalité ax < ay .... Or les symboles x et y n'ont pas été introduits précédemment. Il fallait écrire soit x et y....
• La fin du raisonnement devrait être... n'est pas clair.
• Le débutant écrit il faut montrer que... puis il donne la définition d'une fonction strictement croissante. Or redonner une définition tellement basique c'est presqu'un insulte vis-à-vis du correcteur ! Evitez de redonner des définitions que tout le monde connaît et n'écrivez pas ce que vous voulez démontrer si c'est déjà écrit clairement dans l'énoncé.
  En revanche, si ce que vous allez démontrer est une reformulation équivalente ou seulement une condition nécessaire pour la proposition que vous cherchez à prouver alors il est souhaitable que vous écrivez "je vais démontrer ceci...". Par exemple c'est une bonne idée d'écrire : Soit a > 0. Pour montrer que la fonction définie par f(x)=ax pour tout réel x est strictement croissante sur R je vais prouver que sa dérivée est strictement positive.

Bonne rédaction

Preuve du théorème 2 (version de l'étudiant expérimenté).
Soit a un réel.
Supposons a > 0. Soient x, y deux réels tels que x < y. Alors on a
f(x) = ax < ay = f(y). Cela prouve que f est strictement croissante.

Réciproquement supposons f strictement croissante. Alors l'inégalité 0 < 1 entraîne l'inégalité f(0) < f(1). Cela prouve que a = f(1) > f(0) = 0.

Structure d'une preuve

Exemple de structure d'une preuve bien rédigée :

Enoncé.  Soient A et B des ensembles et f une application de A dans B. Montrer que si on a l'hypothèse (H) ... alors f est injective.
Preuve.
Supposons (H). Soient x et y deux éléments de A tels que f(x) = f(y) ......
...... (je raisonne) ...... j'utilise la propriété (H) ...... (je raisonne) ...... j'obtiens x = y.
Cela prouve l'injectivité de f.

Preuve alternative (par contraposition).
Supposons (H). Soient x et y deux éléments distincts de A ......... (je raisonne) ........
........ j'utilise la propriété (H) ........ (je raisonne) ........ je trouve que f(x) est différent de f(y). Cela prouve l'injectivité de f.

Autre conseil

Des élèves qui ne viennent pas le jour du contrôle, c'est l'horreur de tout prof qui doit alors concocter un deuxième sujet pour le rattrapage. On comprend donc que très souvent ce deuxième sujet sera un peu plus difficile... Voici une belle petite histoire que des collègues m'ont écrite :

Ce sont quatre taupins qui ont un DS de math le lundi à passer. Ils vont faire la fête toute la nuit du dimanche à l’occasion de l’anniversaire de l’un d’entre eux. Seulement, ils ne se réveillent pas le fameux lundi matin et vont voir mardi le professeur pour s’excuser. Ils lui demandent alors de rattraper le lendemain en argumentant qu’ils ont crevé une roue sur le chemin en guise d’excuse. Le professeur accepte finalement.
Les étudiants bossent toute la nuit et arrivent le matin confiants à l’examen. Le professeur les met dans des salles différentes et leur donne le sujet d’examen qui comporte deux questions.
La première est sur 1 point. Chacun la lit dans son coin et trouve cela très facile. En effet, la question est : « Quelle est la raison qui vous a empêché de passer le DS prévu lundi ? ». Après, ils tournent la page et la seconde question, sur 19 points, est : « Quelle roue a été crevée ? »

Question (niveau probabilités classe de première)

Quelle est la note moyenne (valeur d'expectation) des quatre élèves à laquelle il faut s'attendre ?

Incitation à la réflexion

Pourra-t-on intégrer la question précédente comme troisième question au contrôle sans provoquer une boucle logique ?

D'après un classement récent du Wall Street Journal, être mathématicien est le meilleur métier !

Je ne sais pas comment ce sondage a été fait mais je peux confirmer que quand j'interroge mes anciens collègues d'études de mathématiques aucun n'est mécontent de son choix d'études. Et ils travaillent aujourd'hui dans des domaines très différents, autant dans le public que dans le privé, dans des banques, des ministères, des centres de recherche, des universités, des entreprises bio-médicaux, dans le consulting, dans l'informatique... L'un parmi eux l'a résumé ainsi : En choisissant les maths je ne me suis pas fixé, car ça laissait toutes les portes ouvertes.

Quant à moi, mon choix d'études n'était pas aussi pragmatique, je me suis laissé guider par ma passion. Après avoir hésité entre les études de musique ou de biologie marine, c'étaient finalement les maths qui ont emporté. La principale raison était que je voulais comprendre et ne pas apprendre.
Le premier déclic venait lors d'un séjour à Grenoble où j'étais en classe de Seconde au Lycée Stendhal. Notre professeur était un certain Mr Fluchaire et le programme de l'époque était encore passionnant car conceptuel (ce qu'on ne peut pas dire des programmes d'aujourd'hui — lire par exemple ces lamentations). Je me rappelle en particulier du cours sur les barycentres qui m'ont fasciné.
En même temps j'étais obligé de suivre le programme en Allemagne en lisant un manuel scolaire, à savoir Anschauliche Analysis. D'ailleurs je ne connais pas de livre scolaire utilisé dans les lycées d'aujourd'hui qui est d'une même qualité (voir par exemple ces extraits 1, 2, 3 et 4).

Le deuxième déclic venait d'un ami au même lycée Stendhal ; il était plus grand (déjà en première !) et était une sorte d'exemple pour moi. Il ma racontait des choses intéressantes sur les cardinaux des ensembles, je n'y comprenais pas grande chose mais ça m'intrigait...

Enfin, le troisième déclic venait au moment quand je suis rentré en Allemagne où on nous enseignait la définition de la continuité d'une fonction avec epsilon-delta. Bien qu'on ne nous demandait pas de preuves avec des majorations compliquées c'était le concept même de cette définition qui a éveillé mon intérêt pour les maths et la logique. J'ai beaucoup aimé l'idée que la fonction définie par 1/x était continue car le quantificateur ne s'applique pas au point zéro qui n'est pas dans l'ensemble de définition... J'ai compris à cette occasion qu'on pouvait tout affirmer sur les éléments de l'ensemble vide. C'était de la pure logique !

Appel aux témoignages : Quel déclic vous a fait étudier les maths ? Racontez vos souvenirs !

Il y a un peu plus d'un an je parlais ici pourquoi après le bac j'ai choisi d'étudier les mathématiques. Et quelques lecteurs ont apporté leurs propres témoignages. Pour la plupart c'était un choix de passion, pas de raison. En fait, les études de math, en particulier les deux premières années, demandent un tel effort pour comprendre ce nouveau langage qu'il est difficilement imaginable que quelqu'un le fasse juste pour obtenir un diplôme. (Diplôme qui, en France, peine à être valorisé en dehors des institutions universitaires ou de recherche. Dans d'autres pays comme l'Allemagne c'est bien différent.) En plus, le métier d'un mathématicien peut être difficilement expliqué à des non-mathématiciens ce qui fait que pour un bachelier ça reste plutôt mystérieux...
Mais les temps évoluent, les mathématiques se diversifient et envahissent de plus en plus d'autres branches de sciences et technologies. Par conséquence le monde de l'industrie s'ouvre de plus en plus aux diplômés en mathématiques et c'est pour cette raison que la SMAI organise 1er Forum Emploi Mathématiques qui se tiendra jeudi 26 janvier 2012 à Paris. Conseil à tous les étudiants en maths: inscrivez-vous!

Depuis quelques jours je possède un MacBook Pro. C'est le troisième système d'exploitation que je rencontre dans ma vie. Mon premier était Unix à l'université ; je l'utilisais principalement pour envoyer des emails avec Eudora, pour éditer du code LaTeX dans Emacs et pour programmer un peu en Html.

C'est seulement plus tard, lorsque je me suis acheté un PC, que j'ai fait la connaissance du système d'exploitation du plus riche homme de la planète. Mais je ne l'utilisais pas exclusivement ; en fait mon PC avait une double-fonction pour moi : je le bootais soit sous Linux pour faire du LaTeX comme avant, soit sous Windows pour lancer d'autres applications qui n'existent pas en Linux (principalement des logiciels de MAO, comme Cubase). Plus tard, j'ai découvert MiKTeX de Christian Schenk, une version Windows de LaTeX qui marche très bien avec TeXnicCenter ; cela sonnait alors le glas à mon utilisation de Linux car je pouvais enfin faire fonctionner LaTeX et mes applications audio favoris sous un même système d'exploitation, à savoir Windows.

Alors, dans ce monde si parfait, qu'est-ce qui m'a poussé à acheter un MacBook Pro ? Il y avait principalement deux raisons. D'abord la qualité hardware des PC portables m'a deçu — les touches, le boîtier, tout commencait à se dégrader après un ou deux ans, même avec des bonnes marques comme HP. Beaucoup de mes amis me conseillaient alors les ordinateurs à la pomme. Et il est vrai, mon nouveau MacBook Pro est vraiment agréable à toucher et semble fait pour durer. L'autre raison était que certains logiciels de musique comme le fameux Metasynth de mon ami Eric Wenger ne fonctionnent que sur Mac.

Grâce à BootCamp mon Mac démarre maintenant avec WinXP. Cela me permet de travailler comme toujours avec MiKTeX. Contrairement à ce que je craignais, WinXP fonctionne parfaitement sur le Mac — donc pas de problème au niveau software.

Mais voilà ma grande déception, elle vient plutôt de la hardware : le clavier du Mac. Le clavier du MacBook est conçu pour être chic sans être pratique ! L'élégance a emporté sur la fonctionnalité. Les touches indispensables pour coder en LaTeX n'y existent pas :

Plus précisément, elles existent et sont accéssibles en combinaison avec la touche alt mais il faut connaître leurs emplacements par cœur. C'est assez désagréable. Je ne comprends vraiment pas comment on a pu laisser de côté ces touches si importantes pour tout programmeur.

Sur un Mac on cherchera aussi en vain d'autres touches qu'on connaît d'un PC :

Dans l'édition LaTeX ou Html ces touches sont très pratiques si on veut, par exemple, sélectionner rapidement toute une ligne pour la copier-coller une page plus bas. Leur absence sur le Mac (sous Windows) implique qu'on doit utiliser plus souvent la souris pour sélectionner ou pour descendre et cela signifie une perte de temps ainsi qu'un manque de comfort.

En résumé : Je déconseille le MacBook à tous ceux qui doivent écrire des longs fichiers en un langage de programmation. Le Mac est certainement bon pour un usage multimédia. Pour ceux qui souhaitent, comme moi, faire les deux sur une même machine, ma recommandation est d'acheter plutôt un PC.

Dans ce qui suit tous les nombres sont des nombres naturels :  0, 1, 2, 3, 4, ...

Définition.  Les multiples d'un nombre n sont les nombres 0, n, 2n, 3n, 4n, ...

Exemples :

• Les multiples de 2 sont 0, 2, 4, 6, 8, ...
• Les multiples de 3 sont 0, 3, 6, 9, 12, ...
• Les multiples de 4 sont 0, 4, 8, 12, 16, ...

On appelle les multiples de 2 aussi nombres pairs. Les non-multiples de 2 sont 1, 3, 5, 7, ... et sont appelés nombres impairs.

Notre définition donne les multiples en forme d'une liste. Mais qu'est-ce qui signifient vraiment les trois petits points dans la liste 0, n, 2n, 3n, 4n, ... ? En fait, on peut écrire les trois points car tout le monde comprend comment on doit continuer la liste : après 4n, il y a 5n, puis 6n, et de suite. Autrement dit, on a la règle suivante.

Règle 1.  Un nombre m est un multiple de n si et seulement s'il existe un k tel que m = kn.

Par exemple, le nombre m=24 est multiple du nombre n=4 car 24=k×4 avec k=6.

Il est important que ce k soit aussi un nombre naturel, comme m et n. En effet, on n'a pas le droit de dire la phrase suivante : Le nombre 3 est multiple 4 car 3=k×4 avec k=¾.

Règle 2.  Zéro est multiple de tout nombre. Tout nombre est multiple de soi-même.

Preuve : Soit n un nombre choisi. Le nombre 0 est le premier élément de la liste de multiples de n — on l'obtient en prenant k=0. Et n est le deuxième élément dans cette liste — on l'obtient en prenant k=1.

Cas particuliers :

• Les multiples de 1 sont 0, 1, 2, 3, 4, ..., c'est-à-dire, tout nombre est multiple de 1.
• Les multiples de 0 sont 0, 0, 0, 0, 0, ..., c'est-à-dire, zéro n'a que lui-même comme multiple.

Dans les exemples on voit que la liste des multiples de 4, à savoir 0, 4, 8, 12, ..., est contenue dans la liste des multiples de 2. Si on y réfléchit un peu ce n'est pas très étonnant et nous allons le formuler comme une règle général :

Règle 3.  Si m est multiple de n et si n est multiple de p alors m est aussi multiple de p.

Preuve :  Si m est multiple de n on peut l'écrire comme m = kn ;  et si n est multiple de p on peut l'écrire comme n = k'p. Alors on a m = kn = kk'p ce qui prouve que m est multiple de p.

Exemples :

• 6 est multiple de 3, donc tout multiple de 6 est aussi multiple de 3.
  La réciproque n'est pas vraie, par exemple, 9 est multiple de 3 mais pas de 6.
• Tout multiple de 12 est aussi un multiple de 3 et de 4 et de 2.
  C'est vrai car 12 est multiple de 3 et de 4 et de 2.

Beaucoup d'affirmations que nous disons dans notre langage de tous les jours, dépendent de notre point de vu. Par exemple, les deux phrases

Zoé est la fille d'Alexandre  et  Alexandre est le père de Zoé

Définition.  Si m est un multiple de n on dit aussi que m est divisible par n ou que n divise m ou que n est un diviseur de m.

Autrement dit, n divise m si et seulement s'il existe k entier tel que m = kn.
L'équation m = kn équivaut à k = m/n. Ainsi n divise m si et seulement si la fraction m/n est un entier (si n est non-nul).

Notation.  Pour dire n divise m on écrit souvent n | m.

Exemples

• 5 | 15.
  On dit 5 divise 15 ou 5 est un diviseur de 15 ou 15 est divisible par 5 ou 15 est un multiple de 5.
• 3 | 15.

Les affirmations suivantes se déduisent directement de ce que nous avons déjà compris sur les multiples.

• Tout nombre divise 0 car 0 est multiple de tout nombre.
  En écriture mathématique, n|0 car 0 = 0 × n.
• Tout nombre divise soi-même car tout nombre est multiple de soi-même.
  Ou encore, n|n car n = 1 × n.
• 1 divise tout nombre car tout nombre est multiple de 1.
  Ou encore, 1|n car n = n × 1.

Règle 4.  Si p|n et si n|m alors p|m. Par exemple, 15|30 et 30|3000 donc 15|3000.

Preuve :  C'est une traduction directe de la règle 3.

Question :  Qu'est-ce qui est plus grand, multiple ou diviseur ?

Réponse :  Mise à part le multiple 0, les multiples d'un nombre sont plus grands que ses diviseurs.
Par exemple, les multiples non-nuls de 12 sont 12, 24, 36, .... Les diviseurs de 12 sont 1, 2, 3, 4, 6, 12.

Question :  Qui sont plus nombreux, les multiples d'un nombre donné ou ses diviseurs ?

Réponse :  Un nombre non-nul possède une infinité des multiples mais seulement un nombre fini de diviseurs.
En effet, pour n non-nul, la liste des multiples de n est 0, n, 2n, 3n, ... C'est une liste infinie avec des nombres de plus en plus grands. En revanche, le plus grand diviseur de n est n lui-même, donc n possède un nombre fini de diviseurs qui se trouvent parmi les nombres 1, 2, 3, ..., n.

Trouver tous les diviseurs d'un nombre donnée n'est pas facile si ce nombre est grand. Donc il est pratique de disposer de quelques critères de divisibiltés. Ca sera l'objet du prochain billet. Finissons ce billet avec un énoncé simple et sa preuve. Ca sera l'occasion de voir le formalisme des multiples en action.

Théorème.  Un nombre entier est pair si et seulement si son carré est pair.

Preuve du théorème.  Fixons un nombre entier n au hasard et prouvons le théorème pour ce nombre. (Le mathématicien dit pour cela soit n un entier.) Alors il y a deux cas possibles : soit n est pair, soit n est impair.
Supposons d'abord que n est pair. Alors il existe un entier k tel que n=2k. Ainsi n²=4k² ce qui prouve que n² est un multiple de 4, et donc en particulier un nombre pair. On vient de prouver que si un nombre est pair alors son carré aussi.
Supposons maintenant que n est impair. Alors il existe un entier k tel que n=2k+1. Donc n²=(2k+1)²=4k²+4k+1, et comme les deux premiers termes de cette somme sont pairs on en déduit que n² est impair. On vient de prouver que si un nombre est impair alors son carré aussi.
Or un nombre entier est soit pair soit impair ; donc en fait on a prouvé lé théorème.

Remarque.  Le théorème peut aussi s'énoncer comme suit : un entier est impair si et seulement si son carré est impair.

Exercices.  Les quatre exercices suivants sont faciles. Il faut simplement imiter la démonstration du théorème.

1. Montrer qu'un entier est multiple de 3 si et seulement si son carré l'est.
2. Montrer qu'un entier est pair si et seulement si son cube l'est.
3. Est-il vrai qu'un entier est multiple de 4 si et seulement si son carré l'est ?
4. Est-il vrai qu'un entier est multiple de 3 si et seulement si son cube l'est ?

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

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

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

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

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

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

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

Je me rappelle qu'une fois, en plein concert à la Philharmonie de Munich, le pianiste Alfred Brendel interrompit son jeu car le public qui toussait. Il se retournait vers la salle et disait : "Die Grundlage der Musik ist die Stille." Traduction : la base de la musique c'est le silence.

J'aimerais adapter cette phrase aux mathématiques : "La base des mathématiques c'est le calcul". Et je pense au calcul le plus simple, les opérations élémentaires qui devraient être maîtrisées par tous les citoyens d'un pays moderne (à l'exception de quelques rares personnes souffrant d'une sorte de dyslexie des nombres) : addition, soustraction, multiplication et division. Si les élèves ne savent plus calculer, le professeur devrait arrêter son cours, comme Alfred Brendel, et le reprendre plus tard...

Autrefois, grâce à la scolarisation, le savoir progressait d'une génération à l'autre
Dans cet extrait de film des années cinquante un représentant essaie en vain de dissuader Ma and Pa Kettle que 25 divisé par 5 donne 14.

Aujourd'hui c'est le récul: beaucoup de bachéliers ne savent plus calculer
Lorsque j'enseignais en deux classes de terminale ES dans un lycée en région parisienne, j'étais confronté à un problème majeur : le programme du baccalauréat porte sur les dérivées et les intégrales, les logarithmes et les exponentielles. Or la majorité de ces élèves en terminale ne connaissait pas les règles élémentaires de calcul, beaucoup confondaient l'addition avec la multiplication et la soustraction avec la division. Voici un florilège extraits de quelques copies de bacs blancs :

Tout ça pourrait faire rire si ce n'étaient que quelques cas isolés. Mais ce type d'erreurs n'est plus exceptionnel, il est devenu la règle (voir mes statistiques). Il semble qu'aujourd'hui il est impossible de demander à un élève en terminale d'effectuer un calcul élémentaire sans faire d'erreur. Le nombre d'élèves acceptés en première (même en section S) et qui ne connaissent pas la table de multiplication est légion.

Ci-dessous un dernier exemple qui me rend heureux et triste à la fois — triste car cet élève ne maîtrise pas du tout le programme du collège (règles de calcul avec les fractions), et heureux car il a appris ce que je lui enseignais en terminale (règles de dérivation). Mais en fin de compte, quelle est la valeur de ses connaissances en calcul différentiel s'il ne sait pas simplifier correctement la fraction qu'il obtient ?

La question posée était de dériver la fonction Voici sa réponse :

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.