Il est rare qu'une simple question de la vie quotidienne devient un problème de mathématiques quasiment insurmontable... mais ça peut arriver ! Il y a une quarantaine d'années le mathématicien autrichien Leo Moser se posait, probablement lors d'un déménagement entrepris tout seul, la question suivante :

Quelle est la taille maximale d'un canapé que je dois déménager horizontalement le long d'un couloir lorsque celui-ci présente un angle doit ?

Supposons que la largeur du couloir vaut 1. Comme un demi-disque de radius 1 passe clairement par l'angle, la taille l'aire maximale est minorée par . Mais évidemment on peut faire mieux. L'anglais John Michael Hammersley proposa la solution ci-dessous en forme de combiné téléphonique, sans pourtant prouver que c'est la solution maximale (et effectivement Gerver a trouvé plus tard un sofa encore plus grand). En outre il démontre que la taille maximale est majorée par

On a donc un majorant et un minorant, mais quelle est la valeur exacte de la taille maximale ? Actuellement c'est toujours un problème ouvert. Pour monter des fonds de recherche pour bien attaquer ce problème important de mathématiques très appliquées, peut-être faudrait-il organiser une conférence inter-disciplinaire entre mathématiciens et la branche de scientifiques la plus concernée : les psycho-analystes !

Tout le monde connaît les petites devinettes qu'on se pose lors (ou à la place) d'un dessert après un déjeuner frugal au restaurant universitaire. Voici une jolie devinette géométrique :

Sans lever la main, relier tous les neuf points suivants par quatre lignes droites.

°             °             °



°             °             °



°             °             °

Ce n'est pas si évident. La solution à voir dans le vidéo ci-dessous montre que nos habitudes nous empêchent de dépasser certaines limites...

MathOMan relie 9 points avec 4 droites

Souriante la petite Bin prend sa revanche et me lance le défi géométrique suivant :

Sans lever le stylo, tracer un cercle et son centre (pas plus).

Voici la vidéo où elle montre sa solution rusée à ce petit problème très troublant pour un spécialiste de la connexité.

Bin trace une cercle et son centre

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.

Voici un joli exercice de géométrie dans le plan. L'énoncé est surprenant et semble plutôt simple, mais la démonstration ne l'est pas.

Soit un cercle, A,B deux points distincts sur et M le milieu de la corde [AB]. Soient [PQ] et [SR] deux autres cordes passant par M. On note C (resp. D) le point d'intersection de [AB] avec [PS] (resp. [RQ]).
Démontrer que M est aussi le milieu de [CD].

Etonnant : si M est le milieu de [AB], alors aussi de [CD] !

Remarque : Ce problème est posé dans une vidéo sur Jean-Pierre Kahane du site Images des Maths. On y trouve une preuve élégante utilisant un faisceaux de coniques (niveau supérieur). Mais il existe aussi deux autres preuves, l'une géométrique et astucieuse (niveau collège) et l'autre bête et calculatoire (niveau classe de première) : vous les trouverez dans les commentaires ci-dessous.

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

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.


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

Voilà un beau petit problème de colle : quels sont les groupes possédant un automorphisme non-trivial ?

Il y a une solution élégante, pas très longue...

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!

A la fin de mon article Hyperelliptic action integral, Annales de l'institut Fourier 49(1), p. 303–331, j'ose la conjecture suivante:

Une conjecture autour d'une singularité.
Soit D le disque unité du plan complexe et un recouvrement du disque épointé D*= D\{0} par des ouverts. Sur chaque ouvert soit une fonction holomorphe injective telle que sur toutes les intersections . Alors ces différentielles se recollent en une 1-forme méromorphe sur D.

Il est clair que la 1-forme est holomorphe sur D*. Si son résidu est nul, alors la conjecture découle facilement du grand théorème de Picard, cité ci-dessous. Mais si le résidu est non-nul, je ne sais pas la démontrer.
Toute preuve ou tout contre-exemple sont les bienvenus — à vrai dire les contre-exemples un peu moins car je crois (guidé par mon intuition géométrique des surfaces de Riemann) que cette conjecture est vraie...

