Professional Documents
Culture Documents
Emelt Matek Temakorok 2013
Emelt Matek Temakorok 2013
2013
sszelltotta:
Kovcsn Nmeth Sarolta
(gimnziumi tanr)
Tjkoztat vizsgzknak
Tisztelt Vizsgz!
A szbeli vizsgn a ttel cmben megjellt tma kifejtst s a kitztt feladat megoldst
vrjk el a vizsgzktl.
A ttel cmben megjellt tmt logikusan, arnyosan felptett, szabad eladsban,
nllan kell kifejteni.
Ehhez a felkszlsi id alatt clszer vzlatot kszteni. Ebben tervezze meg a cmben
megjellt tmakr(k)hz tartoz ismeretanyag rvid ttekintst, dolgozza ki azokat a
rszeket, amelyeket rszletesen kifejt, oldja meg a feladatot. A vizsgz a vzlatt felelete
kzben hasznlhatja.
A feleletben felttlenl szerepelnik kell az albbi rszleteknek:
egy, a tmhoz tartoz, a vizsgz vlasztsa szerinti definci pontos kimondsa;
egy, a tmhoz tartoz, a vizsgz vlasztsa szerinti ttel pontos kimondsa s bizonytsa;
a kitztt feladat megoldsa;
a tma matematikn belli vagy azon kvli alkalmazsa (tbb alkalmazs felsorolsa, vagy
egy rszletesebb kifejtse).
Ha a ttelhez tartoz kitztt feladat bizonytst ignyel, akkor ennek a megoldsa nem
helyettesti a tmakrhz tartoz ttel kimondst s bizonytst.
Vizsgznknt szksges segdeszkz a ttelsorban szerepl feladatokhoz kapcsold
sszefggseket tartalmaz, a ttelcmekkel egytt nyilvnossgra hozott kplettr, tovbb
szveges adatok trolsra s megjelentsre nem alkalmas zsebszmolgp.
A ttelt a vizsgznak nllan kell kifejtenie. Kzbekrdezni csak akkor lehet, ha teljesen
helytelenl indult el, vagy nyilvnval, hogy elakadt.
rtkels
A szbeli vizsgn elrhet pontszm 35. Az rtkels kzponti rtkelsi tmutat alapjn
trtnik.
Az rtkelsi szempontok:
A felelet tartalmi sszettele, felptsnek szerkezete
A feleletben szerepl, a tmhoz ill definci helyes kimondsa
A feleletben szerepl, a tmhoz ill ttel helyes kimondsa s bizonytsa
A kitztt feladat helyes megoldsa
Ha a felel a feladatot csak a vizsgztat segtsgvel tudja elkezdeni, akkor maximum
5 pont adhat.
Alkalmazsok ismertetse
Egy odaill alkalmazs megemltse 1 pont, ennek rszletezse, vagy tovbbi 2-3 lnyegesen eltr alkalmazs emltse tovbbi 3 pont.
Matematikai nyelvhasznlat, kommunikcis kszsg
10 pont
2 pont
6 pont
8 pont
4 pont
5 pont
Bevezets:
A halmazelmlet a matematikn bell viszonylag j terletnek szmt, precz kidolgozsra csak
a XIX. szzad vgn kerlt sor. Ahhoz, hogy a halmazelmlet nll tudomnygg vljon, annak
a felismerse kellett, hogy a matematika minden ga klnbz halmazokkal foglalkozik.
Kidolgozs:
I. Halmazok, rszhalmazok
A halmaz s a halmaz eleme alapfogalom, ezeket a kifejezseket nem definiljuk. De a halmaz
megadsnak szigor kvetelmnye van: egy halmazt gy kell megadnunk, hogy minden szba
jhet dologrl egyrtelmen eldnthet legyen, hogy az adott halmazhoz tartozik vagy sem.
A halmazokat nyomtatott nagybetvel, a halmaz elemeit kisbetvel jelljk a kvetkez mdon:
A = {a; b; c}, ebben az esetben a A, x A.
Halmaz megadsi mdjai:
Elemeinek felsorolsval: A = {0; 2; 4; 6}
Az elemeit egyrtelmen meghatroz utastssal: B = {egyjegy pratlan szmok}
Szimblumokkal: A = {xx2 - x - 6 = 0}, B = {xx2 > 9}
Venn-diagrammal:
n
n
n
BIZONYTS II.: Az n elem halmaznak db 0 elem, db 1 elem, db 2 elem,
0
1
2
n db n - 1 elem, n db n elem rszhalmaza van, mert n elembl k db-ot kivlasztani
n
n 1
n -flekppen lehet.
k
n
n
n
n n
gy az sszes rszhalmazok szma: + + + ... +
+ .
0
1
2
n
1 n
Vizsgljuk meg 2 n -t:
n
n
n
n
n n 1 1 n n 0
2 n = (1 + 1) = 10 1n + 11 1n 1 + 12 1n 2 + ... +
1 1 + n 1 1 , ami
0
1
2
n 1
n
n
n
n n
egyenl + + + ... +
+ -nel a binomilis ttel miatt.
0
1
2
n
1 n
DEFINCI: Egy halmaz vges halmaz, ha elemeinek szmt egy termszetes szmmal megadhatjuk. Ellenkez esetben, azaz ha a halmaz elemeinek szmt nem adhatjuk meg termszetes
szmmal, akkor vgtelen halmazrl beszlnk.
DEFINCI: A vgtelen halmazok kztt tallhatunk olyat, melynek elemei sorba rendezhetk,
teht megadhat az 1., 2., 3., 4., eleme. A pozitv termszetes szmokkal megegyez
szmossg halmazokat megszmllhatan vgtelen halmaz oknak nevezzk.
A megszmllhatsg s a sorba rendezhetsg egy vgtelen halmaznl ugyanazt jelenti.
Minden olyan halmaz megszmllhatan vgtelen szmossg, amelynek elemei s a termszetes szmok kztt klcsnsen egyrtelm megfeleltets ltesthet.
Megszmllhatan vgtelen szmossgak: egsz szmok, pros szmok, ngyzetszmok,
racionlis szmok.
DEFINCI: A vals szmok szmossgval megegyez szmossg halmazokat nem megszmllhatan vgtelen vagy kontinuum szmossg halmazoknak nevezzk. Pl.: irracionlis
szmok halmaza, szmegyenes pontjainak halmaza, intervallum pontjainak halmaza.
TTEL: Szmossg s halmazmveletek kapcsolata (logikai szita): A, B s C vges halmazok szmossgra rvnyesek a kvetkezk:
A B = A + B - A B
A B = U - A B
A B C = A + B + C - A B - A C - B C + A B C
III. Halmazmveletek
DEFINCI: Azt a halmazt, amelynek a vizsglt halmazok rszhalmazai, alaphalmaznak vagy
univerzumnak nevezzk. Jele: U vagy H.
DEFINCI: Egy A halmaz komplementer halmaznak az alaphalmaz azon elemeinek halmazt
nevezzk, amelyek az A halmaznak nem elemei. Jele: A . (Fontos tulajdonsg: A = A .)
DEFINCI: Kt vagy tbb halmaz unija vagy egyestse mindazon elemek halmaza, amelyek
legalbb az egyik halmaznak elemei. Jele: .
DEFINCI: Kt vagy tbb halmaz metszete vagy kzs rsze pontosan azoknak az elemeknek
a halmaza, amelyek mindegyik halmaznak elemei. Jele: .
DEFINCI: Kt halmaz diszjunkt, ha nincs kzs elemk, vagyis a metszetk res halmaz.
A B = .
DEFINCI: Az A s B halmaz klnbsge az A halmaz mindazon elemeinek halmaza, amelyek
a B halmaznak nem elemei. Jele: A \ B.
DEFINCI: Az A s B halmaz Descartes-fle szorzata az a halmaz, amelynek elemei az sszes
olyan rendezett (a; b) pr, amelynl a A s b B. Jele: A B.
Komplementer halmaz
Kt halmaz unija
Kt halmaz metszete
Diszjunkt halmazok
A s B halmaz A \ B klnbsge
Halmazmveletek tulajdonsgai
Kommutatv
(felcserlhet)
Asszociatv
(csoportosthat)
Disztributv
(szttagolhat)
AB=BA
AB=BA
(A B) C = A (B C)
(A B) C = A (B C)
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
De-Morgan azonossgok
Tovbbi azonossgok
A B = A B s A B = A B
A=A
AA=A
A A =U
AU=U
A=
AA=A
A A =
AU=A
A= A
tagads
negci
vagy
diszjunkci
s
konjunkci
AB
AB
i
h
h
i
i
i
h
h
i
h
i
h
i
i
i
h
i
i
h
h
i
h
i
h
i
h
h
h
AB=BA
AB=BA
(A B) C = A (B C)
(A B) C = A (B C)
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
A B = A B s A B = A B
AA=A
A A =i
AA=A
A A =h
A= A
VI. Alkalmazsok
Biolgiban a rendszertan, kmiban a peridusos rendszerbeli csoportosts is halmazelmleti fogalmak. Mveletek: melyik csoport melyiknek rszhalmaza?
Vrcsoport szerint az emberek klnbz halmazokba sorolhatk. Mveletek: ki kinek adhat
vrt?
Eurpa orszgai hivatalos nyelvk alapjn halmazokba sorolhatk. Mveletek: melyik orszgban hivatalos nyelv az angol vagy a nmet?
Az rettsgin a nem ktelez trgyak vlasztsa szerint is halmazokba sorolhatk a vizsgzk. Mveletek: ki vizsgzik kmibl s biolgibl is?
A halmazelmlethez hasonlan pl fel az esemnyalgebra s a matematikai logika.
A fggvnyekkel kapcsolatban is hasznljuk a halmazokat (rtelmezsi tartomny, rtkkszlet).
Egyenletek rtelmezsi tartomnynak vizsglatakor szmhalmazok metszett kpezzk.
Bevezets:
A szmfogalom kialakulsa nagyon hossz folyamat eredmnye. A fejlds korai szakaszban is
szksg volt az ember szmra fontos dolgok megszmllsra. A szmlls ignye alaktotta ki
a pozitv egsz szmok fogalmt. A matematika fejldst kutatk szerint ezutn hossz id telt el
a nulla felfedezsig.
Kidolgozs:
I. Szmhalmazok
DEFINCI: A termszetes szmok halmaza (N) a pozitv egsz szmokbl s a 0-bl ll.
A termszetes szmok halmaza zrt az sszeadsra s a szorzsra nzve, azaz brmely kt
termszetes szm sszege s szorzata termszetes szm. Ugyanakkor a kivons s az oszts
mr nem vgezhet el ezen a halmazon bell, ezek a mveletek kimutatnak a halmazbl.
Pl. 3 - x = 5 egyenlet megoldsa.
DEFINCI: Az egsz szmok halmaza (Z) a termszetes szmokbl s azok ellentettjeibl ll.
Az egsz szmok halmaza az sszeadson s a szorzson kvl a kivonsra nzve is zrt,
ugyanakkor az oszts kimutathat a halmazbl. Pl. 2x + 3 = 4 egyenlet megoldsa.
DEFINCI: A racionlis szmok halmaza (Q) azokbl a szmokbl ll, amelyek felrhatk kt
egsz szm hnyadosaknt, azaz a alakban, ahol a, b Z, b 0.
b
a
Az
hnyados a kvetkez alakokban fordulhat el (a, b Z, b 0, s a trt vgskig leb
egyszerstett, azaz a s b legnagyobb kzs osztja 1.):
egsz szm, ha b osztja a-nak.
vges tizedes trt, ha b prmtnyezs felbontsban a 2 s az 5 szmokon kvl nincs ms
prmszm.
vgtelen szakaszos tizedes trt, ha b prmtnyezs felbontsban a 2 s az 5 szmokon
kvl ms prmszm is van.
Teht a racionlis szmok a kvetkez alakak: kznsges trtek, egszek, vges vagy vgtelen szakaszos tizedes trtek.
10
A racionlis szmok halmaza mind a 4 alapmveletre zrt (osztsra, ha az oszt nem 0), de
itt is tallunk olyan egyenletet, amelynek nincs megoldsa ezen a halmazon. Pl.: 2 x2 - 3 = 0.
DEFINCI: Azokat a szmokat, amelyek nem rhatk fel kt egsz szm hnyadosaknt, irracionlis szmoknak (Q*) nevezzk.
TTEL:
2 irracionlis szm.
BIZONYTS: A bizonytst indirekt mdon vgezzk, lnyege, hogy a bizonytand llts tagadsrl bebizonytjuk, hogy az hamis. Ez azt jelenti, hogy a bizonytand llts igaz.
Tegyk fel hogy 2 racionlis szm, azaz felrhat a alakban, ahol a, b Z, b 0,
b
(a; b) = 1.
2
Ekkor 2 = a 2 = a 2 2 b 2 = a2 .
b
b
Az egyenlet jobb oldaln szerepl (a2) szm prmtnyezs felbontsban a 2 mindenflekppen pros kitevn (akr a nulladikon) szerepel, mg a bal oldalon lev szm (2 b2) prmtnyezs felbontsban a 2 kitevje pratlan (legkevesebb 1).
Ez azonban lehetetlen, hiszen a szmelmlet alapttele szerint egy pozitv egsz szmnak
nincs kt lnyegesen klnbz felbontsa.
Teht nem igaz az indirekt feltevsnk, vagyis igaz az eredeti llts: 2 irracionlis.
2 + ( 2 )) = 0 Q * ,
2 2 = 2 Q * , 2 : 2 = 1 Q * .
Az irracionlis szmok tizedes trt alakja vgtelen nem szakaszos tizedes trt.
DEFINCI: A racionlis s az irracionlis szmok halmaza diszjunkt halmazok (Q Q* = ),
a kt halmaz egyestse a vals szmok halmaza: R = Q Q*.
A vals szmok halmaza zrt a 4 alapmveletre.
A vals szmok s rszhalmazai:
a + b = b + a s a b = b a
2. az sszeads s a szorzs asszociatv (csoportosthat)
(a + b) + c = a + (b + c) s (a b) c = a (b c)
3. a szorzs az sszeadsra nzve disztributv (szttagolhat)
(a + b ) c = a c + b c
11
III. Szmelmlet
DEFINCI: Egy a egsz szm osztja egy b egsz szmnak, ha tallhat olyan c egsz szm,
amelyre a c = b. Jells: ab. (Termszetesen cb is igaz). Ebben az esetben azt is mondhatjuk, hogy b oszthat a-val s c-vel. Ekkor azt is mondhatjuk, hogy b tbbszrse a-nak.
A 0 szerepe a szmelmletben:
a 0 minden egsz szmnak tbbszrse (0-szorosa), azaz 0 minden nemnulla egsz szmmal
oszthat.
a 0 nem osztja egyetlen nemnulla egsz szmnak sem, ugyanis ha 0 osztja lenne a-nak,
akkor ltezne egy olyan b egsz szm, amelyre b 0 = a 0 lenne, ez pedig lehetetlen.
Oszthatsg tulajdonsgai:
Ha a, b, c Z, akkor
1a, aa s a0, ha a 0
ab s ba fi a = b
ab s bc fi ac
ab fi ab c
ab s ac fi ab c
ab s ab + c fi ac
(a, b) = 1 s ac s bc fi a bc
Oszthatsgi szablyok:
Egy n egsz szm oszthat
2-vel, ha n pros, vagyis utols jegye {0; 2; 4; 6; 8}.
3-mal, ha a szmjegyek sszege oszthat 3-mal.
4-gyel, ha a kt utols jegybl kpzett szm oszthat 4-gyel.
5-tel, ha utols jegye {0; 5}.
6-tal, ha 2-vel s 3-mal oszthat.
8-cal, ha a hrom utols jegybl kpzett szm oszthat 8-cal.
9-cel, ha szmjegyek sszege oszthat 9-cel.
10-zel, ha utols jegye 0.
DEFINCI: Azokat a pozitv egsz szmokat, amelyeknek pontosan kt pozitv osztja van, prmszmoknak nevezzk. Pl.: 2; 3; 5; 7; Az 1 nem prmszm.
DEFINCI: Azokat az 1-nl nagyobb szmokat, amelyek nem prmszmok, sszetett szmoknak
nevezzk. Az sszetett szmoknak 2-nl tbb pozitv osztja van. Pl.: 4; 6; 8; 9; 10;
TTEL: A szmelmlet alapttele: brmely sszetett szm felrhat prmszmok szorzataknt, s
ez a felbonts a tnyezk sorrendjtl eltekintve egyrtelm.
Kanonikus alak: n = p11 p2 2 p3 3 pk k , ahol p1, p2, p3, ..., pk klnbz prmek, a1, a 2,
a 3, ..., a k nemnegatv egsz szmok.
Ekkor az n szm prmoszti: p1, p2, p3, ..., pk.
TTEL: Az n szm osztinak szma meghatrozhat a kvetkez mdon: A fenti n szmnak
(a1 + 1) (a2 + 1) (a3 + 1) ... (ak + 1) darab pozitv osztja van.
DEFINCI: Kt vagy tbb pozitv egsz szm legnagyobb kzs osztja a kzs osztk kzl a legnagyobb. Jele: (a; b).
12
IV. Szmrendszerek
DEFINCI: Az a alap szmrendszer helyi rtkei: 1, a1, a2, a3, a4, ..., az a alap szmrendszerben a-fle szmjegy van: 0, 1, 2, ..., a - 1 (alaki rtk), ha a > 10, akkor betket hasznlunk
szmjegyknt.
A helyi rtkes brzols azt jelenti, hogy a szmjegyek rtkn kvl a lersuk helye is rtkkel br. Egyms utn rjuk a szmjegyeket s az adott ponthoz viszonytjuk a helyket.
ltalban 10-es szmrendszerben dolgozunk. Ez azt jelenti, hogy a helyi rtkek 10 termszetes
kitevj hatvnyai (100, 101, 102, 103, ..., azaz egyesek, tzesek, szzasok, ezresek, ...). A szmok
lersra 10-fle szmjegyre van szksg: 0, 1, 2, ..., 9.
A 10-es szmrendszeren kvl az informatikban gyakran hasznljk a 2-es, vagyis binris szmrendszert (Neumann-elv), napjainkban pedig inkbb a 16-os, azaz hexadecimlis szmrendszert. Ez
utbbinl merlt fel az a problma, hogyan rjunk le 16-fle szmjegyet. Erre az a megolds szletett, hogy a 10-nl nagyobb alap szmrendszerekben a 10, vagy annl nagyobb rtk szmjegyeket betkkel jelljk. gy 16-os szmrendszerben 10 helyett A, 11 helyett B, , 15 helyett F a
szmjegy.
ttrs 10-es szmrendszerbl ms alapba
A szmot osztjuk az j szmrendszer alapszmval, majd az gy kapott hnyadost jra mindaddig,
mg 0 hnyadost nem kapunk. Az osztsoknl kapott maradkok lesznek az j szm alaki rtkei az
egyesektl kezdve.
Pl. 94810 a 7-es szmrendszerbe trva:
948 = 135 7 + 3
135 = 19 7 + 20
019 = 2 7 + 500
002 = 0 7 + 200
gy 94810 = 25237.
ttrs ms alapbl 10-es szmrendszerbe
A megfelel helyi rtkeknek s a hozzjuk tartoz alaki rtkeknek a szorzat sszege adja a 10esbeli rtket:
Pl.: 25237 a 10-es szmrendszerbe trva:
25237 = 2 73 + 5 72 + 2 71 + 3 1 = 94810
A mveletek elvgezhetk az adott szmrendszerben, vagy tzes szmrendszerben s az eredmny
adott szmrendszerbe val visszarsval.
13
V. Alkalmazsok:
Racionlis szmok: arnyok, arnyossg, hasonlsg
2
kerlete (2rp), terlete (r p).
Legnagyobb kzs oszt: trtek egyszerstse
Legkisebb kzs tbbszrs: trtek kzs nevezre hozsa
Kifejezsek legbvebb rtelmezsi tartomnynak meghatrozsa, pl. x + 2 + 1 .
2x
Fggvny rtkkszletnek megllaptsa
Szmtgpekben a 2-es szmrendszer a kt jegyvel jl hasznlhat: folyik ram = 1, nem
folyik ram = 0 (Neumann-elv). Ma mr inkbb a 16-os, hexadecimlis szmrendszert hasznljk, ami felpthet a kettesbl.
Ktismeretlenes egyenlet megoldsa a termszetes szmok halmazn (oszthatsg felhasznlsval) pl.:
3x + 2 y = xy
3x = xy 2 y
3x = y( x 2)
y = 3 x = 3 x 6 + 6 = 3 + 6 N x 2 6
x 2 x 2 x 2
x2
Ez a kvetkez esetekben lehetsges:
x-2
-1
-2
-3
-6
-1
-4
-3
14
Bevezets:
A geometria a matematika egyik legsibb ga. Mr Kr.e. 325 krl Eukleidsz megrta Elemek
cm mvt, amelyben a geometrit axiomatikusan felptette, azaz a szemlletre hagyatkozva
alapfogalmakat (aximkat) hatrozott meg, s ezek segtsgvel bizonytott lltsokat. A krlttnk lev vilg megismershez elengedhetetlen a tr fogalmnak, trvnyszersgeinek pontos
ismerete.
Kidolgozs:
I. Trelemek
Pont, egyenes, sk alapfogalmak, nem definiljuk ket, hanem a szemlletbl kialakult jelentskre hagyatkozunk.
DEFINCI: Kt trelem illeszked, ha egyik rszhalmaza a msiknak.
DEFINCI: Kt egyenes prhuzamos, ha egy skban vannak s nem metszik egymst.
DEFINCI: Egyenes s sk, illetve 2 sk prhuzamos, ha nincs kzs pontjuk.
DEFINCI: Egy egyenest egy r illeszked pont kt flegyenesre oszt, ez a pont mindkt flegyenes kezdpontja.
DEFINCI: Egy skban kt, azonos pontbl kiindul flegyenest s az ltaluk meghatrozott brmelyik skrszt szgnek nevezzk. A kzs kezdpont a szg cscspontja, a kt flegyenes
a szg szrai, a skrsz a szgtartomny.
DEFINCI: Illeszked vagy prhuzamos trelemek szge 0.
DEFINCI: Kt metsz egyenes 4 szget alkot, ezek kzl 2-2 egyenl. Ha a kt egyenes nem
merleges egymsra, akkor a kt egyenes hajlsszge a ktfajta szg kzl a kisebbik.
Ha a kt egyenes merleges egymsra, akkor a hajlsszgk derkszg. Eszerint kt metsz
egyenes hajlsszge 90-nl nem nagyobb.
15
16
17
DEFINCI: Kt ponttl egyenl tvolsgra lv pontok halmaza a trben a szakasz felezmerleges skja.
DEFINCI: Egy egyenestl s egy rajta kvl lv ponttl egyenl tvolsgra lv pontok halmaza
a skon: a parabola.
Az adott pont a parabola fkuszpontja, az adott egyenes a parabola vezregyenese (direktrixe),
a pont s az egyenes tvolsga a parabola paramtere.
18
TTEL: Hrom adott ponttl egyenl tvolsgra lv pontok halmaza a skon egy pont (ha a 3 pont
nem esik egy egyenesre), vagy res halmaz (ha a 3 pont egy egyenesre esik).
TTEL: Hrom adott ponttl egyenl tvolsgra lv pontok halmaza a trben egy olyan egyenes,
amely thalad a hrom pont, mint hromszg kr rhat kr kzppontjn, s merleges
19
a 3 pont skjra (ha a 3 pont nem esik egy egyenesbe), vagy res halmaz (ha a 3 pont egy
egyenesbe esik).
TTEL: Hrom egyenestl egyenl tvolsgra lv pontok halmaza a skon:
Ha a 3 egyenes prhuzamos, akkor res halmaz.
Ha 2 egyenes prhuzamos (e f), egy pedig metszi ket (g), akkor a 2 prhuzamos egyenes
kzpprhuzamosn kt olyan pont, amelyek illeszkednek kt metsz egyenes (pl. e s g)
szgfelezire.
Ha a 3 egyenes 3 klnbz pontban metszi egymst, akkor szgfelez egyeneseik metszspontjai. 4 ilyen pont van, az egyik a hromszg bert krnek, 3 pedig a hromszg
hozzrt kreinek kzppontja.
Ha a 3 egyenes egy pontban metszi egymst, akkor egyetlen pont, a 3 egyenes metszspontja.
20
DEFINCI: Azoknak a pontoknak a halmaza a skon, amelyekbl egy adott szakasz adott szgben
(0 < a < 180) ltszik kt, a szakasz egyenesre szimmetrikusan elhelyezked krv (ltkrvek).
IV. Alkalmazsok
Koordinta-geometriban a kr, a parabola, az ellipszis s a hiperbola egyenletnek felrsakor az adott grbe defincijt hasznljuk fel.
Ltkrvek: egy tglalap egyik oldala a szomszdos oldal mely pontjbl ltszik a legnagyobb szgben (sznhz, sportplya).
Szerkesztsi feladatokban: hromszg szerkesztse egy oldal, a vele szemkzti szg s az
oldalhoz tartoz magassg ismeretben, vagy adott. egy pont s egy egyenes, szerkesszk
meg az egyenest rint, a ponton thalad, adott sugar krket.
Parabolaantennk.
Kt tanya kzs postaldt kap az orszgt mentn. Hova helyezzk, hogy mindkt tanytl
egyenl tvolsgra legyen?
21
Bevezets:
A hatvnyozst ugyanaz az igny hvta ltre, mint a szorzst. A szorzs az ismtelt sszeadst jelenti, a hatvnyozst azonos szmok szorzsra vezettk be, ksbb kiterjesztettk rtelmezst.
A gykvons mvelete a hatvnykitev s a hatvny ismeretben az alap kiszmolst teszi lehetv. Knai matematikusok mr az idszmtsunk kezdetn ismertk a ngyzetgyk s kbgyk
fogalmt. A mai jellsrendszere a XVI. szzadban alakult ki.
Kidolgozs:
I. Pozitv egsz kitevj hatvnyok
DEFINCI: Ha a tetszleges vals szm s n 1-nl nagyobb termszetes szm, akkor an hatvny
azt az n tnyezs szorzatot jelenti, amelynek minden tnyezje a.
Ha n = 1, akkor a1 = a.
Az a szmot a hatvny alapjnak, az n szmot a hatvny kitevjnek nevezzk, ez utbbi
megmutatja, hogy a hatvnyalapot hnyszor kell szorztnyezl venni.
A hatvnyozs azonossgai pozitv egsz kitev esetn: (a, b R, m, n N+)
TTEL: Azonos alap hatvnyokat gy is szorozhatunk, hogy a kzs alapot a kitevk sszegre
emeljk:
am an = am + n
BIZONYTS:
am an
hatv. def.
( a a a) ( a a a ) = a a a
m db
n db
szorzs
asszoc.
m + n db
hatv. def.
am+n .
TTEL: Azonos alap hatvnyokat gy is oszthatunk, hogy a kzs alapot a kitevk klnbsgre
emeljk:
a m = a m n , ha a 0, m > n.
an
22
BIZONYTS:
m n db
m db
am
a a a = a a a = a m n .
1
hatv. def.
(a b)n = an bn
Ttel visszafele olvasva: Azonos kitevj hatvnyokat gy is szorozhatunk, hogy az alapok szorzatt a kzs kitevre emeljk.
BIZONYTS:
( a b )n
hatv. def.
(a b) (a b) (a b ) = a b a b a b
szorzs
asszoc.
n db
= a a a b b b
n db
n db
hatv. def.
szorzs
kommut.
an bn .
( ba )
n
= a n , ha b 0.
b
( ba )
hatv. def.
( ba ) ( ba ) ( ba )
n db
n db
trtek
szorzsa
a a a = a n .
b b b hatv. def. b n
n db
(an)m = an m.
BIZONYTS:
(a n )m
=
(a n ) ( a n ) (a n )
m. hatv. def.
m db
a a a a a a a a a =
n db szorzs
n db n db
asszoc.
n. hatv. def.
m db
= aa
a a a a
mn db
hatv. def.
a mn .
II. Permanencia-elv
A hatvnyozs fogalmt kiterjesztjk minden egsz kitevre, majd egsz kitevrl racionlis kitevre, majd racionlisrl irracionlis kitevre gy, hogy az elbbi, pozitv egsz kitevre teljesl
azonossgok tovbbra is teljesljenek. A fogalom rtelmezsnek kiterjesztse esetn ezt az ignyt
nevezzk permanencia-elvnek.
23
00-t nem rtelmezzk (nem lehet gy rtelmezni, hogy sszhangban legyen a hatvnyozs rtelmezseivel:
00 = 0 kellene, mert 0 minden pozitv egsz kitev hatvnya 0.
00 = 1 kellene, mert minden egyb szm nulladik hatvnya 1.)
Bizonythat, hogy ezzel az rtelmezssel a hatvnyozs azonossgai rvnyben maradnak.
Pl.
a0 a n = a0 + n = a n
a0 a n = 1 a n = a n
DEFINCI: Tetszleges a 0 vals szm s n pozitv egsz szm esetn a n = 1n . Minden 0-tl
a
klnbz vals szm negatv egsz kitevj hatvnya a szm megfelel pozitv kitevj
hatvnynak a reciproka (vagy a szm reciproknak a megfelel pozitv kitevj hatvnya).
n
.
vj hatvny defincijt n m = ( m n ) = a
a
a
A hatvnyozs fogalmt ezutn racionlis kitevre terjesztjk ki:
DEFINCI: Az a pozitv vals szm
hatvnya a , azaz ( a )
p q
q
p
q
a
p
-adik hatvnya az a pozitv vals szm, amelynek q-adik
q
= ap .
q
A defincibl kvetkezik:
= ap .
Az alap csak pozitv szm lehet, mert pldul
1
(2) 4 = (2) 2 = 2 nem rtelmezhet, pedig a kt hatvny rtknek (azonos alap, azonos
kitev) meg kell egyeznie.
Bizonythat, hogy ezzel az rtelmezssel a hatvnyozs azonossgai rvnyben maradnak.
24
Pl.
(a )
(a )
k
n
k
n
k n
k
=a
= a n = ak
n
= ( n ak )
A hatvnyozst kiterjeszthetjk tetszleges vals kitevre. Ehhez az irracionlis kitevt kell rtelmeznnk.
Az rtelmezs azon alapul, hogy brmely irracionlis szm tetszlegesen kzelthet kt oldalrl
racionlis szmokkal. gy ha pl.: 2 2 hatvnyt szeretnnk meghatrozni, akkor ehhez a 2 rtkt
kzeltjk nla kisebb, illetve nla nagyobb racionlis szmokkal, majd a kzelt rtkekre, mint
kitevre emeljk a 2-t. Bizonythat, hogy 2 2 rtke ltezik, s ily mdon tetszlegesen kzelthet (rendr elv).
DEFINCI: Az a pozitv vals szm a irracionlis kitevj hatvnya, azaz aa jelentse az ar sorozat hatrrtkt, ahol r egy racionlis szmsorozat tagjait jelli s r a. Kplettel:
lim ar = a .
r
Kplettel:
( 2 k a )2 k = a , ahol a 0,
2k
a 0, k Z+.
DEFINCI: Egy a vals szm (2k + 1)-edik (k N+) gykn azt a vals szmot rtjk, amelynek
(2k + 1)-edik hatvnya a.
2 k +1
Kplettel: ( 2 k +1 a )
= a , ahol k Z+.
A pros s pratlan gykkitevre vonatkoz defincik kztti klnbsgbl addan:
( 2 k a )2 k =a s ( 2 k +1 a )2 k +1 = a , pl.
( 5)6 = 5 , de
( 5)5 = 5 .
( n a b )n = a b ,
25
( n a n b )n = ( n a )n ( n b )n = a b ,
a szorzat hatvnya s a gyk defincija miatt.
A kt oldal n-edik hatvnya egyenl.
Pratlan n-re, ha a kt oldal n-edik hatvnya azonos, akkor a kt oldal is azonos.
Pros n-re, amikor mindkt oldal rtelmes, vagyis nemnegatv, akkor az n-edik hatvnyok
azonossgbl kvetkezik a kt oldal egyenlsge.
TTEL:
TTEL:
n k
a = n m a k m
n a k b = n k a k b n
n k m l
nm k m + l n
a a =
a
n k
a = n k a
Jellemzs:
A fggvny
f: R R, f(x) = x2k
g: R R, g(x) = x2k + 1
brzolsa:
rtelmezsi tartomnya:
rtkkszlete:
26
monotonitsa:
szigoran monoton n
szlsrtke:
nincs
grblete:
alulrl konvex
zrushelye:
x=0
x=0
nem korltos
invertlhat, ha x 0: inverze az
f-1: R0+ R, f-1(x) = 2 k x
fggvny
invertlhat: inverze az
g : R R, g-1(x) = 2 k +1 x
fggvny
paritsa:
korltossg:
invertlhatsg:
-1
Grblet szempontjbl kln kell venni az n = 1 esetet: ekkor a fggvny se nem konvex, se nem
konkv.
A hatvnyfggvnyek folytonosak, minden pontban derivlhatak, minden korltos intervallumon
integrlhatak.
g(x) =
2k + 1
2k
Jellemzs:
A fggvny
f: R0+ R, f(x) =
2k
g: R0+ R, g(x) =
2k + 1
brzolsa:
rtelmezsi tartomnya:
rtkkszlete:
monotonitsa:
szigoran monoton n
szigoran monoton n
nincs
alulrl konkv
szlsrtke:
grblete:
27
zrushelye:
paritsa:
korltossg:
invertlhatsg:
x=0
x=0
nem korltos
invertlhat: inverze az
f-1: R0+ R, f-1(x) = x2k
fggvny
invertlhat: inverze az
g : R R, g-1(x) = x2k + 1
fggvny
-1
VII. Alkalmazsok:
Hatvnyozs:
Prmtnyezs felbontsban pozitv egsz kitevj hatvnyok, legnagyobb kzs oszt, legkisebb kzs tbbszrs, osztk szma
Normlalakban: egyszerbb a kicsi s a nagy szmokkal val mveletek elvgzse
A szmrendszerek felptse a hatvnyozson alapul
Mrtani sorozat: an, Sn kiszmolsa
Ismtlses varicik szma: nk
Hasonl testek felsznnek, trfogatnak arnya
Kamatos kamat szmtsa
Ngyzetes ttrvny: s = a t 2
2
Radioaktv bomls
Mrtkegysgvlts
Binomilis eloszls
Nevezetes azonossgok
Gykvons:
Magasabb fok egyenletek megoldsa
Pitagorasz-ttel (ngyzetre emels, gykvons)
Mrtani kzp (gykvons)
Magassg-, illetve befogttel (ngyzetre emels, gykvons)
Kocka lnek, vagy gmb sugarnak kiszmolsa a trfogatbl
l hosszsg fonlinga lengsideje: T = 2 l
g
28
5. A logaritmus.
Az exponencilis s a logaritmusfggvny.
Vzlat:
I.
II.
III.
IV.
V.
A logaritmus defincija
A logaritmus azonossgai
Exponencilis fggvny, tulajdonsgai
Logaritmusfggvny, tulajdonsgai
Alkalmazsok
Bevezets:
A XVIII. szzadban a kereskedelem, a hajzs, az ptszet s a csillagszat fejldse j problmkat vetett fel a matematikusok szmra: az azonos alap hatvnyokkal vgzett szorzs s oszts
a kitevkkel elvgezhet sszeadsra s kivonsra vezethet vissza. gy a mveletek leegyszersdnek. A logaritmuskeress mvelete sorn a hatvnykitevt keressk az alap s a hatvnyrtk
ismeretben.
Kidolgozs:
I. Logaritmus defincija
Az ax = b (a > 0, b > 0, a 1) egyenlet megoldsakor az x kitevt keressk. Ennek az egyenletnek
az egyetlen megoldsa x = logab.
DEFINCI: A logaritmus a hatvnyozs egyik fordtott mvelete: log ab (a alap logaritmus b) az
az egyetlen vals kitev, melyre a-t emelve b-t kapunk: a loga b = b , (a > 0, b > 0, a 1), vagyis logab = c egyenrtk azzal, hogy ac = b. (A kitevt fejezzk ki a hatvnyalap s a hatvnyrtk ismeretben.)
Elnevezsek: a = logaritmus alapja, b = hatvnyrtk.
A logaritmus alapjt azrt vlasztjuk pozitv szmnak, mert
negatv alap esetn a trtkitevs hatvny nem rtelmezhet.
ha az alap 0 lenne, akkor a hatvnyrtk brmilyen (0-tl klnbz) kitevre 0, gy a kitevkeress nem egyrtelm.
ha az alap 1 lenne, a hatvnyrtk a kitev brmely rtkre 1, gy sem egyrtelm a kitevkeress.
Ha a logaritmus alapja 10, akkor a jells: log 10x = lgx. Ha a logaritmus alapja e, akkor termszetes alap logaritmusrl beszlnk, gy a jells: log ex = lnx.
29
log a b =
logc b
, ahol a, b, c > 0, a, c 1.
logc a
Jellemzs:
f: R R, f(x) = ax,
0 < a < 1 esetben
g: R R, g(x) = ax,
1 < a esetben
rtkkszlete:
monotonitsa:
szigoran monoton n
nincs
nincs
alulrl konvex
alulrl konvex
A fggvny
brzolsa:
rtelmezsi tartomnya:
szlsrtke:
grblete:
30
nincs
nincs
alulrl korltos,
fellrl nem korltos
alulrl korltos,
fellrl nem korltos
invertlhat: inverze az
f-1: R+ R, f-1(x) = logax
fggvny
invertlhat: inverze az
g-1: R+ R, g-1(x) = logax
fggvny
zrushelye:
paritsa:
korltossg:
invertlhatsg:
IV. Logaritmusfggvny
DEFINCI: Az f: R+ R, f(x) = logax, (a > 0, a 1) fggvnyt logaritmusfggvnynek nevezzk.
Jellemzs:
f: R R, f(x) = logax,
0 < a < 1 esetben
g: R R, g(x) = logax,
1 < a esetben
rtkkszlete:
monotonitsa:
szigoran monoton n
nincs
nincs
grblete:
alulrl konvex
alulrl konkv
zrushelye:
x=1
x=1
nem korltos
nem korltos
invertlhat: inverze az
f-1: R R, f-1(x) = ax (0 < a < 1)
fggvny
invertlhat: inverze az
g-1: R R, g-1(x) = ax (1 < a)
fggvny
A fggvny
brzolsa:
rtelmezsi tartomnya:
szlsrtke:
paritsa:
korltossg:
invertlhatsg:
31
1<a
V. Alkalmazsok:
2x = 3 egyenlet megoldsa logaritmussal
matematikai mveletek visszavezetse egyszerbb mveletek elvgzsre (szorzs helyett
sszeads, hatvnyozs helyett szorzs)
kamatos kamatszmtsnl az alaptke, az n-edik v vgi tke, s a kamattnyez ismeretben az n meghatrozsa:
t
t
t
lg t lg t0
tn = t0 q n n = q n lg n = lg q n lg n = n lg q n = n
lg q
t0
t0
t0
szmols gpbe nem fr nagy szmokkal, pl.:
200
x = 85 120 lg x = 200 lg85 120 lg130 = 132,21
130
x = 10132,21 = 10132 100,21 = 1,6218 10132
gravitcis ertrben a barometrikus magassgformulban a leveg srsge a magassggal
exponencilisan cskken
a Richter-skla (fldrengsek mrett hatrozza meg) logaritmus alap
pH rtk: az oldatok szabad oxnium-ion koncentrcijnak negatv 10-es alap logaritmusa: pH = -lg[H3O+]
exponencilis fggvny rja le: a radioaktv izotpok bomlst, az oldds folyamatt,
a kondenztor feltltdsnek s kislsnek folyamatt.
32
Bevezets:
Az kori Mezopotmibl Kr.e. 2000-bl szrmaz krsos tblkon tallhat jelek alapjn tudjuk, hogy az akkori rstudk mr meg tudtak oldani egyenleteket s egyenletrendszereket. A legrgebbi rsos emlken, a Rhind-papruszon lthatjuk a nyomait a gyakorlatbl ered algebrai ismereteknek.
Kidolgozs:
I. Egyenlet
DEFINCI: Az egyenlet brmely kt egyenlsgjellel sszekttt kifejezs. A kifejezsben szerepl vltozk az ismeretlenek.
Az egyenlet olyan vltoztl fgg llts (nyitott mondat), amelynek az alaphalmaza szmhalmaz.
DEFINCI: Az alaphalmaz az ismeretlenek azon rtkeinek halmaza, ahol az egyenletet vizsgljuk, ahol a megoldsokat keressk.
DEFINCI: Az egyenlet rtelmezsi tartomnya az alaphalmaznak az a legbvebb rszhalmaza,
ahol az egyenletben szerepl kifejezsek rtelmezhetek.
DEFINCI: Az egyenletet igazz tev rtkek az egyenlet megoldsai vagy gykei.
DEFINCI: Az alaphalmaz azon elemeinek halmaza, amelyekre az egyenlet igaz, vagyis az egyenlet megoldsainak (vagy gykeinek) halmaza az egyenlet megoldshalmaza (vagy igazsghalmaza).
DEFINCI: Az azonossg olyan egyenlet, amelynek a megoldshalmaza megegyezik az egyenlet
rtelmezsi tartomnyval.
33
negatv
sin x + 1 sin x + 2 = 4 sin x = 1
Ekvivalens talakts pldul az egyenlet mrlegelvvel trtn megoldsa. Nem ekvivalens talakts pldul vltozt tartalmaz kifejezssel osztani az egyenlet mindkt oldalt, vagy ngyzetre
emelni az egyenlet mindkt oldalt.
34
Az egyenletek megoldsa sorn nem mindig van lehetsgnk ekvivalens talaktsokat vgezni.
Ha lehet, ilyen esetekben vagy rtelmezsi tartomny, vagy rtkkszlet vizsglattal prblunk
feltteleket fellltani.
De mg gy is elfordulhat, hogy olyan talaktst vgznk, amely sorn
az j egyenletnek szkebb az rtelmezsi tartomnya, mint az eredetinek, ekkor gykveszts
llhat fenn;
az j egyenletnek bvebb az rtelmezsi tartomnya, mint az eredetinek, ekkor gyknyers
llhat fenn.
IV. Gykveszts
Gykveszts kvetkezhet be, ha a vltozt tartalmaz kifejezssel osztjuk az egyenlet mindkt
oldalt, vagy olyan talaktst vgznk, amely szkti az rtelmezsi tartomnyt.
Pl. hibs megolds:
helyes megolds:
x3 + 2 x2 + x = 0
x3 + 2 x 2 + x = 0
:x
x2 + 2x + 1 = 0
x = 1
x( x 2 + 2 x + 1) = 0
x =0
vagy
x 2 + 2 x + 1 = 0 x = 1
+ 2)2
= 2lg5 D f = R {2}
2lg( x + 2) = 2lg5 D f =] 2, [
lg( x + 2) = lg5
x+2=5
x =3
helyes megolds:
lg( x + 2)2 = 2lg5 D f = R {2}
lg( x + 2)2 = lg25
( x + 2)2 = 25
x+2=5 x =3
vagy
x + 2 = 5 x = 7
V. Hamis gyk
Hamis gykt kapunk, ha az egyenlet mindkt oldalt ngyzetre emeljk, vagy mindkt oldalt az
ismeretlent tartalmaz kifejezssel szorozzuk, vagy olyan talaktst vgznk, ami bvti az rtelmezsi tartomnyt.
Pl. 7 x = 1 x /( )2 .
Eredeti felttel: 7 - x 0 fi x 7 fi Df = ]-, 7].
A gyknyers kikszblhet kzbls felttellel: 1 - x 0 fi x 1 fi Dfj = ]-, 1].
7 - x = (1 - x)2 fi x2 - x - 6 = 0 fi x1 = 3 Dfj, x2 = -2 Dfj
Pl. 2 x + 1 = 2 + 1
/ 1 fi 2x = 2 fi x = 1.
x 1
x 1
x 1
A gyknyers ekkor is kikszblhet, ha az eredeti egyenletre runk Df-et.
Pl. x + 6 x + 2 = 2 x + 8 .
Eredeti felttelek: x + 6 0 fi x -6; x + 2 0 fi x -2; 2x + 8 0 fi x -4; fi Df = [-1; [.
Ha az egyenletet elszr rendezzk gy, hogy mindkt oldal nemnegatv legyen, ngyzetre emeljk
mindkt oldalt, rendezzk gy, hogy a gyks kifejezs az egyik oldalra kerljn, a tbbi tag a
msik oldalra, majd a ngyzetre emels eltt kzbls felttelt runk, hogy a gyknyerst kikszbljk:
35
x + 6 = x + 2 + 2 x + 8 / ngyzetre emels
x + 6 = x + 2 + 2 x + 2 2 x + 8 + 2 x + 8 /rendezs
2 x 4 = 2 x + 2 2 x + 8 kzbls felttel rsa: a jobb oldal nemnegatv, a bal oldalnak is
annak kell lennie, mivel egyenlk, azaz -2x - 4 0 fi x -2 fi Dfj = {-2}. Ebben az esetben
nem is kell elvgezni a ngyzetre emelst, hiszen csak egy szm felel meg az rtelmezsnek, ha van
megolds, akkor csak ez az egy szm lehet. Ennek ellenrzsvel eldnthet, hogy ez valban
megolds-e.
Akr a gykveszts, akr a hamis gyk elkerlhet, ha az egyenlet megoldsa sorn mindig figyelnk az rtelmezsi tartomny vltozsra, ha lehet, az rtkkszletet is vizsgljuk, mert gy szkteni lehet az alaphalmazt.
BIZONYTS:
/ 4a
/ 4a
36
x ax 2 + bx + c = a x 2 + b x + c = a x + b b 2 + c = a x + b + 4 ac b .
a
2a
2a
4a
4a
22 x 3 2 x 4 = 0
2
lg x 3lg x 4 = 0
2
( x 2) 3 x 2 4 = 0
x + 1 3 x + 1 4 = 0
sin 2 x 3sin x 4 = 0
x 6 3x 3 4 = 0
VIII. Alkalmazsok:
37
Bevezets:
A statisztika adatok gyjtsvel, rendszerezsvel, elemzsvel foglalkozik. Statisztikai mdszereket hasznlnak a mindennapi letben pldul a gazdasg klnbz mutatinak, az idjrsi adatoknak a jellemzsre. A statisztika hasznlata tbb mint ezer ves: npszmllsok, nyilvntartsok.
Kidolgozs:
I. Adatsokasgok jellemzi
DEFINCI: A statisztika feladatai kz tartozik, hogy bizonyos egyedek meghatrozott tulajdonsgairl tjkozdjk, majd a szerzett (ltalban szmszer) adatokat feldolgozza, elemzi. Az
elemzshez sszegyjttt adatok halmazt adatsokasgnak, mintnak, a meghatrozott tulajdonsgot ismrvnek, vltoznak nevezzk. A sokasg elemeinek az ismrv szerinti tulajdonsgt statisztikai adatnak, az adatsokasg elemeinek szmt a sokasg mretnek nevezzk.
38
III. Diagramok
Az adatok grafikus megjelentse diagramon trtnik, amelynek tpust a feladat hatrozza meg.
Oszlopdiagram: az adatok egymshoz val viszonyt brzolja. Nem clszer hasznlni, ha az
adatok kzt van 1-2 kiugr rtk (tl nagy: nem fr r a diagramra, tl kicsi: eltrpl a tbbi oszlop
kzt), vagy ha az adatok kztti eltrs nagyon kicsi (kzel azonosnak ltszanak az rtkek). A
vzszintes tengelyen az adatfajtknak megfelel intervallumokat jelljk, ezek fl olyan tglalapokat rajzolunk, amelyeknek terlete arnyos az adatfajta gyakorisgval.
Hisztogram (gyakorisgi diagram): az adatok gyakorisgi eloszlst oszlopdiagramon brzolja
gy, hogy az oszlopok hzagmentesen helyezkednek el.
Svdiagram: fordtott oszlopdiagram, amelyben a kt tengely helyet cserl, az oszlopok vzszintesek, azaz svok.
Krdiagram: a rszadatoknak az egszhez val viszonyt brzolja. Alkalmas %-os formban
megadott adatok brzolsra. A teljes szg (360) 100%-nak felel meg, a megfelel szzalkrtk
egyenesen arnyos a krcikk kzpponti szgvel. Nem clszer hasznlni, ha nagyon sok az adat
(tl kicsik a kzpponti szgek, nem sszehasonlthatk)
Vonaldiagram: koordintarendszerben pontknt brzolja az sszetartoz szmprokat, s ezeket
trttvonallal kti ssze. Klnbz adatok (pl. idbeli) vltozst brzolja. A gyakorisgok vonaldiagramjt gyakorisgi poligonnak nevezzk.
39
Htrnya, hogy egyetlen, a tbbitl jelentsen eltr adat eltorzthatja, gy ekkor mr nem jl
jellemzi a mintt.
DEFINCI: Pratlan szm adat medinja a nagysg szerinti sorrendjkben a kzps adat, pros
szm adat medinja pedig a kt kzps adat tlaga.
A defincibl addik, hogy az sszes elfordul ismrvrtk fele kisebb vagy egyenl, fele
nagyobb vagy egyenl, mint a medin.
Fontos tulajdonsga, hogy az adatoktl mrt tvolsgainak sszege minimlis.
A medin elnye, hogy valban kzprtk, hiszen ugyanannyi adat nagyobb nla, mint
ahny kisebb.
A szrds jellemzi
DEFINCI: Az adatok legnagyobb s legkisebb elemnek a klnbsgt a minta terjedelmnek
nevezzk.
Minl kisebb a minta terjedelme, annl jobban jellemzi a mintt.
DEFINCI: Az adatok tlagtl val eltrsek ngyzetnek tlaga a minta szrsngyzete, ennek
n
( xi x ) 2
i =1
.
n
A szrs megmutatja, hogy a minta adatai mennyire trnek el az tlagtl. Minl kisebb a szrs, annl jobban jellemzi az tlag az adatsokasgot.
a1 + a2 + a3 + + an
n
harmonikus kzepe:
H=
n
, ha a1, a2, a3, ..., an > 0.
1 + 1 + 1 + + 1
a1 a2 a3
an
40
ab a + b .
2
BIZONYTS I.: Mivel az egyenltlensg mindkt oldala nemnegatv, ezrt a ngyzetre emels az
eredetivel ekvivalens lltst fogalmaz meg. Teht
2
2
ab a + 2 ab + b
4
2
4 ab a + 2 ab + b 2
0
0
a2
2 ab + b 2
/ 4
/ 4ab
/ nevezetes szorzatt alaktjuk
( a b )2
a + b + c 3 abc
3
a+b+c
3
abc 15
3
a + b ab k 100 k 10 k 40 .
2
4
4
Mivel egyenlsg csak a = b esetn teljesl, gy a kerlet a 10 cm oldal ngyzet esetn minimlis.
Pl.: f: R+ R, f ( x ) = x + 1 . Hatrozzuk meg az f(x) fggvny minimumt!
x
A szmtani s mrtani kzp kzti egyenltlensget kihasznlva:
x+1
x x 1 x + 1 2 1 x + 1 2 f (x) 2 .
2
x
x
x
Ekkor az f minimumnak rtke f(x)=2, minimum helye: x = 1 = 1 .
x
VII. Alkalmazsok:
Statisztika:
kzvlemny-kutatsok,
szavazsok,
gazdasgi mutatk,
osztlytlagok, hinyzsi statisztikk,
felvteli tlagpontok.
Nevezetes kzepek:
szmtani kzp: statisztikai tlag kiszmtsa,
mrtani kzp: tlagos nvekedsi tem kiszmtsa, magassgttel, befogttel,
ngyzetes kzp: statisztikai szrs kiszmtsa,
harmonikus kzp: tlagsebessg meghatrozsa.
42
8. Szmsorozatok s tulajdonsgaik
(korltossg, monotonits, konvergencia).
Nevezetes szmsorozatok, vgtelen mrtani sor.
Vzlat:
I. Szmsorozat defincija, megadsi mdjai
II. Tulajdonsgai: monotonits, korltossg, konvergencia; kapcsolatuk
III. Nevezetes szmsorozatok: szmtani sorozat, mrtani sorozat, mrtani sor (alkalmazsok:
kamatos kamat, gyjtjradk, trlesztjradk)
IV. Alkalmazsok
Bevezets:
Szmsorozatokkal mr az kori grgk is foglalkoztak. Ismertk a szmtani sorozat sszegzsnek a mdjt, az els n ngyzetszm sszegnek a kiszmtst. A sorozatok vizsglata vezetett el
ksbb a differencil- s integrlszmtshoz.
Kidolgozs:
I. Szmsorozat
DEFINCI: A szmsorozat olyan fggvny, amelynek rtelmezsi tartomnya a pozitv egsz
szmok halmaza, rtkkszlete pedig valamilyen szmhalmaz.
Az a1, a2, , an tagokbl ll sorozatot {an}-nel vagy (an)-nel jelljk. A sorozat n-edik
tagja: an.
Sorozatok megadsa trtnhet:
Ez szemlletesen azt jelenti, hogy brmilyen kis pozitv e-ra a sorozatnak csak vges sok
tagja esik az ]A - e, A + e[ intervallumon kvlre.
DEFINCI: Az olyan sorozatokat, amelyeknek nincs hatrrtke, divergens sorozatoknak nevezzk.
TTEL: A konvergens sorozatok tulajdonsgai:
Konvergens sorozatnak csak egy hatrrtke van.
Ha egy sorozat konvergens, akkor korltos.
Ha egy sorozat monoton s korltos, akkor konvergens.
Ha minden n N+-ra an bn cn s an A, cn A, akkor bn A. Ez a rendr-elv.
Ha {an} s {bn} konvergens s an A, bn B, akkor
an bn A B
an bn A B
c an c A, ahol c R
a
n A , ahol bn 0, B 0
bn
B
44
Sn = a1 + (a1 + d) + (a1 + 2d) + ... + (a1 + (n - 3)d) + (a1 + (n - 2)d) + (a1 + (n - 1)d)
Sn = an + (an - d) + (an - 2d) + ... + (an - (n - 3)d) + (an - (n - 2)d) + (an - (n - 1)d)
sszeadva: 2 Sn = (a1 + an ) + (a1 + an ) + + (a1 + an ) .
n
2 Sn = (a1 + an ) n
Sn =
a1 + an
n
2
2 a1 + (n 1)d
n .
2
Sn = a1
qn 1
,
q 1
gy lltsunkat belttuk.
45
TTEL: Brmely elem ngyzete egyenl a tle szimmetrikusan elhelyezked tagok szorzatval:
an2 = an k an + k .
TTEL: Pozitv tag sorozatnl brmely elem a tle szimmetrikusan elhelyezked elemek mrtani
kzepe: an = an k an + k .
S1 = a1
S2 = a1 + a2
Sn = a1 + a2 + a3 + ... + an
gynevezett rszletsszegek sorozatnak hatrrtkt rtjk, amennyiben ez a hatrrtk ltezik. Teht a sor sszegt egy olyan sorozat hatrrtkvel definiljuk, amely sorozat els
tagja a1, n-edik tagja az eredeti sorozat els n tagjnak sszege.
TTEL: Ha egy mrtani sorban q < 1, akkor a mrtani sor konvergens, s sszege S =
a1
, ha
1 q
IV. Alkalmazsok:
Kamatoskamat-szmts: ha egy a sszeg p%-kal kamatozik vente, akkor az n-edik v vn
gre az sszeg an = a 1 +
.
100
p
kamattnyez, akkor an = a qn. Ez olyan mrtani sorozat n-edik eleme,
100
amelynek els eleme aq, hnyadosa q.
Gyjtjradk: minden v elejn egy a sszeget tesznk a bankba, s ez p%-kal kamatozik
vente gy, hogy a kvetkez v elejn a megnvekedett sszeghez tesszk hozz az jabbat. Ekkor az n-edik v vgn a rendelkezsre ll sszeg egy olyan mrtani sorozat els n
elemnek sszege, ahol a1 = aq.
Ha q = 1 +
Ha q = 1 +
46
qn 1
p
kamattnyez, akkor Sn = aq
.
100
q 1
( )
47
Bevezets:
A XVII. szzadban Descartes foglalkozott elszr a fggvnyekkel: bevezette a vltoz fogalmt,
a fggvnyt megfeleltetsnek tekintette. Ezutn elkezdtk vizsglni a matematikusok a fggvnygrbk s azok rintinek kapcsolatt. Az rintket vizsglva eljutottak a differencilhnyados
fogalmhoz, mdszert dolgoztak ki a fggvnyek menetnek vizsglatra, szlsrtkeinek megllaptsra.
Kidolgozs:
I. Fggvny fogalma, rtelmezsi tartomny, rtkkszlet
DEFINCI: Legyen A s B kt nem res halmaz. Azt mondjuk, hogy megadunk egy A halmazon
rtelmezett B-beli rtket felvev fggvnyt, ha A minden elemhez hozzrendeljk a B egy
s csakis egy elemt. Jele: f: A B.
DEFINCI: rtelmezsi tartomnynak nevezzk az A halmazt. Jele Df.
DEFINCI: rtkkszlet a B halmaz azon elemeibl ll halmaz, amelyek a hozzrendelsnl
fellpnek (vagyis az f(x) rtkek). Jele az Rf.
DEFINCI: Ha c Df, akkor a c helyen felvett fggvnyrtket f(c)-vel jelljk, ez a helyettestsi
vagy fggvnyrtk.
DEFINCI: Ha az rtelmezsi tartomny s az rtkkszlet is szmhalmaz, akkor a fggvnyt grafikonon tudjuk szemlltetni. A grafikon az (x; f(x)) pontok halmaza.
48
II. Fggvnytulajdonsgok
Loklis fggvnytulajdonsgok: zrushely, monotonits, loklis (helyi) szlsrtk, grblet,
inflexi, pontbeli folytonossg.
DEFINCI: zrushely: Az rtelmezsi tartomny azon x0 eleme, ahol a fggvny rtke 0.
f(x0) = 0.
DEFINCI: monotonits: Az f fggvny az rtelmezsi tartomnynak egy intervallumban monoton n, ha az intervallum minden olyan x1, x2 helyn, amelyre x1 < x2, akkor f(x1) f(x2)
teljesl.
Az f fggvny az rtelmezsi tartomnynak egy intervallumban monoton cskken, ha az
intervallum minden olyan x1, x2 helyn, amelyre x1 < x2, akkor f(x1) f(x2) teljesl.
Ha az egyenltlensgben az egyenlsg nincs megengedve, akkor szigor monotonitsrl
beszlnk.
DEFINCI: loklis (helyi) szlsrtk: Az f fggvnynek az x0 Df helyen loklis maximuma
van, ha az x0-nak van olyan I krnyezete, amelynek minden x Df pontjban f(x) f(x0). Az
x0 helyet loklis (helyi) maximumhelynek nevezzk.
Az f fggvnynek az x0 Df helyen loklis minimuma van, ha az x0-nak van olyan I krnyezete, amelynek minden x Df pontjban f(x) f(x0). Az x0 helyet loklis (helyi) minimumhelynek nevezzk.
A monotonits s a szlsrtk defincijbl kvetkezik, hogy ahol a fggvny monotonitst vlt, ott loklis szlsrtke van.
DEFINCI: grblet: A fggvnyt egy intervallumban konvexnek nevezzk, ha az intervallum
x + x f ( x1 ) + f ( x2 )
egyenltlensg.
brmely kt x1, x2 pontjra teljesl az f 1 2
2
2
Ha az egyenltlensg fordtott irny, akkor a fggvny konkv az adott intervallumon.
Szemlletesen a konvex (illetve konkv) grbkre jellemz, hogy a grbe brmely kt pontjt sszekt szakasz a grbe felett (illetve alatt) halad.
DEFINCI: inflexi: A fggvnygrbnek azt a pontjt, ahol a grbe konvexbl konkvba, vagy
konkvbl konvexbe megy t, inflexis pontnak nevezzk.
DEFINCI: pontbeli folytonossg: Az f fggvny az rtelmezsi tartomnynak egy x0 pontjban
folytonos, ha ltezik az x0 pontban hatrrtke s az megegyezik a helyettestsi rtkkel,
vagyis f ( x0 ) = lim f ( x ) .
x x0
Globlis fggvnytulajdonsgok: rtelmezsi tartomny, rtkkszlet, globlis (abszolt) szlsrtk, parits, periodikussg, intervallumbeli folytonossg, korltossg.
DEFINCI: globlis (abszolt) szlsrtk: Az f fggvnynek az x0 Df helyen globlis maximuma van, ha minden x Df pontjban f(x) < f(x0). Az x0 helyet globlis maximumhelynek
nevezzk.
49
III. Differencilszmts:
DEFINCI: Legyen f egy ]a, b[ intervallumon rtelmezett fggvny s x0 az rtelmezsi tartomny
f ( x ) f ( x0 )
egy pontja. Ekkor a g( x ) =
fggvnyt az f fggvny x0 ponthoz tartoz kx x0
lnbsgi hnyados (differenciahnyados) fggvnynek nevezzk.
50
DEFINCI: Az f fggvny x0 ponthoz tartoz klnbsgi hnyadosnak az x0 helyen vett hatrrtkt (ha ez a hatrrtk ltezik s vges) az f fggvny x0 pontbeli differencilhnyadosnak vagy derivltjnak nevezzk.
f ( x ) f ( x0 )
.
Jel: f ( x0 ) = lim
x x0
x x0
DEFINCI: Ha egy fggvnynek egy pontban van derivltja, akkor azt mondjuk, hogy a fggvny
ebben a pontban differencilhat (derivlhat).
Az x0 pontbeli differencilhnyados egy brzolhat fggvny esetben a fggvny grafikonjnak (x0, f(x0)) pontjhoz hzott rint meredeksge.
Pl.: f: R R, f(x) = x2 - 4x + 5.
Differenciahnyados x0 = 1 pontban:
g( x ) =
( x 2 4 x + 5) (12 4 1 + 5) x 2 4 x + 3 ( x 3)( x 1)
=
=
= x 3 , ha x 1.
x 1
x 1
x 1
ha x x0
( x + x0 )( x x0 ) 4( x x0 ) ( x x0 )( x + x0 4)
=
=
= x + x0 4
x x0
x x0
g( x ) =
( x 2 4 x + 5) ( x02 4 x0 + 5) x 2 x02 4 x + 4 x0
=
=
x x0
x x0
DEFINCI: Ha f fggvnynl az rtelmezsi tartomny minden olyan pontjhoz, ahol f differencilhat hozzrendeljk a differenciahnyados rtkt, akkor az f fggvny differencilhnyados (derivlt) fggvny t kapjuk. Jells: f (x).
TTEL: Derivlsi szablyok (f s g fggvnyek derivlhatak az x helyen, s derivltjuk itt f (x),
illetve g(x)):
1. f(x) = c, c = lland fi f (x) = 0
2. (c f(x)) = c f (x), c R
3. (f(x) g(x)) = f (x) g(x)
4. (f(x) g(x)) = f (x) g(x) + f(x) g(x)
f ( x ) f ( x ) g( x ) f ( x ) g( x )
5.
=
g2 ( x )
g( x )
6. (f(g(x))) = f (g(x)) g(x)
TTEL: Elemi fggvnyek derivltjai:
1. (xn) = n xn - 1, ha x > 0, n N+.
2. (ax) = ax lna, ha a > 0, a 1.
(ex) = ex.
3. (log a x ) = 1 , ha a > 0, a 1, x > 0.
x ln a
1
4. (ln x ) = , ha x > 0.
x
5. (sinx) = cosx.
51
6. (cosx) = -sinx.
TTEL: Hatvnyfggvny derivltfggvnye: (xn) = n xn - 1, ha x > 0, n N+.
BIZONYTS: teljes indukcival
n = 1-re igaz: f(x) = x1 esetben
f ( x ) f ( x0 )
x x0
= lim
= lim 1 = 1 ( x1 ) = 1
x x0
x x0
x x0 x x0
x x0
igaz .
1
1
0
jobb oldal: 1 x = 1 x = 1 1
( x x k )
hatvnyozs
azonossga
szorzat
derivltja
x x k + x ( x k ) = 1 x k + x k x k 1 = x k + k x k = (k + 1) x k
V. A differencilszmts alkalmazsa
Fggvny adott pontbeli rintje
Ha az f(x) fggvny az x0 pontban differencilhat, akkor grafikonjnak az (x0; f(x0)) pontban van
rintje s f (x0) ebben a pontban az rint meredeksge. Ekkor a fggvny x0-beli rintjnek
egyenlete: y = f (x0) (x - x0) + f(x0).
Fggvnyvizsglat
TTEL: Az f fggvny az ]a, b[ intervallum minden pontjban differencilhat. Ha az intervallum
minden x pontjban
f (x) > 0, akkor f az ]a; b[-n szigoran monoton n.
f (x) < 0, akkor f az ]a; b[-n szigoran monoton cskken.
f (x) 0, akkor f az ]a; b[-n monoton n.
f (x) 0, akkor f az ]a; b[-n monoton cskken.
TTEL: Legyen az f fggvny az ]a, b[ minden pontjban differencilhat. Ha az intervallum egy
x0 pontjban a derivltja 0 s ott a derivlt fggvny eljelet vlt, akkor x0-ban az f fggvnynek loklis szlsrtke van. Ha negatvbl pozitvba vlt a derivltfggvny eljele (az
f szigoran monoton cskkenbl vlt szigoran monoton nvre), akkor loklis minimuma, ha pozitvbl negatvba vlt, akkor loklis maximuma van.
TTEL: Legyen az f fggvny az ]a, b[ minden pontjban ktszer differencilhat. Ha az intervallum egy x0 pontjban az els derivlt 0 s a msodik derivlt nem nulla, akkor x0-ban az f
fggvnynek loklis szlsrtke van. Ha f (x0) > 0, akkor loklis minimuma, ha f (x0) < 0,
akkor loklis maximuma van.
TTEL: Legyen az f fggvny egy [a, b]-n derivlhat s legyen az f fggvny is derivlhat
[a, b]-n. Ha az [a, b] minden pontjban f (x) 0, akkor f az [a, b]-n konvex, ha f (x) 0,
akkor konkv.
52
TTEL: Legyen az f fggvny egy [a, b]-n derivlhat s legyen az f fggvny is derivlhat
[a, b]-n. Ha az intervallum egy x0 pontjban f (x) = 0 s itt az f fggvny eljelet vlt, akkor x0 pontban az f fggvnynek inflexis pontja van.
VI. Szlsrtk-problmk
A szlsrtk feladat szvegnek rtelmezse utn felrjuk a vltozk kzti sszefggseket. Ha
tbb vltoz van, akkor az egyik segtsgvel kifejezzk a tbbit s berjuk abba a kifejezsbe,
amelynek szlsrtkt vizsgljuk. gy kapunk egy egyvltozs fggvnyt, aminek a szlsrtkt
kell meghatrozni. Ezt a nevezetes kzepek kzti sszefggsekkel, a fggvnytulajdonsgok
(transzformci) alapjn, valamint derivlssal lehet megllaptani:
1. nevezetes kzepekkel: ltalban a szmtani s mrtani kzp kzti sszefggst felhasznlva sszeg llandsga esetn a szorzatot tudjuk maximalizlni, vagy szorzat llandsga
esetn az sszeget tudjuk minimalizlni, esetleg a fggvny specialitst figyelembe vve
hasznljuk a kzepek kzti sszefggseket.
sszeg llandsga esetn a szorzatot tudjuk maximalizlni: Pl.: Azon tglalapok kzl,
amelyek oldalainak sszege 60 cm, melyiknek a terlete maximlis?
Szorzat llandsga esetn az sszeget tudjuk minimalizlni. Pl.: Azon tglalapok kzl,
amelyeknek a terlete 100 cm2, melyiknek a kerlete a minimlis?
Fggvny specilis esete: Pl.: f: R R, f(x) = x + 1 . Hatrozzuk meg az f(x) fggvny mix
nimumt!
2. fggvnytranszformci segtsgvel: ismert alapfggvnybl transzformcis lpsekkel
ellltjuk az ltalunk vizsgland fggvnyt, majd vgigkvetjk, hogyan vltozik az alapfggvny szlsrtke a transzformci sorn.
Ekkor csak a transzformcik mdost hatsait kell figyelembe venni, s a transzformlt
fggvny tulajdonsgai mris meghatrozhatak.
Pl.: x 3(x - 2)2 - 6 tulajdonsgai levezethetek az x x2 fggvny tulajdonsgaibl.
Abszolt minimuma van az x = 2 helyen, rtke y = -6.
Pl.: x -2x + 3+ 4 tulajdonsgai levezethetek az x x fggvny tulajdonsgaibl.
Abszolt maximuma van az x = -3 helyen, rtke y = 4.
Pl.: x 2sin x + p + 4 tulajdonsgai kvetkeznek az x sinx fggvny tulajdonsgai3
bl. Abszolt minimuma van az x = 3p p + k 2p ; k Z helyeken, rtke y = -1, maxi2 3
p
p
muma van az x = + k 2p ; k Z helyeken, rtke y = 1.
2 3
( )
53
VII. Alkalmazsok:
gazdasgi problmk megoldsa:
Ha egy ru irnti kereslet fgg a termk rtl, akkor milyen r esetn rhet el maximlis
sszbevtel?
Ha egy termk ellltsi kltsge fgg a termk reklmozsra fordtott sszegtl, akkor
mekkora reklmkltsg esetn rhet el egy termk minimlis ellltsi kltsge?
matematikai problmk megoldsa:
Adott trfogat folyadknak milyen mretekkel rendelkez hengeres dobozt tervezznk,
hogy a felhasznlt csomagolanyag mennyisg minimlis legyen?
Adott sugar gmbbe rt hengerek kzl melyiknek a trfogata maximlis?
Adott alapkrsugar s magassg forgskpba olyan forgshengert runk, amelynek
alapkre a kp alapkrnek rsze, fedkre pedig illeszkedik a kp palstjra. Milyen
esetben lesz a henger trfogata maximlis?
54
Bevezets:
A mai Irn terletn tallhat Szza krnyki satsok sorn olyan agyagcserepek kerltek el,
amelyek alapjn felttelezhet, hogy kb. 4000 vvel ezeltt a babilniaiak mr alkalmaztk a hasonlsg fogalmt.
Kidolgozs:
I. Prhuzamos szelk s szelszakaszok
A kzppontos hasonlsg tulajdonsgainak megrtshez szksgnk van a kvetkez ttelekre:
TTEL: Prhuzamos szelk ttele: Ha egy szg szrait prhuzamosokkal metsszk, akkor az
egyik szron keletkez szakaszok arnya megegyezik a msik szron keletkez megfelel
szakaszok arnyval.
TTEL: Prhuzamos szelk ttelnek megfordtsa: Ha kt egyenes egy szg szraibl a cscstl szmtva olyan szakaszokat vg le, amelyeknek arnya a kt szron egyenl, akkor a kt
egyenes prhuzamos.
TTEL: Prhuzamos szelszakaszok ttele: Egy szg szrait metsz prhuzamosokbl a szrak
ltal kimetszett szakaszok arnya megegyezik a prhuzamosok ltal az egyes szrakbl lemetszett szeletek arnyval (a cscstl szmtva a szeleteket).
55
56
A1
V
= l 2 , trfogatnak arnya 1 = l 3 .
A2
V2
TTEL: Szgfelezttel: Egy hromszg bels szgfelezje a szemkzti oldalt a szomszdos oldalak arnyban osztja.
BIZONYTS: Az ABC hromszg A cscsbl indul bels szgfelez BC oldalt az S pontban
metszi.
57
A BA szakaszt hosszabbtsuk meg A-n tl s legyen AD = b. Ekkor AD = AC = b, ebbl kvetkezik, hogy az ACD hromszg egyenl szr, a C-nl s a D-nl lev bels szgek
egyenlk, az A-nl lev kls szg a.
Tudjuk, hogy a hromszg kls szge egyenl a vele nem szomszdos bels szgek sszegvel, teht ACD = ADC = a .
2
Ekkor viszont BAS = ADC = a . Ebbl kvetkezik, hogy az AS CD. A B cscsnl lev
2
szgre alkalmazva a prhuzamos szelk ttelt kapjuk: CS = DA = AC .
SB AB AB
TTEL: Magassgttel: Derkszg hromszgben az tfoghoz tartoz magassg hossza mrtani
kzepe azon kt szakasz hossznak, amelyekre a magassg az tfogt osztja.
BIZONYTS: A ttel bizonytsnl a TBC s TAC hromszgek hasonlsgt hasznljuk.
m = q m2 = p q m = p q
p m
TTEL: Befogttel: Derkszg hromszg befogjnak hossza mrtani kzepe az tfog s a befog tfogra es merleges vetlete hossznak.
BIZONYTS: A ttel bizonytsnl a TBC s az ABC hromszgek hasonlsgt hasznljuk.
a = c a2 = p c a = p c
p a
VII. Alkalmazsok:
Hasonl testek trfogatnak arnyval csonkagla, csonkakp trfogata meghatrozhat.
Hegyesszgek szgfggvnyeinek rtelmezse derkszg hromszgek hasonlsgn alapul.
Hasonlsgot hasznlnak a trkpszetben, az ptszetben (tervek, makettek), az optikai
lencsk alkalmazsakor.
Szakasz egyenl rszekre osztsa prhuzamos szelk ttelnek segtsgvel trtnik.
Thalsz szmolta az egyiptomi piramisok magassgt a hasonlsg segtsgvel:
58
Egy fldbe szrt bot segtsgvel mrte a piramisok magassgt: amikor a bot s az rnyka
egyenl hossz, akkor a piramis rnyka is egyenl a piramis magassgval, gy elegend
csak a piramis rnykt s alapjt megmrni, mert ezekbl mr szmolhat a piramis magassga:
AC = AB AC = A'C ' = 1
A'C ' A' B '
AB A' B '
A'B' = A'C' = y + z
59
Bevezets:
Derkszg hromszgeket gyakran alkalmazunk a matematikban s a fizikban is. A derkszg
hromszgekrl fennmaradt els rsos emlkek a Rhind-papruszon kb. Kr.e. 2000-bl tallhatk.
Pitagorasz a Kr.e. VI. szzadban lt, ttelt viszont mr a babilniaiak 4000 vvel ezeltt is ismertk, Pitagoraszhoz csak azrt fzdik a ttel, mert rjtt egy j bizonytsra.
Kidolgozs:
I. Derkszg hromszgek
DEFINCI: Azokat a hromszgeket, amelyeknek valamely szge 90, azaz derkszg, derkszg hromszgeknek nevezzk.
A derkszget bezr kt oldalt befognak, a derkszggel szemkzti, egyben a leghosszabb
oldalt tfognak nevezzk.
60
Az els ngyzet feloszthat egy t1 = a2 s egy t2 = b2 terlet ngyzetre (a felosztsbl ered prhuzamossg miatt), tovbb 4 olyan derkszg hromszgre, amelynek befogi a,
illetve b. Ez a 4 hromszg egybevg egymssal s az eredeti hromszggel, teht terletk
egyenl.
A msodik ngyzetben elhelyezked ngyszg ngyzet, mivel oldalai egyenl hosszak
(egybevg derkszg hromszgek tfogi), szgei pedig 90-osak (egybevg derkszg hromszgben a + b = 90). Ha a derkszg hromszgek tfogja c, akkor terlete
t3 = c2.
Mindkt nagy ngyzet terletbl kivonva a 4-4 egybevg hromszg terlett, a fennmarad terletek egyenlk lesznek.
BIZONYTS II.: Vegynk fel egy derkszg hromszget, amelynek befogi a s b, s egy a + b
oldal ngyzetet. A ngyzetben helyezzk el a hromszgeket:
ABCD ngyszg ngyzet, mert oldalai egyenlk (c), s szgei 90-osak (g = 180 - (a + b) =
= 180 - 90 = 90), gy az a + b oldal ngyzet terlete ktflekppen: t = (a + b)2, illetve
t = 4 a b + c 2 , azaz
2
(a + b)2 = 4 a b + c 2 a2 + 2 ab + b 2 = 2 ab + c 2 a2 + b 2 = c 2 .
2
Ebbl a2 = p c, illetve b2 = (c - p) c = c2 - p c.
61
c 2 = a2 + b 2 2 ab cos90 = a2 + b 2 2 ab 0 = a2 + b 2 c 2 = a 2 + b 2 .
0
63
cos
tg
ctg
30
1
2
3
2
3
3
45
2
2
2
2
60
3
2
1
2
3
3
V. Alkalmazsok:
Pitagorasz-ttel:
skgeometria: hromszg, trapz magassgnak szmolsa
koordintageometria: kt pont tvolsga, vektor hossza
mr az korban ismertk terepen a derkszg kitzst 12 csoms ktl s 3 kar segtsgvel:
64
Thalsz-ttel:
skgeometria: krhz kls pontbl hzott rintk szerkesztse
koordintageometria.: rintk egyenlete
Magassgttel:
mrtani kzp szerkesztse
65
Bevezets:
A geometria grg sz, eredeti jelentse fldmrs. A geometria az kori grg matematikusok
tevkenysge ltal vlt tudomnny. Thalszen, a matematika atyjn kvl a legnagyobb grg
geomternek tartott Apollniosz is sokat foglalkozott a hromszgekkel s a velk kapcsolatos
sszefggsekkel. A ttelben szerepl ismeretek nagy rszt mr k is tudtk.
Kidolgozs:
I. Oldalfelez merlegesek, a hromszg kr rt kr kzppontja
DEFINCI: A skon egy szakasz felezmerlegese az az egyenes, amely a szakasz felezpontjra
illeszkedik s merleges a szakaszra.
TTEL: A szakasz felezmerlegese a szakasz kt vgpontjtl egyenl tvol lv pontok halmaza.
TTEL: A hromszg hrom oldalfelez merlegese egy pontban metszi egymst. Ez a pont a hromszg kr rt kr kzppontja.
BIZONYTS: ABC hromszgben AB s AC oldalfelez merlegeseit tekintsk. Ezek az egyenesek
metszik egymst, mert a hromszg oldalai nem prhuzamosak egymssal. Legyen a kt oldalfelez merleges metszspontja K. Ekkor K egyenl tvolsgra van A-tl s B-tl (mert K
illeszkedik fc-re), illetve A-tl s C-tl (mert K illeszkedik fb-re) is. Kvetkezskppen
egyenl tvol van B-tl s C-tl is, azaz K illeszkedik BC szakaszfelez merlegesre. fi
KA = KB = KC, azaz A, B s C egyenl tvolsgra vannak K-tl fi mindhrom pont illeszkedik egy K kzppont KA = KB = KC = r sugar krre.
66
K hegyesszg hromszg esetn a hromszgn bell, derkszg hromszgnl az tfog felezpontjba (Thalsz ttele), tompaszg hromszgnl a hromszgn kvl esik.
Kt bels szgfelez metszspontjrl beltjuk, hogy rajta van a harmadikon. Vegyk fel az
b
a s b szgfelezjt: fa s fb. Ez a kt flegyenes metszi egymst, mert 0 < a + < 180 .
2 2
gy fa s fb metszspontja az O pont. A szgfelez a szg szraitl egyenl tvol lv pontok halmaza a szgtartomnyban, gy mivel O illeszkedik fa-ra fi OT1 = OT3, illetve O illeszkedik fb-ra fi OT1 = OT2, teht OT2 = OT3, vagyis O egyenl tvol van az AC s a CB
szgszraktl, gy O illeszkedik fg-ra, azaz O az fa, fb s fg egyetlen kzs pontja.
A bizonyts sorn kiderlt, hogy O egyenl tvol van a hromszg oldalaitl, ezrt krje
egy olyan kr rhat, amely a hromszg oldalait rinti.
TTEL: A hromszg egy bels, s a msik kt cscshoz tartoz kls szgfelezje egy pontban
metszi egymst, ez a pont a hromszg hozzrt krnek kzppontja. A hromszgnek 3
hozzrt kre van.
68
TTEL: A hromszg slyvonalai egy pontban metszik egymst, ezt a pontot a hromszg slypontjnak nevezzk. A slypont harmadolja a slyvonalakat gy, hogy a cscs fel es szakasz gy arnylik az oldal fel es szakaszhoz, mint 2 : 1.
V. Kzpvonalak
DEFINCI: A hromszg kt oldalfelez pontjt sszekt szakaszt a hromszg kzpvonalnak nevezzk.
Minden hromszgnek 3 kzpvonala van.
TTEL: A hromszg kzpvonala prhuzamos a felezpontokat nem tartalmaz oldallal, s fele
olyan hossz.
VI. Euler-egyenes
TTEL: A hromszg magassgpontja, slypontja s a krlrt kr kzppontja egy egyenesen van
(Euler-fle egyenes). A slypont a msik kett tvolsgt harmadolja s a krlrt kr kzppontjhoz van kzelebb.
69
VII. Alkalmazsok:
hromszg szerkesztsi feladatok
koordinta-geometria: 3 ponton tmen kr egyenlete, hromszg slypontjnak kiszmtsa
slyvonal, slypont (homogn anyageloszls hromszg esetn) fizikban: slyvonal mentn, illetve slypontban altmasztva a hromszg egyenslyban van
kr kzppontjnak szerkesztse
terletszmtsi feladatok a nevezetes krk sugarainak felhasznlsval
R = abc , r = t , ahol s = k .
4t
2
s
70
Bevezets:
A hromszgekkel mr az korban sokat foglakoztak: pl. Pitagorasz, Thalsz. A szamoszi Arisztarkhosz Kr. e. 3. szzadban olyan szmtsokat s kzeltseket vgzett, amelyek burkoltan mr
szgfggvnyeket tartalmaztak. A legrgibb trkpeket tbb, mint 4000 vvel ezeltt ksztettk.
Snellius holland mrnk a 17. szzadban kidolgozott olyan, a hromszgek adatainak meghatrozsra pl (trigonometriai) mdszert, amelynek alkalmazsval a trkpek pontosabb vltak.
Kidolgozs:
I. Hromszgek csoportostsa szgeik s oldalaik szerint
DEFINCI: Hromszg az a zrt szgvonal, amelyeknek 3 oldala s 3 cscsa van.
DEFINCI: Egy hromszg hegyesszg, ha minden szge hegyesszg.
DEFINCI: Egy hromszg derkszg, ha van egy 90-os szge.
DEFINCI: Egy hromszg tompaszg, ha van egy tompaszge.
DEFINCI: Egy hromszg szablyos (vagy egyenl oldal), ha hrom oldala egyenl hossz.
DEFINCI: Egy hromszg egyenl szr (vagy szimmetrikus), ha van kt egyenl oldala.
71
TTEL: Szinuszttel: Egy hromszgben kt oldal hossznak arnya egyenl a velk szemkzti
szgek szinusznak arnyval:
a = sin a
b sin b
72
Jellje a = a , b = b s c = c .
c 2 = c c cos0 = c c 1 = c 2 .
Hasonlan a = a2 s b = b 2 .
2
a b = a b cosg = a b cos g .
Ezeket berva a c = a 2 ab + b egyenletbe kapjuk: c2 = a2 + b2 - 2abcosg.
2
Kvetkezmnyek:
V. Alkalmazsok:
Hromszgek szerkesztse, hromszg ismeretlen adatainak kiszmtsa.
Sokszgekben oldalak, tlk, szgek kiszmolsa hromszgekre bontssal.
Fldmrsben, trkpszetben, csillagszatban mrt adatokbl tvolsgok s szgek kiszmolsa.
Terepfeladatok megoldsnl: pl.: megkzelthetetlen pontok helynek meghatrozsa.
Modern helymeghatrozs: GPS.
Koszinuszttel alkalmazsa: ha a hromszg kt oldala s az ltaluk kzbezrt szg, illetve
ha a 3 oldal ismert. (ez utbbi esetben a legnagyobb szget leghosszabb oldallal szembenit rdemes kiszmolni).
Szinuszttel alkalmazsa: ha a hromszg egy oldala s kt szge ismert, vagy kt oldala s
nem az ltaluk kzbezrt szg ismert.
Ha a kt oldal kzl a nagyobbikkal szemkztes szg ismert, akkor a hromszg egyrtelmen meghatrozott.
Ha a kt hromszg kt oldalt s a rvidebbel szemkztes szget ismerjk, akkor a hromszg nem egyrtelmen meghatrozott, teht egy hegyesszg s egy tompaszg is megfelel
a feltteleknek, vagy ez egy derkszg hromszg, vagy nincs az adatoknak megfelel h73
74
Bevezets:
A kerleti s kzpponti szgek kzti kapcsolatot mr Hippokratsz is ismerte 2500 vvel ezeltt.
Ebbl a ttelbl a hrngyszgek tulajdonsgaira kvetkeztethetnk. Heron megalkotta a terletkre
vonatkoz sszefggst. A szimmetrikus ngyszgek tulajdonsgaibl tudunk kvetkeztetni a ngyszgek s a sokszgek tulajdonsgaira.
Kidolgozs:
I. Hrngyszg
DEFINCI: Azokat a ngyszgeket, amelyeknek van kr rhat krk, hrngyszgeknek nevezzk. Ezzel ekvivalens: a hrngyszg olyan ngyszg, amelynek oldalai ugyanannak a krnek a hrjai.
TTEL: Ha egy ngyszg hrngyszg, akkor szemkzti szgeinek sszege 180.
BIZONYTS: Vegyk fel egy ABCD hrngyszget, s a kr rt krt. Legyen a ngyszgben
DAB = a, BCD = g.
75
BIZONYTS: indirekt
Tegyk fel, hogy a szemkzti szgeinek sszege 180, s a ngyszg nem hrngyszg. Teht
az egyik cscs (C) nem illeszkedik a msik hrom ltal meghatrozott krre. Legyen P a DC
egyenesnek s a krnek metszspontja.
Legyen DAB = a, a felttel szerint BCD = 180 - a fi BCP = a.
Ekkor ABPD ngyszg hrngyszg, amirl mr belttuk, hogy szemkzti szgeinek sszege
180, teht DPB = 180 - a. Ebbl viszont az kvetkezik, hogy a BPC hromszg egyik
szge (BCP) a, egy msik (BPC) pedig 180 - a. Ezek sszege a harmadik szg nlkl is
180, ami ellentmond a bels szgek sszegre vonatkoz ttelnek. Mivel helyesen
kvetkeztettnk, csak a kiindulsi felttelben lehet a hiba, teht nem igaz, hogy C nincs a krn fi C illeszkedik a krre. Ez viszont azt jelenti, hogy ABCD mindegyik cscsa ugyanazon
krn van fi ABCD hrngyszg.
TTEL: Hrngyszg-ttel: egy ngyszg akkor s csak akkor hrngyszg, ha szemkzti szgeinek sszege 180.
TTEL: A nevezetes ngyszgek kzl biztosan hrngyszg a szimmetrikus trapz (hrtrapz),
a tglalap s a ngyzet.
TTEL: A paralelogramma akkor s csak akkor hrngyszg, ha tglalap.
TTEL: A hrngyszg terlete kifejezhet a ngyszg kerletvel s az oldalakkal: Ha s = k ,
2
akkor t = ( s a)( s b )(s c)(s d ) . Ez a Heron-kplet hrngyszgekre.
II. rintngyszg
DEFINCI: Azokat a ngyszgeket, amelyeknek van bert krk, rintngyszgeknek nevezzk.
Ezzel ekvivalens: az rint ngyszg olyan ngyszg, amelynek az oldalai ugyanannak
a krnek rinti.
TTEL: Ha egy konvex ngyszg rintngyszg, akkor szemkzti oldalainak sszege egyenl.
TTEL: Ha egy konvex ngyszg szemkzti oldalainak sszege egyenl, akkor az rintngyszg.
76
TTEL: rintngyszg ttel: Egy konvex ngyszg akkor s csak akkor rintngyszg, ha
szemkzti oldalainak sszege egyenl.
TTEL: A nevezetes ngyszgek kzl biztosan rintngyszg a deltoid, gy a rombusz s
a ngyzet.
TTEL: A paralelogramma akkor s csak akkor rintngyszg, ha rombusz.
TTEL: rintngyszg terlete kifejezhet a ngyszg kerletvel, s a bert kr sugarval:
t = k r = s r .
2
hrtrapz
fi
tglalap
ngyzet
fi
rombusz
ngyzet
deltoid
kt szimmetria tengely:
tglalap
rombusz
78
Forgsszimmetrikus ngyszgek:
DEFINCI: Egy ngyszg forgsszimmetrikus, ha van a skjban olyan (az identitstl klnbz) pont krli forgats, amelynek az adott ngyszg invarins alakzata. E forgats kzppontjt a ngyszg forgscentrumnak nevezzk.
TTEL: Azok a ngyszgek, amelyek kzppontosan szimmetrikusak, egyben forgsszimmetrikusak is, a forgats kzppontja egybeesik a szimmetria kzpponttal s a = 180.
TTEL: A ngyzet az egyetlen ngyszg, ami tbbszrsen is (hromszorosan) forgsszimmetrikus, a lehetsges forgsszgei: 90, 180 s 270.
IV. Alkalmazs:
a szimmetrikus ngyszgek ( tglalap, ngyzetek) fontos szerepet jtszanak az ptszetben:
mozaikok, padllapok
vektorok sszeadsa: paralelogramma mdszerrel
csonkakp, illetve csonkagla bert gmbjnek sugr meghatrozsa megfelel skmetszettel
(pl. rinttrapz)
csonkakp krlrt gmbjnek sugr meghatrozsa
paprsrkny ksztse
79
Bevezets:
Ha skbeli vagy trbeli alakzatokat akarunk sszehasonltani, vagy egymshoz viszonytott helyzetket szeretnnk lerni, akkor sokszor annak a megllaptsa a clunk, hogyan szrmaztathat
egyik alakzat a msikbl. Ilyen s ehhez hasonl krdsek megvlaszolsa miatt foglalkozunk
a geometriai transzformcikkal.
Kidolgozs:
I. Transzformcik:
DEFINCI: Geometriai transzformcik azok a fggvnyek, amelyek egy ponthalmazt ponthalmazra kpeznek le. (Df = Rf = ponthalmaz)
DEFINCI: A geometriai transzformcik kzl a tvolsgtart transzformcikat egybevgsgi
transzformciknak nevezzk.
Tvolsgtart lekpezs: brmely kt pont tvolsga egyenl kpeik tvolsgval.
Skbeli egybevgsgi transzformcik: tengelyes tkrzs, pontra vonatkoz tkrzs, pont
krli elforgats, eltols.
Kzs tulajdonsgok:
Klcsnsen egyrtelm (egy pontnak egy kppont felel meg s fordtva).
Szgtart (minden szg egyenl nagysg a kpvel).
DEFINCI: Eltols: adott egy v vektor. A v vektorral val eltols a sk (tr) tetszleges P pontj-
Tulajdonsgai:
Tulajdonsgai:
a t egyenes minden pontja fixpont, ms fixpont nincs
a t egyenes fix egyenes (minden pontja fixpont)
a t-re merleges egyenesek invarinsak
nem krljrstart
egyenes s kpe ugyanabban a pontban metszi egymst a tengelyen, a tengellyel azonos szget bezrva.
DEFINCI: Kzppontos tkrzs: adott a sk egy O pontja, a kzppontos tkrzs kzppontja.
Az O pontra vonatkoz kzppontos tkrzs a sk egy tetszleges O-tl klnbz P
pontjhoz azt a P' pontot rendeli, amelyre az O pont a PP' szakasz felezpontja. Az O pont
kpe nmaga.
Tulajdonsgai:
O az egyetlen fixpont
minden O-ra illeszked egyenes invarins
fix egyenes nincs
krljrstart
ha az egyenes nem illeszkedik O-ra, akkor e prhuzamos e -vel.
DEFINCI: Pont krli forgats: adott a sk egy O pontja s egy irnytott szg. Az O pont
krli a szg, adott irny forgats a sk egy tetszleges O-tl klnbz P pontjhoz azt
a P' pontot rendeli, amelyre teljesl, hogy POP' szg irny s nagysg szerint megegyezik
a-val s OP = OP'. O pont kpe nmaga.
81
Tulajdonsgai:
minden n oldal szablyos sokszg invarins alakzat, ha kzppontja krl 360 szggel,
n
vagy a tbbszrsvel van elforgatva
ha a = 180, akkor ez pontra vonatkoz tkrzs
krljrstart
a szg elforgats esetn az egyenes s kpnek szge a, ha 0 a 90, illetve 180 - a,
ha a tompaszg.
n ( n 3)
.
2
82
DEFINCI: A konvex sokszg bels szgeinek mellkszgeit a sokszg kls szgeinek nevezzk.
TTEL: Egy n oldal konvex sokszg kls szgeinek sszege 360.
BIZONYTS: A konvex sokszg egy bels szgnek s a hozz tartoz kls szgnek az sszege
180, mert mellkszgprt alkotnak. gy az n cscsnl lev bels szg-kls szg prok szszege n 180. Ebbl levonva a bels szgek sszegt, megkapjuk a kls szgek sszegt:
n 180 - (n - 2) 180 = (n - (n - 2)) 180 = 2 180 = 360.
Egyenl szr
hromszg
Hrtrapz
Egyenl oldal
hromszg
Deltoid
Rombusz
Tglalap
Kr
Parabola
Ngyzet
83
Kzppontosan szimmetrikus hromszg nincs, mert nem lehetnek prhuzamos s egyenl oldalprjai.
Kzppontosan szimmetrikus ngyszg a paralelogramma. O = tlk metszspontja. (fi kzppontosan szimmetrikus a rombusz, tglalap, ngyzet is).
Kzppontosan szimmetrikusak a pros oldalszm szablyos sokszgek. O = az tellenes cscsokat sszekt tlk metszspontja.
Kzppontosan szimmetrikus a kr, az ellipszis s a hiperbola is.
Forgsszimmetrikus alakzatok:
V. Alkalmazsok:
A kr kerletnek s terletnek meghatrozst vgezhetjk a krbe, illetve a kr kr rt
szablyos sokszgek kerletnek, illetve terletnek segtsgvel. Ez egyben rtknek
kzeltse.
Kristlyszerkezetekben szablyos sokszgek (grafitban szablyos hatszg)
Aranymetszs arnya = szablyos tszg tlinak osztsarnya
Grblt felletekkel hatrolt testek szmtgpes brzolsakor a test fellett sokszglapokbl ll felletekkel kzeltik meg.
84
Bevezets:
A kr s rszei kztti viszonyok feltrst mr az kori gondolkodknl megtallhatjuk. Szmukra a kr a tkletessget szimbolizlta, isteni eredetnek tartottk. Ma a matematika szmos terlete
tmaszkodik az idk folyamn felfedezett sszefggsekre.
Kidolgozs
I. Kr s rszei
DEFINCI: Azoknak a pontoknak a halmaza a skon amelyeknek a sk egy adott O pontjtl adott
r tvolsgra (adott r tvolsgnl nem nagyobb / adott r tvolsgnl nem kisebb) vannak O
kzppont, r sugar krnek( zrt krlapnak / nylt krlapnak) nevezzk.
A kr terlete t = r2p, kerlete k = 2rp.
DEFINCI: A krvonal kt klnbz pontjt sszekt szakaszt hrnak nevezzk
DEFINCI: A hr egyenest szelnek, a kzpponton thalad hrt tmrnek nevezzk. Az tmr a kr leghosszabb hrja, hossza: 2 r.
TTEL: A kr
kzppontjn thalad tetszleges egyenesre nzve tengelyesen szimmetrikus
kzppontjra nzve kzppontosan szimmetrikus
kzppontja krli forgatsra forgatsszimmetrikus
DEFINCI: A krlapnak kt sugr kz es darabja a krcikk.
DEFINCI: Egy szel ltal a krlapbl lemetszett rsz a krszelet.
85
TTEL: Egy adott krben kt kzpponti szghz tartoz vek hossznak arnya, valamint a krcikkek terletnek arnya megegyezik a kzppont szgek arnyval.
a = ia = ta
b ib tb
a hozztartoz v hossza:
ia
i
= a ia = 2rp a , illetve a = a ta = ra .
2rp 2p
2rp 360
360
TTEL: Egy krben a kzpponti szg krcikk terlete az vhosszal kifejezve: ta =
r ia
.
2
86
DEFINCI: Ha egy egyenesnek pontosan egy kzs pontja van a krrel, akkor az egyenest a kr
rintjnek nevezzk, kzs pontjukat pedig rintsi pontnak nevezzk.
TTEL: A kr rintje merleges az rintsi pontba hzott sugrra.
TTEL: Egy kls pontbl a krhz hzott kt rint szakasz egyenl hossz.
DEFINCI: Ha egy egyenesnek kt kzs pontja van a krrel, akkor az egyenest szelnek nevezzk.
TTEL: Krhz hzott rint- s szelszakaszok ttele: Egy adott krhz adott kls pontbl
hzott rintszakasz hossza mrtani kzepe az adott ponton t a krhz hzott szelszakaszoknak.
PE = PA PB
87
BOC hromszg egyenl szr OB = OC = r fi OCB = CBO = a fi b = OBC hromszg kls szge, ami egyenl a nem mellette lv kt bels szg sszegvel b = 2a
b
fi a = .
2
2. A kzpponti szg cscsa a kerleti szg belsejbe esik: Hzzuk be az OC-re illeszked
tmrt, mely az a szget a1 s a2, b szget b1 s b2 rszekre osztja.
A BD, illetve AD vekhez tartoz kerleti s kzpponti szgek elhelyezkedse az 1. esetnek megfelel, teht b1 = 2a1 s b2 = 2a2. Ebbl kvetkezik, hogy
b
b = b1 + b2 = 2a1 + 2a2 = 2(a1 + a2) = 2a fi a = .
2
3. A kzpponti szg cscsa a kerleti szg szgtartomnyn kvl esik: Hzzuk be az OCre illeszked tmrt. Az a = a1 - a2 s b = b1 - b2 sszefggsek rhatk fel a DB s a
DA vekhez tartoz kerleti s kzpponti szgek elhelyezkedsre az 1. esetnek megfelel, teht b1 = 2a1 s b2 = 2a2. Ebbl kvetkezik, hogy
b
b = b1 - b2 = 2a1 - 2a2 = 2(a1 - a2) = 2a fi a = .
2
88
b
.
2
b
.
2
89
IV. Alkalmazsok:
Krhz hzott rint s szelszakaszok ttelvel egy szakaszt aranymetszsnek megfelelen
(a nagyobb rsz s az egsznek az arnya egyenl a kisebb rsz s a nagyobb rsz arnyval)
feloszthatunk.
90
Bevezets:
A vektor fogalma absztrakci tjn alakult ki, hasznlata a matematikban s a fizikban vgigksri tanulmnyainkat. Elszr az eltols, mint geometriai transzformci kapcsn tanulmnyozzuk,
ezalatt tapasztaljuk, hogy a vektormodellben val gondolkods segt a problmamegoldsban, fizikban a jelensgek rtelmezsben, pl. elmozduls, er, sebessg lersban, a munka jellemzsben. Descartes az 1600-as vekben alkotta meg a derkszg koordintarendszert, Hamilton r matematikus s csillagsz hasznlta elszr a vektor elnevezst az 1800-as vekben.
Kidolgozs:
I. Vektor
Az eltols, mint egybevgsgi transzformci megadhat az eltols irnyval s nagysgval,
vagyis egy vektorral.
Az irnytott szakaszt vektornak nevezzk. Jel: AB = v, A: kezdpont, B: vgpont (ez szemlletes
megolds, a vektor alapfogalom, nem definiljuk).
DEFINCI: A vektor abszolt rtke a vektort meghatroz irnytott szakasz hossza. Jele: AB .
DEFINCI: Az a vektor amelynek abszolt rtke nulla, nullvektor. Jele: 0 . A nullvektor irnya
tetszleges, teht minden vektorra merleges, s minden vektorral prhuzamos.
DEFINCI: Kt vektor egyirny, ha a kt vektor prhuzamos, s azonos irnyba mutat.
DEFINCI: Kt vektor ellenttes irny, ha a kt vektor prhuzamos, de ellenttes irnyba mutat.
91
II. Vektormveletek
DEFINCI: Az a s b vektorok sszege annak az eltolsnak a vektora, amellyel helyettesthet
az a vektorral s a b vektorral trtn egymsutnja. Jele: a + b .
hromszg-szably
paralelogramma-szably
Az a b s a b a egyms ellentettjei.
DEFINCI: Egy nullvektortl klnbz a vektor tetszleges l vals szmmal (skalrral) vett
szorzata egy olyan vektor, amelynek abszolt rtke l a s l > 0 esetn a -val egyir-
a a + b a = (a + b ) a
1. disztributv:
a a + a b = a (a + b)
2. asszociatv: a (b a) = (a b ) a
92
TTEL: Ha a s b nullvektortl klnbz prhuzamos vektorok, akkor pontosan egy olyan a vals szm ltezik, amelyre b = a a .
TTEL: Ha a s b nullvektortl klnbz, nem prhuzamos vektorok, akkor a velk egy skban
lev minden c vektor egyrtelmen elll a s b vektorok lineris kombincijaknt, azaz
c = a a + b b alakban, ahol a s b egyrtelmen meghatrozott vals szmok. Ez azt jelenti, hogy c egyrtelmen felbonthat a -val s b -vel prhuzamos sszetevkre.
DEFINCI: A lineris kombinciban szerepl a s b vektorokat bzisvektoroknak nevezzk.
rok lineris kombincijaknt v = v1 i + v2 j alakban. Az gy meghatrozott (v1, v2) rendezett szmprt a v vektor koordintinak nevezzk. Jele: v(v1 , v2 ) .
TTEL: Vektor koordintinak kiszmtsa kezd- s vgpontjnak segtsgvel: A(a1, a2),
93
V. Skalris szorzat
DEFINCI: Kt vektor szge:
Egylls vektorok szge 0, ha egyirnyak; vagy 180, ha ellenttes irnyak.
Nem egylls vektorok esetn a vektorok hajlsszgn a kzs pontbl kiindul vektorok flegyenesei ltal bezrt konvex szget rtjk.
DEFINCI: Tetszleges kt vektor skalris szorzata a kt vektor abszolt rtknek s hajlsszgk koszinusznak szorzata: a b = a b cosa .
Skalris szorzat tulajdonsgai:
1. kommutatv: a b = b a .
l (a b) = (l a) b = a (l b )
2. disztributv:
(a + b) c = a c + b c
TTEL: Kt vektor skalris szorzata akkor s csak akkor 0, ha a kt vektor merleges egymsra:
ab = 0 a b .
TTEL: Kt vektor skalris szorzata koordintkkal: a b = a1b1 + a2 b2 , azaz a megfelel koordintk szorzatnak sszege.
BIZONYTS:
a(a1 , a2 ) a = a1 i + a2 j
b( b1 , b2 ) b = b1 i + b2 j
2
2
a b = (a1 i + a2 j ) (b1 i + b2 j ) = a1b1 i + a1b2 i j + a2 b1 i j + a2 b2 j
i = 1 1 cos0 = 1
a b = a1b1 + a2 b2
j 2 = 1 1 cos0 = 1
i j = j i = 1 1 cos90 = 0
VI. Alkalmazsok:
vektorok bizonytsban: hromszg slypontja harmadolja a slyvonalakat; Euler-egyenes:
a hromszg kr rhat kr kzppontja, slypontja, magassgpontja egy egyenesen van s
KS = 1 .
SM 2
94
95
Bevezets:
A koordintageometria (analitikus geometria) alapvet jellemzje, hogy geometriai problmkat,
feladatokat algebrai mdszerekkel, a koordinta-rendszer segtsgvel trgyalja s oldja meg.
A geometrinak ez a megkzeltse elszr Apollniosz kpszeletekrl rt knyvben jelenik meg
Kr.e. 3. szzadban, majd foglalkozott mg ezzel Hipparkhosz s Papposz is. Descartes 1637-ben
megjelent Geometria c. knyvt tekintjk az els koordintageometriai mnek, ebben mr kvetkezetesen hasznlja az jkori matematikai jellseket.
Kidolgozs:
I. Szakaszok a koordintaskon: szakasz hossza, osztpontok
TTEL: A skbeli derkszg koordintarendszerben az A(a1, a2) s B(b1, b2) vgpontokkal meg-
a +b a +b
TTEL: Szakasz felezpontjnak koordinti F 1 1 ; 2 2 .
2
2
BIZONYTS: AF =
96
ba
ba a+b
f =a+
=
.
2
2
2
2 a1 + b1 2 a2 + b2
;
H
3
3
.
TTEL: Szakasz harmadolpontjainak koordinti
G a1 + 2 b1 ; a2 + 2 b2
3
3
BIZONYTS:
b a 2a + b
h = a + AH = a + AB = a +
=
3
3
3
.
2(b a) a + 2 b
AB
2
g = a + AG = a +
=a+
=
3
3
3
AR = p AR = p AB = p (b a)
RB q
p+q
p+q
p
( b a)
OR = r = OA + AR = a +
p+q
a( p + q) + p(b a) pa + qa + pb pa qa + pb
OR =
=
=
.
p+q
p+q
p+q
97
DEFINCI: Az egyenes normlvektora brmely, az egyenesre merleges, nullvektortl klnbz vektor. Jele: n( A; B) .
DEFINCI: Az egyenes irnyszgnek nevezzk azt a p < a p szget, amelyet az egyenes az
2
2
x tengely pozitv irnyval bezr.
DEFINCI: Az egyenes irnyszgnek tangenst (amennyiben ltezik) az egyenes irnytangensnek (irnytnyezjnek vagy meredeksgnek) nevezzk. Jele: m = tga. Az a = p = 90
2
irnyszg, vagyis az y tengellyel prhuzamos egyenesnek nincs irnytangense.
Ha az egyenes kt klnbz pontja A(a1; a2) s B(b1; b2), akkor AB lehet az egyenes egy irnyvektora: v(b1 a1; b2 a2 ) egy normlvektora n( a2 b2 ; b1 a1 ) vagy n( a2 b2 ; a1 b1 ) , mereb a
deksge m = 2 2 ; ebbl felrhat irnyszge is: a = arctgm.
b1 a1
Kt egyenes merlegessge s prhuzamossga:
ae = af, vagy
me = mf.
98
e ^ f v e ^ v f , azaz v e v f = 0 , vagy
n e ^ n f , azaz n e n f = 0 , vagy
n e = l v f (l 0), vagy
v e = l n f (l 0), vagy
me mf = -1.
99
DEFINCI: Kt egyenes metszspontja (ha ltezik) egy olyan pont, amely illeszkedik mindkt
egyenesre.
A metszspont koordinti a kt egyenes egyenletbl ll egyenletrendszer megoldsai.
DEFINCI: Kt egyenes hajlsszge visszavezethet irnyvektoraik vagy normlvektoraik szgre.
ne n f
Kt vektor szgt skalris szorzattal szmolhatjuk ki: cosj =
, vagy
ne n f
cosj =
ve v f
ve v f
V. Elsfok egyenltlensgek
DEFINCI: Elsfok egyismeretlenes egyenltlensgek ax + b > 0 (a 0) alakba hozhatak.
Ha a < 0, akkor x < b
Ha a > 0, akkor x > b
a
a
100
Ha b > 0, akkor
y >a x c
b
b
Ha b < 0, akkor
y< a x c
b
b
Ha b = 0, akkor
ax + c > 0. (egyismeretlenes)
VI. Alkalmazsok:
adott tulajdonsg ponthalmazok keresse, ha elemi mdszerrel nem boldogulunk.
ktismeretlenes egyenltlensgrendszer megoldsa
7 x + 5 y < 0
Pl.: 4 x + y < 12 x , y Z
x 2 y < 4
P(2; 2) az egyetlen megfelel pont fi x = 2, y = 2
101
Kr defincija, egyenlete
Kr s egyenes klcsns helyzete
Kt kr klcsns helyzete
Parabola defincija, egyenletei
Parabola s egyenes klcsns helyzete
Msodfok egyenltlensgek
Alkalmazsok
Bevezets:
Mr a Kr.e. 3. szzadban lt nagy grg matematikus, Apollniosz is foglalkozott a kpszeletekkel:
a krrel, az ellipszissel, a parabolval s a hiperbolval. 8 ktetes mvnek risi hatsa volt a ksbbi korok matematikusaira (Arkhimdszre, Descartes-ra, Fermat-ra). Az munkssgtl fggetlenl elszr Euler rt a kpszeletekrl 1748-ban.
Kidolgozs
I. Kr s egyenlete
DEFINCI: A kr azon pontok halmaza a skon, amelyek egy adott ponttl adott tvolsgra vannak. Az adott pontot a kr kzppontjnak, az adott tvolsgot a kr sugarnak nevezzk.
Teht a krt a skon egyrtelmen meghatrozza a kzppontja s sugara.
TTEL: A C(u; v) kzppont, r sugar kr egyenlete (x - u)2 + (y - v)2 = r2.
BIZONYTS: A P(x; y) pont akkor s csak akkor van a krn, ha CP tvolsg ppen r, azaz
CP = r.
CP = ( x u)2 + ( y v)2 = r fi mivel mindkt oldal nemnegatv, ngyzetre emelssel ekvivalens kifejezshez jutunk: (x - u)2 + (y - v)2 = r2, amit a kr pontjai kielgtenek, de ms
pontok nem.
A kr egyenlete ktismeretlenes msodfok egyenlet, hiszen az egyenlete:
x2 + y2 - 2ux - 2vy + u2 + v2 - r2 = 0
alakra hozhat, azaz talakthat:
x2 + y2 + Ax + By + C = 0
102
2
2
Azaz a kr kzppontja C A ; B , sugara r = A + B 4C . Ebbl lthatjuk, hogy nem min2
2
2
2
2
den x + y + Ax + By + C = 0 egyenlet kr egyenlete.
Egy kr s egy egyenes kzs pontjainak a meghatrozsa az egyenleteikbl ll egyenletrendszer megoldsval trtnik a kvetkez mdon:
Az egyenes egyenletbl kifejezzk az egyik ismeretlent, s azt a kr egyenletbe behelyettestjk.
gy egy msodfok egyismeretlenes egyenletet kapunk.
Az egyenlet diszkriminnsa hatrozza meg a kzs pontok szmt. Ha D > 0, akkor az egyenletnek
2 megoldsa van, vagyis az egyenes metszi a krt. Ha D = 0, akkor az egyenletnek egy megoldsa
van, vagyis az egyenes rinti a krt. Ha D < 0, akkor az egyenletnek nincs megoldsa, vagyis az
egyenesnek s a krnek nincs kzs pontja.
103
TTEL: Az F 0;
Ez azt is jelenti, hogy a parabola tengelypontja T(0; 0), paramtere p (s a fkusza a tengelypont felett van, azaz a parabola pozitv lls), ekkor a parabola egyenlete y = 1 x 2 .
2p
BIZONYTS:
104
p
. Egy skbeli P pont akkor s csak akkor illeszkedik a pa2
rabolra, ha a parabola fkusztl s vezregyenestl egyenl tvolsgra van. A P pont s
a vezregyenes tvolsga egyenl a PQ tvolsggal, ahol Q a P pont merleges vetlete a v
p
vezregyenesen, ezrt Q x; .
2
A vezregyenes egyenlete: y =
( ) = ( ) PQ = PF ,
p
p
( x 0) + ( y ) = x + ( y )
2
2
PQ = ( x
PF =
azaz
x )2
p
+ y+
2
p
y+
2
( y + 2p )
( 2p ) .
2
= x2 + y
( )
( )
p
p
= x2 + y
2
2
2
p
p2
y 2 + py +
= x 2 + y 2 py +
4
4
y+
( )
p
fkuszpont parabola
2py = x2 fi (mivel p > 0): y = 1 x 2 (orig tengelypont F 0;
2
2p
tengelyponti egyenlete).
TTEL: A p paramter T(u, v) tengelypont parabolk tengelyponti egyenlete s jellemzik:
y = 1 ( x u )2 + v
2p
y = 1 ( x u )2 + v
2p
x = 1 ( y v )2 + u
2p
x = 1 ( y v )2 + u
2p
105
Az a tny, hogy a parabolnak s az egyenesnek egy kzs pontja van, nem jelenti azt, hogy az
egyenes rintje a parabolnak, mert az is lehetsges, hogy az egyenes prhuzamos a parabola tengelyvel.
DEFINCI: A parabola rintje olyan egyenes, melynek egy kzs pontja van a parabolval s
nem prhuzamos a parabola tengelyvel.
Parabola s rintjnek meghatrozsa ktfle mdon:
Az egyenes egyenlett egy paramterrel felrva (clszer paramternek az m meredeksget
vlasztani), ilyenkor is figyelni kell, hogy m ne a tengellyel prhuzamos egyenesre utaljon.
Olyan m rtket keresnk, amely az egyenesre felrt elsfok, paramteres, ktismeretlenes
egyenletnek, vagyis egyenletrendszernek pontosan egy megoldsprjt adja.
A megolds mdja pl. a parabola egyenletbl behelyettestnk az egyenes egyenletbe
(vagy fordtva), ekkor egy paramteres, egyismeretlenes, msodfok egyenletet kapunk.
Az egyenes akkor s csak akkor rinti a parabolt, ha az egyenlet diszkriminnsa 0. Az gy
kapott (ltalban m-re nzve msodfok) egyenlet vals megoldsai (ha lteznek) adjk
a krdses rintk meredeksgt, amibl egyenletk mr felrhat.
Az y tengellyel prhuzamos tengely parabola rintjnek meredeksge a parabola egyenletbl kaphat msodfok fggvny derivltjbl hatrozhat meg (ez jval gyorsabb s egyszerbb az elz mdszernl).
Az y tengellyel nem prhuzamos tengely, vagyis az x tengellyel prhuzamos tengely parabola rintjnek meredeksge a parabola egyenletbl kaphat gykfggvny (figyelni kell,
hogy melyik gt nzzk) derivltjbl hatrozhat meg (ez bonyolultabb, nagyobb odafigyelst kvn az elz mdszernl).
vgezni, amit clszer grafikusan megoldani. Msik eltrs a kt oldal reciproknak vtelekor ll fenn. Mindkt oldal reciprokt vve, ha az egyenltlensg mindkt oldaln negatv kifejezs ll, akkor a relci irnya megvltozik, klnben a relci nem vltozik.
2. Grafikus megolds: A msodfok egyenltlensgek megoldsnl fontos szerepet jtszik,
hogy az egyenltlensgekben szerepl msodfok kifejezsek grafikonja a koordintarendszerben parabola. A msodfok egyenlet megoldshoz hasonlan 0-ra rendeznk gy,
hogy a fegytthat pozitv legyen, teht a > 0. Ekkor ax2 + bx + c 0, ax2 + bx + c > 0,
ax2 + bx + c 0 vagy ax2 + bx + c < 0 alak minden msodfok egyenltlensg.
Ha a bal oldalon ll kifejezs ltal meghatrozott fggvnyt (f(x) = ax2 + bx + c) brzoljuk,
akkor, mivel a rtke pozitv, ezrt fell nyitott, pozitv lls parabolt kapunk. Az egyenltlensg megoldsa ekkor egyenrtk az f(x) 0, f(x) 0, f(x) > 0, illetve f(x) < 0 vizsglattal.
Ehhez elszr hatrozzuk meg az f(x) fggvny zrushelyeit:
Ha kt zrushely van, x1 s x2 (ahol x2 < x1 ), akkor lehetsgeink az f(x) fggvny eljelre (f(x1) = f(x2) = 0):
Egyenltlensg
Megoldshalmaz
ax2 + bx + c 0
ax2 + bx + c > 0
ax2 + bx + c 0
x [x2, x1]
ax2 + bx + c < 0
x ]x2, x1[
Azaz, ha helyett >, helyett < szerepel csak, akkor megoldsunkban a zrt intervallumvgeket nyitottra cserljk.
Ha egy zrushely van, x1, akkor lehetsgeink az f(x) fggvny eljelre (f(x1) = 0):
Egyenltlensg
Megoldshalmaz
ax2 + bx + c 0
x R
ax + bx + c > 0
x R \ {x1}
ax2 + bx + c 0
x = x1
ax2 + bx + c < 0
x { }
107
Egyenltlensg
Megoldshalmaz
ax2 + bx + c 0
x R
ax2 + bx + c > 0
x R
ax2 + bx + c 0
x { }
ax + bx + c < 0
x { }
VII. Alkalmazsok:
Koordintageometria segtsgvel elemi geometriai feladatok algebrai ton oldhatk meg:
Adott tulajdonsg ponthalmaz keresse: Mi azon P pontok halmaza, amelyekre adott A, B
esetn PA = 1 ?
PB 3
(Apollniosz-kr)
2
x 2 + y 2 = r 2 y = r 2 x 2 T = r 2 x 2 dx = r
4
0
A parabolaantenna mkdsnek lnyege a parabola s fkusznak tulajdonsgval magyarzhat: a tengellyel prhuzamosan bees jel a fkuszon keresztl verdik vissza.
108
109
Bevezets:
A trigonometria az kori csillagszat segdeszkzeknt jtt ltre. Az els rsos emlk Ptolemaiosztl szrmazik. Ksbb az arab s a hindu csillagszok is foglalkoztak a matematiknak ezzel
az gval, pl. ismertk a szinuszttelt. A trigonometria vgleges formba ntse Euler nevhez
fzdik.
Kidolgozs:
I. Szgfggvnyek ltalnostsa
A hegyesszgek szgfggvnyeit derkszg hromszgekkel vezetjk be. Kihasznljuk, hogy kt
derkszg hromszg hasonl, ha valamely hegyesszgk megegyezik. A hasonlsg kvetkeztben egy derkszg hromszg oldalainak arnyt a hromszg egyik hegyesszge egyrtelmen
meghatrozza. Erre a fggvnyszer kapcsolatra vezetjk be a szgfggvnyeket:
110
DEFINCI: A koordintarendszerben az i(1; 0) bzisvektor orig krli a szggel val elforgatsval keletkez e egysgvektor els koordintja az a szg koszinusza, msodik koordintja az a szg szinusza.
a I.
a II.
a III.
a IV.
0 <a < p
2
p <a <p
2
p < a < 3p
2
3p < a < 2p
2
cosa = -cos(p - a)
sina = sin(p - a)
cosa = -cos(a - p)
sina = -sin(a - p)
cosa = cos(2p - a)
sina = -sin(2p - a)
a II.
a III.
a IV.
0 <a < p
2
p <a <p
2
p < a < 3p
2
3p < a < 2p
2
tga = -tg(p - a)
tga = tg(a - p)
tga = -tg(2p - a)
111
a II.
a III.
a IV.
0 <a < p
2
p <a <p
2
p < a < 3p
2
3p < a < 2p
2
ctga = -ctg(p - a)
ctga = ctg(a - p)
ctga = -ctg(2p - a)
Egyrszt az egysgvektor
e =
e12
+ e22
sin 2 a
hossza
+ cos2 a
1:
(e= 1),
msrszt
az
vektor
hossza:
g: R R, g(x) = cosx
rtkkszlete:
[-1; 1]
[-1; 1]
monotonitsa:
szigoran monoton n:
x p + k 2p ; p + k 2p (k Z)
2
szigoran monoton n:
x ]p + k2p; 2p + k2p[ (k Z)
A fggvny
brzolsa:
rtelmezsi tartomnya:
szlsrtke:
periodicits:
periodikus: p = 2p
periodikus: p = 2p
x = kp (k Z)
x = p + kp (k Z)
2
korltossg:
korltos
korltos
A fggvny
f: R \ p + kp R, f(x) = tgx
2
(k Z)
zrushelyei:
paritsa:
brzolsa:
rtelmezsi tartomnya:
R \ p + kp , (k Z)
2
R \ {kp}, (k Z)
rtkkszlete:
monotonitsa:
szigoran monoton n:
x p + kp ; p + kp (k Z)
2
2
113
szlsrtke:
nincs
nincs
periodicits:
periodikus: p = p
periodikus: p = p
zrushelyei:
x = kp (k Z)
x = p + kp (k Z)
2
nem korltos
nem korltos
paritsa:
korltossg:
g: x f(a x) fggvny kpt az f(x) fggvny kpnek y tengelyre val merleges 1 ara
ny merleges affinits adja. A merleges affinits sszenyoms, ha a > 1, nyjts, ha
a < 1, y tengelyre vonatkoz tkrzs, ha a = -1.
g: x f(x + b) fggvny kpe gy addik, hogy az f(x) fggvny kpt eltoljuk az x tengely
mentn (-b; 0) vektorral.
114
A fggvnyrtk transzformcii:
g: x c f(x) fggvny kpt az f(x) fggvny kpnek x tengelyre val merleges c arny
merleges affinits adja. A merleges affinits sszenyoms, ha c < 1, nyjts, ha
c > 1, x tengelyre vonatkoz tkrzs, ha c = -1.
g: x f(x) + d fggvny kpe gy addik, hogy az f(x) fggvny kpt eltoljuk az y tengely
mentn (0; d) vektorral.
A g: x c f(a x + b) + d transzformci az elz ngy transzformcival pl. a kvetkez mdon rhet el a g( x ) = c f (a x + b ) + d = c f a x + b + d talakts utn:
a
f ( x ) f (ax ) f a x + b = f (a x + b ) c f (a x + b ) c f (a x + b ) + d
a
( )
( )
115
( )
( )
f ( x ) = 3 sin 2 x + p f ( x ) = 3 sin 2 x + p + 1
2
2
( )
)
V. Alkalmazsok
Hromszg trigonometrikus terletkplete
Szinuszttel, koszinuszttel
GPS: globlis helymeghatroz rendszer (XXI. sz.-i hromszgels)
e f sin a
(e, f tlk, a = tlk szge)
Ngyszg terlete: t =
2
Rezgmozgs kitrs-id, sebessg-id, gyorsuls-id fggvnye trigonometrikus fggvny
116
Bevezets:
Skidomok terletvel mr az korban is foglalkoztak: Hippokratsz Kr.e. 450 krl egy rendszerez matematikai mvet rt, melyben sokat foglalkozott klnbz egyenesek s krvek ltal meghatrozott terletek kiszmtsval. Kb. 150 vvel ksbb Eukleidsz mveiben is tallunk a terletszmtsrl emltst.
Kidolgozs
I. Terletszmts
A mrs egy egysgnyinek tekintett rtkkel val sszehasonltst jelent. Ahhoz, hogy mrni tudjunk, rgzteni kell a mrs szablyait.
DEFINCI: A terlet mrse azt jelenti, hogy minden skidomhoz hozzrendelnk egy pozitv
vals szmot, amelyet a skidom terletnek neveznk. Ez a hozzrendels az albbi tulajdonsgokkal rendelkezik:
Az egysgnyi oldalhosszsg ngyzet terlete egysgnyi.
Egybevg sokszgek terlete egyenl.
Ha egy sokszget vges szm sokszgre darabolunk, akkor az egyes rszek terletnek
sszege egyenl az eredeti sokszg terletvel.
117
a ma
.
2
Tkrzve brmely trapzt az egyik szrnak felezpontjra olyan paralelogrammt kapunk,
amelynek terlete ktszerese a trapz terletnek.
a ma a b sin g
=
= r s = a b c = s ( s a) ( s b ) ( s b )
2
2
4R
ahol r a bert kr sugara, R a krlrt kr sugara, s a flkerlet.
TTEL: t = r s.
BIZONYTS: A hromszg bert krnek kzppontja a szgfelezk metszspontja.
118
Ha CAB kerleti szg a, akkor COB kzpponti szg 2a (ugyanahhoz az vhez tartoznak).
a
2
COB egyenl szr hromszg fi sin a = = a .
R 2R
bc a
b
c
sin
2R = a b c .
t=
=
2
2
4R
TTEL: Ngyszg terlete: az tli hossza s az tlk ltal bezrt szg szinusznak a szorzatnak
e f sin j
.
fele: t =
2
BIZONYTS: Az ABCD konvex ngyszg, tlinak metszspontja M. M az tlkat x, e - x, illetve
y, f - y rszekre osztja. A kt tl 4 db hromszgre osztja a ngyszget, gy a ngyszg terlete egyenl a ngy hromszg terletnek sszegvel:
119
t=
sin j
sin j
[ x ( f y ) + (e x ) ( f y ) + (e x ) y + y x ] =
[( f y ) e + y e] =
2
2
sin j
sin j
e f sin j
[ f y + y] e =
f e =
.
2
2
2
ABCD konkv ngyszg, tlinak metszspontja M a virtulis tlt x, e - x rszekre osztja, mg
a valdi tl: CA = AM - CM.
=
Az ABD hromszg terlete egyenl az ABCD ngyszg terletnek s a BCD hromszg terletnek sszegvel
tABCD = tABD - tBCD = tABM + tAMD - tCBM - tCMD.
TTEL: Szablyos sokszg terlett gy kapjuk, hogy kzppontjukat sszektjk a cscsokkal
s gy n db egyenl szr hromszgre bontjuk a sokszget:
t = n a r = n
2
R 2 sin 360
n ,
2
120
DEFINCI: A grbe alatti terletet tglalapok egyestsvel ltrejtt sokszgekkel kzeltjk. Ehhez az [a; b] intervallumot az a = x0, x1, x2, xn = b pontokkal n rszre osztjuk. Ezt az intervallum egy felosztsnak nevezzk.
Tekintsk ennek a felosztsnak az intervallumt: [xi - 1; xi]. Jellje mi az f fggvnynek ebben az intervallumban felvett rtkeinek als hatrt (az als korltok kzt a legnagyobb), Mi pedig a fels
hatrt (a fels korltok kzt a legkisebb). Bizonythat, hogy korltos fggvnyeknl ezek az
rtkek lteznek.
Az [xi - 1; xi] intervallum fl szerkessznk olyan tglalapokat, amelyeknek msik oldala mi, illetve
Mi. Vgezzk el a szerkesztst a feloszts minden intervallumban s egyestsk a kisebb tglalapokat s a nagyobb tglalapokat kln kt sokszgbe. Ekkor a vizsglt tartomny egy bert, illetve
egy krlrt sokszgt kapjuk. Ezeknek a sokszgeknek a terlett vizsgljuk.
A bert sokszg terlete az als kzelt sszeg:
sn = m1(x1 - x0) + m2(x2 - x1) + ... + mn(xn - xn - 1).
A krlrt sokszg terlete a fels kzelt sszeg:
Sn = M1(x1 - x0) + M2(x2 - x1) + ... + Mn(xn - xn - 1).
Tovbbi osztpontokat vve a meglvkhz a felosztst finomtjuk, akkor sn ltalban n, Sn ltalban cskken, s ekkor a leghosszabb rszintervallumok hossza is 0-hoz tart.
gy vgtelen sok als s fels sszeg keletkezik. Belthat, hogy brmely als sszeg nem lehet
nagyobb brmely fels sszegnl.
DEFINCI: Az [a; b] intervallumon korltos, f fggvny integrlhat, ha csak egyetlen olyan szm
tallhat, amely az sszes als s az sszes fels kz esik. Ezt az egyetlen szmot nevezzk
b
f ( x ) dx .
a
121
TTEL: Ha az [a; b]-on folytonos f fggvny nem vlt eljelet, akkor x = a, x = b, s az x tengely
b
f ( x ) dx
V. Alkalmazsok:
Pitagorasz-ttel bizonytsa terlet-sszerakssal
Geometriai valsznsgek kiszmtsakor szksg van geometriai alakzatok terletnek
meghatrozsra
Kr terlete
Skidomokkal, illetve skba kiterthet felletekkel hatrolt testek felsznnek meghatrozsa
(hasb, henger, kp, gla, csonka kp, csonka gla)
Hippokratsz holdacski: A derkszg hromszg oldalai fl rajzoljunk flkrket. Ekkor a kt holdacska terletnek sszege egyenl a hromszg terletvel.
122
Kombinatorika
Binomilis ttel
Grfok
Alkalmazsok
Bevezets:
A kombinatorika rendszerint dolgok megszmllsval foglalkozik. Elszr Leibniz az 1700-as
vek elejn rendszerezte a kombinatorikai ismereteket, majd Bernoulli alkalmazta valsznsgszmtsi feladatok megoldsakor.
A grfelmlet trtnete Euler munkssgval kezddtt: 1736-ban a knigsbergi hidak problmjval foglalkozott. Egyre tbb olyan geometriai problmval foglalkoztak, amely nem foglalkozik az alakzatok mretvel, alakjval, csak az egymssal val kapcsolatukkal. Az els tudomnyos
alap grfelmleti knyvet Knig Dnes magyar matematikus rta 1936-ban.
Kidolgozs
I. Kombinatorika
A kombinatorika, a valsznsg-szmts s a matematikai statisztika a vletlen tmegjelensgek
trvnyszersgvel foglalkozik. A kombinatorika trgyt kpezik a sorba rendezsi s a rszhalmaz kivlasztsi problmk, a kombinatorika rendszerint dolgok megszmllsval foglalkozik.
DEFINCI: Egy adott n elem halmaz elemeinek egy ismtls nlkli permutcijn az n klnbz elem egy sorba rendezst (sorrendjt) rtjk.
TTEL: Egy n elem halmaz ismtls nlkli sszes permutciinak szma:
n (n - 1) (n - 2) ... 2 1 = n!.
DEFINCI: Ha az n elem kztt van k1, k2, , km egymssal megegyez, akkor az elemek egy
sorba rendezst ismtlses permutcinak nevezzk.
TTEL: Ha n elem kztt k1, k2, , km db megegyez van, s k + k2 + + km = n, akkor ezeket az
n!
elemeket
klnbz mdon lehet sorba rendezni, ez az ismtlses permutk1! k2 ! ... k m !
cik szma.
DEFINCI: Legyen n db egymstl klnbz elemnk. Ha ezekbl k (k n) db-ot kivlasztunk
minden lehetsges mdon gy, hogy a kivlasztott elemek sorrendje is szmt, akkor az n
elem k-ad osztly ismtls nlkli varicijt kapjuk.
TTEL: Az n elem k-ad osztly ismtls nlkli varicik szma:
n! .
(n k )!
BIZONYTS: Vegynk egy k rekeszes dobozt. Ebben helyezznk el az n elem kzl k db elemet
minden lehetsges mdon.
123
n (n 1) ... (n k + 1) ( n k ) (n k 1) ... 2 1
= n!
(n k )!
(n k )!
n
n (n 1) (n 2) ... (n k + 1)
n!
=
= .
k (k 1) ... 2 1
k ! ( n k )! k
BIZONYTS: A kivlasztst gy kpzelhetjk el, mintha elszr sorba lltannk a k db kivlasztott elemet. Az els helyre n db-bl, a msodik helyre (n - 1) db-bl, a k-adik helyre mr
csak a megmaradt (n - k + 1) db-bl vlaszthatunk, ezzel a lehetsgek szma n (n - 1)
(n - 2) ... (n - k + 1). Majd a sorrendek szmt a k elem sszes sorrendjvel, k!-ral osztjuk, hiszen a sorrend nem szmt.
n (n 1) ( n 2) ... ( n k + 1)
=
k!
n (n 1) (n 2) ... (n k + 1) (n k ) (n k 1) ... 2 1
n!
=
=
k ! (n k ) (n k 1) ... 2 1
k ! (n k )!
n
Erre pedig bevezetjk az szimblumot.
k
DEFINCI: Ha n klnbz elembl kell k elemet kivlasztani gy, hogy a kivlaszts sorrendje
nem szmt s a mr kivlasztott elemeket jra kivlaszthatjuk, akkor az n elem k-ad osztly ismtlses kombincijt kapjuk.
n + k 1
TTEL: Az n elem k-ad osztly ismtlses kombincijnak szma :
.
k
124
n
A ttelben szerepl egytthatkat binomilis egytthatknak nevezzk.
k
BIZONYTS: (a + b)n = (a + b)(a + b)(a + b)...(a + b).
Bontsuk fel a jobb oldalon ll n darab zrjelet: mindegyik sszegbl ki kell vlasztani az
egyik tagot, ezeket a tagokat ssze kell szorozni, majd a kapott szorzatokat ssze kell adni.
Mindegyik kapott szorzat n tnyezbl ll, mindegyikben szerepel a s b, mgpedig
an - k bk alakban, mert a zrjelbl vagy a-t, vagy b-t vlasztunk, a-bl n - k darabot, b-bl
k darabot.
n
-flekppen lehet az n tnyezbl azt a k darabot kivlasztani, amelyikbl a b szorztk
n
nyezt vesszk. Teht az an - k bk tagbl darab van, teht ez a tag egytthatja. gy
k
a szorzat a ttelbeli alakba rhat.
III. Grfok
A grfok nagyon jl szemlltetik egy halmaz elemei kzti kapcsolatokat. Grfokkal szemlltethetk pl. egy trsasg ismeretsgi viszonyai, vagy brmilyen hlzat kapcsoldsi viszonyai.
DEFINCI: A grf pontokbl s vonalakbl ll. Minden vonal kt (nem felttlenl klnbz)
pontot kt ssze. A pontok a grf pontjai, a vonalak a grf lei.
DEFINCI: A grfokban elfordulhat olyan l is, melynek mindkt vgpontja ugyanaz a pont, az
ilyen l neve hurokl.
DEFINCI: A grf olyan pontjt, amelybl nem vezet l, izollt pontnak nevezzk.
DEFINCI: Kt cscs kztt tbb lt is hzhatunk, ezek a tbbszrs lek.
DEFINCI: Egy grfot egyszer grfnak neveznk, ha nincs benne sem hurokl, sem tbbszrs
l.
125
DEFINCI: Egy grf egy pontjhoz illeszked lvgek szmt a pont fokszmnak (foknak) nevezzk.
sszefgg grf
DEFINCI: Ha egy grfnak n pontja van (n Z+) s mindegyik pontbl pontosan egy l vezet
a tbbi ponthoz, akkor a grfot n pont teljes grfnak nevezzk.
TTEL: n pont teljes grf leinek a szma:
n (n 1)
.
2
DEFINCI: A vonal a grf cscsainak s leinek az a sora, amelyben az lek ezeket a pontokat
ktik ssze s az lek nem ismtldnek, egy cscs tbbszr is elfordulhat. A vonal zrt, ha
kezd s vgpontja megegyezik, egybknt nylt.
126
DEFINCI: A kr olyan vonal, amelynek kezd s vgpontja megegyezik s a pontok nem ismtldnek.
DEFINCI: Az Euler-vonal a grf sszes lt pontosan egyszer tartalmaz vonal. Lehet zrt s
lehet nylt Euler-vonal. Zrt Euler-vonalnak nincs kezd s vgpontja, mert egybeesik, nylt
Euler-vonalnl kt klnbz pont van a vonal kt vgn.
TTEL: Zrt Euler vonala akkor s csak akkor van egy sszefgg grfnak, ha minden foka pros.
TTEL: Nylt Euler vonala akkor s csak akkor van egy sszefgg grfnak, ha pontosan kt pratlan fok pontja van.
127
TTEL: A fa minimlis sszefgg grf (brmely let elhagyjuk, akkor a grf mr nem sszefgg).
TTEL: A fa brmely kt cscst egyetlen t kti ssze
TTEL: n cscs fnak n-1 le van.
TTEL: Minden egynl tbb cscs fnak van legalbb 2 elsfok cscsa.
IV. Alkalmazsok
Kombinatorika:
binomilis ttel bizonytsa
n elem halmaz sszes rszhalmazainak szma
sorbarendezsi, kivlasztsi s sszeszmllsi problmk
klasszikus valsznsgi modell
Grfelmlet:
minimlis kltsg hlzatok (t, kbel) tervezse
szerencsejtkok nyersi eslyeinek meghatrozsa
grfokat jl lehet alkalmazni szociolgiai, pszicholgiai vizsglatokban, elektromos hlzatok, vagy kzlekedsi tvonalak tervezsben.
128
Bevezets:
A valsznsg fogalmt is rgta ismeri az emberisg: mr az kori grg filozfusok foglalkoztak azzal, hogy a termszetben tapasztalt trvnyszersgek a vletleneken keresztl rvnyeslnek.
Kidolgozs:
I. Esemnyek
A valsznsg-szmts vletlen tmegjelensgek vizsglatval foglalkozik.
DEFINCI: Vletlen jelensgnek nevezzk azokat a jelensgeket, amelyeket a lerhat krlmnyek nem hatrozzk meg egyrtelmen.
Pl. egy dobkocka feldobsa.
DEFINCI: Ksrletnek nevezzk a vletlen jelensg megfigyelst.
DEFINCI: Elemi esemnynek nevezzk a ksrlet sorn bekvetkez lehetsges kimeneteleket.
Pl. a kocka dobsnl azt, hogy hnyas szmot dobunk.
DEFINCI: Az esemnytr az elemi esemnyek halmaza.
Pl. a kocka dobsnl {1; 2; 3; 4; 5; 6}.
DEFINCI: Az elemi esemnyek egy halmazt, azaz az esemnytr egy rszhalmazt esemnynek
nevezzk.
Pl. esemny a kockadobsnl pros szm dobsa.
Az esemnyeket nagybetvel jelljk. Pl. A = {2; 4; 6}
DEFINCI: Az esemnytrhez tartoz azon esemny, amely biztosan bekvetkezik, a biztos esemny, amely semmikppen sem kvetkezhet be, a lehetetlen esemny.
A biztos esemny jele: H, a lehetetlen esemny jele: .
Pl. a kockadobsnl biztos esemny: 7-nl kisebb szmot dobunk, lehetetlen esemny: 8-nl
nagyobbat dobunk.
129
Az esemnyekkel kapcsolatos mveletek tulajdonsgai, azonossgai a halmazmveletekre megismert ttelekhez hasonlan lerhatk, illetve bizonythatk.
130
DEFINCI: A binomilis eloszls olyan ksrletnl fordul el, amelynek csak kt kimenetele lehetsges: az A esemny p valsznsggel bekvetkezik, vagy 1 - p valsznsggel nem
kvetkezik be.
TTEL: Binomilis eloszlsnl ha a ksrletet n-szer ismteljk, akkor annak valsznsge, hogy
az A esemny k-szor kvetkezik be, ppen
n
P(x = k ) = p k (1 p)n k , ahol k n.
k
(Binomilis eloszlsra vezetnek a visszatevses mintavtel esetei, ahol n elem kzl p valsznsggel vlasztunk valamilyen tulajdonsggal rendelkezt oly mdon, hogy a kivett
elemet az jabb hzs eltt visszatesszk.)
BIZONYTS: Tegyk fel, hogy a visszatevses mintavteleknl N db elem kzl vlasztunk ki
n db-ot. Legyen M db elem A tulajdonsg, N - M db elem A tulajdonsg.
A visszatevses mintavtel azt jelenti, hogy minden egyes hzs utn visszatesszk a kihzott elemet, gy a hzsok egymstl fggetlenek lesznek. A krds az, hogy mennyi a valsznsge annak, hogy a kihzott n db elem kztt k db A tulajdonsg elem van.
n
A kombinatorikban tanultak szerint a kedvez esetek szma M k ( N M )n k , mert
k
n
k-szor kell M db golybl vlasztanunk, n - k-szor kell N - M db goly kzl, s ez k
flekppen fordulhat el aszerint, hogy hnyadik hzs az A tulajdonsg.
Az sszes esetek szma Nn, mert n-szer hzunk N elembl.
gy
n M k ( N M )n k
k
n M k ( N M )n k = n M
P=
=
k k
k
Nn
N n k
N
N
( ) ( N N M )
k
n k
A tulajdonsgt hzunk: P( A) = 1 p = 1
=
.
N
N
n
Ezt felhasznlva kapjuk: P(x = k ) = p k (1 p)n k .
k
DEFINCI: A visszatevs nlkli mintavtel eloszlst hipergeometrikus eloszlsnak nevezzk.
TTEL: Hipergeometrikus eloszlsnl legyen N db elemnk, amelybl M db elem rendelkezik egy
adott A tulajdonsggal, N - M db pedig nem. Kivlasztunk vletlenszeren visszatevs nlkl n db-ot. Annak a valsznsge, hogy a kihzott n db elem kzl k db rendelkezik az
A tulajdonsggal:
M N M
k nk
, ahol k n.
P(x = k ) =
N
n
BIZONYTS: A krds az, hogy mennyi a valsznsge annak, hogy a kihzott n db elem kztt
k db A tulajdonsg elem van.
131
M
N M
A kombinatorikban tanultak szerint a kedvez esetek szma
, mert M db-bl
k nk
M
kell k db-ot kivlasztani, amit -flekppen tehetnk meg, s a maradk N - M db-bl
k
N M
n - k db-ot kell kivlasztanunk, amit
-flekppen tehetnk meg.
nk
N
Az sszes esetek szma: , mert N db-bl kell n db-ot vlasztani.
n
M N M
k nk
.
Ezt felhasznlva kapjuk: P(x = k ) =
N
n
TTEL: Mindkt eloszlsnl az A tulajdonsg elemek szmnak vrhat rtke:
M (x ) = n p = n M
N
V. Alkalmazsok
meteorolgiai elrejelzs,
biztostsi matematika,
kvantumfizikban a rszecske helynek meghatrozsa: azt lehet megmondani a rszecske
sebessgtl fggen, hogy hol tartzkodik legnagyobb valsznsggel a rszecske.
szerencsejtkoknl nyersi esly megllaptsa: mekkora a valsznsge annak, hogy az
ts lottn, a hatoslottn, a totn telitallatos szelvnynk lesz?
mintavtelek a minsg-ellenrzs sorn: a gyrtsorokon elkszlt termkek kzl a selejtek szmnak kzelt meghatrozsa vrhat rtk segtsgvel.
132
Bevezets:
A matematika klnbz gai hasonlan plnek fel. Meghatrozunk alapfogalmakat, majd ezek
segtsgvel tovbbi fogalmakat definilunk. Kimondunk alaptteleket (aximkat), amelyek
igazsgtartalmt bizonyts nlkl, a szemllet alapjn elfogadjuk. Az aximkbl elindulva a matematikai logika eszkzeivel, helyes kvetkeztetseken keresztl tovbbi tteleket bizonytunk be.
A bizonyts ignye mr az korban jelen volt, Pitagorasz s Thalsz munkssga is ezt mutatja.
Kidolgozs
I. Bizonytsi mdszerek:
DEFINCI: Direkt bizonyts: a direkt bizonyts sorn igaz lltsokbl kiindulva jutunk el a bizonytand lltshoz. A legtbb matematikai ttel (geometriai, algebrai) bizonytsa direkt
ton trtnik.
TTEL: Pl.: Pitagorasz-ttel: derkszg hromszgben a befogk ngyzetnek sszege egyenl
az tfog ngyzetvel.
BIZONYTS: (13. ttel)
a2 + b2 + 4t = c2 + 4t.
+ 4ta2 + b2 = c2. + 4t
133
DEFINCI: Indirekt bizonyts: az indirekt bizonyts olyan eljrs, melynek sorn feltesszk,
hogy a bizonytand llts nem igaz, s ebbl kiindulva helyes kvetkeztetsekkel lehetetlen
kvetkezmnyekhez jutunk el. gy a kiindul feltevs volt tves, vagyis a bizonytand llts valjban igaz.
TTEL: Pl.: Pitagorasz-ttel megfordtsa: ha egy hromszg kt oldalhossznak ngyzetnek
sszege egyenl a harmadik oldal ngyzetvel, akkor a hromszg derkszg.
BIZONYTS: (13. ttel)
Tudjuk, hogy a2 + b2 = c2.
Tegyk fel, hogy a hromszg nem derkszg. Ekkor tudunk szerkeszteni olyan derkszg hromszget, aminek a befogi a s b, tfogja legyen c. Mivel ez derkszg hromszg, a Pitagorasz-ttel miatt: a2 + b2 = (c)2. Az eredeti felttellel sszevetve c2 = (c)2,
amibl pozitv mennyisgekrl lvn sz, kvetkezik, hogy c = c.
Ez ellentmond a kiindul felttelnek, gy a hromszg derkszg.
TTEL: Pl.:
2 irracionlis
2 racionlis:
p
2 = (ahol p, q Z, (p, q) = 1)
q
2=
/( )2
p2
2 q 2 = p2
q2
A ngyzetszmokban minden prmtnyez pros sokszor fordul el, ebbl kvetkezik, hogy
a bal oldalon pratlan sok db 2-es van, a jobb oldalon pros sok db 2-es van. A szmelmlet
alapttele miatt ez nem lehet, mert egy szm csak egyflekppen bonthat fel prmszmok
szorzatra. Mivel ez ellentmonds, rossz volt a feltevs, vagyis 2 irracionlis.
DEFINCI: Teljes indukci: a teljes indukci olyan lltsok bizonytsra alkalmas, melyek n
pozitv egsz szmtl fggenek. A teljes indukcis eljrs sorn elszr bebizonytjuk az lltst n = 1-re (vagy valamilyen konkrt rtkre), majd felttelezzk, hogy az llts igaz
n = k-ra (indukcis feltevs), s ennek felhasznlsval bebizonytjuk, hogy az llts igaz
n = (k + 1)-re. Ezzel az lltst minden n pozitv egsz szmra beltjuk.
A teljes indukcit gyakran hasonltjk egy olyan vgtelen sok dominbl ll sorhoz, amelyben azt
tudjuk, hogy ha brmelyik domin feldl, akkor feldnti a sorban utna kvetkezt is. Ez azt jelenti, hogy ha meglkjk az els domint, akkor az sszes fel fog borulni.
TTEL: Pl.: Az els n pozitv egsz szm sszege:
n ( n + 1)
.
2
BIZONYTS:
n=1
1 2 = 1 =
n=2
1 + 2 = 3
23 = 3 =
134
k (k + 1)
.
2
(k + 1) (k + 2)
.
Bizonytani kell: 1 + 2 + ... + k + (k + 1) =
2
1 + 2 + ... + k + (k + 1) =
( )
k (k + 1)
(k + 2) (k + 1) (k + 2)
.
+ (k + 1) = (k + 1) k + 1 = (k + 1)
=
2
2
2
2
n(n + 1)(2 n + 1)
.
6
BIZONYTS:
n=1
12 = 1
1 2 3 = 1 =
6
n=2
12 + 22 = 5
2 3 5 = 5 =
6
k (k + 1) (2 k + 1)
.
6
(k + 1) (k + 2) (2 k + 3)
Be kellene ltni, hogy 12 + 22 + 32 + ... + k 2 + (k + 1)2 =
.
6
k (k + 1) (2k + 1)
+ (k + 1)2 =
6
2
k (2 k + 1) + 6 ( k + 1)
(k + 1) (2 k 2 + 7k + 6)
= (k + 1)
= (k + 1) 2 k + k + 6 k + 6 =
=
6
6
6
(k + 1) (2 k + 3) (k + 2)
=
.
6
12 + 22 + 32 + ... + k 2 + (k + 1)2 =
DEFINCI: Skatulya-elv: a skatulyaelv rtelmben ha n skatulyba kell n-nl tbb dolgot sztosztani, akkor a skatulyk valamelyikbe szksgkppen legalbb 2 dolog kerl. Ha n skatulyba k n-nl tbb dolgot kell sztosztani, akkor a skatulyk valamelyikbe legalbb k + 1
dolog kerl (n, k Z+).
TTEL: Pl.: ha adott n + 1 darab pozitv egsz szm, akkor ezek kztt biztosan van kett olyan,
amelyek klnbsge oszthat n-nel.
BIZONYTS: Ksztsnk n db skatulyt, felcmkzve ket 0, 1, , (n - 1)-ig. A szmokat aszerint
helyezzk el az n db skatulyban, hogy mennyi maradkot adnak n-nel osztva. Ekkor biztosan van olyan skatulya, amelybe legalbb 2 szm kerl, hiszen n + 1 szmot kell n skatulyba sztosztani. Ennek a kt szmnak a klnbsge biztosan oszthat lesz n-nel.
135
Ilyenkor a B llts az A lltsnak szksges felttele (hiszen az A llts nem lehet igaz, ha a B
llts nem igaz). Ha ilyen esetben az A llts igazsgbl a B llts igazsgra kvetkeztetnk, az
helyes kvetkeztets.
Ha azt akarjuk kimutatni, hogy az A lltsbl nem kvetkezik a B llts, elg egyetlen pldt
mutatni olyan esetre, amikor A igaz s B hamis. Ha ilyen esetben A lltsbl a B lltsra kvetkeztetnk, az nem helyes, vagyis helytelen kvetkeztets.
Ha az A lltsbl kvetkezik B llts, s fordtva is: a B lltsbl kvetkezik az A llts, akkor
azt mondjuk, hogy az A lltsnak a B llts szksges s elgsges felttele. Jele: A B (A akkor
s csak akkor igaz, amikor B).
Ez azt jelenti, hogy A s B egyszerre igaz, vagyis ekvivalensek (egyenrtkek).
Egy ttel feltteleinek s felttelei kvetkezmnyeinek a felcserlsvel kapjuk a ttel megfordtst.
gy a fenti ttel megfordtsa: Ha B igaz, akkor A igaz. (B fi A)
Ha a ttel s a megfordtsa is igaz, akkor a kt ttel ekvivalens. (A B)
III. Alkalmazsok
Direkt bizonyts:
ab s ac fi ab c
9a szmjegyek sszege oszthat 9-cel
Indirekt bizonyts:
vgtelen sok prmszm van
Skatulya-elv:
25 fs trsasgban biztosan van 3 f, akik azonos csillagjegyben szlettek
5 pozitv egsz szm kztt van 2, melyek klnbsge oszthat 4-gyel
Teljes indukci:
1
1 + 1 + +
= n
1 2 2 3
n (n + 1) n + 1
136