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 !

Qu'est-ce un groupe cyclique?

Voici une idée pour une activité en mathématiques, accéssible à des élèves en collège. Elle m'est venue en lisant le titre du livre Si 7 = 0 : Quelles mathématiques pour l'école ? de Stella Baruk.

Les heures de la journée — un groupe cyclique d'ordre 24

Calculer dans un groupe cyclique, n'a rien d'abtrait. C'est même une pratique quotidienne de nous tous — littéralement! En effet, pour dire qu'il est minuit certains disent qu'il est 24h et d'autres disent qu'il est 0h. En autres mots, après avoir compté les heures de 0 à 23, donc vingt-quatre fois, on recommence au début en identifiant 24=0. Par conséquence 25=1, 26=2, 27=3, etc.

On dit alors qu'on calcule dans un groupe cyclique d'ordre 24. Il n'y a alors que 24 nombres: 0, 1, 2, ... , 23. Il faut bien comprendre que lorsqu'on écrit 25=1 ce n'est pas un égalité entre nombres naturels (elle serait fausse) mais une égalité dans le groupe cyclique d'ordre 24. Le 25 et le 1 sont deux écritures différentes d'un même élément dans ce groupe; et le 49 en est une troisième car 49=24+24+1=1.

Question: Il est 13h. Quelle heure sera-t-il dans 80 heures?

Réponse: On sait que 80h = 3x24h + 8h, donc dans 80 heures il sera 13h+8h=21h.

Nous remarquons dans cet exemple que 8h est le reste de la division de 100h par 24. C'est seulement ce reste qui compte, car les 3x24h correspondent à trois jours et changer de jour ne change pas l'heure.

En général, calculer dans un groupe cyclique d'ordre n revient à identifier n et 0 et par conséquence on identifie également tout nombre avec son reste après division par n.

Voici un autre exemple de notre vie quotidienne. Cette fois pas avec n=24 mais avec n=7.

Les jours de la semaine — un groupe cyclique d'ordre 7

Comptons les sept jours de la semaine: 0 pour lundi, 1 pour mardi, ... , 6 pour dimanche. Après le dimanche on retombe sur lundi, c'est-à-dire 7=0. Les jours de la semaine se comptent donc dans un groupe cyclique d'ordre 7. (Dans ce contexte le titre du livre Si 7 = 0 : Quelles mathématiques pour l'école ? de Stella Baruk n'a rien de provocateur!)



Question: Aujourd'hui c'est jeudi le 30/10/2008. Sur quel jour tombe le 30/11/2008? Et le 30/10/2009?

Réponse:

• Entre le 30 octobre et le 30 novembre il y a 31 jours. Or 31=4x7+3, donc le 30/11/2008 tombe trois jours après le jour de départ (jeudi), c'est-à-dire sur un dimanche.
• L'année 2009 n'étant pas bissextile l'expression "dans une année" signifie 365 jours plus tard. Or 365=350+14+1=50x7+2x7+1=52x7+1. Donc le 30/10/2009 sera un jour après le jour de départ (jeudi), c'est-à-dire un vendredi.

Etymologie : d'où vient le nom "groupe cyclique"?

L'illustration en haut par le cercle explique bien le nom: il y a un cycle car, en avançant, on revient sur son point de départ.
C'est donc le contraire de la situation d'une droite où, en avançant, on ne revient jamais sur son point de départ:

Les deux illustrations, les points indiqués sur le cercle ou sur la droite, ont quand-même une chose importante en commun: il existe un élément qui "donne naissance" à tous les autres. C'est ce que les mathématiciens appellent un groupe monogène. Les groupes cycliques sont donc précisément les groupes monogènes finis.
Mais quel est donc cet élément qui donne naissance à tous les autres? Reprenons l'exemple des heures dans la journée, c'est-à-dire du groupe cyclique d'ordre 24. Evidemment l'élément 1 donne naissance à tous les autres car on a 1+1=2, 2+1=3, 3+1=4, ... , 23+1=0.

