1. Halmazok, logika, bizonyítási módszerek
1.1. Halmazok
A halmaz alapfogalom, nem definiáljuk. Talán úgy tudjuk körülírni, hogy valamilyen dolgok összessége. Egy halmazt az elemei határoznak meg. Az elemek benne vannak a halmazban. Jelölés: , azaz az elem benne van az halmazban. Annak a jelölése, hogy a elem nincs benne az halmazban: .A halmazokat Venn-diagrammal is szoktuk szemléltetni.
A halmazok között műveleteket is végezhetünk:1.2. Logikai műveletek, igazságtáblázatok
Azokat a mondatokat, amelyekhez józan ésszel az igaz vagy hamis logikai értékek valamelyikét hozzárendelhetjük, állításoknak nevezzük.Nem minden mondat állítás.
és),
vagy),
A pontosan akkor igaz..., azt jelenti, hogy minden más esetben hamis.
A pontosan akkor hamis..., azt jelenti, hogy minden más esetben igaz.
vagy-gyal összekötött állítás akkor is igaz, ha mindkét rész állítás igaz. A matematikában az úgynevezett
megengedő vagy-ot használjuk.
i | i | i | i | i | i |
i | h | h | i | h | h |
h | i | h | i | i | h |
h | h | h | h | i | i |
i | h |
h | i |
i | i | h | h | h | h |
i | h | i | h | i | i |
h | i | i | h | h | i |
h | h | i | i | h | h |
1.3. Bizonyítási módszerek: direkt, indirekt
Ahogy már írtuk, a matematikában az axiómák kivételével minden állítást bizonyítani kell. Az egyszerű vagy egyszerűnek látszó állításokat is. Bizonyítás közben felhasználhatjuk az axiómákat és a már korábban bizonyított állításokat. Ez nem jelenti azt, hogy valóban mindig mindent bizonyítani fogunk, erre időnk sem lesz, ehelyett elfogadjuk, hogy mások már bizonyították a megfelelő állításokat, tételeket.A feladatok egy része megmondja, hogy mit kell bizonyítani.
Példa: Bizonyítsuk be, hogy , ahol .
Ilyenkor végig kell gondolni az állítást, és hogy milyen bizonyítási módszerek jöhetnek szóba. Itt például bizonyíthatunk teljes indukcióval vagy felhasználhatjuk a számtani sorozat összegképletét.Sok esetben a feladat csak kérdez, és nem mondja meg, hogy mit kell bizonyítani.
Példa:Van-e olyan szám, amelyikre teljesül, hogy ha , akkor ?
Ahhoz, hogy tudjuk, hogy mit akarunk bizonyítani sejtésekre van szükségünk. A sejtésekhez rajzokkal, konkrét értékek kiszámításával juthatunk el. Nagyon fontos, hogy meg tudjuk különböztetni a sejtéseket a bizonyított állításoktól.
Ha az előző példát akarjuk megoldani, érdemes néhány kis
esetet kiszámolni:
-re | , | ||
-re | , | ||
-re | , | ||
-re | , | ||
-re | , |
Most az a sejtésünk, hogy igen, van ilyen szám. Ha már van sejtésünk, akkor el kell kezdeni a bizonyítást. A bizonyítás nem azonos a bizonygatással. Az, hogy látszik, hogy igaz
, nem bizonyítás.
Az előző sejtést becsléssel bizonyíthatjuk be: , ha . Tehát, ha , akkor , továbbá ha , akkor . Vagyis, ha , akkor az összes egyenlőtlenség teljesül a következő becslésben: , tehát az jó megoldás. Most esetben bizonyítottuk a sejtést.
Példa:Van-e olyan , amelyikre teljesül, hogy ha , akkor ?
Próbálkozzunk most is:
-re | , | ||
-re | , | ||
-re | , | ||
-re | , | ||
-re | , |
Most az a sejtés alakulhat ki, hogy a feladatban szereplő nem létezik, és ez látszik
is. A látszik
nem bizonyítás. Ha megpróbáljuk a sejtésünket bizonyítani, és azt tapasztaljuk, hogy nem sikerül, két lehetőség van: az egyik az, hogy ügyetlenek vagyunk, és ezért nem sikerül bizonyítani, a másik lehetőség az, hogy nem is igaz a sejtésünk. Tehát, ha nem sikerül egy bizonyítás, érdemes megváltoztatni a sejtést. Ebben az esetben a megváltoztatott sejtést kell bizonyítani.
Példa direkt bizonyításra:A számtani-mértani közép egyenlőtlenség bizonyítása két szám esetén.
A direkt bizonyításoknál nagyon kell figyelni arra, hogy nem a bizonyítandó állításból indulunk ki, hiszen arról nem tudjuk, hogy igaz-e, csak majd a bizonyítás után. Ha hamis állításból indulunk ki, bármit levezethetünk, ld. a megjegyzést az implikációnál.Példa olyan hibás bizonyításra, amikor hamis állításból indulunk ki:
Az a sejtésünk, hogy . Az egyenlőség mindkét oldalát -val megszorozva a igaz állításhoz jutunk. Abból, hogy a végeredmény igaz, nem következtethetünk arra, hogy a kiindulás is igaz volt.
Nem minden esetben tudjuk előre, hogy melyik az az igaz állítás, amiből ki kell indulni. Természetesen gondolkozhatunk visszafele, próbálkozhatunk a bizonyítandó állítás alakításával, és azzal, hogy így jussunk el egy igaz állításhoz, de a megoldás végén a bizonyítás leírásakor az igaz állításból kiindulva kell eljutni helyes lépéseken keresztül a bizonyítandó állításhoz. Az igaz állítás a START, a bizonyítandó állítás a CÉL. Segíthet, ha visszafele bejárjuk a pályát, de a versenyen a STARTBÓL kell kiindulni, és a CÉLBA kell beérkezni.ez a toll kékaz, hogy
ez a toll nem kék. Nem a tagadása az
ez a toll kékállításnak sem az, hogy
ez a toll piros, sem az hogy
ez a toll nem kék, hanem piros.
Példa olyan hibás bizonyításra, amikor rosszul fogalmazzuk meg az indirekt feltevést:
Az a sejtésünk, hogy ha , akkor . A sejtést indirekt módon próbáljuk bizonyítani. A hibásan megfogalmazott indirekt feltevés:
Ha , akkor .
Az így megfogalmazott indirekt feltevés biztosan nem igaz, ellenpélda az , hiszen , és . Tehát az indirekt feltevés nem igaz. Ebből helyesen megfogalmazott indirekt feltevés esetén következne, hogy az eredeti állítás igaz.
Most viszont nem következik, és az eredeti állítás nem is igaz: például esetén és .(1) | igaz, | |
(2) | ha igaz, akkor is igaz, |
1.4. Hogyan indokoljunk?
Sok feladat tesz fel olyan jellegű kérdést, hogyigaz-e, lehet-e, következik-e'valami, és a feladat végén ott van, hogy
a választ indokoljuk meg'! A helyes indokláshoz tudnunk kell, hogy mikor milyen jellegű indoklást kell adnunk. Most különböző típusú feladatokra nézünk példákat. Az
Igaz-e minden esetben?típusú feladatok:
Igaz-e minden esetben?, és a válasz az, hogy
nem, akkor elég egyetlen ellenpéldát megadnunk. Természetesen mindig meg kell mutatnunk, hogy az ellenpélda valóban ellenpélda.
minden esetbenkifejezés. Ha egy állításról általánosan beszélünk, akkor mindig a
minden esetregondolunk. Tehát az előbbi példát úgy is megfogalmazhattuk volna, hogy
Igaz-e, hogy ?A válasz az, hogy nem igaz, és egyetlen ellenpélda jó indoklásnak.
igazválasz lesz a jó. Most viszont nem elég, ha konkrétan mutatunk példát arra, amikor az állítás igaz, hiszen minden szigorúan monoton növő függvénypárt ellenőriznünk kellene, ami lehetetlen. Ilyenkor bizonyítunk. Legyen és szigorúan monoton növő. Ez azt jelenti, hogy ha , akkor és . Az egyenlőtlenségeket összeadva , tehát az állítás igaz.
Igaz-e minden esetben?', és a válasz az, hogy
igen, akkor az indoklás az általános bizonyítás. A
Következik-e?típusú kérdésnél ugyanolyan jellegű indoklást kell adnunk, mint az
Igaz-e?kérdésnél.
A Lehet-e?
típusú feladatok:
nem. Megpróbáljuk a sejtést bebizonyítani, de nem sikerül. Talán azért nem, mert nem is igaz a sejtés. Megváltoztatjuk a sejtést arra, hogy igen, két irracionális szám összege lehet racionális. Ezt valamilyen konkrét példával tudjuk megindokolni. Példa: és . Adjuk össze a két számot: .
nem lehetválasz lesz a jó. Most viszont nem elég, ha konkrétan mutatunk példát arra, amikor az állítás nem igaz, hiszen minden szigorúan monoton csökkenő függvénypárt ellenőriznünk kellene, ami lehetetlen. Ilyenkor bizonyítunk. Legyen és szigorúan monoton csökkenő. Ez azt jelenti, hogy ha , akkor és . Az egyenlőtlenségeket összeadva , tehát az összegfüggvényre nem teljesülhet a szigorúan monoton növekedés definíciója, ami szerint az egyenlőtlenségnek kellene teljesülnie.
Lehet-e?, és a válasz az, hogy
igen, akkor az indoklás egy példa. Természetesen meg kell mutatni, hogy a példa valóban jó. Ha viszont a válasz az, hogy
nem lehet, akkor az indoklás az általános bizonyítás. Fontos: Az
igaz-e, lehet-e, következik-e' típusú feladatok megoldásakor néhány konkrét példára vagy korábbi ismeretekre, tapasztalatokra támaszkodva először ki kell alakítani egy sejtést. A sejtés határozza meg, hogy példát, ellenpéldát keresünk, vagy bizonyítani próbálunk egy állítást. Ha az indoklás nem sikerül, érdemes a sejtést megváltoztatni. Lehet, hogy a megoldás során többször is változik a sejtésünk. Ha látjuk, hogy miért nem tudunk példát vagy ellenpéldát mutatni, az megkönnyíti a bizonyítást, illetve, ha látjuk, hogy miért nem tudunk bizonyítani, például milyen feltétel hiányzik, az megkönnyíti a példa, ellenpélda gyártását.
1.5. Feladatok
(Baranyai Zsolt)
1. Ebben a dobozban egy tábla csoki van.
2. Ebben a dobozban nincs csoki.
Van-e biztosan csoki valamelyik dobozban, és ha igen, melyikben, feltéve, hogyketten átmennek, egy visszajön a lámpávalmódszer lehetséges. Az emberek maximális sebessége különböző. Ha egyedül vannak, rendre 1, 2, 5 és 10 perc alatt érnek át. Két ember együtt a lassabbik sebességével tud haladni. Átjuthatnak-e a hídon valamennyien 30 perc alatt? Átjuthatnak-e 20 perc alatt? És 17 perc alatt? Vagy 15 perc alatt?
igen-nel vagy
nem-mel felelhetnek. Milyen kérdéssel, illetve kérdésekkel tud a vándor biztosan eljutni az oázisba?
ukkvagy
mukklehet a válaszuk, ahol a két válasz közül az egyik igent, a másik pedig nemet jelent.