European Virtual Laboratory of Mathematics

Project No.
2006 - SK/06/B/F/PP - 177436

Eurpai Virtulis Matematikai Laboratrium


Krtesi Pter

Gazdasgi matematika
online tanknyv




EVML e-knyvek
Miskolc 2008

ISBN 978-963-661-853-7
Fggvny fogalmnak ttekintse
A fggvny fogalma mr a kzpiskolai oktatsban is jelen van, de a fogalom
pontos ismerete helyett az egyetemi, foiskolai tanulmnyaik megkezdsekor a hall-
gatk a fggvnyt a vals fggvny fogalmval azonostjk, sot sokan annak is csak a
grakus kpvel, azon bell az elso s msodfok fggvnyekrol s esetleg az alapveto
trigonometriai fggvnyekrol tudnak. A fggvny fogalmnak az ttekintse s az
alapveto fogalmak tisztzsa az egyetemeken azrt is fontos, mert azt a hallgatk
nagyon sokfle formban s sokszor eltro megkzeltsben ltjk viszont ksobbi tanul-
mnyaik sorn.
Alapveto fogalmak
Halmazok, elemek, halmazok megadsa
Idzzk fel a halmaz, az elem s a hozztartozs fogalmakat, amelyek alap-
fogalmak, nem meghatrozssal, hanem pldkon keresztl, induktv ton is-
merhetok meg. Az alapfogalmak a tanuls sorn intuitv fogalom-kpzetek
formjban jelennek meg, s nagyon fontos a megfelelo szm plda, amelyek
lehetoleg minl szlesebb krben szemlltetik a fogalom terjedelmt.
A halmazok s elemeik kzti sszefggst a hozztartozs relci fejezi ki,
egy adott c elemre s egy adott H halmazra pontosan az egyik igaz a kvetkezo
kt llts kzl:
(a) c H, ekkor azt mondjuk, hogy az c elem hozztartozik a H halmazhoz,
rvidebben c eleme H-nak
(b) c , H, ekkor azt mondjuk, hogy az c elem nem tartozik a H halmazhoz,
rviden c nem eleme H-nak
A halmazok megadhatk:
- tulajdonsgaik lersval, pl.: Legyen D a tzes szmrendszer szmjegyeinek
halmaza. Ugyanezt szoks mg 1 = r[r a tzes szmrendszer szmjegye alak-
ban rni.
- elemeik felsorolsval ltalban a kevs elemet tartalmaz vges halmazok
adhatk meg, pl. 1 = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, de ez utbbi lehetosget nhny
egyszeru vgtelen halmaz megadsra is szoks alkalmazni, pldul.
N = 1, 2, 3, 4, 5, ... , Z = ..., 4, 3, 2, 1, 0, 1, 2, 3, 4, ...
Nhny halmaznak kln neve is van, az elobbi N a termszetes szmok halmaza,
Z az egsz szmok halmaza. Kln gyelmet rdemel az res halmaz, jele ?
vagy , a szmtstudomnyban a [ ] is ezt jelli.
A tovbbi fogalmak s a legfontosabb halmazmuveletek mr deduktv ton
is megadhatk, az addig kialaktott intuitv fogalmakra tmaszkodva.
Rszhalmaz
Meghatrozs. Azt mondjuk, hogy az halmaz rszhalmaza 1 halmaznak,
ha minden eleme egyben 1-nek is eleme. Jellse 1.
rdekes megjegyezni, hogy az res halmaz minden halmaznak rszhalmaza,
s egy halmaz nmagnak is rszhalmaza, vagyis brmely halmazra igaz, hogy
1
? , valamint . Ezek a nem valdi rszhalmazok, a tbbi (ha van ilyen)
valdi rszhalmaz.
Halmazok metszete, egyestse s klnbsge
Az egyszerusg kedvrt ezeket a muveleteket adott A s B halmazok esetn
adjuk meg a kvetkezok szerint:
- az s 1 halmazok metszett 1 jelli, 1 = r[r s r 1 ,
- az s 1 halmazok egyestst '1 jelli, '1 = r[r vagy r 1 ,
- az s 1 halmazok klnbsgt 1 jelli, 1 = r[r s r , 1 .
Plda. Adottak az s1 halmazok
= 2, 3, 5, 1 = 1, 3, 7.
Ekkor 1 = 3 , ' 1 = 2, 3, 5, 7 , s 1 = 2, 5 , .1 = 1, 7
Megjegyzsek.
1. Ezeknek a fogalmaknak a rgztst, elmlytst szolglhatjk a hal-
mazmuveletek tulajdonsgainak tanulmnyozsa:
1 = 1 , ' 1 = 1 ' , de 1 ,= 1 ;
= , ' = , de = ?;
? = ?, ' ? = , ? = , ? = ?;
(1 C) = ( 1) C, ' (1 ' C) = (' 1) ' C;
(1 ' C) = ( 1) ' ( C) , ' (1 C) = (' 1) (' C) .
2. Ez a tanulmnyozs j fogalmak bevezetst is megknnyti:
- Ha 1 = ?, akkor s 1 idegen (diszjunkt) halmazok.
3. A tulajdonsgok viszonythatk az elozoekben megadott rszhalmaz fo-
galomhoz:
- Ha 1, akkor 1 = s ' 1 = 1, de ez a hrom llts
tulajdonkppen egyenrtku egymssal, azaz brmelyikbol kvetkezik a msik
ketto.
Descartes szorzat
Fogalmak. Bizonyos esetekben hasznljuk a rendezett elempr fogalmt,
az a s / elemek rendezett elemprjnak a jele (a, /). Jegyezzk meg, hogy
(a, /) ,= (/, a) kivve ha a = /. Hasonlan vezetheto be a rendezett elem-hrmas,
s a rendezett elem n-es fogalma, az a, /, c elemek rendezett elem-hrmast
(a, /, c), az a
I
(i = 1, 2, ..., :) elemek rendezett elem n-est (a
1
, a
2
, ..., a
n
) jelli.
2
Meghatrozs. Az A s B halmazok Descartes szorzata az 1, ahol
1 = (a, /) [ a , / 1 .
Hasonlan hrom, vagy tbb halmaz Descartes szorzata
1 C = (a, /, c)[a , / 1, c C ,
illetve

1

2
...
n
= (a
1
, a
2
, ..., a
n
)[a
I

I
, i = 1, 2, ..., : .
Megjegyzs. Ha az adott halmazok nem klnbznek, akkor hasznlatosak a
kvetkezo jellsek:
=
2
, =
3
, valamint ...
. .
n
=
n
.
Plda. Adottak az , 1 s C halmazok
= 2, 3, 5, 1 = 1, 7, C = 0, 4,
ekkor
1 = (2, 1), (2, 7), (3, 1), (3, 7), (5, 1), (5, 7) ,
1 = (1, 2), (7, 2), (1, 3), (7, 3), (1, 5), (7, 5) ,
1
2
= (1, 1), (1, 7), (7, 1), (7, 7) ,
1 C =
(2, 1, 0), (2, 7, 0), (3, 1, 0), (3, 7, 0), (5, 1, 0), (5, 7, 0),
(2, 1, 4), (2, 7, 4), (3, 1, 4), (3, 7, 4), (5, 1, 4), (5, 7, 4)
Nyilvn 1 ,= 1
A sk pontjai pldul az RR = R
2
Descartes-szorzat elemei
R R = (r, j) [ r R, j R
s a kzpiskolban tanult elemi fggvnyek grakus kpe mind az R
2
sk
rszhalmazai.
Az elobbi pldban ltott 1 s 1 Descartes szorzatok is brzolhatk
a skban.
Ha a szban forg halmazok mind egy gynevezett teljes halmaz rszei (Pl.:
a vals szmok R halmaznak rszei, vagy az R
2
sk rszei), akkor rtelmezett
a kiegszt (komplementer) halmaz.
C
T
= T =
Pl.: T = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 , = 1, 3, 5, 7, 9 ,
3
C
T
= = 0, 2, 4, 6, 8
Ezekre teljeslnek a de Morgan szablyok:
' 1 = 1, s 1 = ' 1
SZMHALMAZOK:
A leggyakrabban elfordul szmhalmazok:
N = 0, 1, 2, 3, ... termszetes szmok
Z = ..., 3, 2, 1, 0, 1, 2, 3, ... egsz szmok
Q =
n
n
[ : Z, : Z, : ,= 0 trtek (racionlis szmok)
R = r [ r a/r a.o|/at o :. a:tc:qc|jc: vals szmok
(szmegyenes egy irnytott egyenes kezdoponttal s egysggel, s rszhal-
mazai pl. a pros szmok halmaza, vagy az irracionlis szmok halmaza).
Nyilvn, mint azt a 2 , N,
2
3
, Z,
_
2 , Q sszefggsek is mutatjk, ezek
a szmhalmazok egyre bvebbek, azaz:
N _ Z _ Q _ R
Hasznljuk mg a kvetkezo jellseket is:
N
+
= N 0 , Z
+
= Z 0 , Q
+
= Q 0 , R
+
= R 0
A vals szmok rendezse:
A vals szmok R halmaza teljesen rendezett a _ relci ltal, ami a szm-
egyenes irnytsval adhat meg. Az x_y azt jelenti, hogy y nem elzi meg
x-et a szmtengely nvekv irnyban.
A rendezs tulajdonsgai:
r _ r (reexv)
ha x_y s y_z, akkor x_z (tranzitv)
ha x_y s y_x, akkor x=y (antiszimmetrikus)
brmely x s y vals szmra vagy x_y vagy y_x (a relci teljes)
A rendezs nem teljes az x<y esetn (csak elrendezs a relci)
x<y azt jelenti, hogy x megelzi y-t. Ez a relci csupn tranzitv.
A rendezssel a vals szmok fontos rszhalmazai adhatk meg, az interval-
lumok:
[a, /] = r R [ a _ r _ /
(a, /) = r R [ a < r < /
[a, /) = r R [ a _ r < /, hasonlan
(a, /] = r R [ a < r _ /
[a, ) = r R [ a _ r
(a, ) = r R [ a < r, hasonlan
(, a] = r R [ r _ a c: (, a) = r R [ r < a.
Pl.: (0, ) = R
+
a pozitv vals szmok halmaza 1
+
= r [ r 0
vagy R

= (, 0), de szoks hasznlni a Q

+
, ill. Q

jellseket s a pozitv
ill. negatv trtek (racionlis szmok) esetn.
4
Az intervallumokkal vgezhetnk muveleteket, pl.:
[2, 5) (4, 4) = [2, 4)
(2, 2) ' [1, 3] = (2, 3]
dc (2, 2) (2, 4) = ?
(, 0) ' [0, ) = R
Fontosak mg az egy pontot tartalmaz, a pontra szimmetrikus interval-
lumok is. Ezek megadhatk az abszolutrtk felhasznlsval is. Emlkeztetl
lljon itt az
[r[ =
_
r, /a x _ 0
r, ha x<0
meghatrozsa.
Ezek szerint az [r a[ < - pldul azt jelenti, hogy r (a -, a +-) ill.
[r a[ _ - esetn r [a -, a +-].
Ezeket az a pont szimmetrikus nylt, illetve zrt --krnyezetnek is nevezik
s gyakran hasznljuk a hatrrtkek, folytonossg vizsglatnl.
A vals szmok rszhalmazai (N, Z, Q, intervallumok) szintn teljesen ren-
dezettek a _ relcira nzve.
A vals szmokban az rtelmezett mveletek, az sszeads s szorzs hasonl
tulajdonsgain keresztl felfedezhetjk az alapvet algebrai struktrkat.
Tekintsk ezeket prhuzamosan:
+(sszeads) (szorzs)
1

r, j R, r+j R r, j R, rj R (jl rtelmezett)

2

r +j = j +r r j = j r (kommutatv)
3

r+(j+.) = (r+j)+. r(j.) = (rj). (asszociatv)

4

r +0 = 0 +r = r r 1 = 1 r = r (van semleges
elem)
5

r + (r) = (r) +r = 0 r
1
r
=
1
r
r = 1 (ha x,=0)
(minden elemnek van szimmetrikusa)
Vegyk szre, hogy a 4

pontban megadott tulajdonsgot a mvelettl fg-

gen ms-ms szval fejezzk ki. Az sszeads semleges eleme a 0, a szorzs
semleges eleme az 1. Hasonlan az 5

pontban adott tulajdonsg az sszead-

snl a szm ellentettjt jelenti, a szorzs esetn a szm fordtottjt (inverz,
reciprok).
Ez a nagyfok hasonlsg az oka annak, hogy beszlnk a mveletekre
vonatkoz algebrai struktrkrl. Azt mondjuk, hogy a vals szmok R hal-
maza az sszeadsra (R,+) s a szorzsra (R
+
, ) nzve, kln-kln kommutatv
(bel) csoport. (R
+
= R 0)
A ktmveletes algebrai struktrk esetn gyakran kapcsoldik a kt struk-
tra. A vals szmok esetn: r(j+.) = rj+r., a disztributv tulajdonsg
biztostja azt, hogy (R,+,) egy kommutatv test.
Hasonl csoport vagy test struktrkkal msutt is tallkozunk, de ezek nem
mertik ki a fontos struktrk sszessgt.
5
Figyeljk meg, hogy pl. (Q,+,) is kommutatv test, de pl. (Z,+,) nem,
mivel (Z
+
, ) nem kommutatv csoport, ugyanis nem minden . Z egsznek
van fordtottja a Z-ben.(2 fordtottja
1
2
, Z).
gy (Z, ) csak kommutatv, egysgelemes flcsoport, s gy (Z, +, ) kom-
mutatv, egysgelemes gyr.
Ezek a leggyakrabban elfordul struktrk.
A vals szmok kt alapmveletnek hasonlsgt fokozza az ismtelt mveletekre
hasznlt jells, br ez elgg eltr:
a +a +a +.... +a = : a (egytthat)
a a a ... a = a
n
(hatvnykitev)
s vgig gondolhatjuk ezek hasonl tulajdonsgait, pl.:
: a +: a = (: +:) a
a
n
a
n
= a
n+n
: a : a = (: :) a
o
n
o
m
= a
nn
ezeknek az ellenrzst az olvas is elvgezheti. Ennek a hasonlsgnak az
oka az az izomora, ami az (R, +) s (R
+
, ) kztt felfedezhet.
Izomora ll fenn kt algebrai struktra kztt, ha olyan nagyfok a hason-
lsg, hogy az egyik struktra brmilyen mveletsora modellezhet a msikkal.
Ennek egy nagyon szp rgi pldja a logarlc: - itt az sszeads mveleteivel
a szorzst modellezzk. A logarlc sok vtizeden keresztl a mrnkk egyik
legfontosabb eszkze volt a gyors szmtsok elvgzsre, ma mr a zsebsz-
molgpek helyettestik s a logarlc csak mint tudomnytrtneti eszkz maradt
fenn. A logarlc, a logaritmus skla a 10-es alap (log
10
x=lgx) hatvnykitevt
mutatja s pl 24=8 szorzs helyett a 2-nek s 4-nek megfelel hatvnykitevk
sszegnl a 8 hatvnykitevjre mutat, azaz a leolvasshoz 2 s 4-es sszege
helyett 2 s 4 szorzata, 8 ll. gy btran tekinthetjk a logarlcet az analg
szmtgpek snek. Termszetesen a logarlc hasznlata nem csak a szorzs
s oszts, hanem a hatvnyozs, gykvons s sok ms szmts elvgzst is
lehetv teszi, ezekre meglehetsen gyors s a logarlc mrettl fggen elg
pontos kzelt szmtsokat tesz lehetv (minl nagyobb mret, annl pon-
tosabb a leolvass).
Hatvnyozs, gykvons, logaritmus
A kzpiskols anyagban fontos helyet foglalnak el a hatvnyozs s gykvons
tulajdonsgai, s ezeket az elbb emltett izomora rvn knnyen belthatjuk.
A tovbbiakban a 0 vals szmot jell. :, :, / termszetes szmok
a
n
a
n
= a
nn
, a
0=1
, :~ ot
1
a
n
= a
n
A gykvons sem tbb, mint a trt kitev hasznlata:
n
_
a = a
1
n
n
_
a
|
= a
k
n
-re is rvnyes.
6
Vegyk szre, hogy a kitevk szintjn eggyel alacsonyabb rend mvelet
tkrzi a hatvnymennyisgek kzti mveletet.
a
n
a
n
= a
n+n
, kitevoben: sszeads (szorzat kitevje a kitevk sszege)
o
m
o
n
= a
nn
, kitevoben: kivons (hnyados kitevoje a kitevok klnbsge)
(a
n
)
n
= a
nn
, kitevoben: szorzs (hatvny hatvnya a kitevok szorzata)
n
_
a
n
= a
m
n
, kitevoben: oszts (gykmennyisg hatvnya a kitevok hnyadosa)
A trtkitevok hasznlata megknnyti az irracionlis kifejezsek szmolst:
Pl.:
6
_
3
_
a
2

_
a
3

3
_
6
_
a
_
a =
_
a
2
3
a
3
2
_1
6

_
_
a a
1
2
_1
6
_
1
3
=
= a
1
9
a
1
4
a
1
18
a
1
36
= a
4+9+2+1
36
= a
16
36
= a
4
9
=
9
_
a
4
Ezt a logaritmus tulajdonsgai is kifejezik. Idzzk fel a logaritmus meghatrozst:
Ha a
r
= akkor log
o
= r, a 0, a ,= 1. Kln jele van a = 10 s a = c
esetn log
10
= lg , log
t
= lnc, az c szmrl ksobb.
Azt is mondhatnnk, hogy a |oq
o
megmutatja azt az x hatvnykitevt,
amelyre a
r
= .
Az elobb megfogalmazott ngy tulajdonsg, a logaritmus jellssel:
log
o
1 = log
o
+ log
o
1 (szorzat kitevje a kitevk sszege)
log
o
.
1
= log
o
log
o
1 (hnyados kitevje a kitevk klnbsge)
log
o

n
= : log
o
(hatvny hatvnya a kitev szorzata)
log
o
n
_
=
log
a
.
n
(gykmennyisg hatvnya a kitevk hnyadosa)
A logaritmus alapvet tulajdonsgai mg: r = log
o
a
r
s r = a
log
a
r
s
log
o
= log
b
log
o
/
Hasznlhatjuk ezeket a tulajdonsgokat pldul a logaritmus egyenletek megoldsa
sorn:
log
2
r
2
+ log
2
4 = 6 vagy log
2
r
2
= log
2
2
6
log
2
2
2
log
2
r
2
+ 2 = 6 log
2
r
2
= log
2
2
4
log
2
r
2
= 4 r
2
= 2
4
r
2
= 2
4
r
2
= 16
r
2
= 16
r = 4 r = 4
de hasznosak lesznek a derivls (logaritmikus derivls) vagy hatrrtk
szmtsnl is, ahol
) (r)
(r)
helyett c
ln }(r)
g(x)
c
log
e
}(r)
g(x)
-et vesznk.
7
Ms felhasznlsak pl az albbi irracionlis kifejezs kezelse:
lg
_
6
_
3
_
a
2
_
a
3

3
_
6
_
a
_
a
_
= lg
6
_
3
_
a
2
_
a
3
+ lg
3
_
6
_
a
_
a =
=
1
6

_
lg
3
_
a
2
+ lg
_
a
3
_
+
1
3

1
6
(lg a + lg
_
a) =
=
1
6

_
2
3
lg a +
3
2
lg a
_
+
1
18
lg a +
1
36
lg a =
_
1
9
+
1
4
+
1
18
+
1
36
_
lg a =
4
9
lg a = lg a
4
9
= lg
9
_
a
4
Feladatok
1. Adott = 1, 2, 3, 4, 5, 1 = 2, 4, 6, 8, C = 1, 3, 5, 7, 9. Szmtsa ki:
a.) ' 1, ' C, 1, C, 1 ' C, 1 C
b.) (' 1) C, ( C) ' (1 C), ( 1) ' C, (' C) (1 ' C).
Ezek kztt melyek egyenlek s mirt?
c.) 1, 1 , C, C , 1 C, C 1
d.) 1, 1 , C C, ezeket brzolja a sk ponthalmazaiknt.
2. rtelmezzk egy T teljes halmaz , 1, C, ...halmazok karakterisztikus
fggvnyt a kvetkez mdon:
)
.
: T 0, 1 )
.
(r) =
_
0, r ,
1, r
Ennek a legfontosabb tulajdonsga az, hogy pontosan lerja az A halmaz
elemeit.
Ha = 1, akkor )
.
(r) = )
1
(r) minden x-re, teht alkalmas halmazok
egyenlsgnek vizsglatra.
Igazolja, hogy a karaketrisztikus fggvnyek rendelkeznek a kvetkezo tula-
jdonsgokkal, amelyek jellemzik a halmazokkal vgzett muveleteket:
a. )
.
(r) )
.
(r) = )
.
(r)
b. )
.
(r) = 1 )
.
(r)
c. )
.|1
(r) = )
.
(r) )
1
(r)
d. )
.|1
(r) = )
.
(r) +)
1
(r) )
.
(r) )
1
(r)
e. )
.\1
(r) = )
.
(r) )
.
(r) )
1
(r)
Alkalmazsknt bebizonytjuk a De Morgan azonossgokat:
' 1 = 1, s 1 = ' 1
)
.|1
(r) = 1 )
.|1
(r) = 1 [)
.
(r) +)
1
(r) )
.
(r) )
1
(r)] =
= 1)
.
(r))
1
(r)+)
.
(r))
1
(r) = (1 )
.
(r)) (1 )
1
(r)) = )
.|1
(r) ,
teht: )
.|1
(r) = )
.|1
(r)
)
.|1
(r) = 1 )
.|1
(r) = 1 )
.
(r) )
1
(r) ugyanakkor
)
.|1
(r) = )
.
(r) +)
1
(r) )
.
(r) )
1
(r) =
8
= 1 )
.
(r) + 1 )
1
(r) (1 )
.
(r)) (1 )
1
(r)) = 1 )
.
(r) )
1
(r) ,
vagyis: )
.|1
(r) = )
.|1
(r) .
Mindkt esetben azt kaptuk, hogy az adott halmazok karakterisztikus fg-
gvnyei egyenlok, teht maguk a halmazok is egyenlok.
3. Igazolja (pl.: a 2. feladatot felhasznlva)
(' 1) C = ( C) ' (1 C)
(1 ' C) = ( 1) ' ( C
( 1) ' C = (' C) (1 ' C)
' (1 C) = (' 1) (' C)

_
1 C
_
= ( 1) ' ( C) =
_
' 1
_
'
_
' C
_
1 C = ' 1 ' C
4. Adja meg a kvetkez intervallumokat:
[2, 3] [1, 4] =
[2, 3] ' [1, 4] =
(2, 3) (1, 4) =
(2, 0) ' (0, 1) =
(1, 0) [0, 2) =
(, 1] (1, 8) =
r R[ [r 2[ _ 1 =
r R[ [r + 4[ < 4 =
r R[ [r + 1[ 3 =
r R[ [r 3[ _ 1 =
r R[ [r 1[ _
1
100
=
5. rja fel az abszolut rtk felhasznlsval a kvetkez intervallumokat!
(2, 2) = r [ r R, ...
[1, 1] =
[5, 7] =
[4, 0) =
(0.99, 1.01) =
Relcik
Meghatrozs. Legyen s 1 kt halmaz. Jellje aj/ azt, hogy az a
s / 1 elemek j relciban vannak. Az s 1 halmaz elemei kztt egy j
relci akkor ismert, ha pontosan tudjuk, hogy melyek azok az elemek, amelyek j
relciban vannak, vagyis ha pontosan tudjuk, hogy melyek azok az sszetartoz
(a, /) elemprok, amelyekre aj/.
Ezeknek az elemproknak az o

halmaza, az 1 egy rszhalmaza lesz a

relci tarthalmaza, az
o

= (a, /)[a , / 1, aj/ 1.

Az s 1 halmazok elemei kzti, o

tarthalmaz ltal lert, j relcit r-

viden (, 1, o

), vagy (, 1, j) jelli.
9
Fggvnyek
Meghatrozs. Kt halmaz, az rtelmezsi tartomny (az elso halmaz)
s az rtktartomny (a msodik halmaz), valamint az elemeik kzti relci,
a megfeleltets, pontosan akkor fggvny, ha az albbi kt felttel egyidejuleg
teljesl:
(i) Az rtelmezsi tartomny minden elemnek megfelel az rtktartomny-
nak legalbb egy eleme.
(ii) Az rtelmezsi tartomny minden elemnek legfeljebb egy elem felel meg
az rtktartomnybl.
Megjegyzs. Az elobbi kt pont, (i) s (ii) helyett azt is mondhatnnk
rviden, hogy az rtelmezsi tartomny minden elemnek pontosan egy elem
felel meg az rtktartomnyban, de mint ltni fogjuk rdemes megklnbztetni
a megfeleltets kt tulajdonsgt, mintegy alulrl s fellrol is behatrolni
azt, mert ez kt felttel a szrjektv s injektv fggvnyek meghatrozsnak
alapja. Ez a kt felttel nem azt a tartalmat fedi le, ami a deduktv fogalomal-
kots esetn genus proximum s dierentia specica nven ismert.
A fggvnyek fogalma, pontosabban a megfeleltets krlrsa sokflekppen
kzeltheto meg, de ezek kzl a legelterjedtebb, s taln a leghasznosabb a
relcikon, s a Descartes szorzaton alapszik.
Klnbzo jellsek, elnevezsek
Az albbiakban felsoroljuk a fggvnyek esetn leggyakrabban hasznlt jell-
seket, elnevezseket.
ltalban az rtelmezsi tartomny elemeinek az ) megfeleltetssel a 1
rtktartomny elemeit hozzrendelo fggvnyt ) : 1 , vagy
}
1 jelli.
Ha az r fggetlen vltoznak a megfeleloje az j 1 , akkor ezt r
}
j, vagy
r j, jelli s azt mondjuk, hogy r-nek a kpe j, vagy j az r kpe (kpeleme).
Egyes szerzok az j = )(r) jellssel fejezik ki ugyanezt a tnyt, s azt mondjk,
hogy j a fggvnynek az r vltozban felvett rtke, rviden a fggvny rtke
r-ben.
Plda. Az
) : R R, )(r) = r
2
,
vagy az
R
}
R, r
}
r
2
ugyanazt a fggvnyt jelli, de szoks, az rtelmezsi tartomny s az rtk-
tartomny megadsa utn, egyszeruen csak az )(r) = r
2
, vagy az r r
2
fggvnyrol beszlni, br ez utbbi maga a megfeleltets.
Gyakori fogalomzavar a fggvny grfja s a fggvny grakus kpe, a fgg-
vnybra krl, ezt a kt fogalmat a hallgatk gyakran felcserlik, nem hasznl-
jk megfelelokppen. Az itt hasznlt fggvny grfja kifejezs a fggvnyrelci
tarthalmaznak szoksos elnevezse, s nem tvesztendo ssze a grfokkal, mint
cscsokbl s irnytott, vagy irnytatlan lekbol ll alakzatokkal, amelyeknek
10
a meghatrozsa a fggvnyek segtsgvel a szoksosnl pontosabban is megad-
hat, lsd ksobbiekben a Fggvnyek nhny tovbbi alkalmazsa c. fejezetet.
Meghatrozs. A fggvny grfja az rtelmezsi s rtktartomny Des-
cartes szorzatnak az a rsze, G
}
1, amely az sszes, a fggvny megfelel-
tets szerint egymshoz rendelt r fggetlen vltozt s j kpelemet rendezett
(r, j) elemprknt tartalmazza. Az j = )(r) jellssel lve:
G
}
= (r, )(r)) [ r .
Azoknak a fggvnyeknek az esetben, amelyeknek rtelmezsi s rtktar-
tomnya is a vals szmok rszhalmaza, ez a fggvnygrf sok esetben szem-
lltetheto egy fggvnybrval (ez a fggvny grakus kpe), rendszerint egy
grbvel, amely vzlatosan ugyan, de lehetosget adhat arra, hogy a fggvnyre
jellemzo fggetlen vltoz- kpelem megfeleltetst vizulisan is el tudjuk kpzelni.
Ennek a fggvnybrnak tbbfle elnevezse hasznlatos (fggvny grakus
kpe, fggvny kpe, rajza, grbje stb.), s az analzis oktatsa sorn gyakran
felmerl a fggvny tanulmnyozsa (fggvny menete, fggvny-diszkusszi),
s a fggvnybra vzlatos elksztsnek gnye.
Pldk
1. Plda. Az elobbiekben megadott ) : R R, )(r) = r
2
, rviden r r
2
grfja:
G
}
=
_
(r, r
2
) [ r R
_
R R = R
2
s ennek a fggvnynek az brja a csak egy vges rszt hivatott szemlltetni:
r r
2
2. Plda. Ez a szemlltets, foleg ha szmtgpi programot hasznlunk,
nem biztos, hogy a fggvnynek a termszett a legjellegzetesebb pontokban
brzolja. Pldul az r (r 10)
2
fggvnybrt a program a kvetkezonek
ltja:
11
r (r 10)
2
ami nyilvn nem hibs, csak semmitmond, hiszen ez a msodik fggvny az
elozonek a jobbratolsa, s gy nyilvn az program a fggvnynek egy monoton
szakaszt brzolja, ami nem jellemzo a parabola - amgy ismertnek mondhat
- alakjra. A hallgat szmra viszont, aki esetleg nem ismeri ezt, azzal a veszl-
lyel jrhat egy ilyen beptett funkci hasznlata, hogy tves kvetkeztetsre
juthat.
Radsknt ez a fggvnybra mg a vals vltozj vals fg-
gvnyek esetben sem mindig ksztheto el.
3. Plda. A
o : R R, o(r) =
_
1 ha az r Q
0 ha az r , Q
n. Dirichlet fggvny kpnek csak bizonyos pontjait tudjuk megrajzolni,
hiszen a fggvnyrtkek surun lefedik az j = 0 s j = 1 egyeneseket.
4. Plda. Az
) : R R, )(r) =
_
sin
1
r
ha az r ,= 0
0 ha az r = 0
kpe csak az orig krnyezetben nem rajzolhat meg, mg a gp igyekezete
ellenre sem, a szmtgp diszkrt aritmetikja miatt:
sin
1
r
5. Plda. Az elobbi kt pldban a fggvnybra elksztsnek lehetetlen-
sge abbl is addik, hogy ezek a fggvnyek nem folytonosak (az egyik sehol
12
sem az, a msik csak az origban), de ha az elozo pldnak a mintjra az
origban is folytonos
) : R R, )(r) =
_
rsin
1
r
ha az r ,= 0
0 ha az r = 0
fggvnyt tekintjk, akkor a szmtgp ltal megrajzolt brkon az orig
krnykn az egyre pontosabb fggvnybrn azt ltjuk, hogy minl aprbb
rszleteket nagytunk ki, a fggvnybra annl kaotikusabban viselkedik.
rsin
1
r
A Plotting curves c. MT- projekt alkalmazsa sorn a hallgatk kife-
jezetten ezeket a krdseket tanulmnyozhatjk a MacInstosh szmtgpeken
alkalmazhat Mathematical MacTutor szoftver segtsgvel, lsd a CD-mellklet-
ben a MacTutor projects knyvtrat.
A fggvny fogalmnak pontostsa
Meghatrozs. Az (, 1, G
}
) relcit, az halmazbeli vltozj 1 hal-
mazbeli rtkekkel rendelkezo ) fggvnynek nevezzk, ha egyidoben teljesl a
kvetkezo kt felttel:
(i) Brmely r fggetlen vltoz esetn ltezik legalbb egy j 1, a-
melyre (r, j) G
}
.
(ii) Brmely r fggetlen vltoz esetn legfeljebb egy olyan j 1 ltezik,
amelyre (r, j) G
}
.
Megjegyzs. Az (, 1, G
}
) jells helyett szoks mg a kvetkezo jellsek
egyikt hasznlni:
13
(, 1, )), ) : 1, vagy
}
1.
Plda. Vegyk az = 1, 2, 3 , 1 = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 halmazokat,
valamint az 1 Descartes szorzatuknak egy rszhalmazt, a
G
}
= (1, 1), (2, 4), (3, 9) _ 1
Az (, 1, G
}
) hrmas egy fggvny, aminek az rtelmezsi tartomnya , rtk-
tartomnya 1. Ugyanez a fggvny mg megadhat az (, 1, )), ) : 1 ,
vagy
}
1 alakok egyikvel, ahol )(r) = r
2
, r
}
r
2
, vagy csak egyszeruen
r r
2
.
Megjegyzs. A fggvnyek megadsra hasznlt klnbzo alakok ms s
ms szemlletet hivatottak hangslyozni, ezrt alkalmazsuk a flrerthetosg
s a hibk elkerlse vgett fokozott krltekintst ignyel, lsd Ksa Andrs:
Vrusok a matematikban c. knyvt.
A fggvnyfogalom mlyebb megrtshez clszeru a fggvnyek egyenlosgt,
kiterjesztst, s leszuktst tanulmnyozni.
Fggvnyek egyenlosge, kiterjesztse, s leszuktse
Meghatrozs. Kt fggvny, az (
1
, 1
1
, G
}1
) s (
2
, 1
2
, G
}2
), pontosan
akkor egyenlok, ha
1
=
2
, 1
1
= 1
2
, s G
}1
= G
}2
. Jellse mskpp:
(
1
, 1
1
, )
1
) = (
2
, 1
2
, )
2
).
Plda. Vegyk ismt az = 1, 2, 3 s 1 = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 hal-
mazokat, s a fggvny grfja legyen
14
G
}
= (1, 1), (2, 4), (3, 9) _ 1
Vegyk tovbb a C = 1, 2, 3 s 1 = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9) halmazokat.
s a q : C 1 fggvnyt, ahol q(r) = r
2
. Az (, 1, G
}
) fggvny egyenlo lesz
a (C, 1, q) fggvnnyel a klnbzokppen alkalmazott jellsek ellenre, hiszen
rtelmezsi tartomnyaik, rtktartomnyaik rendre megegyeznek, s a megfelel-
tets sorn az rtelmezsi tartomny minden r elemnek pontosan ugyanazt az
j kpelemet rendelik hozz.
Ugyanakkor az (, 1, /), ahol /(r) = r
2
, 1 = 1, 4, 9 , esetn (, 1, G
}
) ,=
(, 1, /) annak dacra, hogy )(r) = /(r) minden r esetn, mivel az rtk-
tartomnyuk klnbzo, sot, mint azt ksobb ltni fogjuk (, 1, /) bijektv,
mikzben (, 1, G
}
) nem az.
Ugyanakkor az (, 1, G
}
) az (, 1, /)-nek egy kiterjesztse, s (, 1, /)
az (, 1, G
}
) egy leszuktse. A fggvnykiterjeszts, s a fggvnyleszukts
rintheti a fggvny rtelmezsben szerepelo brmely elemet, nem csak az
rtktartomnyt.
Meghatrozs. Ha az (, 1, G
}
) s (C, 1, G

) fggvnyek esetn C ,
vagy 1 1 vagy G
}
G

