Math'O Man : le Blog des Maths

Somme de déterminants


Somme de certains déterminants


A chaque nombre naturel avec n2 chiffres on peut associer le déterminant de la matrice nxn où on écrit ces chiffres ligne par ligne. Par exemple, si n=2 nous associons au nombre 2011 le déterminant

\begin{vmatrix}2&0\\1&1\end{vmatrix}=2.

Exercice : Trouver, en fonction de n, la somme de tous les déterminants associés aux nombres entiers positifs à n2 chiffres. (Le premier chiffre est supposé non-nul — par exemple pour n=2 il y a 9000 déterminants qui interviennent.)

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 ?

Forme générale d'une formule

Tout étudiant apprend les formules

\sum_{k=1}^nk=\frac{n(n+1)}2\,,  \qquad \qquad\sum_{k=1}^nk^2=\frac{n(n+1)(2n+1)}6\,,\qquad\qquad n\in\mathbb{N}\,.

Soit p un entier positif. Montrer que, plus généralement, la somme des premiers n termes de la suite k^p avec k\geq1 est un polynôme rationnel en n de degré p+1.

WolframAlpha : Recherche de mots et de maths à la fois

Le mathématicien Steven Wolfram, l'inventeur et créateur du logiciel Mathematica, vient de lancer son nouveau moteur de recherche WolframAlpha. Cet outil en ligne pratique et amusant pour nous mathématiciens (et autres) est bien plus qu'une simple calculatrice.

Par exemple, on peut tracer en ligne des courbes comme celle de

x^3+y^3-\sin(y^2)=1.
On peut entrer des combinaisons de mots et d'expressions mathématiques, comme par exemple
integral log(sin(x))
ce qui donne une primitive de la fonction ainsi que des graphiques à variable complexe, etc. On peut également faire une recherche avec des mots seuls comme

Weierstrass function

En somme, un nouveau site que je viens déjà de mettre dans mes favoris et que je ne tarderai pas à explorer !

Fibres d'une application complexe

Hier Pierre Lecomte a posé dans son blog un exercice sur des angles et la cotangente qui m'a inspiré la généralisation complexe suivante.

Notons

A :=\left\{ (\alpha,\beta,\gamma)\in(\mathbb{C}\setminus\pi\mathbb{Z})^3\;|\; \alpha+\beta+\gamma\in\pi\mathbb{Z}\right\}.

Question:
Déterminer les fibres de l'application f\: :\; A\: \to \: \mathbb{C}^3 définie par

f(\alpha,\beta,\gamma)=(\cot\beta\cot\gamma,\,\cot\alpha\cot\gamma,\,\cot\alpha\cot\beta).

Réponse:
Soit H est l'hyperplan de C3 d'équation u+v+w=1 et Dk, k=1,2,3, les droites

D_1=(1,0,0)+\mathbb{C}(0,1,-1), \;\;D_2=(0,1,0)+\mathbb{C}(1,0,-1), \;\;D_3=(0,0,1)+\mathbb{C}(1,-1,0).

Notons D'1=D1\{(1,0,0)}, D'2=D2\{(0,1,0)}, D'3=D3\{(0,0,1)} les droites épointées. Alors l'image de f est

