I.

Matematikai logika I
Logikai feladatok
01. a) igaz; b) hamis (pl. 24); c) igaz (pl. 1 s+1); d) igaz; e) igaz; f) hamis.
02. Csak a B llts lehet hamis, hiszen ha az igaz volna, akkor valamennyi
msik is igaz volna. gy a ngyszg rombusz.
03. a) Balzs b) Csaba
04. Mivel ngyen sztak pratlan szm plyn, ezrt nem lehet a hrom
pros helyezst elosztani kztk.
05. Vltozik, mert a szl sebessgcskkent hatsa hosszabb ideig rvnyesl,
mint a sebessgnvel hats.
06. Igaz.
07. Igen. Aki megszlalt, nem lehet lkt, mert akkor igaz lenne, amit mondott, de tudjuk, hogy mindig hazudik. Teht lovag, s ezrt igazat mondott,
gy trsa lkt.
08. Bizony nagyon lmosak lehettnk, mert ez a kt mondat gy nem hangozhatott el. Ugyanis az A llts csak akkor hamis, ha mindketten lovagok, akkor
azonban nem mondhatta, hogy legalbb az egyiknk lkt. Ha viszont A igazat mondott, akkor lovag, teht akkor B szksgkppen lkt. Ebben az
esetben viszont igaz, hogy klnbz tpushoz tartoznak, vagyis ez az llts
igaz, s gy is ellentmondsra jutottunk.
09. A harmadik lakos mindenkppen igazmond. Az els lakos biztos hazuds, ezrt a msodik ha igazat mond, akkor a harmadik lakos is lovag, ha viszont lkt, akkor is mivel mindhrman nem lehetnek lktk lovag a harmadik.
10. Az t vlaszbl pontosan egy lehet igaz, mivel brmely kt vlasz egymst
kizrja. Egy vlasznak azonban igaznak kell lennie, mert ha mind hamis, akkor
5 lovag lehetne csak a trsasgban, de akkor mindenkinek igazat kellene mondania. Ezrt egy lovag volt kzttk.
11. Ha mindenki lkt lenne, akkor mindenki igazat mondana, ezrt kell
lennie legalbb egy lovagnak. Vlasszunk ki egy lovagot. nmagn s kt szomszdjn kvl mindenki lkt, teht legfeljebb 3 lovag lehet. Ha 3 lenne, akkor
ez a hrom szomszdos lenne. A szlsk nem szomszdok, mgsem lktk, teht ellentmondsba tkztnk, gy legfeljebb 2 lovag lehet. Ha csak egy lenne,
akkor a szomszdja lkt lenne, mgis igaz lenne lltsa, gy egy lovag nem
lehet. Teht csak 2 lovag lehet. Ekkor a kt lovagnak igaz az lltsa, a lktknek pedig mindig van velk nem szomszdos lovag, gy az k lltsa hamis.
Teht 2 lovag l az asztalnl.
12. Mivel az utols llts biztosan igaz, gy van kzttk lovag. Ha pontosan
k lovag van, akkor igaz a k-adik, k+1-edik, utols llts, az els k-1 pedig
hamis. Ezrt 4 lovag s 3 lkt van a szobban.

10

Logikai feladatok

13. Fogalmunk sincs. Ugyanis ha pontosan k igazmond van kztk, akkor az

els k vlasz igaz, az azutn kvetkez vlaszok hamisak, s ez lehetsges is
minden k-ra 0 < k # 7 esetn.
14. Ebben az esetben a vlaszok kizrjk egymst, most csak az els lehet igaz,
vagy az sem, gy a szobban 0 vagy 1 lovag van.
15. Ha a februr nincs a hnapok kztt, akkor hrom egymst kvet hnapban 91 (szeptemberoktbernovember) vagy 92 nap (pl. jniusjliusaugusztus) van. 91 nap viszont pontosan 13 ht, amelyben 13 vasrnapnak kell lennie,
s ez ellentmond a feladat feltteleinek. Ha a hrom hnap februr, mrcius s
prilis, akkor ebben a hrom hnapban mg szkvben is csak 90 nap van,
teht ha februr 1. htf, akkor lehet, hogy mindhrom hnapban csak 4 vasrnap volt.
16. Az A s az E llts egyszerre igaz vagy hamis, hiszen ugyanazt lltja. Ha
teht mindkt llts hamis akkor a kp az ezstldban van. Ekkor azonban a
harmadik llts is hamis, ami a felttelek szerint nem lehet. Ha mindkt llts
igaz, akkor a harmadik hamis, teht a kp az aranyldban van, azt kell vlasztani.
17. A pros szmot s a magnhangzt brzol krtykat, teht az elst s a
harmadikat.
18. Ha mindenki pros szm levelet kldtt, akkor nem rkezhetett sszesen
pratlan sok, 19 $ 3 = 57 levl sszesen a cmzettekhez.
19. a) Minden hten van olyan lottszelvnyem, amin nincs tallat.
b) Van olyan asszony, aki letnek minden pillanatban csak olyat akar
tenni, amit szabad.
c) Van olyan v, hogy minden tantrgybl van olyan ra, amire nem kszltem fel.
20. Marcsa: 5, Ancsa: 4, Julcsa: 3, Borcsa: 2.
21. Knnyen lthat, hogy j megolds, ha A s B bns s C rtatlan. Logikailag azonban megolds az is, hogy mindhrman rtatlanok.
22. Az els felttel szerint Edit tanul olaszul, Mrti nem lakik Budn, teht
nem tanul nmetl, ezrt csak spanyolul tanulhat. Teht Zsfi tanul nmetl,
s gy lakik Budn. A budakeszi lny nem tanul spanyolul, ezrt Edit lakik
Budakeszin s Mrti Pesten.
23. Mindkt krds azokra vonatkozik, aki futnak is s teniszeznek is. Ez a kt
halmaz metszete. Az a) krdsben a metszethalmaz legjobb futja nem felttlen azonos a metszethalmaz legjobb teniszezjvel, mg a b) krds mindkt fele a metszethalmaz legfiatalabbjra vonatkozik, teht ott azonos szemlyre.
24. Nem. Legyen pl. az A halmaz a pros, a B halmaz a pratlan szmok halmaza. Vilgos, hogy minden pros szmhoz van olyan pratlan, amely nla
nagyobb, de nincs olyan pratlan szm, amely minden pros szmnl nagyobb.
25. a) A & B;
tglalap & az tlk felezik egymst
igaz;
b) A & B;
nem tglalap & az tlk nem feleznek
hamis;
c) C & A;
tlk =-ek & tglalap
hamis;
tlk =-ek s tglalap & az tlk
d) (C / A) & B;
felezik egymst
igaz;
e) B / C & E;
az tlk felezik egymst s az tlk =-ek
& ngyzet
hamis;

11

Logikai feladatok
f) E & A 0 D;
g) B & C;
h) A & C;
i) (A / C) & E;

ngyzet & tglalap vagy rombusz

igaz;
az tlk felezik egymst & az tlk =-ek
hamis;
nem tglalap & az tlk nem =-ek
hamis;
tglalap s az tlk nem =-ek
& nem ngyzet
igaz;
j) D 0 E & B;
ngyzet s rombusz & az tlk
felezik egymst
igaz.
26. a) A " C;
ha a szm oszthat 6-tal & 12-re vgzdik;
b) B " D;
ha nem pros szm & prm;
c) (B / D) " F;
pros szm s prm & nem oszthat 9-cel;
d) (B 0 A) " (A / G); ha pros vagy 6-tal oszthat & pros s
a szmjegyeinek sszege 3-mal oszthat;
e) E " C;
ha 4-gyel nem oszthat egy szm & nem
vgzdik 12-re;
egy szm akkor s csak akkor nem oszthat
f) (G 0 B) ) A;
6-tal, ha szmjegyeinek sszege nem oszthat 3-mal
vagy nem pros;
g) (E / B) " D.
ha egy szm oszthat 4-gyel s pros & nem prm.
A c, e, f, g igaz, az a, b, d hamis.
27. Nem. Akkor is vihetek ernyt, ha nem is esik.
28. p: a szm pratlan, q: a szm prm.
p

