Le chapitre 2

Chapitre 2 - démonstrations

Introduction à l'algèbre

Propriétés basiques des lois de compositions

2.0.0.0

Démontrons que, si une loi commutative "." permet l'existence un élément neutre dans un ensemble E, alors il est unique.

Rappelons la définition d'un élément neutre "e" :

\forall a \in E, a . e = a

Définissons un élément "f" obéissant aussi à cette propriété :

\forall a \in E, a . f = a

Donc :

e . f = e

f . e = f

Par commutativité :

e . f = f . e = e = f

Tout élément obéissant à cette propriété est "e" : il est donc unique.

Les structures algébriques de base

2.0.1.0

Démontrons que la structure (N, +) est un magma (et donc, une structure algébrique). Pour cela, nous avons besoin que d'une seule preuve : "+" est stable sur "N". Or, nous l'avons démontré, dans le chapitre 1, proposition 1.2.1.0. Donc, (N, +) est bien une structure algébrique.

2.0.1.1

Démontrons que, pour tout "n" appartenant à "N" supérieur à 1, "nZ" est un sous-groupe (additif) du groupe additif "(Z, +)". Déjà, vérifions si "nZ" est stable sur l'addition.

\forall a, b \in nZ, \exists c, d, e \in Z, [a = n * c, b = n * d, a + b = e]

\Rightarrow e = a + b = n * c + n * d = n * (c + d)

\Rightarrow \exists f \in Z, [f = c + d, e = n * f] \Rightarrow e \in nZ

Comme nous le constatons, toute somme d'éléments de "nZ" forme un élément de "nZ". Maintenant, vérifions la présence de chaque opposé de chaque élément de "nZ".

\forall a \in nZ, \exists b, c \in Z, [a = n * b, a + c = 0]

\Rightarrow n * b + c = 0 \Rightarrow n * b = -c \Rightarrow n * -b = c \Rightarrow c \in nZ

Chaque élément possède bien un opposé dans "nZ". Toutes les conditions sont remplies, les groupes "nZ" sont des sous-groupes du groupe additif "(Z, +)".

2.0.1.2

Démontrons que, pour tout "n" appartenant à "N" supérieur à 1, l'indice du sous-groupe "nZ" (que nous noterons "H") dans le groupe additif "(Z, +)". Exprimons "nZ".

\forall b \in Z, b \in H \Leftrightarrow [\exists c \in Z, b = c * n]

Exprimons la classe à gauche de "a" suivant "H", pour tout "a" positif dans "Z".

\forall a \in N, \forall d \in Z, d \in aH \Rightarrow [\exists e \in nZ, d = a + e = a + c * n]

Si "a" est inférieur à "n", alors on ne peut pas simplifier l'expression de "d". Dans ce cas, pour tout "a" (inférieur à "n") différent, il existe un unique "d". Donc, il existe au moins "n" classes dans l'ensemble des classes à gauche.

a < n \Rightarrow [\forall f \in N, aH = fH \Leftrightarrow a = f]

Si "a" est supérieur ou égal à "n", on peut décomposer "c", pour revenir à une classe d'élément inférieure à "n". Donc, on ne rajoute pas de nouvelles classes dans ce cas là. Si cette décomposition permet de se ramener à un "a" (ou, dans l'exemple qui suit, "g") plus petit que "n", alors on se ramène au cas d'avaant. Sinon, on recommence le procédé.

a > n \Rightarrow [\exists g \in N, \exists h \in Z, a + c * n = (a - n) + (c + 1) * n = g + h * n] \Leftrightarrow [On recommence si g < n]

Dans tous les cas où "a" appartient à "N", alors on obtient "n" classes différentes. Si "a" est inférieur à "0", alors on applique le même principe, mais on ne soustrait pas "n" à "a", mais on l'ajoute. Dans ce cas, on enlève "1" à "c". Comme pour en haut, on ne crée pas de nouvelle classe. Si ce nombre reste négatif, on réitère l'opération. Sinon, on se retrouve dans le cas où "a" est plus grand que "n".