f(A)=H\setminus(D'_1\cup D'_2\cup D'_3).
Les fibres de f en les points (1,0,0),(0,1,0) et (0,0,1) sont une union dénombrable de plans complexes (desquels on a enlevé des points isolés), tandis que la fibre en tout point de H\setminus(D_1\cup D_2\cup D_3) est discrète. Plus précisément, la restriction de f à f^{-1}(H\setminus(D_1\cup D_2\cup D_3)) est un revêtement au-dessus H\setminus(D_1\cup D_2\cup D_3).

Preuve:
D'abord nous remarquons que la formule d'addition

\cot(\alpha+\beta)=\dfrac{\cot\alpha\cot\beta-1}{\cot\alpha+\cot\beta}

peut s’écrire aussi comme \cot\beta\cot(-\alpha-\beta)+\cot\alpha\cot(-\alpha-\beta)+\cot\alpha\cot\beta=1. Cela signifie que pour tout (\alpha,\beta,\gamma)\in(\mathbb{C}\setminus\pi\mathbb{Z})^3 on a

\cot\beta\cot\gamma+\cot\alpha\cot\gamma+\cot\alpha\cot\beta=1
\quad\Leftrightarrow\quad
\alpha+\beta+\gamma\in\pi\mathbb{Z}.
Par conséquence l'image de f est contenue dans l'hyperplan H.
Soit maintenant (\alpha,\beta,\gamma)\in A.
  • Premier cas: \alpha\in\frac\pi2+\pi\mathbb{Z}. Alors \beta+\gamma\in\frac\pi2+\pi\mathbb{Z} et par conséquence \cot\beta=\tan\gamma et on a f(\alpha,\beta,\gamma)=(1,0,0).
  • Second cas: \alpha\not\in\frac\pi2+\pi\mathbb{Z}. Supposons par l'absurde que la première coordonnée de f(\alpha,\beta,\gamma) est égale à 1. Ainsi \cot\beta\cot\gamma=1 et \cot\alpha\cot\gamma+\cot\alpha\cot\beta=0. Alors \cot\beta=-\cot\gamma. Par conséquence (\cot\beta)^2=-1, c'est-à-dire \cot\beta=\pm i. C'est une contradiction, car la cotangente est une application de \mathbb{C}\setminus\pi\mathbb{Z} sur \mathbb{C}\setminus\{\pm i\}.
On vient de prouver que l'image de f ne contient pas la droite épointée D'1, et par permutation des coordonnées elle ne contient ni D'2 ni D'3. Les seuls points de l'image de f ayant une coordonnée 0 ou 1 sont les trois points (1,0,0), (0,1,0) et (0,0,1). On vient aussi de voir que la fibre en (1,0,0) est

f^{-1}(1,0,0)=\left(\frac\pi2+\pi\mathbb{Z}\right)\times\left{(\beta,\,\gamma)\in(\mathbb{C}\setminus\pi\mathbb{Z})^2\,|\,\beta+\gamma\in\frac\pi2+\pi\mathbb{Z}\right}.
De même on obtient les fibres en (0,1,0) et (0,0,1) par permutation des coordonnées.

Montrons maintenant que la restriction de f réalise un revêtement au-dessus H\setminus(D_1\cup D_2\cup D_3). Notons arccot la fonction réciproque de la cotangente. C'est une fonction analytique multivaluée sur \mathbb{C}\setminus\{\pm i\}, primitive de s=-dz/(1+z2). On remarque que le résidu de s en i (resp. -i) vaut i/2 (resp. -i/2). Donc un petit tour dans le sens positif autour de +i (resp. -i) ajoute -\pi (resp. \pi) à la détermination de arccot.
Soit (u,v,w) dans H tels que u>0, v>0 et w>0. En résolvant l'équation f(\alpha,\beta,\gamma)=(u,v,w) on trouve:

(*)    (\alpha,\beta,\gamma)=\left(\rm{arccot}\left(\sqrt{\frac{vw}u}\right),\,\rm{arccot}\left(\sqrt{\frac{uw}v}\right),\, \rm{arccot}\left(\sqrt{\frac{uv}w}\right)\right),\;\;\;u,v,w>0.
Cette formule (*) se prolonge analytiquement sur tout H\setminus(D_1\cup D_2\cup D_3). Pour voir cela il suffit de vérifier que les valeurs des racines évitent les points ±i où arccot n'est pas défini. Supposons par l'absurde que (vw/u)½i. Alors vw/u=-1. Avec l'égalité u+v+w=1 cela implique v=1 ou w=1. Donc (u,v,w)=(0,1,0) ou (0,0,1), points qui ne sont pas dans H\setminus(D_1\cup D_2\cup D_3). Le prolongement analytique est donc possible, on obtient bien un revêtement, ce qui termine la preuve.

Si u fait un petit tour autour de 0 alors la détermination de la racine change de + en -. Vu que pour tout réel x on a \rm{arccot}(-x)=\pi - \rm{arccot}(x) on obtient alors l'autre solution

(**)    \left(\pi-\rm{arccot}\left(\sqrt{\frac{vw}u}\right),\,\pi-\rm{arccot}\left(\sqrt{\frac{uw}v}\right),\, \pi-\rm{arccot}\left(\sqrt{\frac{uv}w}\right)\right),\;\;\;u,v,w>0.

Regardons le cas particulier où on prolonge (*) d'un point (u,v,w) dans H avec u>0, v>0, w>0 vers un point (u',v',w') dans H avec u'<0, v'<0, w'>0. Essentiellement il y a à choisir entre deux types de chemins:

  • Dans le plan de la variable u on fait un petit demi-tour (sens positif) autour de l'origine et dans le plan des v on fait la même chose. (Le point w reste proche de 1.) Le prolongement de (*) le long de ce chemin aboutit à
    (I)    \left(\rm{arccot}\left(\sqrt{\frac{vw}u}\right),\,\rm{arccot}\left(\sqrt{\frac{uw}v}\right),\, \rm{arccot}\left(-\sqrt{\frac{uv}w}\right)\right),\;\;\;u,v<0,\:w>0.
  • La variable u fait un petit demi-tour autour de l'origine et v fait la même chose mais dans le sens opposé. Le prolongement de (*) le long de ce chemin aboutit à
    (II)    \left(\rm{arccot}\left(-\sqrt{\frac{vw}u}\right),\,\rm{arccot}\left(-\sqrt{\frac{uw}v}\right),\, \rm{arccot}\left(\sqrt{\frac{uv}w}\right)\right),\;\;\;u,v<0,\:w>0.