p"q

(p " q)/ q

h
h
i
i
i
A kvetkeztets hamis.
29. Igen. Lehet az is, hogy betegsg miatt hinyzott. Persze lehet az lltsa
hamis is.
30. p: a szmnak kt osztja van, q: a szm prm.
A kvetkeztets logikai alakja:[( p " q) q] & p. rtktblzattal ellenrizhet, hogy a kvetkeztets helyes.
31. Ngy.
32. a) Egy. Ez kvetkezik a hrom implikcibl.
b) Bla biztosan nem mondott igazat az els implikci s a sajt lltsa
miatt.
c) Pontosan egy. Ez lehet Antal vagy Csaba egyarnt.
33. A vlasz: 29.
Az ellensg a sarkokban llkat ktszer szmolja.
5 s 5 s 5
6 s 4 s 5
8 s 0 s 7
5
5
4
5
0
0
5 s 5 s 5
5 s 5 s 5
7 s 0 s 8
Amikor az ersts megrkezik, az ellensg ppen tmadni kszl, gy mr csak
29 l vd volt az erdben.

12

Logikai feladatok

34. Elszr is az A s B feladatnak nincs elfelttele, gy egyszerre, s sszesen 8 perc alatt elvgezhetk. Ha B befejezdtt, C elvgezhet (B a C
elfelttele).
Ha C elkszlt (4 perc alatt), D is elvgezhet (11 perc alatt), s vgl, ha D is
elkszlt, az tel tlalhat (vagyis I elvgezhet). gy a kritikus t:
START 0 B 8 C 4 D 11 I 2 KSZ,
s a vacsora elksztshez szksges id 8 + 4 + 11 + 2 = 25 perc, vagyis a
vacsora elksztst legksbb 18:05-kor el kell kezdeni.
Mivel G nincs a kritikus ton, attl, hogy 5 perccel rvidebb ideig tartana, mg
nem kezdhetnnk a vacsora elksztst 5 perccel ksbb.
35. Minimum hrom idpontra van szksg a bizottsgi lsek szmra.
A Vacsora, Szlls s regdik-album bizottsgok egyszerre lsezhetnek,
hasonlan a Msor s Dszts bizottsgok is. A Meghvk bizottsgnak kln
idpont kell. Elszr vlogassuk szt, ki melyik bizottsgban tag (gy jobban ltszik, kik vannak ugyanabban a csoportban):
Anna, Joln, Anita: Szlls
Amlia, Angla: Vacsora
Kati: Meghvk
Kroly, Juli: Msor
Zoli, Aliz: regdik-album
Erik: regdik-album s Msor,
Tams: Szlls s Msor,
Simon, Rita: Vacsora s Msor,
Tdor: Szlls s Dszts,
Mtys, Rbert: regdik-album s Dszts,
Jakab, Gergely: Meghvk s Dszts,
Rozlia, Dani: Meghvk s Vacsora,
Aki csak egy bizottsgban tag, nem szmt. Innen ltszik, hogy az albbi
bizottsgok lsei nem lehetnek egyszerre: Msor s regdik-album, Msor s
Szlls, Msor s Vacsora, Meghvk s Vacsora, Dszts s Meghvk, Dszts s
Szlls, Dszts s regdik-album.
Lthat, hogy a Msor s a Dszts, valamint a Vacsora, a Szlls s az regdikalbum bizottsgok egyszerre lsezhetnek, mivel az egy csoporton belli halmazok metszete res. A Meghvk bizottsgnak mindkt csoportbeli halmazzal
van kzs rsze, gy kln idpont kell az lseiknek.
36. Az els felttel szerint:
A talajszennyez vagy Tams, vagy Hug. A zajszennyez vagy Tams, vagy
Hug.
A msodik felttel szerint:
A levegszennyez (vagy Andrs, vagy Rbert) teniszezik. Tams hokizik.
A zajszennyez (vagy Tams, vagy Hug) focizik. A talajszennyez (vagy
Tams, vagy Hug) hokizik. Innen Tams a talajszennyez s Hug a zajszennyez.
A harmadik felttel szerint:
Andrs s Tams ns. Rbert s Hug agglegny.

13

Logikai feladatok

A negyedik felttel szerint:

Andrs a levegszennyez, aki teniszezik.
Innen pedig Rbert a vzszennyez.
sszefoglals:
Andrs, a levegszennyez kelet-magyarorszgi, teniszezik s ns.
Rbert, a vzszennyez kelet-magyarorszgi s agglegny.
Tams, a talajszennyez kelet-magyarorszgi, hokizik s ns.
Hug, a zajszennyez nyugat-magyarorszgi, focizik s agglegny.
37. A felttelek szerint az I. llts igaz (a, b); a II. is (d). Mivel T csak vasrnap dolgozhat, gy III. hamis. U s X beosztsa nincs egymsra hatssal, ezrt
V. nem felttlen igaz. A IV. llts is igaz (d, e).
38. A helyes beoszts e. Az a-nl nincs fikvezet, b-nl kett van, a c s d
esetben W s X ugyanaznap dolgozik.
39. Biztosan igaz: a, c. Biztosan hamis: b, d.
40. A msodik s harmadik llts hamis, a tbbi igaz.
41. Valamennyi azonossg bizonytsa, illetve logikai egyenlet megoldsa az
azonossgok felhasznlsval az albbiakhoz hasonl mdon trtnik.
h)
p

p/i

p/h (p/i)0(p/h) q/r

eredmny

42. Pldul (p/h) 0 p.

43.
p

p"q

p/ q (p/ q)

44. Igen, mert a felttelbl q = i kvetkezik, s ez elg p 0 q = i-hez.

45. Nem, mert (p " q) = h esetn az eltag igaz s az uttag hamis, gy
(p/ q) = i.
46. q " p = i.

14

Bizonytsi mdszerek

47.
p
i
i
h
h

q
i
h
i
h

p0 q (p/ q)
h
h
i
i
i
i
i
i

p
i
i
h
h

q
i
h
i
h

p/ q (p0 q)
h
h
h
h
h
h
i
i

48. Azonossgok: b; c; e; g; h.
49. Helyes kvetkeztetsi formk: a; b; c; e; h.
50. Vizsgljuk meg, hogy a szmllk mikor igazak!
p

p "q

Bizonytsi mdszerek
Skatulyaelv
51. a) Ki kell hzni az sszes nem zldet, s mg egy zldet is, teht 34-et.
b) 6 fehr s 5 zld kihzsa utn a kvetkez biztosan piros vagy kk.
Teht 12-t.
c) Az sszes piros, zld s fehr kihzsa utn lehetnk csak biztosak a
kk hzsban, teht 27-et kell kivenni.
d) Ha vletlenl minden pirosat kihztunk, mg mindig nincs ktfle, de
a 16. hzs utn mr biztosan lesz kt klnbz szn.
e) Lehet, hogy a kkek maradtak csak benn a vgn, s mg azok kzl is
ki kell hzni 4-et, teht sszesen 30-at.
f) Ha a zldek maradnak a vgre, akkor csak az utols kt zld maradhat benn, teht 36-ot kell kivenni.
g) 8 golyt kivlasztva mg elkpzelhet, hogy minden sznbl kett van,
a 9. hzs utn azonban mr biztosan lesz olyan szn, amelyikbl 3-at
vettnk ki.
52. a) Ha 32 darabot ki kellett venni, az azt jelenti, hogy 31 golyt mg ki
lehet gy hzni, hogy nincs kzttk mind a ngy sznbl. Teht az
utols sznbl 9 goly van, a msik hrombl sszesen 31, de egyikbl
sem lehet 9-nl kevesebb.

15

Skatulyaelv

b) A msik hrom sznbl is legalbb 9 goly kell legyen, hiszen ha

valamelyikbl kevesebb lenne (persze akkor ms valamibl tbb),
akkor annak az els golyjra vrva mg tbbet kellett volna hzni.
Ezrt ha hrom sznbl 9-9-9 goly van, akkor lehet a negyedikbl 13
darab.
A kvetkez eloszlsok lehetsgesek: (1. szn & amibl a legtbb van)
1. szn
13
12
11
11