a < 0 \Rightarrow [\exists g, h \in Z, a + c * n = (a + n) + (c - 1) * n = g + h * n] \Leftrightarrow [On recommence si g < 0]

Dans tous les cas, on se retrouve aveec "n" classes d'éléments suivant H. Donc, l'ensemble des classes à gauche suivant "nZ" dans "(Z, +)" a pour cardinal "n".

2.0.1.3

Démontrons que le magma "(Z/nZ, +)" est un groupe abélien. Déjà, vérifions que "Z/nZ" est stable par l'addition.

\forall a, b \in Z/nZ, \exists c, d \in N \land c < n \land d < n, \exists e, f \in Z, a = c + e * n \land b = d + f * n

a + b = c + e * n + d + f * n = (c + d) + (e + f) * n

Or, rien n'empêche "c + d" à être supérieur à "n". Pour être sur d'éviter ce problème, comme on sait que "c + d" est inféérieur à "2 * n", alors on peut soustraite "n" à "c + d" si il est trop grand, et enlever "1" à "e + f" pour rééquilibrer le tout.

c + d \geq n \Leftrightarrow ((c + d) - n) + ((e + f) - 1) * n

Dans tous les cas "c + d" (où "(c + d) - n" si nécessaire) est un nombre entier naturel inférieur à "n", et "e + f" ou "(e + f) - 1" est un nombre entier relatif. Donc, le résultat de l'addition est un élément de "Z/nZ". Donc, "Z/nZ" est stable par l'addition.

\forall a, b \in Z/nZ, a + b \in Z/nZ

Maintenant, démontrons l'associativité de la loi. Pour rappel, on peut exprimer la formule de l'addition, et utiliser des propriétés de "Z" et "N" pour facilement trouver le nécessaire.

\forall g \in Z/nZ, \exists h \in N \land h < n, \exists i \in Z, g = h + i * n

(a + b) + g = (c + e * n + d + f * n) + h + i * n = c + e * n + (d + f * n + h + i * n) = a + (b + g)

Donc, l'addition est bien associative sur "Z/nZ". Maintenant, prouvons l'existence d'un neutre, qui est "[0]".

\exists j \in Z, [0] = j * n

\forall k \in [0], a + k = c + e * n + j * n = c + (e + j) * n = a

Donc, il y a bel et bien un neutre dans "Z/nZ". Finalement, trouvons la présence d'un élément opposé pour toute valeur de "Z/nZ".

\forall l \in Z/nZ, \exists m \in N \land m n, \exists o \in Z, l = m + o * n

a + l = [0] \Rightarrow c + e * n + m + o * n = c + m + (e + o) * n = [0] \Rightarrow c + m = 0 \Rightarrow c = -m = n - m \Rightarrow

Donc, chaque élément possède bel et bien un inverse. Finalement, prouvons la commutativité. Encore une fois, utilisons des propriétés de "Z" et "N" pour facilement trouver le nécessaire.

a + b = c + e * n + d + f * n = d + f * n + c + e * n = b + a

Donc l'addition est bel et bien commutative dans "Z/nZ". Au final, "(Z/nZ, +)" est bel et bien un groupe abélien.

Les propriétés basiques des groupes

2.0.2.0

Démontrons que tout groupe monogène est abélien. Posons "G" un groupe sur un ensemble "E" d'opérateur ".". Si il est abélien, alors on peut utiliser cette définition :

G = (E, ~)

\exists a \in E, \forall e \in E, \exists d \in Z, e = a^{d}

En d'autres termes, tout élément "e" ou "f" de "E" peut s'écrire comme la répétition de "a" ou de son inverse "a exposant -1". Donc, il existe un "d" pour "e" (que nous nommerons "r") et il existe un "d" pour "f" (que nous nommerons "s"). Si "r" et "s" sont positifs, alors "e ~ s" s'écrit ainsi :

e ~ f = (a ~ a ~ "r fois" ~ a) ~ (a ~ a ~ "s fois" ~ a)

Or, comme le groupe est associatif, l'opération l'est aussi. Donc, on peut modifier le sens des opérations pour faire les "s" opérations au début, puis les "r" opérations à la fin. Or, cela est égal à "f ~ e"