En 1880 Charles Emile Picard (1856-1941) prouva le théorème suivant.

Grand théorème de Picard.
Une fonction holomorphe ayant une singularité essentielle prend, sur tout voisinage de cette singularité, tout nombre complexe une infinité de fois comme valeur, sauf peut-être un.

Exemple typique pour le théorème de Picard

La fonction définie par

est holomorphe sur et possède une singularité essentielle en . L'image de f épargne-t-il une valeur (Picard dit "sauf peut-être un")? Oui, et comme pour tout , cette valeur épargnée est forcément zéro; le théorème affirme alors que pour tout nombre complexe et pour tout il existe une infinité de nombres complexes tels que et .

Calcul direct avec cet exemple

Dans l'exemple ci-dessus on peut se debrouiller par un calcul direct sans invoquer le théorème de Picard. En effet, fixons un nombre complexe non-nul et un Il existe alors deux réels et tels que

Pour tout posons et Alors .
Ainsi on a on a

Par conséquence, en prenant assez grand, on voit que possède une infinité d'antécédents dans le disque épointé .

Un exemple moins évident

Notons P l'ensemble des nombres premiers et considérons la fonction définie par
 
On peut appliquer le théorème de Picard, car il y a une singularité essentielle.
En revanche, il me semble impossible de faire un calcul direct...

Classer les gens

• Il y a trois sortes de gens au monde: ceux qui savent compter et ceux qui ne savent pas compter.
• Il y a deux sortes de gens au monde: ceux qui pensent que le monde peut être divisé en deux sortes de gens et ceux qui pensent que ce n'est pas possible.
• Il y a 10 sortes de gens au monde: ceux qui comprennent la notation binaire et ceux qui ne la comprennent pas.

Combien faut-il de mathématiciens pour changer une ampoule ?

• Aucun. C'est laissé au lecteur en exercice.
• Aucun. Un mathématicien ne peut pas changer une ampoule, mais il peut prouver que cela est faisable.
• Un. Il la donne à un physicien et ramène ainsi le problème à un problème précédemment résolu.
• La solution est triviale.
• Un seul, une fois que vous avez réussi à lui présenter le problème dans des termes qu'il peut comprendre.

Combien faut-il d'analystes pour changer une ampoule ?
Trois. Un pour prouver l'existence, un pour prouver l'unicité et un pour déterminer les condtions initiales.

Combien faut-il d'analystes numériques pour changer une ampoule ?
3,9967 (après six itérations)

Combien faut-il de mathématiciens constructivistes pour changer une ampoule ?
Aucun. Ils ne croient pas au rotations infinitésimales.

Combien faut-il de géomètres classiques pour changer une ampoule ?
Cela ne peut pas être fait à la règle et au compas.

Combien faut-il de topologistes pour changer une ampoule ?
Un seul. Mais que fait-il du beignet ??

Combien faut-il de Bourbakistes pour changer une ampoule ?
Changer une ampoule est un cas particulier d'un problème plus général concernant l'entretien et la réparation d'un système électrique. Pour déterminer un minorant et un majorant du nombre de personnes nécessaires, nous devons vérifier si les conditions du lemme 2.1 (disponibilité du personnel) et ceux du corollaire 2.3.55 (motivation du personnel) sont vérifiées. Si et seulement si ces conditions sont réunies, on obtient le résultat en appliquant le théorème de la section 3.11.23. Le majorant obtenu est, bien sûr, à prendre en compte dans un espace mesuré, muni de la topologie *-faible.

Actuellement je traverse la Corse à vélo, et aujourd'hui lors d'une montée raide je pensais à un problème de souplesse. Comme nous le savons les fonctions infiniment dérivables sont beaucoup plus souples que les fonctions analytiques. Par exemple on peut se poser la question suivante sur la donnée des dérivées successives en un point :

Existe-t-il une fonction f de classe telle que pour tout naturel n,