2. szn
9
10
11
10

3. szn
9
9
9
10

4. szn
9
9
9
9

53. Hrom pr tiszta zoknira van szksgem, ehhez elg 7 darabot kihozni,
hiszen ha 6 darabbl nem lehet 3 prat vlasztani, akkor van 2 pr zokni, s egy
fekete, egy barna. A hetedik valamelyikkel mr prt alkot. (Ha gy rtelmezzk
a feladatot, hogy csak a tovbbi kt napra kell zokni, ma mr felltztem, akkor
a helyes vlasz 5 db.)
54. Legalbb 37-en, hiszen lehet, hogy minden hnapban 3-an szlettek, s
akkor 36 tanul esetn sincs olyan hnap, amelyben 4-en szlettek.
55. Hrom egsz szm kztt biztosan van kt azonos parits, azok sszege
biztosan pros.
56. Ngyzetszm 3-mal osztva nulla vagy 1 maradkot adhat, ezrt lesz kett,
amelyek maradka megegyezik, ezrt klnbsgk 3-mal oszthat.
57. Ngyzetszm 4-gyel osztva nulla vagy 1 maradkot adhat, ezrt lesz kett,
amelyek maradka megegyezik, ezrt klnbsgk 4-gyel oszthat.
58. A 10-nl nagyobb prmek vgzdse csak 1, 3, 7, 9 lehet, ezrt van kzttk kt azonos jegyre vgzd. Ezek klnbsge 10-zel oszthat.
59. Ngyzetszm vgzdse csak 0, 1, 4, 5, 6, 9 lehet, ezrt van kzttk
kt azonos jegyre vgzd. Ezek klnbsge 10-zel oszthat.
60. t egsz szm kzl ha van hrom, amely ugyanazt a maradkot adja 3mal osztva , ezek megfelelnek, vagy nincs, de akkor mindhrom maradknak
szerepelnie kell. Vegynk hrom ilyen szmot! Ezek sszegnek maradka
0 + 1 + 2 = 3, teht ezeknek az sszege 3-mal oszthat.
61. Egy szm akkor oszthat 15-tel, ha oszthat 3-mal s 5-tel. Ngyzetszm
maradka 3-mal osztva ktfle lehet, 0 vagy 1; 5-tel osztva pedig 0 vagy 1 vagy
4. Ez sszesen 2 $ 3 = 6 lehetsg, teht 7 szm kztt van kett, amely 3-mal s
5-tel osztva is ugyanazt a maradkot adja, ezek klnbsge 15-tel oszthat.
62. Prmszm 3-mal osztva csak 1 vagy 2 maradkot adhat, ha nem a 3-rl van
sz. A 10. feladat szerint brmely 5 egsz kzl kivlaszthat hrom, amelyek
sszege 3-mal oszthat, ezrt maximum 4 szm adhat meg gy, hogy az
sszegk is prm legyen. Ennyi meg is adhat, hiszen pldul 7, 11, 13, 23
ilyen prmngyes.
63. Hrom hatvnyainak vgzdse: 3; 9; 7; 1; 3; teht a sorozat mivel
mindig egyformn 3-mal szorozzuk az elz vgzdst periodikus.
64. Az utols kt helyen maximum 50-fle vgzds llhat (2 hatvnyai
prosak), ezrt az els 51 hatvny kztt van legalbb kett, amely ugyanarra

16

Bizonytsi mdszerek

a kt szmjegyre vgzdik. Ettl kezdve a sorozat mivel mindig egyformn 2vel szorozzuk az elz vgzdst periodikus.
65. Tekintsk a kvetkez 17 szmot:
1
11
111
1111
h
111111
(17 darab 1-es)
Ezek kzt vagy van 17-tel oszthat, vagy nincs. Az els esetben megtalltuk a
keresett szmot, a msodikban pedig a 17 szm maximum 16 fle maradkot
adhat 17-tel osztva, gy van kzttk legalbb kett, amely ugyanazt a maradkot adja. Vonjuk ki a nagyobbl a kisebbet! A klnbsg olyan szm lesz, amiben valahny egyes utn nhny nulla ll. Ezt a szmot osztja 17, de ez a szm
elll egy csupa egyesbl ll szm s 10-nek egy termszetes kitevj hatvnynak szorzataknt. Mivel 10 s 17 relatv prmek, & 17 a csupa 1-esbl ll
szmot osztja, teht ez megfelel.
66. Az els 13 meccsbl kell 5-t eltallni. Ha hrom tipposzlopot kitltnk
gy, hogy az els oszlopba csupa 1-est, a msodikba csupa kettest, a harmadikba
csupa x-et runk, akkor biztosan lesz valamelyik oszlopban legalbb 5 tallatunk,
hiszen 13 meccs kzl lesz legalbb 5, amelyiknek ugyanaz az eredmnye.
67. Ha van az egyenesek kztt kt prhuzamos, azok szge 0
, gy a feladat
lltsa igaz. Ha nincs, akkor toljuk el valamennyi egyenest a sk egy tetszleges
pontjba! Nem vltozik kt egyenes szge, ha azokat sajt magukkal prhuzamosan eltoljuk. Ekkor a 10 egyenes a skot 20 kzs cscs szgtartomnyra
bontja, ahol a szgek sszege 360
. Ezen szgek kztt nem lehet mindegyik
20
, vagy annl tbb, mivel 20 $ 20
= 400
> 360
.
68. Egy pont kt koordintja kzl mindkett vagy pros, vagy pratlan, ez 4
lehetsg. Ezrt 5 pont kztt biztosan van kett, amelynl mindkt koordinta
paritsa megegyezik. Ezek felezpontja kielgti a feladatot, mivel azonos parits szmok sszege pros, annak a fele teht egsz, s gy kell a felezpont
koordintit kiszmolni.
69. Trben a hrom koordinta mindegyike vagy pros, vagy pratlan, ez
sszesen 23 = 8 lehetsg, ezrt 9 pont kztt lesz kett, amelynek minden
koordintjnak paritsa megegyezik. Ez a kt pont ltal meghatrozott szakasz felezpontja rcspont.
70. Egy hromszg slypontjnak koordintit megkapjuk, ha a hrom cscs
megfelel koordintinak szmtani kzept vesszk. Egy pont koordintit
tekintve hromfle maradkot adhat 3-mal osztva, ezrt 13 pont kztt lesz 5
olyan pont, amelynek az els koordintja ugyanazt a maradkot adja 3-mal
osztva. Ezek kzl brmely hrmat vlasztva az els koordintk sszege 3-mal
oszthat. Nzzk ezek msodik koordintit! Ez t egsz szm, amelyrl mr
bizonytottuk, hogy van kzttk hrom, amelynek az sszege 3-mal oszthat,
gy ezek ltal meghatrozott hromszg slypontjnak mindkt koordintja
egsz, teht rcspont.
71. A szmok kztt eggyel tbb pratlan van, mint pros, ezrt minden permutciban lesz olyan pratlan szm, amely alatt is pratlan szm ll. Ezek

Indirekt bizonytsok

17

klnbsge pros, s ha egy szorzatban van pros tnyez, akkor a szorzat

pros.
72. Tekintsk a kvetkez szmokat!
3
33
333
h
3333.3
(n db 3-as ).
Ezek kzt vagy van 3-mal oszthat, s akkor az kielgti a feladat felttelt,
vagy nincs. Akkor viszont ez olyan n darab szm, amely n-nel osztva legfeljebb
n 1 fle maradkot adhat, teht van kztk legalbb kett, aminek ugyanaz a
maradka. Ezek klnbsge n-nel oszthat, s a szm a kvnt alak.
73. Osszuk a krlapot hat darab 60
-os kzpponti szg krcikkre! Lesz
olyan kzttk, amelyikbe legalbb kt tallati pont esik. Ez a kt pont a kvnt
tulajdonsg.
74. Osszuk a szablyos hromszget az oldalaival prhuzamos vgsokkal 9
darab 5 mter oldal szablyos hromszgre. Lesz olyan kzttk, amelyikbe
legalbb kt pont esik. Ez a kt pont a kvnt tulajdonsg.
75. El lehet helyezni. Tegynk a ngy cscsba, a ngy oldalfelez pontba s a
ngyzet kzppontjba egy-egy pontot, ez az elrendezs j. 10 pontot mr nem
lehet elhelyezni, mert ha a ngyzetet oldalaival prhuzamos vgsokkal kilenc
darab kisebb ngyzetre bontjuk, akkor lesz olyan, amelyikbe legalbb 2 pont
2
<1.
esik. E kt pont ltal meghatrozott szakasz hossza maximum
3

