Math 'O Man : le Blog des Maths

Exercice sur un pavage de rectangles




Pas si évident que ça!

Appelons un rectangle entier si sa largeur ou sa longueur est un entier.
Soit R un rectangle constitué d'autres rectangles (leur union est R et ils se touchent seulement sur leurs bords).

Questions:
  1. Démontrer que si chacun de ces rectangles est entier, alors le rectangle R l'est aussi.
  2. La réciproque est-elle vraie?
  3. Cet énoncé en dimension deux peut-on le généraliser à des dimensions plus grandes, par exemple aux cubes?
Réponses:   Cliquez ici pour la solution. Voir aussi les discussions ici et .


Partagez-le sur Facebook Tweetez-le ! S'abonner à ce blog ? Envoyer cet article à un ami ? Le soumettre à Netvibes Ajoutez-le à Google Bookmarks

Commentaires


1. Le vendredi 21 novembre 2008 à 18:57, par PB

Héhé, je connais. La solution est très surprenante : vagétenyrf qbhoyrf rg rkcbaragvryyrf pbzcyrkrf (j'ai fait une petite 13-rotation des lettres pour ne pas dévoiler à ceux qui ne le souhaitent pas).

2. Le samedi 22 novembre 2008 à 12:24, par Anne

@PB : connaissez-vous une solution qui n'utilise pas tout cet attirail analytique ?

3. Le dimanche 23 novembre 2008 à 11:33, par PB

@Anne : non. Un prof. m'avait laissé entendre qu'il avait une preuve algébrique à base de produit tensoriel au dessus de Q ou de Z, mais je n'ai jamais réussi à la trouver...

4. Le lundi 24 novembre 2008 à 00:18, par simon

Pour une preuve de 1) qui ne soit pas analytique, il y a cet article de François-Xavier Vialard dans la RMS. Téléchargement en format pdf ici.

5. Le lundi 24 novembre 2008 à 14:22, par Mathoman

Merci, j'ai survolé la solution de l'article de la RMS. Intéressante mais moins élégante et difficile à adapter à des dimensions plus grandes.
Je viens de mettre en ligne la solution avec l'exponentielle complexe. Une preuve algébrique à base de produit tensoriel m'intéresserait aussi bien évidemment!

6. Le dimanche 14 décembre 2008 à 23:55, par Mathoman

Terence Tao présente une preuve passant par un coloriage, voir ici.
Entretemps j'ai cherché (et trouvé !) la fameuse démonstration par produit tensoriel, voir ici.

7. Le samedi 10 janvier 2009 à 07:30, par Tahar Boulmezaoud

Je vous donne ici une solution élémentaire. Imaginons que vous placez "ce grand rectangle" sur un plan colorié en cases noires et blanches comme un échiquier infini dans toutes les directions (On va dire que ce plan est un background). Ces cases carrées sont supposées de coté 1/2. Ainsi, un rectangle est entier si et seulement si posé sur ce background il "couvre" autant de surface "noire" que "blanche". Si c'est vrai pour les petits rectangles constituant le grand, alors c'est forcément vrai pour le grand rectangle lui même. CQFD.

Ca devrait passer aux dimension supérieures sans difficulté majeure.


8. Le samedi 10 janvier 2009 à 10:59, par Mathoman

Merci d'avoir posté cette cette idée élégante. Mais ça va un peu trop vite pour ma lente tête. Vous affirmez l'équivalence suivante :

Un rectangle est entier si et seulement si posé sur ce background il "couvre" autant de surface "noire" que "blanche".

Comment voit-on que la première condition est nécessaire à la deuxième ?


9. Le samedi 10 janvier 2009 à 14:01, par Tahar Boulmezaoud

Il suffit que ce soit vrai pour un rectangle de longueur 1 et de largeur quelconque. Si vous prenez un tel rectangle et vous le placez sur un échiquier dont les cases sont de coté 1/2, vous verrez que peu importe sa largeur, il couvrait toujours la meme aire blanche et d'aire noire.

