Math'O Man : le Blog des Maths

Verlan des nombres


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.

Pourquoi ne pas lire aussi :


Racines des polynômes unitaires

Un polynôme est unitaire (ou normalisé) si le coefficient de son terme de plus haut degré est 1. Voici un exercice instructif sur les polynômes unitaires.

Soient a et b deux nombres complexes distincts et P et Q des polynômes unitaires dans \mathbb{C}[X].
  • Si l'ensemble des nombres complexes où P prend la valeur a est identique à celui où Q prend la valeur a et si P et Q sont de même degré, peut-on en déduire que P=Q ?
  • Si l'ensemble des nombres complexes où P prend la valeur a est identique à celui où Q prend la valeur a et si on a la propriété similaire pour b, peut-on en déduire que P=Q ?

Rationnel vs. irrationnel

Existe-t-il des nombres rationnels x, y tels que y^x est irrationnel ?
Existe-t-il des nombres irrationnels x, y tels que y^x est rationnel ?

Revisitons la multiplication !

Vous croyez déjà tout savoir sur la multiplication ? Vous allez être surpris ! Voici trois méthodes pour multiplier deux nombres entiers.
  • Multiplication posée du bon élève.
  • Multiplication posée de deux nombres, comment calculer le produit de deux nombres


     
  • Méthode du cancre.
  •  

    Comment multiplier deux nombres, méthode des paresseux

    Mode d'emploi : A gauche on prend toujours la moitié en arrondissant, s'il le faut, vers le bas ; à droite on prend toujours le double. Puis on supprime les lignes (en noir) dont le nombre gauche est pair et à droite on additionne les lignes restantes (en rouge).
     
     
  • Méthode de Karatsuba (publiée en 1962).
  • On sépare chaque facteur en deux parties
    Multiplication selon Karatsuba
    puis on effectue les multiplications suivantes :

    Algorithme pour la multiplication de Karatsuba

    Le résultat est ensuite
    Trouver le produit de deux nombres entiers
Remarque
L'idée de tout ça c'est de se ramener à des opérations élémentaires (opérations entre deux nombres entre 0 et 9). Sur un ordinateur le choix d'un bon algorithme peut accélerer considérablement le temps de calcul — quelques jours pour des facteurs constitués de plusieurs milliards de chiffres ! Le calcul avec de très grands nombres n'est pas une question purement théorique mais a beaucoup d'applications, notamment en théorie de cryptage.
 
Questions
  1. Pourquoi la méthode du cancre fonctionne-t-elle ? Les deux facteurs jouent des rôles différents; lequel choisir pour quel rôle ?
  2. Utilisez la méthode de Karatsuba pour calculer 3116 x 1014. Pourquoi cette méthode fonctionne-t-elle ?
  3. Avec la méthode classique (multiplication posée du bon élève), combien de multiplications élémentaires sont nécessaires pour calculer le produit de deux nombres à n chiffres ?
  4. En réitérant la méthode de Karatsuba on obtient un algorithme. Combien de multiplications élémentaires sont alors nécessaires pour calculer le produit de deux nombres à n chiffres ? Comparer avec l'algorithme classique.
Réponses
Cliquez pour afficher les solutions en format pdf.

Et pour finir une vidéo présentant une méthode qui produit une belle calligraphie — elle s'appelle donc la multiplication chinoise !

L'idée de base de la multiplications chinoise est le fait suivant : un ensemble de n droites parallèles coupe un autre ensemble de m droites parallèles en nxm points.

Colles 2011/2012

Feuilles de khôlles en classe préparatoire PCSI du Lycée Charlemagne à Paris pour des étudiants qui souhaitent s'entraîner.

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

  1. Nombres complexes
  2. Nombres complexes (deuxième tour)
  3. Fonctions usuelles
  4. Fonctions usuelles et équations différentielles linéaires
  5. Géométrie en basses dimensions
  6. Géométrie en basses dimensions (deuxième tour)
  7. Courbes planes
  8. Coniques
  9. Programme mixte I
  10. Programme mixte II
  11. Nombres réels et limites
  12. Fonctions continues
  13. Fonctions continues et fonction dérivables
  14. Fonctions dérivables. Groupes
  15. Fonctions dérivables. Groupes

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

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 ?

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