Indirekt bizonytsok
76. Tegyk fel, hogy nincs. Mivel egy embernek nulltl n - 1-ig terjedhet az
ismerseinek szma, ha a trsasg n fbl ll, ennek az n szmnak mind el
kell fordulnia. De ez lehetetlen, hiszen ha valaki n - 1 embert ismer, azaz mindenkit, akkor klcsns ismeretsg esetn nem lehet olyan a tagok kzt, akinek
egyetlen ismerse sincs.
n (n - 1)
77. A bajnoksgban teht
= 91 mrkzs volt. Tegyk fel, hogy
2
gyzelemrt 2, dntetlenrt 1 s veresgrt 0 pont jr. Ha mindenki ugyanannyi
dntetlen meccset jtszott, mint ahnyszor nyert, akkor a pontszma oszthat
3-mal, gy a pontszmok sszegnek is 3-mal oszthatnak kellene lennie, de 91
nem oszthat 3-mal.
78. Tegyk fel, hogy racionlis, ekkor felrhat kt egsz szm hnyadosaknt.
p
5 = , ahol p, q egszek s q ! 0 . Ngyzetre emelve s q2-tel tszorozva azt
q
kapjuk, hogy 5q2 = p2. Vizsgljuk meg a kt oldalon ll szm prmtnyezs felbontsban 5 hatvnykitevjt! Mivel ngyzetszm prmfelbontsban minden
kitev pros, ezrt a jobb oldalon 5 pros kitevj hatvnya ll, a bal oldalon
pedig pratlan. Ez azonban ellentmond a szmelmlet alapttelnek, teht 5
nem racionlis.

18

Bizonytsi mdszerek

79. A bizonyts az elzhz hasonl, itt is vizsglhatjuk 5 kitevjt a kt

oldalon.
80. A bizonyts az elzekhez hasonl, itt is vizsglhatjuk 5 kitevjt a kt
oldalon.
81. Itt az indirekt feltevs s a ngyzetre emels utn 10 -rl kell az
elzekhez hasonlan igazolni, hogy irracionlis.
82. Tegyk fel, hogy minden szmjegy csak vges sokszor ismtldik a tizedes
trtben. Jellje k azt a legnagyobb szmot, ahnyszor egy szmjegy elfordul.
Az sszes szmjegyek szma akkor legfeljebb _10 $ ki , de ez vges, irracionlis
szm tizedes trt alakja viszont vgtelen nem szakaszos tizedes trt. Ez ellentmonds, teht az eredeti llts igaz.
83. Ha csak egy szmjegy ismtldne vgtelen sokszor, akkor az elzek
szerint egyszer elfogynnak, s onnan egy jegy ismtldne csak, teht a szm
tizedes trt alakja szakaszos, s a szm gy racionlis lenne.
84. Tegyk fel, hogy nincs, azaz brmely hrom irracionlis szm sszege
racionlis.
Jellje a ngy irracionlis szmot a, b, c s d. Ez azt jelenti, hogy
a + b + c = r1 ,
a + c + d = r2 ,
a + b + d = r3 ,
b + c + d = r4 .
Ngy racionlis szm sszege is racionlis, teht 3(a + b + c + d) = racionlis.
Ennek harmada is racionlis, teht a ngy irracionlis szm sszege r5 racionlis szm. Akkor viszont kt racionlis szm klnbsgeknt d = r5 - r1 is
racionlis, ami ellentmonds.
85. Tegyk fel, hogy van kt ilyen szm, legyenek ezek a s b. Ekkor a + b a
legkisebb kzs tbbszrsk, teht a osztja (a + b)-t s b osztja (a + b)-t, ezrt
a osztja b-t s b osztja a-t. Mivel termszetes szmokrl van sz, ezrt ez csak
gy lehetsges, ha a = b. Ekkor viszont a legkisebb kzs tbbszrsk a $ 2a =
= a & a = 0. Teht csak a 0; 0 eset maradt, ekkor viszont nincs legkisebb pozitv tbbszrs. Vagyis nincs kt ilyen termszetes szm.
86. Tegyk fel, hogy lehetsges a feladat lltsa. Legyen a legkisebb kitevj
hatvny a 3a. Az sszes tbbi hatvny 3a $ 3b alak, ahol b termszetes szm. gy
a hatvnyok sszege megegyezik egy szorzattal, melynek egyik tnyezje a 3a, a
msik pedig 1000 pratlan szm sszege, ami pros. Ha a nem negatv, akkor a
szorzat pros szm. Ha a negatv, akkor egy pros szmot elosztunk egy pratlan szmmal, teht vagy pros szmot, vagy nem egsz szmot kapunk. gy 3333
nem lehet a hatvnyok sszege.
87. Sznezzk ki a lmpkat 3 sznnel gy, hogy minden harmadik lmpa
azonos szn legyen. Minden lpsben hrom klnbz szn lmpn vltoztatunk, ezrt egy lpsben csak eggyel vltozik az egy sznhez tartoz g lmpk szma. Az egyik sznhez eredetileg 1 g lmpa tartozott, vgl pedig 5-nek
kell lennie, ezrt pros sok lps utn fog minden lmpa gni. De a msik kt
sznhez eredetileg 0 g lmpa tartozott, vgl pedig 5-nek kell tartoznia, teht
pratlan sok lps utn fog minden lmpa gni. Ellentmondsra jutottunk,
teht nem lehet elrni, hogy minden lmpa gjen.

Indirekt bizonytsok

19

88. Tegyk fel, hogy van olyan pont, amelyik nincs lefedve. Ez a pont valamennyi Thalsz-krn kvl van, gy ebbl a pontbl valamennyi oldal hegyesszgben ltszik. Ez azonban lehetetlen, mert ngy 90
-nl kisebb szg sszege
nem lehet 360
.
89. Tegyk fel, hogy ltezik ilyen hromszg. Toljuk el gy, hogy az egyik
cscsa az O, orig legyen. A msik kt cscs legyen P(x, y) s Q(v, z). Mivel
OP2 = x2 + y2 s OP pratlan egsz, ezrt x s y nem lehet egyszerre sem pros,
sem pratlan. Hasonl megfontolst vgezhetnk az OQ-ra is, amibl azt
kapjuk, hogy v s z kzl az egyik pros, a msik pratlan. Vizsgljuk meg
PQ-t: PQ2 = (x - v)2 + (y - z)2. Ha x s v pros. akkor x - v s y - z is pros,
teht PQ is pros lenne. Ha x s v klnbz parits, akkor ugyanez igaz az y
s z prra is, ekkor x - v s y - z is pratlan, ngyzeteik sszege pros, teht PQ
most sem lehet pratlan. Feltevsnk ezrt nem lehet helyes, belttuk, hogy
nincs ilyen hromszg.
90. Els bizonyts:
Tegyk fel, hogy van szablyos rcshromszg. Toljuk el gy, hogy egyik cscsa
az origba essen! Jelljk A-val azt az origtl klnbz cscsot, amelyik az
orig krli + 60
-os elforgats utn a hromszg harmadik, B cscsba kerl.
Legyenek A koordinti A(a1; a2). A 60
-os elforgats miatt B(b1; b2) koordintira teljeslnie kell a kvetkez sszefggseknek:
1
3
b1 = a1 $ cos 60
- a2 $ sin 60
= a1 a
2
2 2,
3
1
b2 = a1 $ sin 60
+ a2 $ cos 60
=
a1 + a2
2
2
s B(b1; b2) koordinti is egszek.
Az els egyenlet trendezsbl azonban a2 3 = a1 - 2b1 , ahol a jobb oldal racionlis. A bal oldalon csak akkor kaphatunk racionlis szmot, ha a2 = 0. Ebben az esetben a msodik egyenletbl hasonl talakts s indokls utn a1 = 0
kvetkezne, de ez lehetetlen, mert a hromszg origtl klnbz cscst
jelltk A-val, gy nem lehet mindkt koordintja nulla.
Szablyos rcshatszg sem ltezik, mert ha ltezne, annak minden msodik
cscst kivlasztva szablyos rcshromszghz jutnnk, amirl az elbb igazoltuk, hogy nincs.
Msodik bizonyts:
Szmtsuk ki ktflekppen a hromszg terlett! Egyrszt tudjuk, hogy a
3
szablyos hromszg terlete az oldal ngyzetnek
-szrse. Mivel a
2
hromszg oldalnak ngyzett Pitagorasz ttelvel kiszmtva kt egsz szm
3
-szrse irrangyzetsszegeknt kapjuk, ezrt nem nulla egsz. Ennek
2
cionlis szm. Msrszt kiszmthatjuk a terletet gy is, hogy egy rcstglalap-