Evidemment ces deux formules n'ont pas besoin de prolongement analytique pour être démontrées. Si la formule (I) donne un triplet de somme k\pi alors la formule (II) donne un triplet de somme (3-k)\pi.

Une preuve à prendre avec précaution

Le fait que

0,999999... = 1

est une des premières choses qu'un étudiant apprend lorsqu'il étudie les nombres réels. Voici une démonstration de cette égalité.

On pose
X = 0,99999...
Alors on a l'égalité
10X = 9,99999...
dont on soustrait la première,
9X = 9,00000...
D'où X = 1.

Convaincant, n'est-ce pas ? Pour beaucoup de gens il s'agit d'une preuve — mais en réalité ça reste une tricherie car on ômet de réfléchir sur un certain nombre détails (comme par exemple à la signification rigoureuse de 0,99999... ou du produit 10 × 0,99999.... C'est un peu comme en topologie où il faut aussi faire comprendre au débutant que le fait que les boules ouvertes sont des ouverts nécessite une preuve.)
Or qui a bien compris le cours sur les nombres réels n'a pas besoin d'une preuve car l'égalité 0,999999... = 1 est une conséquence immédiate des diverses définitions possibles du corps des réels.

Voici la manière dont j'expliquerai l'égalité 1=0,99999... à quelqu'un qui ne connais pas grand chose en maths :

Une bien meilleure méthode

On pose X = 0,99999... et on part de

0 < 0,9 < 0,99 < 0,999 < 0, 9999 < ... < X

donc par multiplication par -1 les inégalités changent de sens,

0 > - 0,9 > - 0,99 > - 0,999 > - 0,9999 > ... > - X.

En ajoutant 1 à chaque membre de ces inégalités, on obtient

1 > 1 - 0,9 > 1 - 0,99 > 1 - 0,999 > 1 - 0,9999 > ... > 1 - X.

Autrement dit,
1 > 0,1 > 0,01 > 0,001 > 0,0001 > ... > 1 - X.

Ainsi la différence 1-X est plus petite que tout nombre de la forme 0,000...0001. C'est-à-dire 1-X ne peut pas être strictement positif. D'autre part 1-X n'est pas strictement négatif car X est n'est pas plus grand que 1. Cela prouve que 1-X = 0 , ou encore que X = 1.   CQFD

Avec un tel raisonnement, je crois, le non-initié comprend mieux les idées mathématiques qu'avec une tricherie qui fait seulement appel à ses habitudes de calcul.

Brenoms

D'ailleurs au lieu d'écrire une infinité de chiffres après la virgule on peut aussi écrire une infinité de chiffres devant. On obtient alors ce qu'on appelle un brenom (verlan de nombre). On additionne les brenoms en commencant par la droite. Ca donne des résultats bizarres comme par exemple

addition posée d'un brenom, somme de nombres bizarres, nombre à l'envers

