Math 'O Man : le Blog des Maths

La collection d'exercices de Vladimir Arnol'd




En 1991 le mathématicien russe Vladimir Arnol'd publia un

Trivium mathématique (fichier pdf).

Il y vise ceux qu'il appelle les mathématiciens ignorants qui ont étudié les super-variétés ou les théorèmes de plongements mais ne savent pas résoudre des problèmes concrets et simples — ou, avec les mots de Pólya, ceux qui ressemblent à des singes qui sont toujours en haut d'un arbre :

A mathematician who can only generalise is like a monkey who can only climb up a tree, and a mathematician who can only specialise is like a monkey who can only climb down a tree. [...] A real mathematician must be able to generalise and specialise. — George Pólya

Selon Arnold le niveau de la culture mathématique baisse. Et il ne parle pas de la baisse du niveau du bac mais de celle du bac+5. (Or, comme le remarque Martin Andler ici, la question de la baisse de niveau est mal posée à cause de la massification de l'enseignement. Le nombre de mathématiciens en l'an 2000 est beaucoup plus grand que celui en 1900, en absolu et aussi en pourcentage de la population.)
Aux yeux d'Arnold je suis certainement un mathématicien très médiocre, voire ignorant ! De la même manière que je suis étonné quand un étudiant titulaire du bac S puisse avoir du mal à dériver sin(2x) ou à distinguer entre condition nécessaire et condition suffisante, Arnold serait choqué par le fait que je ne sais pas faire d'emblée sa liste de problèmes. En fait, si certains exercices de sa liste me sont très accessibles (par exemple les exercices 45 à 55), il y en a d'autres où je ne sais même pas par où commencer, comme par exemple le no. 72 (un problème de diffusion ?).

Pour Arnold cette collection ne contient pas de questions difficiles, mais seulement des questions qui forment le strict minimum essentiel — il serait alors intéressant de savoir combien un agrégé français moyen en résoudra en une semaine si on lui donne acces à wikipedia et à une bibliothèque de recherche. Quelle est votre estimation ? Plus ou moins que la moitié des problèmes ?

Si on regarde la liste des problèmes proposés on voit bien la préférence de l'auteur pour la géométrie et les équations différentielles. Il y a aussi un peu de topologie algébrique, mais on cherchera en vain des questions d'analyse ou algèbre pures, par exemple.

Je n'ai pas le fichier tex de ce document pdf. Voici quelques erreurs de frappe que j'ai découvertes :

  • La date en 2002 donne seulement le jour de compliation de ce fichier français. En fait, Arnol'd a déjà publié sa liste en russe dans l'année 1991 (voir cet entretien).
  • Ex.14 — Il manque le dx.
  • Ex.39 — ... d’un vecteur...
  • Ex.37 — ... courbure...
  • Ex.48 — Je crois que ça devrait être z10.
  • Ex.52 — ... forme différentielle...
  • Ex.65 — un u superflu ?
  • Ex.74 — Le signe de division devrait être la divergence d'un champ de vecteurs.
  • Ex.78 — Un \infty à la place de infty.

Remarque : Arnol'd est mort il y a trois semaines pas loin de chez moi, à l'hôpital Saint-Antoine.

Approximation d'une intégrale


Un ami m'a envoyé une belle collection d'exercices dont je parlerai bientôt sur ce blog. L'une des questions est simplement :

Calculer la moyenne de sin100(x) avec une précision de 10%.

Je suppose qu'il faut comprendre calculer la moyenne sur un intervalle de période (par exemple entre 0 et pi).
Selon l'auteur de cette liste de problèmes, un étudiant qui ne sait pas faire cet exercice en cinq minutes n'aurait aucune maîtrise des mathématiques... Qu'en est-il de vous ? :-)

Et pour rallonger un peu ce billet, voici deux belles phrases.

Algebriquement parlant, Mr M. est execrable, mais Mr G. est (x+1)ecrable.
— Edgar Alan Poe
Même le nombre le plus fort a besoin des nuls : 100000000.
— Zarko Petan

Matrices intercalées


Deux exos sympas sur les matrices.

Exercice 1. Soient M_k, k=1,...,n des matrices carrées complexes de même taille, toutes non-nulles. Existe-t-il toujours une matrice carrée A telle que