Groupes et compagnie

Un magma est un ensemble G muni d'une loi de composition interne ¤.
Si en plus cette loi est associative, c'est-à-dire (x¤yz = 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/nn 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 R3 muni du produit vectoriel
    (x1, x2, x3) × (y1, y2, y3) = (x2y3-x3y2, x3y1-x1y3, x1y2-x2y1)
    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(y2+1)½+y(x2+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.

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

Question autour d'une singularité essentielle et le théorème de Picard

A la fin de mon article Hyperelliptic action integral, Annales de l'institut Fourier 49(1), p. 303–331, j'ose la conjecture suivante:

Une conjecture autour d'une singularité.
Soit D le disque unité du plan complexe et U_1,U_2,\,\dots\,,U_n un recouvrement du disque épointé D*= D\{0} par des ouverts. Sur chaque ouvert U_j soit f_j une fonction holomorphe injective telle que df_j=df_k sur toutes les intersections U_j\cap U_k. Alors ces différentielles se recollent en une 1-forme méromorphe sur D.

Il est clair que la 1-forme est holomorphe sur D*. Si son résidu est nul, alors la conjecture découle facilement du grand théorème de Picard, cité ci-dessous. Mais si le résidu est non-nul, je ne sais pas la démontrer.
Toute preuve ou tout contre-exemple sont les bienvenus — à vrai dire les contre-exemples un peu moins car je crois (guidé par mon intuition géométrique des surfaces de Riemann) que cette conjecture est vraie...

En 1880 Charles Emile Picard (1856-1941) prouva le théorème suivant.

Grand théorème de Picard.
Une fonction holomorphe ayant une singularité essentielle prend, sur tout voisinage de cette singularité, tout nombre complexe une infinité de fois comme valeur, sauf peut-être un.

Exemple typique pour le théorème de Picard

La fonction définie par
\:f(z)=e^{1/z}=\sum_{k=0}^{\infty}\:\frac1{k!z^k}\;

est holomorphe sur \mathbb{C}\backslash0 et possède une singularité essentielle en 0. L'image de f épargne-t-il une valeur (Picard dit "sauf peut-être un")? Oui, et comme f(z)\neq0 pour tout z\in\mathbb{C}\backslash0, cette valeur épargnée est forcément zéro; le théorème affirme alors que pour tout nombre complexe w\neq0 et pour tout \epsilon>0 il existe une infinité de nombres complexes z tels que 0<|z|<\epsilon et f(z)=w.

Calcul direct avec cet exemple

Dans l'exemple ci-dessus on peut se debrouiller par un calcul direct sans invoquer le théorème de Picard. En effet, fixons un nombre complexe non-nul w et un \epsilon>0. Il existe alors deux réels r>0 et \varphi tels que
w=re^{i\varphi}.

Pour tout n \in \mathbb{N} posons u_n=\ln r+i(\varphi+2\pi n) et z_n=1/{u_n}. Alors \lim_{n\to\infty}z_n=0.
Ainsi on a on a
f(z_n)=e^{u_n}=e^{\ln r+i(\varphi+2\pi n)}=re^{i \varphi}=w.

Par conséquence, en prenant n assez grand, on voit que w possède une infinité d'antécédents dans le disque épointé 0<\,|z|\,<\epsilon.

Un exemple moins évident

Notons P l'ensemble des nombres premiers et considérons la fonction définie par
 
g(z)=\sum_{p \in P}^{}\frac{1}{p!z^p}.

On peut appliquer le théorème de Picard, car il y a une singularité essentielle à l'origine.
En revanche, il me semble impossible de faire un calcul explicite...