Bizonyít parancs
Innen: GeoGebra Manual
A lap korábbi változatát látod, amilyen Gabriela Ferenczy (vitalap | szerkesztései) 2015. október 19., 10:36-kor történt szerkesztése után volt.
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.
Following text is about a feature that is supported only in 5.0 beta version.
{{{1}}} |
- 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.
Jegyzet: Lásd még a BizonyításRészletek parancsot, a Logikai értékeket és az algoritmus technikai részleteit.