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 6^e, 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.

On le découpe,

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

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 :

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

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

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.

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 :

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.

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

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
 

devrait correspondre à la fusion de deux rectangles ayant le côté 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 (resp.) la largeur (resp. hauteur) du grand rectangle , et de même (resp. ) pour les petits rectangles , qui partitionnent . Alors on a

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é:
 

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

c'est-à-dire on prend les longueurs modulo . D'après hypothèse on a donc et par conséquence ou . 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.

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

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

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.

 

 
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.


 
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.

Récemment j'ai regardé, comme tout bloggeur qui se respecte, les statistiques de ce blog MathOMan. J'étais curieux de savoir de quels pays viennent mes visiteurs et via quelles pages web intermédiaires ou grâce à quels mots clé ils sont arrivés sur mon site.

Pour les non-initiés : un mot-clé (en anglais keyword) est un mot ou une combinaison de mots que vous rentrez dans un moteur de recherche.

La majorité des visiteurs de ce blog viennent de la France, du Canada et des pays francophones d'Afrique. En regardant de plus près dans Network Location j'ai pu constater que le Ministère de l'éducation nationale rend visite à MathOMan presque tous les jours ouvrés de la semaine. Je suppose qu'il s'agit là d'une procédure standard visée à vérifier que les enseignants n'écrivent pas trop de bêtises sur leurs blogs.

Les mots clés les plus fréquemment cherchés par les internautes arrivés sur MathOMan concernent les mathématiques élémentaires, comme par exemple :

• comment trouver le centre d'un cercle
• comment calculer un pourcentage
• calculer une circonférence
• algebre pour les nuls

Pour que ces gens ne restent plus sur leur faim ici, je vais ouvrir prochainement une nouvelle catégorie de billets intitulée Les Maths pour les Nuls !

Evidemment il y a actuellement beaucoup de recherches du mot clé "sujet de bac mathématiques". D'autres mots clé sont très amusants, pour diverses raisons, soit par leur combinaisons insolites, soit par le côté existentiel (comme le no.4 ci-dessous), soit par l'impossibilité de trouver une réponse à cette question (comme le no.5) :

1. blog ennuyeux
2. comment etre elégante en classe
3. pourquoi pas de belle fille en math spé
4. faire des math ou pas
5. comment trouver le centre d'un cercle juste avec un compas
6. comment faire un piege a oiseau qui marche
7. piege a oiseaux sans piege
8. thèse doctorat reggae
9. ils ne comprennent rien il n'apprennent jamais
10. combien en fraction le nombre de gens qui parlent existent ?
11. comment resoudre une equation du premier degre sans pi
12. jean dieudonné: quelle distance a-t-il parcouru ?
13. apprendre beaucoup en peu de temps
14. bien gerer son bac avec humour
15. komen reusir le bac san travailé
16. avec quelle musique faire des maths ?
17. comment etre un bon eleve dans la classe
18. comment calculer comment sa nous prend pour passer avec un pourcentage
19. insecte laid qui ressemble a une fourmi transparent
20. je veux qu'on me calcule cet exercice
21. comment faire une opération de transformation un homme en une femme
22. peut on réapprendre les maths à quarante ans
23. qui fait les math à ma place
24. demontrer de fausses égalités mathématiques
25. elle est ferme
26. image filles sur canapé
27. colloque proust contrepeterie
28. les étudiants ne savent plus faire une équation
29. exercice pour avoir le prix nobel en maths
30. apres combien de temps un chien oublie son maitre
31. comment tracer une droites concourantes
32. apprendre la corégraphie de nobody's perfect

Je lance un défi aux lecteurs de ce blog : trouvez les réponses les plus insolite à ces questions !

Récemment en colle d'arithmétique j'ai posé la question suivante :

Soient x, y, z trois entiers vérifiant

Montrer qu’au moins un parmi eux est divisible par 3.