, akkor (, 1, G
}
) egy leszuktse a (C, 1, G

)nek,
illetve (C, 1, G

) egy kiterjesztse az (, 1, G
}
)-nek.
Fggvny inverze, szrjektv, injektv s bijektv fggvnyek
Meghatrozs. Legyen (, 1, G
}
) egy fggvny, s tekintsk a
G
}
= (j, r) [ (r, j) G
}

halmazt. Ha (1, , G
}
) szintn fggvny, akkor ez az (, 1, G
}
) fggvny
inverze.
Megjegyzs. ltalban (1, , G
}
) nem fggvny, (csak az inverz relci).
Plda. Vegyk az = 1, 1, 2, 3 , s 1 = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 halma-
zokat s a
G
}
= (1, 1), (1, 1), (2, 4), (3, 9) _ 1
Nyilvnvalan (, 1, G
}
) fggvny, de (1, , G
}
), ahol
G
}
= (1, 1), (1, 1), (4, 2), (9, 3) _ 1
mr nem fggvny, hiszen a fggvny meghatrozsban szereplo felttelek
egyikt sem teljesti, 3 1 elemnek egyltaln nincs visszafele kpe, nincs
olyan a amire (3, a) G
}
, ugyanakkor pldul az 1 1 elemnek egynl
tbb kpe van visszafele , hiszen (1, 1) G
}
,mellett (1, 1) G
}
.
Ez az ellenplda arra is j, hogy vilgoss vljon az a kt felttel, ami az
inverz fggvny ltezshez szksges, vagyis az inverz fggvny csak akkor
ltezhet, ha a a fggvnyben minden rtktartomnybeli elemnek van visszafele
is legalbb egy kpe s egyik rtktartomnybeli elemnek sincs egynl tbb
kpe visszafele. Ezt a kt tulajdonsgot egy fggvny kln-kln is teljest-
heti, ez vezethet el a szrjektv s injektv fggvnyek fogalmhoz.
15
Meghatrozs. Legyen egy (, 1, G
}
) fggvny. Ha brmely j 1 elem
esetn ltezik legalbb egy r , amelyre (r, j) G
}
, akkor (, 1, G
}
) egy
szrjektv fggvny.
Meghatrozs Legyen egy (, 1, G
}
) fggvny. Ha brmely j 1 elem
esetn legfeljebb egy olyan r ltezik, amelyre (r, j) G
}
, akkor (, 1, G
}
)
egy injektv fggvny.
Meghatrozs. Az (, 1, G
}
) fggvny bijektv, ha egyidejuleg szrjektv
s injektv.
Megjegyzs. A bijektv fggvnyeknek van inverze, hiszen teljestik az in-
verz fggvny ltezsnek feltteleit, az (, 1, G
}
) fggvny inverze a (1, , G
}
),
ahol G
}
= (j, r) [ (r, j) G
}
. Az (, 1, G
}
) inverz fggvnyt rendszerint
(1, , G
}
1) jelli, ahol )
1
az inverz relci jele. Msknt jellve: Az (, 1, ))
bijektv fggvny inverze a (1, , )
1
).
1. plda. Az = 1, 1, 2, 3 , 1 = 1, 4, 9, valamint a
G
}
= (1, 1), (1, 1), (2, 4), (3, 9) _ 1
esetn (, 1, G
}
) szrjektv fggvny (de nem injektv).
2. plda. Az = 1, 2, 3 , 1 = 0, 1, 4, 7, 9, valamint a
G
}
= (1, 1), (2, 4), (3, 9) _ 1
esetn (, 1, G
}
) injektv fggvny (de nem szrjektv).
3. plda. Az = 1, 2, 3 , 1 = 1, 4, 9, valamint a
G
}
= (1, 1), (2, 4), (3, 9) _ 1
esetn (, 1, G
}
) bijektv fggvny (szrjektv s injektv egyidejuleg).
Ennek a bijektv fggvnynek van inverze, s ez az inverz a (1, , G
}
1),
ahol
G
}
1 = (1, 1), (4, 2), (9, 3) .
rdekes megjegyezni azt, hogy az (, 1, G
}
) fggvny egy ms jellssel az
)(r) = r
2
alakban is megadhat, ugyanakkor ennek a fggvnynek az inverze
nem rhat )
1
(r) =
_
r alakban, mivel ez az 1-hez az 1-et s nem 1-et
rendeln.
rtelemszeren, ha egy fggvny injektv s szrjektv, akkor megfordthat
(bijektv), azaz van inverze. Az )
1
jel inverz fggvnyre )
1
: 1
Ennek egyik nagyon szp pldja a kzpiskolban tanult exponencilis s
logaritmus fggvny.
Pl. ha ) : R (0, ) , )(r) = 2
r
akkor )
1
: (0, ) R, )
1
(r) =
log
2
r
egyms inverzei.
A szmhalmazokon rtelmezett elemi fggvnyek (Pl.: ) : R R a a| o:
) nqq c:jc/) az R
2
=R R Descartes koordinta rendszerben brzolhatk.
Pl.: ) : R R )(r) = r
2
jlismert brja a parabola.
Azt, hogy egy fggvny injektv, a fggvnybra is elrulhatja. Ez esetben
ugyanis brmilyen j = / vzszintes legfeljebb egyszer metszi a fggvnygrbt.
16
A fggvny szrjektv, ha minden j = / (/ 1) metszi (legalbb egyszer) a
grbt.(Pl.: az adott ) : R R )(r) = r
2
nem injektv, mert ()(1) = )(1) =
1) Az adott plda ) : R R, )(r) = r
2
nem is szrjektv, hiszen j = 1 nem
metszi az brt. .
Teht az ) : R R , )(r) = r
2
nem injektv, sem szrjektv. Ennek a
fggvnynek lehet olyan leszktst venni, ami viszont bijektv.
Lsd pldul az ) : [0, ) [0, ) )(r) = r
2
-et.
Az inverz fggvnyek brja szimmetrikus a koordinta rendszer I. negyednek
szgfelezjre nzve, ezt rdemes megjegyezni az brk elksztsnl.
Fggvny s inverznek grakus kpe
rdekes kapcsolat van a fggvny s inverznek grakus kpe kztt, ha
ugyanabban a koordintarendszerben, egyms mellett brzoljuk oket.
Az elobbi 3. pldban emltett fggvnyhez hasonlan, ha tekintjk az
= [0, ), a 1 = [0, ) halmazokat s az (, 1, )) fggvnyt, amelyre
)(r) = r
2
, valamint a (1, , )
1
) inverz fggvnyt, amelyre )
1
(r) =
_
r s
mindkettot egyidejuleg brzoljuk a koordintarendszerben, akkor a kvetkezo
fggvnybrkat kapjuk.
szreveheto, hogy a kt fggvnybra az elso negyed szgfelelzojre, mskpp
az j = r egyenesre (vagy )(r) = r, elsofok fggvnyre) szimmetrikus:
Az inverz fggvny megkeresse
Ismt az elobbi 3. pldban emltett fggvnyre hagyatkozunk, ha tekintjk
az = [0, ), a 1 = [0, ) halmazokat s az (, 1, )) fggvnyt, amelyre
)(r) = r
2
, valamint a (1, , )
1
) inverz fggvnyt, amelyre )
1
(r) =
_
r. A
krds az, hogy miknt juthatunk el ltalban egy fggvny inverz fggvnynek
a kifejezshez, ha az adott fggvnyrol tudjuk, hogy bijektv, teht van inverze?
Az emltett pldban tekinthetjk az adott fggvnykapcsolatot kifejezo j =
r
2
ktvltozs egyenletet. Ha ezt "megoldjuk" r-re, vagyis ha most nem az j
17
fggo vltozt fejezzk ki az r fggetlen vltozval, hanem fordtva, akkor az
r =
_
j , s r =
_
j rtkek addnak.
Az inverz fggvnyhez vezeto inverz relcit egyszeru "vltozcsere" adja,
ugyanis az inverz fggvnyben a fggetlen vltoz az eredeti fggvny fg-
gvnyrtke, illetve, a fggvnyrtke az eredti fggvny fggetlen vltozja lesz.
Valban ez a kt lehetosg, ami kzl vlaszthatunk.
Ha az elsot vlasztjuk, akkor az r =
_
j relciban az j =
_
r "vltozc-
sere", elvezet a (1, , )
1
) inverz fggvnyhez, amely a 1 = [0, ) halmazt
kpezi le az = [0, ) halmazra, amelyre )
1
(r) =
_
r. rdemes tudni azt is,
hogy egy msik inverzet is rtelmezhetnk, ha az eredeti fggvny helyett tek-
intjk az = (, 0], a 1 = [0, ) halmazokat s az (, 1, )) fggvnyt, ame-
lyre )(r) = r
2
, s a msodik lehetosget vlasztjuk az inverz relciban, azaz
ha az r =
_
j relciban vgezzk el a "vltozcsert, s gy j =
_
r vezet
el a(1, , )
1
) inverz fggvnyhez, amely a 1 = [0, ) halmazt kpezi le az
= (, 0] halmazra, amelyre )
1
(r) =
_
r.
Ekkor az eredeti fggvny az ) : (, 0] [0, ), )(r) = r
2
s brja:
ugyanakkor az inverz fggvny az ) : [0, ) (, 0], )(r) =
_
r s
brja:
A fggvnyek megnevezse
Az oktats sorn gyakran kell megemlteni bizonyos fggvnyeket, s gyakran
hasznljuk bizonyos fggvnyek gyujtonevt, ezekben is sok tvedsi lehetosg
rejlik. A vals fggvny, a ktvltozs fggvny, vagy a vektorfggvny el-
nevezsek helyett taln az a jrhat t, ha a fggvnyeket hossz nevkn
nevezzk, egy szvegkrnyezetben legalbb az elso alkalommal.
Helyes teht a vals vltozj vals fggvny (a vals fggvny helyett),
tovbb nyugodtan hasznlhatk a kt- (vals) vltozs vals fggvny, a kom-
plex vltozj vals fggvny s a 2 dimenzis vektor vltozj vals fggvny
18
19
elnevezsek, hiszen ezek dacra a hasonlsgnak, ms s ms rtelmezsi tar-
tomnyra utalnak. Ez a ngy - alapjban klnbzo - eset mind beillesztheto a
vals fggvny elnevezsbe, de ugyanakkor flrertsre is okot adhat.
Hasonlnak tekinthetok s mgis mst-mst jelentenek a hrom- (vals)
vltozs vals fggvny, s a 3 dimenzis vektor vltozj vals fggvny el-
nevezsek is.
Br knosan precznek tunik, taln helyesebb, az elobbi fenntartssal lve, a
skalr-vektor, vektor-skalr s vektor-vektor fggvnyek helyett, a pontosabb fo-
galmat hasznlni, pldul ktdimenzis vektor vltozj hromdimenzis vektor
rtku fggvnyrol beszlni.
Az elemi fggvnyek ttekintse
Az gynevezett elemi fggvnyek sok fontos tulajdonsggal rendelkeznek, s
a fggvnytranszformcik ismeretben a grakus kpk brzolsa, illetve a
fggvnygrbe vzlatos megrajzolsa is lehetov vlik. Ugyanez az analzis es-
zkzeivel, a hatrrtkek, a derivltak alkalmazsval mg pontosabban elvgezheto.
1. Hatvnyfggvnyek
Azt az ) : R R vals vltozj, vals fggvnyt, amelyre )(r) = r
n
, : _
1, .: N, hatvnyfggvnynek nevezzk.
Meg kell klnbztetnnk kt hatvnykitevo tpust, a pros s pratlan
kitevoket kln-kln trgyaljuk.
Ha : pros, azaz : = 2/, akkor a fggvnycsaldnak az j tengely a szim-
metriatengelye, s az alapfggvnyhez, az egyszeru (msodrendu) parabolhoz
hasonlt. A kvetkezo brk az )(r) = r
n
fggvnyt brzoljk rendre , )(r) =
r
2
, )(r) = r
4
, )(r) = r
6
, majd egy sszehasonlts vgett egytt a hrom, a
"legmeredekebb" termszetesen az utbbi.
, )(r) = r
2
)(r) = r
4
)(r) = r
6
20
21
)(r) = r
2
, )(r) = r
4
, )(r) = r
6
MAPLE: plot([x^2,x^4,x^6],x=-2..2, y=0..4);
szreveheto, hogy mindhrom fggvnybra thalad a (1, 1), (0, 0) s (1, 1)
pontokon, ennek a fggvnytpusnak ez a hrom "xpontja"van.
Ha : pratlan, azaz : = 2/ + 1, akkor a fggvnycsaldnak az orig a
szimmetriapontja, s az alapfggvnyhez, az n. harmadrendu parabolhoz
hasonlt. A kvetkezo brk az )(r) = r
n
fggvnyt brzoljk rendre , )(r) =
r
3
, )(r) = r
5
, )(r) = r
7
, majd egy sszehasonlts vgett egytt a hrom, a
"legmeredekebb" termszetesen az utbbi.
)(r) = r
3
)(r) = r
5
)(r) = r
7
)(r) = r
3
, )(r) = r
5
, )(r) = r
7
22
23
Ha az elso negyed szgfelezojt is feltntetjk, kiderl, hogy ennek a fg-
gvnycsaldnak is van hrom xpontja, s ezek a )(r) = r, az I.-III.-negyed
szgfelezoje mentn vannak, azaz a (1, 1), (0, 0) s (1, 1) pontok.
)(r) = r, )(r) = r
3
, )(r) = r
5
, )(r) = r
7
MAPLE: plot([x, x^3,x^5,x^7],x=-2..2, y=-2..2);
2. Hatvnyfggvnyek negatv kitevovel
Azt az ) : R0 R vals vltozj, vals fggvnyt, amelyre )(r) =
r
n
, : _ 1, : N, negatv kitevos hatvnyfggvnyeknek, vagy reciprok fg-
gvnyeknek nevezzk, mivel ltalban a fordtott arnyossgot jellemzik.
Az alapfggvny, s egyben a fggvnycsald nvadja az ) : R0 R
vals vltozj, vals fggvny, amelyre )(r) = r
1
, s amely a fordtottan
arnyos mennyisgekre jellemzo.
)(r) = r
1
Ennek a fggvnycsaldnak az 0 nem tartozik az rtelmezsi tartomnyhoz,
viszont a fggvnybrt clszeru gondolatban egy "segdegyenessel", az r = 0
egyenletu fggoleges egyenessel (ez tulajdonkppen maga az j tengely) kiegszteni,
ezt fggoleges asszimpttnak nevezik, s az a szerepe, hogy a fggvnynek egy
"kiegyenesedo" szakaszt jellemezze. Ugyanennek a fggvnynek van kt vizsz-
intes asszimpttja is, az j = 0 ( az r tengely), mindkt irnyban, ezeket az
r , s az r "irnyoknak" nevezzk.
Ebben az esetben is a kt hatvnykitevo tpust, a pros s pratlan kitevoket
kln-kln trgyaljuk.
Ha : pros, azaz : = 2/, akkor a fggvnycsaldnak az j tengely a szim-
metriatengelye. A kvetkezo brk az )(r) = r
n
fggvnyt brzoljk rendre
)(r) = r
2
, )(r) = r
4
, )(r) = r
6
, majd egy sszehasonlts vgett egytt a
hrom, a "legmeredekebb" termszetesen az utbbi.
24
25
)(r) = r
2
)(r) = r
4
)(r) = r
6
)(r) = r
2
, )(r) = r
4
, )(r) = r
6
MAPLE: plot([1/x^2,1/x^4,1/x^6],x=-4..4, y=-4..4);
szreveheto, hogy mindhrom fggvnybra thalad a (1, 1) s (1, 1) pon-
tokon, ennek a fggvnytpusnak ez a kt "xpontja"van, az origo most nem
tartozik a fggvny rtelmezsi tartomnyhoz.
Ha : pratlan, azaz : = 2/ + 1, akkor a fggvnycsaldnak az orig a sz-
immetriapontja. A kvetkezo brk az )(r) = r
n
fggvnyt brzoljk rendre
)(r) = r
1
, )(r) = r
3
, )(r) = r
5
, )(r) = r
7
, majd egy sszehasonlts
vgett egytt a ngy, a "legmeredekebb" termszetesen az utbbi.
)(r) = r
1
)(r) = r
3
)(r) = r
5
)(r) = r
7
)(r) = r
1
, )(r) = r
3
, )(r) = r
5
, )(r) = r
7
Ha az elso negyed szgfelezojt is feltntetjk, ismt kiderl, hogy ennek a
fggvnycsaldnak is van kt xpontja, s ezek a )(r) = r, az I.-III.-negyed
szgfelezoje mentn vannak, azaz a (1, 1) s (1, 1) pontok.
MAPLE: plot([1/x, 1/x^3,1/x^5,1/x^7],x=-4..4, y=-4..4);
Azt a tnyt, hogy a fggvnygrbe szimmetriatengelye az j tengely, s ami a
pros kitevokre jellemzo a kvetkezo egyenlosggel fejezhetjk ki: )(r) = )(r),
brmely r R, ezeket a fggvnyeket PROS FGGVNYEKNEK nevezzk.
26
27
28
29
30
Azt, hogy a fggvnygrbe szimmetriapontja az origo, s ami a pratlan
kitevokre jellemzo a kvetkezo egyenlosggel fejezhetjk ki: )(r) = )(r),
brmely r R, ezeket a fggvnyeket PRATLAN FGGVNYEKNEK nevez-
zk.
Pros fggvny lesz pl. az ) : R R vals vltozj, vals fggvnyt,
amelyre )(r) = cos r, de az ) : R R vals vltozj, vals fggvnyt, amelyre
)(r) = sinr pratlan.
A pros s pratlan fggvnyek fogalma nem merti ki a fggvnyek sszessgt,
vagyis van olyan fggvny is, ami se nem pros, se nem pratlan, pl. ) :
R0 R, amelyre )(r) = r +r
2
, mivel )(r) = r +r
2
s ez nem egyezik
meg sem az )(r) = r +r
2
, sem a )(r) = r r
2
rtkvel. A fggvnygrbe
nem lesz szimmetrikus sem az j tengelyre, sem az origra.
)(r) = r +r
2
MAPLE: plot(x+ x^2,x=-4..4);
A fggvnyek szimmetrija ltalnosabban is megfogalmazhat:
Ha egy fggvnynek van fggoleges szimmetriatengelye, az pl. az r = a
egyenes, akkor teljesl az, hogy )(a r) = )(a +r), brmely r R.
Ha egy fggvnynek az (a, /) pont szimmetriapontja (/ = )(a)), akkor az
teljesl, hogy / )(a r) = )(a +r) /, brmely r R.
Ez utbbi szemlletesebben azt jelenti, hogy / =
}(or)+}(o+r)
2
.
Ilyen szimmetrit mutatnak azok az elemi fggvnyek, amelyek a pros, vagy
pratlan fggvnyekbol bizonyos fggvnytranszformcival kaphatk.
Tovbbi elemi fggvnyek
A leggyakrabban elofordul fggvnyek az exponencilis- s logaritmusfg-
gvnyek, a trigonometrikus fggvnyek, valamint ezek inverzei. Az e szm
31
bevezetse lehetov teszi a hiperblikus s area fggvnyek tanulmnyozst
is, s a fggvny fogalma kiterjesztheto a polr koordints s paramteres gr-
bkre is. Fontos szerepet kapnak a kpszeletek, amelyek leginkbb Dscartes
koordints alakjukban ismertek.
1. Az exponencilis- s logaritmus fggvnyek
Az ) : R R vals vltozj, vals fggvnyt, amelyre )(r) = a
r
, ahol
a 0, s a ,= 1, a alap exponencilis fggvnynek nevezzk.
Pl. ) : R (0, ), )(r) = 2
r
:
) : R (0, ), )(r) = 2
r
Ha most az a alap szerepre vagyunk kivncsiak, akkor belthatjuk, hogy
kln-kln eseteknek veheto az a 1, s a 1 a 0.
Az elso esetben (a 1), az exponencilis fggvny no, s annl meredekebb
minl nagyobb az a :
)(r) = 2
r
, )(r) = 3
r
, )(r) = 4
r
( a legmeredekebb az utbbi)
MAPLE: plot([2^x,3^x,4^x],x=-4..4, y=-4..4);
Ha 1 a 0, akkor cskkeno a fggvny, s annl "meredekebben", minl
kzelebb van az a 0-hoz.
32
33
)(r) =
_
1
2
_
r
, )(r) =
_
1
3
_
r
, )(r) =
_
1
4
_
r
( a legmeredekebb az utbbi)
MAPLE: plot([(1/2)^x,(1/3)^x,(1/4)^x],x=-4..4, y=-4..4);
Lthat, hogy az exponencilis fggvnyek xpontja a (0, 1) pont, az alaptl
fggetlenl.
Fontos megjegyezni, hogy a hatvnymennyisgek tulajdonsgai szerint a
fggvnyrtk a
r
0, brmely r esetn. Teht pontosthatunk:az exponen-
cilis fggvny rtkhalmaza ugyan ltalban vve a vals szmok halmaza, de
RTKKSZLETE a pozitv szmok, a (0, ) intervallum, s az exponencilis
fggvnynek van egy vizszintes aszimttja, az j = 0, az x tengely, pontosabban
annak az egyik "vge", az a alaptl fggoen: ha a 1, akkor a irnyban,
ha pedig 0 < a < 1, akkor a + irnyban.
Teht az exponencilis fggvnyt clszeru a kvetkezokppen rtelmezni: ) :
R (0, ), )(r) = a
r
, ahol a 0, s a ,= 1 (mert ekkor ltezik az inverze,
a logaritmus fggvny). Az inverz fggvny, az a alap logaritmus pontosan a
fordtott megfeleltetst kveti:
) : (0, ) R, )(r) = log
o
r, ahol a 0, s a ,= 1.
Ez abban megnyilvnul, hogy ha ugyanabban a koordintarendszerben br-
zoljuk az exponencilis fggvnyt, s a megfelelo logaritmusfggvnyt is, akkor a
kt grbe egymsnak tkrkpe az elso negyed szgfelezojre, hiszen a fggvny
s inverznek kpe szimmetrikus az j = r egyenesre.
A kvetkezo bra az ) : R (0, ), )(r) = 2
r
, s az ) : (0, ) R,
)(r) = log
2
r fggvnygrbket brzolja:
MAPLE: plot([2^x,log[2](x),x],x=-4..4, y=-4..4);
34
Hasonl a helyzet, ha sszehasonltjuk pl. az ) : R (0, ), )(r) = (
1
3
)
r
,
s az ) : (0, ) R, )(r) = log1
3
r fggvnygrbket.
MAPLE: plot([(1/3)^x,log[1/3](x),x],x=-4..4, y=-4..4);
Az exponencilis fggvny elemzsbol kvetkeztethetnk a logaritmus fg-
gvnyre is, az a alap ugyanolyan szerepet jtszik itt is, kln-kln eseteknek
veheto az a 1, s a 1 a 0, s a logaritmus fggvnynek az r = 0 (y
tengely) fggoleges asszimpttja.
Ha a 1, a logaritmus fggvny no, s annl meredekebb minl nagyobb az
a :
35
MAPLE: plot([log[2](x),log[3](x),log[4](x)],x=-4..4, y=-4..4);
Ha 1 a 0, akkor cskkeno a fggvny, s annl "meredekebben", minl
kzelebb van az a rtke 0-hoz:
MAPLE: plot([log[1/2](x),log[1/3](x),log[1/4](x)],x=-4..4, y=-4..4);
Lthat, hogy a logaritmus fggvnyek xpontja amint az vrhat a (1, 0)
pont, az alaptl fggetlenl.
36
Az exponencilis- s logaritmus fggvnyek amellett, hogy egyms inverzeiknt
tkrkpei egymsnak az elso negyed szgfelezojre, de tovbbi tengelyes szim-
metrit is mutatnak.
Az ) : R (0, ), )(r) = a
r
, ahol a 0, s a ,= 1, s az ) : R
(0, ), )(r) =
_
1
o
_
r
, ahol a 0, s a ,= 1 exponencilis fggvnyek kpei az y
tengelyre szimmetrikusak, mg a megfelelo logaritmus fggvnyek az x tengelyre,
pl. ) : R (0, ), )(r) = 2
r
s az ) : R (0, ), )(r) =
_
1
2
_
r
) : R (0, ), )(r) = 2
r
s az ) : R (0, ), )(r) =
_
1
2
_
r
MAPLE: plot([2^x,(1/2)^x],x=-4..4, y=-4..4);
Ugyanilyen viszonyban vannak a fggvnyek inverzei, csak azok az r tenge-
lyre tkrkpei egymsnak.
Pl: Az ) : (0, ) R, )(r) = log
2
r, s az ) : (0, ) R, )(r) = log
(
1
2
)
r
bri egymsnak az r tengelyre tkrkpei:
MAPLE: plot([log[1/2](x),log[2](x)],x=-4..4, y=-4..4);
Megjegyzsek.
1. A negatv kitevok, tizedes trtek hasznlatval az elobbi fggvnyek
mskpp is rhatk, pl.:
_
1
2
_
r
= 2
r
, vagy log
(
1
2
)
r = log
0.5
r.
2. Az analzis tanulmnyok sorn szempontjbl fontos szerepe van az c
alap exponencilis (c
r
) s logaritmus fggvnyeknek (lnr), (az c szmot ksobb
37
vezetjk be mint az
_
1 +
1
n
_
n
sorozat hatrrtkt: lim
no
_
1 +
1
n
_
n
= c), az c
szmrl egyelore elg azt megjegyezni, hogy rtke 2 s 3 kzt van, pontosabban
c - 2.7182. Fggvnybrjuk:
MAPLE: plot([exp(x),ln(x)], x=-4..4, y=-4..4);
2. A trigonometriai fggvnyek s inverzeik
A trigonometriai fggvnyek bevezetsekor megismerkedtnk a szgek mrtkvel.
Ha a szgeket a derkszg
1
90
ed rszvel mrjk, akkor hatvanas vltj
fokokrl beszlnk, mivel
1
90
dcr c/:. oq = 1

