Noël est le temps des casse-noisettes, non des casse-têtes pour mes amis les matheux. Voici une égalité :

Le but est de démontrer qu'elle est vraie pour tout entier n strictement positif. Comme d'habitude en maths c'est la dévise short is beautiful, c'est-à-dire il faut trouver une solution courte et élégante, sans avoir beaucoup de calcul à faire. On pourra s'inspirer de l'image d'un père noël ayant des cadeaux à distribuer dans des chaussettes...

C'est le moment de transmettre à mon père mes vœux d'anniversaire en forme d'une petite devinette.

Aujourd'hui, dimanche 5 juillet 2009, mon père fête son anniversaire. Il est né un dimanche dans une année bissextile. Quel âge a-t-il aujourd'hui ?

Pour résoudre cet exercice je conseille d'effectuer les calculs dans des groupes cycliques. En plus on peut utiliser le fait que j'ai plus de vingt-trois ans, que mon père aussi avait plus de vingt-trois ans lorsqu'il a pris la responsabilité de devenir mon père et, enfin, qu'il n'est pas centenaire...

En tout cas je te souhaite une bonne fête d'anniversaire, papa !

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!

Les maths et les échecs vont bien ensemble. Enfin c'est ce que beaucoup de gens pensent, mais si on regarde de plus près je pense que parmi les matheux il n'y en a pas beaucoup plus de joueurs d'échecs sérieux que parmi d'autres professions (c'est une conjecture de ma part, à confirmer...). Personnellement je ne joue presque jamais aux échecs, je n'en ai même pas un jeu à la maison, mais mon grand-père était un excellent joueur, champion de sa ville qui gagnait d'impressionnantes parties simultanées où il passait entre vingt tables différentes.

Evidemment un côté fascinant aujourd'hui pour les mathématiciens-informaticiens c'est de construire des machines qui gagnent contre les humains. Il n'existe qu'un nombre fini de parties d'échecs possibles, et ce fait joue en faveur des ordinateurs car il suffit d'y aller par la force brute et de stocker en mémoire toutes ces parties...

Voici un petit problème.

Combien de tours tri-dimensionnelles faut-il pour dominer un échiquier dans l'espace ?

Après les maths et la musique et les maths du côté de chez Proust voici les mathématiques dans un roman.

A l'occasion de la journée mondiale de la femme le bloggeur El Jj a dédié un billet aux mathématiciennes. Ca m'a donné l'idée de parler d'un grand romancier qui rend hommage à sa femme mathématicienne en décrivant son incompréhension devant la science qu'elle étudie. Il s'agit de Thomas Mann (lauréat du prix Nobel de littérature en 1929) ; lorsque Mann rencontra sa future épouse Katia Pringsheim, celle-ci était étudiante en mathématiques (plus tard elle abondonnera cette voie pour se consacrer à leurs six enfants).

Dans le roman Königliche Hoheit (Altesse Royale, 1909) Thomas Mann dépeint comment il a conquis le cœur de Katia à travers deux personnages : le protagoniste Klaus Heinrich et l'étudiante en mathématiques, Imma Spoelmann. Voici un extrait que je trouve très amusant :

[...]
— Non, dit-il, aujourd'hui vous ne ferez pas d'algèbre, mademoiselle Imma, vous ne jouerez pas dans les espaces au-dessus de l'atmosphère, comme vous dites ! Regardez donc le soleil !... Vous permettez...? Il s'avança vers la petite table et prit en main le cahier de cours. Ce qu'il vit était ahurissant. En une écriture embrouillée, d'une épaisseur enfantine, qui laissait reconnaître la tenue de porte-plume propre à Imma Spoelmann, une fantaisie abracadabrante, un sabbat du runes entrecroisées couvrait les pages. Des signes d'écriture grecque se mariaient avec des caractères latins et des chiffres placés à différentes hauteurs, entremêlés de croix et de traits, alignés au-dessous ou au-dessus de lignes horizontales, à la manière des fractions, surmontés d'autres lignes qui formaient comme une tente, égalisés par de petits traits doubles, encadrés de rondes parenthèses, et réunis par des crochets carrés en grandes formules massives.
Des lettres isolées, placées en avant comme des sentinelles, se détachaient à droite, en haut des groupes enclavés. Des signes cabalistiques, complètement incompréhensibles au profane, entouraient de leurs bras les lettres et les nombres, tandis que des fractions les précédaient et qu'au-dessus d'eux, à la tête et aux pieds, planaient des nombres et des lettres. Des syllabes bizarres, abréviations de paroles mystérieuses étaient semées partout, et entre les colonnes nécromantiques, étaient écrites des phrases et des remarques en langage ordinaire, dont le sens dépassait tellement les choses humaines qu'on pouvait les lire sans en comprendre un mot, comme une incantation.

Klaus Heinrich leva les yeux sur la petite silhouette qui se tenait auprès de lui en robe chatoyante, drapée dans le voile noir de ses cheveux et regarda la petite tête exotique dans laquelle tout cela avait un sens et prenait une vie sublime et facile. Et voilà donc les arts impies, dit-il, qui vous feraient négliger cette belle matinée ?
[...]

Ca se passait il y a plus de cent ans. A cette époque il était encore exceptionnel de voir une jeune femme entamer des études supérieures, voire les maths — et ça a dû impressionner quelqu'un comme Thomas Mann qui n'a même pas passé son baccaluréat !

Si Katia a choisi de faire les études de mathématiques ce n'était certainement pas un hasard. En effet le père de Katia était Alfred Pringsheim, professeur de mathématiques à l'université de Munich. Même s'il n'est pas aussi illustre que son contemporain et collègue munichois Lindemann (qui est passé à la postérité pour sa démonstration de la transcendance de ), nous rencontrons encore aujourd'hui le nom Pringsheim sur certains travaux au sujet des séries et des fonctions analytiques.
D'ailleurs Thomas Mann au aussi éternisé son beau-père dans ce roman car le père du personnage fictif Imma Spoelmann porte les traits physiques et caractérielles d'Alfred Pringsheim. En revanche, dans le roman il n'est pas mathématicien mais simplement un homme très riche ce que Pringsheim, fils d'industriels prospères, était aussi dans la vraie vie.

Il y a dix ans, pour sortir un peu des maths pûres, je travaillais pendant quelques semaines dans la forêt guyanaise sur le tournage d'un film documentaire scientifique sur les fourmis. Le monde des insectes sociaux (fourmis, abeilles, guêpes, termites) est fascinant, pas seulement du point de vue de la biologie, mais aussi du point de vue mathématique. A part les questions de génétique (forcément liées à la combinatoire et aux probabilités), il y a aussi beaucoup de théorie de jeux dans le comportment de ces "automates vivants", ainsi que de la théorie des graphes et même des algorithmes de fourmis.

A tous ceux qui veulent en savoir davantage je recommande vivement (comme cadeau de Noël?) le livre de vulgarisation scientifique Voyage chez fourmis de Bert Hölldobler et Edward O. Wilson ainsi que Le gène égoïste de Richard Dawkins.

Lors du tournage du film j'avais le temps d'observer un peu les fourmis et de calculer certaines distances qu'elles parcourent périodiquement. Voici un joli petit problème sur les fourmis.

Devinette
Une colonie de 101 fourmis se trouve sur une fine tige de longueur 100cm. Chaque fourmi se déplace à la vitesse de 1cm par seconde dans un sens fixe, mais si deux fourmis se rencontrent elles changent de sens. Lorsqu'une fourmi arrive à l'un des deux bouts de la tige elle tombe.

Est-ce que toute la colonie va disparaître de la tige? Si oui, après combien de temps?

Réponse
A vous de chercher! Je la divulguerai prochainement...

En attendant, je vous invite à regarder un petit film amusant en Super8 que j'ai réalisé après le dernier jour du tournage officiel et auquel les auteurs du film sur les fourmis ont gracieusement participé en tant qu'acteurs.

Dans ce qui suit tous les nombres sont des nombres naturels :  0, 1, 2, 3, 4, ...

Définition.  Les multiples d'un nombre n sont les nombres 0, n, 2n, 3n, 4n, ...

Exemples :

• Les multiples de 2 sont 0, 2, 4, 6, 8, ...
• Les multiples de 3 sont 0, 3, 6, 9, 12, ...
• Les multiples de 4 sont 0, 4, 8, 12, 16, ...

On appelle les multiples de 2 aussi nombres pairs. Les non-multiples de 2 sont 1, 3, 5, 7, ... et sont appelés nombres impairs.

Notre définition donne les multiples en forme d'une liste. Mais qu'est-ce qui signifient vraiment les trois petits points dans la liste 0, n, 2n, 3n, 4n, ... ? En fait, on peut écrire les trois points car tout le monde comprend comment on doit continuer la liste : après 4n, il y a 5n, puis 6n, et de suite. Autrement dit, on a la règle suivante.

Règle 1.  Un nombre m est un multiple de n si et seulement s'il existe un k tel que m = kn.

Par exemple, le nombre m=24 est multiple du nombre n=4 car 24=k×4 avec k=6.

Il est important que ce k soit aussi un nombre naturel, comme m et n. En effet, on n'a pas le droit de dire la phrase suivante : Le nombre 3 est multiple 4 car 3=k×4 avec k=¾.

Règle 2.  Zéro est multiple de tout nombre. Tout nombre est multiple de soi-même.

Preuve : Soit n un nombre choisi. Le nombre 0 est le premier élément de la liste de multiples de n — on l'obtient en prenant k=0. Et n est le deuxième élément dans cette liste — on l'obtient en prenant k=1.

Cas particuliers :

• Les multiples de 1 sont 0, 1, 2, 3, 4, ..., c'est-à-dire, tout nombre est multiple de 1.
• Les multiples de 0 sont 0, 0, 0, 0, 0, ..., c'est-à-dire, zéro n'a que lui-même comme multiple.

Dans les exemples on voit que la liste des multiples de 4, à savoir 0, 4, 8, 12, ..., est contenue dans la liste des multiples de 2. Si on y réfléchit un peu ce n'est pas très étonnant et nous allons le formuler comme une règle général :

Règle 3.  Si m est multiple de n et si n est multiple de p alors m est aussi multiple de p.

Preuve :  Si m est multiple de n on peut l'écrire comme m = kn ;  et si n est multiple de p on peut l'écrire comme n = k'p. Alors on a m = kn = kk'p ce qui prouve que m est multiple de p.

Exemples :

• 6 est multiple de 3, donc tout multiple de 6 est aussi multiple de 3.
  La réciproque n'est pas vraie, par exemple, 9 est multiple de 3 mais pas de 6.
• Tout multiple de 12 est aussi un multiple de 3 et de 4 et de 2.
  C'est vrai car 12 est multiple de 3 et de 4 et de 2.

Beaucoup d'affirmations que nous disons dans notre langage de tous les jours, dépendent de notre point de vu. Par exemple, les deux phrases

Zoé est la fille d'Alexandre  et  Alexandre est le père de Zoé

signifient la même chose, mais de points de vue différents. C'est cette diversité qui donne de la richesse à notre langue ! En mathématiques aussi il y a des manières différentes pour exprimer une même chose ; c'est utile, pas pour une question de style, mais car en maths le changement du point de vue est souvent un outil très puissant (voir un exemple dans cet article).

Définition.  Si m est un multiple de n on dit aussi que m est divisible par n ou que n divise m ou que n est un diviseur de m.

Autrement dit, n divise m si et seulement s'il existe k entier tel que m = kn.
L'équation m = kn équivaut à k = m/n. Ainsi n divise m si et seulement si la fraction m/n est un entier (si n est non-nul).

Notation.  Pour dire n divise m on écrit souvent n | m.

Exemples

• 5 | 15.
  On dit 5 divise 15 ou 5 est un diviseur de 15 ou 15 est divisible par 5 ou 15 est un multiple de 5.
• 3 | 15.

Les affirmations suivantes se déduisent directement de ce que nous avons déjà compris sur les multiples.

• Tout nombre divise 0 car 0 est multiple de tout nombre.
  En écriture mathématique, n|0 car 0 = 0 × n.
• Tout nombre divise soi-même car tout nombre est multiple de soi-même.
  Ou encore, n|n car n = 1 × n.
• 1 divise tout nombre car tout nombre est multiple de 1.
  Ou encore, 1|n car n = n × 1.

Règle 4.  Si p|n et si n|m alors p|m. Par exemple, 15|30 et 30|3000 donc 15|3000.

Preuve :  C'est une traduction directe de la règle 3.

Question :  Qu'est-ce qui est plus grand, multiple ou diviseur ?

Réponse :  Mise à part le multiple 0, les multiples d'un nombre sont plus grands que ses diviseurs.
Par exemple, les multiples non-nuls de 12 sont 12, 24, 36, .... Les diviseurs de 12 sont 1, 2, 3, 4, 6, 12.

Question :  Qui sont plus nombreux, les multiples d'un nombre donné ou ses diviseurs ?

Réponse :  Un nombre non-nul possède une infinité des multiples mais seulement un nombre fini de diviseurs.
En effet, pour n non-nul, la liste des multiples de n est 0, n, 2n, 3n, ... C'est une liste infinie avec des nombres de plus en plus grands. En revanche, le plus grand diviseur de n est n lui-même, donc n possède un nombre fini de diviseurs qui se trouvent parmi les nombres 1, 2, 3, ..., n.

Trouver tous les diviseurs d'un nombre donnée n'est pas facile si ce nombre est grand. Donc il est pratique de disposer de quelques critères de divisibiltés. Ca sera l'objet du prochain billet. Finissons ce billet avec un énoncé simple et sa preuve. Ca sera l'occasion de voir le formalisme des multiples en action.

Théorème.  Un nombre entier est pair si et seulement si son carré est pair.

Preuve du théorème.  Fixons un nombre entier n au hasard et prouvons le théorème pour ce nombre. (Le mathématicien dit pour cela soit n un entier.) Alors il y a deux cas possibles : soit n est pair, soit n est impair.
Supposons d'abord que n est pair. Alors il existe un entier k tel que n=2k. Ainsi n²=4k² ce qui prouve que n² est un multiple de 4, et donc en particulier un nombre pair. On vient de prouver que si un nombre est pair alors son carré aussi.
Supposons maintenant que n est impair. Alors il existe un entier k tel que n=2k+1. Donc n²=(2k+1)²=4k²+4k+1, et comme les deux premiers termes de cette somme sont pairs on en déduit que n² est impair. On vient de prouver que si un nombre est impair alors son carré aussi.
Or un nombre entier est soit pair soit impair ; donc en fait on a prouvé lé théorème.

Remarque.  Le théorème peut aussi s'énoncer comme suit : un entier est impair si et seulement si son carré est impair.

Exercices.  Les quatre exercices suivants sont faciles. Il faut simplement imiter la démonstration du théorème.

1. Montrer qu'un entier est multiple de 3 si et seulement si son carré l'est.
2. Montrer qu'un entier est pair si et seulement si son cube l'est.
3. Est-il vrai qu'un entier est multiple de 4 si et seulement si son carré l'est ?
4. Est-il vrai qu'un entier est multiple de 3 si et seulement si son cube l'est ?