Comment trouver l'amour de sa vie ? Comment se caser ? Comment former un bon couple ? Ce type de questions préoccupe beaucoup de gens. Voici une version matheux de ce problème fondamentale.

Le problème de mariage ou le problème de former les bons couples

Supposons que nous avons n femmes et n hommes, tous célibataires et prêts à se marier ; pour tout entier k dans [1,n] et tout choix de k femmes, l'ensemble des hommes qui sont aimés par au moins une de ces femmes contient au moins k éléments.
Démontrer qu'on peut organiser des mariages tels que chaque femme se marie avec un époux qu'elle aime.

Notre ami bloggeur PB a raison de se plaindre sur le niveau d'orthographe des bacheliers qui sortent des lycées de nos jours. Je trouve très souvent dans leurs rédactions en colles des choses comme ce therme en x² est... Le traitement de l'h par les jeunes est vraiment stupéfiant !

L’Arithmétique, c’est comme l’amour : ça commence par un Bezout et ça finit par un Gauss...

Tout bon matheux aime changer les maths !

1. Quel célèbre personnage se cache derrière ln(3) ?
2. exp et log font un concours de peinture. Qui gagne ?
3. exp et ln vont au restaurant. Qui paye l’addition ?
4. Monsieur Dehun et Madame Egalzéro ont une fille, comment l’appellent-ils ?

J'ai besoin de votre aide. Cette fois ce n'est pas pour résoudre un problème mathématique que je pose, mais plutôt le contraire. Il y a dix mois, Fafa m'a offert pour mon anniversaire cette sorte de puzzle tridimensionnel en bois.
 

Le problème c'est que ce jeu est vendu sans règles écrites et que le jour de mon anniversaire, elle avait déjà oublié les explications du vendeur. Et comme ça ne s'est pas passé dans un magasin mais dans un marché de Noël, impossible de le retrouver... Alors que faut-il faire avec ces pièces en bois? Si quelqu'un le sait, s'il vous plaît, manifestez-vous!

Le fait que

est une des premières choses qu'un étudiant apprend lorsqu'il étudie les nombres réels. Voici une démonstration de cette égalité.

On pose

X = 0,99999...

Alors on a l'égalité

10X = 9,99999...

dont on soustrait la première,

9X = 9,00000...

D'où X = 1.

Convaincant, n'est-ce pas ? Pour beaucoup de gens il s'agit d'une preuve — mais en réalité ça reste une tricherie car on ômet de réfléchir sur un certain nombre détails (comme par exemple à la signification rigoureuse de 0,99999... ou du produit 10 fois 0,99999.... C'est un peu comme en topologie où il faut aussi faire comprendre au débutant que le fait que les boules ouvertes sont des ouverts nécessite une preuve.)
Or qui a bien compris le cours sur les nombres réels n'a pas besoin d'une preuve car l'égalité 0,999999... = 1 est une conséquence immédiate des diverses définitions possibles du corps des réels.

Voici la manière dont j'expliquerai l'égalité 1=0,99999... à quelqu'un qui ne connais pas grand chose en maths :

Une bien meilleure méthode

On pose X = 0,99999... et on admet (!) que

0 < 0,9 < 0,99 < 0,999 < 0, 9999 < ... < X

donc par multiplication par -1 les inégalités changent de sens,

0 > - 0,9 > - 0,99 > - 0,999 > - 0,9999 > ... > - X.

En ajoutant 1 à chaque membre de ces inégalités, on obtient

1 > 1 - 0,9 > 1 - 0,99 > 1 - 0,999 > 1 - 0,9999 > ... > 1 - X.

Autrement dit,

Ainsi la différence 1-X est plus petite que tout nombre de la forme 0,000...0001. C'est-à-dire 1-X ne peut pas être strictement positif. D'autre part 1-X n'est pas strictement négatif car X est n'est pas plus grand que 1. Cela prouve que 1-X = 0 , ou encore que X = 1.   CQFD

Avec un tel raisonnement, je crois, le non-initié comprend mieux les idées mathématiques qu'avec une tricherie qui fait seulement appel à ses habitudes de calcul.

Brenoms

D'ailleurs au lieu d'écrire une infinité de chiffres après la virgule on peut aussi écrire une infinité de chiffres devant. On obtient alors ce qu'on appelle un brenom (verlan de nombre). On additionne les brenoms en commencant par la droite. Ca donne des résultats bizarres comme par exemple

