Bizonyítási módszerek ÉV ELEJI FELADATOK

Hasonló dokumentumok
Kijelentéslogika, ítéletkalkulus

Kijelentéslogika, ítéletkalkulus

25. tétel: 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

A logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le "Analitika" című művében, Kr.e. IV. században.

1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei

Matematikai logika és halmazelmélet

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika

MATEMATIK A 9. évfolyam. 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR

2016/2017. Matematika 9.Kny

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika

A matematika nyelvér l bevezetés

Arany Dániel Matematikai Tanulóverseny 2015/2016-os tanév 1. forduló Haladók III. kategória

ÖSSZEVONT ÓRÁK A MÁSIK CSOPORTTAL. tartósság, megerősítés, visszacsatolás, differenciálás, rendszerezés. SZÁMTANI ÉS MÉRTANI SOROZATOK (25 óra)

Bizonyítási módszerek - megoldások. 1. Igazoljuk, hogy menden természetes szám esetén ha. Megoldás: 9 n n = 9k = 3 3k 3 n.

2016/2017. Matematika 9.Kny

SULINOVA PROGRAMTANTERVÉHEZ ILLESZKEDŐ TANMENET 9. ÉVFOLYAM SZÁMÁRA

Matematika Logika

A matematika nyelvéről bevezetés

Arany Dániel Matematikai Tanulóverseny 2010/2011-es tanév 1. forduló haladók III. kategória

Az 1. forduló feladatainak megoldása

3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.

Matematika osztályozó vizsga témakörei 9. évfolyam II. félév:

Osztályozóvizsga és javítóvizsga témakörei Matematika 9. évfolyam

Fonyó Lajos: A végtelen leszállás módszerének alkalmazása. A végtelen leszállás módszerének alkalmazása a matematika különböző területein

KOVÁCS BÉLA, MATEMATIKA I.

Knoch László: Információelmélet LOGIKA

Analízis I. Vizsgatételsor

Oktatási Hivatal. 1 pont. A feltételek alapján felírhatók az. összevonás után az. 1 pont

Diszkrét matematika I.

SZAKKÖZÉPISKOLA ÉRETTSÉGI VIZSGRA FELKÉSZÍTŐ KK/12. ÉVFOLYAM

Matematika tanmenet 12. osztály (heti 4 óra)

1. előadás: Halmazelmélet, számfogalom, teljes

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldás

MATEMATIKA I. JEGYZET 1. RÉSZ

A matematikai logika alapjai

Az informatika logikai alapjai

Fényi Gyula Jezsuita Gimnázium és Kollégium Miskolc, Fényi Gyula tér Tel.: (+36-46) , , , Fax: (+36-46)

(4 pont) Második megoldás: Olyan számokkal próbálkozunk, amelyek minden jegye c: c( t ). (1 pont)

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

TANMENET. a matematika tantárgy tanításához a 12. E osztályok számára

Javítókulcs, Válogató Nov. 25.

Racionális számok: Azok a számok, amelyek felírhatók két egész szám hányadosaként ( p q

AZ INFORMATIKA LOGIKAI ALAPJAI

Elemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged

MATEMATIKA EMELT SZINTŰ SZÓBELI VIZSGA TÉMAKÖREI (TÉTELEK) 2012

Következik, hogy B-nek minden prímosztója 4k + 1 alakú, de akkor B maga is 4k + 1 alakú, s ez ellentmondás.

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.

A lehetetlenségre visszavezetés módszere (A reductio ad absurdum módszer)

Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.

Arany Dániel Matematikai Tanulóverseny 2012/2013-as tanév első (iskolai) forduló haladók II. kategória

3. MINTAFELADATSOR KÖZÉPSZINT JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Az egyenlőtlenség mindkét oldalát szorozzuk meg 4 16-al:

FÉLÉVI KÖVETELMÉNYEK 2010/2011. tanév II. félév INFORMATIKA SZAK

Diszkrét matematika I.

Az értékelés a következők szerint történik: 0-4 elégtelen 5-6 elégséges 7 közepes 8 jó 9-10 jeles. A szóbeli vizsga várható időpontja

Matematika. 9.osztály: Ajánlott tankönyv és feladatgyűjtemény: Matematika I-II. kötet (Apáczai Kiadó; AP és AP )

angol Egységes követelmények

2. MINTAFELADATSOR KÖZÉPSZINT JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Matematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1

TANMENET ... Az iskola fejbélyegzője. a matematika tantárgy. tanításához a 9. a, b osztályok számára

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1

Osztályozó és Javító vizsga témakörei matematikából 9. osztály

Pannonia Sacra Katolikus Általános Iskola. Füzetjegyzék tanévre felső tagozat

PRÓBAÉRETTSÉGI VIZSGA január 18.

Érettségi feladatok: Síkgeometria 1/6

Bevezető analízis I. jegyzet

Az osztályozóvizsgák követelményrendszere 9. évfolyam

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Trigonometria

Arany Dániel Matematikai Tanulóverseny 2012/2013-as tanév 1. forduló haladók III. kategória

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

NT Matematika 10. (Heuréka) Tanmenetjavaslat

TANMENET. a matematika tantárgy tanításához 10. E.osztályok számára

Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések

Logika es sz am ıt aselm elet I. r esz Logika 1/36

MATEMATIKA TANMENET SZAKKÖZÉPISKOLA 12.E ÉS 13.A OSZTÁLY HETI 4 ÓRA 31 HÉT/ ÖSSZ 124 ÓRA

c.) Mely valós számokra teljesül a következő egyenlőtlenség? 3