= 60
t
, 1
t
= 60
"
.
Ha a szgeket a derkszg
1
100
ed rszvel mrjk, akkor szzas vltj
fokokrl beszlnk, mivel
1
100
dcr c/:. oq = 1

= 60
c
, 1
c
= 60
cc
.
A ktfajta fok mrtani mrtke a szgeknek, s szoks a szgek radin-
mrtkrol is beszlni, ami a kzpponti szgek szoksos mrtknek latlnostsa.
Ha egy szget egy r sugar kr kzppontjban tekintnk, akkor a kr szrai
kz eso krv hossznak s a kr sugarnak arnya a szg radinban vett
mrtke s ez a hasonlsg miatt nem fgg a kr sugarnak nagysgtl, csakis
a szg nagysgtl. Ez utbbi mrtk bevezetse lehetov teszi azt is, hogy a
szgek fogalmt ltalnostsuk.
Az egysg sugar krt egy derkszg koordintarendszer kzppontjba
szoks elhelyezni (trigonometriai kr), ekkor a szg radinban vett mrtke
egyenlo a szg szrai kz eso krv hosszval. Ugyanez az elrendezs lehetov
teszi a pozitv s negatv szgek , valamint a teljes fordulatot meghalad szgek
fogalmnak bevezetst. Egy szget akkor mondunk pozitvnak, ha az ramu-
tat jrsval ellenttes irnyban "vesszk" fel, a negatv szgek az ramutat
jrsval megegyezo irny "forgst" jelentenek.
38
Az egysg sugar kr s a koordintarendszer bevezetse azrt is hasznos,
mivel ezek segtsgvel, mint vetletekkel rtelmezhetok a trigonometriai alapfg-
gvnyek. Ha a trigonometriai krben az or pozitv fltengely irnyt 0 radinnak
vesszk, akkor az r szget egy, az orig krl forg vektor ltal lert rszgnek
vehetjk, s a fggoleges illetve a vizszintes tengelyekre eso vetletei adjk a
:i:r, illetve a co:r rtkt.
A szgfggvnyek egyik legfontosabb tulajdonsga ppen ebbol a "krforgs-
bl" addik. Mindkt fggvny 2 radin utn, (egy teljes fordulat mrtke) is-
mt ugyanazt az rtket veszi fel, azaz sin(r+2) = sinr, s cos(r+2) = cos r.
Mindkt fggvnyre az jellemzo, hogy elg a fggvnykpet megrajzolni az
elso, n. foperidusban, hiszen peridusonknt minden ugyangy ismtlodik.
Az ) : R R vals vltozj, vals fggvnyt, amelyre )(r) = sinr ,
sinusfggvnynek, az ) : R R vals vltozj, vals fggvnyt, amelyre )(r) =
cos r, cosinusfggvnynek nevezzk.
)(r) = sinr
)(r) = cos r
Az inverz fggvnyeket csupn a fggvnyek egy-egy monoton szakaszn
rtelmezhetjk, hiszen a periodikussg miatt a fggvnyek nyilvn nem injek-
tvek.
A kt fggvnynek a kvetkezo leszuktst szoks venni az inverz trigonometrikus
fggvnyek rtelmezshez:
39
40
Az ) :
_

t
2
,
t
2

[1, 1] fggvnynek, amelyre )(r) = sinr az inverze az

) : [1, 1]
_

t
2
,
t
2

fggvny, amelyre )(r) = arcsinr

MAPLE:plot([sin(x),arcsin(x)], x=-Pi/2..Pi/2);
s az ) : [0, ] [1, 1] fggvnynek, amelyre )(r) = cos r az inverze az
) : [1, 1] [0, ] fggvny, amelyre )(r) = arccos r.
MAPLE:plot([cos(x),arccos(x)], x=-1..Pi);
Az alapfggvnyeket kiegszthetjk az )(r) = tqr, s az )(r) = ctqr
fggvnyekre, amelyeket szintn be lehetne vezetni a trigonometriai krben,
de szoks oket az alapfggvnyek arnyaknt is megadni, tqr =
sin r
cos r
; ctqr =
cos r
sin r
.Ezekre a fggvnyekre a magyar nyelvu szakirodalomban hasznlt tq ill.
ctq jellse helyett az angolszsz irodalomban a tan ill. cot jellst hasznljk,
gy pl. zsebszmolgpeken is.
Az ) : R
_
2|+1
2

_
R, )(r) = tqr, s az ) : R/ R, )(r) = ctqr
elegendo lenne csak egy flperiduson brzolni, az elobbi egy teljes vt a
(
t
2
,
t
2
), mg az utbbi a (0, ) nylt intervallumon veszi fel, s mindkt fg-
gvnyre jellemzo, hogy az adott intervallumok vgpontjaiban fggolges assz-
imptti vannak:
) : R
_
2|+1
2

_
R, )(r) = tqr
MAPLE: plot(tan(x),x=-4..4, y=-4..4);
) : R/ R, )(r) = ctqr
MAPLE: plot(cot(x),x=-4..4, y=-4..4);
41
42
Lthat, hogy az elso, a tq szakaszonknt nvekvo, a msodik, a ctq sza-
kaszonknt cskkeno, teht egy-egy ilyen szakaszon lteznek az inverzeik, pon-
tosabban: Az ) :
_

t
2
,
t
2
_
R, )(r) = tqr inverze az ) : R
_

t
2
,
t
2
_
,
)(r) = arctqr :
MAPLE:plot([tan(x),arctan(x)], x=-Pi/2..Pi/2, y=-Pi/2..Pi/2);
s az ) : (0, ) R, )(r) = ctqr inverze az ) : R (0, ), )(r) = arcctqr :
MAPLE:plot([cot(x),arccot(x)], x=-Pi..Pi, y=-Pi..Pi);
A termszetes alap exponencilis fggvny, az c
r
segtsgvel megadhatk
az n. hiperblikus fggvnyek:
) : R R, )(r) = :/r =
t
x
t
x
2
MAPLE:plot(sinh(x), x=-4..4, y=-4..4);
s az ) : R R, )(r) = c/r =
t
x
+t
x
2
MAPLE:plot(cosh(x), x=-4..4, y=-4..4);
A trigonometriai fggvnyekhez hasonlan rtelmehetok a ) : R R, )(r) =
t/r =
s|r
c|r
=
t
x
t
x
t
x
+t
x
,
MAPLE:plot(tanh(x), x=-4..4, y=-4..4);
valamint az ) : R 0 R, )(r) = ct/r =
c|r
s|r
=
t
x
+t
x
t
x
t
x
MAPLE:plot((exp(x)+exp(-x))/(exp(x)-exp(-x)), x=-4..4, y=-4..4);
Az inverzeik rtelmezse
43
44
45
46
Az ) : R R, )(r) = :/r =
t
x
t
x
2
inverze az )
1
: R R, )
1
(r) =
ar:/r. ennek az explicit formja (kifejezse) a szoksos mdon kaphat, ha
az j =
t
x
t
x
2
direkt relcibl kifejezzk az r-et, a szmts lpsei: c
2r

2jc
r
1 = 0, innen c
r
=
2
_
4
2
+4
2
s mivel c
r
0, az egyetlen megolds
c
r
=
2+
_
4
2
+4
2
. Az egyszerusts utn c
r
= j +
_
j
2
+ 1, vagyis r = ln(j +
_
j
2
+ 1) amibol a "vltozk szerepcserje" utn kapjuk az inverz fggvny
explicit alakjt: )
1
: R R, )
1
(r) = ar:/r = ln(r +
_
r
2
+ 1) :
MAPLE:plot(ln(x+sqrt(x^2+1)), x=-4..4, y=-4..4);
Az ) : [0, ) [1, ), )(r) = c/r =
t
x
+t
x
2
inverze az )
1
: [1, )
R, )
1
(r) = arc/r. ennek az explicit formja (kifejezse) a szoksos mdon
kaphat, ha az j =
t
x
+t
x
2
direkt relcibl kifejezzk az r-et, a szmts
lpsei: c
2r
2jc
r
+ 1 = 0, innen c
r
=
2
_
4
2
4
2
s ennek megoldsai c
r
=
2
_
4
2
4
2
. Az egyszerusts utn c
r
= j
_
j
2
1, vagyis r = ln(j
_
j
2
1)
, de most a "vltozk szerepcserje" utn az inverz fggvny explicit alakjt
ktflekppen vlszthatjuk meg, ezek kzl a szoksos az: )
1
: [1, )
[0, ), )
1
(r) = arc/r = ln(r +
_
r
2
1) :
MAPLE:plot(ln(x+sqrt(x^2-1)), x=0..4, y=0..4);
mivel ez felel meg a feltteleknek:
MAPLE:plot([cosh(x),ln(x+sqrt(x^2-1))], x=0..4, y=0..4);
Az elemi fggvnyek egy msik csaldja a polinomok s n. trtfggvnyek,
vagy racionlis fggvnyek.
A msodfok s harmadfok polinom gykeirol
47
48
Ismert, hogy a msodfok polinom ltal rtelmezett ) : 1 1, )(r) =
ar
2
+ /r + c fggvny, rviden msodfok fggvny kpe egy parabola s mr
kzpiskols ismeretek alapjn a hallgatk tbbsge ismeri a parabola szimme-
tria tulajdonsgainak kvetkezmnyeit: a parabolnak szimmetria tengelye lesz
az r =
b
2o
, azaz pldul a gykk is szimmetrikusan helyezkednek el ehhez az
rtkhez kpest: )(
b
2o
r) = )(
b
2o
+r), brmely r-re teljeslni fog.
Elsoknt megismteljk a mr jl ismert ) : 1 1, )(r) = r
2
brjt:
)(r) = r
2
A msodfok polinom brzolsa teht meglehetosen egyszeru.
Biztosan tudhat, hogy a parabola cscsa a (
b
2o
, )(
b
2o
)) pont, ez utbbi
mg a (
b
2o
,
4ocb
2
4o
) alakban is megadhat, teht a fenti )(r) = r
2
esetn a
(0, 0).
Tudott tovbb, hogy a parabola metszheti az r tengelyt 2 klnbzo pont-
ban, ha a polinom gykei valsak s klnbzok (ennek felttele, hogy a dis-
zkriminns = /
2
4ac 0 teljesljn, illetve csak egy pontban rinti azt, ha
a diszkriminns ppen 0, s egyltaln nincs kzs pontja az r tengellyel, ha
a diszkriminns negatv.
Mg az is ismert, hogy az j tengelyt mindig metszi, mgpedig az j = )(0) = c
pontban, ez a polinom szabad tagjnak a mrtani jelentse.
Mg csak azt kell megjegyezni, hogy ha a legmagasabb fok tag egytthatja,
az a 0, akkor konvex, felfele nyitott, ha pedig a < 0, akkor lefele nyitott,
konkv a parabola kpe. Elso esetben a cscspontban minimuma, a msodik
esetben maximuma van.
Vegyk most s elemezzk a fggvnygrbket a fenti szempontok alapjn:
1. ) : 1 1, )(r) = r
2
6r + 5,
- cscsa (3, 4),
- = 16,teht gykei valsak, r
1
= 1, r
2
= 5 pontban metszi az r tengelyt,
49
- j = )(0) = 5ben metszi az j tengelyt,
- a = 1 0, konvex, teht minimuma van,
)(r) = r
2
6r + 5
2. ) : 1 1, )(r) = 2r
2
+ 5r + 2
- cscsa (
5
4
,
9
8
),
- = 9,teht gykei valsak, r
1
=
1
2
, r
2
= 2 pontban metszi az r
tengelyt,
- j = )(0) = 2ben metszi az j tengelyt,
- a = 2 0, konvex, teht minimuma van,
)(r) = 2r
2
+ 5r + 2
3. ) : 1 1, )(r) = r
2
+ 2r 1
- cscsa (1, 0),
- = 0,teht gykei valsak, egybeesoek, r
1
= r
2
= 1 pontban rinti az r
tengelyt,
- j = )(0) = 1ben metszi az j tengelyt,
- a = 1 < 0, konvex, teht maximuma van,
)(r) = r
2
+ 2r 1
4. ) : 1 1, )(r) = 4r
2
+ 4r + 3
- cscsa (
1
2
, 2),
- = 32,teht gykei nem valsak, nem metszi az r tengelyt,
- j = )(0) = 3ben metszi az j tengelyt,
- a = 4 0, konvex, teht minimuma van,
50
51
)(r) = 4r
2
+ 4r + 3
Az a krds, hogy a harmadfok polinom ltal rtelmezett )(r) = ar
3
+
/r
2
+ cr + d, rviden harmadfok fggvny rendelkezik-e valamilyen hasonl
szimmetria tulajdonsggal?
A vlasz az, hogy valban ltezik egy pontszerinti szimmetria.
Az )(r) = ar
3
+/r
2
+cr +d vals egytthats harmadfok polinom esetn
a gykk termszetnek vizsglata nem ilyen egyszeru. A fggvnybrzols
segtsgvel mgis trgyalhat a gykk termszete.
Az ) polinomhoz rendelt )(r) = ar
3
+ /r
2
+ cr + d fggvny elsorendu
derivltja )/(r) = 3ar
2
+ 2/r + c. Jelljk az elsorendu derivlt gykeit c-
val s ,-val. Az ) polinom gykei akkor s csakis akkor valsak s egymstl
klnbzok, ha )(c))(,) < 0 (a fggvny szlso rtkei ellenttes elojeluek). Ha
)(c))(,) = 0, akkor ktszeres gyke, ha pedig )(c))(,) 0, akkor egy vals
s kt konjuglt komplex gyke van az f polinomnak.
A H = )(c))(,) kifejezs szimmetrikus c-ra s ,-ra nzve:
H = (ac
3
+/c
2
+cc +d)(a,
3
+/,
2
+c, +d) =
= a
2
c
3
,
3
+a/c
2
,
2
(c +,) +acc,(c
2
+,
2
) +ad(c
3
+,
3
)+
+/
2
(c
2
+ ,
2
) + /cc,(c + ,) + /d(c
2
+ ,
2
) + c
2
c, + cd(c + ,) + d
2
, teht
kifejezheto az c s , sszegnek s szorzatnak segtsgvel:
c +, =
2b
3o
s c , =
c
3o
.
A szmtsok elvgzse utn a :
H =
4oc
3
b
2
c
2
+4b
3
J18obcJ+27o
2
J
2
27o
2
kifejezshez jutunk, ami a kvetkezo alak-
ban is felrhat:
H =
3(bc3oJ)
2
+4(oc
3
b
2
c
2
+b
3
J)
27o
2
.
1. Megllapts: Az )(r) = ar
3
+/r
2
+cr +d polinomnak teht:
(a) H<0 esetn hrom klnbzo vals gyke van;
(b) H=0 esetn van egy ktszeres vals gyke is;
(c) H0 esetn egy vals s kt komplex gyke van.
52
Megjegyzs: A harmadfok egyenlet megoldsra ismert kplet felttelezi az
egyenlet r
2
+jr + = 0 alak felrst s akkor a megoldsok:
r
1
= n +
r
2
= -n +-
2

r
3
= -
2
n +-
alakak, ahol - =
1
2
+i
_
3
2
,
s n =
3
_

j
2
+
_
(
j
2
)
2
+ (

3
)
3
, =
3
_

j
2

_
(
j
2
)
2
+ (

3
)
3
.
A megfelelo helyettestssel a H kifejezs:
H =
4
3
+27j
2
27
vagy H =
1
54
2
_
(

3
)
3
+ (
j
2
)
2

alak, s bebizonytott, hogy

az egyenlet gykei csak akkor valsak, ha H<0, csak akkor van egybeeso vals
gyke, ha H=0 s kt komplex gyke csak H0 esetn van. Ez a bizonyts csak
algebrai ton trtnik, de a gykk komplex felrsa miatt nagyon hosszadalmas.
A msodfok ) = ar
2
+ /r + c polinom szimmetria tengelye az r =
b
2o
egyenes. A harmadfok ) = ar
3
+ /r
2
+ cr + d polinom nem tengelyesen
szimmetrikus, hanem szimmetria kzpponttal rendelkezik.
2. Megllapts: Az ) = ar
3
+ /r
2
+ cr + d vals egytthats polinomhoz
rendelt fggvny grakus kpe szimmetrikus az o = (
b
3o
, )(
b
3o
)) pontra nzve.
Bizonyts: Elgsges beltni, hogy brmilyen vals r esetn:
)(
b
3o
) )(
b
3o
r) = )(
b
3o
+r) )(
b
3o
),
vagyis
2)(
b
3o
) = )(
b
3o
+r) +)(
b
3o
r)
)(
b
3o
) = a(
b
3o
)
3
+/(
b
3o
)
2
+c(
b
3o
) +d
)(
b
3o
+r) = a(
b
3o
+r)
3
+/(
b
3o
+r)
2
+c(
b
3o
+r) +d
)(
b
3o
r) = a(
b
3o
r)
3
+/(
b
3o
r)
2
+c(
b
3o
r) +d,
vagyis
)(
b
3o
) = a
b
3
27o
3
+/
b
2
9o
2
c
b
3o
+d
)(
b
3o
+r) = a
b
3
27o
3
+ 3a
b
2
9o
2
r 3a
b
3o
r
2
+ar
3
+/
b
2
9o
2
2/
b
3o
r+
+/r
2
c
b
3o
+cr +d.
)(
b
3o
r) = a
b
3
27o
3
3a
b
2
9o
2
r 3a
b
3o
r
2
ar
3
+/
b
2
9o
2
+ 2/
b
3o
r+
+/r
2
c
b
3o
cr +d,
teht
)(
b
3o
+r) +)(
b
3o
r) = 2a
b
3
27o
3
+ 2
b
3
9o
2
2
bc
3o
+ 2d = 2)(
b
3o
).
Ha most az ) : R R, )(r) = ar
3
+/r
2
+cr+d harmadfok parabola br-
zolst tuzzk ki clul, akkor a fenti megjegyzseket gyelembe vve, felrhatjuk
a harmadfok parabola szimmetria pontjt, az o = (
b
3o
, )(
b
3o
)), ahol )(
b
3o
) =
a
b
3
27o
3
+/
b
2
9o
2
c
b
3o
+d.
) : 1 1, )(r) = r
3
+ 4r
2
+ 4r + 3, szimmetriapontja o(
4
3
,
65
27
)
A szimmetriapont tulajdonsgnak szemlltetse
) : 1 1, )(r) = r
3
4r
2
+ 4r + 3, szimmetriapontja o(
4
3
,
97
27
)
A szimmetriapont tulajdonsgnak szemlltetse
53
54
55
A trtfggvnyek, vagy racionlis fggvnyek rvid ttekintshez fel kell
eleventennk a fggoleges asszimptta (plus), a vzszintes asszimptta, a tenge-
lyekkel trtno metszspontok s a hzagpontok fogalmt.
A fggvnynek van hzagpontja az r = a pontban, ha a nevezoje s a szm-
llja egyarnt tartalmazza az (ra) szorzt, vagy annak ugyanazt a hatvnyt.
Ekkor a fggvnybra egybeesik a leegyszerusts utn nyert fggvnybrval,
csak annak az r = a pontban felvett rtke helyett egy hzagpont ll, ezt egy
kis "res" karikval szoks jelezni.
Pl.: az ) : R 1 R, )(r) =
(r
2
4)(r+1)
(r+1)
fggvny brja egybeesik az
r
2
4 parabolval, csak az r = 1 pontban van egy hzagpontja:
Ha a lehetsges egyszerustsek elvgzse utn marad a nevezoben ra, vagy
annak hatvnya, akkor a hatvny prossgtl fggoen pros, illetve pratlan
plusrl beszlnk, azaz a fggvny rendelkezik egy fggoleges asszimpttval
az adott pontban.
Pros plus esetn mindkt oldalrl egyarnt ugyanolyan , pl. +, mint
az ) : R 0 R, )(r) =
1
r
2
fggvny esetn az r = 0-ban.
Pratlan plus azt jelenti, hogy a fggvny elojeltol fggoen az asszimptta
kt oldaln klnbzo elojelet kapunk, teht pl. balrl , jobbrl pedig +,
amint az az ) : R 0 R, )(r) =
1
r
esetn trtnik.
Ha a szmllban marad r a, vagy annak hatvnya, akkor a hatvny
prossgtl fggoen pros esetben rintsi pontrl, illetve pratlan esetben
metszspontrl beszlnk.
Pl. az ) : R 1 R, )(r) =
(r
2
4)(r+1)
(r+1)
3
fggvnynek az r = 1 ben
pros plusa, s r = 2, r = 2 metszspontjai az x tengellyel,
de az ) : R 1 R, )(r) =
(r
2
4)(r+1)
5
(r+1)
3
fggvnynek nincs plusa az
r = 1 ben, csak egy rintopontja lenne az r = 1 ben, ha ez a pont ppen
56
nem hzagpont lenne.
Fggvnytranszformcik
Az elemi fggvnyek grbjnek, s ms fggvnygrbknek az ismerete
lehetov teszi bizonyos, fggvnytranszformcikkal szrmaztatott jabb fg-
gvnyek grbjnek az brzolst. Ezek a fggvnytranszformcik a fg-
gvny jellegt megtartjk, de a grbe helynek megvltoztatst, vagy alakjnak
arnyos talaktst eredmnyezik.
A fggvnytranszformcik ismerete lehetov teszi, hogy a legegyszerubb el-
emi fggvnyek grakus brzolst alkalmazzuk az ezekbol transzformcikkal
szrmaztatott, mr nem annyira egyszeru fggvnyek brzolsra.
Lnyegben ngy alapvetu fggvnytranszformcit kell megrtennk, ezek
a fggoleges s a vizszintes irnyban trtno prhuzamos eltolsa a fggvnygr-
bnek, valamint a fggoleges, illetve vizszinte irnyba trtno arnyos nyjts,
illetve "sszenyoms" .
Ezeket a transzformcikat a mr ismert fggvnyek, illetve, azoknak a tran-
szformci utni kpnek az ismeretvel lehet megrteni.
1. Fggoleges eltols
Az ) : 1 fggvny, amelynek az j = )(r) grbje ismert, hozzsegt
ahhoz, hogy megrtsk mi lesz az j = )(r) + / sszefggssel rtelmezett ) :
1 fggvny grbje.
Az eltols eredmnyeknt nem vltozik az rtelmezsi tartomny, de minden
pontjban megvltozik a fggvnyrtk, az eddigi )(r) helyett )(r) +/, azaz
minden fggvnyrtk fggolegesen eltoldik /-val, (ha / _ 0, akkor "flfele",
ha / _ 0, akkor "lefele).
Pl. Tekintsk az ) : R R vals vltozj, vals fggvnyt, amelyre )(r) =
r
2
,ennek a grbje kzismert:
57
58
)(r) = r
2
Ha most egybevetjk az ) : R R vals vltozj, vals fggvnnyel,
amelyre )(r) = r
2
+ 2 akkor:
)(r) = r
2
+ 2
brzoljuk most ugyanabban a koordintarendszerben az )(r) = r
2
, )(r) =
r
2
+ 2 s )(r) = r
2
1 fggvnyeket:
)(r) = r
2
, )(r) = r
2
+ 2 s )(r) = r
2
1
A "legals" nyilvn az )(r) = r
2
1,mg a "legfelso" az )(r) = r
2
+ 2.
Ugyanez trtnne, ha pl. az )(r) =
1
r
, )(r) =
1
r
+ 2, )(r) =
1
r
1 fg-
gvnygrbket hasonltannk ssze:
59
2. Vzszintes eltols
Az ) : 1 fggvny, amelynek az j = )(r) grbje ismert, hozzsegt
ahhoz, hogy megrtsk mi lesz az j = )(r c) sszefggssel rtelmezett ) :
1 fggvny grbje.
Az eltols eredmnyeknt nem vltozik az rtelmezsi tartomny, de minden
pontjban megvltozik a fggvnyrtk, az eddigi )(r) helyett )(r c), azaz
ha c _ 0, akkor "jobbra" toldik c-vel, ha c _ 0, akkor "balra".
Pl. Tekintsk az ) : R R vals vltozj, vals fggvnyt, amelyre )(r) =
r
2
,ennek a grbje kzismert:
)(r) = r
2
Ha most egybevetjk az ) : R R vals vltozj, vals fggvnnyel,
amelyre )(r) = (r 2)
2
akkor:
)(r) = (r 2)
2
brzoljuk most ugyanabban a koordintarendszerben az )(r) = r
2
, )(r) =
(r 2)
2
s )(r) = (r + 1)
2
fggvnyeket:
)(r) = r
2
, )(r) = (r 2)
2
s )(r) = (r + 1)
2
A "jobboldali" nyilvn az )(r) = (r 2)
2
,mg a "baolodali" az )(r) =
(r + 1)
2
.
Ugyanez trtnne, ha pl. az )(r) = r
3
, )(r) = (r 1)
3
, s )(r) = (r +
3)
3
fggvnygrbket hasonltannk ssze, a baloldali most )(r) = (r + 3)
3
, a
jobboldali pedig )(r) = (r 1)
3
:
60
61
62
Az sszetett transzformci lehet pldul egy vizszintes s egy fggoleges
eltols, pl. az )(r) = (r2)
2
+3 fggvnybra az )(r) = r
2
brja jobbratolva
2 egysgnyit, s fggolegesen felfele tolva 3 egysgnyit:
3. Fggoleges nyjts
Az ) : 1 fggvny, amelynek az j = )(r) grbje ismert, hozzsegt
ahhoz, hogy megrtsk mi lesz az j = a)(r) sszefggssel rtelmezett ) :
1 fggvny grbje, azaz a fggvnybra a-szoros fggoleges nyjtsa -
Prokrusztsz-nyjts- (amplitd vltozs, ha a _ 1, akkor amplitd nvels,
ha a _ 1, akkor amplitd cskkens, ugyanakkor ha pl. a = 1, akkor tkrzs
az r tengelyre vonatkozlag). A fggoleges nyjtst a szgfggvnyeken rdemes
megrteni, hasonltsuk ssze teht:
)(r) = :i:r
)(r) = 3 sinr
)(r) = :i:r, )(r) = 3 sinr
MAPLE: plot([sin(x),3*sin(x)],x=-7..7, y=-7..7);
A negatv szorz szerepe a kvetkezo pldn lthat, tekintsk ismt az
) : R R vals vltozj, vals fggvnyt, amelyre )(r) = r
2
,ennek a grbje
kzismert:
)(r) = r
2
Most hasonltsuk ssze az )(r) = r
2
s az )(r) = 2r
2
grbkkel:
63
64
65
A kt "lefele" grblo az )(r) = r
2
s az )(r) = 2r
2
MAPLE: plot([x^2,-x^2,-2*x^2],x=-4..4, y=-4..4);
3. Vzszintes nyjts
Az ) : 1 fggvny, amelynek az j = )(r) grbje ismert, hozzsegt ah-
hoz, hogy megrtsk mi lesz az j = )(ar) sszefggssel rtelmezett ) : 1
fggvny grbje, azaz a fggvnybra a-szoros vzszintes sszenyomsa (elong-
ci vltozs, ha a _ 1, akkor elongci cskkens, ha a _ 1, akkor elongci
nvekeds). A vizszintes nyjtst a szgfggvnyeken rdemes megrteni, mivel
ezeknek a peridusa is megvltozik, hasonltsuk ssze teht az )(r) = cos r,
s az )(r) = cos(3r) brit, majd a szoksos mdon brzoljuk ugyanabban a
koordintarendszerben.
)(r) = cos r)(r) = cos(3r)
)(r) = cos r, )(r) = cos(3r)
MAPLE: plot([cos(x),cos(3*x)],x=-7..7,y=-7..7);
Elongci nvekedst akkor kapunk, ha a fggvnyvltozz "osztjuk" egy
szmmal, pl. )(r) = cos(
r
2
) :
)(r) = cos r,)(r) = cos(
r
2
)
66
67
68
MAPLE: plot([cos(x),cos(x/2)],x=-7..7,y=-7..7);
Termszetesen ezeket a transzformcikat is sszetehetjk:
pl.: )(r) = 3 sin2r brja az )(r) = sinr brjbl 3-szoros amplitdnvekeds-
sel, s 2-szeres elongci cskkenssel kaphat meg:
)(r) = sinr, )(r) = 3 sin2r
MAPLE: plot([sin(x),3*sin(2*x)],x=-7..7,y=-7..7);
Sot, ha most mg tbbfle transzformci sszettelre plda az )(r) =
3 sin2(r+2)4, ahol az elozo sszettelehez mg 2 egysggel balra s 4 egysggel
lefele trtno prhuzamos eltols is trsul:
)(r) = sinr, )(r) = 3 sin2(r + 2) 4
MAPLE: plot([sin(x),3*sin(2*(x+2))-4],x=-7..7,y=-7..7);
A fggvnyek egyre pontosabb brzolst, s rszletes lerst, tanulmny-
ozst az analzis eszkzei az n. innitezimlis szmts, a hatrrtkszmts,
a derivls, dierencilszmts, s az integrlszmts teszi lehetov.
A tovbbiakban nhny elemi fggvny grakus kpt, illetve transzfor-
mltjaik kpt brzoljuk a MAPLE kompjuter algebra programcsomag fg-
gvnybrzol (plot) alkalmazsnak segtsgvel.
Ismerkedjnk meg elobb az egyszeru fggvnytranszformcik brzolsval.
Ha az ) : 1, R, 1 R fggvny megfeleltetst r
}
)(r) jelli
(r , j 1), akkor a legegyszerubb transzformcik a kvetkezok:
69
1. A fggvny kpe (s gy annak minden pontja) fggoleges irnyban n-
magval prhuzamosan eltoldik c magassgba: r
}1
)(r) + c, )
1
: 1,
R, 1 R.
Pl. ) : R R, r
}
r
2
s r
}1
r
2
+ 4 kpe a kvetkezo:
MAPLE: plot([x^2,x^2+4],x=-4..4, y=-1..7);
2. A fggvny kpe (s gy annak minden pontja) vizszintes irnyban n-
magval prhuzamosan eltoldik d tvolsgra (d _ 0 akkor d rtkkel jobbra,
ha d _ 0, akkor d rtkkel balra:
r
}2
)(r d), )
2
: 1, R, 1 R.
Pl. Az ) : R R, r
}
r
2
s r
}1
(r 3)
2
MAPLE: plot([x^2,(x-3)^2],x=-2..6, y=-1..7);
3. A fggvny kpe (s gy annak minden pontja) k-szoros fggolegesen
Prokrusztsz nyjtst "szenved el" (illetve amplitdja k- szorosra no, vagy
cskken):
r
}3
/ )(r), )
3
: 1, R, 1 R.
Pl. Az ) : R R, r
}
r
2
s r
}1
4 (r)
2
MAPLE: plot([x^2,4*x^2],x=-4..4, y=-1..7);
vagy a ) : R R, r
}
sinr s r
}1
3(sin r) :
70
71
72
MAPLE: plot([sin(x),3*sin(x)],x=-1..15, y=-8..8);
4. A fggvny kpe (s gy annak minden pontja) 1/k-szoros vizszintes
Prokrusztsz nyjtst "szenved el" (illetve / _ 1 a vltozs k-szorosra no (gy-
orsabb), vagy / _ 1 cskken):
Pl. Az ) : R R, r
}
cos r s r cos 4r) :
MAPLE: plot([cos(x),cos(4*x)],x=-1..15, y=-8..8);
Pl. Az ) : R R, r
}
cos r s r cos
r
2
) :
MAPLE: plot([cos(x),cos(x/2)],x=-1..15, y=-8..8);
Feladatok
1. llaptsa meg az albbi fggvnyek rtelmezsi tartomnyt!
a) )(r) = log
r+2
r
2
4r5
_
r5
b) )(r) =
4
_
r
2
9 +
1
_
2r
c) )(r) =
3
_
r
2
+r 1 + ln(ln(cos r + 1)) + log
r
2
4r+4
r
d) )(r) =
_
r 3 + log
3
1
_
4r
e) )(r) = lg tq3r
f) )(r) =
_
log2
3
(2r 1)
g) )(r) = 2
x
sin x
2. brzolja a kvetkezo fggvnyeket:
a) ) : R R, r
}
r
3
b) ) : R R, r
}
r
4
73
c) ) : R R, r
}
r
2
r + 1
d) ) : R R, r
}
4r
2
4r + 4
e) ) : R R, r
}
(r 1)(r 2)(r 3)
f) ) : R R, r
}
(r 1)(r 2)(r 3) + 4
2. brzolja a kvetkezo fggvnyeket:
a) ) : R 2 R, )(r) =
(r
2
1)(r+2)
(r+2)
3
b) ) : R 1, 3 R, )(r) =
(r
2
4)(r1)
(r+1)
2
(r3)
c) ) : R 3 R, )(r) =
(r
2
9)(r2)
(r+3)
3
d) ) : R 3 R, )(r) =
r
2
(r+1)
(r3)
3
e) ) : R 1 R, )(r) =
(r
2
+4)(r1)
2
(r1)
3
f) ) : R 1, 0 R, )(r) =
(r
2
4)
2
(r+1)
r(r+1)
2
3. brzolja a kvetkezo fggvnyeket:
a) ) : R R, r
}
cos 2r
b) ) : R R, r
}
sin
r
4
c) ) : R R, r
}
2
r
d) ) : R R, r
}
3
r
e) ) : (0, ) R, r
}
log
2
r
f) ) : [2, 2] R, r
}