e ~ f = (a ~ a ~ "r fois" ~ a) ~ (a ~ a ~ "s fois" ~ a) = (a ~ a ~ "s fois" ~ a) ~ (a ~ a ~ "r fois" ~ a) = f ~ e

Donc, "e ~ f = f ~ e" si "r" et "s" est positif. On peut faire l'exact même raisonnement si "r" et "s" sont négatifs.

e ~ f = (-a ~ -a ~ "-r fois" ~ -a) ~ (-a ~ -a ~ "-s fois" ~ -a) = (-a ~ -a ~ "-s fois" ~ -a) ~ (-a ~ -a ~ "-r fois" ~ -a) = f ~ e

Donc, "e ~ f = f ~ e" si "r" et "s" est négatif. Maintenant, faisons le cas plus embêtant ou "r" est positif et "s" négatif.

e ~ f = (a ~ a ~ "r fois" ~ a) ~ (-a ~ -a ~ "-s fois" ~ -a)

Ici, la technique est assez simple : "a ~ -a" s'annule, on peut donc simplifier l'expression. En plus, multiplier n'importe quoi par "a ~ -a" ne modifie pas la valeur finale. Donc, si "r" est plus grand que "-s", tous les "-a" de "f" se neutralisent.

e ~ f = (a ~ a ~ "r fois" ~ a) ~ (-a ~ -a ~ "-s fois" ~ -a) = (a ~ a ~ "r + s fois" ~ a)

On peut rajouter juste avant l'opération par "a ~ -a". Or, rajouter une nouvelle itération de cette opération entre "a" et "-a" ne modifie pas le résultat final. On peut donc le rajouter "-s" fois. Par associativité, on obtient "f ~ e"

e ~ f = (a ~ a ~ "r + s fois" ~ a) = (-a ~ a) ~ (a ~ a ~ "r + s fois" ~ a)

e ~ f = (-a ~ a) ~ (a ~ a ~ "r + s fois" ~ a) = (-a ~ -a ~ ... "-s fois" ... a ~ a) ~ (a ~ a ~ "r + s fois" ~ a)

e ~ f = (-a ~ -a ~ "-s fois" ~ -a) ~ (a ~ a ~ ... "r fois" ... -a ~ -a) = f ~ e

C'est la même chose si "r" est inférieur à "-s", c'est la même chose, en ajoutant des "-" partout.

e ~ f = (a ~ a ~ "r fois" ~ a) ~ (-a ~ -a ~ "-s fois" ~ -a) = (-a ~ -a ~ "-(r + s) fois" ~ -a)

e ~ f = (-a ~ -a ~ "-(r + s) fois" ~ -a) = (-a ~ -a ~ "-(r + s) fois" ~ -a) ~ (-a ~ a)

e ~ f = (-a ~ -a ~ "-(r + s) fois" ~ -a) ~ (-a ~ a) = (-a ~ -a ~ "-(r + s) fois" ~ -a) ~ (-a ~ -a ~ "r fois" ~ a ~ a)

e ~ f = (-a ~ -a ~ "-s fois" ~ -a) ~ (a ~ a ~ ... "r fois" ... ~ a) = f ~ e

C'est la même chose si "r" est négatif, et "s" positif, mais à l'envers. Déjà, si "-r" est supérieur à "s" :

e ~ f = (-a ~ -a ~ "-r fois" ~ -a) ~ (a ~ a ~ "s fois" ~ a) = (-a ~ -a ~ "-(r + s) fois" ~ -a)

e ~ f = (-a ~ -a ~ "-(r + s) fois" ~ -a) = (a ~ -a) ~ (-a ~ -a ~ "-(r + s) fois" ~ -a)

e ~ f = (a ~ -a) ~ (-a ~ -a ~ "-(r + s) fois" ~ -a) = (a ~ a ~ ... "s fois" ... -a ~ -a) ~ (-a ~ -a ~ "-(r + s) fois" ~ -a)

e ~ f = (a ~ a ~ "s fois" ~ a) ~ (-a ~ -a ~ ... "-r fois" ... ~ -a) = f ~ e

