by Vrai/Faux - affirmation 5)
Pour savoir si l'algorithme répond bien ce qui est proposé, on peut le programmer rapidement sur notre calculatrice graphique.
Pour mieux comprendre son comportement, rajoutons un affichage de l'état des variables et du test de la condition de poursuite du Tant que en fin de boucle.
Algorithme | Programme | ||||||||||
|
|
D'après la calculatrice, l'algorithme répond donc 0,55 et non 0,54.
La proposition est fausse.
Reste maintenant à justifier cette réponse conformément aux consignes du Vrai/Faux.
Si l'on est à l'aise avec le fonctionnement de la boucle Tant que, on peut faire un raisonnement par l'absurde.
Supposons que l'algorithme réponde 0,54.
Donc en fin d'algorihme, la variable X vaudrait 0,54.
L'algorithme s'articule autour d'une unique boucle Tant que, de condition de poursuite Y<0,5.
Donc en fin d'algorithme, la condition contraire Y≥0,5 serait vraie.
La dernière affectation effectuée à la fin de l'ultime itération de la boucle Tant que est Y prend prend la valeur 3/(4+6e^(-2X)).
Or, si nous effectuons le calcul avec X=0,54 on a :
$mathjax$Y=\frac{3}{4+6e^{-2X}}\\
\phantom{Y}=\frac{3}{4+6e^{-2×0.54}}\\
\phantom{Y}=\frac{3}{4+6e^{-1.08}}\\
\phantom{Y}\approx 0,496888$mathjax$
\phantom{Y}=\frac{3}{4+6e^{-2×0.54}}\\
\phantom{Y}=\frac{3}{4+6e^{-1.08}}\\
\phantom{Y}\approx 0,496888$mathjax$
Donc Y<0,5 d'où contradiction : l'algorithme ne peut pas se terminer dans ce contexte.
Donc l'hypothèse que l'algorithme réponde 0,54 est fausse.
Si l'on ne maîtrise pas suffisamment cette approche, on peut également justifier en fournissant les dernières étapes de la trace de l'algorithme, visible ci-dessus sur les captures d'écran de calculatrices.
