Bizonyít parancs

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).

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.

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.