_
4 r
2
4. brzolja a kvetkezo fggvnyeket:
a) ) : R R, r
}
c
r
+c
r
= 2 sinhr
74
b) ) : (0, ) R, r
}
3 2 ln 2r
c) ) : R R, r
}
0.5c
2r
d) ) : R R, r
}

1
1+r
2
e) ) : R 2, 2 R, r
4
4r
2
f) ) : R R, r
}

1
1+r+r
2
5. Rajzolja fel az albbi fggvnyek grakonjait a maximlis rtelmezsi
tartomnyukon!
a) )(r) = (r + 4)
2
1
b) )(r) =

r
2
5r + 6

c) )(r) = 2
]r1]+r
d) )(r) = 3
]log
3
r]
e) )(r) =
_
r
2
6r + 9
f) )(r) = 3 sin
_
r
2
_
+ 1
g) )(r) = [3 sin2r + 1]
h) )(r) = 1
_
r 2
i) )(r) =

log1
2
(r 1)

j) )(r) = log
2
1
r+1
k) )(r) =
3
x+2
2
2x1
l) )(r) = tq
_
r
t
4
_
+ 1
m) )(r) =
_
_
_
0, ha r < 2,
2
r
, ha 2 _ r _ 1,
2
]r2]r
, ha 1 < r.
6. Hatrozza meg az )(2), )
_
1
2
_
, )(0), )
_
4
3
_
helyettestsi rtkeket, ha
a) )(r) a 5. m) feladatban adott,
b) )(r) =
_
_
_
sin(r) , ha r < 1,
[2r 1[ 3, ha 1 _ r < 0,
3r
2
6, ha 0 _ r.
7. brzolja ugyanabban a koordintarendszerben a kvetkezo kt-kt fg-
gvnyt:
a) Az ) : R R, r
}
sinr s r sin
r
4
b) Az ) : R R, r
}
sinhr s r sinh
r
2
c) Az ) : R R, r
}
c
r
s r c
3r
d) Az ) : (0, ) R, r
}
ln2r s r 3 ln
r
2
e) Az ) : R R, r
}
sinr + cos r s r 2 sin(r ) 2 cos(r )
f) Az ) : R R, r
}
1 r +r
2
r
3
s r 1 +r r
2
+r
3
7. brzolja ugyanabban a koordintarendszerben a kvetkezo kt-kt fg-
gvnyt:
75
a) Az ) : R 0 R, r
}

1
r
s ) : R 4 R, r cos
1
r+4
b) Az ) : R R, r
}
s r cos
r
2
c) Az ) : R R, r
}

1
1+r
2
s r
4
1+4r
2
d) Az ) : R R, r
}

1
1+r+r
2
s r
1
10+10r+10r
2
e) Az ) : (1, ) R, r
}
ln
r+1
2
s r ln
2
r+1
f) Az ) : R R, r
}
0.5c
2r
s r 5c
0.2r
8. brzolja ugyanabban a koordintarendszerben a kvetkezo kt-kt fg-
gvnyt:
a) Az ) : R 0 R, r
}

1
r
2
s r
1
r
4
b) Az ) : R R, r
}
cos r s r cos r
3
c) Az ) : R R, r
}
cos 3r s r
1
3
cos r
3
d) Az ) : (0, ) R, r
}
lnr s r lnsinr
e) Az ) : R R, r
}
cos c
r
s az ) : R 2 R, r cos
r
2+r
f) Az ) : R 0 R, r
}
cosh
2
r
s r cosh
_

2
r
_
9. Keresse meg a kvetkezo fggvnyek inverzt s brzolja az R
2
skon!
a.) )
1
: R R, )
1
(r) = 2r 5
b.) )
2
: R R, )
2
(r) = r + 3
c.) )
3
: [0, ) [1, ), )
3
(r) = r
2
+ 1
d.) )
4
: R (0, ), )
4
(r) = 3
r1
e.) )
5
: R (2, ) , )
5
(r) =
_
1
2
_
r
+ 2
f.) )
6
: (1, ) R, )
6
(r) = log
3
(r 1).
10. Legyen )(r) = r
3
, q(r) =
_
sinr +
t
2
s /(r) = lg
_
r
2
+ 1
_
.
Kpezze az ) q, q ), / q, ) q / sszetett fggvnyeket!
11. Vizsglja meg, hogy monotonak-e a kvetkezo fggvnyek?
a) )(r) = 4 r
2
, r < 2
b) )(r) =
2
r3
, r ,= 3
c) )(r) =
r
1r
2
, r ,= 1
d) )(r) = :q:
_
ln
_
r
2
__
, r ,= 0
12. Vizsglja meg korltossg szempontjbl az albbi fggvnyeket!
a) )(r) =
r+2
r+1
, r 1
b) )(r) =
2
1+r
2
, < r <
c) )(r) =
sin r
r+1
, r 0
13. llaptsa meg, hogy az albbi fggvnyek kzl melyik pros s melyik
pratlan!
a) )(r) = sin
2
2r 3r
4
+ 4
b) )(r) = cos
3
r r + 3
76
c) )(r) =
2
x
+1
2
x
1
d) )(r) = 5rsinr + lg [r[
Sorozatok I.
A sorozat fogalmnak intuitv megkzeltse
A sorozat szmok egy rendezett felsorolsa, a szmokat sorozat tagjainak
nevezzk. Egy pldaknt magukat a termszetes szmok emlthetjk:
1, 2, 3, 4, . . .
Egy msik plda ugyanezeknek a szmoknak a ngyzete:
1, 4, 9, 16, . . .
Mindkt pldban a hrom pont azt jelzi a tagok felsorolsa utn, hogy gy
folytathat akrmeddig. Ha a felsorols akrmeddig folytathat, akkor azt
mondjuk, hogy a sorozat vgtelen, ellenkezo esetben vgesnek mondjuk.
Azt a tnyt, hogy a sorozat egy rendezett felsorols, pontosabban lerhatjuk,
ha a sorozat tagjait az 1, 2, 3, . . . , n, . . . sorszmokhoz rendeljk. Ebben
az rtelemben, rendre a sorozat 1., 2., 3., . . . , n., . . . tagjrl beszlhetnk,
azaz minden termszetes n szmhoz egyrtelmuen hozzrendeljk a sorozat n.
tagjt. Ezt az ltalnos n. tagot a
n
, s magt a sorozatot rviden (a
n
)
nN
jelli. Pldul az elobbi 1, 2, 3, 4, . . . sorozat ltalnos tagja az a
n
= :, mg az
1, 4, 9, 16, . . . sorozat esetn a
n
= :
2
.
Tekintsk most azt a sorozatot, amelynek mondjuk a
n
= 2:1 az ltalnos
tagja. A sorozat elso tagjait is felrhatjuk:
1, 3, 5, 7, . . .
Gyakran szksg van az adott eljrs megfordtsra: Ha adott a sorozat
nhny kezdo tagja, lehet, hogy szrevehetnk egy szablyszerusget, mintt,
ami lehetov teszi, hogy kitalljuk a sorozat ltalnos tagjt. Ha pontosabban
fogalmazunk, akkor a kezdo tagok szmtl fggetlenl, nem elg csupn felrni
az ltalnos tag kplett. Ez azrt van, mert a megadott tagok esetleg tbb
kpletbe is beilleszthetok.
A gyakorlatban ennek ellenre az ltalnos tagot gyakran a htkznapi logik-
val, jzan paraszti sszel talljuk ki.
Pldul, ha a sorozat tagjai rendre:
2, 4, 6, 8, 10, . . .
akkor szszerunek tunik, hogy a
n
= 2: ltalnos tagot rjuk fel.
Megjegyzsknt megadhatunk egy msik kpletet az a
n
re, ami ugyanezt
az t elso tagot adn:
a
n
= 2: + 1000(: 1)(: 2)(: 3)(: 4)(: 5)
de mgis sokkal szszerubb a
n
= 2: kplet hasznlata.
Az a gondolkodsi t amelynek a sorn egy szablyszerusg meggyelsvel
egy kpletet tallunk ki, az induktv gondolatmenet. Nem az a clunk, hogy
egy ismert tnybol, szablybl kvetkeztetst fogalmazunk meg (ez a deduktv
gondolatmenet), hanem a meggyelsek alapjn mintegy megsejtjk, megj-
soljuk az eredmnyt.
77
1. Feladat. Az albbi sorozatokat a kezdo tagok felsorolsval adtuk meg.
Prblja meg kitallni a szablyszerusget, s rja fel a sorozat kvetkezo hrom
tagjt
a) 7, 13, 19, 25, _ _ _ _ _ _ , _ _ _ _ _ _ , _ _ _ _ _ _
b) 3, 1, 1, 3, 5, _ _ _ _ _ , _ _ _ _ _ , _ _ _ _ _ _
c) 6, , 9, ,12, _ _ _ _ _ , _ _ _ _ _ , _ _ _ _ _ _
Meg kell jegyeznnk, hogy nem minden sorozat rejt ilyen szablyszerusget.
Pldul a kvetkezo sorozat
3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5, 8, 9, . . .
tagjai nem tartalmaznak semmilyen szablyszerusget, de egyesek felismer-
hetik a kr kerletnek s tmrojnek az arnyt kifejezo nevezetes = 3,
141592653589. . . szm szmjegyeit, mint a sorozat tagjait.
Haladvnyok
A haladvnyok olyan szablyszerusget tartalmaz sorozatok, amelyeket
mr az korban is ismertek, tanulmnyoztak. A kvetkezo fejezetekben a legis-
mertebb haladvnyokat, a szmtani, mrtani s harmonikus haladvnyokat tanul-
mnyozzuk.
Ezek meghatrozst a kvetkezo sorokban adjuk meg
Meghatrozs szerint egy szmtani haladvny brmely tagjt gy kaphatjuk
meg, hogy a sorrendben elotte lvohz ugyanazt az llandt adjuk hozz. Ha
ennek az llandnak az rtke r, akkor az (a
n
)
nN
szmtani haladvnyban:
a
2
= a
1
+r, a
3
= a
2
+r, a
4
= a
3
+r, a
5
= a
4
+r, . . .
Megjegyzendo, hogy r = a
2
a
1
= a
3
a
2
= a
4
a
3
= a
5
a
4
= . . . , azaz
az lland klnbsg brmely tag s az ot megelozo tagnak a klnbsge.
2. Feladat. A kvetkezo szmtani haladvnyokban keresse meg a haladvny
lland klnbsgt, majd segtsgvel rja fel a haladvnyok hinyz tagjait:
a)
1
4
,
1
2
,
3
4
, 1,
5
4
, _ _ _ _ _ , _ _ _ _ _ , _ _ _ _ _
b) 10, 4, 2, 8, 14,_ _ _ _ _ , _ _ _ _ _ , _ _ _ _ _
c)
9
10
,
4
5
,
7
10
,
3
5
,
1
2
, _ _ _ _ _ , _ _ _ _ _ , _ _ _ _ _
Meghatrozs szerint egy mrtani haladvny brmely tagjt gy kaphatjuk
meg, hogy a sorrendben elotte lvot ugyanazzal az llandval megszorozzuk. Ha
ennek az llandnak az rtke r, akkor az (a
n
)
nN
mrtani haladvnyban
a
2
= a
1
r, a
3
= a
2
r, a
4
= a
3
r, a
5
= a
4
r, . . .
Megjegyzendo, hogy ha minden a
n
nulltl klnbzo, akkor r =
on+1
on
azaz az lland hnyados brmely tag s az ot megelozo tagnak a hnyadosa.
3. Feladat. Keresse meg a kvetkezo mrtani haladvnyok lland hnya-
dost, majd rja fel a hinyz tagokat:
a) 8, 4, 2, 1,
1
2
, _ _ _ _ _, _ _ _ _ _
b) 1, 3, 9, 27, 81, _ _ _ _ _, _ _ _ _ _
c) 4,
4
3
,
4
9
,
4
27
,
4
81
, _ _ _ _ _, _ _ _ _ _
d) 20, 5,
5
4
,
5
16
,
5
64
, _ _ _ _ _, _ _ _ _ _
78
Meghatrozs szerint egy (a
n
)
nN
,nulltl klnbzo tagokat tartalmaz,
sorozatot harmonikus haladvnynak neveznk, ha az
_
1
on
_
nN
, a sorozat tag-
jainak inverzeibol ll sorozat, egy szmtani haladvny.
Pldul:
1,
1
2
,
1
3
,
1
4
,
1
5
, ...
egy harmonikus haladvny, mivel az inverzek
1, 2, 3, 4, 5, . . .
sorozata szmtani haladvny.
4. Feladat. rja fel a kvetkezo harmonikus haladvnyok kt hinyz tagjt:
a)
3
11
,
3
12
,
3
13
,
3
14
,
3
15
, _ _ _ _ _ , _ _ _ _ _
b)
1
8
,
1
11
,
1
14
,
1
17
,
1
20
, _ _ _ _ _ , _ _ _ _ _
c) 1,
1
4
,
1
7
,
1
10
,
1
13
, _ _ _ _ _ , _ _ _ _ _
d) 3,
3
7
,
3
13
,
3
19
, _ _ _ _ _ , _ _ _ _ _
5. Feladat. Tanulmnyozza a kvetkezo sorozatokat. Eloszr rja fel a
hinyz tagokat, majd dntse el, hogy szablyszerusg szmtani, mrtani, vagy
harmonikus haladvnyt vagy a felsoroltak egyikt sem jelenti. Ahol lehetsges,
rja fel az adott sorozat kvetkezo kt tagjt.
a) 2, 3, 4, 5, 6, . . . .
b) 2, 4, 8, 16, . . . ..
c) x, 5x, 25x, . . . .
d)
2
3
, 2,
10
3
, 3, . . .
Elkvetkezett az a pillanat, amikor a haladvnyok trtnetrol is rdemes
nhny szt ejtennk.
A szmtani s mrtani haladvnyok mintegy ngyezer ves matematikai fe-
ladatokban gykereznek. Pldul az egyiptomi Rhind Papirusz (kb.1850 i.e.)
azt a krdst teszi fel, hogy miknt lehet sztosztani 300 szelet kenyeret 5 ember
kzt a kvetkezo felttelekkel: a harmadik ugyanannyi szelettel kap tbbet a
msodiknl, mint amennyivel a msodik tbbet kapott az elsonl, s gy tovbb
mindenki a sorban pontosan annyival kap tbbet az ot sorban megelozonl,
mint amennyivel az tbbet kapott, mint a sorban elotte lvo. Tovbb az
utols hrom egytt htszer annyit kapott, mint az elso ketto. Szmtsa ki
a kenyrszeletek szmt, amit az emberek kln- kln kaptak.
A vlasz a szmtani haladvnyokhoz vezet. Ugyanabban a papiruszban egy
msik feladat a mrtani haladvnyokon alapszik. Az a feladat, hogy hatrozzuk
meg a hzak, macskk, egerek s bzaszemek szmt, ha tudjuk, hogy a ht
hzban mindegyikben ht macska van, minden macska ht egeret fogott, s
minden egr ht szem bzt evett meg.
A szmtani s mrtani haladvnyok egy alapos lersa megtallhat az kori
grg matematikusok munkiban. A krdst az kori Pithagorszi iskola kpviseloi
kezdtk tanulmnyozni, akik ismertk a szmtani sorozat sszegnek szmtst.
Hasonlan Euklidsz az Elemekben megadta a mrtani haladvny sszegk-
plett. Mindezt sok grg matematikus hasznlta, s fejlesztette, alkalmazta
a matematika klnbzo terletein.
Kzprtkek
79
Meghatrozs. Az a s b szmok szmtani kzepe:
:
o
=
a +/
2
Ha a s b azonos elojelu szmok (azaz ab 0), akkor a szmok mrtani
kzepe:
:

=
_
a/
s ha a s b nulltl klnbzoek, akkor a szmok harmonikus kzepe:
:
|
=
2
1
o
+
1
b
Pldul ellenorizheto, hogy a kocka cscsainak (v) szma az lek (e) s az
oldallapok (f) szmnak harmonikus kzepe:
=
2
1
t
+
1
}
azaz
1
c
+
1
)
=
2

s a szmokkal:
1
12
+
1
6
=
2
8
.
Az elobbi hrom kzprtket, s tovbbi hetet, mr a Pithagoreusok (az
kori Pithagorszi iskola kpviseloi) is ismertk, de msknt (azzal egyenrtku
mdon) hatroztk meg azokat. Az eredeti meghatrozsok a kvetkezok:
Meghatrozs (Nicomachus, Introduction to Arithmetic alapjn) Az (:
o
)
szmtani kzp, (:

) mrtani kzp, s az (:
|
) harmonikus kzp rendre eleget
tesz a kvetkezoknek:
a :
o
:
o
/
=
a
a
;
a :

/
=
a
:

; c:
a :
|
:
|
/
=
a
/
.
6. Feladat. Igazolja, hogy a hrom kzprtkre megadott denci ekvi-
valens.
Bizonyts. Ha
ona
nab
= 1, a Pithagoreusok meghatrozsa szerint, akkor
a :
o
= :
o
/, s gy 2:
o
= a +/. Ez utbbi nyilvn az ma szmtani kzp
meghatrozsval egyenrtku. Az llts fordtottja a bizonyts lpeseinek
fordtott sorrendjben kvetkezik.
Ha most az
ong
ngb
=
o
ng
egyenlosgbol indulunk ki, akkor (a :

) :

=
(:

/) a, gy :
2

= a/, s teht:

=
_
a/ . A fordtott irnyban is egyszeruen
kvetkezik.
80
Vgl, ha
on
h
n
h
b
=
o
b
, akkor (a :
|
) / = (:
|
/) a, teht 2a/ = a:
|
+
/:
|
. Ez utbbi egyenlosget a/- vel elosztva 2 = :
|
(
1
o
+
1
b
), ami azt jelenti,
hogy :
|
=
2
1
a
+
1
b
. A lpseket fordtott sorrendben kvetve, a bizonyts teljes
egszben befejezheto.
rdekessgknt megjegyezheto, hogy a szmtani, mrtani s harmonikus
kzp fogalmaknak mrtani rtelmezsei is jl ismertek. Ezek egy rszt tar-
talmazzk a kvetkezo feladatok.
7. Feladat. Jellje az ABCD trapzban az AB s CD prhuzamos oldalakat,
s 1 = a, C1 = /. Ha E s F rendre az AD s CD kzppontjait jelli, (s gy
EF prhuzamos AB s CD-vel) s 11 = r, igazolja, hogy
r =
a +/
2
(lsd 1. bra).
1. bra
8. Feladat. Tekintsnk egy csonka glt.
Igazolja, hogy az alapoktl egyenlo tvolsgra lvo metszet M terletnek
ngyzetgyke szmtani kzepe a T s t alaplapterletek ngyzetgyknek, azaz
_
' =
_
T +
_
t
2
(a 2. bra az egyszeru szemlltets kedvrt hromszg alap csonkaglt tar-
talmaz):
2. bra
9. Feladat. Brmely derkszgu hromszgben az tfogra meroleges mag-
assg mrtani kzepe az tfogn ltala meghatrozott kt szakasznak (3. bra).
3. bra
10. Feladat. Brmely derkszgu hromszg akrmelyik befogja mrtani
kzepe, az tfognak s az tfogra eso vetletnek (3. bra).
81
11. Feladat. Jellje c valamely, az ABCD trapz a s b hosszsg alap-
jaival prhuzamos szakasz hosszt. Ha ez a c hosszsg szakasz a trapzt kt
egyenlo T
1
, T
2
(T
1
= T
2
) rszre bontja, akkor igazolja, hogy
c
2
=
a
2
+/
2
2
(4. bra).
4. bra
12. Feladat. Ha ABC hromszg A szgnek belso s klso szgfelezoje
a szemben fekvo BC oldalt rendre a D s E pontokban metszi, akkor igazolja,
82
hogy ez a ngy pont egy n. harmonikus pontngyes (5. bra), azaz teljesl a
kvetkezo sszefggs:
2
1C
=
1
11
+
1
11
5. bra
.
13. Feladat. Az ABCD trapzban. amelynek prhuzamos alapjai AB s
CD, tekintsk azt az alapokkal prhuzamos EF szakaszt (legyen E az AD s F a
BC pontja), amely tartalmazza az AC s BD tlk H metszspontjt. Igazolja,
hogy EF az AB s CD alapok harmonikus kzepe:
2
11
=
1
1
+
1
C1
Haladvnyok tovbbi tulajdonsgai
Knnyen bizonythat a meghatrozs alapjn, hogy a szmtani haladvny
brmely hrom egymst kveto a
n1
, a
n
, a
n+1
tagjra teljesl a kvetkezo ssze-
fggs:
a
n
=
a
n1
+a
n+1
2
Fordtva, ha egy (a
n
)
nN
sorozat brmely n 1 esetn teljesti a fenti ssze-
fggst, akkor (a
n
)
nN
egy szmtani haladvny. Nha a feladatok megoldskor
83
szimmetria okokbl a haladvny hrom, egymst kveto a
n1
, a
n
, a
n+1
tagjt
rdemes az a r, a, a + r alakban rni. Hasonlan, a szmtani haladvnyok
szoksos jellsei s a
1
= a, a
2
= a +r ekkor nyilvn a
3
= a + 2r, a
4
= a + 3r ,
s ltalban a
n
= a + (: 1)r. Ebbol knnyen belthat, hogy:
a
1
+a
n
= a
2
+a
n1
= a
3
+a
n2
= a
4
+a
n3
= ... (*)
14. Feladat. Igazolja a szmtani haladvny brmely hrom "egyenlo kzu"
a
n|
, a
n
, a
n+|
tagjra a kvetkezo sszefggst:
a
n
=
a
n|
+a
n+|
2
15. Feladat. Igazolja, hogy a szmtani haladvny elso : tagjnak o
n
sszege a kvetkezokppen szmthat ki:
o
n
= a
1
+a
2
+a
3
+...a
n
= :
a
1
+a
n
2
= :
2a + (: 1)r
2
(mskppen o
n
= :a +
n(n1)
2
r).
(tlet: rja fel az sszeg al ugyanazt fordtott sorrendben. Ezeket sszeadva
alkalmazza (*) sszefggst.
16. Feladat. Igazolja, hogy
a) 1 + 2 + 3 +... +: =
:(: + 1)
2
/) 1 + 3 + 5 +... + (2: 1) = :
2
Knnyen belthat a meghatrozs alapjn, hogy a mrtani haladvny brmely
hrom egymst kveto a
n1
, a
n
, a
n+1
tagjra teljesl a kvetkezo sszefggs:
a
n
=
_
a
n1
a
n+1
Fordtva, ha egy (a
n
)
nN
sorozat brmely n 1 esetn teljesti a fenti ssze-
fggst, akkor (a
n
)
nN
egy mrtani haladvny. A feladatok megoldskor sz-
immetria okokbl a haladvny hrom, egymst kveto a
n1
, a
n
, a
n+1
tagjt
rdemes az
o
:
, a, ar alakban rni. A mrtani haladvnyok szoksos jellsei
a
1
= a, a
2
= ar ekkor nyilvn a
3
= ar
2
, a
4
= ar
3
, s ltalban a
n
= ar
n1
.
17. Feladat. Igazolja a mrtani haladvny brmely hrom "egyenlo kzu"
a
n|
, a
n
, a
n+|
tagjra a kvetkezo sszefggst:
a
n
=
_
a
n|
a
n+|
18. Feladat. Igazolja, hogy a mrtani haladvny elso : tagjnak o
n
sszege
a kvetkezokppen szmthat ki:
o
n
= a
1
+a
2
+a
3
+...a
n
= a
1 r
n
1 r
.
(tlet: az adott sszeg az alakban rhat, ezt r-el szorozva: . A ketto
klnbsge a megolds kulcsa.)
84
19. Feladat. Igazolja, hogy a mrtani haladvny elso n tagjnak 1
n
szorza-
tra igaz:
1
n
= a
1
a
2
a
3
...a
n
= a
n
r
n(n1)
2
Knnyen belthat a meghatrozs alapjn, hogy a harmonikus haladvny
brmely hrom egymst kveto, nemnulla a
n1
, a
n
, a
n+1
tagjra teljesl a kvetkezo
sszefggs:
2
a
n
=
1
a
n1
+
1
a
n+1
Fordtva, ha egy (a
n
)
nN
nemnulla sorozat brmely n 1 esetn teljesti a
fenti sszefggst, akkor (a
n
)
nN
egy harmonikus haladvny.
Megjegyezzk, hogy a fenti bekezdsben nyilvn fontos feltenni, hogy a
sorozat tagjai nulltl klnbzoek. Ugyanakkor nha mg tovbbi feltteleket
is meg kell adni. Vegyk a kvetkezo pldt: Tegyk fel, hogy az a
1
= 6, a
2
=
8, a
3
= 12 egy harmonikus haladvny elso hrom tagja, s szmtsuk ki a
kvetkezo tagjait. Az a
4
rtkre a fenti sszefggs alapjn szmtva, a
2
o3
=
1
o2
+
1
o4
azaz
2
12
=
1
8
+
1
o4
,
1
o4
=
1
6

1
8
=
1
24
teht a
4
= 24 addik. Tovbb
szmtva, az a
5
rtkhez felhasznljuk a
2
o4
=
1
o3
+
1
o5
sszefggst, s azt
kapjuk, hogy
1
o5
=
2
o4

1
o3
=
2
24