20

Bizonytsi mdszerek

ba foglaljuk a hromszget, s a tglalap terletbl ami egszek szorzata levonjuk a lees hromszgek terleteit, ami csak egsz, vagy egsz + ttized
lehet. Az gy szmtott terlet teht racionlis, ami ellentmonds.
91. Tegyk fel, hogy ltezik szablyos rcstszg, cscsait jellje A1 A2 A3 A4 A5.
legyen ez a legkisebb oldalhosszsg rcstszg. Ilyen biztosan van, mert az
tszg oldalhossza egsz, s legalbb 1. Hzzuk be az tlit! Ezek az tszg
belsejben egy jabb szablyos tszget hatroznak meg. Az A1 A2 A3 hromszg s a bels tszg egyik cscsa paralelogrammt hatroznak meg, s ha a
paralelogramma hrom cscsa rcspont, akkor a negyedik is az, mivel kiszmtsban csak sszeadst s kivonst hasznlunk, ami nem vezet ki az egsz
szmok kzl. Ezzel ismt olyan tszget kaptunk, amelynek minden cscsa
rcspont, s oldala kisebb az elznl. Ez ellentmonds, hiszen feltevsnk
szerint az volt a legkisebb oldal szablyos rcstszg.
92. Tegyk fel, hogy van olyan n > 6 szm, amelyhez tallunk szablyos rcssokszget. Legyen egy ilyen legrvidebb oldal rcssokszg A1 A2 A3 fAn . Ennek a rcssokszgnek valamennyi Ai Ai + 1 oldalt toljuk el gy, hogy az Ai cscs
az origba kerljn. Ekkor a szakaszok vgpontjai jra egy szablyos n oldal
B1 B2 B3 f Bn rcssokszget alkotnak. A kt sokszg oldalainak arnya
B1 B2
r
= 2 sin
< 1, mert n > 6. Teht A1 A2 A3 f An nem lehetett a legrA1 A2
n
videbb oldalhossz rcs n-szg.
J90N
93. Az sszesen kivlaszthat szmprok szma: KK OO = 45 $ 89 , ami pratlan
2
J5NL P
szm. Egy szelvnyen 5 szmot tltnk ki, ez KK OO = 5 $ 2 = 10 szmpr meg2
L P
jellst jelenti. Tbb szelvny kitltsvel csak ennek tbbszrse rhet el,
ami nem lehet pratlan, teht a vlasz nem.
94. Nem. Tegyk fel, hogy sikerlt, s jelljk A-val a kzs sszeget! Minden
len lv szmot kt cscsnl szmolunk hozz az sszeghez, s mivel a kocknak 8 cscsa van, gy ktflekppen sszeszmolva az sszes lre rt szmok
sszegt, a kvetkez egyenletet kapjuk: 8A = 2(1 + 2 + 3 + + 12) = 156,
ami nem oszthat 8-cal.

95. Bizonyts: indirekt mdon. Tegyk fel, hogy n nem prm, akkor vagy
n = 1, vagy n = ab, ahol a > 1 s b > 1. Az n = 1-re a szm nem prm, teht az
llts errl nem mond semmit. Ha n = ab, ahol a > 1 s b > 1, akkor osszuk
az n darab 1-esbl ll szmot b darab olyan szmra, amelyek mindegyike a
darab 1-esbl ll. Ezt az a darab 1-esbl ll szmot jellje k, s tudjuk, hogy
k > 1. Az eredeti n jegy szm teht felrhat a kvetkez alakban: k(1 + 10a +
+ 102a + + 10a(b-1)), s a msodik tnyez is nagyobb egynl. gy nem lehet
prm, mivel kt egynl nagyobb termszetes szm szorzata. Ellentmondsra
jutottunk, ezrt az eredeti llts igaz.
A megfordts nem igaz, hiszen n = 3-ra 111 = 3 $ 37.

Teljes indukci

21

Teljes indukci
96. A hiba ott van, hogy kt egyms utni rtkre n - 1-re s n - 2-re
hasznltuk a msodik lpsnl az indukcis felttelt, de csak egyetlen rtkre,
n = 1-re ellenriztk.
97. Az llts csak 1-nl nagyobb n-ekre igaz, az els lpsnl a jobb oldalon
1-re, a bal oldalon 2-re szl lltst tettnk egyenlv.
98. Egy egyenes behzsa esetn legyen az egyik flsk fekete, a msik
fehr, ez a sznezs j. Kt egyenes esetn mr meg kell vizsglni, hogy az egyenesek prhuzamosak vagy metszk, de mindkt konkrt eset nyilvnvalan
kisznezhet. Tegyk fel, hogy igaz az llts n = k egyenesre, azaz a sk a kvnt mdon kisznezhet. Ekkor biztosan ltezik egy msik sznezs is, az,
amelyben fekete az, ami az eredeti sznezsen fehr, s fordtva. Hzzuk be
most a k + 1-edik egyenest. Ez a skot kt flskra osztja. A kt flsk kzl az
egyikben hagyjuk meg a sznezst, a msikban vltoztassuk az ellenttre. Ez a
sznezs j, hiszen mindkt flsk kln-kln jl van sznezve, s az egyenes
ltal hatrolt tartomnyok az egyenes kt oldaln klnbz sznek.
99. Elg bebizonytani, hogy 6; 7; 8 darab ngyzetre felbonthat (99. bra),
mert azutn egy ngyzetet 4 egybevg ngyzetre bontva addik teljes indukcival minden 3k; 3k + 1 s 3k + 2 alak szmra, s ezzel az sszes termszetes
szmra az llts.
100. Ez kvetkezik a 101. feladatbl. (100101. bra)
101. Ha egy hromszg kzpvonalait meghzzuk, akkor egyetlen hromszgbl ngy darab, az eredetihez hasonl hromszget kaptunk, teht az eredetihez hasonl hromszgek szmt 3-mal nveltk. Ezrt elg megmutatni,
hogy fel lehet bontani 6; 7; 8 darab, az eredetihez hasonl hromszgre, mert
azutn egy hromszget 4 egybevg hromszgre bontva teljes indukcival
addik minden 3k; 3k + 1 s 3k + 2 alak szmra, s ezzel az sszes termszetes
szmra az llts. Ezt a felbontst pedig a 100101. bra mutatja.
99.

100101.

22

Bizonytsi mdszerek

A kvetkez feladatokban csak egy-kt pldt dolgozunk ki rszletesen, mivel az

sszes bizonytsa nagyon hasonl.