Plus de détails sur les brenoms dans ce bel article.

Calcul de pourcentage - les pièges à éviter

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 ) — 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,012528, ce qui vaut environ 1,42 et correspond donc à une augmentation totale de 42% et pas de 35%. En revanche 1,010828 = 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.

Multiples et diviseurs

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

Multiples

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.

Diviseurs

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 n2=4k2 ce qui prouve que n2 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 n2=(2k+1)2=4k2+4k+1, et comme les deux premiers termes de cette somme sont pairs on en déduit que n2 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 ?

La notation binaire

Mathias Wandel a construit une calculatrice en bois, basée sur la notation binaire !



Ceux qui ont vu le film Matrix se rapellent des suites constituées des chiffres 0 et 1 qui défilent sur l'écran presque interminablement, comme par exemple 10011100100001101010111111. Beaucoup appellent cela un "nombre binaire", mais cette appellation est mal choisie, mieux est de l'appeler "écriture binaire d'un nombre naturel". Pour mieux comprendre cette écriture bizarre faisons un petit détour.

Les nombres naturels

Les nombres naturels sont le premiers que nous avons appris à l'école : zéro, un, deux, trois, quatre,... Il y en a une infinité, car à chaque nombre on peut ajouter 1 :

zéro = 0 , un = 1 , deux = 1+1 , trois = 1+1+1, quatre = 1+1+1+1 , etc.

Cette écriture en forme de somme est essentiellement la même que l'écriture primitive par bâtons qu'on trouve sur les murs des prisons : par exemple |||| pour quatre ou |||| ||| pour huit. Elle prendrait trop de place pour des grands nombres. Pour éviter cela on utilise une ruse, que j'illustre d'abord par quelque chose que tout le monde connaît et utilise :

Le système décimal

Il fonctionne comme suit.
  • Nous convenons que les dix premiers nombres (zéro, un, deux, trois, ..., huit, neuf) soient représentés par les dix symboles 0, 1, 2, 3, ..., 8, 9.
  • Nous convenons que le onzième nombre, à savoir le 9+1 ou encore le dix, est représenté par la juxtaposition de 1 et de 0 : donc 10.
  • Puis on donne une règle pour les autres juxtapositions en utilisant les puissances de 10. Voici deux exemples:

     236 = 2 * 10^2 + 3*10 + 6 et  190237 = 1*10^5+9*10^4+0*10^3+2 * 10^2 + 3*10 + 6 .