1
12
= 0, ami lehetetlen.
Lssuk, mit tehetnnk az ellentmondsnak a kikszblsre? Jellje a s a
harmonikus sorozat elso s msodik tagjt rendre a
1
= a, s a
2
= a + r. Az
elobb is felhasznlt
2
on
=
1
on1
+
1
on+1
sszefggs alapjn knnyen levezetheto,
hogy
a
1
= a
a +r
a +r
, a
2
= a
a +r
a
, a
3
= a
a +r
a r
, a
4
= a
a +r
a 2r
, ...
s ltalnosan
a
n
= a
a +r
a (: 2)r
.
Teht, az ellentmonds kikszblshez, annak a szksges felttele, hogy
a nevezo nulltl klnbzo legyen, pontosan az, hogy az a ne legyen az r
pozitv tbbszrse (ellenkezo esetben az nevezo rtke 0 arra az :-re amelyre
a = (: 2)r).
Visszatrve most az elozo pldhoz, azt kapjuk, hogy ha egy harmonikus ha-
ladvny elso hrom tagja 6, 8, 12 akkor a = 6, r = 2 gy az a pozitv tbbszrse
az r-nek, teht ez okozn az ellentmondst. Ha pldul ugyanezt a hrom tagot,
de a 12, 8, 6 sorrendben vesszk egy sorozat elso hrom tagjnak, akkor viszont
a = 12, r = 4 teht a nem pozitv tbbszrse az r-nek. Ez azt is jelenti, hogy
az adott szmok ebben a sorrendben mr lehetnek egy harmonikus haladvny
tagjai, s a haladvny tovbbi tagjait is ki lehet szmtani.
20. Feladat. Igazolja a harmonikus haladvny brmely hrom "egyenlo
kzu", nemnulla a
n|
, a
n
, a
n+|
tagjra a kvetkezo sszefggst:
2
a
n
=
1
a
n|
+
1
a
n+|
85
21. Feladat. Igazolja, hogy a harmonikus haladvny elso : tagjnak
reciproknak sszegre igaz a kvetkezo sszefggs:
1
n
=
1
a
1
+
1
a
2
+
1
a
3
+... +
1
a
n
=
:
2
_
1
a
1
+
1
a
n
_
=
:(2a (: 3)r)
2a(a +r)
22. Feladat. Keresse meg annak a felttelt, hogy a egy derkszgu hrom-
szg oldalai egy szmtani haladvny tagjai legyenek.
Megolds. Jellje a derkszgu hromszg oldalait rendre / r, /, s / + r.
Pithagorsz ttele alapjn
(/ r)
2
+/
2
= (/ +r)
2
amibol / = 4r kvetkezik. Teht a hromszg oldalai rendre 3r, 4r, 5r. (ezt a
3r, 4r, 5r alak n. Pithagorsz-i szmhrmast mr az korban is ismertk, sot
mr a Mezopotmia-i agyagtblkon is felfedezhetok).
22. Feladat. Feltve, hogy egy hromszg oldalai egy szmtani haladvnyt
kpeznek, igazolja, hogy ez a hromszg akkor, s csakis akkor lehet derkszgu,
ha az oldalak lland klnbsge (a haladvny konstansa) ppen a hromszg
bert krnek sugara.
Megolds. Ha a hromszg derkszgu, akkor az oldalai az elozo plda
alapjn 3r, 4r, 5r alakban rhatk, s a bert kr sugara r, a hromszg T
terletnek, s j flkerletnek arnyaknt rhat fel :
r =
T
j
, azaz r =
3r.4r
2
3r+4r+5r
2
= r
Teht r = r = 4r 3r = 5r 4r, gy a felttel szksgessgt belttuk.
Fordtott irnyban, ha feltesszk, hogy a hromszg oldalai olyan szmtani
haladvnyt kpeznek, aminek lland klnbsge egyenlo a bert kr r sugarval,
akkor az oldalak a = / r, /, s c = / +r, s a hromszg terlete T = j.r, ahol
j a flkerlet. Hron kplett (T =
_
j(j a)(j /)(j c)) alkalmazhatjuk s
gy teht
3b:
2
=
_
3b
2
(
b
2
r)
b
2
(
b
2
+r)
ms szavakkal , teht , s gy / = 4r. Kvetkezik, hogy a = 3r, / = 4r s
c = 5r, ppen egy derkszgu hromszg oldalai.
23. Feladat. Tegyk fel, hogy egy hromszg oldalainak ngyzetei egy
szmtani haladvnyt kpeznek. Igazolja, hogy ekkor a hromszg slyvon-
alainak (egy cscsot a szemkzti oldal kzppontjval sszekto szakasz) n-
gyzetei is egy szmtani haladvny tagjai. Igaz-e a fordtott llts?
tlet: Az A ponthoz tartoz :
o
slyvonal hossznak ngyzete
:
2
o
=
2(/
2
+c
2
) +a
2
4
.
24. Feladat. Vegyk a kvetkezo sorozatokat:
86
1, 5, 9, 13, 17, 21, 25, 29, 33, 37. . .
4, 15, 26, 37, 48, 59, . . .
Keresse meg a kt szmtani haladvny kzs tagjait, s igazolja, hogy azok
is szmtani haladvnyt kpeznek. ltalnostsa a feladatot!
25. Feladat. Tekintsk egy sorozat a
1
, a
2
, a
3
, . . . , a
n
, . . . tagjait. Igazolja,
hogy ez a sorozat akkor, s csakis akkor szmtani haladvny, ha:
1
a
1
a
2
+
1
a
2
a
3
+
1
a
3
a
4
+.... +
1
a
n1
a
n
=
: 1
a
1
a
n
, / ar:c|j : N c:ct c:.
26. Feladat. Kt atal llsinterjra jelentkezik. Mindketten a kvetkezo
krdst kapjk a gondolkod kpessgeik ellenorzsre:
Ha a munkltat elgedett a munkjval, akkor az alkalmazott maga
dntheti el, hogy miknt emeljk az 1000 eurt kitevo kezdo zetst: vagy a)
minden ngy ht eltelte utn 15 eur zetssel tbbet kap, vagy b) minden kt
ht eltelte utn 5 eur zetsemelst kap. Ha n kellene vlaszoljon helyettk,
melyik lehetosget vlasztan?
Magyarzza meg a vlaszt!
27. Feladat. Tekintsnk egy olyan egyenloszr trapzt, amely kr kr
rhat. Legyen 2a, 2/ s r rendre a trapz alapjai, s a bert kr sugara. Igazolja,
hogy r
2
= a/ , vagyis a, r, / egy mrtani haladvnyt kpez (6. bra).
6. bra
28. Feladat. Keresse meg annak a felttelt, hogy egy derkszgu hrom-
szg oldalai mrtani haladvnyt kpezzenek.
Megolds. Ha a derkszgu hromszg oldalai egy mrtani haladvny egyms
utni tagjai, akkor hosszsguk jellsre alkalmas az a, ar, s ar
2
. Pithagorsz
ttele alapjn a
2
= (ar)
2
+(ar
2
)
2
, teht, feltve, hogy a ,= 0, 1 = r
2
+r
4
, gy r
2
=
1
_
5
2
, s a feltteleknek megfelelo egyetlen vals megolds r =
_
1+
_
5
2
. Arra
a kvetkeztetsre jutottunk, hogy a derkszgu hromszg oldalai a, a
_
1+
_
5
2
s
a
1+
_
5
2
, ahol a pozitv.
29. Feladat. Ha a kvetkezo felttelek egyidejuleg teljeslnek:
87
a, b, c szmtani haladvnyt kpeznek,
b, c, d mrtani haladvnyt kpeznek,
c, d, e harmonikus haladvnyt kpeznek,
akkor a, c, s e mrtani haladvnyt kpeznek.
30. Feladat. A Miskolci Csokoldgyr j csokoldtermkt npszerusti,
amelynek minden tblja egy szelvnyt tartalmaz. Kt ilyen szelvny bevlthat
egy jabb tbla csokoldra (amelyben szintn van egy jabb szelvny). Mit
rhet valjban egy ilyen tbla csokold?
(tlet: A szmtsok szerint 1 +
1
2
+
1
2
2
+
1
2
3
+ ...tbla csokoldt jelent,
amely vgso soron sszegezodik, s ez az, egyre tbb tagot szmll sorozat
"sszege" vgl 2).
Rekkurencia kplettel megadott sorozatok
A sorozatok fogalma gyakran megjelenik (szmsorozatok s alkalmaz-
suk a mindennapi let rsze, pl. napi homrsklet, vi terms, stb), s gyakran
elofordul, hogy a sorozat tagjait az oket megelozo egy vagy tbb tag rtkt fel-
hasznl szablyszerusggel adjuk meg (pldul a npessg nvekedse, vagy egy
bankbett nvekedse a pillanatnyi rtkkel arnyosan). Az ilyen szablyokat
rekurrencia relciknak nevezzk.
A rekurrencia relcikkal megadhat sorozatokra fontos pldk az elozoek-
ben tanulmnyozott szmtani, mrtani s harmonikus haladvnyok. Valban a
kvetkezo szablyok ktik ssze a haladvny egy tagjt az ot megelozovel:
szmtani haladvny esetn: a
n+1
= a
n
+r, ahol a
1
s r adott,
mrtani haladvny esetn: a
n+1
= a
n
r, ahol a
1
s r adott, s
harmonikus haladvny esetn:
1
on+1
=
1
on
+r, ahol a
1
s r adott.
A kt elso rekurrencia relcit lineris rekurrencia relciknak nevezzk,
mivel a benne szereplo tagok elso hatvnyt tartalmazzk (a harmadik esetben
az a
n
-ek 1 hatvnya szerepel. Az elso kettot elsorendu lineris rekurrencinak
nevezzk, mivel a
n+1
az ot kzvetlenl megelozo tagra pl.
Rekurrencia kpletek kzt taln az a leghresebb ami Fibonacci Liber Abaci
cmu knyvben jelent meg.
Ez azt jelenti, hogy a
n+2
= a
n+1
+ a
n
. Megjegyzendo, hogy most mindkt
elso tagot, az a
1
s a
2
-t egyarnt ismerni kell, ahhoz, hogy az egsz sorozat
felrhat legyen.
A Fibonacci rekurrencia kplet szintn lineris, de mr msodrendu.
Fibonacci a Liber Abaci c. munkjban a kvetkezo feladatot fogalmazza
meg:
Egy ember vett egy pr kisnyulat (anyallat s apallat), egy hnap alatt
ivarrettek lettek s a msodik hnap utn szaporodni kezdtek a kvetkezok
szerint: minden hnapban egy pr kisnyl szletett, ugyanolyan sszettelben,
mint az eredeti vtelkor, s minden j pr ugyanazt a szaporulatlncot kvette:
egy hnap alatt ivarrettek lettek s a msodik hnap utn szaporodni kezdtek.
Mennyi a nyulak szma rendre a kvetkezo hnapokban?
Ellenorizheto, hogy:
Elso hnapban: 1
88
Msodik hnapban: 1
Harmadik hnapban: 2
Negyedik hnapban: 3
tdik hnapban: 5
Knnyen belthat, hogy ha az :. hnapban a nyulak a
n
, akkor teljesl a
kvetkezo sszefggs a
n+2
= a
n+1
+a
n
, s az elso kt tag a
1
= 1 s a
2
= 1. Ez
az n. Fibonacci sorozat
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ...
31. Feladat. rja fel az elobb ismertetett Fibonacci sorozat hrom hinyz
tagjt:
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, _ _ _ _ _ _ , _ _ _ _ _ _ _ , _ _ _ _
_ _
Mit mondhatunk a Fibonacci sorozat ltalnos tagjrl? Ebben az esetben
nem olyan egyszeru a vlasz, mint az elozo krdsekben.
Sorozatok II.
Ez a fejezet is a sorozatokrl szl. Ajnljuk, hogy ezt megelozoen a hallgat
a Sorozatok I. c. rszt tanulmnyozza, amelyben foknt a Szmtani, Mrtani
s Harmonikus Haladvnyokat ismerheti meg. Az albbiakban rviden ssze-
foglaljuk az emltett fejezet nhny eredmnyt.
A Sorozatok I. a sorozatok egy intuitv lerst tartalmazza. Ha egy pontos
dencit akarunk, akkor az a kvetkezokppen adhat meg:
Denci. Egy (vgtelen) sorozat a termszetes szmok egy lekpzse a vals
szmokra, azaz egy ) : N R fggvny.
A sorozatot meghatroz fggvnyt rendszerint nem nevezzk meg, s a
szoksos )(1), )(2), )(3), ... fggvnyrtk jells helyett azokat egyszeruen a
sorozat elso, msodik, harmadik, . . . tagjnak nevezzk, s a jellsk:
a
1
, a
2
, a
3
, ...
Magt a sorozatot tmren (a
n
), vagy (a
n
)
nN
jelli, s a
n
t a sorozat l-
talnos tagjnak nevezzk.
Nha vges sorozatokrl beszlnk, s egy vgtelen sorozat kezdo tagjait
rtjk alatta. Pldul a
1
, a
2
, a
3
, a
4
, a
5
, a
6
, a
7
, a
8
egy nyolc tag vges sorozat.
Egy sorozat megadhat az ltalnos tagjval, pldul , vagy egy rekurrencia
relcival amely a sorozat egy tagjt az ot megelozo tag, vagy tagok segtsgvel
adja meg. Pldul a Fibonacci sorozat tagjait a kvetkezokppen adhatjuk meg:
a
1
= 1, a
2
= 1 s a
n+2
= a
n+1
+a
n
(ha : _ 1)
Lineris rekurrencia relcival adhatk meg a szmtani, mrtani, s har-
monikus haladvnyok tagjai is pldul.
Valban, hogy ha egy (vges, vagy vgtelen) sorozat brmely hrom, egymst
kveto a
n1
, a
n
, a
n+1
tagjra teljesl a kvetkezo sszefggs:
a
n
=
a
n1
+a
n+1
2
89
akkor a sorozatot szmtani haladvnynak nevezzk.
Ha egy sorozat brmely hrom, egymst kveto a
n1
, a
n
, a
n+1
tagjra tel-
jesl a kvetkezo sszefggs:
a
n
=
_
a
n1
a
n+1
akkor a sorozat mrtani haladvny.
Vgl, ha egy nulltl klnbzo tagokat tartalmaz sorozat brmely hrom,
egymst kveto a
n1
, a
n
, a
n+1
tagjra teljesl a kvetkezo sszefggs:
2
a
n
=
1
a
n1
+
1
a
n+1
akkor a sorozat egy harmonikus haladvny.
Ugyanez a hrom haladvny megadhat rekurrencia relcival (rekurzv ton)
a kvetkezok szerint:
a
n+1
= a
n
+r, ahol a
1
s r adott, egy szmtani haladvny,
a
n+1
= a
n
r, ahol a
1
s r adott, egy mrtani haladvny, s
1
on+1
=
1
on
+ r, ahol a
1
s r adott, (s ahol a
1
nem pozitv tbbszrse
r-nek), egy harmonikus haladvny.
Az elobbi hrom haladvny ltalnos tagja is megadhat, ezek rendre:
a
n
= a+(:1)r, a
n
= ar
n1
, s a
n
= a
o+:
o(n2):
, ahol a = a
1
s r adottak.
1. Feladat. Igazolja, hogy a dencihoz hasonl tulajdonsg mindhrom
haladvny esetn igaz brmely hrom: a
n|
, a
n
, a
n+|
egyenlo tvolsgra lvo
tagra, azaz a megfelelo haladvnyoknl rendre teljeslnek az:
a
n
=
o
nk
+o
n+k
2
, a
n
=
_
a
n|
a
n+|
s
2
on
=
1
o
nk
+
1
o
n+k
sszefggsek.
Szmtani haladvnyok tpusfeladatai
2. Feladat. Egy szmtani haladvny elso hrom tagja rendre 20, 16.5 s
13. Szmtsa ki a tizentdik tagot!
Megolds. Az adott szmtani haladvny lland klnbsge -3.5 s elso
tagja 20. Teht az n. tag kplete a
n
= a + (: 1)r szerint a
15
= a + 14r =
20 + 14.()3.5 = 29
3. Feladat. Ha a szmtani haladvny harmadik tagja, a
3
= 2, valamint a
kilencedik tagja,a
9
= 20, keresse meg a hatodik tagot!
Megolds. A feladat adatainak s az a
n
= a + (: 1)r kpletnek a fel-
hasznlsval: a + 2r = 2,
s a + 8r = 20. A kapott egyenletrendszer megoldsai: a = 4 s r = 3 ,
majd kiszmthat a
6
= a + 5r = 4 + 15 = 11.
szreveheto, hogy a feladat mg egyszerubben is megoldhat, ha az egyenlo
kzu tagokra vonatkoz tulajdonsgot alkalmazzuk: a
6
=
o3+o9
2
=
2+20
2
= 11.
Mrtani haladvnyok tpusfeladatai
90
4. Feladat. Ha a mrtani haladvny harmadik tagja 5, hatodik tagja -40,
keressk meg a nyolcadik tagjt!
Megolds. Alkalmazzuk a mrtani haladvny az :. tagjnak kplett, gy
ar
2
= 5, s ar
5
= 40. A kt egyenletbol r
3
= 8, ennek egyetlen val
megoldsa r = 2, tovbb a =
5
4
, gy aztn a
8
= ar
7
=
5
4
(128) = 160,
teht a
8
= 160.
A mrtani haladvnyoknak valsznuleg a leghresebb feladata a sakkmester
feladat:
Egy kirly azt grte a sakkmesternek, hogy brmit megad, amit az kvn,
ha megnyeri a jtkot, s termszetesen a sakkmester knnyedn nyert. A
sakkmester csak annyit krt, hogy a sakktbla elso ngyzetre egy szem bzt
tegyen a kirly, majd ktszer annyit tegyen a msodikra, s gy folytassa mind
a 64 ngyzetre, mindig ktszer annyit tegyen a kvetkezo ngyzetre, mint amen-
nyit az elozore tett. Mit gondol, rvendett-e a kirly a szerny kvnsgnak?
Lehet, hogy elso hallsra egyszeruen teljesthetonek gondolta, de vgiggondolva,
mr nem. Mi az n vlemnye?
Lineris rekurrencia relcival adott sorozatok
A haladvnyok mellett ms jl ismert pldkat adhatunk a rekurrencia rel-
cikkal megadhat sorozatokra. A leghresebb taln a Fibonacci sorozat, amit
az a
n+2
= a
n+1
+a
n
msodrendu lineris rekurrencia relci s az a
1
= 1, a
2
= 1
kezdeti felttelek hatroznak meg. Tagjai rendre:
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ...
Mit mondhatunk az ltalnos tagjrl? Ltezik-e az a
n
-t ler kplet? Erre
a krdsre nem is olyan egyszeru a vlasz, de a kvetkezokppen keresheto meg:
Lnyeges megllaptani, hogy az adott rekurrencia relci s a kezdeti felttelek
(elso kt tag) teljesen meghatrozzk a sorozatot. Valban ha (/
n
) is egy olyan
sorozat amire s /
1
= a
1
, /
2
= a
2
, akkor kijelenthetjk, hogy /
n
= a
n
minden
:-re (nem csupn : = 1 vagy : = 2 esetn). Valban rendre:
/
3
= /
2
+/
1
= a
2
+a
1
= a
3
,
gy aztn /
4
= /
3
+/
2
= a
3
+a
2
= a
4
,
s ltalban, induktv ton belthat, hogy /
n
= a
n
minden n esetn.
Az ltalnos taghoz a kvetkezokppen juthatunk el: Egy (/
n
) sorozatot
keresnk, amire s /
1
= a
1
= 1, /
2
= a
2
= 1.
Elsore keressk az adott msodrendu lineris rekurzinak egy nulltl kln-
bzo /
n
= r
n
alak megoldst.
Helyettestsk be a /
n
= r
n
kifejezst az adott relciba, majd a kzs
tnyezovel egyszerustve eljutunk az:
r
2
= r + 1.
n. karakterisztikus egyenlethez, amelynek r megoldsa kell legyen:
Ennek az egyenletnek kt gyke r
1
=
1+
_
5
2
s r
2
=
1
_
5
2
.
Teht, mindketto, azaz /
n
= r
n
1
=
_
1+
_
5
2
_
n
s /
n
= r
n
2
=
_
1
_
5
2
_
n
kielgti
a rekurrencia relcit. Ezt akr ellenorizhetjk is.
91
Ha /
n
= r
n
1
=
_
1+
_
5
2
_
n
, akkor
/
n+2
(/
n+1
+/
n
) = r
n+2
1

_
r
n+1
1
+r
n
1
_
= r
n
1
_
r
2
1
(r
1
+ 1)
_
= 0
Hasonl a /
n
= r
n
2
=
_
1
_
5
2
_
n
eset is.
Megjegyezzk, hogy a rekurrencia relci linearitsa miatt az adott megold-
sok egy tetszoleges lineris kombincija is megolds, azaz:
/
n
= r
n
1
+1r
n
1
=
_
1+
_
5
2
_
n
+1
_
1
_
5
2
_
n
(+)
brmely , 1 llandk esetn kielgti a rekurrencia relcit. Ennek az el-
lenorzse egyszeru feladat, s azt az olvasra bzzuk. Most csupn az marad,
hogy az s 1 llandkat gy vlasszuk meg, hogy a /
1
= a
1
= 1, /
2
= a
2
= 1
kezdeti felttelek is teljesljenek.
Behelyettestve az : = 1 s : = 2 rtket a (*) sszefggsbe:

_
1+
_
5
2
_
1
+1
_
1
_
5
2
_
1
= 1
s

_
1+
_
5
2
_
2
+1
_
1
_
5
2
_
2
= 1
A kapott rendszer megoldsai s 1 -re, =
1
_
5
c: 1 =
1
_
5
A fenti megjegyzseket s szmtsokat sszegezve:a
n
= /
n
=
1
_
5
_
1+
_
5
2
_
n

1
_
5
_
1
_
5
2
_
n
.
Azaz valban megtalltuk a Fibonacci sorozat ltalnos tagjnak kplett.
Vegynk egy msik, hasonl pldt:
Keressk meg az ltalnos tag kplett, ha a rekurrencia relci: a
n
=
3a
n1
2a
n2
(: _ 2) , valamint a kezdeti felttelek : a
0
= 3 s a
1
= 7
Az elozo esethez hasonlan a megoldst a
n
= r
n
alakban keresve, azt a
rekurrencia relciba behelyettestve, az egyszerusts utn a kvetkezo karak-
terisztikus egyenletet kapjuk:
r
2
= 3r 2.
Ennek gykei: r
1
= 1 s r
2
= 2. Teht a megolds vrhat alakja: a
n
=
r
n
1
+1r
n
2
= +1 2
n
, ahol az , 1 llandkat a kvetkezo kezdeti felttelek
alapjn hatrozzuk meg: a
0
= 3 s a
1
= 7 s Ez lesz a kvetkezo feladat.
5. feladat. Igazolja, hogy a
n
= +1 2
n
(n = 0, 1, 2, ... ) egy megoldsa
az a
n
= 3a
n1
2a
n2
(: _ 2) rekurrencia relcinak. Hatrozza meg az A s
B llandk rtkt, gy, hogy a kvetkezo kezdeti felttelek teljesljenek: a
0
= 3
s a
1
= 7
Megolds. ( Direkt ton amennyiben lehetsges, ha nem akkor az elob-
biekre tmaszkodva). Elso lpsknt a javasolt megoldst a rekurrencia rel-
ciba helyettestjk. Ekkor annak baloldala, azaz a
n
= + 1 2
n
ppen . A
jobboldalon ll kifejezs kiszmtsra felrjuk az a
n1
= + 1 2
n1
s az
a
n2
= +12
n2
tagokat. gy a jobboldal 3a
n1
2a
n2
= 3
_
+1 2
n1
_

2
_
+1 2
n2
_
. Teht ellenoriznnk kell, hogy teljesl-e:
a
n
= +1 2
n
= 3
_
+1 2
n1
_
2
_
+1 2
n2
_
92
brmely : _ 2 esetn. Ez egy egyszeru szmts. A jobboldalbl indulva
rendre felrhat:
3
_
+1 2
n1
_
2
_
+1 2
n2
_
= 32+312
n1
212
n2
= +412
n2
ami pont a baloldal, azaz +1 2
n
.
Most hatrozzuk meg azt az A s B rtkt gy, hogy az a
0
= 3 s a
1
= 7
kezdeti felttelek teljesljenek.
Az : = 0 s a
0
= 3, a kvetkezo egyenletet adja: 3 = + 1 2
0
= + 1.
Hasonlan : = 1 s a
1
= 7, a 7 = +1 2
1
= + 21 egyenlethez vezet. Meg
kell oldanunk teht a kvetkezo lineris egyenletrendszert:
+1 = 3,
+ 21 = 7
Egyszeru szmtssal az = 1s 1 = 4 addik. Teht a rekurrencia
relcinak s az adott kezdeti feltteleknek egyetlen megoldsa a
n
= r
n
1
+
1r
n
2
= 1 +4 2
n
= 2
n+2
1. Ugyanez a kplet azt is jelenti, hogy direkt ton
kiszmthatjuk az a
7
= 2
9
1 rtkt, anlkl, hogy egyenknt, az sszes tagot
ki kellene szmtani, amg megjelenik az a
7
.
sszegezhetjk teht: Az elobbi kt plda alapjn vilgos, hogy az a
n+2
+
ja
n+1
+ a
n
= 0 msodrendu lineris rekurrencia megoldsa sorn, amelynek
elso kt tagja, a
1
, a
2
adott, elsoknt az r
2
+ jr + r = 0 msodfok egyenlete
kell megoldanunk, majd ha annak kt klnbzo r
1
s r
2
vals gyke van, a
rekurzi ltalnos tagja a
n
= r
n
1
+ 1r
n
2
alak. Az s 1 meghatrozhat
a
1
, a
2
segtsgvel.
Tulajdonkppen ez az tlet ltalnosthat egy
a
n+|
+j
1
a
n+|1
+... +j
|
a
n
= 0
alak /-ad rendu lineris rekurzira, ha az ebbol szrmaz
r
|
+j
1
r
|1
+... +j
|
= 0
/-ad fok karakterisztikus egyenletnek / klnbzo vals gyke van. Ekkor
az ltalnos tag alakja:
a
n
=
1
r
n
1
+
2
r
n
2
+...+
|
r
n
|
ahol az
1
,
2
, ...,
|
egytthatk meghatrozshoz
ismerni kell az elso / tag rtkt.
Monoton sorozatok. Korltos sorozatok
A kvetkezo kt fejezetben a sorozatok gyakran elofordul tulajdonsgait
tanulmnyozzuk, mint a monotonits, korltossg, vagy konvergencia.A pontos
dencikat a kvetkezok tartalmazzk. Ennek a kt fejezetnek az ismeretben
olyan krdsekre tudunk majd vlaszolni mint pldul:
Krds. Tekintse a kvetkezo (a
n
) sorozatot:
_
2,
_
2 +
_
2,
_
2 +
_
2 +
_
2, ... ,
_
2 +a
n1
, ...
Nvekvo-e a sorozat? Korltos-e a sorozat? Van-e hatrrtke a sorozatnak?
Kvetkezzen nhny denci.
93
Denci. Az (a
n
)
nN
sorozat nem cskkeno, ha a
n
_ a
n+1
minden :
N esetn. Ha az egyenlotlensg szigoran teljesl (a
n
< a
n+1
minden :
N esetn), akkor a sorozat nvekvo. Hasonlan rtelmezzk a nem nvekvo
sorozatot (ha a
n
_ a
n+1
minden : N esetn), s a cskkeno sorozatot (a
n

a
n+1
minden : N esetn). Azokat a sorozatokat, amelyek nem cskkenok,
vagy nem nvekvok monoton sorozatoknak nevezzk, a nvekvo, illetve cskkeno
sorozatok szoks szigoran monoton sorozatoknak nevezni.
Denci. Az (a
n
)
nN
sorozat fellrol korltos, ha ltezik egy olyan ' R
szm, amelyre a
n
_ ' minden : N esetn. Ezt az '-et a sorozat egy felso
korltjnak nevezzk. Hasonlan, az (a
n
)
nN
sorozat alulrl korltos, ha van
egy olyan : R szm, amelyre : _ a
n
minden : N esetn. Egy ilyen :-
et a sorozat egy als korltjnak nevezzk. Vgl az (a
n
)
nN
sorozatot akkor
nevezzk korltosnak, ha egy idoben alulrl is s fellrol is korltos.
Nhny plda.
Az a
n
= : sorozat a) nvekvo, b) alulrl korltos s c) fellrol nem korltos.
A /
n
= 1 sorozat a) nem cskkeno, b) nem nvekvo s c) korltos.
A c
n
=
1
n
sorozat a) cskkeno, b) alulrl korltos s c) fellrol is korltos.
Megjegyzendo, hogy ha van felso korltja egy sorozatnak pl. ', akkor az
nem egyrtelmu, mivel pldul ' +
1
2
vagy ' + 1 is felso korltai ugyanannak
a sorozatnak. Hasonl tulajdonsg teljesl az als korltokra is.
6. feladat. Igazolja, hogy egy (a
n
)
nN
sorozat akkor s csakis akkor korl-
tos, ha ltezik egy olyan ' 0 amelyre [a
n
[ _ '
(minden n-re)
7. Feladat. Tanulmnyozza a kvetkezo sorozatok monotonitst:
a) r
n
=
1
n
, b) r
n
= 1
1
n
, c) r
n
=
n
n+1
, d) r
n
= 3
_
2
3
_
n
,
e) r
n
= (1)
n
1
n
, f) r
n
= 1 + (1)
n
1
n
, g) r
n
= (1)
n
n
n+1
, h) r
n
=
3
_

2
3
_
n
.
8. feladat. Tanulmnyozza a kvetkezo sorozatok monotonitst:
a) r
n
=
n
2
n+1
, b) r
n
= :
1
n
, c) r
n
=
n
2
n
2
+1
, d) r
n
= 3
_
5
3
_
n
e) r
n
= (1)
n
_
:
2
+ 1, f) r
n
= : + (1)
n
n
n+1
, g) r
n
= (1)
n
n2
n
n+1
, h)
r
n
=
n
2
n
2
+1
_
2
3
_
n
.
9. feladat. Vizsglja meg, hogy a kvetkezo sorozatok korltosak-e?
a) r
n
=
1
n
, b) r
n
= 1
1
n
, c) r
n
=
n
n+1
, d) r
n
= 3
_
2
3
_
n
,
e) r
n
= (1)
n
1
n
, f) r
n
= 1 + (1)
n
1
n
, g) r
n
= (1)
n
n
n+1
, h) r
n
=
3
_