102.
a) A bizonytst teljes indukcival vgezzk.
n = 1-re az llts igaz, mert 71 + 32 = 16 = 4 $ 4 .
Tegyk fel, hogy egy n szmra igaz az llts.
lltom, hogy (n + 1)-re is igaz marad, vagyis ha 4 7 n + 3 n + 1 , & 4 7 n + 1 + 3 n + 2 .
Alaktsuk t az lltsban szerepl mennyisget a kvetkez mdon:
7 n + 1 + 3 n + 2 = 7 $ 7 + 3 $ 3 n + 1 = 7 $ 7 n + 7 $ 3 n + 1 - 4 $ 3 n + 1 = 7 `7 n + 3 n + 1j - 4 $ 3 n + 1 .
Ennek az sszegnek az els tagja az indukcis felttel 7-szerese, ezrt a feltevs
szerint oszthat 4-gyel, a msodik tag egy egsz szm 4-szerese, ezrt oszthat
4-gyel. Mivel az sszeg mindkt tagja 4-gyel oszthat, gy az llts igaz.
103106. A feladatok megoldst az olvasra bzzuk.
107. A bizonytst teljes indukcival vgezzk. (Mr n = 0-ra is igaz az llts,
mert 8 + 3 $ 5 = 23.)
n = 1-re az llts igaz, mert 23 2 7 + 3 + 32 + 1 $ 54 + 1 = 1024 + 27 $ 3125 = 85 399 =
= 23 $ 3713 .
Tegyk fel, hogy egy n szmra igaz az llts.
lltom, hogy (n + 1)-re is igaz marad, vagyis ha 23 2 7n + 3 + 32n + 1 $ 54n + 1 &
23 2 7n + 3 + 32n + 1 $ 54n + 1 .
2 7n + 10 + 32n + 3 $ 54n + 5 = 128 $ `2 7n + 3 + 32n + 1 $ 54n + 1j + 9 $ 625 $ 32n + 1 $ 54n + 1 =
= 128 $ `2 7n + 3 + 32n + 1 $ 54n + 1j + 23 $ 239 $ 32n + 1 $ 54n + 1 .
Az els tag az indukcis felttel miatt, a msodik a 23-mal val szorzs miatt
oszthat 23-mal, s ezt kellett bizonytani.
108109. A feladatok megoldst az olvasra bzzuk.
n (n + 1)( 2n + 1)
110. Bizonytand, hogy 12 + 2 2 + 32 + ... + n2 =
.
6
A bizonytst teljes indukcival vgezzk.
1$2$3
n = 1-re az llts igaz, mert 12 =
.
6
Tegyk fel, hogy egy n szmra igaz az llts.
lltom, hogy (n + 1)-re is igaz marad, vagyis 12 + 2 2 + 32 + ... + n2 =
n (n + 1)( 2n + 1)
=
& 12 + 2 2 + 32 + ... + n2 + (n + 1)2 =
6
(n + 1) _ n + 2i (2 (n + 1) + 1) (n + 1) _ n + 2i (2n + 3)
=
=
.
6
6
Az indukcis felttel szerint a bal oldalon az els n tagot a felttel jobb oldalval helyettestve
n (n + 1)( 2n + 1)
2
2
12 + 2 2 + 32 + ... + n2 + _ n + 1i =
+ _ n + 1i =
6
n+1
n+1
_ n + 1i (n + 2)( 2n + 3)
=
,
8 n _2n + 1i + 6 _ n + 1iB =
`2n2 + 7n + 6j =
6
6
6
s ezt kellett bizonytani.

23

Teljes indukci

111113. A feladatok megoldst az olvasra bzzuk.

n (n + 1)( n + 2)
114. 1 $ 2 + 2 $ 3 + 3 $ 4 + ... + n $ (n + 1) =
. Erre ktfle bizonytst
3
adunk.
1. bizonyts:
Nzzk a teljes indukcis bizonytst, amely mkdik akkor is, ha semmi nem
jut esznkbe. Teht elszr megnzzk, n = 1-re igaz-e az llts.
1$2$3
, teht igaz. Tegyk fel most, hogy egy n szmra igaz az llts.
1$2=
3
lltom, hogy (n + 1)-re is igaz marad, vagyis
1 $ 2 + 2 $ 3 + 3 $ 4 + ... + n $ (n + 1) =
+ (n + 1)(n + 2) =

n (n + 1)(n + 2)

3
(n + 1)( n + 2)( n + 3)

& 1 $ 2 + 2 $ 3 + 3 $ 4 + ... +

.
3
Az indukcis felttel szerint a bal oldalon az els n tagot a felttel jobb oldalval helyettestve
1 $ 2 + 2 $ 3 + 3 $ 4 + ... + (n + 1)(n + 2) =
=

(n + 1)

7 n (n + 2) + 3 (n + 2)A =

3
amit bizonytani kellett.

n (n + 1)( n + 2)
3

(n + 1)
3

+ (n + 1)(n + 2) =

