additionally permet de faire des hypothèses supplémentaires
sur une variable. En effet, si on fait une autre hypothèse avec assume,
l’ancienne hypothèse est effacée. Donc, si vous voulez rajoutez une
nouvelle hypothèse il faut utiliser la commande additionally ou mettre
additionally comme deuxième argument de assume.
additionally a les mêmes arguments que assume ou supposons :
un nom de variable suivi d’uneégalité ou d’une inégalité représentant
l’hypothèse faite ou bien un nom de variable suivi d’une virgule et de son
type. On peut mettre plusieurs hypothèses à condition de les relier par
and ou or selon ce que l’on veut faire !
On est obligé d’utiliser
additionally pour spécifier le type de la variable et une plage de
valeurs pour cette variable.
On tape pour dire que b est un entier supérieur strictement à 5 :
ou bien
On obtient :
puis
On tape :
On obtient :