2
3
_
n
.
10. Feladat. Vizsglja meg, hogy a kvetkezo sorozatok korltosak-e?
a) r
n
=
n
2
n+1
, b) r
n
= :
1
n
, c) r
n
=
n
2
n
2
+1
, d) r
n
= 3
_
5
3
_
n
e) r
n
= (1)
n
_
:
2
+ 1, f) r
n
= : + (1)
n
n
n+1
, g) r
n
= (1)
n
n2
n
n+1
, h)
r
n
=
n
2
n
2
+1
_
2
3
_
n
.
11. feladat. Igazolja, hogy az (:
n
)
nN
sorozat, ahol :
n
=
1
1
+
1
2
+
1
3
+... +
1
n
,
nem korltos.
Felhasznlhat a kvetkezo egyenlotlensg: r _ |oq(1 + r) ha r _ 0 (ami
analzis segtsgvel knnyen igazolhat).
Megolds. Az adott egyenlotlensg alapjn rendre:
94
1
1
+
1
2
+
1
3
+... +
1
n
_ |oq(1 + 1) +|oq(1 +
1
2
) +|oq(1 +
1
3
) +... +|oq(1 +
1
n
)
= |oq
_
2
1
3
2
4
3
...
n+1
n
_
= |oq(: + 1)
teht az adott sszeg nem korltos fellrol.
A rekurrencia relcival adott sorozatokat is tanulmnyozhatunk monotonits
vagy korltossg szempontjbl. Lssuk ezt a kvetkezo pldban.
12. feladat. Igazolja, hogy az a
n+1
=
_
2 +a
n
rekurrencia relcival
rtelmezett sorozat, amelyre a
1
=
_
2, egy nvekvo, korltos sorozat.
Megolds. Pozitv sorozatok esetn elegendo a felso korltot megtallni
(hiszen pl. 0 egy als korlt).
Tudjuk, hogy a
1
=
_
2 < 2, teht a
2
=
_
2 +
_
2 < 2.
Indukcival bizonytjuk, teht, tegyk fel, hogy a
n
< 2, egy : = / -ra. Ekkor
: = / + 1-re azt kapjuk, hogy: a
n+1
=
_
2 +a
n
< 2,
teht az indukci teljesl, s gy a sorozat fellrol korltos.
A monotonits vizsglatakor ssze kell hasonltani az a
n+1
-t az a
n
-el. Mivel
tudjuk, hogy a
1
< a
2
, prbljuk meg bebizonytani, hogy minden n-re teljesl
a
n
< a
n+1
, azaz a
n
<
_
2 +a
n
.
Mindkt oldalt ngyzetre emeljk, s az egyenlotlensggel ekvivalens a
2
n
<
2 + a
n
egyenlotlensggel folytatjuk, amit trva kapjuk az a
2
n
a
n
2 < 0
egyenlotlensget. Most elemezzk az r
2
r 2 parabola elojelt (hiszen ez
a baloldalon ll kifejezs). Gykei 1 s 2, teht minden r-re ami teljesti
a 1 < r < 2 felttelt, a parabola negatv. Az elso rszben viszont ppen
azt igazoltuk, hogy 0 < a
n
< 2, minden n-re, teht a
2
n
a
n
2 < 0. Ebbol
kvetkezik, hogy a
n
<
_
2 +a
n
, azaz a
n
< a
n+1
amint az felteheto volt.
(Megjegyzs: Mivel igazoltuk, hogy a sorozat nvekvo, a korltok helyett a
javtott korltok vehetok.
Megemltheto, hogy az elozo pldban tanulmnyozott sorozat pontosan az
a sorozat, amely a fejezet elejn krdsknt jelenik meg. Feleltnk teht az ott
feltett krdsek kzl kettore. Meg kell vlaszolnunk azt a krdst is, hogy a
sorozatnak van-e hatrrtke, ezt a kvetkezo fejezetben trgyaljuk.
Sorozatok konvergencija
A kvetkezokben a sorozatok konvergencijt trgyaljuk. Elso megkzelts-
ben (a pontos denci albb kvetkezik) az (a
n
)
nN
sorozat akkor kzelti
meg vagy konvergl az 1 hatrrtkhez, mikzben az : no, ha egy tetszoleges
turshatr mellett, a sorozat tagjai legfeljebb -nal ( 0) trnek el 1-tol.
Pontostva:
A konvergencia dencija.
Az (a
n
)
nN
sorozat konvergens az 1 vals szmhoz, s ezt lim
no
a
n
= 1
jelli, ha brmely adott 0 esetn van egy termszetes szm gy, hogy
brmely : , esetn a
n
teljesti a kvetkezot:
[a
n
1[ < c
Ha a sorozat nem konvergens, akkor divergensnek nevezzk.
Az 1 szmot az (a
n
)
nN
sorozat hatrrtknek nevezzk.
95
A lim
no
a
n
= 1 jells helyett nha a rvidebb lim a
n
= 1 vagy az a
n
1
jellst hasznljuk.
Nha elonysebb a denciban szereplo egyenlotlensget a kvetkezo, azzal
ekvivalens alakban rni: 1 c < a
n
< 1 +c.
Megjegyezheto, hogy ha (a
n
)
nN
konvergens, akkor a denciban szereplo
nem egyrtelmu: ha egy tetszoleges esetn az egyenlotlensg teljesl brmely
: -re, akkor az helyett egy nla nagyobb szm, pl. + 1, + 10
is veheto. Szintn fontos tudni, hogy ltalban rtke fgg -tl. Ha -t
megvltoztatjuk, rendszerint -et is msknt kell kivlasztani.
Egy msik tudnival, ami a dencibl azonnal kvetkezik, az, hogy ha az
(a
n
)
nN
sorozat konvergens akkor az (a
n+1
)
nN
sorozat is az, s
lim
no
a
n
= lim
no
a
n+1
. Ez a gondolat folytathat: brmely / N esetn lim
no
a
n
= lim
no
a
n+|
Pldk. a) A konstans (a
n
)
nN
sorozat, azaz ha a
n
= c minden : N-re,
konvergens, s lim
no
a
n
= lim
no
c = c.
Bizonyts. Nyilvn, adott 0 esetn, brmely -re ( N) teljesl,
hogy ha : akkor:
c < c < c + , azaz c < a
n
< c +
b) Az (a
n
)
nN
sorozat, amelyre a
n
=
1
n
sorozat, rviden az a
n
=
1
n
konver-
gens a 0-hoz, azaz lim
no
a
n
= 0.
Bizonyts. Vegynk egy adott 0 rtket. esetn, s legyen egy olyan
( N) szm amelyre teljesl teljesl, hogy
1
t
vagyis
1

< c.Ha most

: akkor az is igaz, hogy
1
n
<
1

, teht:
<
1
n
< + , azaz < a
n
< + s gy lim
no
1
n
= 0.
Vagyis a denci szerint igazoltuk a sorozatok konvergencijt, a hatrrtk
ltezst.
A kvetkezo kt feladatot a ksobbiekben lert ttelekkel knnyen meg lehet
oldani, de az olvasnak azt javasoljuk, hogy oldja meg oket direkt a denci
alapjn.
13. feladat. Igazolja, hogy a
2
n
,
1
n
2
s
1
_
n
sorozatok 0-hoz konvergensek.
14. feladat. Igazolja, hogy: lim
n
n+1
no
= 1, lim
no
n
2
1
n
2
+1
= 1 s lim
no
12n
3n+2
=
2
3
.
15. Feladat. Igazolja, hogy az a
n
= (1)
n
sorozat nem konvergens 0-hoz.
ltalnosabban mutassa ki, hogy egyltaln nem konvergens semmilyen L-hez
sem.
(Utasts az elso rszhez: Igazolhat, hogy c 0 (pl. c =
1
2
) esetn nem
lehetsges egy olyan -et tallni, amelyre ha : _ akkor < a
n
< + ,
azaz
1
2
< a
n
< +
1
2
hiszen a sorozat tagjai csak az 1 ill. 1 rtkeket veszik
fel).
16. Feladat. Igazolja, hogy ha egy (a
n
) sorozatra teljesl lim
no
a
n
= 1,
akkor lim
no
[a
n
[ = [1[. Igaz-e a fordtott llts?
96
Megolds. Azonnal belthat a kvetkezo egyenlotlensg alapjn:
0 _ [[a
n
[ [1[[ < [a
n
1[. A fordtott llts hamis, amint azt az elozo
plda is igazolja: lthattuk, hogy a
n
= (1)
n
nem konvergens, ugyanakkor
[a
n
[ = [(1)
n
[ = 1, mint konstans sorozat konvergens.
Mielott tovbbi pldkat adunk a sorozatok konvergencijra, bizonytsunk
be nhny, a tovbbiakban felhasznlhat ttelt.
1. Ttel. Minden konvergens sorozat korltos.
Bizonyts. Legyen az (a
n
) egy konvergens sorozat, amelyre lim
no
a
n
= 1.
Alkalmazzuk a konvergencia dencijt 0-re. Erre az 0 rtkre ltezik
egy gy, hogy minden : esetn: 1c < a
n
< 1+c, teht Vlasszuk ki az
' = :ar[1 c[ , [1 +c[ , [a
1
[ , [a
2
[ , ..., [a

[ , rtket. Most mr nyilvnval,

hogy minden : N-re [a
n
[ < ', azaz a sorozat korltos.
Megjegyzs. A ttel fordtottja nem igaz, hiszen pldul a (1)
n
sorozat
korltos, de nem konvergens.
17. Feladat. Tegyk fel, hogy az (a
n
) nulltl klnbzo tagokat tartal-
maz sorozat konvergens s lim
no
a
n
= 1, ahol 1 ,= 0(1 0). Igazolja, hogy az
_
1
on
_
sorozat is korltos. (Ezt az eredmny felhasznlva igazolni fogjuk, hogy a
msodik sorozat is konvergens).
(Utasts. Legyen c =
J
2
0. Ltezik teht olyan , amelyre brmely
: _ esetn [a
n
1[ <
J
2
s gy [a
n
[ <
J
2
, teht
1
]on]
<
2
J
).
2. Ttel. Ha az (a
n
), (/
n
) s (c
n
) hrom olyan sorozat, amelyre a
n
_ /
n
_
c
n
minden :-re s lim
no
a
n
= lim
no
c
n
= 1, akkor lim
no
/
n
= 1.
Bizonyts. Legyen egy adott c 0. Mivel lim
no
a
n
= lim
no
c
n
= 1, ltezik
egy olyan
1
amelyre minden : _
1
esetn:
(1) 1 c < a
n
< 1 +c
Hasonlan ltezik egy olyan
2
is, amelyre minden : _
2
esetn:
(2) 1 c < c
n
< 1 +c
Legyen = :ar(
1
,
2
). Ha teht : _ , az (1) s (2) egyidejuleg teljesl,
teht
1 c < a
n
_ /
n
_ c
n
< 1 +c .
Ez azt jelenti, hogy brmely n N esetn 1 c < /
n
< 1 + c, teht (/
n
)
konvergens s lim
no
/
n
= 1.
3. Ttel. Tegyk fel, hogy az (a
n
), (/
n
) olyan konvergens sorozatok, ame-
lyekre lim
no
a
n
= 1
1
s lim
no
/
n
= 1
2
s vegyk a j, R llandkat.
Ekkor a (ja
n
+ /
n
) konvergens sorozat s lim
no
(ja
n
+ /
n
) = j1
1
+ 1
2
,
valamint az (a
n
/
n
) konvergens sorozat s lim
no
(a
n
/
n
) = 1
1
1
2
. Ha mg a
feltteleken fell minden n-re /
n
,= 0 s 1
2
,= 0, akkor lim
no
on
bn
=
J1
J2
.
Bizonyts. Legyen egy adott c 0 vals szm. Ekkor
t
2]]+1
0 is igaz.
Hasznljuk fel ezt a denci rtelmben. Ha lim
no
a
n
= 1
1
, ltezik egy olyan

1
, hogy minden : _
1
esetn:
[a
n
1
1
[ <
t
2]]+1
(1)
Hasonlan, ltezik egy olyan
2
, hogy minden : _
2
esetn:
97
[/
n
1
2
[ <
t
2]j]+1
(2)
Legyen = :ar(
1
,
2
). Most minden : _ esetn az (1) s (2) egyide-
juleg teljesl, s ezek alapjn:
[ja
n
+/
n
j1
1
1
2
[ = [ja
n
j1
1
+/
n
1
2
[ < j
c
2 [j[ + 1
+
c
2 [[ + 1
<
c
2
+
c
2
= c
tmutats a lim
no
(a
n
/
n
) = 1
1
1
2
bizonytsra. Hasznljuk a kvetkezoket:
[a
n
/
n
1
1
1
2
[ _ [a
n
/
n
1
1
/
n
+a
n
1
2
1
1
1
2
[ _ [(a
n
1
1
)/
n
+ (a
n
1
1
) 1
2
[ _
[(a
n
1
1
[ ['[ +[a
n
1
1
[ [1
2
[
ahol ' a (/
n
) (konvergens) sorozat egy felso korltja.
tmutats a lim
no
on
bn
=
J1
J2
bizonytsra. Elsoknt megjegyezzk, hogy az
elozoek rtelmben elegendo azt bizonytani, hogy lim
no
1
bn
=
1
J2
Hasznljuk fel, hogy

1
bn

1
J2

J2bn
bnJ2

_ '

J2bn
J2

ahol ' egy felso

korltja az
_
1
bn
_
sorozatnak, ami a 17. feladat szerint ltezik)
18. feladat. Igazolja, hogy az
_
1
n
sin(:
7
3:
2
+ 17)
_
sorozat 0-hoz kon-
vergens.
(tmutats. Felhasznlhat, hogy:
1
n
_
1
n
sin(:
7
3:
2
+ 17) _
1
n
s
lim
no
_

1
n
_
= lim
no
_
1
n
_
= 0.)
19. Feladat. Szmtsa ki a kvetkezo hatrrtket: lim
no
_
5n
3
11n
2
+5n3
4n
3
2n
2
n+21
_
.
Megolds. A trtet :
3
-el egyszerustve s a 3. Ttelt alkalmazva:
lim
no
_
5n
3
11n
2
+5n3
4n
3
2n
2
n+21
_
= lim
no
_
5
11
n
+
5
n
2

3
n
3
4
2
n

1
n
2
+
21
n
3
_
=
50+00
400+0
=
5
4
.
20. Feladat. Legyen a
1
=
2
3
s a
n+1
= a
n
+
1
(n+1)(n+2)
ha : _ 1. Keresse
meg a
n
-et s igazolja, hogy az (a
n
) sorozat konvergens.
Megolds. Szmtsuk ki a sorozat nhny tovbbi tagjt: a
2
= a
1
+
1
34
=
2
3
+
1
12
=
3
4
, s a
3
= a
2
+
1
45
=
3
4
+
1
20
=
4
5
. "Kitallhatjuk", hogy a sorozat ltalnos
tagja a
n
=
n+1
n+2
(ezt indukcival bizonytani is lehet), gy (a
n
) konvergens s
lim
no
a
n
= 1.
21. Feladat. Tegyk fel, hogy (a
n
) egy pozitv tag konvergens sorozat,
amelyre lim
no
a
n
= 1. Igazolja, hogy lim
no
_
a
n
=
_
1 valamint, ltalnosabban,
lim
no
k
_
a
n
=
k
_
1 brmely rgztett / esetn.
(tmutats. Ha 1 ,= 0 felhasznlhatjuk a kvetkezo azonossgot s egyen-
lotlensget :

_
a
n

_
1

=
]on=J]
_
on+
_
J
_
]on=J]
_
J
)
Fggvnyek hatrrtke egy adott pontban, fg-
gvny pontbeli folytonossga
A fggvnyek pontbeli hatrtke rtelmezheto a sorozatok nyelvn is.
98
Tekintsk az ) : 1 fggvnyt, ahol R s 1 R, s legyen a egy
olyan pont, amire van olyan (r
n
) sorozat, amelyre
r
n
a, azaz lim
no
r
n
= a, vagyis a eleme, vagy hatrpontja az rtelmezsi
tartomnynak.
Ha minden olyan (r
n
) sorozatra, amelyre r
n
a a fggvnyrtkek
sorozata is konvergens, s )(r
n
) |, azaz lim
no
)(r
n
) = |, akkor a fggvnynek
van hatrrtke az a pontban, ez a hatrtk |, s erre a kvetkezo jellst
hasznljuk: lim
ro
)(r) = |.
A fggvnyek pontbeli hatrtke rtelmezheto a sorozatok nlkl a pont
krnyezetnek segtsgvel. Ez a kt denci egyenrtku, ennek bizonytsra
lsd pl. Balzs-Kolumbn, 1978.
Denci. Tekintsk az ) : 1 fggvnyt, ahol R s 1 R, s
legyen a egy olyan pont, aminek brmely (a c, a +c) krnyezetre igaz, hogy
van olyan (a c, a +c) ,= ?, azaz a pont minden krnyezetben vannak az
fggvny rtlmezsi tartomnynak pontjai,vagyis a eleme, vagy hatrpontja
az rtelmezsi tartomnynak. Ha brmely c 0 esetn ltezik olyan c
0, amelyre ha [r a[ < c akkor [)(r) |[ < c, akkor lim
ro
)(r) = |, azaz a
fggvnynek az a pontban | a hatrrtke.
Denci. Tekintsk az ) : 1 fggvnyt ahol, R s 1 R
s legyen a . A fggvny az a pontban folytonos, ha ltezik lim
ro
)(r), s
lim
ro
)(r) = )(a).
Ha ltezik lim
ro
)(r) de lim
ro
)(r) ,= )(a), akkor a-ban a fggvnynek sza-
kadspontja van.
Megjegyzsek
1. A fggvny hatrtke teht vizsglhat az rtelmezsi tartomny pon-
tjaiban, s az rtelmezsi tartomny n. hatrpontjaiban, de folytonossgrl
beszlni csak az rtelmezsi tartomny ponjaiban lehet.
2. Ha a fggvny hatrrtknek a fogalmt ltalnosabban vizsgljuk,
akkor kln- kln rtelmezheto a fggvny baloldali pontbeli hatrtke illetve
jobboldali pontbeli hatrrtke, ha a fenti felttelek mellett, csak az r _ a,
illetve r _ a fggetlen vltozkra tesznk kiktst, ezek szoksos jellsei:
lim
ro,ro
)(r) = |
b
= lim
r,o
)(r), illetve lim
ro,ro
)(r) = |

= lim
ro
)(r).
Ebben az esetben a fggvnynek az adott pontban akkor van hatrrtke,
ha |
b
= |

s ezt a kzs rtket ltalban | jelli.

3. Ha a fggvny jobb- illetve baloldali hatrrtke nem egyezik meg, vagy
valamelyik nem ltezik, akkor a fggvny nyilvn nem lehet folytonos, hiszen
mg a a hatrrtke sem ltezik, de beszlhetnk az adott pontban balrl
folytonos (|
b
= )(a) ,= |

), illetve jobbrl folytonos (|

b
,= )(a) = |

) fggvnyrol.
4. Ha |
b
,= )(a) ,= |

, de |
b
= |

, akkor a fggvnynek a-ban n. elso faj

(megszntetheto) szakadspontja van, mivel ha ebben a pontban a fggvny
ms rtket, az )(a) = |
b
= |

rtket veszi fel, akkor folytonos lesz.

99
5. Ha |
b
= |

, de a , , akkor a fggvnynek a-ban n. elso faj (megsznte-

theto) hzagpontja van, ebben az esetben a fggvny folytonosan kiterjesztheto
az a pontban, az elobbi mdon, de az a ponttal ki kell bovteni az rtlemzsi
tartomnyt.
6. Ms esetekben n msodfaj, vagy meg nem szntetheto szakadspon-
tokrl, illetve hzagpontokrl beszlnk.
7. A fggvny pontbeli folytonossga, illetve a pontbeli hatrtk ltezse
azt is kifejezi, hogy ha az r vltozj fggvny egy folyamatot, jelensget r
le "kpletszeruen", akkor ahhoz, hogy az "eredmnyt" ()(r)-et, ill. |-et)
egy elore megadott c -nl kisebb eltrssel kapjuk meg, elegendo az "bemeno"
adat rtkt, az r-et az c pontossgon bell megadni. Pl.: a T : (0, )
(0, ) , T(r) = r
2
kifejezi az x sugar kr terlett, s ahhoz, hogy a szmts
kt tizedes pontossg legyen, azaz a terlet rtkt 2 tizedesjegy pontossggal
kapjuk, elegendo az x sugr rtkt egy tizedessel megadni, hiszen a denci
szerint a c =
1
100
esetn elegendo az c =
1
10
rtket vlasztani, mivel a vltoz
ngyzete szerepel a "kpletben" (termszetesen emellett a rtkt kt tizedessel
kell megadni, hiszen azt nem hatvnyozzuk).
Folytonos fggvnyek
Egy ) : 1 fggvny, ahol R s 1 R, folytonos, ha az rtelmezsi
tartomny sszes pontjban folytonos, azaz brmely a esetn, lim
ro
)(r), s
lim
ro
)(r) = )(a).
FONTOS tudnival az, hogy az elemi fggvnyek az rtelmezsi tartomnyukon
folytonosak. Ez ellentmondani ltszik a szemlletnek, hiszen pldul a trigonome-
triai fggvnyek kzl a tq s ctq folytonos ugyan de csak szakaszonknt, viszont
azok a "knyes" pontok, ahol a fggvnyek a fggoleges asszimptta mentn
"ugrani ltszanak" + s kztt, nincsenek a fggvny rtelmezsi tar-
tomnyba. rtelemszeruen ezekben a pontokban nem beszlhetnk folytonoss-
grl. Az elemi fggvnyek transzformltjai s azok az sszetett fggvnyek,
amelyeket elemi fggvnyek sszettelvel kapunk, szintn folytonosak, de az
sszettel sorn gyelnnk kell az rtelmezsi tartomnyok vltozsra.
A fggvnyek hatrrtknek szmtsa a kritikus pontokban lehetov teszi a
fggvnyek pontosabb megismerst, illetve a fggvnybra pontosabb elksztst.
A fggvnyek menetnek tanulmnyozsa a hatrrtkek vizsglata mellett a
fggvnyek derivljainak a vizsglatt is felttelezik.
Az intervallumon folytonos fggvnyek egyik lnyeges tulajdonsga, hogy
csak gy vlthatnak elojelet, ha kzben felveszik a 0 rtket is.
Teht egy intervallumon folytonos fggvny kt egymst kveto 0 helye kzt
nem vlthat elojelet, s ennek a kvetkezmnyeknt meg tudjuk oldani az egyen-
lotlensgeket.
Pl. 2 sin
2
r3 sinr+1 _ 0, a baloldali polinom felbonthat a kvetkezokp-
pen:
2 sin
2
r 3 sinr + 1 =
_
2 sin
2
r sinr
_
(2 sinr 1) =
= sinr(2 sinr 1) (2 sinr 1) = (2 sinr 1) (sinr 1) .
100
Teht a 2 sin
2
r 3 sinr + 1 kifejezs csak a 2 sinr = 1 s a sinr = 1
egyenletek gykeinek megfelelo pontokban vlthat elojelet.
Mivel a fggvny peridikus, s peridusa 2, elegendo a [0, 2] intervallumot
n foperidust vizsglni, az ezen kivl eso pontokra mr a peridikussg miatt
is "ismtlodik" fggvny vltozsa.
Teht a pldban szereplo fggvny esetn a fggvny elojelet csak az r
1
=
t
6
, r
2
=
t
2
illetve az x
3
=
5t
6
pontokban vlthat.
Fggvnyek hatrrtkszmtsa
A fggvnyek pontbeli hatrtrtkre, illetve a folytonos fggvnyekre tel-
jeslnek a kvetkezo, n. linearitsi tulajdonsgok:
1. Ha lim
ro
)(r) = |
1
s lim
ro
q(r) = |
2
, akkor lim
ro
()(r) +q(r)) = |
1
+ |
2
,
illetve
ha lim
ro
)(r) = )(a)s lim
ro
q(r) = q(a), akkor lim
ro
()(r) +q(r)) = )(a)+q(a)
2. Ha lim
ro
)(r) = | s c R, akkor lim
ro
c)(r) = c| , illetve
ha lim
ro
)(r) = )(a) s c R, akkor lim
ro
c)(r) = c)(a)
3. Az elozo kt tulajdonsg sokkal ltalnosabban is felrhat:
Ha lim
ro
)(r) = |
1
, lim
ro
q(r) = |
2
, s c
1
, c
2
R, akkor lim
ro
(c
1
)(r) +c
2
q(r)) =
c
1
|
1
+c
2
|
2
, illetve
ha lim
ro
)(r) = )(a) , lim
ro
q(r) = q(a), s c
1
, c
2
R, akkor lim
ro
(c
1
)(r) +c
2
q(r)) =
c
1
)(a) +c
2
q(a)
4. A fggvnyekkel vgzett alapmuveletek esetn mg a szorzs s oszts is
hasonl tulajdonsgokkal rendelkezik:
Ha lim
ro
)(r) = |
1
s lim
ro
q(r) = |
2
, akkor lim
ro
()(r) q(r)) = |
1
|
2
, illetve
ha lim
ro
)(r) = )(a)s lim
ro
q(r) = q(a), akkor lim
ro
()(r) q(r)) = )(a) q(a) ,
tovbb
ha lim
ro
)(r) = |
1
s lim
ro
q(r) = |
2
,= 0, akkor lim
ro
_
}(r)
(r)
_
=
l1
l2
, illetve
ha lim
ro
)(r) = )(a)s lim
ro
q(r) = q(a) ,= 0, akkor lim
ro
_
}(r)
(r)
_
=
}(o)
(o)
.
A fggvnyek hatrrtkszmtsa sok esetben hasonl eljrsokat gnyel,
mint a sorozatok hatrrtk szmtsa.
Pl. : lim
ro
r
2
+3r+2
2r
2
3r+1
=
1
2
lesz, a lim
no
n
2
+3n+2
2n
2
3n+1
=
1
2
mintjra.
MAPLE:Limit((x^2+3*x+2)/(2*x^2-3*x+1),x=innity)=limit((x^2+3*x+2)/(2*x^2-
3*x+1),x=innity);
Ugyanakkor jabb, eddig nem tanulmnyozott eseteket is meg kell oldanunk,
pl. : lim
r1
r
2
+3r+2
2r
2
3r+1
.
MAPLE:Limit((x^2+3*x+2)/(2*x^2-3*x+1),x=1)=limit((x^2+3*x+2)/(2*x^2-
3*x+1),x=1);
Ebben az esetben a gondot az jelenti, hogy az r = 1 nincs az )(r) =
r
2
+3r+2
2r
2
3r+1
fggvny rtelmezsi tartomnyban () : R
_
1
2
, 1
_
R), csupn annak hatr-
pontja.
101
A hatrrtk szmts egyik alapveto mdszere az, hogy megprbljuk kzvetlen
behelyettestssel a fggvny rtkt kiszmtani, azza, "feltesszk", hogy a fg-
gvny folytonos. Ez az elobbi pldban az n.
3
0
"tpus" hatrozatlansgra
vezet, teht meg kell kzelebbrol vizsglni, hogy "felodhat-e" ez a hatrozat-
lansg? Ugyanis bizonyos esetekben (ha ez a pont elso faj hzagpont), akkor
a fggvnynek lesz hatrrtke az adott pontban.
Sajnos nem ez a helyzet a pldnkban, s ezt a racionlis fggvnyek br-
zolsa felol rthetjk meg leghamarabb.
Ha a fggvny szmlljt s nevezojt egyarnt szorzatra bontjuk, akkor
)(r) =
r
2
+3r+2
2r
2
3r+1
=
(r+1)(r+2)
(r1)(2r1)
. Most mr "belthat", hogy az x=1 "kzvetlen
kzelben" rendre az r + 1 szorztnyezo rtke 2hz, az r + 2 szorztnyezo
rtke 3hoz,a 2r 1 oszttnyezo rtke 1hez kzelt, de a nevezoben lvo
r 1 tnyezo a 0 rtket, ami a "galibt" okozza, "balrl", teht 1-nl kisebb
rtkekre, negatv szmokon keresztl kzelti, mg "jobbrl", azaz 1-nl nagy-
obb rtkekre, pozitv szmokon keresztl kzelti meg. Teht a fggvnynek
azrt nem lesz hatrrtke x=1-ben, mivel ez a 0-hoz tartoz tnyezo hol negatv,
hol pedig pozitv szmokat eredmnyez. Ha tzetesebben megvizsgljuk, akkor
tulajdonkppen lim
r,1
r
2
+3r+2
2r
2
3r+1
= s lim
r1
r
2
+3r+2
2r
2
3r+1
= +, s ez a mag-
yarzata annak, hogy nem ltezik a lim
r1
r
2
+3r+2
2r
2
3r+1
hatrrtk.
MAPLE:Limit((x^2+3*x+2)/(2*x^2-3*x+1),x=1, left)=limit((x^2+3*x+2)/(2*x^2-
3*x+1),x=1, left);
MAPLE:Limit((x^2+3*x+2)/(2*x^2-3*x+1),x=1,right)=limit((x^2+3*x+2)/(2*x^2-
3*x+1),x=1,right);
Megjegyzs. Ha az elobbi pldt egy "kicsit" megvltoztatjuk, pl. lim
r1
r
2
+3r+2
2r
2
3r+1
.
1
r1
=
lim
r1
(r+1)(r+2)
(r1)
2
(2r1)
= .
MAPLE:Limit((x^2+3*x+2)/(2*x^2-3*x+1/(x-1)),x=1)=limit((x^2+3*x+2)/(2*x^2-
3*x+1)/(x-1),x=1);
Egy ms vltoztats azt eredmnyezheti, hogy az x=1 megszntetheto hza-
gpont lesz:
lim
r1
(r+1)(r+2)(r1)
(r1)(2r1)
= lim
r1
(r+1)(r+2)
(2r1)
= 6 (
23
1
).
MAPLE:Limit(((x+1)*(x+2)*(x-1))/((2*x-1)*(x-1)),x=1 )=limit(((x+1)*(x+2)*(x-
1))/((2*x-1)*(x-1)),x=1);
MAPLE:Limit(((x+1)*(x+2))/(2*x-1),x=1 )=limit(((x+1)*(x+2))/(2*x-
1),x=1);
Ismt ms esetben, pl.: lim
r1
(r+1)(r+2)(r1)
3
(r1)
2
(2r1)
= 0.
MAPLE:Limit(((x+1)*(x+2)*(x-1)^3)/((2*x-1)*(x-1)^2),x=1 )=limit(((x+1)*(x+2)*(x-
1)^3)/((2*x-1)*(x-1)^2),x=1);
Feladatok
1. Hatrozza meg a kvetkezo hatrrtkeket!
a) lim
r2
r
2
3r+2
2r
2
4r
b) lim
r1
r
3
+1
r
2
2r3
c) lim
ro
o
2
r
2
r
3
o
3
102
d) lim
r4
_
r2
2r
2
5r12
e) lim
r1
_
2
1r
2