La solution que j'attendais de l'élève n'est pas compliquée (faire une preuve par l'absurde en étudiant l'équation modulo 9) mais depuis 1994 cette question classique semble devenue obsolète — enfin, je ne sais pas vraiment car je ne comprends pas la preuve du théorème de Wiles-Fermat... Qui peut donc m'éclaircir et me dire si la preuve de Wiles utilise ou non le résultat de cette innocente question de colle ?

Explication pour les non-matheux

Dans le 17ème siècle Pierre de Fermat écrivit sur la marge d'un livre que si n est un nombre entier strictement plus grand que 2 alors il n'existe pas de nombres entier non-nuls x, y, z vérifiant

.

Il ne donna pas de preuve et écrivit seulement J’ai trouvé une merveilleuse démonstration de cette proposition, mais la marge est trop étroite pour la contenir.
Pendant 300 ans les mathématiciens ont cherché une preuve de cette conjecture de Fermat, mais en vain. C'est seulement en 1994 qu'Andrew Wiles a réussi de la prouver ! Désormais la conjecture de Fermat est devenu le théorème de Fermat-Wiles. Sa preuve utilise des techniques très avancées. On est convaincu aujourd'hui que la preuve mentionnée par Fermat, celle qui était trop longue pour la marge, était eronnée.

Si on utilise le théorème de Fermat-Wiles la question de colle devient trivial. En effet, si trois entiers vérifient l'équation, alors au moins un parmi eux est nul et donc divisible par 3.

Pour revenir à l'histoire de ce théorème : à mon avis elle est typique à plusieurs titres pour la recherche en mathématiques :

• D'abord l'équation de Fermat est une généralisation d'une autre que tout le monde connaît, à savoir l'équation de Pythagore a²+b²=c². Il existe des entiers non-nuls qui la vérifient, par exemple 3²+4²=5² ; c'est-à-dire on peut construire un triangle rectangle de côtés entiers.
• L'énoncé du théorème de Fermat-Wiles est tellement simple que tout collégien peut le comprendre mais sa démonstration est tellement difficile que seulement quelques spécialistes la comprennent.
• L'énoncé n'a aucune application dans les sciences et ne possède, à ma connaissance, même pas de conséquences importantes en mathématiques. Son seul intérêt est sa beauté.
• Des générations de mathématiciens ont cherché à prouver cette conjecture. Ils l'ont fait pour l'honneur de l'esprit humain, sans penser à des applications, mais les outils mathématiques qu'ils ont développés ont fait avancer toute la science.
• Les ordinateurs ne peuvent jamais démontrer une telle conjecture car il faudrait tester l'équation sur une infinité de nombres ; ils peuvent seulement la rendre plausible.