AM_1AM_2A\:\cdots\: AM_nA\neq0\;\;?

Exercice 2. On note T la transposition des matrices. Soient A,B,C,D, des matrices carrées telles que T(A)=BCD, T(B)=CDA, T(C)=DAB et T(D)=ABC. Démontrer que

(ABCD)^3=ABCD.

Somme de certains déterminants


A chaque nombre naturel avec n2 chiffres on peut associer le déterminant de la matrice nxn où on écrit ces chiffres ligne par ligne. Par exemple, si n=2 nous associons au nombre 2011 le déterminant

\begin{vmatrix}2&0\\1&1\end{vmatrix}=2.

Exercice : Trouver, en fonction de n, la somme de tous les déterminants associés aux nombres entiers positifs à n2 chiffres. (Le premier chiffre est supposé non-nul — par exemple pour n=2 il y a 9000 déterminants qui interviennent.)

La mouche et les araignées


J'ai acheté le numéro 391 du magazine Pour la Science (mai 2010) car il y a un article sur l'harmonie musicale. Je suis plutôt déçu de cet article (j'écrirai une autre fois pourquoi), et finalement c'est un autre, même pas mentionné sur la couverture, que je trouve beaucoup plus intéressant : Les parasites manipulateurs de F. Thomas et F. Libersat. Par exemple, un certain ver parasite influence le comportement de son hôte, une petite crevette, par des sécrétions chimiques de sorte que la crevette nage en surface au lieu de se cacher sous l'eau ; la crevette devient ainsi plus facilement proie des oiseux et ça convient au ver qui peut alors poursuivre son cycle de vie dans ce nouvel hôte plus grand.
Je vous recommande la lecture de cet article, il y a plein d'autres exemples surprenants.

A ce sujet un petit exercice de prédateur-proie (la similitude s'arrête là car il n'a rien à faire avec des questions de comportements ou de manipulation).

Casse-tête : Une mouche et deux araignées se déplacent sur les arêtes d'une cube. Toutes les trois se voient et ont la même vitesse constante. Prouver que les araignées finiront par attraper la mouche.

Dans la solution que j'ai trouvée je suppose que le temps de réaction de chaque animal est nul et qu'à tout moment l'animal peut changer de direction de mouvement. J'ignore si l'énoncé reste vrai sans ces hypothèses.

Germe de fonction infiniment dérivable


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 \mathcal{C}^\infty telle que pour tout naturel n,

f^{(n)}(0)=n^{n^n}\;\;?

La promenade


Trois femmes se promènent sur une allée de 100 m de long, d'un bout à l'autre. Lorsqu'une femme atteint la fin de l'allée elle fait demi-tour. Les vitesses respectives des trois femmes sont constantes et valent 1 km/h, 2 km/h et 3 km/h. Montrer qu'il existe un intervalle de temps d'une durée au moins d'une minute durant lequel toutes les trois marchent dans la même direction.
(On peut supposer qu'il n'y pas d'hommes qui les dérangent.)

Ceci n'est pas pipé


En probabilités on dit qu'un dé est pipé si les chances de ses six faces ne sont pas les mêmes. Dans le cas habituel, celui d'un dé non-pipé (ou dé parfait), la probabilité pour chaque face est 1/6 et on parle de variable aléatoire équirépartie.

Si on lance deux dés habituels et si on prend la somme des deux résultats on obtient un nombre entre 2 et 12. Ce qui étonne alors souvent le débutant c'est que la probabilité de cette somme n'est pas équirépartie ; par exemple, obtenir un 11 est moins probable qu'obtenir un 10. La raison pour cela est qu'on retrouve le 10 avec (4,6) ou (6,4) ou (5,5) tandis que pour le 11 on a seulement les deux possibilités (5,6) ou (6,5).

Question (existence d'un jeu de deux dés pipés) :

Peut-on piper un couple de dés de sorte que le jeu qui consiste à prendre la somme des deux dés lancés donne une loi aléatoire équirépartie ?

L'application comatrice


Le cofacteur d'indice (j,k) d'une matrice carrée A est (-1)^{k+j}\det(A_{kj})A_{kj} 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 A_{kj} est la matrice suivante de format (n-1)x(n-1)

A_{kj}=
\begin{pmatrix}a_{1,1} & \dots & a_{1,j-1}& a_{1,j+1}& \dots & a_{1,n} \\\vdots & & \vdots &  \vdots& &\vdots\\
a_{k-1,1} & \dots & a_{k-1,j-1}& a_{k-1,j+1}& \dots & a_{k-1,n} \\
a_{k+1,1} & \dots & a_{k+1,j-1}& a_{k+1,j+1}& \dots & a_{k+1,n} \\
\vdots & & \vdots & \vdots &&\vdots\\
a_{n,1} & \dots & a_{n,j-1}& a_{n,j+1}& \dots & a_{n,n}\end{pmatrix}\;.

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

\text{com}(A) = \left((-1)^{k+j}\det(A_{kj})\right)_{1\leq k,j\leq n}

Petit exercice :  la fonction qui à une matrice associe sa comatrice est-elle un difféomorphisme du groupe linéaire GL(n,\mathbb{R}) sur lui-même ? Et de GL(n,\mathbb{C}) sur lui-même ?

Racines des polynômes unitaires


Un polynôme est unitaire (ou normalisé) si le coefficient de son terme de plus haut degré est 1. Voici un exercice instructif sur les polynômes unitaires.

Soient a et b deux nombres complexes distincts et P et Q des polynômes unitaires dans \mathbb{C}[X].
  • Si l'ensemble des nombres complexes où P prend la valeur a est identique à celui où Q prend la valeur a et si P et Q sont de même degré, peut-on en déduire que P=Q ?
  • Si l'ensemble des nombres complexes où P prend la valeur a est identique à celui où Q prend la valeur a et si on a la propriété similaire pour b, peut-on en déduire que P=Q ?

Se marier avec quelqu'un qu'on aime


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.

Inversibilité d'une matrice


Soit A la matrice carrée d'ordre 20 définie par les propriétés suivantes :

  • le coefficient d'indice (j,k) vaut 0 si k=j,
  • le coefficient d'indice (j,k) vaut 4 si k-j est pair et non-nul,
  • le coefficient d'indice (j,k) vaut 5 si k-j est impair.

Montrer que la matrice A est inversible (sur le corps des rationnels).

Deux axes de symétrie radiale


Après quelques exercices plutôt abstraites, voici une belle question de géométrie dans l'espace.

On dit qu'un objet dans l'espace est invariant par rapport à un axe de rotation si toute rotation autour de cet axe transforme l'objet en lui-même. Par exemple un cylindre droit (ou un cône droit) est invariant par rapport à son axe central.
On dit que l'objet est convexe s'il contient avec deux points A et B aussi tout le segment [A,B]. Et on dit qu'il est borné s'il ne sétend pas infiniment, ou autrement dit s'il existe une boule (éventuellement très grande) le contenant.

Question :

Que pouvez-vous dire sur un objet convexe, borné et invariant par rapport à deux axes de rotation ?

Un exercice vraiment vache


Vous avez un troupeau de 101 vaches vérifiant l'hypothèse suivante : chaque fois que vous prenez 100 vaches parmi elles il est possible de les séparer en deux parties de 50 vaches telle que les deux parties ont le même poids.
Démontrez que toutes les 101 vaches ont le même poids.

D'ailleurs, pour ceux qui se sont posés la question : le poids d'une vache (Bos primigenius taurus) se situe entre 500 et 800 kg, et celui d'un taureau peut atteindre 1200 kg. Evidemment cela n'a pas d'importance pour l'exercice.

Et comme je n'aime pas les billet trop courts, voici un autre exercice (indépendant du premier). Retrouvez les neuf mathématiciens célèbres cachés dans la phrase suivante :

Quand t’auras fini de classer des cartes et de les ranger, coche ici et ferme à clef la grange : la dernière fois t’as laissé tout ouvert, et les chats l’ont saccagée et ont volé des poissons.

Exercice sur les cordes d'un cercle


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 \scr{C} un cercle, A,B deux points distincts sur \scr{C} 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].

cercle, cordes, milieu d'un segment, preuve difficile
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.