Bewijs Commando: verschil tussen versies
Uit GeoGebra Manual
(Nieuwe pagina aangemaakt met '<noinclude>{{Manual Page|version=4.0}}</noinclude>{{command|logical}} ;Bewijs[ <Booleaanse UItdrukking> ]: Geeft aan of de gegeven uitdrukking waar if vals is. B...') |
|||
| (2 tussenliggende versies door dezelfde gebruiker niet weergegeven) | |||
| Regel 1: | Regel 1: | ||
| − | <noinclude>{{Manual Page|version= | + | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|Bewijs}} |
| − | ;Bewijs | + | ;Bewijs( <Booleaanse UItdrukking> ): Geeft aan of de gegeven uitdrukking waar if vals is. |
[[Booleaanse waarden]] worden in GeoGebra normaal gebruikt in bewerkingen. Het commando ''Bewijs'' gebruikt [[w:nl:Symbolische_wiskunde]] om te bepalen of een uitdrukking in het algemeen ''true'' of ''false'' is. Wanneer GeoGebra het antwoord niet kan bepalen, is het resultaat ''onbepaald''. | [[Booleaanse waarden]] worden in GeoGebra normaal gebruikt in bewerkingen. Het commando ''Bewijs'' gebruikt [[w:nl:Symbolische_wiskunde]] om te bepalen of een uitdrukking in het algemeen ''true'' of ''false'' is. Wanneer GeoGebra het antwoord niet kan bepalen, is het resultaat ''onbepaald''. | ||
| − | {{example| 1=<div>We definiëren drie vrije punten: <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code>, <code><nowiki>C=(5,6)</nowiki></code>. Het commando <code><nowiki>ZijnCollinear | + | {{example| 1=<div>We definiëren drie vrije punten: <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code>, <code><nowiki>C=(5,6)</nowiki></code>. Het commando <code><nowiki>ZijnCollinear(A,B,C)</nowiki></code> geeft ''true'', na controle van de coördinaten van de punten. Het commando <code><nowiki>Bewijs(ZijnCollinear(A,B,C))</nowiki></code> geeft als antwoord ''false'', omdat de drie punten in het algemeen niet collineair zijn, d.w.z. wanneer je de punten versleept.</div>}} |
| − | {{example| 1=<div>Definiëren we een driehoek met hoepunten ''A'', ''B'' en ''C'', en vervolgens <code><nowiki>D=Middelpunt | + | {{example| 1=<div>Definiëren we een driehoek met hoepunten ''A'', ''B'' en ''C'', en vervolgens <code><nowiki>D=Middelpunt(B,C)</nowiki></code>, <code><nowiki>E=Middelpunt(A,C)</nowiki></code>, <code><nowiki>p=Rechte(A,B)</nowiki></code>, <code><nowiki>q=Rechte(D,E)</nowiki></code>. nu geven zowel <code><nowiki>p∥q</nowiki></code> als <code><nowiki>Bewijs(p∥q)</nowiki></code> als resultaat ''true'', want een middenparallel in een driehoek is altijd evenwijdig met de overeenkomende zijde. |
<ggb_applet width="525" height="366" version="5.0" id="40121" enableRightClick="false" showAlgebraInput="false" enableShiftDragZoom="false" showMenuBar="false" showToolBar="false" showToolBarHelp="true" enableLabelDrags="false" showResetIcon="false"/> | <ggb_applet width="525" height="366" version="5.0" id="40121" enableRightClick="false" showAlgebraInput="false" enableShiftDragZoom="false" showMenuBar="false" showToolBar="false" showToolBarHelp="true" enableLabelDrags="false" showResetIcon="false"/> | ||
</div>}} | </div>}} | ||
{{Note| Zie ook het commando [[BewijsDetail Commando|BewijsDetail]] en [[Booleaanse waarden]].}} | {{Note| Zie ook het commando [[BewijsDetail Commando|BewijsDetail]] en [[Booleaanse waarden]].}} | ||
Huidige versie van 2 aug 2019 om 13:40
- Bewijs( <Booleaanse UItdrukking> )
- Geeft aan of de gegeven uitdrukking waar if vals is.
Booleaanse waarden worden in GeoGebra normaal gebruikt in bewerkingen. Het commando Bewijs gebruikt w:nl:Symbolische_wiskunde om te bepalen of een uitdrukking in het algemeen true of false is. Wanneer GeoGebra het antwoord niet kan bepalen, is het resultaat onbepaald.
Voorbeeld:
We definiëren drie vrije punten:
A=(1,2), B=(3,4), C=(5,6). Het commando ZijnCollinear(A,B,C) geeft true, na controle van de coördinaten van de punten. Het commando Bewijs(ZijnCollinear(A,B,C)) geeft als antwoord false, omdat de drie punten in het algemeen niet collineair zijn, d.w.z. wanneer je de punten versleept.Voorbeeld:
Definiëren we een driehoek met hoepunten A, B en C, en vervolgens
D=Middelpunt(B,C), E=Middelpunt(A,C), p=Rechte(A,B), q=Rechte(D,E). nu geven zowel p∥q als Bewijs(p∥q) als resultaat true, want een middenparallel in een driehoek is altijd evenwijdig met de overeenkomende zijde.
Nota: Zie ook het commando BewijsDetail en Booleaanse waarden.