` n2 + 5n + 6j =

(n + 1 (n + 2)( n + 3)
3

2. bizonyts:

Jn + 2N
O kifejA jobb oldali kifejezs adhatja az tletet, mivel nagyon hasonlt KK
3 O
L
P
tett alakjhoz, annak pontosan a ktszerese. Ezrt osszuk el az egyenletet 2-vel!
Ekkor a bal oldali tagok is felrhatk binomilis egytthatkknt:
J2N J3N J4N
Jn + 1N Jn + 2N
O K
O
K O + K O + K O + ... + K
K 2O K 2O K 2O
K 2 O = K 3 O, ami ismert kombinatorikai azonossg.
L
P L
P
L P L P L P

115118. A feladatok megoldst az olvasra bzzuk.

119.

1
1$3

1
3$5

1
5$7

+ ... +

1
(2n - 1)( 2n + 1)

n
2n + 1

Erre is ktfle bizonytst adunk.

1. bizonyts: Nzzk a teljes indukcis bizonytst, ami mkdik akkor is, ha
semmi nem jut esznkbe. Teht elszr megnzzk, n = 1-re igaz-e az llts.

24

1
1$3

Bizonytsi mdszerek
=

1
2$1+1

, teht igaz. Tegyk fel most, hogy egy n szmra igaz az llts,
1

(2n - 1)( 2n + 1)
1

&

+ ... +
1$3
3$5
5$7
1
1
1
1
+
+
+ ... +
+
1$3
3$5
5$7
(2n - 1)( 2n + 1)

lltom, hogy n + 1-re is igaz marad, vagyis

2n + 1
n+1
+
=
. Az indukcis felttel szerint a bal oldalon az
(2n + 1)( 2n + 3)
2n + 3
n
1
+
=
els n tagot a felttel jobb oldalval helyettestve
2n + 1 (2n + 1)( 2n + 3)
n (2n + 3) + 1
n+1
=
=
, amit bizonytani kellett.
(2n + 1)( 2n + 3)
2n + 3
2. bizonyts (Parcilis trtekre bonts.):
Prbljuk meg felrni az ltalnos tagot kt trt sszegeknt!
1
(2k - 1)( 2k + 1)
=

x
2n - 1

2k (x + y) + x - y
(2k - 1)( 2k + 1)

y
2n + 1

x (2k + 1) + y (2k - 1)
(2k - 1)( 2k + 1)

Ez csak gy teljeslhet minden k-ra, ha x + y = 0 s x y = 1, vagyis x =

y=1
1$3

1
2

1
2

. Ezt felhasznlva a bal oldali sszeg a kvetkezkppen rhat fel:

1
3$5

1
5$7

+ ... +

1
(2n - 1)( 2n + 1)

R
V
J 1
1 SJ
1N J1
1N J1
1N
1 NW
K1 - O + K - O + K - O + ... + K
O=
K 2n - 1
2 SSK
3O K 3
5O K 5
7O
2n + 1 OWW
L
P
L
P
L
P
L
PX
T
J
N
1 1
1
n
O=
= KK .
2 1
2n + 1 O 2n + 1
L
P
120. A feladat megoldst az olvasra bzzuk.
=

> 1.
n+1
n+2
3n + 1
Bizonyts teljes indukcival. Elszr nzzk n = 1-re
1
1
1
1
1
1
13
+
+ ... +
= + + =
> 1, teht igaz.
1+1 1+2
3+1
2
3
4
12
rdemes megnzni n = 2-re is, htha szrevesszk, min mlik a bizonyts.

121.

+ ... +

25

Teljes indukci
1
2+1

1
2+2

+ ... +

1
6+1

1
3

1
4

1
5

1
6

1
7

459
420

> 1.

Teht az els tag eltnt, viszont az sszeg hrom j taggal bvlt.

Most vizsgljuk meg, hogy ha n-re igaz az llts, akkor igaz marad-e (n + 1)-re
1
1
1
1
+
+
>0
is. Ehhez azt elg bizonytani, hogy
3n + 2
3n + 3
3n + 4
n+1
1
1
1
1
2
+
>
=
az elzek rtelmben. trendezve
.
3n + 2 3n + 4 n + 1 3n + 3 3n + 3
Mivel minden szerepl tag pozitv, ezrt 2-vel elosztva az egyenltlensget
szrevehetjk, hogy a bal oldal a (3n + 2) s (3n + 4) kifejezsek harmonikus
kzepnek reciproka, mg a jobb oldalon ennek a kt kifejezs szmtani
kzepnek reciproka ll, ezrt az llts igaz. (Pozitv mennyisgek reciprokaira
val ttrsnl fordul az egyenltlensg irnya).
Ha azonban nem vesznk szre semmit, az se baj, mert a kzs nevezvel
vgigszorozva s a kijellt mveleteket elvgezve is kijn az llts.
122. A 122. s 123. kzl elg az utbbit igazolni, mert abbl a msik kvetkezik. Ez vzlatosan a kvetkez:
123. n = 2-re:
1
1
7
14
13
+ =
=
>
.
3
4
12
24
24
Tegyk fel, hogy n-re igaz az llts.
lltom, hogy akkor (n + 1)-re is igaz lesz.
Ehhez azt kell bizonytani, hogy a kimarad s az jonnan hozzvett tagok
klnbsge pozitv. s ez igaz, mert
1
1
1
1
1
+
=
> 0 , mivel kt azonos szm2n + 1
2n + 2
n+1
2n + 1
2n + 2
llj pozitv trt kzl az a nagyobb, amelyiknek a nevezje kisebb.
124. Ezt az egyenltlensget is lehet teljes indukcival igazolni, de sokkal
egyszerbb, ha becslssel prblkozunk. Helyettestsk az egyenltlensg minden tagjt azaz n darabot az utolsval, a legkisebbel!
1
1

1
2

+ ... +

1
n

>

n
n

= n,

ha n $ 2 .

125 126. A feladatok megoldst az olvasra bzzuk.

127. Bizonyts teljes indukcival: n = 1 egyenes a skot kt rszre osztja, s
a kpletbl is 2 addik. Tegyk fel most, hogy tetszleges n egyenes a skot
n2 + n + 2
rszre osztja. lltom, hogy akkor n + 1 egyenes a skot
legfeljebb
2
2
_ n + 1i + _ n + 1i + 2
legfeljebb
rszre osztja. Nzzk meg, mi trtnik
2
az n + 1-edik egyenes behzsval! A legtbb rsz akkor keletkezik, ha az j
egyenes nem megy t semelyik eddigi metszsponton, s nem prhuzamos
egyetlen eddigi egyenessel sem. Ekkor teht az egyenes az elz n egyenes min-

26

Bizonytsi mdszerek

degyikt klnbz pontokban metszi, azaz n metszspont keletkezett, s n

metszspont az egyenest n + 1 rszre osztja. Ezek a metszspontok az n + 1edik egyenesen egy-egy j skrsz hatrol szakaszai, illetve flegyenesei. Ezrt
n2 + n + 2
n2 + n + 2 + 2n + 2
+n+1=
=
a skrszek szma n + 1-gyel ntt.
2
2
2
_ n + 1i + _ n + 1i + 2
=
, s ezt kellett igazolni.
2
128. A bizonyts teljesen az elz mintjra trtnik. Egy kr a skot kt
rszre osztja, s ez jn ki a kpletbl is. Tegyk fel, hogy n kr a skot legfeljebb
n2 - n + 2 rszre osztja. Ha az n + 1-edik kr minden elzt kt olyan pontban
metsz, amely mg nem volt eddig metszspont, akkor 2n metszspont, s gy 2n
2

j skrsz keletkezett. s n2 - n + 2 + 2n = _ n + 1i - _ n + 1i + 2 , amit bizonytani kellett.

sin 2 n + 1 x
,
129. a) cos x $ cos 2x $ cos 4x $f cos 2 n x = n + 1
2
sin x
ahol sin x ! 0 es n ! N .
sin 2x
, ahol sin x ! 0 & igaz.
Bizonyts teljes indukcival: n = 1-re cos x =
2 sin x
Tegyk fel, hogy n-re igaz az llts. Bizonytsuk be most, hogy akkor
sin 2 n + 2 x
cos x $ cos 2x $ cos 4xf cos 2 n + 1 x = n + 2
.
2
sin x
Az indukcis feltevst felhasznlva cos x $ cos 2x $ cos 4xf cos 2 n + 1 x =
sin2 n + 1 x
2 sin 2 n + 1 x $ cos 2 n + 1 x
sin 2 n + 2 x
=
= n+1
$ cos 2 n + 1 x =
, s ezt kellett
2
sin x
2 n + 2 sin x
2 n + 2 sin x
bizonytani.
130.; 131. A 130. s 131. feladat hasonlan bizonythat a trigonometrikus
sszegek szorzatt alaktsra vonatkoz azonossgok segtsgvel.
132. Itt meg kell elszr sejteni a lpsszmra vonatkoz kpletet. Ehhez
prbljuk meg elszr kt korongra vgiggondolni a lpseket!
a) A kis korongot a harmadik rdra tesszk.
b) A nagyot ttesszk a msodikra.
c) Vgl a harmadik rdrl rtesszk a kisebb korongot.
Ez teht 3 lps.
Most prbljuk meg hrom korongra vgiggondolni a lpseket!
a) A kis korongot a msodik rdra tesszk.
b) A nagyot ttesszk a harmadikra.
c) A kiskorongot a harmadikra, a kzepes tetejre.
d) A legnagyobb korongot a msodikra.
e) A kicsit az elsre.
f) A kzepest a msodikra.
g) A kicsit a msodik rd tetejre, s ksz.

Invarins tulajdonsgok

27

Ez 7 lps, de a legfontosabb, hogy lthat az eljrs lnyege. Teht n korong

esetn
a) elszr a harmadik rdra t kell tenni n - 1 korongot a helyes sorrendben,
b) azutn a legnagyobbat a msodik rdra,
c) vgl rpakolni a harmadik rdrl a msodikra az n - 1 korongot a
helyes sorrendben.
A rekurzis sszefggs teht ha a lpsszmot n korong esetn an jelli
an = an - 1 + 1 + an - 1 = 2an - 1 + 1.
Most keressnk kpletet! Kt korongnl 3, hrom korongnl 7 lps szksges.
Prblkozzunk az an = 2 n - 1 sszefggssel, ami n = 1; 2-re j. Bizonytsuk
indukcival, hogy ha n-re igaz volt a kplet, akkor n + 1-re is igaz marad.
Valban, a rekurzit s az indukcis feltevst felhasznlva an + 1 = 2an + 1 =
= 2 $ `2 n - 1j + 1 = 2 n + 1 - 1, amit lltottunk.

