Math'O Man : le Blog des Maths

Séparer un troupeau en deux


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.

Pourquoi ne pas lire aussi :


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 ?

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 ?

Casse-tête avec la moquette

Vous achetez une moquette pour couvrir le sol d'une pièce qui fait 9m x 12m. Le vendeur vous donne deux morceaux, 10m x 10m et 1m x 8m.
Vous protestez: "La superficie totale est bien celle de ma chambre mais ce ne sont pas les bonnes tailles!"
Le vendeur: "Je vous rassure, il suffit de couper le grand morceau en deux, ensuite vos trois morceaux rentreront parfaitement.''
Mais arrivé à la maison vous avez du mal à suivre le conseil du vendeur — et pourtant c'est possible! Quelle coupe faut-il faire?



Cliquez ici pour la solution de ce casse-tête.

A la casse

Comme l'espérance semble à la mode aujourd'hui, voici un autre problème de proba.

On dispose d'une infinité de bâtons de longueur un mètre. On prend le premier, on le casse en deux pièces, le point de cassure étant au hasard. On choisit au hasard l'une des deux pièces, on la garde et on jette l'autre. Puis on fait la même chose avec le deuxième bâton, puis le troisième, etc. En moyenne, combien de bâtons doit-on casser pour que les pièces gardées font une longueur cumulée d'au moins un mètre?

Un exercice bizarre à propos de la température sur terre

Voici un exercice sur un énoncé de climatologie très théorique et inutile. Il est dédié à mon ami A. Wirth qui a quitté les maths pures pour consacrer son talent à des questions aussi appliquées que la météorologie et l'océanographie ;-)

Exercice : On assimile la terre à une boule parfaite et on suppose que la température sur la surface terrestre est une fonction continue. Montrer qu'il existe une infinité d'ensembles disjoints deux à deux {A,B} où A et B sont des points sur la surface terrestre tels que la température en A et B est la même et tels que la distance entre A et B est 1000 km.

Revisitons la multiplication !

Vous croyez déjà tout savoir sur la multiplication ? Vous allez être surpris ! Voici trois méthodes pour multiplier deux nombres entiers.
  • Multiplication posée du bon élève.
  • Multiplication posée de deux nombres, comment calculer le produit de deux nombres


     
  • Méthode du cancre.
  •  

    Comment multiplier deux nombres, méthode des paresseux

    Mode d'emploi : A gauche on prend toujours la moitié en arrondissant, s'il le faut, vers le bas ; à droite on prend toujours le double. Puis on supprime les lignes (en noir) dont le nombre gauche est pair et à droite on additionne les lignes restantes (en rouge).
     
     
  • Méthode de Karatsuba (publiée en 1962).
  • On sépare chaque facteur en deux parties
    Multiplication selon Karatsuba
    puis on effectue les multiplications suivantes :

    Algorithme pour la multiplication de Karatsuba

    Le résultat est ensuite
    Trouver le produit de deux nombres entiers
Remarque
L'idée de tout ça c'est de se ramener à des opérations élémentaires (opérations entre deux nombres entre 0 et 9). Sur un ordinateur le choix d'un bon algorithme peut accélerer considérablement le temps de calcul — quelques jours pour des facteurs constitués de plusieurs milliards de chiffres ! Le calcul avec de très grands nombres n'est pas une question purement théorique mais a beaucoup d'applications, notamment en théorie de cryptage.
 
Questions
  1. Pourquoi la méthode du cancre fonctionne-t-elle ? Les deux facteurs jouent des rôles différents; lequel choisir pour quel rôle ?
  2. Utilisez la méthode de Karatsuba pour calculer 3116 x 1014. Pourquoi cette méthode fonctionne-t-elle ?
  3. Avec la méthode classique (multiplication posée du bon élève), combien de multiplications élémentaires sont nécessaires pour calculer le produit de deux nombres à n chiffres ?
  4. En réitérant la méthode de Karatsuba on obtient un algorithme. Combien de multiplications élémentaires sont alors nécessaires pour calculer le produit de deux nombres à n chiffres ? Comparer avec l'algorithme classique.
Réponses
Cliquez pour afficher les solutions en format pdf.

Et pour finir une vidéo présentant une méthode qui produit une belle calligraphie — elle s'appelle donc la multiplication chinoise !

L'idée de base de la multiplications chinoise est le fait suivant : un ensemble de n droites parallèles coupe un autre ensemble de m droites parallèles en nxm points.

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.

Preuve que SO(3) est l'espace projectif à 3 dimensions

Ci-dessus la solution pour l'exercice sur le lien entre groupe de rotation et espace projectif.