En fait, j'ai un peu la fleme de faire un dessin ici...


10. Le samedi 10 janvier 2009 à 14:06, par Mathoman

Vous m'avez mal lu, car c'est la direction "condition suffisante" que vous décrivez ici — or elle est évidente, pas besoin d'un dessin. Mais c'est la direction "condition nécessaire" qui me pose problème et que je vous prie, encore une fois, de m'expliquer.


Rajout (après reflexion) :

En fait, l'équivalence que vous énoncez rectangle entier ssi mêmes aires blanches et noires est fausse. Comme contre-exemple il suffit de placer un rectangle de côtés non-entiers de manière que son centre se trouve sur un point du réseau de l'échiquier.

Mais heureusement, malgré ce contre-exemple on peut sauver votre preuve. En fait, rien n'empêche de placer le grand rectangle de manière que l'un des sommets se trouve sur le réseau. Il suffit maintenant de prouver que s'il couvre, ainsi placé, autant d'aire blanche que noire, alors il est entier. Et ça c'est faisable avec un petit calcul.


11. Le jeudi 15 janvier 2009 à 22:17, par Tahar Boulmezaoud

La preuve est juste. Bien évidemment je sous entendais, et je ne l'ai pas écrit, que le rectangle doit avoir un sommet placé aux noeuds. De plus, je ne l'ai pas dit non plus, les cotés du rectangle doivent être parallèles aux lignes de l'échequier.


12. Le dimanche 18 janvier 2009 à 17:47, par François-Xavier Vialard

Lorsque j'ai écrit l'article pour la RMS cité par Simon, je me doutais que ma preuve n'était pas originale. En tout cas, la preuve que je présente est intéressante pour un élève en prépa ou en premières années de fac, puisqu'elle utilise quelques notions simples sur les groupes.

Par la suite, j'ai trouvé un article de Stan Wagon qui compile et discute l'intérêt des différentes preuves dont il a eu connaissance: "fourteen proofs of a result about tiling a rectangle."
Il se trouve que la preuve que je présente suit l'idée "Eulerian path".
La généralisation des preuves (épineuse question: "quelle est la preuve la plus puissante...") est discutée. Enfin la preuve par l'Eulerian path attribuée à Michael Patterson est selon certains critères une des plus puissantes.

A Mathoman donc (et à tous ceux qui se sont intéressés au sujet), jette un coup d'oeil sur cet article pour les généralisations!


13. Le dimanche 18 janvier 2009 à 22:53, par Mathoman

@François-Xavier : Merci beaucoup pour cette indication ! L'article dont vous parlez se trouve ici. Evidemment si j'avais été au courant de cet article, je n'aurais pas commencé à parler de ce problème ici ;-)

@Tahar : Merci pour cette preuve, je vais bientôt lui consacrer un billet.


Ajouter un commentaire

Pourquoi ne pas lire aussi :


Les rectangles revisités


Dans les commentaires à la question sur un pavage de rectangles notre cher bloggeur PB disait d'avoir entendu de l'existence d'une solution qui utilise le produit tensoriel, mais malheureusement il ne la connaissait pas. D'abord ça m'intrigait — car où est le produit tensoriel dans tout ça? Or finalement un lien entre nos rectangles et cette structure algébrique est assez plausible; en effet, la loi de distributivité des tenseurs
 
 x\otimes y + x'\otimes y=(x+ x')\otimes y

devrait correspondre à la fusion de deux rectangles ayant le côté y en commun.

Donc hier j'ai pris le temps d'y réfléchir pour retrouver cette fameuse solution! En fait elle est très simple, sans astuce, elle ne fait qu'utiliser la propriété de distributivité ci-dessus.

Notons x (resp.) y la largeur (resp. hauteur) du grand rectangle R, et de même x_j (resp. y_j) pour les petits rectangles R_j, \;j\in J, qui partitionnent R. Alors on a