Invarins tulajdonsgok
133. Nem. Ha egy paprdarabot 10 rszre bontunk, akkor a rszek szma 9cel n, teht nem vltozik a 9-cel val osztsi maradka a lapok szmnak.
Mivel egy paprbl indultunk ki, a kilences maradk teht 1, gy a vgn nem
lehet a kilences maradk 2, ami 2000 kilences maradka.
134. Nem. Ha egy paprdarabot 6 rszre bontunk, akkor a rszek szma 5-tel
n, ha 11 rszre bontunk, akkor a rszek szma 10-zel n, teht nem vltozik a
lapok szmnak az 5-tel val osztsi maradka. Mivel egy paprbl indultunk
ki, nem kaphatunk 2000 darabot a vgn.
135. Mivel minden lpsben eggyel cskken a tbln lv szmok szma, gy
a kilencedik lps utn valban egyetlen szm ll a tbln.
Ha azonos parits szmokat trltnk le, akkor pros szm kerlt a tblra,
ha klnbz paritsakat trltnk, akkor pratlan szm. Ezek szerint a
tbln marad szmok sszege mindig pros szmmal vltozik. Mivel a kiindul sszeg 1 + 2 + + 10 = 55, ami pratlan, ezrt nem maradhat a vgn
nulla a tbln.
136. Ha egy cscsbl k darab gyuft vesznk el, akkor a msik kettbe sszesen 4k gyuft helyeznk, teht a gyufk szma 3k-val ntt. Ezek szerint nem
vltozik a hromszg cscsaiban lv gyufaszlak 3-mal val osztsi maradka.
Mivel ez az indulskor 1 volt, nem lehet a vgn minden cscsban ugyanannyi,
mert annak az sszegnek nulla a hrmas maradka.
137. Szmozzuk meg a fkat 1-tl 14-ig! Ezutn vegyk a szmok 14-es maradkt, s ez legyen a mkusok szma. (Teht a 13-as fn l mkus szomszdai a 12-es s a 0-s mkusok; az egyes szomszdai a nulls s a 2-es stb.) Tekintsk a mkusok sorszmnak az sszegt, s annak 14-es maradkt! Ez
14 $ 13
= 91 = 6 $ 14 + 7 . Amikor egy mkus tugrik egy msik fteht 7, mert
2
ra, legyen a szma az j fa sorszma.

28

Bizonytsi mdszerek

a) Ha az egyik mkus az ramutat jrsval megegyez, a msik ellenttes irnyban ugrik, az sszeg nem vltozik, mert egyikk szma eggyel
n, a msikuk eggyel cskken. Teht nem lehet, hogy mondjuk a kadik fn sszegyljenek, mert akkor a a sorszmok sszege 14k,
aminek 14-es maradka nulla, szemben az indul 7-es maradkkal.
b) Ha tetszleges irnyban, de szomszdos fra ugranak, akkor a sorszmok sszege nullval, +2-vel vagy 2-vel vltozik, azaz pros szmmal, s gy sem kaphatunk nullt, mivel 7-bl indultunk ki.
A vlasz teht mindkt esetben nem.
138. Itt azt kell szrevenni, hogy egy j parcella elgyomosodsval a gyomos
parcellk sszkerlete nem vltozik, mert a kt bels l helyett a kt kls
lt vesszk szmtsba. A 10 # 10-es tbla kerlete 40 mez, a kiindulsi 9 gyomos parcella kerlete csak 36 mez, ezrt a vlasz nem.
Ha 10 gyomos parcella van, akkor elkpzelhet, hogy elgyomosodik a terlet, pldul ha a ftl mezi gyomosak. Erre a vlasz teht igen. (Termszetesen az is
lehet, hogy egyetlen j gyomos parcella sem lesz, pl. ha csak az els sor gyomos.)
139. Vizsgljuk meg az x2 - 10x + 20 polinom s az x2 - 20x + 10 polinom helyettestsi rtkt az x = 1 helyen! Az els polinom helyettestsi rtke +11; a
msodik 9. Ha egy lpsben csak az egyik egytthatt vltoztatjuk eggyel,
akkor a polinom rtke is eggyel vltozik. (Egy polinom helyettestsi rtke az
x = 1 helyen a polinom egytthatinak sszegvel egyenl.) Brmilyen lpssorozat utn jutottunk is +11-tl 9-ig, egyszer kellett, hogy nulln lljunk,
akkor pedig a polinom egyik gyke x = 1 volt.

Szitaformula
140. Mivel sszesen 90 darab ktjegy szm van, ezekbl kell kivonni azokat,
amelyek oszthatk 2-vel (45 ilyen van, mert minden msodik pros), s azokat,
amelyek oszthatk 3-mal (30 ilyen van, mert minden harmadik ilyen). Ekkor
azonban ktszer vontuk le azokat, amelyek 2-vel is s 3-mal is oszthatk, ezeket
teht (-1)-szer szmoltuk, ezrt egyszer mg hozz kell adni, ha azt akarjuk,
hogy nullaszor szerepeljenek. A keresett ktjegy szmok szma teht:
90 - _45 + 30i + 15 = 30 darab.
141. Az elz gondolatmenethez hasonlan oldjuk meg a feladatot. sszesen 900 darab hromjegy szm van. Ezek kztt 450 darab oszthat 2-vel ; 300
darab oszthat 3-mal s 180 darab 5-tel oszthat van. Azokat a szmokat, amelyek oszthatak 2-vel s 3-mal (azaz 6-tal & 150 van belle), vagy 2-vel s 5-tel
(azaz 10-zel & 90 ilyen van), vagy 3-mal s 5-tel (azaz 15-tel & 60 ilyen szm
van kztk), megint ktszer szmoltuk le, ezrt egyszer vissza kell adni. Nzzk
most meg, mi trtnt 30-cal oszthat szmokkal, teht azokkal, amelyek
oszthatak 2-vel s 3-mal s 5-tel is. Ezeket az els menetben 3-szor vontuk le,
majd a msodik fordulban minden lpsben (hromszor) visszaadtuk, teht
most egyszer szerepelnek a j szmok kztt, azaz most jra egyszer le kell vonnunk azokat. 30 darab 30-cal oszthat szm van. gy az eredmny:
900 - _450 + 300 + 180i + _150 + 90 + 60i - 30 = 240 szm.

Szitaformula

29

142. 999 darab legfeljebb hromjegy szm van. Ezek kzl 33 olyan van, ami
30-cal oszthat, 28 olyan, ami 35-tel, s 23 olyan, amelyik 42-vel oszthat. Ezek
kztt azonban a 210-zel, azaz az 5-tel, 6-tal s 7-tel is oszthat szmokat
hromszor szmoltuk le. Ngy ilyen legfeljebb hromjegy szm van, s ezeket
egyltaln nem szabad szmolnunk. A keresett szmok szma teht:
33 + 28 + 23 - 3 $ 4 = 72 .
143. Az sszes legfeljebb 8 jegy szmok szma: 38. Ezek kztt vannak
olyanok, amelyek csak ktfle szmjegyet tartalmaznak, pl. csak tst s hatost,
vagy csak hatost s hetest, esetleg csak tst s hetest. Ktfle szmjegybl
sszesen 28 szm kszthet. Teht le kell vonni 3 28 szmot. Ekkor azonban a
csak 5-st vagy csak 6-ost vagy csak 7-est tartalmaz szmokat ktszer vontuk
le, ezrt egyszer vissza kell adni. A keresett szm teht: 38 - 3 $ 2 8 + 3 = 1932 .
144. Az ts szmrendszerben t szmjegy van: 0; 1; 2; 3; 4. Az sszes 8-jegy
szmok szma 5-s szmrendszerben ezrt 58. Ezek kzl nem felelnek meg
azok, amelyek csak 3 szmot tartalmaznak az 1-2-3-4 kzl, s lehet mg benne
J4N
0 is. A 4 szmbl a szerepl 3-at KK OO-flekppen tudjuk kivlasztani, s a
3
L P
8
kivlasztott 3 szmbl s a 0-bl 4 darab szm kpezhet. Ekkor azonban
azokat a szmokat, amelyekben csak kett szerepel a kivlasztott 3 szmbl,
J4N
tbbszr szmoltuk. Ngy szmbl 2-t KK OO-flekppen tudunk kivlasztani, s a
2
L P
8
kt szmbl s a 0-bl 3 szm kpezhet. Most azokat kell mg kivonni, amelyek az 1-2-3-4-bl csak egyet tartalmaznak, s mg a nullt. Ezek szma
J4N
K O $ 2 8 . Mg a csupa 0-bl ll szmot kell megnzni, hogy hnyszor szmoltuk
K 1O
L P
le. Ha vgigkvetjk, akkor 1 - 4 + 6 - 4 = -1-szer szmoltuk, ezrt most mg
egyszer hozz kell adni. A keresett szmok szma:
J4N
J4N
J4N
58 - KK OO 4 8 + KK OO 38 - KK OO 2 8 + 1 = 166 824 .
3
2
1
L P
L P
L P