Commande Prouver
- Prouver( <Expression booléenne> )
-
Détermine si l’expression booléenne donnée est en général vraie ou fausse.
Normalement, GeoGebra détermine si une expression booléenne est vraie ou non
numériquement. La commande Prouver utilise, quant à elle, des méthodes de calcul formel pour déterminer si une
affirmation est vraie ou fausse en général.Si GeoGebra ne peut déterminer la réponse, le résultat est non défini.
Nous définissons trois points libres, A=(1,2), B=(3,4) et C=(5,6). Dans la situation actuelle, la
commande SontAlignés(A,B,C) retourne true, parce qu’un test numérique effectué sur les coordonnées actuelles des
trois points autorise de l’affirmer. En utilisant Prouver(SontAlignés(A,B,C)) vous obtenez false comme réponse,
car, dans le cas général, trois points ne sont pas alignés.
Nous définissons un triangle de sommets A, B et C, et définissons D=MilieuCentre(B,C),
E=MilieuCentre(A,C), p=Droite(A,B), q=Droite(D,E). Dans la situation actuelle, les deux commandes
p∥q et Prouver(p∥q) retournent true, car, tous les élèves sortant de collège doivent le savoir, la "droite
des milieux" de deux côtés d’un triangle est parallèle au troisième côté.
Voir une version interactive de cet exemple.
|
Voir aussi la commande PreuveDétaillée, la page Valeurs booléennes et pour les curieux, la page GeoGebra Fonctionnalités de Raisonnement automatisé : Un tutoriel Forbidden détails techniques des algorithmes. |