Il y a beaucoup de lycées français dans le monde entier mais il n'y a qu'un seul bac français. Ca demande une grande organisation (gérée par l'Agence pour l'enseignement français à l'étranger title="AEFE - Agence pour l'enseignement français à l'étranger"), car les dates des épreuves varient de continent en continent. Le candidats métropolitains s'intéressent chaque année au sujets de bac posé à Pondichéry en Inde, qui est le premier centre d'examen de l'hémisphère nord à passer le bac. Cette année la date de l'épreuve de maths en Inde était le 16 avril.

Je viens de mettre en ligne le sujet de l'épreuve de mathématiques de la série ES et j'ai rédigé un corrigé.

Je trouve toujours intéressant les barèmes des QCM. Dans cette épreuve le QCM est sur 3 points, et ça se présente ainsi :

Pour chacune des quatre questions suivantes trois réponses sont proposées, une seule de ces réponses convient.
Barème : Une réponse exacte rapporte 0,75 point, une réponse inexacte enlève 0,25 point. L’absence de réponse ne rapporte ni n’enlève de point. Si le total donne un nombre négatif, la note attribuée à cette partie sera ramenée à zéro.

Forcément, si on n'attribue jamais de total négatif alors, en termes de probabilités, c'est un jeu à espérance strictement positive, c'est-à-dire un candidat mal préparé a tout intérêt à répondre au hasard plutôt que de rien répondre. En fait, faisant le calcul, on trouve qu'un candidat répondant au hasard peut s'attendre à obtenir une moyenne de sur cet exercice à 3 points.

Voilà la bac 2009 arrive... Voici les dates des épreuves (sous réserve d'erreurs — ne me tenez pas responsable si vous arrivez en retard !)

Dates des épreuves de bac série S

• Jeudi 18 juin 2009, 8h-12h : Philosophie
• Vendredi 19 juin, 8h-11h30 : Physique-chimie
• Vendredi 19 juin, 14h-17h30 : Sciences de la vie et de la terre ou Biologie-Écologie
• Vendredi 19 juin, 14h-18h : Sciences de l’ingénieur
• Lundi 22 juin, 8h-12h : Français (classe de 1ère)
• Lundi 22 juin, 14h-17h : LV1
• Mardi 23 juin, 8h-12h : Mathématiques
• Mardi 23 juin, 14h-16h : LV2 étrangère ou régionale
• Mercredi 24 juin, 8h-12h : Histoire-géographie

Le conseil de MathOMan

A partir de mardi 19 juin ne travaillez plus, fermez vos livres et rangez vos fiches de révisions. L'apprentissage en dernière minute ne sert à rien, ni en maths ni dans les autres matières ; si vous avez travaillé régulièrement pendant toute l'année vous devriez passer l'épreuve sans problème majeur — et si vous n'avez pas travaillé, alors assumez... Donc mardi, mercredi, puis les jours des épreuves, rélaxez, sortez, faites du sport pour oxygéner votre cerveau, c'est crucial pour bien réussir ; pour la même raison, si votre centre d'examen n'est pas trop loin allez-y à vélo ou à pied !

I will Survive!

Voici un petit clip musical à la Gloria Gaynor, tournée par de jeunes apprentis matheux américains. Alors apprenez bien vos dérivées pour survivre l'épreuve du bac en maths !

Les chercheurs en mathématiques appellent hand waving une manière d'expliquer une idée oralement et avec les mains, sans faire appel à un formalisme poussé. Dans certaines situations, cette démarche est justifiée et peut être très efficace.

Si on veut être méchant on pourrait dire que, pour expliquer sa nouvelle découverte un mathématicien a besoin de

• ses mains et 15 minutes s'il s'adresse à un collègue dans la cafétéria de son centre de recherche,
• cinq transparents et 60 minutes s'il l'expose dans un séminaire,
• vingt pages qui demandent trois jours de lecture, s'il la publie dans une revue scientifique.

Le problème est que les mathématiques demandent la précision totale, et celle-ci nécessite un formalisme exacte et sans ambiguïté. Oralement, en faisant des dessins avec les mains dans l'air ou sur un brouillon, on peut toujours guider son interlocuteur et l'empêcher de mal comprendre. Mais ce n'est pas le cas en communication écrite où l'auteur est obligé de traduire ses idées en un formalisme que le lecteur devra ensuite retraduire en idées!
Beaucoup d'énergie est perdue dans ces efforts de traduction et re-traduction. Pour minimiser ces efforts le lecteur doit s'entraîner à maîtriser le formalisme et l'auteur, de son côté, doit inventer un formalisme facile à lire et avec des notations intuitives --- et, si possible, ajouter des dessins à son texte!

Malheureusement, dans beaucoup de manuels universitaires, il n'y a pas assez de dessins. Peut-être c'est dû à la paresse des auteurs qui rédigent en LaTeX où il est beaucoup plus rapide d'écrire cinq lignes de formules que de faire un dessin avec PSTricks...

Moi, personnellement, lorsque j'étais étudiant j'adorais les livres de Klaus Jänich, parus dans la série Undergraduate Texts in Mathematics chez Springer, très bien écrits et agrementés de nombreux dessins; en particulier son livre sur la topologie et son livre sur les fonctions holomorphes m'ont beaucoup aidé.
C'est cette démarche, avec beaucoup d'illustrations, que nous avons adoptée pour la rédaction de notre livre Mathématiques L1 pour la première année en université ou en classe prépa.