Finalement, si "-r" est inférieur à "s" :

e ~ f = (-a ~ -a ~ "-r fois" ~ -a) ~ (a ~ a ~ "s fois" ~ a) = (a ~ a ~ "(r + s) fois" ~ a)

e ~ f = (a ~ a ~ "(r + s) fois" ~ a) = (a ~ a ~ "(r + s) fois" ~ a) ~ (a ~ -a)

e ~ f = (a ~ a ~ "(r + s) fois" ~ a) ~ (a ~ -a) = (a ~ a ~ ... "r + s fois" ... a ~ a) ~ (-a ~ -a ~ "-r fois" ~ -a)

e ~ f = (a ~ a ~ "s fois" ~ a) ~ (-a ~ -a ~ ... "-r fois" ... ~ -a) = f ~ e

Tous les cas sont vérifiés. Un groupe monogène est bel et bien abélien.

2.0.2.1

Démontrons que, si un groupe "G" opère sur un ensemble "E", alors tous les stabilisateurs possibles dans "E" forment chacun un sous-groupe de "G". Déjà, posons un groupe "G" sur un ensemble "A" de loi de composition interne ".", un ensemble "E", et une action de "G" sur "E".

G = (A, .)

G X E ⟶ E

Exprimons les stabilisateurs de tous les éléments "x" de "E".

\forall x \in E_{, St x} = {g \in G, g . x = x}

\forall h, i \in St, \forall x \in E, h . x = x \land i . x = x

On peut utiliser ces deux valeurs dans une même identité.

h . (i . x) = h . x = (h . i) . x = x

On voit que "(h . i)" ne modifie pas "x" : il est un élément du stabilisateur nécessaire. Comme "h" et "i" appartiennent à "G", alors l'associativité et le neutre sont vérifié (le neutre de "G" se comporte comme un neutre de "E", et fait donc partie du stabilisateur). Notons "n" le neutre de "G"

n . x = x

Par définition, "n" est égal à l'opération de "h" (qui, pour rappel, fait partie du stabilisateur) et de son inverse. Grâce aux propriétés des actions de groupes, on peut en obtenir la décomposition suivante :

n . x = (h^{-1} . h) . x = h^{-1} . (h . x) = h^{-1} . x = x

Donc, pour tout "h" dans le stabilisateur de "x", l'inverse de "h" est aussi dans ce stabilisateur. Bien évidemment, cela ne marche pas si "h" n'est pas dans le stabilisateur (dans ce cas, on ne pourrait pas simplifier "h . x" en "x"). Donc, cet ensemble est stable par la loi de composition, cette loi est associative, admet un neutre et chaque élément admet un inverse. Donc, chaque stabilisateur dans "E" est un sous-groupe de "G".

2.0.2.2

Démontrons que, dans un sous-groupe normal, les classes à gauches sont égales aux classes à droites.

\forall x \in G, xH = Hx

Déjà, si le sous-groupe est normal, on peut établir la propriété qui lui permet d'être stable par conjugaison.

\forall x \in G, \forall h \in H, x ~ h ~ x^{-1} = r \in H

\Leftrightarrow H = xH^{-1}

Appliquons simple l'opération par "x" à droite des deux valeurs :

\Leftrightarrow Hx = xH

Au final, les classes à gauches de "H" sont bel et bien égales au classes à droites de "H".

L'arithmétique des nombres rationnels

L'opération d'addition

2.1.0.0

Démontrons que l'addition de deux nombres rationnels "a" et "b" donne un nombre rationnel (et donc, que l'addition est stable dans "Q"). Soit deux nombres rationnels "a" et "b" :

\forall a, b \in Q, \exists c, e \in Z, \exists d, f \in N, a = \frac{c}{d}, b = \frac{e}{f}

Admettons un objet "g", représentant "a + b". Nous pouvons l'écrire avec la formule de l'addition de nombres rationnels.

g = a + b = \frac{(c * e) + (d * f)}{e * f}

