Différences entre versions de « Commande Prouver »
De GeoGebra Manual
| (4 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | <noinclude>{{Manual Page|version= | + | <noinclude>{{Manual Page|version=6.0}}</noinclude> |
| − | {{command|logical}} | + | {{command|logical|Prouver}} |
| − | + | ||
| − | ;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 [[Valeurs_booléennes|expression booléenne]] est ''vraie'' ou non numériquement. <br/>La commande <code>Prouver</code> utilise, quant à elle, des méthodes de calcul formel pour déterminer si une affirmation est ''vraie'' ou ''fausse'' en général.<br/>Si GeoGebra ne peut déterminer la réponse, le résultat est ''non défini''. | Normalement, GeoGebra détermine si une [[Valeurs_booléennes|expression booléenne]] est ''vraie'' ou non numériquement. <br/>La commande <code>Prouver</code> utilise, quant à elle, des méthodes de calcul formel pour déterminer si une affirmation est ''vraie'' ou ''fausse'' en général.<br/>Si GeoGebra ne peut déterminer la réponse, le résultat est ''non défini''. | ||
{{exemples| 1=<div> | {{exemples| 1=<div> | ||
| − | Nous définissons trois points libres, <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code> et <code><nowiki>C=(5,6)</nowiki></code>. <br/>Dans la situation actuelle, la commande <code><nowiki>SontAlignés | + | Nous définissons trois points libres, <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code> et <code><nowiki>C=(5,6)</nowiki></code>. <br/>Dans la situation actuelle, la commande <code><nowiki>SontAlignés(A,B,C)</nowiki></code> retourne ''true'', parce qu'un test numérique effectué sur les coordonnées actuelles des trois points autorise de l'affirmer. <br/>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 alignés. |
| − | Nous définissons un triangle de sommets ''A'', ''B'' et ''C'', et définissons <code><nowiki>D=MilieuCentre | + | Nous définissons un triangle de sommets ''A'', ''B'' et ''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>. <br/>Dans la situation actuelle, les deux commandes <code><nowiki>p∥q</nowiki></code> et <code><nowiki>Prouver(p∥q)</nowiki></code> 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é.</div> |
| + | <ggb_applet width="525" height="366" version="5.0" id="40121" enableRightClick="false" showAlgebraInput="true" enableShiftDragZoom="false" showMenuBar="false" showToolBar="false" showToolBarHelp="true" enableLabelDrags="false" showResetIcon="false"/>}} | ||
{{Note| Voir aussi la commande [[commande PreuveDétaillée|PreuveDétaillée]], la page [[Valeurs booléennes]] et pour les curieux, la page (en anglais) sur les [http://dev.geogebra.org/trac/wiki/TheoremProving détails techniques des algorithmes].}} | {{Note| Voir aussi la commande [[commande PreuveDétaillée|PreuveDétaillée]], la page [[Valeurs booléennes]] et pour les curieux, la page (en anglais) sur les [http://dev.geogebra.org/trac/wiki/TheoremProving détails techniques des algorithmes].}} | ||
Version actuelle datée du 9 octobre 2017 à 17:20
- 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.
Exemples :
Dans la situation actuelle, les deux commandes
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.
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é.
Note : Voir aussi la commande PreuveDétaillée, la page Valeurs booléennes et pour les curieux, la page (en anglais) sur les détails techniques des algorithmes.
