Bonjour,
Comme vous le savez de nombreux Troll font leur apparition sur le faite que 0.999...=1 ou 0.999...=/=1 (j'insiste sur le 0.99... a l'infini) .
Donc voilà un gars a sorti cette demo (0.999...=/=1), je n'ai pas le niveau pour dire si elle est juste ou non donc je demande au bon matheux de la vérifier.
Merci d'avance.
Démonstration:
Avant tout, le signe "<=" signifie "inférieur ou égal à" et "<=>" signifie "équivaut à".
Je note E(x) la fonction "Partie entière" qui à tout x de IR associe l'entier immédiatement inférieur ou égal à x. On a donc: E(x) <= x < E(x)+1
Pour ceux qui font un peu de prog, ça correspond à la fonction "floor".

On considère x appartenant à IR, n appartenant à IN
Montrons que E(x*10^n) est l'unique entier tel que :
E(x*10^n)/(10^n) <= x < (E(x*10^n) + 1)/(10^n)
Pour tout entier p:
p/(10^n) <= x < (p+1)/(10^n)
<=>
p <= x*10^n < p+1
<=>
p = E(x*10^n)
(Si vous doutez de cette première démonstration, vous pouvez vérifier en prenant plusieurs valeurs de x et de n...)

Appliquons le théorême à 0.9999...
On prend donc x=0.9999... et je choisis n=1
(Vous pouvez prendre n'importe quel valeur entière positive pour n)
On a donc: E(x*10^n) = E(0.999...*10) = E(9.9999...) = 9
D'où:
E(x*10^n)/(10^n) <= x < (E(x*10^n) + 1)/(10^n)
<=>
9/10 <= 0.9999... < 10/10
<=>
0.9 <= 0.9999... < 1
Donc 0.9999... =/= 1