Bizonyít parancs

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 parancs

Ez a cikk egy GeoGebra command parancsról szól.

Parancskategóriák (Minden parancs)

• Algebra
• Diagram
• Kúpszelet
• Diszkrét matematika
• Függvények és kalkulus
• Geometria
• GeoGebra
• Lista
• Logikai
  • SzámolásHa
  • Ha
  • Definiált_e
  • Tartalmazza_e
  • Egész_e
  • MegtartHa
  • Kapcsolat
• Szélsőértékkeresés
• Valószínűség
• Script parancsok
• Táblázatkezelő
• Statisztika
• Szöveg
• Transzformációk
• Vektor & Mátrix
• CAS parancsok

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.