Réponses aux questions


  1. \mathbb{B}^1 est l'intervalle fermé [-1,1] et son bord \mathbb{S}^0=\{-1,1\} est constitué des deux extrémités.\mathbb{B}^2 est un disque et son bord \mathbb{S}^1 est un cercle.\mathbb{B}^3 est une ``vraie'' boule et son bord \mathbb{S}^2 est une ``vraie'' sphère.
    \;

  2. Les deux applications suivantes sont bijectives car inverses l'une de l'autre.
    \;
    <br />\mathbb{B}^n\:\longrightarrow\:\mathbb{S}^n_+\;,\;\;\;(x_1,\ldots,x_n<br />)\:\mapsto\:\big(x_1,\ldots,x_n,\sqrt{1-x_1^2-\ldots-x_n^2}\:\big)\,,

    \mathbb{S}^n\:\longrightarrow\:\mathbb{B}^n\;,\;\;\;(x_1,\ldots,x_{n+1})\:\mapsto\:(x_1,\ldots,x_n)\,.<br />

    Illustration: si on projette l'hémisphère nord sur l'hyper-plan équatorial, on obtient la boule d'unité dans cet hyper-plan.

    Projection de l'hémisphère

    Notons que dans le graphique l'axe des abscisses représente l'espace \mathbb{R}^{n}\:. Il est instructif de comprendre ce dessin déjà pour les plus basses dimensions:


    • Si n=1 alors on est dans le plan euclidien \mathbb{R}^2. Le demi-cercle supérieur \mathbb{S}^1_+ (en rouge) se projette bijectivement sur le segment \mathbb{B}^1 (en bleu).
      \;

    • Si n=2 alors on est dans l'espace plan euclidien \mathbb{R}^3 et \mathbb{S}^2 est une ``vraie'' sphère dont le dessin montre une coupe. L'hémisphère nord \mathbb{S}^2_+ (en rouge) se projette bijectivement sur le disque \mathbb{B}^2 (en bleu).
      \;



  3. Chaque droite D\in\mathbb{P}^n coupe la sphère \mathbb{S}^n en deux antipodes: ~\frac{x}{||x||}~ et ~\frac{-x}{||x||}~x est arbitraire dans D\backslash\{0\}.
    Au moins un des deux points est dans l'hémisphère nord:

    La droite coupe la sphère en exactement deux points antipodes

    De cette observation on déduit que l'applicationf\;: \;\;\;\mathbb{S}^n_+\;\longrightarrow\;\mathbb{P}^n\:,\;\;\;x\;\mapsto~\mathbb{R}x\,,

    est surjective; en plus, elle est injective en dehors de l'équateur, et deux antipodes sur l'équateur sont envoyés sur une même image. Plus précisément

    \forall x,y\in\mathbb{S}^n_+\,:\;\big[\,x\neq y\,\text{ et }\,f(x)=f(y) \:\big]\;\Rightarrow \;<br />\big[\:x=-y\;\text{ et }\;x_{n+1}=y_{n+1}=0\:\big]\,.<br />

    Par conséquence \: \mathbb{P}^n\: est en bijection avec l'ensemble obtenu à partir de \: \mathbb{S}^n_+\: par identification des antipodes sur l'équateur. Or d'après la question précédente nous savons que \: \: \mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\: \: et l'équateur n'est rien d'autre que le bord \: \mathbb{S}^{n-1}\: de \: \mathbb{B}^n\: . Par conséquence \: \: \mathbb{P}^n \,\simeq\: \mathbb{B}^n/\!\sim\: .

    \,
  4. Le résultat précédent implique en particulier que \:\mathbb{P}^1 \,\simeq\, \mathbb{B}^1/\!\sim\:.
    Or \:\mathbb{B}^1=[-1,1] et par conséquence \:\mathbb{B}^1/\!\sim\: est simplement l'intervalle [-1,1] où on a recollé -1 et 1.
    Ainsi \:\mathbb{B}^1/\!\sim\: est en bijection avec le cercle \,\mathbb{S}^1\,. Nous obtenons \mathbb{P}^1 \,\simeq\,\mathbb{S}^1. Illustration:

    Recoller un segment en un cercle

    D'autre part SO(2) est le groupe des rotations du plan euclidien orienté \mathbb{R}^2. Comme chaque rotation est déterminée de manière unique par son angle compris dans [0,2\pi[ il est évident que SO(2) est en bijection avec le cercle \mathbb{S}^1.
    Conclusion: SO(2)\simeq \mathbb{P}^1.
    \,

  5. Pour la suite voir le fichier pdf.

Multiplicateurs de Lagrange

En économie, physique, ingénierie, on enseigne la méthode des multiplicateurs de Lagrange : Si P est un extrémum d'une fonction f de n variables x1, ... ,xn sous m contraintes données par g1(x1,...,xn)=0, ... , gm(x1,...,xn)=0, alors il existe des réels λ1, ... ,λm tels que

grad f(P) = λ1 grad g1(P) + ··· + λm grad gm(P).

Généralement, lorsqu'on enseigne ce théorème à des non-matheux, il est préférable de ne pas faire la démonstration en toute généralité. D'habitude je me contente d'expliquer deux cas particuliers où on "voit" géométriquement ce qui se passe :

  • n=3 et m=1. Grâce à la règle de dérivation d'une fonction composée, on montre que les gradients de f et g en P sont orthogonaux au plan tangent à la surface décrite par g(x,y,z) = 0. Donc ces gradients sont colinéaires.

  • n=3 et m=2. De même, on montre que les gradients de f, g1 et g2 en P sont orthogonaux à la tangente à la courbe décrite par g1(x,y,z) = g2(x,y,z) = 0. Ils sont donc coplanaires.

Concernant une application de ce théorème j'ai une question à laquelle vous savez peut-être répondre.

Y a t-il un exemple élémentaire mais non trivial? L'exemple classique de minimisation de coût lorsqu'on construit une boîte rectangulaire dont le volume est fixé et dont le couvercle coûte, au cm2, le double des autres côtés n'est pas vraiment intéressant; en effet, on peut isoler l'une des variables dans l'équation de la contrainte et se ramener à une fonction de deux variables indépendantes.

Vision dans l'espace

Dessin d'un cube transparent et deux interprétations possibles

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.

Une cube transparent et deux interprétations possibles

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:

Une cube transparent et deux interprétations possibles

Un autre exercice
Voici un autre exercice basé sur le même concept mais qui exige plus d'imagination.

Quelle jambe est levée, la gauche ou la droite ?

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.

Fille qui tourne

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

Maurits Cornelis Escher : Escalier

ou le mathématicien Roger Penrose avec son fameux triangle impossible (aussi tripoutre ou tribarre).

triangle de Penrose, triangle impossible