Différences entre versions de « Commande PreuveDétaillée »
(à traduire) |
|||
Ligne 1 : | Ligne 1 : | ||
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} | ||
{{command|logical}} | {{command|logical}} | ||
− | {{ | + | {{attention|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.}} |
− | |||
− | + | ;PreuveDétaillée[ <Expression booléenne> ]: Retourne quelques détails sur le résultat d'une preuve automatisée du caractère ''vraie'' ou ''fausse'' en général de l'expression booléenne. | |
− | * | + | |
− | * | + | Normalement, GeoGebra détermine si une [[Valeurs_booléennes|expression booléenne]] est ''vraie'' ou non numériquement. <br/>La commande <code>PreuveDétaillée</code>, comme le fait 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, mais, en plus du résultat, à la différence de cette dernière, elle retourne quelques détails, sous forme de liste : |
− | * | + | * Une liste vide '''{}''' si GeoGebra ne peut se prononcer sur la réponse ; |
− | * | + | * Une liste avec ce seul élément : '''{false}''',si l'assertion n'est pas ''vraie'' dans tous les cas ; |
− | {{ | + | * Une liste avec ce seul élément : '''{true}''',si l'assertion est ''vraie'' dans tous les cas ; |
− | + | * Une liste avec plusieurs éléments, contenant la valeur booléenne ''true'' et une autre liste pour les ''conditions non-dégénérées'', si l'assertion est ''vraie'' sous certaines conditions,<br/>par ex. {true, {"PolygoneDégénéré[A,B,C,D]","SontEgaux[A,B]"}} <small>PolygoneDégénéré<sup>(Traduction non encore implémentée)</small>.<br/> Cela signifie que si aucune de ces conditions n'est vérifiée, alors l'assertion est ''vraie'' . | |
− | {{Note| | + | |
+ | {{note|La liste apparaît dans la fenêtre Algèbre, non affichée dans Graphique, un clic sur la ''bille'' d'affichage, la fait apparaître, sous forme de liste déroulante, dans Graphique.}} | ||
+ | |||
+ | {{exemples| 1=<div> | ||
+ | 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>. | ||
+ | La commande <code><nowiki>PreuveDétaillée[p∥q]</nowiki></code> retourne <nowiki>{true,{"SontEgaux[A,B]"}}</nowiki>. Cela signifie que si les points ''A'' et ''B'' sont différents, alors la ''droite des milieux'' (DE) du triangle est parallèle au côté <nowiki>[AB]</nowiki>. | ||
+ | |||
+ | Nous définissons un quadrilatère de sommets ''A'', ''B'', ''C''et ''D'', et définissons les milieux ''E'', ''F'', ''G'' et ''H'' de ses côtés.<br/> | ||
+ | La commande <code><nowiki>PreuveDétaillée[SontEgaux[Segment[E,H],Segment[F,G]]]</nowiki></code> retourne la liste citée ci-dessus : <nowiki>{true, {"PolygoneDégénéré[A,B,C,D]","SontEgaux[A,B]"}} </nowiki>. | ||
+ | </div>}} | ||
+ | |||
+ | Il est tout à fait possible que la liste des conditions non-dégénérées ne soit pas la plus simple possible. | ||
+ | |||
+ | |||
+ | {{note|1=<div>--[[Utilisateur:Noel Lambert|Noel Lambert]] ([[Discussion utilisateur:Noel Lambert|discussion]]) 3 novembre 2012 à 18:13 (CET) | ||
+ | Je rappelle que cette commande en est à ses balbutiements ! | ||
+ | La propriété devrait aussi être annoncée comme ''vraie'' pour un quadrilatère dégénéré en triangle, si A et B sont confondus, alors leur milieu E existe et est confondu avec eux, le segment [EH] = [AH] est de même longueur que [FG] (propriété métrique du "segment des milieux") ! | ||
+ | Surtout que, si au lieu de l'égalité de longueur, on demande s'il y a parallélisme, la commande <code><nowiki>PreuveDétaillée[SontParallèles[Droite[F,G],Droite[E,H]]]</nowiki></code>, elle, retourne {true}, sans cas particulier ? Or, en cas de polygone dégénéré par une superposition des points B et D, les droites citées ne sont pas définies !</div>}} | ||
+ | |||
+ | |||
+ | |||
+ | {{Note| Voir aussi la commande [[commande Prouver|Prouver]], 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 du 3 novembre 2012 à 18:13
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. |
- PreuveDétaillée[ <Expression booléenne> ]
- Retourne quelques détails sur le résultat d'une preuve automatisée du caractère vraie ou fausse en général de l'expression booléenne.
Normalement, GeoGebra détermine si une expression booléenne est vraie ou non numériquement.
La commande PreuveDétaillée
, comme le fait 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, mais, en plus du résultat, à la différence de cette dernière, elle retourne quelques détails, sous forme de liste :
- Une liste vide {} si GeoGebra ne peut se prononcer sur la réponse ;
- Une liste avec ce seul élément : {false},si l'assertion n'est pas vraie dans tous les cas ;
- Une liste avec ce seul élément : {true},si l'assertion est vraie dans tous les cas ;
- Une liste avec plusieurs éléments, contenant la valeur booléenne true et une autre liste pour les conditions non-dégénérées, si l'assertion est vraie sous certaines conditions,
par ex. {true, {"PolygoneDégénéré[A,B,C,D]","SontEgaux[A,B]"}} PolygoneDégénéré(Traduction non encore implémentée).
Cela signifie que si aucune de ces conditions n'est vérifiée, alors l'assertion est vraie .
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]
.
La commande PreuveDétaillée[p∥q]
retourne {true,{"SontEgaux[A,B]"}}. Cela signifie que si les points A et B sont différents, alors la droite des milieux (DE) du triangle est parallèle au côté [AB].
Nous définissons un quadrilatère de sommets A, B, Cet D, et définissons les milieux E, F, G et H de ses côtés.
La commande PreuveDétaillée[SontEgaux[Segment[E,H],Segment[F,G]]]
retourne la liste citée ci-dessus : {true, {"PolygoneDégénéré[A,B,C,D]","SontEgaux[A,B]"}} .
Il est tout à fait possible que la liste des conditions non-dégénérées ne soit pas la plus simple possible.
Je rappelle que cette commande en est à ses balbutiements ! La propriété devrait aussi être annoncée comme vraie pour un quadrilatère dégénéré en triangle, si A et B sont confondus, alors leur milieu E existe et est confondu avec eux, le segment [EH] = [AH] est de même longueur que [FG] (propriété métrique du "segment des milieux") !
Surtout que, si au lieu de l'égalité de longueur, on demande s'il y a parallélisme, la commandePreuveDétaillée[SontParallèles[Droite[F,G],Droite[E,H]]]
, elle, retourne {true}, sans cas particulier ? Or, en cas de polygone dégénéré par une superposition des points B et D, les droites citées ne sont pas définies !