(*)        \sum_{j \in J} x_j\otimes y_j = x\otimes y\,.

Pour prouver cette égalité il suffit de prolonger les côtés des petits rectangles comme indiqué sur la figure pour avoir une subdivision à laquelle on peut appliquer la propriété de distributivité:
 
subdivison d'un rectangle

 
Maintenant on regarde l'égalité (*) dans le produit tensoriel

\mathbb{R}/\mathbb{Z} \:\otimes_{\mathbb{Z}}\:\mathbb{R}/\mathbb{Z}\,,

c'est-à-dire on prend les longueurs modulo \mathbb{Z}. D'après hypothèse on a x_j\otimes y_j = 0 donc x\otimes y=0 et par conséquence x=0 ou y=0. En autres mots, la largeur ou hauteur du grand rectangle est entière.

Update : Malheureusement cette preuve est erronée. Cherchez l'erreur... ou lisez mon commentaire no.13 ci-dessous.

Les rectangles revisités une fois de plus


Apparemment la question sur un pavage de rectangles posée ici il y a quelques jours est stimulante. Après la solution par produit tensoriel, voici une autre qui repose sur une activité habituellement réservée aux enfants: le coloriage. (Les matheux ne sont que de grands enfants !) Merci à David Caisson qui m'a envoyé cette solution extraite du livre Solving Mathematical Problems de Terence Tao.

L'idée de T. Tao est aussi simple que belle: on colore en vert tous les rectangles ayant un côté horizontal entier, et en rouge tous les autres rectangles. Un argument topologique de connexité nous assure alors que dans le grand rectangle on peut relier les deux côtés verticaux par un chemin vert ou les deux côtés horizontaux par un chemin rouge. (Pour ceux qui ne connaissent pas encore la notion de connéxité : c'est une sorte de théorème des valeurs intermédiaires qui dit que deux lignes reliant les côtés opposés se coupent forcément). Or un chemin vert consiste en la juxtaposition de rectangles verts, donc sa longueur horizontale est entière; et de manière analogue pour un chemin rouge.

Vous pouvez lire la solution complète ici.

Cette "solution" m'a laissé perplexe car sur les trois premières pages l'auteur n'avance pas beaucoup, puis au tout dernier paragraphe il évoque, sans les traiter, quelques obstacles qui pourraient éventuellement se poser. Et avec un peu d'esprit critique on trouve que la démonstration est fausse! Voici un contre-exemple.

 
contre-exemple à une solution en géométrie

 
La largeur est 4 et la hauteur est 3,5. Pourtant il n'y a pas de chaîne verte mais seulement une chaîne rouge dont on ne peut rien déduire sur la hauteur (car elle possède des décalages) ni sur la largeur (car les rectangles rouges n'ont pas de largeurs entières).

Mais Terence Tao ne serait pas Terence Tao, porteur de la Médaille Fields 2006 (sorte de prix Nobel pour mathématiciens), si l'idée de sa preuve était entièrement fausse ! En effet, après une petite recherche sur internet, je me rends sur son blog personnel et j'y trouve une liste d'errata où il corrige, entre autres, cette preuve. Voici l'amélioration qu'il apporte:

On colore les rectangles comme avant, mais seulement leurs intérieurs. Ensuite on colore en vert les côtés verticaux ouverts, et le reste en rouge.

Maintenant mon contre-exemple ne résiste plus! On peut relier les deux côtés verticaux par un chemin vert.

dessin d'une exemple pour le problèmes des rectangles entiers

 
Pourquoi cette démonstration améliorée fonctionne-elle ? Et bien, lorsqu'on parcourt un chemin vert disons, alors chaque fois qu'on quitte un rectangle vert pour passer dans un autre, ça se fait sur un segment vertical dont l'abscisse est un entier.