3
1r
3
_
f) lim
ro
r
3
+3r2
_
3r
4
+2r+3r1
g) lim
ro
__
r
2
+ 23r 2r
_
h) lim
ro
_
1
5
3r
_
2r3
i) lim
ro
_
3r+1
3r4
_
x+2
3
j) lim
r0
sin 4r
7r
k) lim
r0
r
2
sin
2 x
3
l) lim
r0
sin 6r
3 sin 5r
m) lim
r0
|
2 2x
5
sin 3r
n) lim
r0
_
12r1
sin 3r
2. Vizsglja meg az albbi fggvnyeket folytonossg szempontjbl! (Hol
s milyen szakadsa van a fggvnyeknek?) Szmtsa ki a szakadsi helyeken a
jobb- illetve baloldali hatrrtkeket!
a) )(r) =
1
r3
b) )(r) =

r2
r
2
r2

c) )(r) =

1
2
x
2

d) )(r) = :q:
_
log
5
1
r
_
e) )(r) =
_
_
_
(2 r)
2
, ha r < 1,
r
2
, ha 1 _ r < 2,
3r, ha 2 _ r.
f) )(r) =
_
_
_
0, ha r < 2,
2
r
, ha 2 _ r _ 1,
2
]r2]r
, ha 1 < r.
3. Megadhat-e az a paramter rtke gy, hogy az albbi )(r) fggvnynek
ne legyen szakadsi helye? Ha igen, adja is meg az a paramtert! (Vlaszt
indokolja!) (4 pont)
)(r) =
_
sin
2
5r
r
2
ha r ,= 0
a ha r = 0
_
4. Vzolja az albbi racionlis egsz fggvnyek grakonjt!
a) )(r) = r
3
2r
2
+r b) )(r) =
_
4r
2
4r + 1
_
(r
2
4r + 3)
c) )(r) = r
5
4r
3
+r
2
4
5. Hatrozza meg, hogy hol s milyen szakadsa van az
a) )(r) =
r
2
+r2
r1
,
b) )(r) =
r3
r
2
r6
fggvnynek!
Vzolja is a fggvnyeket!
6. brzolja az albbi racionlis trtfggvnyeket! Vizsglja meg, hogyan
viselkednek a fggvnyek a szakadsi helyek krnyezetben s a vgtelenben!
a) )(r) =
r
2
+r2
r
3
1
b) )(r) =
(r
2
+4r+4)(r1)
(r
2
2r+1)(r+3)
2
c) )(r) =
4r
2
4r+1
2r1
103
d) )(r) =
r
2
3r+4
r
2
+6r+9
e) )(r) =
r
3
+1
r+1
f) )(r) =
r
3
8
r
2
4r+4
g) )(r) =

r+2
r
2
1

h) )(r) =

r
2
r1

+ 2
7. Vizsglja meg, hogy a kvetkezo fggvnyeknek van-e inverzk. Ha van,
adja meg az inverz fggvnyt s brzolja is!
a) )(r) = r
2
9 b) )(r) = r
2
3r + 2, ha r _ 2
c) )(r) = 2 log
9
(r + 1) d) )(r) =
1
2
x3
e) )(r) = log1
3
(r 1)
2
f) )(r) = log1
2
(r + 2)
2
, ha r < 2
g) )(r) = 2 sinr + 1, ha
t
2
_ r _
t
2
h) )(r) =
_
r
2
2r + 1
8. brzolja az albbi arkuszfggvnyeket! Adja meg a fggvnyek rtelmezsi
tartomnyt s rtkkszlett is!
a) )(r) = arcsin(r 1) +
t
2
b) )(r) = 2 arccos(r + 2)
c) )(r) =

arctq(r + 2)
t
2

d) )(r) =
1
2
arcctqr +
t
3
e) )(r) =

arccos(2 r)
t
2

A fggvnyek pontbeli derivltja (dierencil-

hnyados)
Elobb egy ehhez kzelll fogalommal, a dierenciahnyadossal ismerkednk.
Ennek a fontos fogalomnak a megrtshez vegynk egy htkznapi krdst,
az tlagsebessg fogalmt, s elemezzk azt.
A zikbl ismert az tlagsebessg fogalma, ha a mozg pont t o(t)
megfelelts szerint mozog, ahol t az idot, o(t) a t idopontig megtett tat jelli
(egy kezdeti t
0
idopontban trtnt indulst feltve), akkor kt adott, t
1
s t
2
idopont kztt a mozg pont tlagsebessge:

|
=
o(t
2
) o(t
1
)
t
2
t
1
Ezt az o(t) fggvny dierenciahnyadosaknt is szoks emlteni (itt o :
(t
0
, ) R)
Ha a mozgs egyenletes sebessggel trtnik, akkor az elobbi
|
tlagsebessg
egyben a mozg pontnak a pillanatnyi sebessgt is kifejezi, egy t idopontban a
pont (t) sebessgre igaz, hogy (t) =
|
. A gyakorlatbl viszont a legtbb
trgy, pont nem lland sebessggel mozog, hanem ltezik egy t (t),
megfeleltets, sot a vltoz sebessggel mozg pont mozgsra egy msik men-
nyisg, a gyorsuls is jellemzo, teht ltezik egy t a(t) megfeleltets is.
A pillanatnyi sebessg jl kzeltheto az tlagsebessggel, amennyiben a vizs-
glt idotartam elg rvid ahhoz, hogy azon bell a sebessg lnyegesen ne
104
vltozzon. Teht szoks mondani, hogy ha t
0
idoponthoz elg kzel van t
1
s
t
2
akkor
(t
0
) -
o(t
2
) o(t
1
)
t
2
t
1
Ezt mg pontosabban megfogalmazhat az t t o(t) fggvnybol kpezett
dierenciahnyados hatrrtkeknt a t
0
pontban kvetkezokppen:
(t
0
) = lim
||0
o(t) o(t
0
)
t t
0
Ezt, a dierenicahnyados hatrrtket nevezzk dierencilhnyadosnak,
msknt a fggvny adott pontbeli derivltjnak.
Hasonlkppen tlaggyorsuls (a t
1
s t
2
idopontok kztt)
a
|
=
(t
2
) (t
1
)
t
2
t
1
s a pillanatnyi gyorsuls viszonya, a t
0
idoponthoz elg kzeli t
1
s t
2
esetn:
a(t
0
) -
(t
2
) (t
1
)
t
2
t
1
Ez a pillanatnyi gyorsuls pontosabb megfogalmazshoz vezet, ha azt a t
(t) sebessgfggvnybol kpezett dierenciahnyados t
0
pontbeli hatrrtkvel
rtelmezzk, azaz a sebessgfggvny dierencilhnyadosa, vagy derivltja a
gyorsuls:
a(t
0
) = lim
||0
(t) (t
0
)
t t
0
Termszetesen ennek a fogalomnak szoros kze van a fggvnybrhoz is,
s rdekes a mrtani jelentse a fggvny adott pontbeli dierencilhnyados-
nak, derivltjnak. Mielott ebbe belevgnnk, adjunk magyarzatot a kettos
elnevezsre. A dierencilhnyadost a diferenciahnyados elnevezsbol is szr-
maztathatjuk, de a dierencilrl nmagban is rdemes beszlni.
A derrivlt elnevezs azt rzkelteti, hogy a fggvnybol szrmaz, jabb
fggvnyrol van sz, a fggvny derivltjrl, vagy derivltfggvnyrol, ami a
pontonknt rtelmezett derivlt segtsgvel adhat meg.
Denci. Tekintsnk egy ) : 1 fggvnyt, ahol R s 1 R,
tovbb az rtelmezsi tartomnynak egy r
0
belso pontjt, azaz egy olyan
pontot amely egy nylt (r
0
c, r
0
+c) , (c 0) krnyezettel egytt az
rsze, teht r
0
(r
0
c, r
0
+c) teljesl.
Ha lim
rr0
}(r)}(r0)
rr0
ltezik s vges, akkor azt az adott fggvny r
0
pontbeli
derivltjnak, vagy dierencilhnyadosnak nevezzk, s az
105
)( r
0
) = lim
rr0
}(r)}(r0)
rr0
, vagy
J}
Jr
[
r=r0
= lim
rr0
}(r)}(r0)
rr0
jellseket hasznljuk.
Az adott fggvny derivltja (derivlfggvnye, dierencilhnyados-fggvnye)
az az ): 1 fggvny (ahol az az belso pontjainak halmaza), amelyre
)( r
0
) = lim
rr0
}(r)}(r0)
rr0
Ezekbol egytt szrmaztathat (a krds leegyszerustsvel) a d)(r) =
)(r)dr jells, amit a fggvny dierenciljnak neveznk.
Plda: Szmtsuk ki az ) : R R, )(r) = r
2
fggvny derivltjt egy
tetszoleges r
0
pontban.
A denci szerint:
)( r
0
) = lim
rr0
}(r)}(r0)
rr0
= lim
rr0
r
2
r
2
0
rr0
= lim
rr0
(rr0)(r+r0)
rr0
= lim
rr0
(rr0)(r+r0)
rr0
=
lim
rr0
(r +r
0
) = 2r
0
.
Ez azt jelenti, hogy a fggvnyhez tartoz derivltfggvny (derivlt) az
adott r
0
pontban 2r
0
. Teht ltalban )( r
0
) = 2r
0
, azaz ) : R R, )(
r) = 2r lesz. Ennek rvid jellse (r
2
)= 2r.
Vegynk mg egy pldt, szmtsuk ki az ) : (0, ) R, )(r) = lnr
derivltjt.
Denci szerint:
)( r
0
) = lim
rr0
}(r)}(r0)
rr0
= lim
rr0
ln rln r0
rr0
= lim
rr0
ln
_
r
r0
_ 1
xx
0
= lim
rr0
ln
_
r0+rr0
r0
_ 1
xx
0
=
= lim
rr0
ln
_
1 +
rr0
r0
_ 1
xx
0
= lim
rr0
ln
_
_
_
_
_
1 +
rr0
r0
_
x
0
xx
0
_
xx
0
x
0
_
_
_
1
xx
0
= lim
rr0
ln
_
c
xx
0
x
0
_
1
xx
0
=
lnc
1
x
0
=
1
r0
,
teht (lnr)=
1
r
.
Hasonlan szmthatk ki az elemi fggvnyek derivltjai (illetve egyes fg-
gvnyek derivltjnak szmtsa az inverz fggvnyekre vonatkoz szablyokbl
kvetkezik):
1. / R, (/)= 0,
2. (r)= 1,
3. (r
n
)= : r
n1
, j|. : (r
2
)= 2r, (r
3
)= 3r
2
,
4. (r
o
)= cr
o1
, j|. : (
1
r
)= (r
1
)= r
2
=
1
r
2
, (
_
r)= (r
1
2
)=
1
2
r

1
2
=
1
2
_
r
, (r
3
)= 3r
4
5. (c
r
)= c
r
, (a
r
)= a
r
lna, j|. : (2
r
)= 2
r
ln2, (
_
1
3
_
r
)=
_
1
3
_
r
ln
_
1
3
_
,
6. (lnr)=
1
r
, (log
o
r)=
1
r ln o
, j|. : (lg r)=
1
r ln 10
.
7. (sinr) = cos r, (cos r) = sinr, (tqr) =
1
cos
2
r
= 1 + tq
2
r, (ctqr) =

1
sin
2
r
= 1 ctq
2
r
8. (:/r)= c/r, (c/r)= :/r, (t/r)=
1
c|
2
r
, (ct/r)=
1
s|
2
r
9. (arcsinr)=
1
_
1r
2
, (arccos r)=
1
_
1r
2
, (arctqr)=
1
1+r
2
, (arcctqr)=

1
1+r
2
.
10. (ar:/r)=
1
_
r
2
+1
, (arc/r)=
1
_
r
2
1
106
A derivlsi szablyok s az elemi fggvnyek derivltjnak ismerete lehetov
teszi a tbbi sszetettebb fggvny derivltjnak kiszmtst, s elokszti
az integrlst. A derivlsi szablyok a fggvnyekel vgzett muveletekre, az
sszetett fggvnyre s az inverz fggvnyre vonakoznak:
1. (c )(r))= c )(r),
2. ()(r) +q(r))= )(r) +q(r),
3. (c
1
)(r) +c
2
q(r))= c
1
)(r) +c
2
q(r),
4. ()(r) q(r))= )(r) q(r) +)(r) q(r),
5.
_
}(r)
(r)
_
=
}(r)(r)}(r)(r)

2
(r)
,
6. ()(q(r)))= )(q(r)) q(r),
7.
_
)(r)
(r)
_
=
_
c
ln(}(r)
g(x)
)
_
=
_
c
(r) ln }(r)
_
= c
(r) ln }(r)
(q(r) ln)(r))=
= c
ln(}(r)
g(x)
)
_
q(r) ln)(r) +q(r)
}(r)
}(r)
_
= )(r)
(r)
_
q(r) ln)(r) +q(r)
}(r)
}(r)
_
.
8. Az inverz fggvny derivltjrl tudhat, hogy ha egy (r
0
, j
0
) pontban a
fggvny derivltja :
1
= tqc , akkor az inverz fggvny derivltja a megfelelo
(j
0
, r
0
) pontban :
2
= tq(
t
2
c) mivel a fggvny s inverze egyms tkrkpei
az elso negyed szgfelezojre, teht :
2
= tq(
t
2
c) = ctqc =
1
|o
, vagyis
:
2
=
1
n1
Plda: Lttuk, hogy a (lnr)=
1
r
, ahol j = lnr, s gy r = c

, teht az
inverz, az (c

)=
1
1
x
= r = c

.
De tudjuk, hogy az inverz fggvnyben a szoksos a "vltozcsere, teht
(c

)= c

helyett (c
r
)= c
r
rhat.
Ezt az eredmnyt elolegeztk meg tulajdonkppen az elemi fggvnyek de-
rivltjainak fenti felsorolsban is (lsd 5.).
Hasonlan szmthat ki az arcsinr, arccos r, arctqr, arcctqr stb. dervltja
is.
A derivlt mrtani jelentse
A pontbeli derivlt mrtani jelentsnek megrtsre vizsgljuk meg, mit is
jelent az
}(r)}(r0)
rr0
dierenciahnyados.
Ha egy egyszeru esetet vizsglunk (pl. r
0
< r), akkor szreveheto, hogy az
}(r)}(r0)
rr0
dierenciahnyados az adott fggvny (r
0
, )(r
0
)) s (r, )(r)) pontjait
sszekto hr s az Or tengely ltal bezrt c szg n. irnytangense, azaz
tqc =
}(r)}(r0)
rr0
. A szokssos mdon tekintsk most a dierenciahnyadosnak
a hatrrtkt, ennek a mrtani jelentse az adott pontban a grbhez hzott
rinto rnytangense, azaz az rinto s az Ox tengely ltal bezrt c
0
szgre:
tqc
0
= lim
rr0
}(r)}(r0)
rr0
= )( r
0
).
Kvetkezmnyek.
1. Egy adott derivlhat fggvny grbjnek (r
0
, )(r
0
)) pontjban hzott
rinto egyenlete felrhat, ha az (r
0
, j
0
) ponton thalad s : irnytnyezovel
107
rendelkezo egyenes egyenletbe: jj
0
= :(rr
0
) helyettestjk az j
0
= )(r
0
)
fggvnyrtket s az : = )( r
0
) irnytnyezot, azaz j)(r
0
) = )(r
0
)(rr
0
).
Plda: Tekintsk az az ) : R R, )(r) = r
2
fggvnyt s grakus kpt.
rjuk fel a grbe (2, 4) pontjban az rinto egyenlett.
Az elobbi szmts szerint )( r) = (r
2
)= 2r, teht az r = 2 pontban az
rinto irnytnyezoje : = )( 2) = 2 2, teht a keresett rinto egyenlete:
j 4 = 4(r 4).
Feladatok
1. Derivlja az albbi fggvnyeket! Hozza egyszerubb alakra a derivltakat!
a) )(r) =
r
3
2
+c
r

b) )(r) =
2
3
_
r
3
_
r
3
+
5
r
4
c) )(r) =
5
_
3
_
4
r
d) )(r) = (tqr + lnr)
_
r
3
+ 1
_
e) )(r) =
sin r+cos r
sin rcos r
f) )(r) =
3
_
cos
2
2r
g) )(r) = ln
_
t
2x
t
2x
+1
h) )(r) =
4
_
lg
_
sin
3
rcos
2
r
_
i) )(r) = 2
sin
2
(4r1)
j) )(r) = arccos(1 r)
2
k) )(r) = arctq ln
cos 2r
r
108
l) )(r) = arcsin
_
sin
_
1 r
2
_
2. Derivlja az albbi fggvnyeket!
a) )(r) = r
2r
b) )(r) = r
c|r
c) )(r) =
x
_
cos r
d) )(r) =
_
1
r
_
2
x
3. Hny fokos szg alatt metszik az A tengelyt a kvetkezo fggvnyek
grbi?
a) )(r) =
r1
1+r
2
b) )(r) = ln(3 r)
c) )(r) = (r 2)
5
4. Hatrozza meg az )(r) = (r + 1)
3
_
3 r fggvny grbjnek a (1, 0)
pontjba hzott rinto egyenlett.
A derivltak alkalmazsai
A lHospital szably
Bizonyos hatrrtkek szmtsa sorn azt talljuk, hogy azok
0
0
vagy
o
o
tpushatrozatlansgot tartalmaznak.
Ttel. Tekintsk a fenti hatrozatlansghoz vezeto lim
rr0
}(r)
(r)
hatrrtket,
ahol teht vagy az teljesl, hogy lim
rr0
)(r) = 0 s egyidejuleg lim
rr0
q(r) = 0,
vagy ppen az, hogy lim
rr0
)(r) = s egyidejuleg lim
rr0
q(r) = .
Ha tudjuk, hogy lim
rr0
}(r)
(r)
= |, akkor ltezik a lim
rr0
}(r)
(r)
is, s lim
rr0
}(r)
(r)
= |.
Pldk.
1. Szmtsa ki a lim
r1
r
3
+1
r
2
2r3
hatrrtket. szreveheto, hogy az adott
hatrrtk a lim
rr0
}(r)
(r)
=
0
0
tpusba sorolhat, teht alkalmazhat a lHospital
szably. rjuk fel teht a nevezo s szmll derivltjait, ()(r))=
_
r
3
+ 1
_
=
3r
2
, (q(r))=
_
r
2
2r 3
_
= 2r2 s szmtsuk ki a lim
r1
}(r)
(r)
= lim
r1
3r
2
2r2
=

3
4
, teht az eredeti hatrrtk is ltezik s lim
r1
r
3
+1
r
2
2r3
=
3
4
.
2. Szmtsa ki a lim
ro
t
x
+r1
r
2
2r3
hatrrtket. szreveheto, hogy az adott
hatrrtk a lim
rr0
}(r)
(r)
=
o
o
tpusba sorolhat, teht alkalmazhat a lHospital
szably. rjuk fel teht a nevezo s szmll derivltjait, ()(r))= (c
r
+r 1)=
c
r
+1, (q(r))=
_
r
2
2r 3
_
= 2r2 s szmtsuk ki a lim
ro
}(r)
(r)
= lim
ro
t
x
+1
2r2
=
o
o
, teht ismtelten alkalmazhat a lHospital szably, (c
r
+ 1)= c
r
, (2r 2)=
2,s lim
ro
t
x
2
= gy az eredeti hatrrtk is ltezik s lim
ro
t
x
+r1
r
2
2r3
= .
109
3. Nem alkalmazhat a lHospital szably a lim
r1
r
3
+1
r
2
2r3
hatrrtk kiszmtsra,
hiszen ez a hatrrtk egyszeru behelyettestssel
1
2
, de ha az elso plda alapjn,
a szably helytelen alkalmazsval szmolnnk, akkor ppen a lim
r1
}(r)
(r)
lim
r1
3r
2
2r2
hatrrtk jelenten a gondot, mivel az nem is ltezik.
Derivlhat fggvnyek helyi szlsortkei
Denci. Tekintsnk egy ) : 1 derivlhat fggvnyt, ahol R s
1 R, tovbb az rtelmezsi tartomnynak egy r
0
belso pontjt, azaz egy
olyan pontot, amely egy nylt (r
0
c, r
0
+c) , (c 0) krnyezettel egytt
az rsze, teht r
0
(r
0
c, r
0
+c) teljesl.
Az r
0
pontban a fggvnynek helyi (loklis) maximuma van, ha van
olyan c 0, amelyre brmely r (r
0
c, r
0
+c) elemre
)(r) < )(r
0
), ha r ,= r
0
.
Az r
0
pontban a fggvnynek helyi (loklis) minimuma van, ha van
olyan c 0, amelyre brmely r (r
0
c, r
0
+c) elemre
)(r) )(r
0
), ha r ,= r
0
.
Ttel.
Tekintsnk egy ) : 1 derivlhat fggvnyt, ahol R s 1 R,
tovbb az rtelmezsi tartomnynak egy r
0
belso pontjt, azaz egy olyan
pontot, amely egy nylt (r
0
c, r
0
+c) , (c 0) krnyezettel egytt az
rsze, teht r
0
(r
0
c, r
0
+c) teljesl.
Ha az (r
0
, )(r
0
)) pont a fggvnynek egy heyli szlsortkpontja, akkor
)(r
0
) = 0, azaz a fggvny derivltja 0 ebben a pontban.
Derivlhat fggvnyek monotonitsa
Denci. Tekintsnk egy ) : 1 derivlhat fggvnyt, ahol R
s 1 R, tovbb az rtelmezsi tartomnynak egy r
0
belso pontjt, azaz
egy olyan pontot, amely egy nylt (r
0
a, r
0
+/) , (c 0) krnyezettel
egytt az rsze, teht r
0
(r
0
a, r
0
+/) teljesl. Ha ezen fell
brmely r
1
, r
2
(r
0
a, r
0
+/) amelyre r
1
< r
2
esetn )(r
1
) < )(r
2
) (ill.
)(r
1
) )(r
2
) ) is teljesl, akkor a fggvny az (a, /) intervallumon nvekvo
(ill. cskkeno).
Ttel.
Tekintsnk egy ) : 1 monoton derivlhat fggvnyt, ahol R
s 1 R, tovbb az rtelmezsi tartomnynak egy r
0
belso pontjt, azaz
egy olyan pontot, amely egy nylt (r
0
a, r
0
+/) , (c 0) krnyezettel
egytt az rsze, teht r
0
(r
0
a, r
0
+/) teljesl.
Ha a fggvny nvekvo az (a, /) intervallumon, akkor )(r) 0, brmely
r (r
0
a, r
0
+/) esetn.
Ha a fggvny cskkeno az (a, /) intervallumon, akkor )(r) < 0, brmely
r (r
0
a, r
0
+/) esetn.
Kvetkezmnyek, tulajdonsgok
110
A fenti ttel fordtottja is igaz, ha ) : 1 egy derivlhat fggvnyt,
ahol R s 1 R, tovbb az rtelmezsi tartomnynak egy r
0
belso
pontjt, azaz egy olyan pontot, amely egy nylt (r
0
a, r
0
+/) , (- 0)
krnyezettel egytt az rsze, teht r
0
(r
0
a, r
0
+/) teljesl, s
minden r (r
0
a, r
0
+/) esetn )(r) 0, akkor a fggvny nvekvo az
(a, /) intervallumon, illetve ha minden r (r
0
a, r
0
+/) esetn )(r) < 0,
akkor a fggvny cskkeno az (a, /) intervallumon.
Vagyis, ha egy derivlhat fggvny esetn a derivlt zrushelyeit tekintjk,
akkor a derivlt elojele alapjn megllapthat, hogy az adott pont maximum-e,
minimum-e, vagy esetleg csak egy n. inexis, thajlsi pontja a grbnek,
ahol a grblet megvltozik, s az grbe rintoje vizszintes.
Az ilyen pontokat egyttesen stacionrius pontoknak nevezzk ()(r
0
) =
0).
A fggvnygrbletre vonatkoz informcit az r
0
pontban n. msodrendu
derivlt elojele szolgltatja, jellse )(r
0
), ha )(r
0
) 0 a fggvny konvex az
r
0
pont egy adott krnyezetn, s ha )(r
0
) < 0 a fggvny konkv az r
0
pont
adott krnyezetn. Az inexis pontra jellemzo, hogy ott )(r
0
) = 0.
A fenti ttel fordtottja is igaz, ha ) : 1 egy legalbb ktszere-
sen derivlhat fggvnyt, ahol R s 1 R, tovbb az rtelmezsi
tartomnynak egy r
0
belso pontjt, azaz egy olyan pontot, amely egy
nylt (r
0
a, r
0
+/) , (c 0) krnyezettel egytt az rsze, teht r
0

(r
0
a, r
0
+/) teljesl, s minden r (r
0
a, r
0
+/) esetn )(r)
0, akkor a fggvny konvex az (a, /) intervallumon, illetve ha minden r
(r
0
a, r
0
+/) esetn )(r) < 0, akkor a fggvny konkv az (a, /) intervallu-
mon. A fggvny konvex s konkv szakaszai kzti n. inexis, vagy thajlsi
pontban )(r
0
) = 0, de szksges az is, hogy ennek a pontnak a kt "oldaln"
klnbzo legyen a msodik derivlt elojele.
A msodik derivlttal a fggvny helyi (loklis) szlsortkei is jellemezhetok,
a minimum pontban )(r) 0, illetve a maximum pontban )(r
0
) < 0 teljesl.
Ezeket a tulajdonsgokat a szlsortkek szmtsnl s a fg-
gvnyek teljes vizsglatnl is hasznosthatjuk!
Az ) : 1, ahol R s 1 R esetn teljes fggvnyvizsglat lpsei
a kvetkezok:
1. A fggvny rtelmezsi tartomnynak a pontostsa, a kritikus pontok,
az rtelmezsi tartomny hatrpontjainak megllaptsa.
2. A fggvny rtkkszletnek a vizsglata, amely a fggvny loklis (a
kritikus pontokban) s globlis hatrrtkeinek kiszmtst jelenti, valamint a
fggvny elojele, ha van r md.
3. A fggvnybra s a koordintatengelyek metszspontjainak vizsglata
(r [)(r) = 0 , j
0
= )(0).
4. A fggvny derivltja s annak gykei, elojelnek vltozsa.
5. A fggvny msodik derivltja s annak gykei, elojelnek vltozsa.
6. A elozo pontok eredmynt sszesto tblzat.
7. A fggvnybra elksztse.
Feladatok
111
1. Szmtsa ki a kvetkezo hatrrtkeket!
a) lim
r0
sin
2
3r
5r
2
b) lim
r0
t
x
1
sin 2r
c) lim
r

4
1|r
cos 2r
d) lim
r1
o:c|(ln r)
r1
e) lim
r

2
+0
|r
|5r
f) lim
r0+0
ln r
ln sin r
g) lim
r10
|
x
2
ln(rr
2
)
h) lim
r10
_
2
1r
2

3
1r
3
_
i) lim
r0+0
_
1
sin r
ctqr
_
j) lim
r+o
r
_
c
1
x
1
_
k) lim
r0+0
(1 c
2r
)ctqr
l) lim
r1
(ln(2 r)) tq
tr
2
m) lim
r0+0
r
1
ln(e
x
1)
n) lim
r+o
_
t
2
arctqr
_ 1
x
o) lim
r0+0
(ctqr)
sin r
p) lim
r0
_
2
t
arccos r
_ 1
x
r) lim
r1
(2 r)
|
x
2
2. Hatrozza meg az albbi fggvnyek szlsortkeit!
a) )(r) = r
4
+r
3
b) )(r) = sinr
sin 2r
2
c) )(r) = r arctq2r
d) )(r) = rln
2
r
e) )(r) = r
3
c
r
f) )(r) =
_
2r r
2
3. Vgezzen teljes fggvnyvizsglatot az albbi fggvnyek esetn! Ksztse
el a fggvny grakonjt is!
a) )(r) = 3r r
3
b) )(r) = (r 3)
_
r
c) )(r) =
r
(1r
2
)
2
d) )(r) = rln
2
r
e) )(r) = ln
_
r +
_
r
2
+ 1
_
f) )(r) = c
2rr
2
g) )(r) = rarctqr
h) )(r) = r +arctqr
i) )(r) =
t
x
1+r
112
4. Egyenes fal mellett elhelyezkedo, 200:
2
nagysg tglalap alak terletet
kell kijellni gy, hogy a hrom oldalhoz szksges kerts hossza a leheto
legkisebb legyen. Mekkork a tglalap oldalai?
5. Az 1 sugar gmbbe rjunk maximlis trfogat hengert!
6. Egy adott hajton a hajzs napi kltsge kt rszbol tevodik ssze:
az egyik lland, naponta a forint, a msik pedig a haj sebessgnek kbvel
arnyosan nvekedik. Milyen sebessg esetn lesz a hajzs a leheto leggazdas-
gosabb?
A hatrozatlan integrl fogalma
Primitv fggvny fogalma
Denci. Ha az ) : 1 (egy derivlt) fggvny esetn, ahol R s
1 R, ltezik egy olyan 1 : 1 ( ) derivlhat fggvny, amelyre
1(r) = )(r), brmely r , akkor az 1 : 1 fggvny az ) : 1
primitv fggvnye.
Azonnal belthat, hogy ha 1
1
: 1 s 1
2
: 1, akkor 1
1
(r) =
1
2
(r)+c, ahol c R egy tetszoleges, de rgztett lland, hiszen csak a konstans
fggvnyek derivltja 0 (lsd ott).
A hatrozatlan integrl fogalma
Denci. Ha az ) : 1 (derivlt) fggvny esetn, ahol R s
1 R, ltezik egy olyan 1 : 1 ( ) derivlhat fggvny, amelyre
1(r) = )(r), brmely r , akkor az 1 : 1 fggvny az ) : 1
primitv fggvnye s az 1(r)+c fggvnycsaldot az ) : 1 hatrozatlan
integrljnak nevezzk s jellse:
_
)(r)dr = 1(r) +c.
Szoks mg a hatrozatlan integrl elnevezs mellett a primitv fggvnyek
csaldja,s nha az antiderivlt fogalmt hasznlni.
A hatrozatlan integrl tulajdonsgai
A derivltak megfelelo tulajdonsgai (linearits) alapjn belthatk a hatrozat-
lan integrltak linearitsi tulajdonsgai.
A hatrozott integrl fogalma
A fggvnygrbe alatti terlet egyre pontosabb megkzeltse, "fellrol",
tbblettel, a szemllto brkon az ) : [0, 4] [1, 17], ahol )(r) = r
2
+ 1
fggvnygrbhez a [0, 4] intervallumnak rendre 4, 16, ill. 64 egyenlokzu rsz-
intervallumhoz tartoz tglalapokkal:
A fggvnygrbe alatti terlet egyre pontosabb megkzeltse, "alulrl",
hinnyal, a szemllto brkon az ) : [0, 4] [1, 17], ahol )(r) = r
2
+ 1
113
114
115
fggvnygrbhez a [0, 4] intervallumnak rendre 4, 16, ill. 64 egyenlokzu rsz-
intervallumhoz tartoz tglalapokkal::
A hatrozott integrl tulajdonsgai
1. Szmtsa ki a kvetkezo integrlokat!
a)
_
c
2r+1
dr
b)
_
3
_
1r
2
dr
c)
_
1
r ln 3r
dr
d)
_
r
2
r
3
t
dr
e)
_
sin r
4
_
cos
3
r
dr
f)
_
r
3
_
4 r
2
dr
g)
_
_
1r
2
(1r
2
) arccos r
dr
h)
_
t
x
+1
t
x
+t
x
+2
dr
i)
_
1
cos
2
r
_
1|
2
r
dr
j)
_
4
x
1+16
x
dr
k)
_
r
2
c
r
3
dr
116
l)
_
1
9+r
2
dr
m)
_
1
r
2
+8r+20
dr
2. Szmtsa ki a kvetkezo integrlokat a parcilis integrls mdszervel!
a)
_
rc
2r
dr
b)
_
r
2
2
r1
dr
c)
_
rsin(3r 1)dr
d)
_ _
r
2
+ 1
_
cos
r
2
dr
e)
_
arctqrdr
f)
_
rarctqrdr
g)
_
ln(r 1)dr
h)
_
ln r
r
2
dr
i)
_
arcsin2rdr
3. Alkalmas helyettestssel szmtsa ki a kvetkezo integrlokat!
a)
_
c
_
r1
dr
b)
_
Jr
_
r(1+
_
r
3
)
c)
_ _
2
r
1dr
d)
_
cos
_
r
_
r
dr
e)
_ _
1 4r
2
dr
f)
_ _
3 2r r
2
dr
4. Hatrozza meg az albbi trigonometrikus fggvnyek integrljt!
a)
_
sin
3
rcos
7
rdr
117
b)
_
sin
6
rcos
5
rdr
c)
_
sin
2
rcos
4
rdr
d)
_
sin
3
(2r + 1) cos
2
(2r + 1)dr
5. Szmtsa ki a kvetkezo fggvnyek integrljt!
a)
_
Jr
14r
2
b)
_
r+1
r
2
5r+6
dr
c)
_
r
2
+1
r
3
+4r
2
+4r
dr
d)
_
Jr
r
2
+4r+13
e)
_
r
2
+4r+1
r
4
+r
2
dr
f)
_
r
4
+4
r
3
1
dr
g)
_
Jr
4
x
22
x
+1
h)
_
Jr
t
x
+t
x
+2
6. Alkalmazza a megfelelo mdszereket az albbi hatrozott integrlok
kiszmtsra!
a)