Plus de détails sur les brenoms dans ce bel article.

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.

L'artiste suisse Felice Varini expose actuellement à la Galérie Xippas à Paris. Il aime jouer avec des illusions optiques dans l'espace, des sortes de trompe l'œil. Plus précisément, en termes mathématiques, il profite du fait que la projection de l'espace à trois dimensions sur un plan (espace à deux dimensions) n'est ni injective ni isométrique.

Par exemple une ellipse peut se transformer en cercle par cette projection. Les installations de Varini l'illustrent, il suffit de changer de perspective (ou comme dit Varini, se mettre hors point de vue). Les photos suivantes sont extraites du site web de l'artiste.

Felice Varini : Quatre cercles dansants

Hors point de vue

Et comme les cercles ne sont pas posés sur un support plane, il arrive bien souvent qu'ils consistent de plusieurs parties non-connexes. Dans l'exemple ci-dessus les dessins des cercles rentrent même à l'intérieur de la salle de séjour (sur la première photo la porte est ouverte). On constate également que l'épaisseur du trait doit varier en fonction de l'emplacement.
L'été dernier Varini a même encerclé tout un village dans les Alpes Suisses !

Felice Varini : Cercle et suite d'éclats (Vercorin, Suisse, été 2009)

Hors point de vue

Et pour finir, voici une autre illusion d'optique, cette fois fabriquée par un mathématicien, le japonais Kokichi Sugihara, de l’Institut pour les sciences mathématiques de Kawasaki. Quatre boules sous le seul effet de la gravation...

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

Voici deux figures :       $  $  $  $       et       o  o  o  o .

Question :  Qu'ont-elles en commun ?   Réponse :  4.

Ce qui nous paraît évident ne l'est pas pour tout le monde. Mon ami Nik est parti un an enseigner dans une université à Tokio. C'est une période assez longue pour tenter d'apprendre le japonais ; mais ce n'est pas une langue comme les autres ! Normalement l'une des premières choses qu'on fait dans une langue étrangère, c'est apprendre à compter. Or compter en japonais n'est pas pour les débutants, c'est réservé aux avancés car on compte avec des nombres différents, selon le type d'objet.

A la base il y a deux façons de compter 1, 2, 3,... , à savoir ichi, ni, san, yon, go,... ou hito, futa, mi, yo,... — plus précisément il faut faire les distinctions suivantes :

• des objets longs et fins (parapluies, crayons) :   ippon, nibon, sanbon,...
• des objets plats (feuilles, tickets) :   ichi-mai, nimai, sanmai,...
• des étages d'un immeuble :   ikkai, nikai, sankai,...
• les mois :   ichi-gatsu, ni-gatsu, san-gatsu,...
• les jours dans le mois :   tsuitachi, futsuka, mikka, yokka,...
• des personnes :   hitari, futari, san-nin, yon-nin,...
• des liquides (bières pression) :   hitotsu, futatsu, mittsu, yotsu,...

Peut-être il y a là un rélique d'une époque lointaine où on comptait encore sans avoir une idée abstraite de la notion de nombre. Savoir compter et faire abstraction des objets qu'on compte, c'est quelque chose qu'on n'invente pas, on l'apprend. C'est, comme l'invention de la roue, une acquisition culturelle : il suffit qu'une seule fois un seul humain ait l'idée puis ça se répand et se transmet de génération en génération.

L'histoire des mathématiques est pleine d'exemples de concepts simples et basiques qui ont pris des siècles pour être découverts — pourtant, expliqués clairement, ils sont compréhensibles par tous. C'est pourquoi on pourrait attendre en vain qu'un élève invente lui-même les outils nécessaires pour résoudre un problème...

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.

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.

Le cofacteur d'indice (j,k) d'une matrice carrée A est où désigne la matrice qu'on obtient en enlevant de A la k-ième ligne et la j-ième colonne. Autrement dit, si A est de format nxn alors est la matrice suivante de format (n-1)x(n-1)

La matrice des cofacteurs de A, s'appelle la comatrice de A, notée com(A). En résumé,

Petit exercice :  la fonction qui à une matrice associe sa comatrice est-elle un difféomorphisme du groupe linéaire sur lui-même ? Et de sur lui-même ?