Voilà donc une jolie solution purement topologique, sans analyse. Je ne pense pas qu'elle s'adapte aux dimensions supérieures.

Une solution niveau CM2 pour les rectangles entiers


L'exercice amusant sur les rectangles entiers possède apparemment beaucoup de solutions. François-Xavier Vialard m'a indiqué un article en anglais de Stan Wagon qui réunit les différentes démonstrations de 14 auteurs du monde entier ! L'une parmi elles, qui m'a été signalé aussi par Tahar Boulmezaoud, est particulièrement belle. En effet, elle utilise seulement des mathématiques élémentaires que même un élève de 6e, voire de CM2, peut comprendre. L'idée de la preuve est de travailler avec un réseau en forme d'échiquier. Voici une description détaillé de cette démonstration, lisible par tous, indépendemment du niveau en maths :

Je rappelle que l'énoncé de l'exercice se trouve ici.

On considère un grand échiquier dont chaque case est de longueur 1/2. Nous allons l'utiliser pour poser nos rectangles dessus.

Lemme 1. Si un rectangle est entier alors il couvre autant de surface noire que blanche.

Preuve : Cela se verra plus facilement avec un dessin. Voici un rectangle dont le coté horizontal est 3.

réseau

On le découpe,

réseau échiquier

puis on déplace la partie gauche à droite, sans que cela ne change la superficie blanche ou noire couverte.

réseau

Il est maintenant évident que le rectangle couvre autant de superficie blanche que noire, ce qui achève la démonstration du lemme 1.

Remarque : La réciproque du lemme 1 n'est pas vraie. Comme contre-exemple il suffit de prendre un rectangle dont le milieu se trouve sur un point nœud de l'échiquier. Il couvre alors autant d'aire noire que blanche sans être pourtant nécessairement entier :

milieu ou centre de rectangle

Mais si on rajoute une condition de plus les choses s'arrangent ! En effet, on a l'énoncé suivant.

Lemme 1. Si un rectangle dont au moins un sommet coïncide avec un point nœud de l'échiquier couvre autant de surface noire que blanche alors il est entier.

Preuve : Prenons le cas où le sommet en bas à gauche du rectangle coïncide avec un point nœud. Colorons ce nœud ainsi que les autres nœuds qui sont de coordonnées entières par rapport à lui. Nous supposons qu'aucun des autres trois sommets est sur un nœud coloré.

jeux échiqiuer

Pour examiner si le rectangle couvre autant de surface blanche que noire, nous le découpons ainsi :

reseau, noeuds

Le rectangle bleu a un côté horizontal entier et couvre donc, d'après le lemme 1, autant de surface noire que blanche. De même pour le rectangle vert car son côté vertical est entier. Il reste alors à examiner le petit rectangle rouge.

réseau, jeu, échiquier

Le petit rectangle jaune couvre autant d'aire blanche que noire, tandis que le marron couvre plus d'aire blanche que noire. Par conséquence le petit rectangle rouge couvre plus de surface noire que blanche.

Nous avons donc démontré qu'un rectangle dont un unique sommet coïncide avec un nœud coloré ne peut pas couvrir autant d'aire blanche que noire. Donc si un rectangle a au moins un sommet sur un nœud coloré et couvre la même aire blanche que noire alors il a forcément un deuxième sommet sur un nœud coloré, et cela implique qu'il s'agit d'un rectangle entier. Le lemme 2 est ainsi démontré.

Remarque : En réalité, il y a quatre types petits rectangles restants mais nous n'avons traité qu'un seul type car pour les trois autres on voit immédiatement que les aires blanches et noires ne sont pas les mêmes :

réseau et noeuds

Maintenant nous sommes prêts à donner la preuve du problème posé.

Nous plaçons notre grand rectangle de manière qu'un de ses sommet est sur un point nœud de l'échiquier. Par hypothèse tous les petits rectangles le constituant sont entiers, donc chacun couvre, d'après le lemme 1, autant d'aire blanche et que noire. Il en est de même du grand rectangle. D'après le lemme 2 il est entier.