Az Országos Középiskolai Tanulmányi Verseny tanévi második fordulójának feladatmegoldásai. x 2 sin x cos (2x) < 1 x.

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉPSZINT Függvények

A 2016/2017. tanévi Országos Középiskolai Tanulmányi Verseny első forduló MATEMATIKA I. KATEGÓRIA (SZAKGIMNÁZIUM, SZAKKÖZÉPISKOLA)

A logikai következmény

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Számelmélet

MATEMATIKA EMELT SZINTŰ SZÓBELI VIZSGA TÉMAKÖREI (TÉTELEK) 2005

Diszkrét matematika HALMAZALGEBRA. Halmazalgebra

BEVEZETÉS A MAGASABBSZINTŰ MATEMATIKÁBA ÉS ALKALMAZÁSAIBA KÉZI CSABA GÁBOR

Diszkrét matematika 2.C szakirány

K. Horváth Eszter, Szeged. Veszprém, július 10.

Osztályozó- és javítóvizsga témakörei MATEMATIKA tantárgyból

C C. Ábrázold gráffal, hogy melyik csapat melyikkel játszott! Hány mérkőzés van még hátra a bajnokságból?

Ramsey-féle problémák

Matematikai logika NULLADRENDŰ LOGIKA

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Számelmélet

Számelmélet Megoldások

1.1. Alapfogalmak. Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a

2018/2019. Matematika 10.K

1. megold s: A keresett háromjegyű szám egyik számjegye a 3-as, a két ismeretlen számjegyet jelölje a és b. A feltétel szerint

A valós számok halmaza 5. I. rész MATEMATIKAI ANALÍZIS

Országos Szakiskolai Közismereti Tanulmányi Verseny 2008/2009 MATEMATIKA FIZIKA

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

Arany Dániel Matematikai Tanulóverseny 2016/2017-es tanév Kezdők III. kategória I. forduló

JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Átírás:

Bizonyítási módszerek ÉV ELEJI FELADATOK

Év eleji feladatok Szükséges eszközök: A4-es négyzetrácsos füzet Letölthető tananyag: Emelt szintű matematika érettségi témakörök (2016) Forrás: www.mozaik.info.hu (regisztráció után letölthető) Négy színű toll, számológép, kis vonalzó

Év eleji feladatok Dolgozatok értékelése Maximális pontszám százalékában 30%-tól elégséges (2) 55%-tól közepes (3) 75%-tól jó (4) 90%-tól jeles (5) Dolgozatban elméleti kérdések és gyakorlati alkalmazások! Két jegyes témazárók és egy jegyes röpdolgozatok Témazáró dolgozatnál nyomdai állapotban levő NFT használható! Dolgozatírásnál a szükséges eszközök egymás között nem cserélgethetők!

Év eleji feladatok Félévi illetve év végi értékelés Alap óraszámban szerzett matematika jegyeidet figyelembe véve, szaktanároddal egyeztetve Honlapok: www.mozaik.info.hu Blog: http://bolcsfoldi-matek.webnode.hu/ www.oktatas.hu Studium Generale: http://www.studiumgenerale.hu/erettsegik-temakor-szerint

Bizonyítási módszerek Matematika felépítése: Fogalmak: Alapfogalmak Definíciók szemlélet alapján fogadjuk el őket Állítások: Pontos meghatározás tartozik hozzájuk Axiómák (alapigazságok) Tételek Szemlélet alapján fogadjuk el őket Bizonyítjuk őket

Bizonyítás Bizonyítás: eljárás; állítás helyességének indoklására; matematikai logika elemeinek felhasználásával Bizonyítás során az alapfogalmakat, definíciókat, axiómákat és a korábban bebizonyított tételeket felhasználhatjuk.