Cet élément générateur est-il unique ? L'élement 2, par exemple, donne-t-il aussi naissance à tous les autres? Evidemment non, car en faisant 2+2=4, 4+2=6, 6+2=8, ... , 22+2=0, on ne pourra jamais obtenir un nombre impair.
De la même manière le 3 et le 4 ne donneront pas naissance à tous les autres (testez!). Par contre le 5 fonctionne. En effet, en ajoutant toujours 5 j'obtiens tous les 24 nombres:
5, 10, 15, 20, 25=1, 6, 11, 16, 21, 26=2, 7, 12, 17, 22, 27=3, 8, 13, 18, 23, 28=4, 9, 14, 19, 24=0.

Vous pouvez maintenant refléchir pourquoi ça marche avec le 5 mais pas avec le 2, 3 ou 4. Quelle est la condition pour qu'un élément est générateur du groupe cyclique d'ordre 24?

Dernièrement nous avons parlé de groupes cycliques et du groupe de rotation SO(3). Aujourd'hui nous allons revisiter ces deux notions pour explorer une jolie propriété en mathématiques.

Voici une petite vidéo où je tourne mon bol de café au lait. Plus précisément je lui fais deux tours complets. On remarquera qu'après le premier tour mon bras est tourdu, mais après le deuxième tour mon bras revient à sa comfortable position du début.

MathOMan tord son bras... et le remet à sa place!

Explication (par handwaving en prose)

Il reste à voir qu'on n'a pas déjà g=0, autrement dit qu'il est impossible d'avoir le bras en place déjà après le premier tour. Une manière simple de comprendre que g , ou encore h, n'est pas homotope au lacet constant est de voir h comme un lacet dans l'espace projectif de dimension 3. Il correspond alors à la rotation d'une droite dans l'espace de dimension 4, d'angle 180° autour d'un axe perpendiculaire. La droite revient sur elle-même, mais on ne peut pas rétrécir ce mouvement.