Or, comme "Z" est stable par l'addition et la multiplication, alors "(c * e) + (d * f)" appartient à "Z". De plus, "N*" est stable par l'addition, donc "e * f" appartient à "N*". Donc, "g" est un élément de "Z" sur un élément de "N*". Donc, "g" est un nombre rationnel.

2.1.0.1

Démontrons que l'ordre d'addition de deux trois nombres rationnels "a", "b" et "c" n'importe pas (et donc, que l'addition est associative dans "Q"). Soit trois nombres rationnels "a", "b" et "c" :

\forall a, b, c \in Q, \exists d, f, h \in Z, \exists e, g, i \in N, a = \frac{d}{e}, b = \frac{f}{g}, c = \frac{h}{i}

Admettons un objet "j", représentant "(a + b) + c". Nous pouvons l'écrire avec la formule de l'addition de nombres rationnels.

j = (a + b) + c = \frac{((d * g) + (e * f)) * i + (e * g) * h}{(e * g) * i}

En utilisant les propriétés calculatoire de "Z" et "N", réarrangeons "j".

j = \frac{((d * g) + (e * f)) * i + (e * g) * h}{(e * g) * i}

j = \frac{(d * g) * i + (e * f) * i + (e * g) * h}{(e * g) * i}

j = \frac{(d * g) * i + (e * f) * i + (e * g) * h}{(e * g) * i}

j = \frac{d * (g * i) + e * ((f * i) + (g * h))}{e * (g * i)}

j = \frac{d}{e} + \frac{(f * i) + (g * h)}{g * i} = a + (b + c)

Donc, "(a + b) + c" est égal à "a + (b + c)". L'opération d'addition est associative dans "Q".

\forall a, b, c \in Q, (a + b) + c = a + (b + c)

2.1.0.2

Démontrons que l'ordre des opérandes pour l'addition entre deux nombres rationnels "a" et "b" n'importe pas (et donc, que l'addition est commutative dans "Q"). Soit deux nombres rationnels "a" et "b" :

\forall a, b \in Q, \exists c, e \in Z, \exists d, f \in N, a = \frac{c}{d}, b = \frac{e}{f}

Admettons un objet "g", représentant "a + b". Nous pouvons l'écrire avec la formule de l'addition de nombres rationnels.

g = a + b = \frac{(c * e) + (d * f)}{e * f}

En utilisant les propriétés calculatoire de "Z" et "N", réarrangeons "j".

g = \frac{(c * e) + (d * f)}{e * f} = \frac{(d * f) + (c * e)}{f * e} = b + a

Donc, "a + b" est égal à "b + a". Donc, l'addition est commutative dans "Q".

\forall a, b \in Q, a + b = b + a

2.1.0.3

Démontrons que la structure algébrique formée par l'addition et "Q" est un groupe abélien. Déjà, selon le théorème 2.1.0.0, "+" est stable dans "Q", alors l'addition dans "Q" forme bien une structure algébrique. Selon le théorème 2.1.0.1, "+" est associative dans "Q". Selon le théorème 2.1.0.2, "+" est commutative dans "Q". De plus, les fractions ayant "0" comme numérateur se comportent comme des éléments neutres. Donc, cette classe d'équivalence dans "Q" représente l'élément neutre de "Q".

\forall a, b \in Q, \exists c \in Z, \exists d, e \in N, a = \frac{c}{d}, b = \frac{0}{e}

a + b = \frac{c * e + 0 * d}{d * e} = \frac{c}{e} = a

Finalement, chaque élément possède un inverse, donnant le neutre quand on les additionne.

\forall a \in Q, \exists b \in Q, \exists c \in Z, \exists d \in N, a = \frac{c}{d}, b = \frac{-c}{d}

a + b = \frac{c * d + -c * d}{d * d} = \frac{0}{d * d} = 0

Donc, la structure algébrique "(Q, +)" est un groupe abélien.

L'opération de multiplication

2.1.1.0

Démontrons que la multiplication de deux nombres rationnels "a" et "b" donne un nombre rationnel (et donc, que la multiplication est stable dans "Q"). Soit deux nombres rationnels "a" et "b" :

