Différences entre versions de « Commande Prouver »
De GeoGebra Manual
(début) |
(à suivre ...) |
||
| Ligne 4 : | Ligne 4 : | ||
;Prouver[ <Expression booléenne> ]: Retourne si l'expression booléenne donnée est en général vraie ou fausse. | ;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 | cette commande le résultat numériquement | ||
| − | Normalement, GeoGebra détermine si une [[ | + | Normalement, GeoGebra détermine si une [[Valeurs_booléennes|expression booléenne]] est ''true'' ou non numériquement. Cependant, la commande Prouver utilise des méthodes de calcul formel 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''. |
{{example| 1=<div>Nous définissons trois points libres, <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code>, <code><nowiki>C=(5,6)</nowiki></code>. La commande <code><nowiki>SontAlignés[A,B,C]</nowiki></code> retourne ''true'', parce qu'un test numérique utilisé sur les coordonnées actuelles des trois points autorise de l'affirmer. En utilisant <code><nowiki>Prouver[SontAlignés[A,B,C]]</nowiki></code> vous obtenez ''false'' comme réponse, car, dans le cas général, trois points ne sont pas nécessairement alignés.</div>}} | {{example| 1=<div>Nous définissons trois points libres, <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code>, <code><nowiki>C=(5,6)</nowiki></code>. La commande <code><nowiki>SontAlignés[A,B,C]</nowiki></code> retourne ''true'', parce qu'un test numérique utilisé sur les coordonnées actuelles des trois points autorise de l'affirmer. En utilisant <code><nowiki>Prouver[SontAlignés[A,B,C]]</nowiki></code> vous obtenez ''false'' comme réponse, car, dans le cas général, trois points ne sont pas nécessairement alignés.</div>}} | ||
| − | {{example| 1=<div>Nous définissons un triangle de sommets ''A'', ''B'' and ''C'', et définissons <code><nowiki>D= | + | {{example| 1=<div>Nous définissons un triangle de sommets ''A'', ''B'' and ''C'', et définissons <code><nowiki>D=MilieuCentre[B,C]</nowiki></code>, <code><nowiki>E=MilieuCentre[A,C]</nowiki></code>, <code><nowiki>p=Droite[A,B]</nowiki></code>, <code><nowiki>q=Droite[D,E]</nowiki></code>. Now both <code><nowiki>p∥q</nowiki></code> and <code><nowiki>Prove[p∥q]</nowiki></code> yield ''true'', since a midline of a triangle will always be parallel to the appropriate side.</div>}} |
| − | {{Note| | + | {{Note| Voir aussi la [[commande PreuveDétaillée]], la page[[Valeurs booléennes]] et pour les développeurs la page en anglais [http://dev.geogebra.org/trac/wiki/TheoremProving technical details of the algorithms|détails techniques sur les algorithmes].}} |
Version du 3 novembre 2012 à 14:00
 |
ne concerne que la version GeoGebra 5.0 |
|
Cette commande GeoGebra est en construction. Attendez-vous à rencontrer des problèmes divers en l'essayant. La syntaxe ou le résultat de cette commande peuvent être sujets à modifications. |
- 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 expression booléenne est true ou non numériquement. Cependant, la commande Prouver utilise des méthodes de calcul formel 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=MilieuCentre[B,C], E=MilieuCentre[A,C], p=Droite[A,B], q=Droite[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. Note : Voir aussi la commande PreuveDétaillée, la pageValeurs booléennes et pour les développeurs la page en anglais [http://dev.geogebra.org/trac/wiki/TheoremProving technical details of the algorithms
