Le codage en binaire des nombres non entiers
Le principe est l'extension du système déjà rencontré pour les nombres entiers. La partie décimale (à droite de la virgule) correspondra aux puissances négatives de 2.
... | 8 | 4 | 2 | 1 | 0.5 | 0.25 | 0.125 | ... |
---|---|---|---|---|---|---|---|---|
... | ... | |||||||
... | 0 | 1 | 1 | 0, | 1 | 0 | 1 | ... |
Exemple :
Tentatives de conversion
Tout commence bien, avec un résultat mathématique rassurant : tous les nombres réels peuvent s'écrire comme une somme de puissances de 2 (puissances positives et négatives).
Théorème :
Pour tout réel , il existe et tels que
Écrire un nombre en binaire revient à calculer les coefficients (ils sont égaux à 0 ou 1). Il y en a un nombre fini pour la partie entière, mais un nombre potentiellement infini pour la partie décimale.
Méthode de conversion
Considérons le nombre . Il se décompose en une partie entière (3) et une partie décimale ().
- partie entière :
- partie entière : la conversion de se fait en plusieurs étapes.
On prend ensuite le chiffre des unités de tous les nombres obtenus : 1011
Donc
Exercice 1
Donner l'écriture binaire de 20,875.
correction :
- partie entière :
- partie décimale :
Donc
Exercice 2
Donner l'écriture binaire de 0,2.
correction :
- partie entière :
- partie décimale :
- et cela continue...
Le nombre 0,2 n'admet pas d'écriture binaire finie.
Conclusion
Certains nombres n'admettent pas une écriture binaire finie. Or la mémoire d'un ordinateur, quelqu'il soit, est toujours finie. Certains nombres ne peuvent donc pas être représentés correctement en machine : c'est une impossibilité théorique. Cela amène à des comportements étranges :
0.1+0.2
# 0.30000000000000004
Conséquences : la difficile manipulation des flottants
En python, les nombres non entiers sont du type float.
type(0.1)
# float
Ces flottants (traduction française) sont à manipuler avec une extrême précaution. Il faut garder en tête que les calculs sont potentiellement faux, du moins imprécis, lorsque des flottants interviennent.
En 1991, durant la Guerre du Golfe, un missile anti-missile américain a raté sa cible de 500 mètres car son ordinateur interne émettait un signal toutes les 0.1 secondes. Au bout de 100 heures de fonctionnement, l'approximation du nombre flottant 0.1 a conduit à un décalage de 0,34 secondes, ce qui lui a fait rater sa cible. (source)