Az ellenpéldával történő cáfolás az elemi matematikában Tuzson Zoltán, Székelyudvarhely Ismeretes, hogy a logika a helyes gondolkodás törvényeit leíró tudomány, ezért más tudományágakban sem nélkülözhető. Ezek közül kihangsúlyozzuk a retorikát és az érveléstant. A retorika az ókorban a szóbeli közlés folyamataként és szerkezeti formájaként, a hallgatóság meggyőzését jelentette. Ez a meggyőzési folyamat az érvelés magasztosságán, a nyelvi szépségén alapult. Ma már a retorikának is be kell tartania az alapvető logikai törvényeket. A helyes kijelentésekhez, érvényes kijelentésekre van szükség. Az érvelés egy olyan folyamat, amikor objektív bizonyítékok (alap, tények felmutatásával bemutatunk valamit, vagy megpróbálunk valakit rávenni valamilyen gondolat elfogadására illetve megkíséreljük azt, hogy velünk azonos álláspontja legyen. Az érveléstannak is, mint következtetési szerkezeteknek, hasonló, szigorú törvényeket kell betartania, hiszen magába foglalja a bizonyítás elméletet. A cáfolás a retorikában a beszéd ama része, mely az ellenfél részéről tett vagy tehető ellenvetések érvénytelenítésével foglalkozik. A cáfolás mintegy megfordított bizonyítás, mely azt törekszik kimutatni, hogy az ellenfél állításai magukban valótlanok vagy az ellenkezőjük a való, hogy meghazudtolják a tények, hogy az ellenfél okoskodása hibás elvekből indult ki, vagy helyes elvekből hibás következtetéseket vont le. Például, amikor a beszélő azt mondja, hogy Cáfolom, hogy az illető kiskorú. Itt a személyi igazolványa, mindenki megnézheti, hogy elmúlt 9 éves, akkor ezáltal cáfolja az állítást, hogy kiskorú az illető. A cáfolás végrehajtásának a sikerfeltételei egyebek között a következők: Felmerült egy állítás. Ezzel a beszélő nem ért egyet, tagadja az állítást. Az állítás ellen érveket hoz fel. Az érvek az állítás ellen összehasonlíthatatlanul erősebbek, mint a mellette szóló érvek. Ha teljesülnek ezek a feltételek, akkor a cáfolás sikeres, akkor a nyilatkozó nem csak mondta, hogy Cáfolom, hanem tényleg meg is tette. Gyakran halljuk azonban, hogy egy politikus azt mondja, hogy Cáfolom a sajtóban megjelent állításokat, és nem ad érveket az állítások ellen. Ebben az esetben a cáfolás sikertelen, mert nem teljesülnek a. é a. feltétel. Valójában, amikor a nyilatkozó azt mondja, hogy Cáfolom a sajtóban megjelent állításokat, akkor ezáltal csak tagadja a sajtóban megjelent állításokat. Vagyis, ebben az esetben a megnyilatkozás cselekvési értéke csak tagadás, és nem cáfolás. Ne felejtsük tehát, hogy a cáfolás, mások által állított igazságok érvekkel való tagadása. Ezen kitérők után lássuk, hogy mi a helyzet a cáfolással a matematikai logikában és a matematikában. A matematikában is az ismereteink igaz voltát be kell bizonyítanunk, mert azok lehetnek igazak vagy hamisak. Így vagy az ismeretek igazságát vagy azok hamisságát kell kimutatnunk. E célra két logikai művelet áll rendelkezésünkre. Az egyik a bizonyítás, a másik a cáfolás. Tulajdonképpen e két művelet egyet jelent: mindkettő bizonyítás, mert a cáfolás negatív irányú bizonyítás A bizonyítás és cáfolás az az ítélettel végezhető logikai művelet, amelynek segítségével egy tétel igazságát, vagy hamisságát tárjuk fel. Bizonyítani mindig annak kell, aki állít és a tétel igazságát mutatja. Cáfolnia mindig annak kell, aki tagad és a tétel hamisságát mutatja ki.
Nézzük hát, hogy a matematikai logikában, és maga a matematikában miből is áll a cáfolás, hogyan érvényesítjük a cáfolást a matematikai feladatok megoldása során. Legyen P(x egy egyváltozós nyitott mondat (unáris predikátum, vagy egyváltozós logikai függvény. Gyakran kell belátnunk és bizonyítanunk olyan mondatokat, amelyekben a két kvantor valamelyike is szerepel: x H P( x, vagy ( ( ( x H ( P( x, ahol H egy adott halmaz. Például: Igazoljuk, hogy ( x R( ( x x x Igazoljuk, hogy ( x R( x =. + = + +, vagy Az első példa egy azonosságot szemléltet ami mindig igaz, a második pedig egy egyenlet megoldásának a létezését mondja ki. Felmerülhetnek ellenben olyan mondatok is, amikor nem tudjuk egyből eldönteni, hogy azok mikor igazak, és mikor hamisak. Nézzünk két ilyen példát: n N n + n + 5M?. Példa: Igaz-e, hogy ( (. Példa: Igaz-e, hogy ( x R( x( x + ( x + ( x + + = 0 Belátható, hogy az első példa esetén, hogy nem tudom egyenként ellenőrizni, hogy az n összes n N szám esetén + n + nem lesz az 5-nek a többszöröse, és valójában, ha másként is bizonyítani szeretném ezt, valójában mit is bizonyítsak, hogy azt jelentse, hogy a szóban forgó összeg nem többszöröse az 5-nek. Ekkor felmerülhet az a gondolat, hogy hátha nem lesz igaz az állatás valamilyen n értékre? Próbáljunk legalább egy ilyen értéket keresni. Ha elkezdjük kipróbálni az első néhány természetes számot, akkor mind olyan értékeket kapunk, amelyek tényleg nem többszöröse 5-nek. De hát meddig próbálgassunk? Ennek alapján elgondolkozhatunk azon, hogy valahogyan módszeresen próbáljunk olyan n-et n keresni, amelyre + n + = 5M lenne. Próbáljunk előbb olyan n-et keresni, ami páros, ezért legyen n= k. Ennek alapján rendre felírható, hogy: n k k k k + n + = + k + = + k + = (5 + k + = M 5 + ( + k +. Most már könnyen belátható, hogy ha például k=5, akkor a kifejezés 5-nek a többszöröse lesz 0 (de ez igaz minden k=5(m+ alakú számra is vagyis + 0 + = 5M. Ezzel a feladat megoldása véget ért, ugyanis megdöntöttük azt a mondatot, hogy n N n + n + 5M. Úgy mondjuk, cáfolással bizonyítottuk a feladatot, hiszen egy ( ( ellenpéldát adtunk, az n=0 értékre, amikor is a mondat ellentettje az igaz. x H P( x esetben a cáfolás? Ez abból Nézzük csak tehát, hogy miből is áll egy ( ( áll, hogy azt igazolom, hogy ( x H ( P( x (i vagyis keresek legalább egy olyan 0 0 x 0 értéket, amelyre a feltételek teljesülnek, és az állítás ellentettje (tagadottja lesz igaz. P( x x H P( x mondatnak egy úgynevezett ellenpéldája! a ( ( A 0 Nézzük most a második példát. Itt is már indulásból nehézségekbe ütközünk, hiszen nem könnyű eldönteni, hogy ténylegesen, a szóban forgó negyed fokú egyenletnek van-e vagy nincs valós x megoldása. Ellenben, ha arra gondolok, hogy esetleg nem-e tudnám bizonyítani, hogy az egyenletnek nincsen megoldása, akkor vajon mikor is nem lenne? Például akkor, ha minden valós x esetén x( x + ( x + ( x + + > 0 vagy x( x + ( x + ( x + + < 0. Próbálkozzunk ilyen irányban. Először is ha ügyesen végezzük el a zárójelek szorzását x( x + ( x + ( x + = x( x + ( x + ( x + = x + x x + x +. felírhatjuk, hogy: [ ] [ ] ( ( Most, ha bevezetjük az = + változócserét, akkor azonnal adódik, hogy y x x
x( x + ( x + ( x + + = y( y + + + = ( y + + = ( x + x + + > 0 ami azt igazolja, hogy Létezik olyan valós x érték, amelyre x( x + ( x + ( x + + = 0 lenne. Ezzel a feladatot megoldottuk, hiszen cáfoltuk azt, hogy létezik olyan valós x érték, amelyre x( x + ( x + ( x + + = 0 lehetséges lenne. Nézzük ezúttal is, hogy miből is áll egy ( x H ( P( x áll, hogy azt igazolom, hogy ( x H ( P( x esetben a cáfolás? Ez abból (ii vagyis bebizonyítom, hogy minden esetben a bizonyítandó állítás ellentettje (tagadottja áll fenn. Ezzel tehát megoldottuk mind a két feladatot, és az (i és (ii által azt is beláttuk, hogy matematikai nyelvezettel mit is jelent a két fajta mondat cáfolása. A továbbiakban, csupán az elemi matematika területére szorítkozva (tehát kizárva a felsőbb algebrát és a matematikai analízist számos olyan feladatot és azok cáfolással történő megoldását mutatjuk be, amelyek tanulságul szolgálhatnak a cáfolási módszer jobb megértése és elmélyítése érdekében. A bemutatott feladatok esetén semmilyen rendszerességre, semmilyen teljességre nem törekszünk, csupán ízelítő ötleteket nyújtunk a kíváncsi Olvasónak. Hasonló feladatokat, a matematika minden területéről bárki érdeklődő saját maga is találhat és szerkeszthet. Most nézzünk néhány alkalmazást! I. Az (i alapján ellenpéldával cáfoljuk a következő mondatokat: Ha a, b N és a + b páros szám, akkor a és b is páros számok. Ha a, b Z és a + b = M, akkor a = M vagy b = M. Ha m, n N és nem osztja az m-et, nem osztja az n-et, akkor nem osztja az (m+n-et. Ha x, y (0, akkor x + y (0,. 5 Ha x, y R \ Q, akkor x + y R \ Q. 6 Ha x, y R \ Q, és x y akkor x y R \ Q. 7 Ha x, y R, és x < y, akkor x y. 8 Ha x, y R, x < y és xy > 0, akkor x 9 Ha x 0, akkor x x. y. * 0 Ha x, y R és x < y, akkor >. x y Bármely y Z esetén létezik x Z úgy, hogy x + y =. Bármely b R esetén létezik a R úgy, hogy a a + 5 = b. a b Ha +, akkor a, b > 0. b a Ha n N, akkor n + n + = prímszám. 5 Ha A, B, C R és A B C =, akkor A B =. 6 Ha A, B, C R és ( A C ( B C, akkor A B. 7 Ha A R korlátos halmaz, akkor az A-nak van egy legkisebb eleme. 8 Ha A B korlátos, akkor az A, B R szintén korlátos. 9 Ha f : R R és f ( x = ax + bx + c, a 0 és az f ( x = 0 egyenletnek van megoldása a (0, intervallumon, akkor f (0 f ( < 0. 0 Ha A, B véges halmazok és cardb carda, akkor minden f : A B leképezés szürjektív. Ha f : A B, g : B C és go f szürjektív, akkor f szürjektív.
Ha cardb carda, akkor minden f : A B leképezés injektív. Ha f : A B, g : B C és go f injektív, akkor g injektív. Ha f : A B nem injektív, akkor f nem szürjektív. 5 Ha f : A B nem szürjektív, akkor f nem injektív. 6 Ha f : A B injektív, akkor f szigorúan monoton. 7 Ha f, g : R R és f + g szigorúan növekvő, akkor f és g szigorúan növekvők. 8 Minden olyan négyszög, amelynek van két derékszöge, körbeírható. 9 Ha két négyszög szögei egyenlők, akkor a két négyszög hasonló. 0 Ha két háromszög hasonló, és van két egyenlő oldaluk, akkor a két háromszög kongruens. Minden olyan négyszög amelyben van két-két egyenlő szög, az paralelogramma. Ha A és a, b A, akkor a b = 0 a = 0 vagy b = 0. II. Az (ii alapján cáfoljuk a következő mondatokat: Létezik n N amelyre n + n + M 00. Létezik n N amelyre n + 5 egyszerűsíthető. n + Létezik olyan a, b Z amelyre a + b és 5a b de nem ossza az a 6b kifejezést. Nem léteznek a, 5, 7-en kívül más hármas ikerprímek. n 5 Létezik n N amelyre + n 5 + prímszám legyen. 6 Létezik n N amelyre n + 5, n + 7, n + 7 egy időben prímszámok. 7 Létezik n N amelyre n + 6 prímszám. n + 8n + 5 8 Létezik n N amelyre Z. n + 9 Létezik n N amelyre n + 5 Z n + n n N 0 Létezik n N amelyre + +. Létezik n N amelyre + +... + N. n + n + n + n Létezik n N amelyre... n N. 9 Létezik olyan x R amelyre x x + x x + = 0. Létezik olyan x R amelyre sin x + cos x Megoldások I. Ellenpélda az a= és b=, amelyre teljesül, hogy a+b páros. Általában a= p+ és b= q+ megfelel ellenpéldának. Ellenpélda az a= és b=, amelyre teljesül, hogy a+b= M. Általában az a= p+ és b= q+ jó ellenpélda. Az előző feladat ellenpéldája megfelel. Ellenpélda az x = y = amikor x + y = (0,. 5 Ellenpélda x = és y =, erre x + y = 0 Q. 6 Ellenpélda x =, y = + és erre x y = Q.
7 Gondoljunk a negatív számokra is. Például x = < = y és x y = > =. 8 Ellenpélda x =, y = amelyre 9 = x > y =. 9 Gondoljunk az egynél kisebb számokra. Ellenpélda x = amelyre = x < x =. 0 A pozitív és negatív számokra is kell gondolnunk, így ellenpélda ha x= -, y=, akkor = x > y = hamis. y Az x = Z nem mindig igaz, például y=. Ellenpélda, ha b= 0, akkor az a a + 5 = ( a + = 0 hamis. Ellenpélda az a= - és b= -. Ellenpélda az n=. A =,, B =,, C =,5. 5 Ellenpélda az { } { } { } 6 Ellenpélda A = {, }, B = {,, }, C = {,,5} 7 Ellenpélda < m + a. * n, mert ha min A m A = n N 8 Ellenpélda A R, B { 0,} = =. = lenne, akkor például m + A és 9 Ellenpélda f ( x = (x (x = 6x 5x + amelyre f (0 f ( > 0 pedig mindkét gyök a (0, intervallumban van. A =,0,, B = 0,, és f : A B, f ( x = x, amikor f ( x. 0 Ellenpélda { } { } x + Ellenpélda f, g : Z Z, f ( x = x, g( x = esetén go f = Z de f nem szürjektív, hiszen f ( x. és Ellenpélda A { 0,, }, B {,,5,7 } f ( x = x. = = és f ( x x x Ellenpélda f, g : Z Z, f ( x = x, g( x =. x Ellenpélda f : Z Z, f ( x = nem injektív de szürjektív. 5 Ellenpélda f : Z Z, f ( x = x nem szürjektív de injektív. =, vagy A = {, }, B = {,, } x, x (,0], 6 Ellenpélda f : R R, f ( x =, f (0 f < > f x, x (0,. 7 Ellenpélda f ( x = x +, g( x = x. 8 Van olyan négyszög, amelynek van két derékszöge, de nem írható körbe! Ilyen a derékszögű trapéz. 9 Van két olyan négyszög, amelynek szögei egyenlők, de nem hasonlóak! Ilyenek a négyzet és a valódi téglalap. 0 Van két hasonló háromszög, amelynek van két egyenlő oldaluk, de nem kongruensek! Ilyenek például két egyenlőszárú derékszögű háromszög, ahol az egyik árfogója egyenlő a másik befogójával. [ 5
Van olyan négyszög, amelyben van két-két egyenlő szög, de nem paralelogramma! Egy ilyen példa a szimmetrikus trapéz. Ha A= R lenne, akkor nem lenne mit cáfolni, mert a feladat igaz. Ellenben nem említenek semmit az A halmaz természetéről. Ezért nézzük csak a következő ellenpéldákat. a Ha A = M ( R és a = 0 O 0 0, b = O de mégis ab = O. 0 0 0 b Ha A = Z6, akkor a = $ 0, $ b = $ 0 $, de mégis ab = 0 $., x < 0 0, x < 0 c Ha A = { h : R R} és f ( x =, g( x = egyik sem azonosan nulla, 0, x 0, x 0 de mégis f g = 0. Az ellenpéldákban szereplő a, b elemeket zérusosztóknak nevezik. II. Bármely esetben n + n + nem osztható még -vel sem. Valóban az n + n + = n( n + + szám nem osztható -vel, így 00-zel sem, ami osztható -vel. Az adott tört nem egyszerűsíthető. Valóban, ha d n + 5 és d n +, akkor d 6n + 0 és d 6n + 9, ezért d (6n + 0 (6n + 9 =, vagyis csak -el lenne egyszerűsíthető. Az a-6b mindenesetben osztható -mal. Valóban a 6 b = (5a b ( a + b = M. Ha p > prímszám, akkor p = k ± alakú, így ( p + ( p +, ezért a p, p +, p + számok egyike osztható -mal. n 5 + n n 5 + = 0 +, vagyis a számjegyek összege, ezért a szám osztható -mal. 6 Ha n = k, akkor n + 5 osztható -mal, ha n = k akkor n + 7 osztható -mal, ha pedig n = k +, akkor n + 5 osztható -mal. 7 n + 6 = n 6n 6 6n + + = ( n + 8 ( n = = + + + ( n n 8( n n 8 n + 8n + 5 ( n + 8 = = n +, ami csak akkor lenne egész szám, ha n + n + n + lenne, de ez nem lehet, hiszen n. n + n + 5 9 Számolással ellenőrizhető, hogy < < és az (, intervallumban nincs n + egyetlen egész szám sem. 0 Minden esetben n < n + n + < ( n + így n + n + nem lehet teljes négyzet. Az összegnek n tagja van, így = n < + +... + < n n + n + n + n vagyis a tört értéke az, intervallumban van, így nem lehet egész. < n n + < Legyen p a legnagyobb prímszám az... n szorzatban, ez nyilvánvalóan csak az első hatványon szerepel benne, így a gyök alatti kifejezés nem osztható p -tel, ezért nem lehet teljes négyzet. Ha 5 x x x x x, akkor x 9 ( x x( x + ( + ( > 0. Tehát mindenképpen + +, ha pedig x <, 9 x x x x + + > 0. akkor 6
π Mivel x 0, cos cos cos, ezért sin x,cos x (0,, ezért sin x < sin x < sin x és x < x < x, és összeadva a két egyenlőtlenség két szélén levő megfelelő kifejezéseket azt kapjuk, hogy = sin x + cos x < < sin x + cos x, ami abszurdum. Szakirodalom [] Oliver Konnerth: Greseli tipice in invatarea analizei matematice, Editura Dacia, Cluj- Napoca 98 [] Tuzson Zoltán: Miért nem lehet? 500 matematika feladat megoldással, Ábel Kiadó, 0 7