Voilà, si on formalise ces raisonnements un peu plus, on démontre que le groupe fondamental de SO(3) (ou plus généralement d'un espace projectif de dimension au moins 3) est le groupe cyclique à deux éléments Z/2Z.

Les physiciens adorent ce genre de propriétés mathématiques et invoquent même le groupe de Spin, revêtement universel de SO(3). Mais pour expliquer ces applications en physique théorique, il faudra un autre bloggeur — peut-être un PhysOMan?

On m'a recommandé à ce sujet le livre Spinors & Space-Time de Roger Penrose et Wolfgang Rindler mais mes maigres pré-recquis en physique m'ont découragé de l'acquérir ;-)

Après les maths et la musique, voici une petite détente avec l'art et la musique. Le groupe Hold Your Horses! a produit un très beau clip musical où les membres du groupe font un voyage à travers l'histoire de l'art. Aux dernières siècles, avant l'apparition du grammophone, puis de la radio et de la télé, l'un des passe-temps de la bourgeoisie et l'aristocratie consistait à reposer, sur scène, des tableaux connus des grands peintres. (Beaucoup d'écrivains par exemple Goethe dans ses Affinités électives, décrivent de telles séances qui parfois impliquaient la collaboration de toute la famille et des employés de la maison.)

Je pense que cette vidéo est très bien réussie, mais je reconnais une partie de ces tableaux vivants, mais pas tous. Lesquels reconnaissez-vous ?

Il peut arriver en plein dimanche, quand tous les magasins sont fermés, qu'on doit effectuer un calcul avec la calculatrice, mais les piles de celle-ci sont vides. Pas de panique, il existe une

qui permet de faire les calculs de base et avec des fonctions trigonométriques, exponentielles et logarithmes. (Mais elle ne possède pas la possibilité de dessiner des graphes.)

Un magma est un ensemble G muni d'une loi de composition interne ¤.
Si en plus cette loi est associative, c'est-à-dire (x¤y)¤z = x¤(y¤z) pour tous x,y,z dans G, alors on dit que (G,¤) est un demi-groupe.
Et si en plus il existe un élément neutre e dans G, c'est-à-dire e¤x = x¤e = x pour tout x dans G, alors on dit que (G,¤) est un monoïde.
Enfin, si chaque élément x de G possède un neutralisant x' dans G, c'est-à-dire x¤x' = x'¤x = e, alors on dit que (G,¤) est un groupe.

On dit aussi le symétrique de x pour l'élément neutralisant x' de x. Si la loi est notée par une addition on le note souvent -x (opposé) et si la loi est notée par une multiplication on le note souvent x^-1 (inverse).

Exemples :

• Considérons la loi de l'addition habituelle de nombres. Muni de cette loi l'ensemble des naturels strictements positifs N*={1,2,3,...} est un semi-groupe. Il manque l'élément neutre 0 ; on l'ajoute et on obtient le monoïde N={0,1,2,3,...}. Il manque les neutralisants (les opposés) -1, -2, -3, ... ; on les ajoute et on obtient le groupe des entiers Z={0,±1,±2,±3,...}.
• Considérons la loi de la multiplication habituelle de nombres. Muni de cette loi l'ensemble des naturels N est un monoïde, son élément neutre étant 1. Que faut-il ajouter ou enlever pour en faire un groupe ? D'abord on remarque que 0 multiplié avec tout nombre donne 0, donc jamais 1, autrement dit on ne pourra jamais trouver un neutralisant de 0 (on ne peut pas diviser par zéro...). Il faut donc enlever le 0, on trouve N*. Ensuite il faut ajouter les inverses : l'union de N* et de l'ensemble des 1/n où n parcourt N*, est-il un groupe ? Non, pas encore, car il faut aussi s'assurer que les produits restent dedans et donc on doit en fait ajouter toutes les fractions de la forme m/n avec m et n dans N*. On trouve le groupe multiplicatif Q*⁺ des rationnels strictement positifs.
  De même l'ensemble des nombres rationnels non nuls Q* est un groupe.
• Il existe des loi internes non-associatifs. L'ensemble Z muni de la soustraction est un magma (mais pas un demi-groupe). L'ensemble R³ muni du produit vectoriel
  (x₁, x₂, x₃) × (y₁, y₂, y₃) = (x₂y₃-x₃y₂, x₃y₁-x₁y₃, x₁y₂-x₂y₁)
  en est un autre.

Pour résumer, un groupe est un ensemble muni d'une loi interne associative, possédant un élément neutre et tel que chaque élément a un neutralisant. Il s'agit alors de vérifier ces trois axiomes pour montrer qu'un objet proposé est un groupe. Beaucoup d'exercices sont de ce type et très souvent ce sont de simples vérifications mécaniques, permettant au débutant de se familiariser avec la notion de groupe. La rédaction de la réponse à la question suivante m'a pris un peu plus de temps, à savoir toute la durée d'un examen que j'ai surveillé hier — pas terrible de réussir un seul exo pendant que les étudiants doivent en faire cinq ;-) mais évidemment cet exo ne faisait pas partie de l'examen...

Exercice : On définit x¤y := x(y²+1)^½+y(x²+1)^½. L'ensemble des réels muni de cette loi est-il un groupe ?

Toutes les solutions sont acceptées... en particulier celles utilisant la force brute du logiciel de calcul formel Maple car j'aimerais bien savoir si Maple arrive à faire ça. J'ai essayé de forcer Maple mais il ne voulait pas ; soit ça dépasse ses capacités, soit ça dépasse mes compétences maple-istiques.

Dans la Quinzaine universitaire no.1336 page 11 (11 juin 2011) publiée par le SNALC (Syndicat national des lycées et collèges), on peut lire un article sur l'évolution du salaire et du pouvoir achat des professeurs. Dans les calculs qui sont présentés on trouve à peu près toutes les erreurs qu'il faut éviter quand on fait des calculs de pourcentage. En gros, l'auteur écrit ceci:

En 1981 je gagnais 158% du salaire le plus bas (SMIC) et en 2009 je gagnais 193% du SMIC. Donc dans ces 28 ans mon pouvoir d'achat a augmenté de 35%, soit 1,25% par an.

N'étant pas économiste je ne suis pas certain qu'il est légitime de calculer le pouvoir d'achat en prenant le SMIC comme référence (ça semble faux, voir par exemple ici ou là) — mais cela n'est pas mon reproche ici. Mathématiquement les calculs sont complètement faux!

• Première erreur: Une augmentation de 35% en 28 ans ne correspond pas à une augmentation annuelle de 1,25% mais à une augmentation annuelle de environ 1,08%.
  Il est vrai que 35% divisé par 28 vaut 1,25%; or augmenter une quantité 28 fois par 1,25% revient à la multiplier par 1,0125²⁸, ce qui vaut environ 1,42 et correspond donc à une augmentation totale de 42% et pas de 35%. En revanche 1,0108²⁸ = 1,35 (arrondi).

En général, il ne faut jamais prendre la somme de pourcentages de variation mais le produit de leurs coefficients multiplicateurs. Pour donner un exemple plus simple: deux augmentations successives de 50% font une augmentation globale de 125% (et pas de 100%) car 1,5×1,5=2,25.

• Deuxième erreur: Pour passer de 158% à 193% on ne fait pas une augmentation de 35% mais de 22%. En effet 193/158 vaut 1,22 environ. (Cela fait 0,72% par an.)

En résumé, l'auteur est passé à côté d'une belle occasion pour souligner son propos car en réalité les chiffres concernant la faible progression de son pouvoir d'achat en 28 ans sont encore pire! La bonne version serait:

En 1981 je gagnais 158% du SMIC et en 2009 c'était 193%. Donc dans ces 28 ans mon pouvoir d'achat (référencé à celui d'un Smicard) a augmenté de 22%, soit 0,72% par an.

La théorie des groupes semble contenir une infinité de questions de colle qui ont l'apparence élémentaires mais qui sont en fait plutôt difficiles. En voici une que vient de m'envoyer un ami:

Soient G un groupe fini d’ordre n et f :G →G un automorphisme de G. On note

et l’on suppose que le cardinal de E est minoré par n/2. Prouver que f est une involution.

Je suis mathématicien et je sais calculer, presque toujours correctement mais pas brillamment. Les génies en calcul mental m'ont toujours impressionné. A l'école, quand j'avais douze ans, j'avais un ami qui calculait plus vite (et plus juste) que notre prof ; par exemple il trouvait très rapidement si un grand nombre (plus grand qu'un milliard) était divisible par 7 ou non. Je le trouvais toujours très intelligent ; il n'est pas devenu mathématicien mais médecin.

Le travail d'un mathématicien-chercheur est de raisonner, le calcul n'est qu'un outil pour arriver à ses fins. Mais quelques s'intéressent aussi au calcul mental et s'y perfectionnent. Par exemple l'américain Arthur Benjamin du Harvey Mudd College en Californie. Voici une belle vidéo de sa prestation :

L'allemand Rüdiger Gamm joue dans un autre registre . Il n'est pas mathématicien (n'a pas fait de bac) et ne semble pas s'intéresser au raisonnements mais uniquement aux calculs. Selon les chercheurs ses compétences étonnantes ne relèvent pas seulement du calcul en temps réel mais de la mémorisation d'une immense banque de données. La manière dont il stocke ces données et comment il y accède si rapidement est un secret que lui-même ne se pas vraiment expliquer. Dans la vidéo ci-dessus il donne la première centaine des chiffres de l'écriture décimale de la fraction 62/167. Après un temps de recherche silencieux il se lance dans la récitation des chiffres, et c'est plus rapide que je ne pourrais les lire...

A chacun son cerveau. Celui des chimpanzés réserve également des surpises. Des primatologues ont trouvé qu'ils sont capables des mémoriser la localisation de chiffres affichés seulement pendant une fraction de seconde à l'écran d'un ordinateur ; ensuite ils les touchent dans l'ordre croissant. Essayez de faire aussi vite qu'eux dans cette vidéo !

Probablement ces sont des capacités que nos ancêtres avaient également lorsqu'ils cherchaient des fruits sur des arbres, en passant par une liane. Or aujourd'hui homo sapiens n'en a plus besoin, donc le gène correspondant s'est perdu chez nous au fil de l'évolution.

Un amour de Swann, le deuxième livre autonome de la trilogie Du côté de chez Swann de Marcel Proust, est paru en 1913. A cette époque la théorie des ensembles et la théorie des groupes venaient d'être inventées et connaissaient un grand essor.
Je m'imagine bien l'écrivain Proust lors d'une réception un dimanche après-midi chez un représentant de la nomenklatura scientifique parisienne, disons chez le grand mathématicien Henri Poincaré ; on y joue des arrangements pour violon et piano des opéras de Wagner, on parle de poésie ou d'art chinois. Proust, le snob, s'isole dans le salon à côté et trouve sur la table une revue scientifique avec la dernière publication de son hôte. Il l'ouvre sur la première page, commence à lire et n'y comprend pas grand'chose — mais les mots et formulations lui plaisent...

Bon, vous direz que j'ai trop d'imagination ! Alors jugez par vous-même... voici la phrase avec laquelle commence Un amour de Swann :

Pour faire partie du « petit noyau », du « petit groupe », du « petit clan » des Verdurin, une condition était suffisante mais elle était nécessaire [...]

 

Ajourd'hui quelques lignes pour illustrer que le cerveau n'est pas le seul organe actif des matheux...

Comment "le font"-ils ?

• Les topologistes le font discrètement.
• Les topologistes le font de manière ouverte.
• Les topologistes le font avec du caoutchouc.
• Les couples de topologistes le font en se rendant connexes.
• (les logiciens le font) ou NON (les logiciens le font).
• Les algébristes le font en groupe ou en anneau.
• Les algébristes le font avec leur corps.
• Les algébristes le font associativement.
• Les algébristes le font en s'inversant.
• Les algébristes le font en se multipliant.
• Les analystes le font continûment.
• Les analystes le font sur un support compact.
• Les experts en théorie de la mesure le font presque partout.
• Les experts en équations différentielles le font suivant les conditions initiales.
• Les experts en théorie des ensembles le font avec application.
• Les experts en combinatoire le font de toutes les manières possibles.
• Les mathématiciens le font une infinité de fois s'il peuvent le faire une fois et ensuite une fois de plus.

Comment "le faisaient" les grands ?

• Cantor le faisait en diagonale.
• Fermat essayait de le faire dans la marge mais n'avait pas assez de place.
• Galois l'a fait la nuit juste avant.
• Möbius le faisait toujours du même côté.
• Klein l'avait simultanément dedans et dehors.
• Cauchy le faisait avec un ami (Schwarz, Lipschitz, Riemann).
• Markov le faisait à la chaîne.
• Archimède le faisait dans sa baignoire.
• Newton tomba dans les pommes.
• Bourbaki le faisait dans un cas particulier du théorème 10.2.5 en utilisant subtilement le lemme 7.3.2.

Deux contrepèteries

• Nul n'est jamais assez fort pour ce calcul !
• Mon prof de maths a montré Bézout.

Une réciproque
The duchess: "Excuse me that I am late, but I was so fucking busy and vice versa."

Recommandation bibilographique : Ces blagues m'ont été envoyées par email au fil des années. Mais il existe même des livres sur ce sujet. Le lecteur qui souhaite s'y approfondir se plonger avec profit dans l'ouvrage de référence Je fais des maths comme un(e) cochon(ne) de Gérard-Olivier Maitry publié en 2008.