\forall a, b \in Q, \exists c, e \in Z, \exists d, f \in N, a = \frac{c}{d}, b = \frac{e}{f}

Admettons un objet "g", représentant "a * b". Nous pouvons l'écrire avec la formule de l'addition de nombres rationnels.

g = a + b = \frac{c * e}{d * f}

Or, comme "Z" est stable par la multiplication, alors "c * e" appartient à "Z". De plus, "N*" est stable par la multiplication, donc "d * f" appartient à "N*". Donc, "g" est un élément de "Z" sur un élément de "N*". Donc, "g" est un nombre rationnel.

2.1.1.1

Démontrons que l'ordre de la multiplication de deux trois nombres rationnels "a", "b" et "c" n'importe pas (et donc, que la multiplication est associative dans "Q"). Soit trois nombres rationnels "a", "b" et "c" :

\forall a, b, c \in Q, \exists d, f, h \in Z, \exists e, g, i \in N, a = \frac{d}{e}, b = \frac{f}{g}, c = \frac{h}{i}

Admettons un objet "j", représentant "(a * b) * c". Nous pouvons l'écrire avec la formule de l'addition de nombres rationnels.

j = (a * b) * c = \frac{(d * f) * h}{(e * g) * i}

En utilisant les propriétés calculatoire de "Z" et "N", réarrangeons "j".

j = \frac{(d * f) * h}{(e * g) * i}

j = \frac{d * (f * h)}{e * (g * i)} = a * (b * c)

Donc, "(a * b) * c" est égal à "a * (b * c)". L'opération de multiplication est associative dans "Q".

\forall a, b, c \in Q, (a * b) * c = a * (b * c)

2.1.1.2

Démontrons que l'ordre des opérandes pour la multiplication entre deux nombres rationnels "a" et "b" n'importe pas (et donc, que la multiplication est commutative dans "Q"). Soit deux nombres rationnels "a" et "b" :

\forall a, b \in Q, \exists c, e \in Z, \exists d, f \in N, a = \frac{c}{d}, b = \frac{e}{f}

Admettons un objet "g", représentant "a * b". Nous pouvons l'écrire avec la formule de l'addition de nombres rationnels.

g = a * b = \frac{c * e}{d * f}

En utilisant les propriétés calculatoire de "Z" et "N", réarrangeons "j".

g = \frac{c * e}{d * f} = \frac{e * c}{f * d} = b * a

Donc, "a * b" est égal à "b * a". Donc, la multiplication est commutative dans "Q".

\forall a, b \in Q, a * b = b * a

2.1.1.3

Démontrons que la structure algébrique formée par la multiplication et "Q*" est un groupe abélien. Déjà, selon le théorème 2.1.1.0, "*" est stable dans "Q*", alors l'addition dans "Q*" forme bien une structure algébrique. Selon le théorème 2.1.1.1, "*" est associative dans "Q". Selon le théorème 2.1.1.2, "*" est commutative dans "Q". De plus, les fractions valant 1 se comportent comme des éléments neutres. Donc, cette classe d'équivalence dans "Q" représente l'élément neutre de "Q".

\forall a, b \in Q, \exists c \in Z, \exists e \in Z, \exists d, \in N, a = \frac{c}{d}, b = \frac{e}{e}

a * b = \frac{c * e}{d * e} = \frac{c}{d} = a

Finalement, chaque élément possède un inverse, donnant le neutre quand on les multiplient.

\forall a \in Q, \exists b \in Q, \exists c \in Z, \exists d \in N, a = \frac{c}{d}, b = \frac{d}{c}

a * b = \frac{c * d}{d * c} = \frac{c * d}{c * d} = 1

Donc, la structure algébrique "(Q*, *)" est un groupe abélien.

2.1.1.4

Démontrons que dire que, pour tout nombre rationnel a, b et c "a = b" équivaut à dire que "a * c = b * c". Soit trois nombres rationnels "a", "b" et "c" :

\forall a, b, c \in Q, \exists c, e, g \in Z, \exists d, f, h \in N, a = \frac{c}{d}, b = \frac{e}{f}, c = \frac{g}{h}