Se repérer dans le désert


Un joli exercice de géométrie

Voici le dessin d'une route. Elle passe tout droit en plein désert, on la voit disparaître à l'horizon.
Au bord de la route il y a des poteaux, tous les quinze mètres. Le dessinateur n'en a représenté que les deux premiers.

Exo de géométrie : Construire les autres poteaux

Question: Comment peut-on trouver, par construction sur ce dessin, les emplacements des poteaux suivants?

Réponse: Cliquez ici pour la solution.

Remarque: Peut-être plus de bacheliers L que de bacheliers S savent résoudre cet exercice!

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 génie à 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.

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.

Colles MPSI 2009/2010


Pour mes élèves en colles de mathématiques en classe préparatoire MPSI du Lycée Fénelon Sainte-Marie ; ci-dessous les questions avec corrigés. N'oubliez pas : faire un maximum d'exercices à la maison (sans regarder la solution) est la meilleure méthode pour préparer un concours !

Khôlles prépa math sup avec corrigés :

  1. Logique. Exponentielle et logarithme
  2. Plan complexe. Fonctions trigonométriques, hyperboliques et réciproques
  3. Equations différentielles linéaires
  4. Géométrie dans le plan et l'espace
  5. Courbes planes. Fichier perdu
  6. Coniques
  7. Applications. Théorie des ensembles
  8. Relations, applications, ensembles
  9. Ensembles. Dénombrements
  10. Groupes
  11. Groupes, anneaux, corps
  12. Arithmétique
  13. Suites
  14. Suites réels et complexes
  15. Espaces vectoriels
  16. Polynômes
  17. Fractions rationnelles
  18. Révisions
  19. Fonctions continues
  20. Espaces vectoriels
  21. Fonctions dérivables
  22. Etudes de fonctions
  23. Matrices
  24. Intégration
  25. Déterminant

Déroulement des colles et conseils pour les élèves en math sup :

  • Il est indispensable d’avoir appris son cours de maths (théorèmes et preuves, exemples).
  • Expliquez clairement l’idée de la preuve. Souvent il y a un point pivot dans une démonstration.
  • Lire mes conseils de rédaction.
  • Si je vous pose une question, ne répondez pas toute de suite au hasard, mais réfléchissez d’abord ! Dans un examen oral personne ne vous demande de donner une réponse immédiatement. En revanche, on exige une réponse qui peut-être fausse mais qui est fondée. Et si vous n’en avez pas, avouez-le — le pire c’est de laisser à un jury de concours l’impression que vous bluffez ou que vous jouez au loto…
  • Quelques exercices sont en anglais ou en allemand. Cette idée d’initiation à l’expression scientifique en une langue étrangère m’est venue lorsqu’une fois un excellent élève en math sup souhaitait apprendre des choses sur les formes différentielles et le théorème de Stokes. Alors je lui ai prêté mon exemplaire de l’excellent livre Mathematical Methods of Classical Mechanics de Vladimir I. Arnol’d. Or il me l’a rendu le lendemain car “lire les maths en anglais serait trop fatiguant”! Or rien n’est plus simple à lire dans une langue étrangère que les maths — il faut seulement s’entrainer un peu… et c’est le but de ces questions. Vous pouvez néanmoins rédiger vos solutions en français.

Trouver la fausse boule d'or


Vous avez douze boules d'or qui se ressemblent. Elles ont exactement le même poids à l'exception d'une qui est une imitation, et vous ne savez pas si elle est plus lourde ou plus légère que les vraies boules d'or.

Vous disposez d'une simple balance à plateaux. Est-il possible d'isoler avec trois pesées la fausse boule et de déterminer en même temps sa nature (plus lourde ou plus légère)?

Trouver limitation parmi les boules dor

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

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.

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.