3
_
0
cos(
t
4
r)dr
b)
2
_
0
(r + 2) c
r
dr
c)
3
_
1
_
2
3
_
r
+ 3
2r1
_
dr
d)
5
_
2
[3 2r[ dr
e)
5
_
3
r
_
r2
dr
f)
2
_
2
_
4 r
2
dr
Balzs M.; Kolumbn J.: Matematikai Analzis, Dacia Knyvkiad, Kolozsvr,
1978, 195-198.;324-331.
118
INTEGRLS HELYETTESTSSEL (Vltozcsere)

1. Integrls helyettestssel az alaptlet

Az integrlszmits egyik leghatkonyabb mdszere a
helyettestses mdszer. Tbb hasznos helyettests ltezik, amit
integrlok kiszmitsra hasznlhatunk. A legfontosabbak kzl
nhnyat bemutatunk a kvetkez fejezetekben. A helyettesitk
hasznlatnak legfbb clja az, hogy talljunk egy msik integrlt,
ami knnyebben megoldhat.
Az alaptlet, hogy kicserljk az fggetlen vltozt az x
( )
f x dx

integrlban egy j t vltozra a kvetkez egyszer formula

segitsgvel
( )
x = t . Ebbl kvetkezik:

( ) ( )
x t
x ' t ' =

( )
1.dx ' t dt = s
( )
f t

.
Kvetkezskppen
( ) ( ) ( )
f x dx f t . ' t dt =

amit
remlhetleg knnyebben tudunk megoldani.
Bizonyos esetekben hasznosabb a
( )
t x = helyettestst
hasznlni.
( )

f x dx Algoritmus a helyettestssel trtn megoldsra.

1. lps A problmtl fggen legalkalmasabb helyettest
formula meghatrozsa.
Step 2. Helyettesitsk t-re az x-et az integrland fggvnyben,
szmoljuk ki dx-et a helyettest formula segitsgvel s
hatrozzuk meg az j integrlt
( ) ( )
f t . ' t dt

.
Step 3. Szmoljuk ki az integrlt.
Step 4. Az
( )
F t eredmnyt alakitsuk t az x vltoznak
megfelelen.

Maple parancsok.
>I:=int(f,x);
>Int(f,x);
Az f fggvny integrljnak meghatrozsa, ahol x egy vltoz;
>with(student):changevar(x=t^2,I);
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
A t vltoz helyettestse x el a kpletben (jelen esetben ) az
I integrlban.
2
x t =
>I1:=value(%);
A vgeredmny kiszmitsa ahogy a Maple program hasznlja.
Plda. Szmoljuk ki a kvetkez integrlt
( )
0
2 1
dx
I
x x
=
+

.
Matematikai megolds.
2
0 2 x t x t dx tdt = > = = . Ebbl A helyettests

( )
0
2
2
2
1
2 1
tdt dt
I arctgt C arctg x C
t
t t
= = = + =
+
+

+ .
Megolds a Maple segitsgvel.
>I0:=int(1/(2*(x+1)*sqrt(x)),x);

( )
0 I : arctg x =
Rszletes megolds a Maple-ben.
1) az integrl definilsa a STUDENT programba:
>with(student):
>I0:=Int(1/(2*(x+1)*sqrt(x)),x);

( )
1
0
2 1
I : d
x x
=
+
x

2) helyettestsk -el -et:
2
t x
>changevar(x=t^2,I0);

( )
2 2
2
2 1
t
dt
t t +

3) szmoljuk ki az uj integrlt:
>I0:=value(%);

( )
0
2
t.arctan t
I
t
=
4) alakitsuk vissza -re: x
>I0:=subs(t=sqrt(x),I0);

ii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

( )
0
I arctan x =

Plda. Szmoljuk ki a kvetkez integrlt
1
2
4
dx
I
x x
=

.

Matematikai megolds.
2
2 2
x dx dt
t
t

= =


A helyettests . Ebbl

2
2 2
2
1 1
2 4
4 4 1
4
t
x x t
t
t
= =

2
1
2
2 2
2 1 1
2
4 1 1
t
I dt dt
t
t t

= =




=

1 1
2 2
arcsint C arcsin C
x
= + = +
2
.
Rszletes megolds a Maple-ben.
>restart: with(student):
>I1:=Int(1/(x*sqrt(x^2-4)),x):
>changevar(x=2/t,I1); I1:=value(%);
>I1:=subs(t=2/x,I1);

1 2
1
2
I : arcsin
x

=


.

Plda. Szmoljuk ki a kvetkez integrlt
3
2
1
x
x
e dx
I
e
=

.
Matematikai megolds.
A helyettests
{ }
1 0
x
e t = > annak rdekben, hogy szabad
integral legyen.

iii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
Ebbl
( )
2
1 x ln t =
2
2
1
t
dx dt
t

.

( )
( )
2 3
3 1 2
2
2 2
1
2
2
1 1
ln t
t
e t
I . dt dt
t
t t

= =


=

( )
2
2
2 1 t dt = =

3 5
2 2
3 5
t t
t C

+ +


=

( ) ( )
3 5
2 1
2 1 1 1
3 5
x x x
e e e

= + +


C.
Rszletes megolds a Maple-ben.
>restart:with(student):
>I2:=Int(exp(3*x)/sqrt(1-exp(x)),x);
>changevar(sqrt(1-exp(x))=t,I2);
>I2:=value(%);
>I2:=subs(t=sqrt(1-exp(x)),I2);

( )
( )
( )
( ) 5 2 3 2
2 4
2 2 1 1 1
5 3
/ /
x x x
I : e e e = + .

Plda. Szmoljuk ki a kvetkez integrlt
3
4
2
1
sin x.cos x
I dx
cos x
=

.
Matematikai megolds.
A helyettests
{ }
2
cos x t = . Ebbl
( )
2 dt cos x. sin x dx = .

3
2
1
dt
I arct gt C
t
= = + =

( )
2
arctg cos x C +
Rszletes megolds a Maple-ben.
>restart:with(student):
>I3:=Int(2*sin(x)*cos(x)/(cos(x)^4-1),x);
>changevar(cos(x)^2=t,I3);
>I3:=value(%);
>I3:=subs(t=cos(x)^2,I3);

( )
( )
2
3 I : arctanh cos x = .

iv
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

Plda. Szmoljuk ki a kvetkez integrlt
4
4
4 3
sin xdx
I
x
=

.
Matematikai megolds.
A helyettests
{ }
4
x t = . Ebbl
4 3
4 x t ,dx t dt = =

3
4
3
4
4 4
sint. t dt
I sintdt cost C
t
= = =

+ =

4
4cos x C = + .
Rszletes megolds a Maple-ben.
>restart:with(student):
>I4:=Int(sin(x^(1/4))/(x)^(3/4),x);
>changevar(x^(1/4)=t,I4); I4:=value(%);
>I4:=subs(t=x^(1/4),I4);

( )
( )
1 4
4 4
/
I : cos x = .



2. A fggvny integrlsa helyettestssel
( )
(
2
f x = ax + bx + x
)

A kvetkez tipus integral megoldst mutatjuk be
helyettestssel:

1
2
Mx N
J dx
ax bx c
+
=
+ +

,

2
2
Mx N
J dx
ax bx c
+
=
+ +

.
Ebbl

2
2
2
2
2
4
b c b
ax bx c x
a a
a



+ + = + +








a helyettests
2
b
x
a
t + = vagy
2
b
x t
a
= s dx dt = .

v
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

Plda. Szmoljuk ki a kvetkez integrlt
5
2
2 2
2 2
x
I dx
x x

=
+

.
Matematikai megolds.
A helyettests
{ }
1 x t = 1 . Ebbl
2 2
2 2 x x t + = + s

( )
( )
2
5
2 2 2
2 1 2
2 1
1
1 1 1
t
t
I dt dt d
t t t
+
= = =
+ + +

t + =

2 2
1 2 ln t C ln x x C = + + = + + 2 .
Rszletes megolds a Maple-ben.
>restart:with(student):
>I5:=Int((2*x-2)/(x^2-2*x+2),x);
>changevar(x-1=t,I5); I5:=value(%);
>I5:=subs(t=x-1,I5);
( )
( )
2
5 1 1 I : ln x = +
>simplify(I5);
.
( )
2
5 2 I : ln x x = + 2

Plda. Szmoljuk ki a kvetkez integrlt
6
2
4 8
dx
I
x x
=
+ +

.
Matematikai megolds.
A helyettests
{ }
2 x t + = 4 . Ebbl
2 2
4 8 x x t + + = + s

6
2
1 1
2 2 2 2
4
dt t x 2
I arctg C arctg C
t
+

= = + =

+

+ .
Rszletes megolds a Maple-ben.
>restart:with(student):
>I6:=Int(1/(x^2+4*x+8),x);
>changevar(x+2=t,I6); I6:=value(%);
>I6:=subs(t=x+2,I6);

vi
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

1 1
6 1
2 2
I : arctan x

= +


.

Plda. Szmoljuk ki a kvetkez integrlt
7
2
3 1
4 5
x
I dx
x x

=
+ +

.

Matematikai megolds.
A helyettests
{ }
2 x t + = 1 . Ebbl
2 2
4 5 x x t + + = + s

7
2 2 2
3 7
3 7
1 1
t t
I dt dt
t t t

= =
+ +

1
dt
=
+


( )
2
2
3 1
1 7
2
1
d t arctgt
t
= +
+

=

2
3
1 7
2
ln t arctgt C = + + =

( )
2
3
4 5 7 2
2
ln x x arctg x C = + + + + .
Rszletes megolds a Maple-ben.
>restart:with(student):
>I7:=Int((3*x-1)/(x^2+4*x+5),x);
>simplify(changevar(x+2=t,I7));
>I7:=value(%);
>I7:=simplify(subs(t=x+2,I7));

( )
( )
2
3
7 4 5 7
2
I : ln x x arctg x = + + 2 + .

Plda. Szmoljuk ki a kvetkez integrlt
8
2
7 8
2 3 1
x
I dx
x x

=
+

.
Matematikai megolds.
3
4
x t

=


. Ebbl
2 2
1
2 3 1 2
16
x x t

+ =


. A helyettests

vii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

8
2
2
1 1 8 8 1
8
1
2
16 1
16
t t
I dt dt
t
t

= =

=

( ) ( )
2 2
1 2
8 8 4
4 1 4 1
t
dt . dt
t t
=


=

( )
( )
2
2 2
1 1
2 4 32
16 1
4 1
d t dt
t
t
=

=

2
4 1
2 16 1
4 1
t
ln ln t C
t

= +
+
=
4 1 4 1 2 4 1 2 4 1 ln t ln t ln t ln t C = + + + =
4 1 3 4 1 ln t ln t C = + + =
4 4 3 4 2 ln x ln x C = + =
4 1 3 2 3 2 1 ln ln x ln ln x C = + =
5 2 1 3 2 1 ln ln x ln x C = + =.
Rszletes megolds a Maple-ben.
>restart:with(student):
>I8:=Int((7-8*x)/(2*x^2-3*x+1),x);
>I8:=simplify(changevar(x-3/4=t,I8));
>I8:=value(%);
>I8:=simplify(subs(t=x-3/4,I8));

( ) ( ) ( )
8 5 2 3 2 1 I : ln ln x ln x = 1 .

Plda. Szmoljuk ki a kvetkez integrlt
9
2
2 2
2 2
x
I dx
x x

=
+

.
Matematikai megolds.
A helyettests
{ }
1 x t = 1 . Ebbl
2 2
2 2 x x t + = + s

( )
( )
2
9
2 2 2
2 1 2
2 1
1
1 1 1
t
t
I dt dt d
t t t
+
= = =
+ + +

t + =

2 2
2 1 2 2 2 t C x x = + + = + + C .

viii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
Rszletes megolds a Maple-ben.
>restart:with(student):
>I9:=Int((2*x-2)/sqrt(x^2-2*x+2),x);
>I9:=simplify(changevar(x-1=t,I9));
>I9:=value(%);
>I9:=simplify(subs(t=x-1,I9));

2
9 2 2 I : x x = + 2

Plda. Szmoljuk ki a kvetkez integrlt
10
2
3 5
9 6 3
x
I dx
x x

=
+

.
Matematikai megolds.
A helyettests
{ }
1 x t = . Ebbl
( )
2 2
9 6 3 3 4 x x t + = s

10
2 2
1 3 2 3 2 1
3 3 3
4 4 4
t t
2
I dt dt dt
t t

= =


t
=

( )
2
2
1 2
3 4
2
3
2 4
t
d t arcsin C
t
= + =

( )
2
2
3 4
2
3
t
t arcsin C = + =

2
2 1
9 6 3
2
3
x
x x arcsin C

= + + .
Rszletes megolds a Maple-ben.
>restart:with(student):
>I10:=Int((3*x-5)/sqrt(9+6*x-3*x^2),x);
>I10:=simplify(changevar(x-1=t,I10));
>I10:=value(%);
>I10:=simplify(subs(t=x-1,I10));
2
2 1 1
10 3 9 6 3
3 2 2
I : arcsin x x x

= +


.





ix
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
3. Gyakorls

Oldja meg a kvetkez integrlokat helyettestssel:

2
11
4
9
x
x
e
I dx
e
=
+

,
Megolds.
2
11
1
6 3
x
e
I arctg C

= +


,

( )
12
3 2 3
1
dx
I
x x
=

,
Megolds.
3
12
3
1
2
I ln x C = +

13
2
2
dx
I
ax x
=

, helyettests
( )
1 x a t = ,
Megolds.
13
a x
I arccos C
a

= +

14
1
1
x
x
e
I dx
e
+
=

,
Megolds.
( )
2
14
1
x
I ln e x C = + .

15
2
4 3
2 2 1
x
I dx
x x
+
=
+ +

,
Megolds.
( )
2
15
1
2 1
2
I ln x x arctg x C = + + + + +

16
2
2 5
4 5
x
I dx
x x

=
+ +

,
Megolds.
( )
2
16
4 5 9 2 I ln x x arctg x C = + + + +

17
2
1
3 6 2
x
I dx
x x
+
=
+ +

,
Megolds.
2
17
1 2
2
6 3
I ln x x C = + + + ,

x
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

18
2
2
3 6 2
x
I dx
x x
+
=
+ +

Megolds.
( )
2
18
1 2 1
2 3
6 3
3
3 I ln x x arctg x C = + + + + +

19
2
1
2 3
x
I dx
x x

Megolds.
19
2
1 2 1
3
3 3 2
x
I ln x ln C
x

= + +

20
2
2 4
3 5
x
I dx
x x

=
+ +

,

Megolds.
2 2
20
3
2 3 5 7 3 5
2
I x x ln x x x = + + + + + + + C

21
2
2 3
3 5
x
I dx
x x
+
=
+ +

,
Megolds.
2
21
3 5 I x x = + + +C

22
2
4 2
2 1
x
I dx
x x
+
=
+

,

Megolds.
2 2
22
3 2
2 2 1 2 2 1
2 4
I x x ln x x x = + + + + C +


23
2
4 3
dx
I
x x
=

,
Megolds.
2
23
2 4 3 I ln x x x C = + + +





xi
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
4. Gyakorl teszt

Oldja meg a kvetkez integrlokat:

5
24
5 4
cos xdx
I
x
=

,
.
25
4
4
2 4
sin xdx
I
cos x
=
+

,

26
4
2
1
sin xdx
I
cos x
=
+

,

2 3
27
2 3
x
e
I dx
x

,

28
2
10
dx
I
x x
=

,

29
2
3 3
2 1
x
I dx
x x
+
=

,

30
2
3 2
2 3
x
I dx
x x

=
+

.



5. Gyakorl krdsek

1) Magyarzza el a helyettestssel trtn integrls mdjt.
2) Mutasson pldt a helyettestssel trtn integrlsra.
3) Magyarzza meg a kvetkez Maple parancsok jelentst:
with(student), changevar(x=t^2,I1),
simplify(changevar(x=t^2,I1)),
I11:=value(%),I1:=subs(t=sqrt(x),I1),
I1:=simplify(subs(t=sqrt(x),I1)).




xii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

PARCILIS INTEGRLS

1. Parcilis integrls. Pldk

Legyenek a
( ) ( ) ( ) ( )
f x ,g x , f ' x ,g' x fggvnyek folyamatosak
az
[ ]
a,b intervallumban. Ebbl

( ) ( ) ( ) ( )
f x g' x dx f x dg x = =



( ) ( ) ( ) ( )
f x g x g x f ' x dx =

vagy
(1) , udv uv vdu =

ahol
( ) ( )
u f x , dv g' x dx = = az integrland fggvny rszei.

Az (1) kplet ilyen integrlokra vonatkozik:
1)
( )
kx
n
P x e dx

,
( )
n
P x sinkxdx

,
( )
n
P x cos kxdx

,
ahol
( )
n
P x az alap polinom-ja, s lland. Az ilyen tipus x n k
integrlok megoldsa magba foglalja:
a) az u vltoznak polinom-nak kell lennie, pl.
( )
n
u P x = ;
b) az (1) kplet n alkalommal val felhasznlst.
2)
( )
n
P x ln xdx

,
( )
n
P x arcsin xdx

,
( )
n
P x arccos xdx

,

( )
n
P x arctgxdx

,
( )
n
P x arcctgxdx

,
ahol
( )
n
P x az n alap polinom-ja. A megolds magba foglalja: x
a)
( ) ( )
n
u f x P x = ;
b) az (1) kplet felhasznlst.
3) ,
ax
e cosbxdx

ax
e sinbxdx

ahol brmely lland. A megolds magba foglalja: a,b

a) u vagy u s ; cosbx = inbx =
b) az (1) kplet 2 alkalommal val felhasznlst.

xiii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
Maple parancsok.
Az albbi alprogram hasznlatval knny megrteni az
integrlok megoldsnak folyamatt
>with(student):
a parancs
>intparts(A,u));
ahol az integrl
>A:=Int(f,x);
s az u fggvnyt az 1) 3) szablyok hatrozzk meg.
Szintn hasznos lehet a simplify parancs hasznlata az
egyszerbb vgeredmny rdekben.

Plda. Szmoljuk ki a kvetkez integrlt

( )
1
6 3 2 I x sin xd =

x.
Matematikai megolds.
6 3 6
1
2 2
2
x u du dx
sin xdx dv v cos x
= =

= =

( )

1
1
6 3 2
2
u
v
I x d cos x

= =

14243
14243


( ) ( )
1 1
6 3 2 2 6 3
2 2
u u
v v
x cos x cos x d x

=


=

14243 14243
14243 14243


( )
1 1
6 3 2 2 6
2 2
x cos x cos x. d

=


x =

6 3 3
2 2
2 2
x
cos x sin x C

= + + .
Megolds a Maple segitsgvel.
>I[1]:=int((6*x-3)*sin(2*x),x);

( ) ( ) ( )
1
3 3
2 3 2 2
2 2
I : sin x xcos x cos x = +
Rszletes megolds a Maple-ben.
>with(student):

xiv
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
>A:=Int((6*x-3)*sin(2*x),x);

( ) ( )
6 3 2 A: x sin x = dx

>J:=simplify(intparts(A,6*x-3));

( ) ( )
6 3
2 3 2
2
x
J : cos x cos x

= + = dx

A
( )
1
3 2 J cos x dx =

integral megoldsa, mint ltalban:
>J[1]:=int(3*cos(2*x),x);

( )
1
3
2
2
J : sin x =
A megolds:

( )
1 1
6 3
2
2
x
I cos x J

= + =

( ) ( )
6 3 3
2 2
2 2
x
cos x sin x C

= + + .

Plda. Szmoljuk ki a kvetkez integrlt

( )
2
2 I x cos xd = + x

.
Matematikai megolds.

( ) ( ) ( ) ( )
2
2 2 2 x d sin x x sin x sin xd x = + = + + =

I

( ) ( )
2 2 x sin x sin xdx x sin x cos x C = + = + + +

.
Rszletes megolds a Maple-ben.
>with(student):
>A:=Int((x+2)*cos(x),x);

( ) ( )
2 A: x cos x d = + x

>J:=simplify(intparts(A,x+2));

( ) ( ) ( )
2 J : x sin x sin x dx = +

>J[1]:=int(sin(x),x);

( )
1
J : cos x =
A megolds:

( ) ( )
2 1
2 2 I x sin x J x sin x cos x = + = + + + C.
Megolds a Maple segitsgvel (ellenrzs).

xv
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
>A:=int((x+2)*cos(x),x);
Plda. Szmoljuk ki a kvetkez integrlt

2
3
I x sin xdx =


Matematikai megolds.

2
2 u x du xdx
dv sin xdx v cos x

= =



= =




{ {
( )
2 2
3
u u
dv
v
I x sin xdx x d cos x = =
123
=
14243


( )
2 2 2
2 x cos x cos xd x x cos x cos x. xdx = + = + =





u x du dx
dv cos xdx v sin x
= =




= =



{
( )
2
3
2
u
v
I x cos x xd sin x = + =

123


2
2 x cos x x sin x sin xdx

= + =

.
2
2 2 x cos x x sin x cos x C = + + +
Rszletes megolds a Maple-ben.
>with(student):
>A:=Int(x^2*sin(x),x):
>J:=simplify(intparts(A,x^2));

( ) ( )
2
2 J : x cos x cos x xdx = +

>B:=2*Int(cos(x)*x,x):
>J[1]:=simplify(intparts(B,x));

1
2 2 J : x sin x sin xdx


>J[2]:=int(2*sin(x),x):

( )
2
2 J : cos = x
A megolds:

2
2
2 2 I x cos x x sin x cos x C = + + +
Plda. Szmoljuk ki a kvetkez integrlt

xvi
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

2
4
x
I e cos xd

= x

.
Matematikai megolds.

2 2
2
x x
u e du e dx
dv cos xdx v sin x


= =



= =




{ {
( )
2 2
4
x x
u u
dv
v
I e cos xdx e d sin x

= = =
14243
123


( )
2 2 x x
e sin x sin xd e

= =
{{
2 2
2
x x
v u
e sin x sin xe dx

+ =

2 2
2
x x
u e du e dx
dv sin xdx v cos x


= =



= =




{
( )
2 2
4
2
x x
u
v
I e sin x e d cos x

= + =

14243


2 2
2 2
2 x x x
e sin x e cos x cos xde

= +

=

\

2 2 2
2 4
x x x
e sin x e cos x e sin xdx

=

2 2
4 4
2 4
x x
I e sin x e cos x I

=

( )
2
4
1
2
5
x
I e sin x cos x

= C + .
Rszletes megolds a Maple-ben.
>with(student):
>A:=Int(exp(-2*x)*cos(x),x):
>J:=simplify(intparts(A,exp(-2*x)));

( )
( )
( )
( )
2 2
2
x x
J : e sin x e sin x dx

= +


Ebbl

( )
( )
2
1
x
J : e sin x J

= + .
1
J szmitsa:
>B:=2*Int(exp(-2*x)*sin(x),x):
>J[1]:=simplify(intparts(B,exp(-2*x)));

xvii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

( )
( )
( )
( )
2 2
1
2 4
x x
J : e cos x e sin x d

= x

Ekppen,

( )
( )
( )
( )
2 2
2 4
x x
J : e sin x e cos x J

= .
Ebbl kvetkezik, hogy

( )
( )
2
1
2
5
x
J : e sin x cos x

= C + .
Megolds a Maple segitsgvel (ellenrzs).
>J:=int(exp(-2*x)*cos(x),x);

Plda. Szmoljuk ki a kvetkez integrlt

2
5
2 2
x
I dx
x a
=
+

.
Megjegyzs. Ennek ez integrlnak a neve 100 000, mivel
100 000 dik bukott meg a matematika vizsgjn emiatt az integral
miatt.
Matematikai megolds.
( ) ( )
( )
( )
2 2
2 2
2 2 2 2
2 2
1 1
2
1
2
u x du dx
x
dv dx d x a
x a x a
v
x a



= =



= = +


+ +


=

+





{
( )
5
2 2
1
2
u
v
I xd
x a


=

+

144
=
2443


( ) ( )
2 2 2 2
1 1
2
2
x
dx
x a x a
= + =
+ +

xviii
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

( )
2 2
1
2
2
x x
arctg C
a a
x a
= + +
+
.
Rszletes megolds a Maple-ben.
>with(student):
>A:=Int(exp(-2*x)*cos(x),x):
>J:=simplify(intparts(A,exp(-2*x)));
???


2. Gyakorls

1) Szmoljuk ki a kvetkez integrlokat

6
2 1 I arctg x d =

x,

2
7
4 1 I ln( x )dx = +

,

2
8
x
I x e dx =

,

3
9
2
x
I e sin xd =

x,

10
I sinln xdx =

.

6
I matematikai megoldsa.
( )
2
2 1
1 2 1
2 2 1 2 2 1
1 2 1
arctg x u
du dx dx
x x x
x
dx dv v x
=
= =

+
= =



6
1
2 1
2 2 1
I x.arctg x x dx
x x
= =

2 1
2 2 1
dx
xarctg x
x
= =

1
2 1 2 1
2
xarctg x x C = +

xix
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben
6
I megoldsa Maple segitsgvel.
>I[6]:=int(arctan(sqrt(2*x-1)),x);


( )
( ) ( )
6
1 1 1
2 1 2 1 2 1 2 1
2 2 2
I : x arctg x x arctg x = +

Megolds a Maple segitsgvel.
>I[7]:=int(ln(4*x^2+1),x);

( )
( )
2
7
4 1 2 2 I : xln x x arctan x = + +
>I[8]:=int(x^2*exp(x),x);

2
8
2 2
x x x
I : x e xe e = +
>I[9]:=int(exp(3*x)*sin(2*x),x);

( )
( )
( )
( )
3 3
9
2 3
2 2
13 13
x x
I : e cos x e sin = + x
>I[10]:=int(sin(ln(x)),x);

( ) ( ) ( ) ( )
10
1 1
2 2
I : cos ln x x sin ln x = + x

2) Szmoljuk ki a kvetkez integrlokat

2
11
I x sin xdx =

,

12
I xln xdx =

,

2 5
13
x
I x e dx =

,

2
5
14
x
I x e dx =

,

( )
3
15
2 2
x
I e sin x cos x d = x

,

( )
2
16
I x arctgx dx =

,

17
2
1
x.arctgx
I dx
x
=
+

,

2
18
2
1
x arctgx
I dx
x
=
+

,

xx
Fggelk: Vltozcsere s parcilis integrls
hagyomnyosan s MAPLE-ben

19
1
arcsin x
I dx
x
=

,

4 3
20
x
I x e sin xdx =

,

( )
2
21
2 I ln x dx = +

,

( )
2
22
1 I x ln x dx = +

.



3. Gyakorl teszt

Szmoljuk ki a kvetkez integrlokat

23
I arctg xdx =

,

2
24
x
I e cos xdx =

,

2
25
I ln xdx =

,

26
3
ln x
I dx
x
=

.



4. Gyakorl krdsek

4) Magyarzza el a Parcilis integrls lnyegt.
5) Hogyan tudn meghatrozni az u fggvnyt a Parcilis
integrlshoz?
6) Magyarzza meg a kvetkez Maple parancsok jelentst:
with(student):
A:=Int(f,x);
intparts(A,u));
simplify


xxi