Admettons que "a = b".

a = b \Leftrightarrow c * f = d * e

En utilisant les propriétés calculatoire de "Z" et "N", calculons des deux côtés par "g" et "h".

a = b \Leftrightarrow c * f = d * e \Leftrightarrow c * f * g * h = d * e * g * h \Leftrightarrow (c * g) * (f * h) = (e * g) * (d * h) \Leftrightarrow a * c = b * c

Donc, "a = b" est équivalent à dire que "a * c = b * c".

\forall a, b, c \in Q, a = b \Leftrightarrow a * c = b * c

Le développement décimal des rationnels

2.1.2.0

Démontrons que tout nombre rationnel est un nombre décimal en une base "n" si son dénominateur peut être multiplié par une valeur donnant une puissance de la base "n".

\forall a \in Q, \exists b \in Z, \exists c \in N, a = \frac{b}{c}

Utilisons l'algorithme d'obtension du développement décimal en base "n". Déjà, décomposons "b" comme la somme du produit d'un nombre entier quelconque "z" et "c" au quel on ajoute un nombre entier naturel "d".

\exists z \in Z, \exists d \in N, b = z * c + d

\frac{b}{c} = z + \frac{d}{c}

Le développement décimal de "a" après la virgule est donc le même que celui de "d / c". En suite, rappelons une propriété des nombres décimaux : ils peuvent s'écrire comme un nombre rationnel divisé par une puissance de "n" (le nombre de chiffre dans la base demandé).

\exists g \in Z, a = \frac{d}{c} = \frac{g}{n^{q}}

Pour passer d'une fraction quelconque à une fraction admettant comme dénominateur une puissance de "n", nous avons besoin de multiplier le numérateur et le dénominateur par un nombre donnant une puissance "n" au dénominateur. Pour trouver ce nombre, utilisons le théorème fondamental de l'arithmétique. Une puissance de "n" se décompose comme suit :

n^{q} = \prod {(p_{l})}^{q}

Comme le résultat d'une multiplication garde la décomposition en produit de facteur premier des 2 opérandes, alors ces deux valeurs doivent pouvoir s'écrire de cette façon. Donc, le fait qu'une fraction admette un développement décimal fini équivaut à dire que son dénominateur s'écrive sous la forme d'une multiplication de seulement des valeurs (nombre premiers) présentent dans la décomposition de "n", à un exposant quelconque dans "N". D'ailleurs, nous pouvons aussi calculer le nombre nécessaire à obtenir cette forme de fraction (que nous nommerons "k" dans cet exemple).

\frac{d}{c}, \exists h \in N, c = \prod {(p_{l})}^{h l}, k = \prod {(p_{l})}^{q - h l}, c * k = \prod {(p_{l})}^{q}

Donc, tout nombre rationnel est un nombre décimal en une base "n" si son dénominateur peut être multiplié par une valeur donnant une puissance de la base "n".

2.1.2.1

Démontrons que tout nombre rationnel admet un développement décimal périodique à partir d'un certain point. Posons un nombre rationnel "a" s'écrivant sous la forme finale "b/c".

\forall a \in Q, \exists b \in Z, \exists c \in N, a = \frac{b}{c}

Si "a" est décimal, alors à partir d'un certain rang, le "0" se répète indéfiniment. Donc, il existe bien un développement décimal périodique (bien qu'inutile).

165, 1487 = 164, 14870000... = 164, 1487[0]

Maintenant, démontrons qu'un nombre rationnel qui n'est pas un nombre décimal admet cependant un développement décimal périodique. Pour rappel, l'algorithme revient à trouver des restes par une division euclidienne du numérateur par la valeur du dénominateur. Or, au bout de au maximum "c + 1" étape, on tombe obligatoirement sur un reste qui est déjà tombé (selon le principe des tiroirs, qui est ici une implication) : on reprend donc l'algorithme à partir de ce reste. Comme une division euclidienne est unique, cela équivaut à dire que l'on retombe sur la même division euclidienne à l'infini. Donc, à partir d'un moment, le développement est périodique.