Il n'est pas difficile de montrer que tout nombre naturel peut s'écrire dans ce système en n'utilisant que dix chiffres. Le fait qu'on ait pris dix chiffres est un pur hasard, certainement lié au fait que nous comptons dix doigts. Cela marcherait de la même manière si nous nous étions contentés par exemple de sept chiffres ; dans ce cas là, la juxtaposition  10 signifierait le nombre sept et  236 signifierait  2 * 10^2 + 3*10 + 6 (c'est-à-dire  2 * 49 + 3*7 + 6 dans notre système décimal habituel).

Dans toutes les langues que je connais il y a les noms particuliers "onze" et "douze" ; on dit "vingt-deux", mais on ne dit pas "dix-deux", on dit "douze". Cela montre qu'il fût un temps où nous ne comptions pas dans en dizaines mais en douzaines.

Le système binaire

Maintenant au lieu de prendre dix chiffres nous nous contentons du minimum syndical, des deux chiffres 0 et 1. C'est vraiment le minimum car avec un seul chiffre nous ne pourrions pas aller très loin, nous serions restreints à la notation primitive par bâtons |||| .

La juxtaposition  10 signifie alors le nombre deux et  101 signifie  1 * 10^2 + 0*10 + 1, c'est-à-dire  1 * 4 + 0*2 + 1, donc cinq dans notre système décimal habituel.

Ecrivons quelques nombres naturels dans les deux systèmes, binaire suivi de décimal :

0 est 0, 1 est 1, 10 est 2, 11 est 3, 100 est 4, 101 est 5, 110 est 6, 111 est 7, 1000 est 8, etc.

1000000 est 2^6=64, 10000000 est 2^7=128, 10000000000 est 2^10=1024 (un méga)

Ces derniers nombres sont très familiers en informatique. C'est simplement parce que les ordinateurs utilisent le système binaire pour compter. En effet, la manière la plus simple pour communiquer avec une machine c'est de lui donner seulement deux signaux (et pas trois ou plus), comme oui/non, comme on/off, comme gauche/droite (dans les leviers de la machine en bois) ou comme haut/bas, etc.


Exemples de passage d'un système à l'autre

Résumons par deux exemples les règles qui permettent de passer du système binaire au système décimal :
  • Soit n=10110 un naturel écrit dans le système binaire. Alors dans le système décimal c'est le nombre
    n=1*2^4+0*2^3+1*2^2+1*2^1+0*2^0=1*16+0*8+1*4+1*2+0*1=22.

  • Soit m=1101 un naturel écrit dans le système décimal (!). Pour le transformer en écriture binaire nous devons d'abord trouver la plus grande puissance de 2 qui "rentre" dans m. Nous savons que 2^10=1024 et que 2^11=2048. Donc 2^10 est la plus grande puissance de 2 qui "rentre" dans 1101, et ainsi l'écriture binaire de m nécessitera onze chiffres le premier étant 1. Nous avons m=2^10+77. La plus grande puissance de 2 qui "rentre" dans 77 est 2^6=64. On est passé de la dixième puissance directement à la sixième ; les trois puissances "sautées" (neuvième, huitième, septième) sont représentées par des zéros. Donc l'écriture binaire de notre nombre commence par les cinq chiffres m=10001. On poursuit de la même manière : 77=2^6+13 ; la plus grande puissance de 2 qui "rentre" dans 13 est 2^3=8. Puis 13=2^3+5 ; la plus grande puissance de 2 qui "rentre" dans 5 est 2^2=4. Le dernier reste est 1=2^0 . Ainsi nous obtenons m=10001001101 (notation binaire).

  • Pour nous rassurer de notre dernier résultat faisons le test et re-transformons l'écriture binaire en écriture décimale. Le nombre m=10001001101 en binaire devient en décimal m=1*2^10+0*2^9+0*2^8+0*2^7+1*2^6+0*2^5+0*2^4+1*2^3+1*2^2+0*2^1+1*2^0 donc m=1024+64+8+4+1=1101 (notation décimale).

Compris ? Et n'oubliez pas : il y a 10 sortes de gens au monde : ceux qui comprennent la notation binaire et ceux qui ne la comprennent pas ;-)

Diamond signs et graffiti - de Donald Knuth à John Nash, passant par Jackson Pollock... (nouvelles photos ajoutées)

Pas besoin de présenter Donald Knuth aux mathématiciens. Il est actuellement le seul computer scientist qui figure dans le fameux Peoples Archive. Dans les années 1980 Knuth a fait un grand don au monde: le logiciel libre TeX, fruit de son travail de nombreuses années sur le traitement de texte. Aujourd'hui TeX et son cousin LaTeX sont devenus les standards de l'édition scientifique. Par exemple tous les fichiers PDF sur ce blog sont faits avec LaTeX.

Sur la page personnelle de Don Knuth on trouve des rubriques inhabituels, comme ses IFAQ (Infrequently Asked Questions), et plein d'humour, comme ses Expecting a check from me? ou don't click here. En somme, Don Knuth est ce que les américains appellent un véritable "nerd". Et sa page la plus nerdy est celle-ci :   Diamond Signs.    Elle contient une galérie de photos de panneaux rares de signalisation routière. Ca m'a donné l'idée de faire une collection similaire, car à défaut d'être génial comme lui je veux au moins être un nerd !

Depuis une année, quand je me promène à vélo dans les rues de Paris, je prends avec mon téléphone portable des photos d'un certain type de graffiti. Dans tous les arrondissements je vois régulièrement des graffiti sur les trottoirs qui font penser à l'action painter Jackson Pollock, surnommé "Jack the Dripper" pour sa fameuse technique de dripping.

J'ignore qui est la personne à l'origine de cet hommage parisien à Jackson Pollock. Si j'avais de l'imagination (mais je n'en ai pas), je n'y verrais même pas de l'art — j'interpréterais ces signes mystérieux comme un codage secret utilisé par des espions, terroristes ou extra-terrestres pour préparer un grand complot dans notre belle capitale... comme le fait le mathématicien John Nash interprété par l'acteur Russell Crowe dans le film Un homme d'exception.



Galérie graffiti sur les trottoirs à Paris

Faire un Graffiti
MathOMan, collectionneur de
photos des graffiti de trottoir
 
119 boulevard Diderot
75010 Paris
 
boulevard de la Chapelle
(Pont SNCF) 75018 Paris
 
Dessiner un graffiti dans la rue
Place Mazas
75012 Paris
 
53 boulevard Diderot
75012 Paris
 
75 boulevard Richard Lenoir
75011 Paris
 
prise de vue d'un graffiti dans la rue
4 rue Dahomey
75011 Paris
 
90 avenue Parmentier
75011 Paris
 
48 boulevard Richard Lenoir
75011 Paris
 
Graffiti artist
Place des Vosges
75004 Paris
 
34 boulevard Richard Lenoir
75011 Paris
 
105 quai de Jemmapes
75010 Paris
 
Graffiti 123 boulevard Diderot, Paris Graffiti 191 quai de Valmy, Paris grafiti art
123 boulevard Diderot
75012 Paris
 
191 quai de Valmy
75010 Paris
 
quelque part
(adresse oubliée...)
 
Dessiner un graffiti dans la rue
18 rue Trousseau
75011 Paris
 
21 boulevard de Ménilmontant
75020 Paris
 
280 boulevard Voltaire
75011 Paris
 
Dessiner un graffiti sur les trottoirs
54 rue Trousseau
75011 Paris
 
77 boulevard Diderot
75012 Paris
 
281 boulevard Voltaire
75011 Paris
 
Dessiner un graffiti dans la rue
55 boulevard Diderot
75012 Paris
259 boulevard Voltaire
Quasiment devant ma porte...
Place des Vosges
75004 Paris



Envie de jouer un peu à "Jack l'égoutteur" mais sans risquer un procès de la mairie de Paris ? Défoulez-vous virtuellement sur le très surpenant site www.jacksonpollock.org !!!

apprendre à dessiner comme Jackson Pollock

Cliquez sur l'image

Remarques sur l'enseignement des math au collège

Constat : Lacunes dans le post-bac

Il y a quelques semaines, lors d'une colle en prépa MPSI (math sup) sur les développements limités, une étudiante était amenée à calculer la somme de trois fractions,

\frac3{40}\;+\;\frac1{12}\;+\;\frac3{8}\;.

Voici comment elle s'y prenait (avec mon téléphone portable j'ai pris la photo du tableau) :

réduire au même dénominateur
A éviter : dénominateur inutilement grand

Ce qui est gênant dans cette histoire c'est que cette étudiante n'est pas une mauvaise élève, mais apparemment au collège on ne lui a pas enseigné qu'il faut toujours privilégier le plus petit dénominateur commun pour additionner des fractions. En effet, cela évite des grands nombres difficiles à gérer ; le plus petit dénominateur commun n'est pas le produit 40x12x8 des trois dénominateurs ! Il fallait procéder comme suit :

\begin{array}{rcl}
\frac3{40}\;+\;\frac1{12}\;+\;\frac3{8} \;&=&\;\frac3{2^3\times5}\;+\;\frac1{2^2\times3}\;+\;\frac3{2^3} \\
\;&=&\;\frac{3\times3}{2^3\times3\times5}\;+\;\frac{2\times5}{2^3\times3\times5}\;+\;\frac{3\times3\times5}{2^3\times3\times5}
\\&&\phantom{\frac{\frac AA}{\frac AA}}\\
\;&=&\;\frac{9+10+45}{2^3\times3\times5}\;=\;\frac{64}{2^3\times3\times5}\;=\;\frac{8}{3\times5}\;=\;\frac{8}{15}
\end{array}

On voit sur la première ligne ci-dessus que le plus petit dénominateur commun est 2^3\times3\times5 car c'est le plus petit nombre qui contient les facteurs premiers qu'on obtient en décomposant chaque dénominateur. Autrement dit, c'est le plus petit commun multiple (PPCM) des trois dénominateurs.
On remarque d'ailleurs que je n'ai pas vraiment calculé ce dénominateur, je l'ai laissé sous forme de produit car à la fin cela permet de simplifier plus facilement...

Les nombres premiers ont disparu du collège

Comment se fait-il que certains élèves arrivent aujourd'hui en classes préparatoires de sciences et ne savent pas manipuler correctement des fractions ? La réponse est que la décomposition en produit de facteurs premiers est enseignée beaucoup trop tard et seulement à une partie des bacheliers scientifiques ; en effet, elle n'est plus au programme du collège mais seulement au programme de l'option mathématiques en terminale S.

Il fut une époque en France (pas lointaine et dans autres pays on y est toujours) où tout les enfants apprenaient à l'âge de dix ou onze ans de décomposer un nombre entier en facteurs premiers.

Valeurs pédagogiques et conceptuelles de cette décomposition :

  • On apprend à décomposer un grand problème en petits problèmes, certaines composantes, les nombres premiers, étant irréductibles comme des atomes — ou les briques d'un jeu de légo.
  • On trouve facilement le PGCD et le PPCM de deux, trois, quatre nombres ou plus à partir de leurs décompositions en nombres premiers. (En revanche, l'algorithme d'Euclid s'applique seulement à deux nombres à la fois.)
  • Avec le PPCM on rencontre le concept de la réunion d'ensembles et la signification exacte du mot ou.
  • Avec le PGCD on rencontre le concept de l'intersection et la signification exacte du mot et. Ce sont d'ailleurs des notions importantes en probabilités.
  • On apprend sa table de multiplication...

On se demande vraiment pour quelle raison mystérieuse l'Inspection Générale a-t-elle ôté des programmes le concept simple et fondamental de la décomposition en nombres premiers ? Pour trouver le PGCD de deux nombres elle préconise l'algorithme d'Euclide ! Or cet algorithme est moins intuitif et son fonctionnement plus délicat à comprendre que la décomposition en nombres premiers. Son seul avantage est qu'il marche bien avec les très grands nombres — autrement dit, il n'a aucun intérêt pédagogique... Un jeune esprit a besoin d'apprendre des idées, des concepts et pas quelques recettes pour manipuler de nombres élevés, nombres qui n'ont aucun intérêt, ni pour lui ni pour nous autres mathématiciens (sauf quelques spécialistes en cryptographie, informatique ou théorie des nombres) ! D'abord un enfant doit maîtriser la manipulation des petits nombres, se faire une idée de leurs multiples, de leur diviseurs, et ce défi n'est point gagné à l'époque de la calculatrice...
Supprimer l'enseignement de la décomposition en facteurs premiers était donc une grave erreur et qui plus tard devient source de lacunes ; en plus c'était une occasion manquée de réviser les tables de multiplication.

Plus de vraies constructions géométriques au collège ?

Pour finir, voici deux exemples de l'enseignement actuel de la géométrie, extraits du manuel scolaire Transmath 6e (Nathan 2005). Dans les deux cas l'approximatif remplace une idée de construction simple et précis :

Bissection d'un angle.  On ne fait plus appel à la symétrie !

construire la bisectrice
Bissectrice — méthode approximative avec pauvre valeur pédagogique

Encore une fois, une belle idée conceptuelle est remplacée par un procédé rapide qui n'a pas de valeur pédagogique, comme s'il s'agissait de faire croire aux enfants que plus tard dans la vie ils seraient amenés quotidiennement à diviser des angles ! Or ce qui est intéressant dans la division d'un angle par deux, ce n'est pas le résultat lui-même mais la manière dont on l'obtient, à savoir par un simple concept, la symétrie : si je fais la même construction des deux côtés d'un angle alors j'obtiens une figure symétrique.
Voici donc la vraie construction avec règle et compas telle qu'elle devrait être enseignée :

construire la bissectrice
Bissectrice — la vraie construction intéressante

Parallèle à une droite.  En appliquant la bissection d'un angle au cas particulier de 180° on obtient une perpendiculaire ; et en faisant la même chose à cette perpendiculaire on trouve une parallèle. C'est une idée simple et facile à retenir. Mais qu'est-ce qu'on enseigne à la place ? La construction approximative que voici :

construire une parallèle
Parallèle passant par un point — méthode avec peu d'intérêt