Matematikai logika Logika: helyes következtetések tudománya Kijelentés (állítás): olyan kijelentő mondat, amelyről egyértelműen eldönthető, hogy igaz vagy hamis. Az igaz illetve a hamis a kijelentés (állítás) logikai értéke. Logikai műveletek: Tagadás (negáció): NEM Összekapcsolás (konjukció): ÉS Szétválasztás (diszjunkció): VAGY Következtetés (implikáció): HA, AKKOR. Egyenértékűség (ekvivalencia): AKKOR ÉS CSAK AKKOR, HA.

Bizonyítási módszerek 1) Direkt bizonyítás 2) Indirekt bizonyítás 3) Teljes indukció 4) Skatulya-elv

Direkt bizonyítás Leírása: igaz állításokból (feltételekből) kiindulva helyes következtetésekkel eljutunk a bizonyítandó állításhoz (következményhez). A legtöbb matematikai tétel bizonyítása direkt módon történik. Példák direkt bizonyításra: Pitagorasz-tétel Thalesz-tétel

Indirekt bizonyítás Az indirekt bizonyítás két logikai törvényen alapul: Minden kijelentés vagy igaz, vagy hamis. Egy igaz kijelentés tagadása hamis, és fordítva, hamis kijelentés tagadása igaz. Leírása: feltesszük, hogy a bizonyítandó állítás nem igaz, és ebből kiindulva helyes következtetésekkel ellentmondásra (lehetetlen következményre) jutunk. Így a kiinduló feltevés volt téves, vagyis a bizonyítandó állítás valójában igaz. Indirekt bizonyítást akkor érdemes választani, ha az állítás tagadása könnyebben kezelhető, mint maga az állítás. Példák indirekt bizonyításra: Pitagorasz-tétel megfordítása Végtelen sok prímszám van. A 2 irracionális szám.

Teljes indukció

Teljes indukció Természetes számoktól függő állítások igazolására. Természetes számok: 0 és a pozitív egész számok Megszámlálás: a 0 természetes szám és minden természetes számnak van rákövetkezője (nála 1-gyel nagyobb). Leírása: először bebizonyítjuk az állítást n=0-ra (a probléma jellegéből adódóan n=1-re vagy valamilyen konkrét értékre), majd feltételezzük, hogy az állítás igaz valamely n természetes számra (indukciós feltevés) és ennek felhasználásával bebizonyítjuk, hogy az állítás igazsága öröklődik n+1 re.

Példák teljes indukcióra: Bizonyítsuk be, hogy minden n természetes számra: 1. 1 + 2 + 3 + + n = n(n+1) 2 2. 1 2 + 2 2 + 3 2 + + n 2 = n(n+1)(2n+1) 6 3. 1 + 3 + 5 + + 2n 1 = n 2 4. 1 2 + 2 3 + + n n + 1 = n(n+1)(n+2) 3 5. h > -1-re és tetszőleges n természetes számra teljesül, hogy (1 + h) n 1 + n h [Bernoulli-egyenlőtlenség]

Skatulya-elv Leírása: n darab tárgyat k db skatulyában helyezünk el. Ha n > k, akkor biztosan lesz olyan skatulya, amelyikbe legalább két tárgy kerül. Ha n > kp (p természetes szám), akkor biztosan lesz olyan skatulya, amelyikbe legalább p+1 db tárgy kerül. Skatulya-elvvel csoportosítással kapcsolatos problémákat bizonyítunk. Például: Ha adott n+1 darab pozitív egész szám, akkor ezek között biztosan van kettő olyan, amelyek különbsége osztható n-nel.

Házi feladatok: 1 1. Bizonyítsa be, hogy az + 1 + + 1 1 2 2 3 n n+1 természetes számra teljesül. = n n+1 összefüggés minden n 2. Bizonyítsa be, hogy 25 fős társaságban biztosan van 3 fő, akik azonos csillagjegyben születtek.

Versenyfeladatok: 1. Egy derékszögű háromszög oldalainak hossza egész szám. Igazolja, hogy a háromszög az egyik csúcsán átmenő két egyenessel három egyenlő területű részre vágható úgy, hogy a kapott részek területének a mérőszáma is egész szám! 2. Az ABC háromszögben BC=a, CA=b, AB=c hosszúságú, és az oldalak hosszaira teljesül, hogy a 3 + b 3 = c 3. Bizonyítsa be, hogy BCA < < 90. 3. Elhelyezhető-e a térben 11 pont úgy, hogy az általuk meghatározott egyenes száma 53 legyen? Lehet-e a 11 pont által meghatározott egyenesek száma 54? Állítását indokolja! (bolcsfoldi-matek.webnode.hu)