====== Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel. ======

Matematikai bizonyítás: ugyan olyan elméletben, mint bármely máshol használt bizonyítás, ám gyakorlatban sokkal nagyobb precizitást követel meg. A matematikában igaznak tartott állítások (tételek) érvényességének bemutatása.

A matematikában az igaznak vélt kijelentések igaz volta csak matematikai bizonyítással, gondolati úton fedhető fel.


====== Tétel, axióma, alapfogalom ======

Mint mindennek, a matematikának is vannak alapfogalmai, amelyek nem szorulnak magyarázatra (igazából pontos magyarázatot szerintem elég nehéz lenne rájuk adni; pl. halmaz...). Másik alapvető rész az axióma, axiómarendszer. Axióma az az állítás, amelyet elfogadunk igaznak, bizonyítás nélkül. Ezekből vethetőek fel és vezethetőek le a különféle állítások, azaz tételek.

====== Formális és informális bizonyítás ======

===== Formális =====
A legtöbb matematikus úgy gondolja - Frege és Hilbert után szabadon -, hogy a bizonyítás nem más, mint olyan A1, A2,.., An állítások sorozata, melynek első eleme axióma, utolsó pedig a tétel. A kettő között 'ha... akkor...' formájú összekötés kell hogy legyen. 

===== Informális =====
Ám ezzel szemben vannak, akik úgy gondolják, hogy nem elég a tételeket végiggondolni - Brouwer és követői, az intuicionisták. Szerintük a tételek csak akkor érvényesek, ha közvetlen kapcsolatban vannak valamely axiómával (ellenben pl. Gödel teljességi tételével, melyben csak bizonyítHATóságok vannak megfogalmazva, nem bizonyítottságok). 



====== Matematikai logika, logikai műveletek ======

A matematikai bizonyítások során a logikai műveletekkel dolgozunk. Ezek közül a legalapvetőbbek:

  *diszjunkció: "A vagy B", A∨B
  *konjunkció: "A és B", A∧B
  *implikáció: "ha A akkor B", A => B
  *negáció: "nem A", ¬A
  *univerzális kvatifikáció: "minden x-re A", ∀(x)A(x) (valójában kvantor, ld. lejjebb..)
  *egzisztenciális kvantifikáció: "van olyan x, amire A", ∃(x)A(x) (valójában kvantor, ld lejjebb..)
  *egyenlőség: "A egyenlő(azonos)B", A=B


... ahol A és B állítások (tételek). Az univerzális és egzisztenciális kvantifikációt csak azért vettem bele, mert a tételek kimondásában (és annak formális leírásában) gyakran használjuk őket.

A matematikai logikáról, logikai műveletekről, kvantorokról külön szócikk is található, itt: [[matematika:logika:start]]

====== Bizonyítási típusok ======

Itt próbálkozom meg a különböző bizonyítási eljárások bemutatásával. Ezek természetesen csak elméletek, és - mint azt mindenki, aki már próbált valamilyen matematikai állítást belátni tudja jól - a megoldás menete esetenként változik. Fel kell írni mindenféle adatot és összefüggést, aztán próbálkozni több irányban, ehez segítség (meg az érettségihez ;)) a következő lista:

===== Direkt bizonyítás =====

A matematikában és a logikában direkt bizonyításnak nevezzük azt az eljárást, melynek során már bizonyított tények vagy axioómák segítségével, helyes, egymásból következő logikai lépések sorozatával igazoljuk a kívánt állítást. Vagyis minden lépésnél figyelni kell, hogy az igazság öröklődjön . Erre példa lehet mondjuk a Pithagorasz-tétel kismillió bizonyítása. (pl: [[http://www.jgytf.u-szeged.hu/tanszek/matematika/speckoll/2001/pitagorasz/56_bizony%EDt%E1s.html]])

==== Dedukciótétel ====

Az egyik legtipikusabb direkt bizonyítási lépés, melynek során feltételezzük A állítás igaz voltát (axiómának tekintjük), és így levezetjük B állítást. Tehát feltéve A-t, teljesül B, vagyis ha A akkor B.

===== Indirekt bizonyítás =====

Azt a bizonyítási eljárást nevezzük indirektnek, melynél nem közvetlenül azt látjuk be, hogy adott A állítás igaz, hanem hogy ¬A nem igaz. Könnyebb érthetőség végett egy egyszerű példa a √2 irracionális voltának bizonyítása (Pósfai tanárnő csoportjainak szeretettel...):

Tétel: √2 irracionális
Bizonyítás: tegyük fel, hogy √2 racionális -> felírható két egész szám hányadosaként. A tört a legyegyszerűbb alakra van hozva, tehát a leganagyobb közös osztó az 1.

  √2=p/q  / ()² 

  2=p²/q² / *q² 

  2q²=p²  -> p osztható kettővel, tehát legyen p=2z

  2q²=4z² / :2

  q²=2z²

Láthatjuk, hogy az utolsó sor alapján q is osztható kettővel, tehát mindkét szám páros, tehát nem igaz az indirekt feltétel, mert lehetne egyszerűsíteni.

QED. ("quod erat demonstrandum" - latin, "ezt kellett bizonyítani")

==== Redukció ad absurdum ====

Az indirekt bizonyítások központi lépése, melynek lényege hogy adott A elméleten belül ellentmondásra jutasson egy ¬T formájú B állítást. 

Vagyis, ha A-n belül B állításnál ellentmondásra jutunk, akkor ¬B levezethető. Ezt kicsit nehéz így elképzelni; de képzeljük el, hogy úgy kezdjük a bizonyítást, hogy "Tegyük fel hogy B mégis igaz...", és úgy fejezzük be, hogy ellentmondásra jutunk, majd azt mondjuk: "..lehetetlen tehát, hogy B igaz legyen, ezért ¬B igaz". 

A példában az az állítás, hogy √2 ¬racionális. Feltettük, hogy racionális, ellentmondásra jutottunk, tehát ¬B (¬¬racionális [kettős negáció; = racionális]) igaz.

==== Ex falso quodlibet ====

Ez a hamisból minden következik elve, vagyis ha egy állításban A és ¬A is levezethető, akkor az állítás hasznavehetetlen.

===== Teljes indukció =====

Olyan bizonyítási eljárás, melynek során az állítás igazságát belátjuk egy adott elemre, majd belátjuk az öröklődést. Részletesen a logika - teljes indukció alatt található információ, itt: [[matematika:logika:teljes_indukció]]