Voici un programme de calcul : -Choisir un nombre. -Multiplier ce nombre par 0,5. - Ajouter 3. - Multiplier par 2. -Soustraire 6. Exécute ce programme de calcul

On choisit 4.

4
4 x 0,5 = 2
2 + 3 = 5
2 x 5 = 10
10 - 6 = 4

On choisit 6 :

6
6 x 0,5 = 3
3 + 3 = 6
2 x 6 = 12
12 - 6 = 6

On remarque que l'on tombe toujours sur le nombre de départ.

On essaye avec x pour démontrer.

x
0,5x
0,5x + 3
2(0,5x + 3) = x + 6
x + 6 - 6 = x

Donc c'est démontré pour toute valeur de x.