Bizonyít parancs

A GeoGebra Manual wikiből
Accessories dictionary.png
Ez az oldal a hivatalos használati útmutató nyomtható és PDF-be menthető része. A felépítése miatt az egyszerű felhasználók ezt nem szerkeszthetik. Ha bármilyen hibát találna, kérjük, jelezze felénk.Ugrás a felhasználók által szerkeszthető változathoz.


Bizonyít[ <Logikai Kifejezés> ]
Meghatározza, hogy az adott logikai kifejezés általánosságban igaz-e vagy nem.

Általában a GeoGebra a logikai kifejezés helyességét numerikus számításokkal dönti el. A Bizonyít parancs viszont szimbolikus módszereket alkalmaz, hogy meghatározza, hogy egy állítás általánosságban "true" (igaz) vagy pedig "false" (hamis). Ha a GeoGebra nem tudja meghatározni az eredményt, a válasz "undefined" (nem definiált).

Példa:
Három pontot definiálunk, A=(1,2), B=(3,4), C=(5,6). A KollineárisE[A,B,C] parancs eredménye true (igaz), mivel a numerikus ellenőrzés a pont aktuális koordinátáival történik. A Bizonyít[KollineárisE[A,B,C]] parancsot alkalmazva false (hamis) eredményt kapjuk, mivel a három pont általánosságban nem esik egy egyenesre, pl. ha megváltoztatjuk a pontok helyzetét.
Példa:
Definiáljunk egy háromszöget az A, B és C csúcsokkal, majd adjuk meg a következőket: D=Középpont[B,C], E=Középpont[A,C], p=Egyenes[A,B], q=Egyenes[D,E]. Most mind p∥q és Bizonyít[p∥q] eredménye true (igaz), mivel a háromszög középvonala mindig párhuzamos lesz a megfelelő oldallal.

© 2020 International GeoGebra Institute