Commande Prouver

De GeoGebra Manual
Révision datée du 3 novembre 2012 à 11:17 par Noel Lambert (discussion | contributions) (début)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Aller à : navigation, rechercher
Prouver[ <Expression booléenne> ]
Retourne si l'expression booléenne donnée est en général vraie ou fausse.
cette commande  le résultat numériquement

Normalement, GeoGebra détermine si une boolean expression est true ou non numériquement. Cependant, la commande Prouver utilise symbolic methods pour déterminer si une affirmation est true ou false en général. Si GeoGebra ne peut déterminer la réponse, le résultat is undefined.

Exemple:
Nous définissons trois points libres, A=(1,2), B=(3,4), C=(5,6). La commande SontAlignés[A,B,C] retourne true, parce qu'un test numérique utilisé 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 nécessairement alignés.
Exemple:
Nous définissons un triangle de sommets A, B and C, et définissons D=MidPoint[B,C], E=MidPoint[A,C], p=Line[A,B], q=Line[D,E]. Now both p∥q and Prove[p∥q] yield true, since a midline of a triangle will always be parallel to the appropriate side.
© 2024 International GeoGebra Institute