Professional Documents
Culture Documents
Korndi Jzsef
Trk Judit
Szmelmlet
Tartalomjegyzk
1. Alapok
19
34
46
60
6. A szmelmlet alapttele
67
7. A prmszmokrl
77
8. Kongruencia
103
9. Lineris kongruencik
128
139
150
12.Szmelmleti fggvnyek
162
13.Tkletes szmok
182
187
15.TESZTEK
197
3
Bevezets
Ez a knyv egy hromktetes elektronikus jegyzet els ktete. A jegyzet a
szmelmlet s algebra alapjait mutatja be tanrszakos hallgatknak. Igyekeztnk azokra az alapvet ismeretekre szortkozni, illetve rszletesen kitrni,
amelyek a tants sorn (akr burkoltan is) felmerlhetnek. Tovbb igyekeztnk az egyetemi szint ismereteket sszefzni a korbban tanultakkal,
hogy megknnytsk az j (fajta) ismeretek feldolgozst.
Munknkban sokan segtettek, kln ksznettel tartozunk Komjth Pternek, a knyv korbbi verzijnak lektorlsrt, illetve Hermann Pternek
s Fried Ervinnek nzetlen segtsgkrt, amellyel nagyban segtettk a munknkat. Ksznetnk Hrask Andrsnak, aki a javtott, elektronikus kiadst
nzte t. A knyv technikai feldolgozsban segtsgnkre volt Vsrhelyi Jnos s sok-sok hallgat, klnsen Mrkus Bence, akinek ezton is ksznjk
a munkjt.
A knyv hrom rszre tagozdik:
Szmelmlet: Ez a rsz az ltalnos- s kzpiskolban tanult szmelmleti ismereteket kvnja megalapozni, rendszerezni s kiegszteni. Lnyegben
az oszthatsg fogalmtl elindulva jutunk el a kongruencikig s a szmelmleti fggvnyekig. Utals trtnik a mai modern szmelmletnek ha
nem is a mdszereire, de nhny problmjra s eredmnyre. A feldolgozs sorn tekintettel arra, hogy ez a rsz kapcsoldik a legkzvetlenebbl
az ltalnos iskolai anyaghoz folyamatosan szem eltt tartottuk az iskolai
alkalmazsokat, mg ha nem is mindig trtnk ki r.
Klasszikus algebra: Ebben a rszben megprbljuk sszefoglalni azokat a (klasszikus) algebrai ismereteket, amelyek meggyzdsnk szerint az
algebrai alapmveltsg rszt kpezik, s amelyekre a hallgatknak egyb
tanulmnyaik sorn is szksgk lehet. gy bevezetjk a komplex szmokat,
szlunk polinomokrl s polinomegyenletekrl, valamint mg szmos olyan
dologrl, amelyek neve egy ilyen bevezetsben valsznleg inkbb ijesztek
semmint lelkestek lennnek, gy most fel sem soroljuk ezeket. A feldolgozs
sorn folyamatosan hasznlni kezdjk az (absztrakt) algebra kifejezseit, de
ez mr igazbl a kvetkez rszhez tartozik. me:
el algebrai megfontolsok az analzis tmakreiben, hogy mirt nem geometriai, hanem algebrai problma pldul a kr ngyszgestse, de mg
akr az is megtudhat, hogy mik azok a racionlis szmok.
Megjegyzs
Ez a jegyzet nem knyv. Nem kvn teht az egykori s mai algebra s szmelmlet brmifle sszefoglal mve lenni.
Ez a jegyzet nem eladsjegyzet. Trekvseink dacra sem gondoljuk,
hogy ez a munka teljesen helyre tudna lpni az eladsokon val jegyzetelsnek.
Ez a jegyzet nem puska. Nem ptolja teht a hallgat egyni
(meg?)bartkozst az anyaggal, a defincik, ttelek, bizonytsok, pldk
s ellenpldk vgiggondolst, jraalkotst, kiegsztst, megrtst, ellenrzst. Nem titkolt clunk annak elrse, hogy ki-ki kpes legyen pldul
sajt pldkat tallni az egyes fogalmakra vagy akr befejezni (ms mdon)
vagy jragondolni sajt ktfejbl egy-egy bizonytst. (Az a dolog rszletesebb megfontolst az olvasra bzzuk tpus mondatok csbtsnak mi
sem mindig tudtunk ellenllni, de azt azrt j szvvel nem tudjuk javasolni,
hogy valaki egy vizsgn csupn arra hivatkozzon, hogy a szbanforg dolog
nyilvnval.)
Vgezetl: remljk, hogy ez a jegyzet komoly segtsget jelent mindazoknak, akik rtelmesen olvassk-forgatjk. Amennyiben gy lesz, akkor ebben
nagy rsze van a lektoroknak s mindazon hallgatknak, akik szrevteleikkel, megjegyzseikkel s tancsaikkal tmogattk e jegyzet megszletst,
amirt ezton is szeretnnk mindannyiuknak ksznetet mondani.
a szerzk
1. fejezet
Alapok
Szmelmletet tbbflekppen lehet illetve esetnkben: lehetne elkezdeni.
Az albbiakban ngy egyltaln nem ekvivalens lehetsget mutatunk be
a termszetes szmok bevezetsre, amelyek kzl az utolst fogjuk vlasztani.
Mindenekeltt azonban tisztznunk kell egy ltszlag jelentktelen krdst, amely gykeresen megvltoztat egy-egy problmt vagy annak megoldst, s ez a Termszetes szm-e a nulla? krdse. Ezt illeten a vilgon
sehol sem egyrtelm az llspont. A magyar kzoktatsban (vagyis az
ltalnos s a kzpiskolkban) a nulla termszetes szm, a felsoktatsban pedig megllapods krdse.
A matematika trtnetben a nulla nem volt termszetes szm. (Mert
sokig szm sem volt.) A XIX. szzadban indult egy olyan trekvs, hogy
minden matematikai fogalmat matematikai logikai (ebbl kvetkezen halmazelmleti) alapokra ptsenek. (Lsd a termszetes szmok msodik bevezetse.) Ekkor, a termszetes szmok egysges, halmazelmleten alapul
trgyalsa sorn merlt fl, hogy a nulla ugyangy termszetes szm lehet,
mint az 1, a 2, a 3, a 4 stb.
Ezt persze ltalban nem lehet trvnybe iktatni, ezrt megllapods
krdse.
Mi a szoksos szmelmletet a teljes egsz szmhalmazon fogjuk trgyalni, ezrt szinte mindegy, hogy a nulla termszetes szm-e vagy sem, ezrt
megengedhetjk magunknak azt a luxust, hogy ltalban ne tekintsk annak.
A termszetes szmok lehetsges bevezetsekor azonban kivtelt tesznk,
s a nullt is a termszetes szmok kz fogjuk sorolni (azrt, hogy a term-
1. Alapok
10
1. Alapok
11
Nos, ha mindez teljesl (Z, +, )-re, akkor ezt egysgelemes, nullosztmentes kommutatv gyrnek vagy ms nven egysgelemes integritsi tartomnynak (vagy integritstartomnynak) nevezzk. Ilyen pldul (Z, +, )
is, vagyis az egsz szmok halmaza az sszeadssal s a szorzssal. E nhny
alaptulajdonsgbl szinte meglepen sok dolog kvetkezik, amelyek minden
integritstartomnyra igazak, gy (Z, +, )-ra is. Mindezekrl valamint az
egsz szmok szmos tovbbi ltalnosthat tulajdonsgrl jval ksbb,
a harmadik ktetben lesz sz.
Vgl az egsz szmoknak egy alkalmas rszhalmaza lesz a termszetes
szmok halmaza, amelyen persze a definilt mveletek tulajdonsgai nem
pont ugyanazok.
E megemltett hrom t helyett mi egy negyediket kvetnk, amely matematikailag az elzk brmelyiknl kevsb korrekt, de cljainknak azrt
megfelel: sszegyjtjk az egsz szmoknak nhny, tbb-kevsb mr ismert tulajdonsgt, amelyeket nem bizonytunk (de aximknak sem tekintjk ket!), s a tovbbiakban igyeksznk maximlisan ezekre ptkezni.
(Tbbnyire sikerlni fog.)
Teht a termszetes szmok halmazra N s az ezen rtelmezett sszeadsra (+) s szorzsra () igazak:
1. N elemei: (0), 1, 2, 3, 4, 5, . . .
2. Teljeslnek r a Peano-aximk
3. Teljeslnek r a szoksos mveleti tulajdonsgok
4. N-ben rvnyes az sszeadsra vonatkoz egyszerstsi szably.
5. N Z
6. A N s Z szmossga is megszmllhatan vgtelen (0 )
7. Z (s N) a kisebb-egyenl () relci szerint teljesen rendezett (azaz
brmely kt eleme sszehasonlthat a relcival)
8. Z-ben csak gy lehet kt elem szorzata 0, ha legalbb az egyik elem 0
(Z s gy N is nullosztmentes)
9. a, b, c( Z)-re a < b a + c < b + c (N-ben is teljesl)
10. a, b, c( Z)-re, ha c > 0, akkor a b a c b c (N-ben is teljesl)
11. a( Z)-re |a| = a, ha a 0, s |a| = a, ha a < 0 (N-ben is teljesl)
12. a, b( Z)-re |a b| = |a| |b| (N-ben is teljesl)
12
1. Alapok
13
1.9. Definci. Ha a H nem res halmazt diszjunkt rszhalmazai egyestseknt rjuk fel, akkor ezt a H halmaz egy osztlyozsnak nevezzk:
n
S
H=
Hi s Hi Hj = , hacsak i 6 = j.
i=1
14
1. Alapok
15
Sokszor fogunk azonos algebrai talaktsokat vgezni. Legtbbjkkel kzpiskolban mindenki tallkozhatott. Nhnyat a nem trivilisak kzl
a legfontosabbakat sszegyjtttnk, s ehelyt bebizonytjuk.
1.1. llts. Ha q 6 = 1, akkor a q hnyados (latin eredet szval: kvciens
innen a q jells) mrtani sorozat els n tagjnak az sszege
a0 + a0 q + a0 q 2 + . . . + a0 q n1 = a0
1 qn
qn 1
= a0
1q
q1
1 qn
1q
0
n1
q =1q
(1 q)(1 + q + q 2 + q 3 + q 4 + q 5 )
1.2. bra. A sznes, azonos sznnel jelzett szorzatok sszege nulla. Vgl csak
a feketvel jellt szorzatok maradnak.
1.2. llts.
n
(a + b) = a + na
n1
n n2 2
n
b+
a
b +...+
a2 bn2 + nabn1 + bn
2
n2
16
1. Alapok
17
Ezt
P az talaktst (hogy a ksbbiekben ebben az alakjban is felismerjk)
alakban is felrjuk:
X
X
X
X
X
X
X
ai bj =
ai
bj =
bj
ai =
bj
ai
1ik
1jn
1jn
1ik
1jn
1jn
1ik
1ik
:::
ak
a1 b1
a2 b1
:::
ak b1
a1
b1
a1 b2
..
.
..
.
a1 bn
:::
ak b2
:::
...
..
.
a2 bn
:::
:::
:::
:::
ak
:::
+ k) =
b2
k
P
i=1
k
P
i=1
ai
n
X
a2
:::
+ k) =
a
bn
ai
k
P
i=1
j =1
ai bj
i
j
=( 1+
a
a2
=( 1+ 2+
b
:::
:::
+ k )( 1 + 2 +
a
+ n )( 1 +
b
a2
:::
:::
bj
bj
bj
k P
n
P
i=1 j =1
ai
i=1
n
k
X
X
ai bj
j =1 i=1
ai
X
1
1
k
X
bj
k
n
+ n) =
k
X
+ k) =
ai bj
i=1 j =1
i=1
ai
k
X
bj
j =1
bj
j =1
n
X
k
n
X
X
n
X
ai
i=1
n
k
X
X
ai bj
j =1 i=1
n
P
j =1
n
P
j =1
n
P
j =1
b1
+ n) =
a2
+ n) =
a1
{z
a2
+ k) =
osszege: n ( 1 +
ak bn
+ n) =
j =1
bj
:::
:::
n
P
i=1
ai
osszege: 2 ( 1 +
a2
..
.
osszege: k ( 1 + 2 +
osszege: 2 ( 1 + 2 +
osszege: 1 ( 1 + 2 +
|
k
P
bn
a2 b2
}|
b2
osszege: 1 ( 1 +
ai bj
1.3. bra.
Feladatok
1. Hatrozza meg azon mrtani sorozat els 100 tagjnak sszegt, amelynek kezdeleme 1, a hnyadosa a kvetkez!
1
1
;
;
2;
1;
1
3
2
2. Igazolja, hogy ha a termszetes szmok halmazn kt szmot akkor
tekintnk relciban llnak, ha a tzes helyirtken ll szmjegyk
egyenl, akkor ez ekvivalenciarelci. Hny ekvivalenciaosztly keletkezik? Hatrozza meg az ekvivalenciaosztlyokat!
18
1. Alapok
3 P
13
P
i=1 j=11
formba!
6. rja fel a
3 P
13
P
i=1 j=11
2. fejezet
20
21
2|b| + 1 szmbl ugyanis az egyik a 0, ami sajt magn kvl nem osztja
semelyik egsz szmnak sem. (A b = 0-nak viszont vgtelen sok osztja van.)
gy egy b 6 = 0 szmnak legfeljebb 2|b| darab osztja lehet. Knnyen belthat,
hogy ppen 2|b| osztja csak a b = 1, 1, 2, 2 szmoknak van.
Most trjnk r annak a krdsnek a vizsglatra, hogy melyek azok a
szmok, amelyek minden szmnak oszti. Azonnal esznkbe tlik az 1, de
azt nem tudhatjuk, hogy nincs-e ms ilyen szm. Ezt vizsgljuk most meg.
2.2. Definci. egysg, ha a-ra | a.
2.3. Ttel. Az egsz szmok krben pontosan kt egysg van: 1 s (1).
Bizonyts. Tetszleges a szmnak osztja az 1, mert van olyan szm (maga az a), amellyel az 1-et megszorozva az a-t kapjuk, vagyis az 1 minden
szmnak osztja, teht egysg: 1 | a.
Tetszleges a szmnak osztja a 1, mert van olyan szm (nevezetesen
a (a)), amellyel a (1)-et megszorozva az a-t kapjuk, vagyis a 1 is osztja
minden szmnak, teht egysg: (1) | a.
Htravan mg annak a bizonytsa, hogy ms egysg nincs. Ha egysg,
akkor minden szmnak, gy az 1-nek is osztja. Ez a 2.1. Ttel rtelmben
azt jelenti, hogy || 1. Ennek a felttelnek hrom egsz szm tesz eleget:
a 1, a 0 s az 1.
A 0 azonban nyilvn nem egysg, mert sajt magn kvl semelyik egsz
szmnak sem osztja. Emiatt csak = 1 vagy = 1 lehet.
Megjegyzs. A ttel bizonytsbl az is kiderl, hogy minden szm
oszthat sajt magval (mert a 1 = a) s sajt ellentettjvel (mert
(a) (1) = a). A defincija alapjn minden egsz szm oszthat az egysgekkel is. Eszerint az minden egysgtl s 0-tl klnbz egsz szmnak
van legalbb ngy osztja. Az egysgeknek kt osztjuk van, a 0-nak pedig
vgtelen sok.
2.3. Definci. Az a egysgszereseit az a szm asszociltjainak nevezzk.
Pldul: a 2 asszociltjai a 2 s a 2, a 2 asszociltjai a 2 s a 2,
ltalban az a szm asszociltjai az a s a. Minden nem 0 egsz szmnak
kt asszociltja van, mert az egsz szmok krben kt egysg van.
Mivel az egysgekkel s sajt asszociltjaival minden szm oszthat, megklnbztetjk a nyilvnval osztkat a tbbi oszttl (ha van):
2.4. Definci. Ha a 6 = 0, akkor az 1-et, a 1-et, az a-t s a a-t az a
trivilis osztinak, a tbbi osztjt ha van valdi osztknak nevezzk.
A trivilis osztt mskppen nem valdi osztnak is szoktuk nevezni.
22
23
24
6
1
3
onlis szm (nevezetesen a ), amelynek az -szerese ppen . Ez azon
5
2
5
mlik, hogy a racionlis szmok halmazn a szorzs (a 0-tl eltekintve) invertlhat mvelet, gy sem ott, sem ms szmtestekben nem tl
rdekes az oszthatsgi krdsek vizsglata. A szmtesteken az ax = b
egyenlet ugyanis a 6 = 0 esetn mindig megoldhat ez a test mint algebrai struktra egyik aximja. (Termszetesen a racionlis szmok
krben sem igaz az, hogy a 0 osztja lenne egy nem 0 szmnak; de
persze magnak a 0-nak igen.)
Az egsz szmok oszthatsgra vonatkozik a kvetkez egyszer, gyakran hasznlt ttel:
2.6. Ttel. Ha a | b s a | c, akkor a | b + c, a | b c, s tetszleges k-ra
a | bk (specilisan a | bc).
ltalban: a | b s a | c esetn tetszleges k, l( Z) mellett a | kb + lc.
Bizonyts. Ha a | b, akkor q, amelyre aq = b. Ha a | c, akkor r, amelyre
ar = c. Ekkor viszont a(q + r) = b + c, a(q r) = b c, aqk = bk (specilisan
aqar = bc).
ltalban: aq = b s ar = c esetn aqk +arl = kb+lc, vagyis a(qk +rl) =
kb + lc, amibl kvetkezik az llts.
Megjegyzs. A ttel semelyik lltsnak a megfordtsa sem igaz.
Abbl, hogy a | b + c, nem kvetkezik, hogy a az sszeg akrmelyik tagjt
is osztan, pldul 3 | 2 + 7, de 3 - 2 s 3 - 7. (Azt azonban elmondhatjuk,
hogy ha a | b + c, akkor b s c kzl vagy mindkett, vagy egyik sem oszthat
a-val. Ha pldul a | b + c s a | b, akkor a ttel msodik lltsa szerint
a | (b + c) b, vagyis a | c.)
Abbl, hogy a | b c, nem kvetkezik, hogy akr b, akr c oszthat lenne
a-val, pldul 3 | 104, de 3 - 10 s 3 - 4. (Azt azonban most is elmondhatjuk,
hogy ha a | b c, akkor b s c kzl vagy mindkett, vagy egyik sem oszthat
a-val a ttel els lltsa rtelmben , st, mint ksbb ltni fogjuk, azt
is, hogy ebben az esetben b s c ugyanazt a maradkot adja a-val osztva.)
Abbl, hogy a | bc, nem kvetkezik, hogy akr b, akr c oszthat lenne
a-val, pldul 6 | 3 4, de 6 - 3 s 6 - 4. (Ksbb ltni fogjuk, hogy ha a oszt
egy szorzatot, akkor milyen tovbbi felttelnek kell teljeslnie ahhoz, hogy a
szorzat valamelyik tnyezjt is osszta.)
s ltalban: ha a | kb + lc, akkor az elzek alapjn nyilvnvalan
nem felttlenl teljesl az, hogy a | b s a | c. (Mg akkor sem, ha a | b
25
2k
2k
2k1
= (a + b)(a
2k2
b+a
2k3 2
(2.2)
2k1
b ... + ... b
)
(2.3)
A (2.2) s a (2.3) az azonossgok (2.1)-bl levezethetk. Ha ugyanis (2.1)ben b helyre b-t helyettestnk, akkor pratlan n-re (2.2)-t, prosra (2.3)at kapjuk.
2.2. Kvetkezmny. Tetszleges n-re a b | (an bn ), illetve pratlan n
esetn mg a + b | an + bn is fennll, pros n esetn pedig a + b | an bn .
Maradkos oszts
Azt, hogy az egsz szmok krben b osztja a-nak, szoks gy is mondani,
hogy b maradk nlkl megvan a-ban. Ha pldul 250 Ft-os knyveket
26
szeretnnk venni sszesen 2000 Ft-rt, akkor mivel a 250 osztja a 2000-nek,
a kvnt sszeget teljes egszben el tudjuk klteni 8 trgyra.
Sokszor nem is felttlenl az rdekel minket, hogy egy adott szm osztjae egy msiknak, hanem az, hogy kt adott szm esetn hnyszor van meg az
egyik a msikban, s mennyi a maradk.
Ha pldul a 2000 Ft-rt 300 Ft-os knyvekbl szeretnnk minl tbbet
venni, akkor ezt is megtehetjk, vehetnk 6-ot, s marad 200 Ft. Amikor ezt
kiszmoljuk, gynezvezett maradkos osztst vgznk.
A maradkos oszts azt jelenti, hogy egy adott (a, b) (b 6 = 0) szmprhoz
keresnk olyan (q, r) szmprt, amelyre teljesl, hogy a = bq + r (ilyen
mindig ltezik, pldul q = 0 s r = a), ahol s ez nagyon fontos kittel
r (a maradk) egy nem negatv, de b-nl (illetve negatv b esetn |b|-nl)
kisebb szm.
Az, hogy ilyen mindig tallhat (ezt mondja ki mint majd ltni fogjuk
a maradkos oszts ttele (2.8.)), az egsz szmok fontos tulajdonsgai kz
tartozik.
Megjegyzs. Az, hogy tetszleges a-hoz s b 6 = 0-hoz tallhat olyan q
s r, amelyekre a = bq + r, nmagban semmitmond llts, hiszen ilyen
q-t s r-et vgtelen sokat tallhatunk: brhogyan vlasztjuk meg q-t, tartozik hozz egy az egyenlsget kielgt r. Ha pldul a = 8 s b = 3,
akkor 8 = 3 0 + 8 = 3 1 + 5 = 3 (1) + 11 = 3 2 + 2 = 3 (2) + 14 =
3 3 + (1) stb.
A ttel azt lltja, hogy a vgtelen sok (q, r) pr kztt van mghozz
pontosan egy olyan, amelyre 0 r < |b|. (Pldnkban ez a (2, 2) pr.)
2.5. Definci. Az a = bq + r (0 r < |b|) maradkos osztsban az a-t szoks osztandnak, b-t osztnak, q-t hnyadosnak s r-et maradknak nevezni.
2.8. Ttel. (A maradkos oszts ttele) Tetszleges a, b egsz szmokhoz, ahol b 6 = 0 egyrtelmen lteznek olyan q s r egsz szmok, amelyekre
a = bq + r, s 0 r < |b|.
27
|a||b|
2|b| |b|
:::
|b|
2|b|
:::
|a||b|
2.1. bra.
Ehhez keresnnk kell b-nek kt olyan tbbszrst, amelyek tartalmazzk
a [|a|; |a|] intervallumot.
J nagy intervallumot is vehetnk, nem fontos a legkisebbet. Az a lnyeg,
hogy biztosak lehessnk benne, hogy tartalmazza az a-t.
Mivel |b| 1 (hiszen b 6 = 0), gy |a||b| |a| |a| |a||b|.
Tekintsk most b sszes tbbszrst |a||b| s |a||b| kztt, teht a
|a||b|, |a||b| + |b|, . . ., |a||b| |b|, |a||b| alak szmokat (vagyis {k|b| |
k = |a|, . . . , |a|}).
Ekkor |a||b| a |a||b|, vagyis a a legkisebb s a legnagyobb felsorolt
szm kz esik, gy pontosan egy olyan t van, amelyre teljesl, hogy t |b|
a < (t + 1)|b|.
t|b|
(t + 1)|b|
2.2. bra.
Legyen most r = a t|b|. Az vilgos, hogy erre az r-re teljeslnek a
kirtt felttelek, hiszen nyilvn nemnegatv, s mivel |b|-nek kt egymst
kvet tbbszrse kz esik (de az egyikkel nem lehet egyenl), gy kisebb
|b|-nl.
Mivel t|b| oszthat b-vel, gy van olyan q szm (konkrtan t vagy t),
amelyre qb = t|b|. Ezutn a = t|b| + r miatt a = qb + r teljesl, s ppen
ilyen r s q szmok ltezst akartuk bizonytani.
Ugyan a fenti t egyrtelmen meghatrozott, s ebbl egyrtelmen kijtt
az r s a q is, nem lehetnk benne biztosak, hogy valami ms mdon nem
kaphatunk-e ms q s r rtkeket.
Ezrt htravan mg az egyrtelmsg bizonytsa.
Tegyk fel, hogy egy a, b szmprhoz talltunk olyan q1 , q2 , r1 , r2 szmokat, amelyekre a = bq1 + r1 = bq2 + r2 , ahol 0 r1 < |b| s 0 r2 < |b|.
28
(
(
[
]
|b| < r2 0
0 r1
< |b|
)
)
2.3. bra.
|a||b|
|a||b|
29
Pldul:
Osszuk el maradkosan az a = (648)-at b = (17)-tel.
| 17| | 648| = 11 016, ez olyan tbbszrse (17)-nek, amely
nyilvnvalan kisebb, mint 648.
Adogassunk hozz | 17|-et, amg egy (648)-at tartalmaz intervallumhoz nem jutunk: 11 016, 10 099, . . . , 663, 646, 429, . . . .
Mivel 663 < 648 < 646, ez lesz a keresett intervallum. r = a t|b|,
vagyis r = 648 (663) = 15. Ekkor viszont q = 39, teht 648 =
39 (17) + 15.
30
ahol
a = (b)(q + 1) + (b r),
ahol
(b r) < | b|,
ahol
0 r < | b|.
a = (b)(q) + r,
(b r) < b,
31
2.9. Ttel. Ha a-nak c-vel val osztsi maradka r1 , b-nek c-vel val osztsi maradka r2 , akkor (a b)-nek c-vel val osztsi maradka ugyanannyi,
mint (r1 r2 )-nek c-vel val osztsi maradka, a b-nek a c-vel val osztsi
maradka pedig megegyezik r1 r2 -nek c-vel val osztsi maradkval.
Bizonyts. Legyen
a = cq1 + r1 ,
ahol
0 r1 < |c|
b = cq2 + r2 ,
ahol
0 r2 < |c|
r1 + r2 = cq3 + r3 ,
ahol
0 r3 < |c|
r1 r2 = cq4 + r4 ,
ahol
0 r3 < |c|
r1 r2 = cq5 + r5 ,
ahol
0 r4 < |c|
Ekkor
a + b = cq1 + r1 + cq2 + r2 = c(q1 + q2 ) + r1 + r2 =
= c(q1 + q2 ) + cq3 + r3 = c(q1 + q2 + q3 ) + r3 ,
tovbb
a b = cq1 + r1 (cq2 + r2 ) = c(q1 q2 ) + r1 r2 =
= c(q1 q2 ) + cq4 + r4 = c(q1 q2 + q4 ) + r4 ,
vgl
a b = (cq1 + r1 )(cq2 + r2 ) = c(cq1 q2 + r1 q2 + r2 q1 ) + r1 r2 =
= c(cq1 q2 + r1 q2 + r2 q1 + q5 ) + r5 ,
ahol 0 r3 < |c|, 0 r4 < |c|, 0 r5 < |c|.
Megjegyzs. Vegyk szre, hogy nem arrl van sz, hogy pldul (a+b)nek c-vel val osztsi maradka megegyezne a-nak s b-nek c-vel val osztsi
maradknak sszegvel (hiszen az |c|-nl nagyobb is lehet), hanem annak
csak c-vel val osztsi maradkval egyenl.
A ttel lltst a msik irnyban alkalmazva fontos sszefggst kapunk:
2.4. Kvetkezmny. Ha a1 s a2 , illetve b1 s b2 ugyanazt a maradkot
adjk m-mel osztva, akkor a1 b1 ugyanazt a maradkot adja m-mel osztva,
mint a2 b2 .
Bizonyts. Legyen az a1 s a2 , illetve b1 s b2 szmok m-mel val osztsi
maradka rendre r s s. A fenti ttel rtelmben a1 b1 s a2 b2 is ugyanazt
a maradkot adja, mint amit r s ad, teht a1 b1 s a2 b2 ugyanazt a
maradkot adja m-mel osztva.
32
2.1. Megjegyzs. Maradkos osztsnl olykor szoks a legkisebb nemnegatv maradk helyett a legkisebb abszolt rtk maradkot venni. gy pldul
a 7-tel val maradkos oszts maradkait 0, 1, 2, 3, 4, 5, 6 helyett 3, 2,
1, 0, 1, 2, 3-nak tekinteni. Nyilvn a 3 a 4, a 2 az 5, a 1 pedig a 6
helyett jn szba (ezek pldul a 2.9. Ttel alapjn ugyanazt a maradkot
adjk 7-tel osztva, mert 3 + 7 = 4, 2 + 7 = 5, 1 + 7 = 6).
Feladatok
1. Minden termszetes szmhoz hozzrendelnk egy szmot a kvetkezkppen: sszeadjuk a szmjegyeit, s ha az nem egyjegy, akkor az
sszeggel megismteljk az eljrst. Tesszk ezt mindaddig, amg egyjegy szmot nem kapunk.
lljon kt termszetes szm relciban egymssal, ha ugyanazt az egyjegy szmot rendeltk hozz.
Igazolja, hogy ez ekvivalenciarelci.
Mik lesznek az ekvivalenciaosztlyok?
2. Milyen egsz n-re oszthat (tetszleges a, b egsz szmok esetn) (a+b)vel az an + bn ?
Milyen egsz n-re oszthat (tetszleges a, b egsz szmok esetn) (ab)vel az an + bn ?
Milyen egsz n-re oszthat (tetszleges a, b egsz szmok esetn) (a+b)vel az an bn ?
Milyen egsz n-re oszthat (tetszleges a, b egsz szmok esetn) (ab)vel az an bn ?
3. Milyen, n-re vonatkoz felttel mellett oszthat (tetszleges a, b egsz
szmok esetn) az an + bn sszeg egyszerre (a + b)-vel s (a b)-vel is?
4. Milyen, n-re vonatkoz felttel mellett oszthat (tetszleges a, b egsz
szmok esetn) az an bn klnbsg egyszerre (a + b)-vel s (a b)vel is?
5. Keressen (a, b, n-re vonatkoz) tbbfle konkrt felttelt, amelyek mellett an + bn szorzatt alakthat!
6. Keressen (a, b, n-re vonatkoz) tbbfle konkrt felttelt, amelyek mellett an bn szorzatt alakthat!
7. 1 s 100 kztt melyik termszetes szmnak van a legtbb (pozitv)
osztja?
33
3. fejezet
Szmrendszerek, oszthatsgi
szablyok
A szmok nlunk hasznlatos mai tzes szmrendszerbeli, helyirtkes
rsmdja hossz id alatt alakult ki. Ma mr mindenki szmra termszetes, hogy ha a 324-es szmot ltjuk, mindannyian ugyanarra a 3 szzasbl,
2 tzesbl s 4 egyesbl ll szmra gondolunk, de ez korntsem volt mindig
gy. Az idk sorn klnbz npek klnfle mdszereket alkalmaztak a szmok lejegyzsre, a rmai szmok pldul (CCCXXIV) a mai napig tkrzik
egy nem helyirtkes rsmd emlkt. A helyirtkes rsmd az idszmts eltt 1900 krl alakult ki Mezopotmiban (http://hu.wikipedia.
org/wiki/A_matematika_trtnete). Bizonyos mrtkegysgeink vltszma pldul 60 msodperc = 1 perc, 60 perc = 1 ra az ott hasznlt
hatvanas szmrendszerre utalnak. A tzes szmrendszert tbb kori np is
hasznlta, de ltalban helyirtk nlkl. A tzes szmrendszer s a helyirtk sszekapcsolsa csakgy, mint a 0 nll szmjegyknt val alkalmazsa hindu rksg. A legrgebbi tzes szmrendszerben felrt helyirtkes
szmot tartalmaz rgszeti emlk i. sz. 590 krnykrl, Indibl szrmazik (http://hu.wikipedia.org/wiki/Szmjell_rendszerek aloldaln). A
hindu szmrs ksbb arab kzvettssel jutott el Eurpba, ahol igen lassan
terjedt el, hasznlata csak a XVI. szzadra vlt ltalnoss.
A 324-es szm eredetileg 324 darab valamit birkt, ft, kavicsot, lpst
stb. jelentett. Ha feljegyzst kvnunk kszteni errl a 324 valamirl, akkor
kzenfekv valamilyen egyszer jelet, pldul egy strigult 324-szer lerni.
Ez a fajta rsmd ltezett is, hasznlatnak megvan az az elnye, hogy
nem kell hozz ismerni valamifle jeleket (szmokat), elg mindssze azt
ellenrizni, hogy ugyanannyi birka jtt-e haza a legelrl, mint ahny rovs
van a plcikn. Htrnya viszont, hogy mr viszonylag kis szmok esetn is
34
35
ahol
0 a0 < 10.
q0 = 10q1 + a1 ,
ahol
0 a1 < 10.
q1 = 10q2 + a2 ,
..
.
ahol
0 a2 < 10.
Hasonlan
gy folytatva
36
qk1 = 10qk + ak ,
..
.
ahol
0 ak < 10.
Mivel A > q0 > q1 > q2 > . . . > qk1 > qk > . . . s mindegyik nemnegatv
egsz szm, elbb-utbb eljutunk egy qn = 0-ig. Ekkor:
qn1 = 10qn + an -bl
qn1 = an .
Ezt visszahelyettestve:
qn2 = 10an + an1 .
Folytatva a visszahelyettestst:
qn3 = 102 an + 10an1 + an2 .
s gy tovbb. Vgl az
A = an 10n + an1 10n1 + . . . + a1 10 + a0
ellltshoz jutunk, ahol az an , an1 , . . ., a0 egsz szmok mindegyike egyrtelmen meghatrozott, tovbb minden i-re 0 ai < 10 s an 6 = 0 (ez
utbbi abbl kvetkezik, hogy ellenkez esetben mr qn1 is nulla lett volna).
Br az elllts egyrtelm, mgis elkpzelhet, hogy valami ms ton
egy msik felrshoz jutunk. Ezrt mg be kell ltnunk, hogy ha van ktfle
felrs, akkor azok ugyanazok. Ha
A = an 10n +an1 10n1 +. . .+a1 10+a0 = bk 10k +bk1 10k1 +. . .+b1 10+b0 ,
(feltehet, hogy n k, valamint n i > k esetn vlasszuk bi -t 0-nak),
akkor ezek klnbsge
0 = (an bn ) 10n + (an1 bn1 ) 10n1 + . . . + (a1 b1 ) 10 + (a0 b0 ).
A bal oldalon ll 0-nak minden termszetes szm osztja, ezrt a jobb oldalon ll, vele egyenl szmnak is.
Mivel (an bn ) 10n + (an1 bn1 ) 10n1 + . . . + (a1 b1 ) 10 oszthat
10-zel, gy (a0 b0 ) is. Ez mivel 0 a0 , b0 < 10 csak gy lehet, hogyha
a0 = b0 . Ezrt
0 = (an bn ) 10n + (an1 bn1 ) 10n1 + . . . + (a1 b1 ) 10.
Most a 102 -nal folytathat ugyanez a gondolatmenet, emiatt a1 = b1 .
Folytatva a gondolatmenetet 10 kvetkez hatvnyaira, n lpsben eljutunk a 10 n-edik hatvnyig, az an = bn kvetkeztetsre jutunk, amibl azt
kapjuk, hogy a kt felrs ugyanaz.
37
Itt tall egy programot, amely tr egy valamilyen (210) alap szmrendszerben felrt szmot egy msik alapra.
Itt elindthat egy http://www.cs.elte.hu/~kfried/algebra1/Numeral.
jar szmrendszerek kztt konvertl programot.
Megjegyzs. Az an , an1 , . . ., a0 szmokat szoks az
A = an 10n + an1 10n1 + . . . + a1 10 + a0
szm tzes szmrendszerbeli szmjegyeinek nevezni, a 10 hatvnyait pedig
helyirtkeknek. Ttelnk rtelmben a tzes szmrendszerbeli szmjegyek
fenti sorozata egyrtelmen jellemzi a szmot, ezen alapul a szmok szoksos
tzes szmrendszerbeli rsmdja.
Megjegyzs. Az an 6 = 0 kiktsre az egyrtelmsghez volt szksg.
Semmi elvi akadlya sincs annak, hogy megengedjk, hogy egy szm 0-val
kezddjn, csak ppen ha megengedjk, akkor a felrs nem lesz egyrtelm,
a 12-t pldul 012-nek, vagy 0012-nek stb. is rhatnnk. Ttelnk teht nem
azt mondja, hogy 0-val nem kezddhet szm, hanem azt, hogy a szm elejre
rhat nullktl eltekintve egyrtelm a felrs.
Hasonl ttel teljesl ms alapszm szmrendszerekre is:
3.2. Ttel. Legyen t 2 termszetes szm. Ekkor minden pozitv egsz szm
egyrtelmen rhat fel
A = an tn an1 tn1 + . . . + a1 t + a0
alakban, ahol minden i-re 0 ai < t, ai N s an 6 = 0.
Bizonyts. A 3.1. Ttel bizonytsa sorn sehol nem hasznltuk ki, hogy
a szmrendszer alapszma ppen 10, gy annak bizonytsa tetszleges t 2
termszetes szmra levezethet. A ttel lltsa gy tetszleges t szmrendszer alapszmra megfogalmazhat, a bizonytsban pedig minden pontosan
gy felrhat, mint a 3.1. Ttelben, csak a 10 helyre mindenhova t-t kell
rnunk.
Pldul: 324 = 2 53 + 2 52 + 4 5 + 4 = 22445 .
Megjegyzs. Mivel a szmrs sorn a 10-es szmrendszert hasznljuk,
ha nem tzes szmrendszerben runk fel egy szmot, jellnnk kell a felrsban
a szmrendszer alapszmt.
Megjegyzs. Amennyiben 10-nl nagyobb szmot vlasztunk a szmrendszer alapszmul, a szoksos 10 szmjegy nem elegend. Ilyenkor j jeleket kell bevezetnnk a 10, 11, . . . , t 1 szmok mint szmjegyek jellsre.
38
Oszthatsgi szablyok
A matematika egyik legrgibb ga a szmelmlet. Azt hihetnnk, hogy nincs
megoldatlan szmelmleti problma, azonban ez egyltaln nincs gy. St!
A mai modern tudomnyok kzl pldul a szmtgptudomny tmaszkodik a szmelmlet egyes eredmnyeire. Kztk arra, hogy egy szmrl rnzsre nem lehet eldnteni, hogy mik az oszti. Ezt hasznlja fel a szmtgpes titkosts sorn: olyan nagy szmokat hasznl titkostsi kd gyannt,
amelyek osztirl csak az arra illetkesek tudnak, a szm pedig olyan nagy,
hogy gyakorlatilag kptelensg megtallni az osztit. Errl ksbb kicsit bvebben fogunk szlni.
Kisebb lptkben is gyakran van r szksg, hogy megllaptsuk, mely
szmok oszti egy szmnak, vagy egy mg egyszerbb krds hogy
oszthat-e egy szm valamelyik msikkal.
Ehhez bizonyos esetekben nincs szksg a maradkos oszts tnyleges
elvgzsre. Korbbi tanulmnyaikbl ismerhetnk mr kritriumokat egyes
szmokkal val oszthatsgrl.
Bontsuk ktfel ezeket a kritriumokat. Az egyik fajta a szm felrstl
fggetlen (pldul: egy szm akkor s csak akkor oszthat 6-tal, ha 2-vel is s
3-mal is oszthat). A msik fajta viszont a szmnak a 10-es szmrendszerbeli
helyirtkes felrsbl formlisan kvetkeztet.
Mi most az utbbival fogunk rszletesen foglalkozni.
Mindenekeltt szgezzk le, hogy a 2.4. Ttel rtelmben oszthatsgi
krdsek vizsglatakor elegend pozitv szmok pozitv osztit keresnnk.
Ezek az gynevezett oszthatsgi szablyok, amelyek alapjn a szm
alakjbl szinte rnzsre, gyorsan eldnthet, hogy a szm bizonyos szmokkal oszthat-e. A legismertebb oszthatsgi szablyok (amelyekkel mr
a korbbi tanulmnyaink sorn is tallkoztunk) a kvetezk:
Az A = an 10n + an1 10n1 + . . . + a1 10 + a0 (tzes szmrendszerben
felrt) szm akkor s csak akkor oszthat
(1) 10-zel, ha utols szmjegye 0 (10-zel oszthat).
39
Pldul: A 3 564 672 180 szm oszthat 2-vel (mert az utols szmjegye,
a 0 pros), 3-mal (mert szmjegyeinek sszege, 42, oszthat 3-mal), 4-gyel
(mert az utols kt szmjegybl ll szm, a 80 oszthat 4-gyel), 5-tel (mert
az utols szmjegye, a 0 oszthat 5-tel) s 10-zel (mert az utols szmjegye
0). Nem oszthat viszont sem 25-tel, sem 8-cal, sem 9-cel, sem 11-gyel. Ms
szmokkal val oszthatsgrl kzvetlenl a fenti szablyok alapjn egyelre
nem mondhatunk semmit.
Megjegyzs. A fenti pldban szerepl szmrl joggal llapthatjk meg
nhnyan, hogy pldul 6-tal is oszthat, hiszen ha egy szm pros s 3-mal
oszthat, akkor 6-tal is oszthat; vagy hogy 20-szal is oszthat, hiszen ha
4-gyel is s 5-tel is oszthat, akkor 20-szal is oszthatnak kell lennie. Olyan
szablyokkal azonban, amelyek bizonyos osztk ltezsbl kvetkeztetnek
jabb osztk ltezsre, most nem foglalkozunk. Azt viszont megjegyezzk,
hogy ltalban nem igaz az, hogy ha egy szm oszthat a-val is s b-vel is,
akkor oszthat ab-vel is. A fenti szm pldul oszthat 4-gyel is s 6-tal is,
de 24-gyel mr nem.
Gyjtsk tblzatba 10 egyes hatvnyainak a vizsglt osztk szerinti maradkt. (Az egyszersg kedvrt a 0-kat hagyjuk ki.)
40
...
106
105
104
103
102
101
100
...
...
...
...
...
...
...
10
...
10
10
10
11
Vegyk szre, hogy egyes szmokkal val osztskor csak az utols nhny 10-hatvnyt kell tekintetbe vennnk. Ezek (2, 4, 5, 8, 10) egy bizonyos
hatvny utn mr oszti valamely 10-hatvnynak. Msok osztsi maradkt
azrt tudjuk knnyen meghatrozni, mert azok a 10-nl 1-gyel kisebb vagy
nagyobb szm oszti.
A megfigyelseink alapjn a fenti szablyokhoz hasonl szablyokat ms
alapszm szmrendszerekben is fel tudunk rni:
Az A = an tn +an1 tn1 +. . .+a1 t+a0 szm akkor s csak akkor oszthat
(1) t-vel, ha utols szmjegye 0.
(2), (3) t-nek egy tetszleges d1 , osztjval, ha utols szmjegye oszthat
d1 -gyel.
(4), (5) t2 -nek egy tetszleges d2 osztjval ha az utols kt szmjegybl
ll szm oszthat d2 -vel.
(6) t3 -nek egy tetszleges d3 osztjval, ha az utols hrom szmjegybl ll
szm oszthat d3 -mal.
(7) (t 1)-gyel, ha a szmjegyek sszege oszthat (t 1)-gyel.
(8) t 1 egy tetszleges d4 osztjval, ha a szmjegyek sszege oszthat
d4 -gyel.
(9) (t + 1)-gyel, ha a szmjegyek vltott eljel sszege oszthat (t + 1)-gyel.
Tovbb:
(10) t+1 egy tetszleges d5 osztjval, ha a szmjegyek vltott eljel sszege oszthat d5 -tel.
41
sszefoglalva:
3.3. Ttel. Az A = an tn + an1 tn1 + . . . + a1 t + a0 szm akkor s csak
akkor oszthat
(i) d-vel, ahol d | tk , ha d | an1 tk1 + . . . + a1 t + a0 (vagyis ha d osztja
az utols k szmjegybl ll szmnak).
n
P
i=0
sszegnek).
(iii) f -fel, ahol f | t + 1, ha f |
n
P
i=0
Megjegyzs. A ttel magba foglalja az sszes korbban felsorolt szablyt: (i) vonatkozik az alapszmnak s az alapszm hatvnyainak osztival val oszthatsgra, (ii) az alapszmnl eggyel kisebb szmmal s annak
egyb osztival val oszthatsgra, (iii) pedig az alapszmnl eggyel nagyobb
szmmal, illetve annak egyb osztival val oszthatsgra.
A tzes szmrendszerbeli szablyokat a t = 10 specilis esetben kapjuk;
(i) tartalmazza az (1), (2), (3), (4), (5) s (6) szablyokat, (ii) a (7) s (8) szablyokat, (iii) pedig a (9), tovbb (a tzes szmrendszerben semmitmond)
(10) szablyokat.
Bizonyts. (i) A = (tn an + . . . + tk ak ) + (tk1 ak1 + . . . + a0 ) = B + C. (Az
els tagot jelltk B-vel, a msodikat C-vel.) A B szm egy olyan sszeg,
amelynek minden tagja oszthat tk -nal, ezrt tk minden osztjval, gy d-vel
is: d | B.
A 2.6. Ttel alapjn ekkor ha d | A(= B + C), akkor d | C = A B,
valamint ha d | C, akkor d | A = B + C.
A = (tn1 1)an + (tn1 1)an1 + . . . + (t 1)a1
+
(ii)
+(
an +
an1 + . . . +
a1 + a0 ) = B + C
Az els tagot jelltk B-vel, a msodikat C-vel, itt teht C =
n
P
ai a szm-
i=0
jegyek sszege.
Felhasznlva, hogy tetszleges k 0 egsz esetn t 1 | tk 1 (2.7. Ttel) azt kapjuk, hogy B-nek minden tagja oszthat (t 1)-gyel. Vagyis B
oszthat t 1 minden osztjval, gy e-vel is.
42
n
P
(1)i ai , azaz
i=0
43
44
106
105
104
103
102
101
100
Feladatok
1. Milyen alap szmrendszerben olvashat le a jegyek (esetleg vltott
eljel) sszegbl a 7-tel val oszthatsg? Minden lehetsges szmrendszeralapszmot adjon meg!
45
2. Milyen alap szmrendszerben olvashat le az utols nhny szmjegybl a 7-tel val oszthatsg? Minden lehetsges szmrendszeralapszmot adjon meg!
3. Egy t alap szmrendszerben a szmjegyek sszegbl kvetkeztethetnk a 4-gyel val oszthatsgra. Mivel val oszthatsgra kvetkeztethetnk a szmok vltott eljel sszegbl?
4. Milyen szmrendszer(ek)ben kvetkeztethetnk a szmjegyek (esetleg
vltott eljel) sszegbl s az utols nhny szmjegybl a 11-gyel,
valamint a 4-gyel val oszthatsgra?
5. rja fel a 3.4. Ttel szerinti oszthatsgi szablyokat a 8-as, 9-es, 17-es
alap szmrendszerekben!
6. Igazolja, hogy 9-esbl 3-as szmrendszerre gy lehet ttrni, hogy az
egyes szmjegyeket helyettestjk a 3-as szmrendszerbeli alakjukkal!
Mondjon ki hasonl (helyes) lltsokat!
7. A t + 1 alap szmrendszerben felrt tttt szm ngyzete tttxyyyx. Hatrozza meg a szmrendszer alapszmt!
8. Ksztsen oszthatsgi szablyt a 7-re a 11-es szmrendszerben!
9. Igazolja, hogy brmely k egymst kvet egsz szm szorzata oszthat
k!-sal (k! = 1 2 3 . . . (k 1) k)
4. fejezet
47
48
ahol
0 r1 < |b|
b = r1 q2 + r2 ,
ahol
0 r2 < r1
r1 = r2 q3 + r3 ,
..
.
ahol
0 r3 < r2
49
Mivel a maradkok nemnegatv egsz szmok szigoran monoton cskken sorozatt alkotjk: r1 > r2 > r3 > . . . > rk > rk+1 > . . . 0, elbb-utbb
0 maradkot kapunk. Legyen az els 0 maradk az (n + 1)-edik:
rn2 = rn1 qn + rn ,
ahol
0 rn < rn1
50
624
51
ahol
0 r1 c < |b|
bc = r1 q2 c + r2 c,
..
.
ahol
0 r2 c < r1 c
rn2 c = rn1 qn c + rn c,
ahol
0 rn c < rn1 c
z}|{
rn1 c = rn qn+1 c + rn+1 c .
| {z }
0
52
Lthat, hogy ugyanazt kaptuk, mint ha a s b euklideszi algoritusnak minden egyenlsgt megszoroztuk volna c-vel, gy az utols nem 0 maradk
most rn c = (a, b)c.
4.3. Megjegyzs. A ttelt c 6 = 0 esetre mskpp is igazolhatjuk, tbbflekppen is.
1. Bebizonytjuk, hogy cha, bi | hca, cbi s hca, cbi | cha, bi. (Ebbl mr
kvetkezik, hogy ez a kt pozitv szm egyenl.)
Vezessk be a kvetkez jellseket: ha, bi = d, illetve hac, bci = t. Azt
akarjuk bebizonytani, hogy cd | t s t | cd.
Egyrszt d | a s d | b, teht cd | ca s cd | cb, amibl cd | t.
Az is vilgos, hogy c | t, hiszen c | ac s c | bc miatt t tbbszrse a c-nek.
Legyen ekkor t = ct1 . Mivel (t =)ct1 | ca s ct1 | cb, gy a 2.1. Kvetkezmny
alapjn t1 | a, t1 | b, teht t1 | d. Emiatt pedig (t =)ct1 | cd.
Arra jutottunk, hogy cd | t s t | cd, de ez csak gy lehet, ha cd = t. (Ne
felejtsk el, hogy c pozitv, d s t nemnegatv.)
2. Egyrszt (a; b)c tbbszrse ac-nek s bc-nek is, gy (ac; bc)-nek is.
Msrszt viszont tudjuk, hogy ltezik olyan , egsz szm, amelyre
(ac; bc) = ac + bc = (a + b)c. Mivel itt a + b oszthat (a; b)-vel,
gy (ac; bc) oszthat (a; b)c-vel. Eszerint (ac; bc) s (a; b)c egyms asszociltjai, illetve c > 0 esetn egyenlk.
4.3. Kvetkezmny. Az eredeti lltsnl tbbet is mondhatunk.
1. Ha c tetszleges egsz szm, akkor (ac, bc) = |c|(a, b).
2. Ha c tetszleges olyan racionlis szm, amelyre ca s cb is egsz szm,
teljesl, hogy (ac, bc) = |c|(a, b).
Bizonyts. 1. Az llts c = 0-ra vilgos, negatv c-re a megjegyzsben
ltott gondolatmenetet kvetve t = d|c| bizonythat.
r
2. Ez az 1. lltsbl a kvetkezkppen vezethet le. Legyen c = .
s
ra rb
Ekkor
,
egsz szmok, s
s s
ra rb
|s|
,
= (ra, rb) = |r|(a, b),
s s
|r|
ra rb
amibl
(a, b) =
,
. Ez viszont ppen azt jelenti, hogy |c|(a, b) =
|s|
s s
(ca, cb) is fennll.
53
Ezen sszefggsek felhasznlsval az euklideszi algoritmus tovbbi rdekes kvetkezmnyei vezethetk le.
4.4. Kvetkezmny.
1. Ha (a, b) = 1 s a | bc, akkor a | c.
2. Ha (a, b) = 1 s a | c s b | c, akkor ab | c.
Bizonyts. (a, b) = 1-bl kvetkezik, hogy (ac, bc) = |c|. Ezt hasznljuk
mindkt llts bizonytshoz.
1. Ha most a | bc, akkor az a osztja ac-nek s bc-nek is, gy osztja a
kitntetett kzs osztjuknak, |c|-nek is: a | |c|, vagy (ami ezzel ekvivalens)
a | c.
2. Tudjuk, hogy |c| = (ac, bc), viszont a | c miatt c = aca , s b | c
miatt c = bcb . Ezekkel a kifejezsekkel is rjuk fel (ac, bc)-t: (abcb , abca ) =
|ab|(cb , ca ). Ebbl kvetkezik, hogy |ab| | |c|, vagy (ami ezzel ekvivalens)
ab | c.
4.4. Definci. Az a s b szmok legkisebb kzs tbbszrse a t pozitv
egsz szm, ha
1. a | t s b | t (vagyis t kzs tbbszrsk), s
2. ha a | k s b | k, akkor t k (vagyis t a legkisebb).
4.2. Jells. t = [a, b] vagy t = lkkt(a, b).
Megjegyzs. A 0-nak semmilyen szmmal sincs legkisebb kzs tbbszrse, hiszen egyetlen pozitv egsz szm sem tbbszrse a 0-nak. Ha azonban
a s b egyike sem 0, akkor biztosan vannak pozitv egsz kzs tbbszrseik
pldul |ab|, 2|ab| stb. , s mivel pozitv egsz szmok tetszleges halmaznak van legkisebb eleme, a kzs tbbszrsk kztt van legkisebb, s ez
egyrtelm.
4.5. Definci. Az a s b szmok kitntetett kzs tbbszrse a pozitv
egsz szm, ha
1. a | s b | (vagyis kzs tbbszrs), s
2. ha a | k s b | k, akkor | k (minden kzs tbbszrsnek osztja).
Megjegyzs. Most is igaz, hogy a 0-nak egyetlen tbbszrse van, a 0,
ezrt a 0-nak semmilyen ms szmmal sincsen kitntetett kzs tbbszrse.
54
Megjegyzs. Knnyen meggondolhat, hogy ha kt szmnak ltezik legkisebb kzs tbbszrse, akkor az megegyezik a kitntetett kzs tbbszrskkel. (t , | t miatt.)
Megjegyzs. Az is egyszeren bizonythat, hogy ha ltezik a-nak s
b-nek legkisebb kzs tbbszrse, akkor az egyrtelm. (t1 t2 , t2 t1
miatt.)
St, ha ltezik a-nak s b-nek kitntetett kzs tbbszrse, akkor az is
egyrtelm. (1 | 2 , 2 | 1 , valamint 1 , 2 > 0 miatt.)
4.3. Ttel. Tetszleges a s b nem 0 egsz szmoknak ltezik egyrtelmen
meghatrozott kitntetett kzs tbbszrse.
|ab|
(a, b)
(nyilvnvalan pozitv) szm kielgti a kitntetett kzs tbbszrssel szemben tmasztott kvetelmnyeket.
Bizonyts. A bizonyts sorn azt fogjuk megmutatni, hogy a =
|a|
|b|
= |b|
,
(a, b)
(a, b)
|b|
|a|
, illetve
nyilvn egsz szmok, hiszen (a, b) osztja a-nak is
(a, b)
(a, b)
s b-nek is.
ahol
|k|
megegyezik kt egsz szm legnagyobb kzs osztjval, nyilvn
55
Megjegyzs. Abbl, hogy a1 , a2 , . . ., an pronknt relatv prmek, kvetkezik, hogy egytt is relatv prmek (hiszen semelyik kettnek sincs 1nl nagyobb kzs osztja), de fordtva nem. Lehet, hogy hrom szm kzl brmely kettnek van 1-nl nagyobb kzs osztja, de ez a harmadiknak nem osztja. A 6, 10, 15 szmok pldul egytt relatv prmek, hiszen (6, 10, 15) = 1, de kzlk semelyik kett sem relatv prm egymshoz:
(6, 10) = 2, (6, 15) = 3, (10, 15) = 5.
Idzzk fel a 4.4. Kvetkezmny relatv prmekkel kapcsolatos lltsait!
1. Ha (a, b) = 1 mellett a | bc, akkor a | c;
2. Ha (a, b) = 1 mellett a | c s b | c, akkor ab | c.
A 2.6. Ttelt kveten megjegyeztk, hogy abbl, hogy a oszt egy szorzatot, ltalban nem kvetkezik, hogy akr egyik tnyezjt is osztja. Most
mr tudjuk, hogy ha viszont a szorzat egyik tnyezjhez relatv prm, akkor
biztos, hogy osztja a msiknak.
56
Megjegyzs. Az oszthatsgi szablyok kapcsn tbbszr megemltettk, hogy ltalban abbl, hogy a is s b is oszt egy szmot, nem kvetkezik,
hogy ab is osztja az illet szmot. Most mr azonban tudjuk, hogy ha a
s b relatv prmek egymshoz, akkor igen, gy oszthatsgi szablyainkat
kiegszthetjk pldul a kvetkezkkel:
Ha egy szm oszthat 2-vel is s 3-mal is, akkor 6-tal is.
Ha egy szm oszthat 4-gyel is s 3-mal is, akkor 12-vel is.
ltalban: Ha egy szm oszthat a-val is s b-vel is, akkor oszthat a s
b legkisebb kzs tbbszrsvel is, gy ha (a, b) = 1, akkor ab-vel is.
Ha viszont a s b nem relatv prmek, akkor tudunk olyan szmot mondani
nevezetesen pldul a legkisebb kzs tbbszrsket , amely oszthat aval s b-vel, de nem oszthat ab-vel. [6, 10] = 30 oszthat 6-tal s 10-zel is,
de nem oszthat 60-nal.
Alkalmazsok
Az eddigiekben ltottakat rendszeresen alkalmazzuk mr az ltalnos iskolban is.
tdik-hatodik osztlyban megismerkednk a trtekkel s a rajtuk elvgezhet mveletekkel.
Vgs soron a racionlis szmok sszeadsra s szorzsra vett testt tanuljuk.
(A test olyan algebrai strukra, amelyen rtelmezve van egy sszeads, amely asszociatv s invertlhat, st, kommutatv, valamint egy szorzs, amely asszociatv
esetnkben mg kommutatv is s a 0-tl eltekintve invertlhat, tovbb a szorzs
disztributv az sszeadsra nzve. Minderrl ksbb bvebben lesz sz.)
Trtek sszeadshoz kzs nevezre hoztuk a trteket, amihez rendszerint a nevezk legkisebb kzs tbbszrst kerestk. Trtek egyszerstsekor
pedig szoks a szmll s a nevez legnagyobb kzs osztjt meghatrozni.
A vegyes trtek felrshoz pedig levlasztjuk egy (pozitv) trtrl az
egszrszt. Mindekzben megllaptjuk, hogy a nevez hnyszor van meg a
szmllban (ez lesz az egszrsz), mg a maradk a keletkez vegyes trt
szmllja.
Vegyk szre, hogy mindekzben maradkos osztst vgznk.
A
126
126
6
1
trt esetn 126 = 5 24 + 6, vagyis
=5 =5 .
24
24
24
4
57
124
126
3
3
esetben pedig 124 = 428+12, vagyis
= 4 . A nem rhat
28
28
7
7
vegyes trt alakba (csak trivilis mdon, ha 0 az egsz rsz), de a reciproka
7
1
felrhat. Ismt maradkos osztst vgznk:
= 2 , gy felrhatjuk, hogy
3
3
124
1
=4+
.
1
28
2
3
A
Ha a kapott trt szmllja (egyszersts utn) nem lett volna 1, folytathatnnk a maradkos osztsok sorozatt. A maradkos osztsok sorozatt
folytatva egy adott trt lnctrt alakjt kapjuk.
A racionlis szmok lnctrt-ellltsa egyrtelm. Egy konkrt lnctrtellltst mutat a 4.2. brn lthat animci.
17
40
1 < 2 < 2
1,4 < 2 < 1,4
1,41 < 2 < 1,42
1,414 < 2 < 1,415
..
.
Meglep mdon a vals szmokat az imnt felrt tizedestrtekkel trtn
kzeltsnl (bizonyos rtelemben) pontosabban lehet lnctrtekkel kzelteni. Ennek rszleteibe most nem megynk bele (lsd [5]). Pldul a kt
1
355
16
1
22
(lnc)trt kzeltse:
= 3 + s
= 3+
= 3+
. (Ez
1
7
7
113
113
7+
16
utbbi kzelts tizedestrt alakja pldul 6 tizedesjegye pontos eredmnyt
ad rtkre.)
Egy olyan lnctrtet, amelyben minden szmll 1 (gynevezett regulris lnctrt), meghatrozzk a nevezkben ll egsz rsz szmok
58
(valamint az els egsz rsz). Ezrt szoks egyszeren ezekkel megadni egy lnctrtet. Ezzel a felrssal a -t pldul gy adhatjuk meg:
[3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, . . .]
http://www.cs.elte.hu/~kfried/algebra1/Simplify.jar Ez a program trtegyszerstst vgez.
http://www.cs.elte.hu/~kfried/algebra1/Continued.jar Ez a program felrja egy racionlis szm lnctrt fentiekben trgyalt alakjt.
Feladatok
1. Hatrozza meg a kvetkez szmprok legnagyobb kzs osztjt euklideszi algoritmussal!
(112, 42), (150, 54), (2000, 168)
2. Igazolja, hogy a legnagyobb kzs oszt mint ktvltozs mvelet
asszociatv, vagyis (a, (b, c)) = ((a, b), c)!
3. Igazolja, hogy ha (a, b) = 1, akkor (a, b2 ) = 1!
4. Igazolja, hogy (a, b)2 = (a2 , b2 )!
5. Mivel lehet egyenl (11a + 5b, 29a + 13b)?
6. Lttuk, hogy hogy tetszleges a, b Z \ {0} esetn [a, b] =
ab
.
(a, b)
abc (a, b, c)
!
(a, b) (a, c) (b, c)
10. Egyszerstse a
59
5. fejezet
Felbonthatatlan szm,
prmszm
Azt mr tudjuk, hogy tetszleges egsz szmnak osztja az 1, a 1, tovbb
maga a szm, valamint az ellentettje. Azt is tudjuk azonban, hogy a 0-nak
vgtelen sok, az egysgeknek (1 s 1) pedig pontosan kt osztjuk van. Vannak azonban olyan szmok, amelyeknek az egysgeken s sajt asszociltjain
kvl nincs is ms osztjuk:
5.1. Definci. A q (0-tl s egysgektl klnbz) egsz szm felbonthatatlan, ha valahnyszor q = ab valamely a, b halmazbeli elemekre, akkor
ebbl kvetkezik, hogy a = vagy b = ( egysg).
61
62
Legyen most a tnyezk szma k( 3), s tegyk fel azt, hogy amennyiben egy p prmszm osztja egy (k1) tnyezs szorzatnak, akkor valamelyik
tnyeznek osztja.
Legyen p osztja egy k tnyezs szorzatnak: p | a1 a2 . . . ak . Ekkor
p | a1 (a2 . . . ak ), amibl a prmszm defincija alapjn kvetkezik, hogy
p | a1 vagy p | a2 . . . ak .
Azaz p osztja vagy az a1 -nek, vagy egy (k 1) tnyezs szorzatnak.
Az utbbi esetben viszont az indukcis feltevs szerint ekkor osztja a (k 1)
tnyezs szorzat valamelyik tnyezjnek.
Vgs soron azt kapjuk, hogy p | a1 , vagy p | a2 , vagy p | a3 , . . . , vagy
p | ak . Vagyis p osztja legalbb az egyik tnyeznek.
Megjegyzs. Prmszmra a definci alapjn nem knny pldt mondani, ugyanis azt, hogy egy szm prm vagy sem, mr nem tudjuk vges sok
szmpr oszthatsgi viszonyainak ellenrzsvel eldnteni. Ahhoz, hogy a
definci alapjn pldul az 5-rl bebizonytsuk, hogy prm, arra volna szksg, hogy az sszes olyan szorzatrl, amelynek osztja az 5 megmutassuk,
hogy legalbb az egyik tnyezjknek is osztja. (Vagyis 5 minden tbbszrsnek minden szorzatt bontsrl be kellene ltnunk, hogy valamelyik
tnyezje is oszthat 5-tel.)
Ehelyett be fogjuk bizonytani, hogy minden prmszm felbonthatatlan
is, amibl mr kvetkezik, hogy a 2, 3, 5 stb. nemcsak felbonthatatlanok, hanem prmszmok is. St, azt is bebizonytjuk, hogy az egsz szmok krben
pontosan a felbonthatatlan szmok a prmszmok.
5.1. Ttel. Minden prmszm felbonthatatlan is.
Bizonyts. Legyen p prmszm, amely felrhat p = ab alakban. Azt fogjuk
beltni, hogy ekkor a szorzat valamelyik tnyezje egysg.
Ha p = ab, akkor p | ab, s mivel p prmszm, osztja a szorzat valamelyik
tnyezjnek, pldul a-nak. ab | a-bl, azaz a b | a 1-bl, viszont (p 6 = 0,
gy a 6 = 0 miatt) a 2.1. Kvetkezmny szerint b | 1, azaz b egysg.
Ha p a b-t osztan, akkor hasonlan kapnnk, hogy a egysg.
Megjegyzs. A bizonyts sorn a defincikon kvl csupn azt hasznltuk fel, hogy egy szorzat csak gy lehet 0 (s akkor valban 0 is), ha
valamelyik tnyezje 0.
Megjegyzs. Az egsz szmok krben az osztk nagysgrendi relcijt
felhasznlva is bebizonythat az elz ttel: ha p = ab, akkor p | ab, gy
63
64
5.1. Megjegyzs. Az 5.2. Ttel bizonytsban a defincikon kvl az euklideszi algoritmust (maradkos osztst) is felhasznltuk, ez azonban nem mindentt vgezhet el.
Lssunk egy fontos, de nem tl egyszer pldt arra, hogy van olyan
halmaz, ahol vannak egysgek, asszociltak, de nincs euklideszi algoritmus,
s nem minden felbonthatatlan szm prmszm.
Tekintsk az a + bX legfeljebb elsfok polinomokat az sszes a, b egsz
szmra. (Megengedjk, hogy b = 0 is elfordulhasson.) Ilyen polinomokat
ssze tudunk adni, ki tudunk vonni egymsbl. Az eredmny is ugyanilyen
alak, legfeljebb elsfok polinom lesz.
ssze is tudunk szorozni ilyen polinomokat, de a szorzat nem lesz elsfok. (a + bX) (c + dX) = ac + (ad + bc)X + bdX 2 . Ha azonban az X 2 helyre
egy egsz szmot runk (persze mindig ugyanazt), akkor mr elsfok polinomot fogunk kapni. rjunk mondjuk mindig 5-t az X 2 helyre. (Ezt gy
is elkpzelhetjk, mintha lenne olyan szm, amelynek a ngyzete 5.)
Eszerint ezeken a szmokon elvgezhet az sszeads, a kivons, a szorzs
s belthat, hogy ezek tulajdonsgai a szoksosak.
Belthat, hogy az a + bX (a, b Z) alak elemekbl ll halmazban
nem igaz, hogy minden felbonthatatlan szm egyben prmszm is. (Mellesleg
itt a prmtulajdonsgbl a nagysgrendekkel manipull bizonyts szerint
nem tudnnk kvetkeztetni a felbonthatatlansgra, mert ezek kztt a szmok kztt nincs nagysgrendi sszehasonlts. Mivel nincsen nagysgrendi
sszehasonlts, az euklideszi algoritmus sem vgezhet el.)
Pontosan azok az egysgek, amelyek oszti az 1-nek. Ha a + bX osztja
az 1-nek, akkor a reciproka valamilyen c, d egsz szmokra c + dX alak.
rjuk fel a reciprokt:
1
a bX
a bX
=
= 2
a + bX
(a + bX)(a bX)
a X 2 b2
felhasznljuk, hogy X 2 = 5, vagyis
1
a
a bX
= 2
+ 2
,
2
a + bX
a + 5b
a + 5b2
ahol
a
b
s 2
is egsz szmok.
a2 + 5b2
a + 5b2
65
Belthat, hogy a 2 s a 3 felbonthatatlan, de nem prmszm. Ha pldul (a + bX)(c + dX) = 2, akkor az elzekhez hasonl gondolatmenettel azt
kapjuk, hogy az egyik tnyez 1, a msik 2, ami a 2 asszociltja.
Msrszt azonban 2 3 = 6 = (1 + X)(1 X) is fennll, de az eddigiekhez
hasonl mdon belthat, hogy sem az 1 + X, sem az 1 X tnyez nem
oszthat 2-vel.
Vagyis van olyan szorzatt bontsa a 6-nak, amelynek tnyezit nem
osztja a 2.
F elb
o n th atatl a n
Prm
Megjegyzs.
Az egszbl annyit rdemes megjegyzeni, hogy van olyan szmkr, ahol
nem esik egybe a felbonthatatlanok s a prmek halmaza. Van olyan felbonthatatlan szm, amely nem prmszm. (5.1. bra)
Feladatok
1. Lehet-e hrom egymst kvet szm mindegyike prmszm?
2. Lehet-e hrom egymst kvet pratlan szm mindegyike prmszm?
3. Lehet-e kt prmszm klnbsge 5? Hogyan? Keresse meg az sszes
lehetsget!
66
a3 + b3
, ha a s b pozitv egsz szmok?
2
6. fejezet
A szmelmlet alapttele
A prmszmok, illetve a felbonthatatlan szmok igen fontos szerepet jtszanak a szmelmletben. Egyfajta ptkvei az egsz szmoknak. Vgs
soron azt fogjuk bebizonytani, hogy az 1-nl nagyobb abszolt rtk egsz
szmok felrhatak felbonthatatlan szmok szorzataknt. Az els lpsben
ehhez bebizonytjuk, hogy minden nem 0 s nem egysg egsz szmnak van
felbonthatatlan osztja. A felbonthatatlan szmoknak nmaguk. Az sszetett szmoknak pedig a kvetkez ttel szerint biztosan van felbonthatatlan
osztja.
6.1. Ttel. Az n sszetett szm legkisebb abszolt rtk valdi osztja felbonthatatlan.
Bizonyts. Ha n sszetett szm, akkor van valdi osztja. Legyen n valdi
oszti kzl a legkisebb abszolt rtk pozitv az a(> 0). (Hiszen ha a, akkor
a is legkisebb abszolt rtk oszt.) Ekkor n elll n = aq alakban, ahol
sem a, sem q nem egysg hiszen a valdi oszt.
Beltjuk, hogy a nem lehet sszetett szm. Ha a-nak nla kisebb abszolt
rtk osztja a c(> 0), akkor egyrszt c < a, msrszt c | a, teht c | n
(az oszthatsg tranzitivitsa miatt). Mivel azonban n-nek a volt a legkisebb
abszolt rtk (pozitv) valdi osztja, ez csak gy lehetsges, hogy c nem
valdi oszt, hanem egysg.
Vagyis (a bizonyts lnyege ms szavakkal) ha az n legkisebb abszolt
rtk valdi osztja nem lenne felbonthatatlan szm, akkor volna a legkisebbnl is kisebb abszolt rtk valdi osztja n-nek, ami lehetetlen. Teht
a felbonthatatlan.
Ha az n sszetett szmot felrjuk n = ab alakban, ahol sem a, sem b
nem egysg, akkor vagy azt tapasztaljuk, hogy a is s b is felbonthatatlan,
67
68
6. A szmelmlet alapttele
vagy azt, hogy legalbb az egyikk sszetett szm. Azt, amelyik sszetett
szm, szintn valdi osztk szorzatra bonthatjuk. Ha az gy kapott szorzat
tnyezi kztt van sszetett szm, akkor azt tovbb bonthatjuk. Pldul:
60 = 5 12 = 5 |{z}
3 4 = 5 3 |{z}
2 2.
12
Ezt az eljrst folytatva vgl azt tapasztaljuk, hogy sikerlt az n szmot csupa felbonthatatlan szm szorzataknt felrni, radsul a szorzatban
szerepl felbonthatatlan szmok ugyanazok lesznek akkor is, ha eredetileg az
n egy ms szorzatalakjbl indulunk ki: Pldul: 60 = 3 20 = 3 |{z}
54 =
20
3 5 |{z}
2 2.
4
69
rstnk vele (a megmarad egysg szorzkat sszeszorozva tovbbra is egysget, -t kapjuk). Az egyszerstsek s az jraindexels utn azt kapjuk,
hogy
p10 p20 . . . pr0 = q10 q20 . . . qs0 ,
ahol pi0 , qj 0 felbonthatatlanok, s pronknt, semmilyen indexprra sem
asszociltjai egymsnak.
Ekkor p10 nyilvn osztja a q10 q20 . . . qs0 szorzatnak. Mivel azonban p10
prmszm (mert felbonthatatlan), abbl, hogy oszt egy szorzatot, kvetkezik,
hogy valamelyik tnyezjt is osztja (lsd a 5.1. Kvetkezmnyt), vagyis van
olyan qj 0 , amelyre p10 | qj 0 . Ez azonban ellentmonds, hiszen p10 s qj 0 is
felbonthatatlan, s p10 6 = qj 0 (hiszen akkor egyszerstettnk volna vele).
6.1. Megjegyzs. Ezt az sszefggst vezredek ta ismertk s hasznltk
a matematikusok, s teljesen termszetesnek tekintettk. (Egybknt a 1-et
sem zrtk ki a vizsglatbl; tulajdonkppen prmszmnak tekintettk.)
A ttel eredetileg azt mondta ki, hogy a (pozitv) termszetes szmok
felrhatk (pozitv) prmszmok szorzataknt, s ha kt ilyen felrst is tallunk, akkor azok csak sorrendben trhetnek el egymstl. Az ltalnosts
(nemcsak egsz szmokra, hanem ms halmazokra trtn) kimondsa s
korrekt bizonytsnak szndka csak prszz ves mltra tekint vissza.
A szmelmlet alapttele nem minden szmkrben (sszeadssal s szorzssal elltott halmazon) igaz. sszetett algebrai vizsglatok szksgesek
ahhoz, hogy ltalnosan meg tudjuk mondani, hogy mely struktrkban rvnyes.
Az 5.1. Megjegyzsben emltett a + bX, a, b Z struktrban pldul nemcsak hogy nem mkdik a szmelmlet alapttelre adott bizonyts
(mert a felbonthatatlanok nem felttlenl prmek), hanem valban nem is
rvnyes a szmelmlet alapttele. Pldul a 6 = 2 3 = (1 + X)(1 X) felbonts is prmszmok szorzatbl ll, vagyis nem egyrtelm a felrs. (Nem
bizonytottuk, de 1 X is prmszm.)
Vgiggondolva a ttelre adott bizonytst, az egyrtelmsghez felhasznltuk annak a bizonytst, hogy minden felbonthatatlan szm egyszersmind prmszm is ehhez pedig a maradkos osztst (az euklideszi algoritmust).
Igaz ugyan, hogy mi tmaszkodtunk a prmszm s felbonthatatlan azonossgra, aminek bizonytsa az euklideszi algoritmuson alapul, de lteznek
az alapttelnek ms, az euklideszi algoritmust nem hasznl bizonytsai is.
St, vannak olyan szmkrk, amelyekben nincsen euklideszi algoritmus
(mert pldul nincsen maradkos oszts, mert nincsen nagysgrendi rendezs
az elemek kztt), viszont a szmelmlet alapttele mgis teljesl.
70
6. A szmelmlet alapttele
Az azonban elmondhat, hogy ha valamely halmazon (integritsi tartomnyban) elvgezhet a maradkos oszts (ott elvgezhet az euklideszi
algoritmus s a felbonthatatlan szmok egyszersmind prmek is), akkor ott
rvnyes a szmelmlet alapttele is.
k
Y
pi i ,
i=1
71
q,
pq,
p2 q,
..
.
q2,
pq 2 ,
p2 q 2 ,
..
.
...
...
...
..
.
q ,
pq ,
p2 q ,
..
.
p ,
p q,
p q 2 ,
...
p q
72
6. A szmelmlet alapttele
73
Ekkor d(n) = (21 + 1)(22 + 1) . . . (2k + 1), ami nyilvn pratlan szm,
hiszen ez olyan szorzat, amelynek minden tnyezje pratlan.
2. Megfordtva: Tegyk fel, hogy az n = p1 1 p2 2 . . . pk k szmnak pratlan
sok osztja van, vagyis d(n) = (1 + 1)(2 + 1) . . . (k + 1) szorzat pratlan.
Ez csak gy lehet, ha a szorzat minden tnyezje pratlan, vagyis ha minden
i-re i + 1 pratlan szm, ami pontosan akkor teljesl, ha az n kanonikus
alakjban minden kitev pros.
Legyen ekkor 1 = 21 , 2 = 22 , . . . k = 2k . Ezt felhasznlva az n
2k
1
2
szm n = p2
p2
alakba rhat, vagyis n = t2 , ahol t = p1 1
1
2 . . . pk
2
k
p2 . . . pk . Teht n ngyzetszm.
A szmok kanonikus alakjt felhasznlhatjuk kt szm legnagyobb kzs
osztjnak, illetve legkisebb kzs tbbszrsnek meghatrozsra is. Ehhez
clszer a kt szmot ugyanazon prmek hatvnyaiknt felrni. Ha pldul a
74
6. A szmelmlet alapttele
75
d = p1 1 p2 2 . . . pk k q1 1 q2 2 . . . ql l ,
76
6. A szmelmlet alapttele
ahol 0 i0 i s 0 i0 i .
0
Feladatok
1. Igazolja a 4. fejezet 19. feladatait a szmelmlet alapttelnek felhasznlsval is!
2. Hatrozza meg az n szm osztinak szorzatt!
3. Melyik az a legkisebb n termszetes szm, amelyre d(n) = 1; 2; 3; 10;
12; 45?
4. Igazolja, hogy tetszleges a, b termszetes szmokra d(ab) d(a) d(b)!
5. Igazolja, hogy vgtelen sok n termszetes szmra teljesl, hogy d(n +
1) 2d(n)!
6. Igazolja, hogy a 2d(n2 ) = 3d(n) sszefggs csak prmszm n esetn
teljeslhet!
7. Igazolja, hogy d(n) n tetszleges n termszetes szm esetn!
7. fejezet
A prmszmokrl
A korbbiakban mr megismerkedtnk a prmszm fogalmval s nhny
fontos, prmszmokkal kapcsolatos ttellel. Mivel az egsz szmok krben
egy szm akkor s csak akkor prm, ha az ellentettje az, s egy szmot akkor
s csak akkor oszt egy prm, ha annak ellentettje osztja, ebben a fejezetben
vizsgldsaink elssorban a pozitv egszekre szortkoznak. Knnyen meggondolhat, hogy eredmnyeink hogyan ltalnosthatak az egsz szmok
halmazra. Most elszr azt fogjuk megnzni, hogyan lehet egy szmrl eldnteni, hogy prm-e, illetve hogyan lehet egy adott korltig megtallni az
sszes (pozitv) prmszmot.
(Sem most, sem a ksbbiekben nem tesznk klnbsget prm s felbonthatatlan kztt, mindvgig a rvidebb prm elnevezst fogjuk hasznlni.
Meggondolhat, hogy mely esetekben tmaszkodunk a prmek felbonthatatlansgra, amely esetekben a prmsgre.)
A prmszmok megkeressre szolgl a kvetkez, eratosztenszi szita nev eljrs:
rjuk fel elszr a szmokat 2-tl n-ig, ahol n az a szm, ameddig kvncsiak vagyunk a prmekre:
2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
, n
:::
7.1. bra.
Az els szm, a 2, prmszm, ezt karikzzuk be, az sszes tbbi tbbszrst pedig (azok biztos nem prmek, hiszen a 2 valdi osztjuk) hzzuk
t:
77
78
7. A prmszmokrl
, n
:::
7.2. bra.
, n
:::
7.3. bra.
Ezutn ismt karikzzuk be az els mg meg nem jellt szmot, majd
hzzuk t sajt maga kivtelvel az sszes tbbszrst, s gy tovbb, addig
folytassuk az eljrst (a szitlst), amg az sszes sszetett szm (az adott
korltig) ki nem hullik a rostn (t nem lesz hzva).
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
Krds, hogy van-e r garancia, hogy ez az llapot elbb-utbb bekvetkezik, s ha igen, akkor mikor, illetve hogy a prmszmok biztosan mind
fentmaradnak-e.
Ahhoz, hogy vlaszolni tudjunk ezekre a krdsekre, tegynk elszr nhny megfigyelst az eljrsrl:
79
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
80
7. A prmszmokrl
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
Az thzott szmok mind sszetettek, hiszen akkor hzunk t egy szmot, ha egy nla kisebb (prm)szm tbbszrse.
Azt is megllapthatjuk, hogy akkor hzunk t egy sszetett szmot,
amikor ppen a legkisebb prmosztja szerint szitlunk.
81
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
Ezzel az eljrssal elrhet, hogy elbb utbb minden szm (az adott
hatrig) vagy be legyen karikzva, vagy t legyen hzva, hiszen brmilyen n
korlt esetn n-ig vges sok (pozitv egsz) szm van, ezek kztt vges sok
a prm, s minden prmnek vges sok tbbszrse van.
Valjban azonban nincs szksg arra, hogy addig folytassuk az eljrst,
amg n-ig minden szmot meg nem jellnk gy vagy gy (karikzssal vagy
thzssal). Ha pldul 100-ig szeretnnk megtallni az sszes prmet, akkor
azt fogjuk tapasztalni, hogy miutn kihztuk a 2, a 3, az 5 s a 7 sszes
tbbszrst, az els mg meg nem jellt szmnak a 11-nek mr nincs
olyan tbbszrse (100-ig), amit t ne hztunk volna mr korbban. Ugyanez
a helyzet a 13-mal, a 17-tel s az sszes tbbi 7-nl nagyobb prmmel is,
ami azt jelenti, hogy tovbbi szitllsra nincs szksg, most mr az sszes
megjelletlen szm prm.
Az http://www.cs.elte.hu/~kfried/algebra1/ERATOS-.EXE itt elindthat (DOS, grafikus) PROGRAMBAN az eratosztenszi szitt modelleztk. Minden szmnak egy-egy kpernypont felel meg: 480 sorban s 480
oszlopban. Eszerint 480 480 = 230 400-ig (pontosabban 230 399-ig) szitlunk .
Az 7.10. brn lthat animci 2-tl 224-ig szitl.
Az, hogy egy p prmnek mr nincs thzatlan tbbszrse n-ig azt jelenti, hogy nincs olyan szm (n-ig), amelynek a legkisebb prmosztja p lenne
82
7. A prmszmokrl
10 11 12 13 14
15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
75 76 77 78 79 80 81 82 83 84 85 86 87 88 89
90 91 92 93 94 95 96 97 98 99 100 101 102 103 104
105 106 107 108 109 110 111 112 113 114 115 116 117 118 119
120 121 122 123 124 125 126 127 128 129 130 131 132 133 134
135 136 137 138 139 140 141 142 143 144 145 146 147 148 149
150 151 152 153 154 155 156 157 158 159 160 161 162 163 164
165 166 167 168 169 170 171 172 173 174 175 176 177 178 179
180 181 182 183 184 185 186 187 188 189 190 191 192 193 194
195 196 197 198 199 200 201 202 203 204 205 206 207 208 209
210 211 212 213 214 215 216 217 218 219 220 221 222 223 224
83
:::
7.11. bra.
sorozatban bekarikzzuk az 1-et, s thzunk minden msodikat:
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
:::
7.12. bra.
majd a fennmarad szmok kzl bekarikzzuk az els mg meg nem jelltet
a 3-at s thzunk minden harmadikat:
1,
3,
5,
7,
9,
11,
13,
15,
17,
:::
7.13. bra.
n-nl.
84
7. A prmszmokrl
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
85
86
7. A prmszmokrl
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
91 92 93 94 95 96 97 98 99 100
81 82 83 84 85 86 87 88 89 90
71 72 73 74 75 76 77 78 79 80
61 62 63 64 65 66 67 68 69 70
51 52 53 54 55 56 57 58 59 60
41 42 43 44 45 46 47 48 49 50
31 32 33 34 35 36 37 38 39 40
21 22 23 24 25 26 27 28 29 30
11 12 13 14 15 16 17 18 19 20
1
10
87
88
7. A prmszmokrl
89
2 3 + 1 = 7 prm,
2 3 5 + 1 = 31 prm,
2 3 5 7 + 1 = 211 prm, s
2 3 5 7 11 + 1 = 2311 is prm.
De mr 2 3 5 7 11 13 + 1 = 30 031 = 59 509 nem prm,
2 3 5 7 11 13 17 + 1 = 510 511 = 19 26 869 sem prm
s gy tovbb, elksztve a p1 p2 p3 . . . pn + 1 szmot, ahol pi , az i-edik prmszmot jelenti, a kapott szm n rtktl fggen hol prm lesz, hol nem.
(A tovbbiakban pldul ha pn = 19, 23, 29, 37, 41, 43 vagy 47, akkor nem
kapunk prmet, ha pn = 31, akkor prmet kapunk.)
Nyilvnval, hogy a vgtelen sok prmszm kzl az egyetlen pros a 2,
az sszes tbbi pratlan. A pratlan szmok azonban a 4-gyel val osztsi
maradkuk szerint kt csoportba sorolhatk, bizonyosak 4k1, msok 4k+1
alakak. Tudjuk, hogy legalbb az egyik halmazban vgtelen sok prmnek
kell lennie (hiszen vgtelen sok pratlan prm van, s mindegyik benne van
a kt halmaz valamelyikben), de krds, hogy vajon mindkettben vgtelen
sok prm van-e, vagy csak az egyikben (s akkor melyikben). Errl szl a
kvetkez ttel:
7.3. Ttel.
(a) Vgtelen sok 4k 1 alak prmszm van.
(b) Vgtelen sok 4k + 1 alak prmszm van.
Bizonyts. Elszr az (a) lltst bizonytjuk, a (b) llts bizonytsa egy
ksbbi sszefggsbl fog kvetkezni (11.1. Kvetkezmny).
(a) Tegyk fel (indirekt mdon), hogy vges sok 4k 1 alak prmszm
van, s ezek a kvetkezk: p1 , p2 , p3 , . . . pn . Tekintsk a kvetkez szmot:
A = 4p1 p2 p3 . . . pn 1
Ennek a szmnak nyilvnvalan a sem a 2, sem a p1 , p2 , p3 , . . . , pn prmek
nem oszti. Az sem lehet, hogy minden prmosztja 4k+1 alak, hiszen maga
a szm nem 4k+1 alak, mrpedig 4k+1 alak szmok szorzata 4k+1 alak:
((4a + 1)(4b + 1) = 4(4ab + a + b) + 1). Vagyis kell, hogy legyen 4k1 alak
prmosztja, ami ellentmond annak, hogy p1 , p2 , p3 , . . . , pn az sszes 4k 1
alak prm.
Ms szmokkal val osztsi maradkuk szerint is csoportosthatjuk a
prmszmokat. Azt pldul, hogy vgtelen sok 6k 1 alak prm van, ugyangy lthatjuk be, mint a 4k 1 alakakra vonatkoz lltst (felhasznlva,
90
7. A prmszmokrl
91
Az az rdekes, hogy ms eset nem fordulhat el: egy pozitv tag szmtani
sorozatban vagy 0 vagy 1 vagy vgtelen sok prmszm van. 0 vagy 1 is csak
gy lehetett, hogy (a, d) > 1.
Vagyis az nem lehetsges, hogy egy csupa pozitv tagbl ll szmtani
sorozatban pontosan 2, 3, 4, . . . stb. prmszm legyen. (Ha negatv tagokat is
megengednk, akkor kt prm is lehet a sorozatban, ilyen pldul a kvetkez:
6, 2, 2, 6, 10, 14, . . . ) Ez lnyegben a kvetkez ttelen mlik, amelyet
bizonyts nlkl kzlnk:
7.4. Ttel. (Dirichlet) Ha d > 0 s (a, d) = 1, akkor az a + nd (n =
0, 1, 2, . . .) szmtani sorozatban vgtelen sok prmszm van.
A ttel bizonytsa meglehetsen nehz, de Dr. Szalay Mihly knyvben (Szmelmlet, Specilis matematika-tanknyvek sorozat, Typotex kiad,
http://www.typotex.hu/konyv/szalay_mihaly_szamelmelet)
Megjegyzs. rdekes krds, hogy ms nevezetes sorozatokban hny
prm lehet. A mai napig megoldatlan problma pldul az, hogy a Fibonaccisorozatban (vagyis az 1, 1, 2, 3, 5, 8, 13, 21, . . . sorozatban, ahol a1 = a2 = 1
s an = an1 + an2 , ha n > 2) vgtelen sok prmszm van-e.
Az is izgalmas krds, hogy milyen nagysgrend lehet az n-edik prmszm. Azt mr lttuk, hogy az n-edik prmszm legfeljebb akkora, mint az
t megelz prmek szorzatnl 1-gyel nagyobb szm.
Az n-edik pozitv prmszmra ennek segtsgvel adhatunk egy fels korltot:
7.5. Ttel. A prmszmok p1 = 2, p2 = 3, p3 = 5, . . . sorozatban az n-edik
n1
prmszmra igaz, hogy pn 22 .
p(n)
22
79
67
53
41
29
17
5
1.
3.
n1
5.
7.
9.
11.
13.
15.
17.
19.
21.
23.
25.
7.22. bra.
Bizonyts. A ttelt teljes indukcival bizonytjuk. n=1-re igaz az llts,
0
hiszen p1 = 2 22 = 2. Meg fogjuk mutatni, hogy ha az n = 1, 2, 3, . . . k
92
7. A prmszmokrl
k1
A 22 22 22 22
k1
+ 1 = 21+2+4+...+2
k 1
+ 1 = 22
22
+ 1 22
k 1
+ 22
k 1
k 1
= 2 22
k 1
+ 1.
):
= 22 .
p1 = 2 22 = 2,
1
p2 = 3 22 = 4,
2
p3 = 5 22 = 16,
3
p4 = 7 22 = 256,
...,
vagyis ttelnk meglehetsen durva fels becslst ad az n-edik prmre. Lteznek finomabb becslsek is, de az ezekre vonatkoz bizonytsok meghaladjk
kereteinket.
Bertrand (18221900) francia matematikus sejtette meg, s Csebisev
(18211894) orosz matematikus bizonytotta elszr a kvetkez ttelt, amely
azt modja ki, hogy tetszleges szm s a ktszerese kztt mindig van prmszm:
7.6. Ttel. (Csebisev-ttel) Tetszleges n > 1 egszhez ltezik olyan p
prmszm, amelyre n < p < 2n.
A ttelt nem bizonytjuk.
7.3. llts. Csebisev ttelbl kvetkezik, hogy az n-edik prmszm legfelejebb 2n , azaz pn 2n .
p(n)
93
2n
79
67
53
41
29
17
5
1.
3.
5.
7.
9.
11.
13.
15.
17.
19.
21.
23.
25.
7.23. bra.
94
7. A prmszmokrl
95
n 1
P
sorozat
i=1 pi
divergens.
E ttel szerint a prmszmok srbben fordulnak el a termszetes szmok kztt, mint a ngyzetszmok. (tlagosan valamely n-ig tbb a prm-
96
7. A prmszmokrl
10
11
...
(x)
...
(x)
x
1
2
2
3
1
2
3
5
1
2
4
7
1
2
4
9
2
5
5
11
...
7
6
5
4
3
2
1
1. 3. 5. 7. 9. 11. 13. 15. 17. 19. 21. 23. 25. 27. 29. 31. 33. 35.
7.24. bra.
A ttelt nem bizonytjuk, viszont kimondunk szintn bizonyts nlkl
egy ersebb ttelt, amelybl kvetkezik:
97
7.10. Ttel. Lteznek olyan c > 1 s 0 < c0 < 1 konstansok, hogy elg nagy
x-re
x
x
c0
< (x) < c
.
ln x
ln x
(n)
25.
x
ln x
22.
19.
c
16.
x
ln x
13.
10.
7.
4.
1.
1. 6. 11. 16. 21. 26. 31. 36. 41. 46. 51. 56. 61. 66. 71. 76. 81. 86. n
7.25. bra.
Megjegyzs. A ttel szerint
c0
(x)
c
<
<
.
ln x
x
ln x
Ebbl pedig valban kvetkezik, hogy ha x , akkor
1
ekkor ln x , azaz
0.
ln x
(x)
0, hiszen
x
(x)-rl egy mg ennl ersebb eredmny is ismert, amelyet szintn bizonyts nlkl kzlnk:
7.11. Ttel. (Nagy prmszmttel) Legyen (x) az x-nl nem nagyobb
prmek szma. Ekkor:
(x)
lim x = 1
x
ln x
x
(azaz (x) s
aszimptotikusan egyenlk).
ln x
98
7. A prmszmokrl
(n)=
n
ln n
2.
1.
1.
6.
11. 16. 21. 26. 31. 36. 41. 46. 51. 56. 61. 66. 71. 76. 81. 86. n
7.26. bra.
Megjegyzs. Az aszimptotikus egyenlsget szemlletesen gy mondjuk, hogy sszesimulnak. Azt lttuk, hogy a termszetes szmok krben a
prmszmok srbben helyezkednek el, mint a ngyzetszmok (pldul n-ig
1
41
2
43
3
47
4
53
5
61
6
71
7
83
8
97
9
113
10
131
11
151
12
163
...
...
Azt tapasztaljuk, hogy az n = 1, 2, 3, . . . , 40 rtkek mindegyikre prmszm a helyettestsi rtk. Az n = 41 helyen azonban mr nyilvn nem
kaphatunk prmet, mert a helyettestsi rtk oszthat 41-gyel (s persze
nagyobb is, mint 41).
Hasonl a helyzet ms polinomokkal is.
Ahhoz, hogy ezt bebizonytsuk, meg kell rtennk valamit, aminek a
bizonytst most nem rszletezzk (ezzel a msodik ktetben fogunk foglalkozni).
99
7.4. llts. Egy nem konstans polinom nem veheti fel a 0 rtket vgtelen
sokszor.
Megjegyzs. Szemlletesen a kvetkezrl van sz: Kzpiskolai tapasztalataink alapjn tudjuk, hogy ha egy msodfok polinom valahol 0-t vesz
fel, vagyis van gyke, akkor a polinomot gyktnyezs alakban rhatjuk fel.
Azonban egy msodfok polinom sem mindig rhat fel gyktnyezs alakban. Az viszont a magasabb fok polinomokra is teljesl, hogy ha valamely
x0 helyen gyke van, akkor kiemelhet belle egy (x x0 ) szorztnyez.
Ezrt egy n-edfok polinom legfeljebb n darab elsfok tnyez szorzatra
bomlik, vagyis legfeljebb n darab gyke lehet, teht legfeljebb n helyen veheti
fel a 0 fggvnyrtket.
7.1. Kvetkezmny. Egy nem konstans polinom egyetlen fggvnyrtket
sem vehet fel vgtelen sokszor.
Bizonyts. Az f (x) nem konstans polinom pontosan akkor veszi fel az a
rtket, amikor az f (x) a a 0-t. Ezrt a 7.4. llts szerint az f (x) nem
konstans polinom nem vehet fel vgtelen sokszor semmilyen a rtket sem.
7.12. Ttel. Nincs olyan egsz egytthats, nem konstans polinom, amely
minden termszetes szm helyen prm rtket vesz fel.
Bizonyts. Tekintsk az f (x) = an xn +an1 xn1 +. . .+a1 x+a0 polinomot,
ahol az a0 , a1 , . . . , an1 , an egytthatk egsz szmok.
Ha a0 = 0, akkor tetszleges n-re az x = n helyen felvett helyettestsi
rtk oszthat n-nel, gy ha pldul n sszetett szm, akkor a helyettestsi
rtk sem lehet prm.
Ha a0 6 = 0, akkor vizsgljuk meg, hogy milyen rtkeket vehet fel a polinom az x = 0, |a0 |, |2a0 |, |3a0 |, . . . helyeken. Nyilvn az sszes ilyen helyen
oszthat lesz a helyettestsi rtk a0 -lal. Egy a0 -lal oszthat szm csak gy
lehet prmszm, ha vagy |a0 | = 1, vagy a0 maga ennek a prmnek asszociltja.
Az, hogy a fenti helyek mindegyikn ugyanannak a prmnek az asszociltja
legyen a helyettestsi rtk, nem lehetsges, hiszen egy polinom nem veheti
fel vgtelen sokszor ugyanazt az rtket (a0 -t vagy |a0 |-t). Ha pedig a0 = 1,
akkor pldul az x = 0 helyen nem lesz prm a helyettestsi rtk (hiszen
f (0) = a0 , ami most 1, s az 1 nem prm).
Vagyis a fenti polinom semmilyen esetben sem vehet fel csak prm rtkeket.
100
7. A prmszmokrl
k
22
k
+1
0
3
1
5
2
17
3
257
4
65 537
prmek, de mint azt Leonhard Euler (17071783) megmutatta, hogy k = 5re 232 + 1 = 4 294 967 297(= 641 6 700 417) mr nem prm. Azta tbb, mint
40 tovbbi Fermat-szmot vizsgltak meg (tbbnyire szmtgpek segtsgvel), s egyetlen tovbbi prmet sem talltak kzttk. Nem csak az megoldatlan problma, hogy ltezik-e vgtelen sok Fermat-prm (vagyis olyan
k
22 + 1 alak szm, ami prm), hanem az is, hogy ltezik-e legalbb mg egy
a felsoroltakon kvl.
Arra nzve viszont, hogy egyltaln mikor lehet prm egy 2n + 1 alak
szm, a kvetkez ttel mond ki szksges felttelt (olyan felttel, amely
elgsges is mint ez az imnt kiderlt nem ismeretes):
7.13. Ttel. Egy 2n + 1 alak szm csak gy lehet prm, ha n = 2k (n N,
n 1).
Bizonyts. Tekintsnk egy N = 2n + 1 alak szmot, s rjuk fel az n-et
egy pratlan szm s egy 2-hatvny szorzataknt. n pratlan prmtnyezi
(ha vannak ilyenek) szorzata legyen m, a 2-esek pedig 2k .
Azt kell bebizonytanunk, hogy ha N = 2n + 1 prmszm, akkor m csak
1 lehet.
k
k
N = 22 m + 1 = (22 )m + 1.
k
101
2
3
prm
3
7
prm
5
31
prm
7
127
prm
11
2047
nem prm
23 89
13
8191
,
prm
102
7. A prmszmokrl
Titkosts
Manapsg a prmszmok legfontosabb alkalmazsi terlete a szmtgpes
titkosts elmlete.
http://hu.wikipedia.org/wiki/RSA-eljrs
http://vassanyi.ginf.hu/info/rsa/primek.html
A titkostshoz hasznlt algoritmusok nagy prmeket hasznlnak,
ugyanakkor jabb s jabb algoritmusokat keresnk egy szm prmtnyezs
felbontsnak meghatrozsra.
Erre szolglnak a prmtesztek.
http://hu.wikipedia.org/wiki/Prmteszt
Feladatok
1. Igazolja, hogy vgtelen sok 6k 1 alak prmszm van!
2. Igazolja, hogy tetszleges prmszm 30-cal osztva 1-et vagy prmszmot
ad maradkul!
3. A 7.11. Ttel milyen nagysgrendi becslst ad a prmszmok szmra
102 -ig; 103 -ig; 104 -ig; 105 -ig; 106 -ig; 109 -ig; 1012 -ig?
4. Keresse meg az els 50 szerencss szmot! (Definci a 83. oldalon.)
8. fejezet
Kongruencia
A korbbiakban a maradkos oszts, illetve az oszthatsgi szablyok trgyalsa sorn (ld. a 3.2. Megjegyzst) mr felmerlt, hogy clszer lenne
kln jellst bevezetni arra, hogy kt szm ugyanazt a maradkot adja valamivel osztva.
8.1. Definci. Legyen a s b tetszleges egsz szm, m 2 egsz szm. Azt
mondjuk, hogy a kongruens b-vel modulo m, ha a s b ugyanazt a maradkot
adja m-mel osztva.
8.1. Jells. a b (mod m) vagy rvidebben: a b (m)
Azt, hogy a s b nem kongruensek (inkongruensek) modulo m, gy jelljk: a 6 b (mod m).
Pldul:
3 23 (mod 10),
3 7 (mod 10)
3 23 (mod 5)
3 8 (mod 5)
de
3 6 4 (mod 10)
3 6 3 (mod 10)
3 6 7 (mod 5)
3 6 8 (mod 10)
Megjegyzs. Az m 2 kiktsnek valjban nincs klnsebb jelentsge, de ha tetszleges egsz szm lehetne a modulus, akkor
1. a b (mod m) ugyanakkor teljesl, mint a b (mod m);
2. tetszleges a-ra a 0 (mod 1) (ami meglehetsen semmitmond); valamint
3. az a b (mod 0) eset csak akkor lenne lehetsges, ha a = b. (Ez
teht maga az egynlsg, s mint majd ltni fogjuk , a kongruencia
bizonyos rtelemben ugyanolyan tpus relci, mint az egyenlsg.)
103
104
8. Kongruencia
ahol
0 r1 < m,
b = mq2 + r2 ,
ahol
0 r2 < m.
illetve
Ekkor a b = m(q1 q2 ) + r1 r2 .
1. 8.1. 8.2.
Az els definci szerint a b (mod m) azt jelenti, hogy r1 = r2 . Ekkor
r1 r2 = 0, vagyis a b = m(q1 q2 ), gy m | a b teljesl.
2. 8.2. 8.1.
Tegyk most fel, hogy a msodik definci szerint m | ab. Ekkor ab =
m(q1 q2 ) + r1 r2 miatt m | r1 r2 , ami 0 r1 < m s 0 r2 < m miatt
csak gy teljeslhet, ha r1 r2 = 0, vagyis ha r1 = r2 , azaz a-nak s b-nek
az m szerinti maradka ugyanannyi. Ez pedig az els defincinak felel meg.
Megjegyzs. A kongruencia fogalmnak felhasznlsval a 3.4. Ttel (a
t alap szmrendszerben megfogalmazott oszthatsgi szablyok) a kvetkez formban rhat:
n
P
Az A =
ai ti szmra a kvetkezk teljeslnek:
i=0
(i) Ha d | tk , akkor A
k1
P
ai ti (mod d)
i=0
(ii) Ha d | t 1, akkor A
n
P
i=0
ai (mod d)
(iii) Ha d | t + 1, akkor A
n
P
105
i=0
Rgztett modulus mellett a kongruencia ktvltozs (binr) relci. Vizsgljuk meg, hogy milyen tulajdonsgai vannak a kongruenciarelcinak.
8.2. Ttel. Tetszleges a, b, c -re s rgztett m(> 1)-re
1. a a (mod m) (reflexv)
2. ha a b (mod m), akkor b a (mod m) (szimmetrikus)
3. ha a b (mod m) s b c (mod m), akkor a c (mod m). (tranzitv)
Megjegyzs. Ezek a tulajdonsgok az egyenlsg relcira is teljeslnek, az ilyen tulajdonsgokkal rendelkez relcit neveztk ekvivalenciarelcinak.
Bizonyts. 1. a ugyanazt a maradkot adja brmivel osztva, mint a.
2. Ha a ugyanazt a maradkot adja m-mel osztva, mint b, akkor b nyilvn
ugyanazt a maradklot adja m-mel osztva, mint a.
3. Ha a ugyanazt a maradkot adja m-mel osztva, mint b, s b ugyanazt a
maradkot adja m-mel osztva, mint c, akkor nyilvn c ugyanazt a maradkot
adja m-mel osztva, mint a.
Megjegyzs. Az, hogy a kongruencia ekvivalenciarelci azt jelenti,
hogy ha egy-egy halmazba gyjtjk azokat a szmokat, amelyek egy adott
modulusra nzve kongruensek egymssal (ugyanazt a maradkot adjk mmel osztva), akkor megkapjuk az egsz szmok egy osztlyozst (vagyis
ezzel az egsz szmok halmazt sztbontjuk kzs elemet nem tartalmaz,
nem res rszhalmazokra).
Pldul: (mod 2) egy osztlyba kerlnek azok a szmok, amelyek 0-t
adnak maradkul 2-vel osztva (prosak), egy msik osztlyba pedig azok,
amelyek 1-et adnak maradkul 2-vel osztva (pratlanok).
( mod 3) hrom osztlyt kapunk: az egyikben a 3k, egy msikban a 3k+1,
a harmadikban pedig a 3k + 2 alak szmok lesznek.
ltalban (mod m) ppen m osztlyt kapunk, mert a szmok m-mel
osztva m-fle maradkot adnak: 0-t, 1-et, 2-t, . . . , m 1-et.
Ha pldul (mod 8) vgezzk el a szmok osztlyozst, a kvetkez
tblzatban az egy oszlopban szerepl szmok kerlnek egy osztlyba:
106
8. Kongruencia
...
8
0
8
16
24
32
...
7
1
9
17
25
33
14
6
2
10
18
26
34
13
5
3
11
19
27
35
12
4
4
12
20
28
36
11
3
5
13
21
29
37
10
2
6
14
22
30
38
9
1
7
15
23
31
...
...
m + 1
1
m+1
2m + 1
3m + 1
..
.
2m + 2
m + 2
2
m+2
2m + 2
3m + 2
..
.
...
...
...
...
...
...
..
.
m 2
2
m2
2m 2
3m 2
...
..
.
(km)
..
.
(km + 1)
..
.
(km + 2)
..
.
...
..
.
(km + m 2)
..
.
m 1
1
m1
2m 1
3m 1
..
.
(km + m 1)
..
.
107
108
8. Kongruencia
Jelljk a
-val az a elem, b-vel a b elem ltal reprezentlt maradkosztlyt. Ekkor a kt maradkosztly sszegn az a + b, szorzatn pedig az a b
maradkosztlyt rtjk. Vagyis:
a
b := a + b
a
b := a b
(sszeads) s
(szorzs)
Knnyen belthat, pontosabban visszavezethet a reprezentnsokra rvnyes mveleti tulajdonsgokra, hogy tetszleges modulus esetn a (mod m)
maradkosztlyok gy definilt sszeadsa kommutatv, asszociatv s invertlhat, a szorzsa kommutatv s asszociatv, tovbb a szorzs disztributv
az sszeadsra nzve vagyis a maradkosztlyok kommutatv, egysgelemes
gyrt alkotnak (az egysgelem mindig az 1 ltal reprezentlt maradkosztly).
Nzznk meg nhny pldt egy-egy ilyen maradkosztly-gyrre!
Az alaphalmaz teht mindig a maradkosztlyok {0, 1, 2, . . . , m 1} halmaza az ppen aktulis (mod m) modulusra nzve, a kt mvelet pedig a
fent definilt sszeads s szorzs:
(mod 2)
(mod 3)
(mod 4)
0
1
2
3
(mod 5)
1
0
1
0
0
0
0
1
0
1
2
2
0
2
1
0
1
2
3
0
0
0
0
0
1
0
1
2
3
2
0
2
0
2
3
0
3
2
1
0
1
2
3
4
0
0
0
0
0
0
1
0
1
2
3
4
2
0
2
4
1
3
3
0
3
1
4
2
4
0
4
3
2
1
109
(mod 6)
0
1
2
3
4
5
(mod 7)
0
1
2
3
4
5
0
0
0
0
0
0
0
0
1
2
3
4
5
6
1
0
1
2
3
4
5
0
0
0
0
0
0
0
0
2
0
2
4
0
2
4
1
0
1
2
3
4
5
6
3
0
3
0
3
0
3
2
0
2
4
6
1
3
5
4
0
4
2
0
4
2
3
0
3
6
2
5
1
4
5
0
5
4
3
2
1
4
0
4
1
5
2
6
3
5
0
5
3
1
6
4
2
6
0
6
5
4
2
2
1
A tblzatokrl nmagukban is sok rdekessg leolvashat. szrevehetjk, hogy a (mod 4) vagy (mod 6) maradkosztly-gyr nem integritstartomny, hiszen nem zrusosztmentes: modulo 4 szerint 2 2 = 0, modulo
6 szerint pedig pldul
2
3=
0. (Hasonl a helyzet minden olyan modulus
esetn, amely sszetett szm, hiszen olyankor m felrhat m = ab alakban,
ahol a s b valdi osztk (1 < a, b < m), teht egyikk sem a 0 = m
maradkosztlyt kpviseli, s ilyenkor a
b = 0.)
A szorzs tblzatokrl leolvashat, hogy mely elemek (maradkosztlyok) oszti melyeknek. (Most akkor mondjuk, hogy a
| b, ha
q , amelyre
a
q = b.) Ha kvncsiak vagyunk, hogy egy elem mely elemeknek az osztja, csak a sort (vagy az oszlopt) kell vgignznnk, abban fel van sorolva
az sszes tbbszrse. Pldul modulo 6 szerint a 4 osztja a 2-nek, hiszen
4 2 = (4
5 =)
2.
Klnsen rdekesek azok az elemek, amelyeknek a sorban (illetve oszlopban) az sszes elem elfordul. Ezek ugyanis az sszes elemnek oszti,
teht egysgek. Ilyen pldul modulo 6 az 1 s az 5(= 1), ami mg nem
olyan meglep, de pldul modulo 5 vagy modulo 7 a 0 kivtelvel az sszes
maradkosztly. (A fenti tblzatokbl nem derl ki, de modulo 10 az 1,
a 3, a 7 s a 9 ltal reprezentlt maradkosztlyok lesznek az egysgek,
ami azt is jelenti, hogy ppen az ezekben a maradkosztlyokban szerepl
szmok azok, amelyeknek a tbbszrsei kztt tzes szmrendszerben minden lehetsges jegyvgzds elfordul.) Sejthet, hogy ltalban modulo m
azok a maradkosztlyok lesznek az egysgek, amelyeket a modulushoz relatv prm elemek kpviselnek. Ezek rszletesebb tanulmnyozsra ksbb
visszatrnk. (8.3. Megjegyzs.)
110
8. Kongruencia
Megjegyzs. rdemes a 8.3. Ttel nhny specilis esetvel, illetve kvetkezmnyvel kln is foglalkoznunk:
(1) Ha a b (mod m), akkor tetszleges c-re
(i) a + c b + c (mod m) s
(ii) ac bc (mod m). (Ez ppen a ttel lltsa a d = c esetben.)
(2) Ha a b (mod m), akkor tetszleges k-ra a b + km (mod m),
(hiszen minden k egsz szmra 0 km (mod m).)
(3) Ha a b (mod m), akkor tetszleges n N-re an bn (mod m).
(A ttel msodik lltsnak ismtelt alkalmazsval addik a c = a s
d = b esetben.)
(4) A 2.7. Ttel els lltst, miszerint a, b-re a b | an bn szintn
belthatjuk ugyanennek a ttelnek a segtsgvel.
Nyilvn a b 0 ( mod a b). Ekkor a b ( mod a b), gy (3) miatt
an bn (mod a b). Ez viszont a kongruencia 8.2. Defincija szerint
ppen azt jelenti, hogy ab | an bn . (Korbban, a 2.7. Ttelben persze
ennl tbbet is belttunk, nevezetesen azt, hogy az an bn algebrai
kifejezs oszthat az a b algebrai kifejezssel.)
m
mod
.
(c, m)
Bizonyts. Legyen (c, m) = d. Ekkor c, illetve m a kvetkez alakba rhat: c = c0 d, illetve m = m0 d, ahol (c, m0 ) = 1. Ha ac bc (mod m),
akkor m | ac bc, vagyis m0 d | (a b)c0 d. d nem 0, ezrt a 2.1. Kvetkezmny alapjn m0 | (a b)c0 . Mivel (m0 , c0 ) = 1, ez csak gy lehetsges, (lsd
m
4.4 1. lltsa), ha m0 | (a b), vagyis a b (mod m0 ) ahol m0 =
.
(c, m)
111
112
8. Kongruencia
8.2. Megjegyzs. A ttel ismeretben figyeljk meg, hogy ha bizonyos vltoztatsokat vgznk egy m szerinti teljes maradkrendszeren, milyen felttelek mellett kaphatunk jra teljes maradkrendszert!
Mivel egy m szerinti teljes maradkrendszer elemszma m, ezen nem vltoztathatunk. Nyilvn nem hagyhatunk el s nem vehetnk hozz elemeket.
Az nem nagy trkk br nyilvn megengedhet , hogy kicserlnk egy elemet egy vele kongruensre, hiszen ekkor vltozatlanul ugyanazok az osztlyok
lesznek kpviselve, csak az illet osztlyt egy msik eleme fogja kpviselni.
Ennl merszebb lps, hogy a teljes maradkrendszer minden elemhez
hozzadjuk ugyanazt az egsz szmot.
Pldul 10 szerint teljes maradkrendszert alkotnak a 0, 1, 2, 3, 4, 5, 6,
7, 8, 9 szmok. Hozzjuk adva b-t, a kvetkezket kapjuk: 0 + b, 1 + b, 2 + b,
3 + b, 4 + b, 5 + b, 6 + b, 7 + b, 8 + b, 9 + b.
Ezek az elemek szm szerint megvannak, s semelyik kett sem lehet
kongruens, mert a1 + b a2 + b ( mod 10) azt jelenten, hogy a1 a2 ( mod
10), vagyis ez is teljes maradkrendszer lesz.
Ez b rtktl fggen a kvetkez maradkosztlyokat jelenti (b-t nyilvn
csak a 10 szerinti maradka alapjn kell vizsglnunk):
113
b=0:
b=1:
b=2:
b=3:
b=4:
b=5:
b=6:
b=7:
b=8:
b=9:
0,
1,
2,
3,
4,
5,
6,
7,
8,
9,
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
9
10
11
12
13
14
15
16
17
18
Bizonyts. Mivel az a1 + b, a2 + b, a3 + b, . . . , am + b szmok darabszma m, elegend azt bizonytani, hogy kzlk brmelyik kett inkongruens m szerint. Ez pedig igaz, hiszen ha volna kztk kett, amelyre
ai + b aj + b (mod m) (ahol i 6 = j) teljeslne, akkor b-t levonva mindkt
oldalbl, azt kapnnk, hogy: ai aj (mod m), ami ellentmondana annak,
hogy eredetileg egymssal inkongruensek voltak az elemek, vagyis hogy teljes
maradkrendszerbl indultunk ki.
Teht egy teljes maradkrendszer minden elemhez hozzadhatjuk
ugyanazt a szmot.
Azt tapasztaltuk teht, hogy a teljes maradkrendszer minden elemt
ugyanazzal a szmmal nvelve ismt teljes maradkrendszert kapunk. Felmerl a krds, hogy vajon mi a helyzet akkor, ha egy m szerinti teljes maradkrendszer minden elemt megszorozzuk egy (egsz) szmmal? Pldul a
10 szerinti 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 teljes maradkrendszer minden elemt
c-vel szorozva a kvetkezket kapjuk (c-t csak kongruencia erejig tekintjk
klnbznek):
114
8. Kongruencia
c=0:
c=1:
c=2:
c=3:
c=4:
c=5:
c=6:
c=7:
c=8:
c=9:
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1,
2,
3,
4,
5,
6,
7,
8,
9,
0,
2,
4,
6,
8,
10,
12,
14,
16,
18,
0,
3,
6,
9,
12,
15,
18,
21,
24,
27,
0,
4,
8,
12,
16,
20,
24,
28,
32,
36,
0,
5,
10,
15,
20,
25,
30,
35,
40,
45,
0,
6,
12,
18,
24,
30,
36,
42,
48,
54,
0,
7,
14,
21,
28,
35,
42,
49,
56,
63,
0,
8,
16,
24,
32,
40,
48,
56,
64,
72,
0
9
18
27
36
45
54
63
72
81
Megllapthatjuk, hogy c = 0, 2, 4, 5, 6, 8 esetben nem kaptunk teljes maradkrendszert, mg c = 1, 3, 7, 9 esetn igen. Ez utbbiak ppen azok a
szorzk, amelyek relatv prmek a 10-hez (vagyis a modulushoz).
Nem nehz meggondolni (a 8.4. Ttel alapjn), hogy modulo 10 olyan c
szorzk esetn kapunk teljes maradkrendszert, amelyek tbbszrsei kztt
mindenfle jegyvgzds elfordul. Hiszen ha (c, 10) = 1, akkor ac bc ( mod
m)-bl kvetkezik, hogy a b (mod m) (s visszafel is teljesl, hogy a
b (mod m)-bk kvetkezik, hogy ac bc (mod m)). (Vagyis a modulushoz
relatv prmmel szorozva a maradkrendszer tagjait, pontosan akkor esik egy
osztlyba kt szorzs utn kapott maradk, ha eredetileg is egybeestek.)
ltalban egy m modulus esetn akkor kapunk egy teljes maradkrendszerbl szorzssal ismt teljes maradkrendszert, ha a c szorz tbbszrsei
kztt az sszes lehetsges m-mel val osztsi maradk elfordul. Ez pedig
azokra a c szmokra teljesl, amelyek relatv prmek a modulushoz.
8.7. Ttel. Ha az a1 , a2 , a3 , . . . , am szmok teljes maradkrendszert alkotnak az m modulus szerint, s c Z-re (c, m) = 1, akkor az
a1 c, a2 c, a3 c, . . . , am c szmok is teljes maradkrendszert alkotnak m szerint.
115
116
8. Kongruencia
117
Az 1 prja az 1, a (1) prja a (1) (ezek szorzata (1)), a tbbi maradkosztlynak ezektl s nmaguktl klnbz az inverze, az ilyen prok
szorzata 1. Teht ha mindet sszeszorozzuk, akkor ppen (1)-et kapunk.
8.6. Definci. Az r1 , r2 , r3 , . . . elemek halmazt ( mod m) reduklt maradkrendszernek nevezzk, ha minden reduklt maradkosztlybl pontosan
egy szerepel kzttk.
Pldul: (mod 10) reduklt maradkrendszerek a kvetkezk:
1, 3, 7, 9
1, 1, 3, 3
1, 11, 27, 107
nem reduklt maradkrendszerek:
1, 2, 3, 4
(sem a 2, sem a 4 nem relatv prm a 10-hez)
1, 3, 7, 9
(az 1 ugyanabbl az osztlybl val, mint a 9)
1, 1, 3
(a 7 osztlya nincsen kpviselve)
http://www.cs.elte.hu/~kfried/algebra1/RemainderSystem.jarEz a
program megadja egy m szmhoz egy reduklt maradkrendszert.
A reduklt maradkrendszer minden eleme reduklt maradkosztlybl
val. gy ha egyszer 4 relatv prmet talltunk a 10-hez, akkor minden reduklt maradkrendszerben 4 elem lesz.
Ezrt vilgos, hogy elemek egy halmaza akkor s csak akkor alkot reduklt
maradkrendszert a 10 modulus szerint, ha
az elemek szma 4,
minden elem relatv prm a 10-hez, s
brmelyik kt elem inkongruens egymssal (mod 10).
ltalban az m modulus szerinti reduklt maradkrendszernek annyi eleme van, ahny reduklt maradkosztly van (mod m); reduklt maradkosztlybl pedig annyi van, ahny elem pldul az 1, 2, . . ., m 1, m teljes
maradkrendszer elemei kzl relatv prm a modulushoz.
8.2. Jells. (m)-mel jelljk a ( mod m) reduklt maradkosztlyok szmt. (Ami nyilvn megegyezik az 1, 2, . . ., m 1, m szmok kzl az m-hez
relatv prmek darabszmval.)
Pldul: (10) = 4, (2) = 1, (9) = 6, (11) = 10, (30) = 8, (31) =
30.
118
8. Kongruencia
Megjegyzs. Azt, hogy egy adott m-hez hogyan lehet kiszmolni (m)
rtkt, egy konkrt pldn szemlltetjk:
Pldul (120) =? Arra vagyunk kvncsiak, hogy az 1, 2, . . ., 118, 119,
120 szmok kzl hny relatv prm a 120-hoz. Nevezzk rossz-nak azokat
a szmokat, amelyek nem relatv prmek a 120-hoz, s szmoljuk ssze, hogy
a fenti 120 darab szm kzl hny rossz. Egy szm akkor lesz rossz, ha
van kzs prmosztja a 120-szal, vagyis
vagy
vagy
119
120
8. Kongruencia
(mod 5)
(mod 6)
(mod 7)
(mod 8)
(mod 9)
(mod 10)
121
122
8. Kongruencia
(mod 11)
9
10
9
10
8
10
7
10
6
10
5
5
10
4
9
3
8
2
7
1
6
6
6
1
7
2
8
3
9
4
10
5
7
7
3
10
6
2
9
5
1
8
4
8
8
5
2
10
7
4
1
9
6
3
9
9
7
5
3
1
10
8
6
4
2
10
10
9
8
7
6
5
4
3
2
1
A fenti mveleti tblzatokat megfigyelve sok rdekessget vehetnk szre, pldul hogy mindegyik tblzat szimmetrikus a ftljra, ezzel is mutatva, hogy a maradkosztlyok szorzsa kommutatv; vagy hogy minden
tblzatban minden sorban s minden oszlopban minden elem pontosan egyszer fordul el stb.
Ha megvizsgljuk, hogy most mely elemek oszti melyeknek, akkor azt
tapasztaljuk, hogy mindegyik mindegyiknek, vagyis a reduklt maradkosztlyok halmazn a szorzs invertlhat mvelet. Ez egyben azt is jelenti
sszevetve korbbi tapasztalatainkkal , hogy ha egy prm modulusra vizsgljuk az sszes (mod p) maradkosztlyt, akkor azok az sszeadsra s a
szorzsra nzve testet alkotnak (hiszen prm modulus esetn a 0 maradkosztly kivtelvel minden maradkosztly reduklt).
Megjegyzs. rdekes krds annak a vizsglata, hogy egy szm hatvnyai mikor milyen maradkot adnak m-mel osztva. Ennek sorn derl ki,
pldul hogy a ngyzetszmok nem vgzdhetnek akrmilyen szmjegyre;
hogy nincs 3k 1 vagy 4k 1 alak ngyzetszm stb.
Az, hogy egy szm hatvnyai milyen maradkokat adnak m-mel osztva,
pusztn attl fgg, hogy maga a szm milyen maradkot ad m-mel osztva.
Ha pldul (mod 10) vizsgljuk egy teljes maradkrendszer elemeinek hatvnyait (mindenhol a legkisebb nem negatv szmmal kpviselve az eredmny
maradkosztlyt), akkor a kvetkezket tapasztaljuk:
ha
akkor
a0
a2 0
a3 0
a4 0
a5 0
..
.
1
1
1
1
1
2
4
8
6
2
3
9
7
1
3
4
6
4
6
4
5
5
5
5
5
6
6
6
6
6
7
9
3
1
7
8
4
2
6
8
9
1
9
1
9
(mod
(mod
(mod
(mod
(mod
10),
10),
10),
10),
10),
123
a0
a2 0
a3 0
a4 0
a5 0
a6 0
a7 0
..
.
1
1
1
1
1
1
1
2
4
1
2
4
1
2
3
2
6
4
5
1
3
4
2
1
4
2
1
4
5
4
6
2
3
1
5
6
1
6
1
6
1
6
(mod 7),
(mod 7)
(mod 7)
(mod 7)
(mod 7)
(mod 7)
(mod 7)
(innentl ismtldik).
Szmos egyb ltalnosthat szrevtel mellett kiolvashat a tblzatbl pldul az, hogy brmelyik a elem hatvnyait is vizsglva, az
a, a2 , a3 , a4 , . . . sorozat minden elemt kicserlve az m-mel val osztsi maradkra, periodikus sorozatot kapunk. Ez persze nem tl meglep, hiszen
m-mel osztva csak vges sok (legfeljebb m fle) maradk fordulhat el, gy
elbb-utbb valamelyik maradk meg fog ismtldni, s ha pldul ax ugyanazt a maradkot adja, mint ay , akkor (ld. pldul 2.9. Ttel) ax+1 maradka
nyilvn megegyezik ay+1 maradkval, ax+2 maradka ay+2 maradkval s
gy tovbb, az els ismtldstl kezdve a maradkok periodikusan ismtldnek.
rdekes krds, hogy mit mondhatunk a peridusok hosszrl. Mint lttuk, ( mod 10) bizonyos elemek esetn (0, 1, 5, 6) 1 a peridushossz, msoknl (4, 9) 2, megint msoknl (2, 3, 7, 8) 4; (mod 7) pedig a peridushossz
az illet elemektl fggen 1 vagy 2 vagy 3 vagy 6.
A 8.1. tblzat tartalmazza, hogy klnbz modulusokkal ksrletezve
milyen peridushosszokat tapasztalhatunk:
szrevehet, hogy az elfordul peridushosszok minden sorban oszti
az ott szerepl legnagyobb peridushossznak, s hogy a legnagyobb peridushossz minden m-re osztja (m)-nek. Vizsgldsunkbl az is kiderl,
hogy prm modulusok esetn minden elemnl tiszta peridikus sorozatot
kapunk, azaz elbb-utbb minden elemnek (a 0 kivtelvel, annak nyilvn
minden hatvnya 0-t ad maradkul) lesz egy olyan hatvnya, ami 1-et ad
maradkul a (prm) modulussal osztva, s ilyenkor a kvetkez hatvnnyal
elrl ismtldik a sorozat. Nem prm modulusok esetn pontosan azoknak
az elemeknek lesz olyan hatvnya, ami 1-et ad maradkul a modulussal osztva, amelyek relatv prmek a modulushoz. (Ez persze a prm modulusokra is
igaz, hiszen pp arrl van sz, hogy prm modulus esetn a 0 maradkosztly
kivtelvel minden maradkosztly reduklt.)
124
8. Kongruencia
modulus:
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
(13)
..
.
elfordul peridushosszok
1
1, 2
1, 2
1, 2, 4
1, 2
1, 2, 3, 6
1, 2
1, 2, 3, 6
1, 2, 4
1, 2, 5, 10
1, 2
1, 2, 3, 4, 6, 12
8.1. tblzat.
szrevteleink kzl elszr azt fogjuk igazolni, hogy ha egy elem relatv
prm a modulushoz, akkor van olyan hatvnya (nevezetesen a (m)-edik
hatvnya pldul ilyen), amely 1-et ad maradkul m-mel osztva.
8.13. Ttel. (Euler kongruenciattele) Ha (a, m) = 1, akkor a(m) 1 (mod m).
Bizonyts. Legyen r1 , r2 , . . ., r(m) egy reduklt maradkrendszer (mod
m). Ekkor (mivel (a, m) = 1) a 8.12. Ttel kvetkeztben az ar1 , ar2 , . . .,
ar(m) is reduklt maradkrendszer lesz ( mod m). A reduklt maradkrendszerekben szerepl elemek szorzata a 8.2. llts rtelmben mindig ugyanabba az osztlyba esik.
r1 r2 . . . r(m) ar1 ar2 . . . ar(m) (mod m),
azaz
r1 r2 . . . r(m) a(m) r1 r2 . . . r(m) (mod m).
Mivel az r1 , r2 , . . ., r(m) elemek mindegyike reduklt maradkosztlybl
val, mindegyik relatv prm a modulushoz, gy a 8.4. Ttel rtelmben oszthatunk velk, teht 1 a(m) (mod m).
Megjegyzs. Knnyen meggondolhat, hogy azoknak az elemeknek,
amelyek nem relatv prmek a modulushoz, semelyik hatvnya nem lehet
1-gyel kongruens (mod m). Ha pldul egy pros szm hatvnyait vizsgljuk (mod 10), akkor nyilvn minden hatvnyuk is pros lesz, s egy pros
szm nem adhat 1-et maradkul 10-zel osztva. (ltalban ha (a, m) = d,
125
126
8. Kongruencia
Feladatok
1. Igazolja, hogy tetszleges n esetn egy n-hez relatv prm differencij
szmtani sorozat n egymst kvet eleme n szerint teljes maradkrendszer. (Vagyis ha (n, d) = 1, akkor ak + d, ak + 2d, . . ., ak + nd teljes
maradkrendszer n szerint.)
2. Igaz-e, hogy tetszleges p prmszmhoz s egy p-hez relatv prm differencij szmtani sorozatban mindig van olyan p 1 egymst kvet
tag, hogy azok p szerint reduklt maradkrendszert alkotnak!
3. Egy szmtani sorozat valamely p 1 egymst kvet eleme reduklt
maradkrendszer p-hez. Mi mondhat el a szmtani sorozat differencijrl?
4. Mi lehet az m szm, ha egy reduklt maradkrendszere: 1, 41, 5, 13.
5. Igazolja, hogy ha a s b pozitv egsz szmok, (a, b) = 1, valamint
c = (a 1)(b 1), akkor minden d c szmhoz van olyan pozitv x
s y, amelyre ax + by = d!
Keressen olyan a, b szmokat, amelyekre nem tallhatk olyan x, y
pozitv egsz szmok, hogy ax + by = c 1!
127
9. fejezet
Lineris kongruencik
Az eddigiekben a kongruenciarelci s az ltala ltrehozott maradkosztlyok legfontosabb tulajdonsgaival foglalkoztunk. Gyakran van szksgnk
arra, hogy ismeretlent vagy ismeretleneket is tartalmaz konguencikkal
dolgozzunk. Ilyenkor az ismeretlen lehetsges rtkeit keressk. A legegyszerbb eset az, amikor egy ismeretlen szerepel, az is az els hatvnyon.
Erre vezet pldul a kvetkez feladat: desanym hrom tortt sttt a szletsnapomra, mindegyiket ugyanannyi szeletre vgta fel. Heten
ugyanannyi szelet tortt ettnk, vgl megmaradt kt szelet. Hny szeletes
lehetett egy torta? (Vagy: Hny szeletet ettnk kln-kln?) Olyan x
szmot keresnk (egy tortn bell a szeletek szma), amelyeknek a hromszorosa (sszesen a szeletek szma) kettt ad maradkul httel osztva, vagyis
olyanokat, amelyeket a 3x 2 (mod 7) nyitott mondatban az x helybe rva igaz lltst kapunk. Az ilyen szmokat a 3x 2 (mod 7) kongruencia
megoldsainak nevezzk. (A msik feladat megoldsa, amikor az elfogyasztott tortaszeletek szmra vagyunk kvncsiak: 7y + 2 oszthat 3-mal, vagyis
7y 2 (mod 3).)
A kvetkezkben az ilyen legegyszerbb tpus, ax b (mod m) alak,
gynevezett lineris kongruencikkal foglalkozunk. Azt szeretnnk tisztzni,
hogy a-tl, b-tl s m-tl fggen mikor van megoldsa a kongruencinak; ha
van, akkor hny megolds van, s hogyan lehet a megoldsokat megtallni.
9.1. Definci. Az ax b (mod m) lineris kongruencia megoldsa az xi
szm, ha teljesl, hogy axi b (mod m).
Pldul:
A 3x 2 (mod 7) kongruencinak mint az knnyen ellenrizhet
megoldsai a 3, 10, 17, 11 stb. szmok. (A kongruencinak minden 7k + 3
128
129
130
9. Lineris kongruencik
Pldul:
A 2x 3 (mod 10) kongruencinak nincs megoldsa (hiszen 2x mindig
pros szm, s pros szm nem adhat pratlan maradkot (3-at) egy pros
szmmal (10-zel) osztva).
A 3x 2 ( mod 10) kongruencinak pontosan egy megoldsa van (hiszen
a 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 teljes maradkrendszer elemei kztt pontosan egy
olyan van (nevezetesen a 4), amelynek a hromszorosa kettt ad maradkul
10-zel osztva).
A 2x 4 ( mod 10) kongruencinak kt megoldsa van (mert a 0, 1, 2, 3,
4, 5, 6, 7, 8, 9 teljes maradkrendszer elemei kztt kt olyan van (nevezetesen
a 2 s a 7), amelynek a ktszerese ngyet ad maradkul 10-zel osztva).
Mint az a fenti pldkbl is ltszik, az ax b (mod m) sszes megoldst megtallhatjuk pldul gy, hogy egy (mod m) teljes maradkrendszer elemeit rendre berjuk az x helybe, s ellenrizzk, hogy kielgtik-e
a kongruencit. Ez azonban nagy modulus vagy nagy egytthatk esetn
hosszadalmas s knyelmetlen szmols lehet, de mg ha ezzel a mdszerrel
szeretnnk dolgozni, akkor is sok munkt megtakarthatnnk azzal, ha elre
tudnnk, hogy hny megoldsra szmtsunk. Ha pldul elre tudjuk, hogy
kt megolds van, akkor amint talltunk kt megoldst, abbahagyhatjuk a
tovbbi elemek ellenrzst, ha pedig elre tudjuk, hogy nincs megolds, akkor bele sem kell fognunk a keressbe. Szerencsre nem nehz szksges s
elgsges felttelt adni a lineris kongruencia megoldsnak ltzsre.
9.1. Ttel. Az ax b (mod m) kongruencinak akkor s csak akkor van
megoldsa, ha (a, m) | b.
Bizonyts. 1. A felttel szksges (vagyis ha van megolds, akkor (a, m) |
b):
Ha van olyan x0 szm, amely megoldsa a kongruencinak, akkor erre az
x0 -ra teljesl, hogy ax0 b (mod m), teht m | ax0 b. Ekkor m minden
osztja, gy (a, m) is osztja az ax0 b klnbsgnek.
Azt is tudjuk, hogy (a, m) | a, s gy (a, m) | ax0 . Emiatt (a, m) | ax0 b
csak gy teljeslhet, ha (a, m) | b.
2. A felttel elgsges (vagyis ha (a, m) | b, akkor ltezik megolds):
A 4.2. Kvetkezmnybl tudjuk, hogy lteznek olyan x s y szmok,
amelyekre (a, m) = ax + my. Ha (a, m) | b, akkor van olyan q szm,
amelyre (a, m)q = b. Ezt felhasznlva: (a, m)q = axq + myq = b, vagyis
myq = b axq. Ezek szerint m | b axq, teht axq b (mod m). Ez
viszont azt jelenti, hogy az xq szm megoldsa a kongruencinak.
131
132
9. Lineris kongruencik
133
Ha egy szm 5-tel osztva 4 maradkot ad, akkor 15k + r alakban rva
5-tel osztva gy adhat 4 maradkot, ha r 4-et ad maradkul 5-tel osztva, s
0 s 14 kztt 3 ilyen szm van: a 4, a 9 s a 15. (Ms lehetsg nincs.)
Vagyis a (mod 5) egyetlen maradkosztlyt jelent megoldsok (mod
15) hrom maradkosztlyt alkotnak, gy az eredeti kongruencinak hrom klnbz megoldsa van: x1 4 (mod 15), x2 9 (mod 15) s
x3 14 (mod 15).
9.3. Ttel. Ha az ax b (mod m) kongruencinak van megoldsa (vagyis
ha (a, m) | b), akkor a megoldsok szma (a, m).
Bizonyts. Legyen a = (a, m)a0 s m = (a, m)m0 , ahol (a0 , m0 ) = 1. Ha
(a, m) | b, akkor b is felrhat b = (a, m)b0 alakban. Ekkor minden olyan
szm, amely kielgti az ax b (mod m) kongruencit (a 8.4. Ttel miatt)
megoldsa az a0 x b0 (mod m0 ) kongruencinak is, s viszont.
Mivel (a0 , m0 ) = 1, az a0 x b0 (mod m0 ) kongruencinak a 9.2. Ttel
rtelmben egyetlen megoldsa van. Nevezzk ezt x0 -nak.
Az x megoldsra ezek szerint x x0 (mod m0 ), s azt szeretnnk tudni,
hogy x milyen maradkot adhat m-mel osztva. Ezrt x-et my + r alakban
keressk. Ez m0 -vel osztva csak akkor adhat x0 maradkot, ha r ad x0 maradkot m0 -vel osztva, hiszen m0 | m. A 0, 1, 2, . . . , m 1 maradkosztlyok
kzl ennek eleget tesz az x0 , az x0 + m0 , az x0 + 2m0 stb., sszessgben az
x0 + km0 , ahol k = 0, 1, . . . , (m, a) 1. (Hiszen (m, a)m0 mr m-mel lenne
egyenl, ez azonban nincs a keressben felsorolt maradkosztlyok kztt.)
Ha beltjuk, hogy pontosan ezek a megoldsok, akkor ebbl az is ltszik,
hogy megoldsknt m0 darab maradkosztlyt kaptunk.
Megmutatjuk, hogy ha (a, m) = d, akkor az x0 , x0 + m0 , x0 + 2m0 , x0 +
0
0 + (d 1)m szmok kzl brmelyik kett inkongruens (mod
m), viszont mind megoldsa az a0 x b0 (mod m0 ) s az ax b (mod m)
kongruencinak.
3m0 , . . . , x
134
9. Lineris kongruencik
135
A birkk szma (ezt keressk) olyan szm, amely 2-vel osztva 1-et, 3-mal
osztva 2-t, 4-gyel osztva 3-at, 5-tel osztva 4-et ad maradkul:
x 1 (mod 2),
x 2 (mod 3),
x 3 (mod 4),
x 4 (mod 5).
9.4. Definci. Az olyan kongruenciarendszert, amelynek kzs megoldst
keressk, szimultn kongruenciarendszernek nevezzk.
Egy lehetsges megoldsi menet, hogy megoldjuk az els kongruencit,
majd a megoldsknt kapott maradkosztly(ok)on megoldjuk a msodikat,
majd a kapott maradkosztly(ok)on a harmadikat, vgl a kapott maradkosztly(ok)on a negyediket is megoldjuk.
Az els kongruencia megoldsa a 2k1 + 1 alak szmok, pl. 1, 3, 5, 7, 9,
11, . . . (egy 2 differencij szmtani sorozat).
A msodik kongruencia megoldsai a 3k2 + 2 alak szmok, az elzek
kzl az 5, 11, 17, 23, 29, 35, . . . (egy 6 differencij szmtani sorozat).
A harmadik kongruencia megoldsai a 4k3 + 3 alak szmok, az imntiek
kzl a 11, 23, 35, 47, 59, . . . (egy 12 differencij szmtani sorozat).
Vgl a negyedik kongruencia megoldsai az 5k4 + 4 alak szmok, az
elzek kzl az 59, 119, . . . (egy 60 differencij szmtani sorozat).
A legutols sorozat elemei lehetnek megoldsok. (Ezek kzl azonban egy
sem esik 300 s 350 kz, 299 s 359 tagjai a sorozatnak.)
(A feladat trkks megoldsa az, hogy adunk a psztornak mg egy birkt, gy a birkk szma oszthat lesz 2-vel, 3-mal, 4-gyel s 5-tel is vgs
soron 60-nal , teht a birkk szma eredetileg 60k 1 alak.)
Az is lehet, hogy nem a fenti maradkokat adja a birkk szma, hanem:
x 1 (mod 2),
(9.1)
x 1 (mod 3),
(9.2)
x 2 (mod 4),
(9.3)
x 2 (mod 5).
(9.4)
136
9. Lineris kongruencik
137
9.4. Ttel. (Knai maradkttel) Ha egy szimultn lineris kongruenciarendszerben a szerepl kongruencik redukltak (a modulusok relatv prmek x egytthatjhoz), a modulusok pronknt relatv prmek, akkor a kongruenciarendszer megoldhat. A megolds a modulusok szorzata mint modulus
szerint egyetlen maradkosztly.
Bizonyts. A kongruencik mindegyike megoldhat, mert mindegyik reduklt. A kongruencikat egyesvel megoldjuk, s felrjuk a megoldsukat:
x b1
(mod m1 )
x b2
(mod m2 )
x b3
..
.
(mod m3 )
(mod mn )
138
9. Lineris kongruencik
Feladatok
1. llaptsa meg, hogy a kvetkez kongruencik kzl melyek megoldhatk. Amelyek igen, azokat oldja is meg!
3x 14
(mod 4)
4x 14
(mod 11)
2 465 746x 14
(mod 3)
2 465 746x 3
(mod 14)
4x 2 465 746
(mod 45)
2. Ismert trfs feladat a kvetkez (egyes forrsok szerint P. A. M. Dirac Nobel-djas angol fizikus feladata): Ht ember elmegy kkuszdit
gyjteni. Tallnak is j sokat, de rjuk esteledik, gy az osztozkodst
reggelre hagyva lefekszenek aludni. jszaka egyikk felbred, s nem bzvn a trsaiban egymaga kvnja 7 rszre osztani a di-kupacot. Ezt 1
maradkkal meg is tudja tenni. Az egyheted rszt eldugja, a maradkot
a fa tetejn figyel majomnak dobja, s visszafekszik aludni. Az jszaka sorn mind a 6 trsa egyms utn ugyangy jr el (mindig 1 di
marad), s reggel mintha jszaka mi sem trtnt volna kzsen is elosztjk a kupacot (s az 1 maradkot a majomnak adjk). Legalbb hny
dit gyjtttek sszesen? Oldja meg! (Forrs: Kzpiskolai Matematika
Lapok)
3. Vizsglja meg, hogy a kvetkez szimultn kongruencik kzl melyek
megoldhatk! Amelyek igen, azokat oldja is meg!
7x 3
(mod 8)
3x 11
(mod 3)
7x 8
(mod 3)
11x 3
(mod 8)
15x 3
(mod 5)
15x 5
(mod 3)
10. fejezet
140
Megjegyzs. A ktismeretlenes lineris diofantoszi egyenlet talakthat egyismeretlenes lineris kongruenciv (ktflekppen is), s minden line-
141
ris kongruencia talakthat ktismeretlenes lineris diofantoszi egyenlett. Keressk ugyanis az ax b (mod m) kongruencia megoldsait. Ekkor
fennll, hogy m | ax b, vagyis ltezik olyan szm (jellje y), amelyre
m (y) = ax b, teht az ax + my = b ktismeretlenes lineris diofantoszi egyenlet megoldsait keressk. (Persze konkrtan ebben az esetben elssorban x-et.) A jells egysgessge rdekben a ktismeretlenes lineris
diofantoszi egyenletet a kvetkezkben ax + my = b alakban fogjuk felrni.
A ktismeretlenes lineris diofantoszi egyenletek s a lineris kongruencik kztti szoros rokonsg egyben mdszereket is jelent szmunkra az
ax + my = b egyenlet megoldshoz:
1. mdszer: Tekintsk az ax b ( mod m) lineris kongruencit. Ennek
megkereshetjk az sszes megoldst pldul gy, hogy a 0, 1, 2, . . ., m 1
teljes maradkrendszer elemeit rendre behelyettestjk, s kivlasztjuk azokat, amelyek kielgtik a kongruencit. Ha valamelyik xi {0, 1, 2, . . . , m1}
szm megoldsa a kongruencinak, akkor az sszes xi + km alak szm is
megoldsa. Minden olyan x0 szm esetn, ahol x0 megoldsa a kongruencib ax0
nak, az (x0 ,
) szmpr megoldsa a diofantoszi egyenletnek.
m
2. mdszer: Az ax + my = b diofantoszi egyenlet egy megoldst
a lineris kongruenciknl ltottakhoz hasonlan az euklideszi algoritmus
segtsgvel is megtallhatjuk. Legyen (a, m) = d. Ha d | b (csak ilyenkor van
megolds), akkor b felrhat b = b0 d alakban. Tudjuk (4.2. Kvetkezmny),
hogy d elllthat a s m lineris kombincijaknt, keressk meg azt az
x0 -t s y 0 -t, amelyre d = ax0 + my 0 . Erre az x0 -re s y 0 -re teljesl, hogy
b = b0 d = ax0 b0 +my 0 b0 , amibl ltszik, hogy az (x0 b0 , y 0 b0 ) szmpr megoldsa
az egyenletnek.
3. mdszer: Az ax b (mod m) lineris kongruencit gy is megoldhatjuk, hogy a s m legnagyobb kzs osztjval osztva visszavezeta
b
jk az a0 x b0 (mod m0 ) kongruencira, ahol a0 =
, b0 =
,
(a, m)
(a, m)
m
m0 =
. Ebben a kongruenciban (a0 , m0 ) = 1, gy a 9.2. Ttel rtel(a, m)
mben minden olyan x0 szm megoldsa, amelyre x0 a(m)1 b (mod m).
b ax0
) szmpr megoldsa a diofanBrmelyik ilyen x0 szm esetn az (x0 ,
m
toszi egyenletnek.
A ktismeretlenes lineris diofantoszi egyenletet nemcsak a kongruencira visszavezetve tudjuk megoldani. Merben heurisztikusan magunk is ki
tudunk gondolni egy lehetsges megoldst. Lssunk egy konkrt pldt erre.
80x + 120y = 1000
142
Az egyenlet nyilvn ekvivalens a kvetkezvel (osztunk az egytthatk legnagyobb kzs osztjval, 40-nel):
2x + 3y = 25
Fejezzk ki az egyenletbl x-et (ltalban a kisebb abszolt rtk egytthatval rendelkez ismeretlent):
x=
3y + 25
2
y+1
2
b my
.
a
aq1 + r1 (aq2 + r2 )y
r1 r2 y
= q1 q2 y +
.
a
a
143
r1 r2 y
Akkor s csak akkor kapunk egsz megoldst x-re, ha
= k egsz
a
szm, vagyis ha lteznek olyan k s y egsz szmok, amelyek megoldsai az
ak + r2 = r1
ktismeretlenes lineris diofantoszi egyenletnek.
Ezzel eredeti egyenletnket visszavezettk egy olyanra, amelyben a nagyobb abszolt rtk egytthat abszolt rtke kisebb, mint az eredeti
egyenlet nagyobb abszolt rtk egytthatj (r1 < |a| < |m| miatt). Ezt
az eljrst folytatva elbb-utbb eljutunk egy olyan egyenlethez, amelyben
mr valamelyik ismeretlen egytthatja 1 lesz, s innen kezdve egyenletrl egyenletre visszahelyettestve a megoldsokat kaphatjuk meg az eredeti
egyenlet megoldsait.
10.1. Megjegyzs. A fenti levezetst mskpp is vgigvihetjk. Nem kell
felttlenl felrni a trteket. Nzzk meg a gondolatmenetet egy konkrt
pldn. 54x + 21y = 24. A kiindul egyenletben feltettk, hogy (a, m) | b.
Ha (a, m) > 1, akkor oszthatunk vele. Ez a 3, osszunk vele: 18x + 7y = 8.
A 18-at maradkosan osztjuk 7-tel: (2 7 + 4)x + 7y = 8, trendezve:
7 (2x + y) + 4x = 8. Jelljk y1 -gyel (2x + y)-t. Ekkor 4x + 7y1 = 8. (Mris
kaptunk egy olyan egyenletet, amelynek az egytthati abszolt rtkben
kisebbek, mint az eredeti egyenlet egytthati.)
Most maradkosan osztjuk a 7-et 4-gyel. (4 + 3)y1 + 4x = 8, trendezve:
4(y1 + x) + 3y1 = 8. Jelljk x1 -gyel (y1 + x)-et. Ekkor 4x1 + 3y1 = 8. (Mr
ltunk egy nyilvnval megoldst: x1 = 2, y1 = 0, de folytassuk tovbb az
eljrst, mert mskor nem biztos, hogy ilyen szerencssek lesznk.)
Maradkosan osztjuk a 4-et 3-mal. (3 + 1)x1 + 3y1 = 8, trendezve:
3(x1 + y1 ) + x1 = 8. Jelljk y2 -vel (x1 + y1 )-et. Ekkor x1 + 3y2 = 8. Mivel
az egytthatk relatv prmek voltak, elbb-utbb az egyik egytthat 1
lesz. Az ehhez az egytthathoz tartoz ismeretlent b-nek, a msikat 0-nak
vlasztva megoldst kapunk: y2 = 0, x1 = 8.
Ebbl y2 = x1 +y1 miatt y1 = 8. Ezek utn x1 = y1 +x alapjn x = 16.
Mivel y1 = 2x + y volt, gy y = 40. Vagyis kaptunk egy megoldst.
A mdszert egy konkrt pldn szemllteti a 10.1. bra animcija.
10.2. Megjegyzs. rjuk fel a
18
trtet lnctrt alakban:
7
18
4
1
1
=2+ =2+ 7 =2+
7
7
1
+
4
3
4
=2+
1
1+
1
4
3
=2+
1
1+
1
1+ 31
144
8x
3y
= 5
Azt tapasztaljuk, hogy itt minden trt a 10.1. Megjegyzsben szerepl egyenlet egytthatbl tevdik ssze. (18 s 7, 4 s 7, 4 s 3, 1 s 3. Azrt ebben
a sorrendben rjuk a prokat, mert az egyik egytthat a kisebbik vltozatlan marad.)
Semmi meglep nincs ebben, mert mindkt eljrs alapja az euklideszi
algoritmus.
Megoldsi mdszereink egy rsze nem vagy nem felttlenl szolgltatja az sszes megoldst, gy hasznos lenne, hogy ha egy megtallt megoldsbl
tbbet, esetleg mindet meg tudnnk hatrozni.
Vegyk szre, hogy ha az eredeti egyenletben (ax + my = b) az ax-et
ugyanannyival nveljk, mint amennyivel az my-t cskkentjk, akkor tovbbra is fennll az egyenlsg. Ha azt is tudjuk garantlni, hogy a hozzadott s
levont szm a-val s m-mel is oszthat (pldul maga am), akkor az x0 , y0
megoldshoz egy jabb megoldst kapunk: b = ax0 + am + my0 am =
a(x0 + m) + m(y0 a), azaz x1 = x0 + m s y1 = y0 a szintn megoldsok.
Ez a gondolat ll amgtt, hogy mit mondhatunk ltalban:
10.3. Ttel. Ha az (x0 , y0 ) szmpr megoldsa az ax + my = b diofantoszi
egyenletnek, akkor tetszleges k egsz szm esetn az
m
a
x0 + k
, y0 k
(10.1)
(a, m)
(a, m)
szmpr is megolds, s az sszes megolds felrhat ilyen alakban.
145
a
m
(x0 x0 ) =
(y0 y 0 ).
(a, m)
(a, m)
a
m
,
= 1, az elbbi egyenlsg csak gy
Felhasznlva, hogy
(a, m) (a, m)
lehetsges, ha
m
| (x0 x0 )
(a, m)
a
| (y0 y 0 ),
(a, m)
146
a
k2 = (y0 y 0 ),
(a, m)
m
k1
(a, m)
y 0 = y0
azaz
x0 = x0 +
a
k2 .
(a, m)
m
a
(x0 x0 ) =
(y0 y 0 ) egyenlsgbe x0 s y 0
(a, m)
(a, m)
imnt nyert alakjt, ezt kapjuk:
m
m
a
a
x0 +
y0 y0 +
k1 x0 =
k2 .
(a, m)
(a, m)
(a, m)
(a, m)
Behelyettestve az
Ebbl:
m
a
k1 =
k2 ,
(a, m)
(a, m)
147
148
149
Feladatok
1. rja t a 2x 5 (mod 9) kongruencit lineris diofantoszi egyenlet
alakba, majd rja fel azt a msik kongruencit, amelyre ezen kvl
mg trhat! Oldja meg a kongruencikat! Oldja meg a diofantoszi
egyenletet!
2. Az egyik busz indtsi idejrl a kvetke iformcikat olvashatjuk:
Minden rban indul busz. A kvetsi id 7-8 perc, amit gy kell rteni,
hogy 7 vagy 8 perc elteltvel indtjk a kvetkez buszt.
Egy rn bell milyen busz indtsi idpontok lehetnek? Keresse meg
az sszes lehetsget!
3. Egy patakbl egy 8 s egy 5 literes rtartalm edny segtsgvel ki
szeretnnk mrni 2 l vizet.
rjon fel a feladatra kongruencit, diofantoszi egyenletet, oldja meg
ezeket, illetve keressen intuitv megoldst!
4. Oldja meg a 3x + 4y + 5z = 6 diofantoszi egyenletet!
11. fejezet
(11.1)
(hromismeretlenes, msodfok) diofantoszi egyenlet pozitv (egsz) megoldsait pitagoraszi szmhrmasoknak nevezzk.
Pldul: 3, 4, 5;
6, 8, 10;
5, 12, 13
Megjegyzs. Mint ezt a nv is tkrzi, ezek olyan szmhrmasok, amelyek tagjai egsz szmok, s amennyiben ezek egy hromszg oldalhosszai,
akkor az gy megadott oldalhosszsgokbl szerkeszthet hromszg derkszg:
x 2 + y2 = z2
z
11.1. bra. x, y, z N
151
1.
Ha x0 , y0 , z0 megolds, akkor x20 = z02 y02 , y02 = z02 x20 , z02 = x20 +y02 , gy
ha brmelyik jobb oldali kifejezsben is van 1-nl nagyobb kzs osztja a kt
tagnak, akkor van kzs prmosztja is, s ez a bal oldali tagnak is osztja.
Mrpedig egy szmnak s ngyzetnek pontosan ugyanazok a prmoszti.
Teht akrmelyik kt tagnak is van kzs prmosztja, az a harmadik tagnak
is osztja.
Ebbl mr az is kvetkezik, hogy nem lehet mind a hrom szm pros.
2. Beltjuk, hogy a hrom szmbl pontosan egy lehet pros. (Ismt felhasznljuk: egy szm pontosan akkor oszthat 2-vel vagyis pros , amikor
a ngyzete.)
Nyilvn kizrt, hogy kt pros van kztk, mert ezeknek akr sszege,
akr klnbsge a harmadik, az is pros lenne. Az is kizrt, hogy mindegyik
pratlan, mert kt pratlan szm sszege s klnbsge is pros. gy csak az
lehet, hogy egy pros s kt pratlan van kztk.
3. Megmutatjuk, hogy nem lehet a z0 a pros szm kzlk.
Ekkor ugyanis x0 is s y0 is pratlan lenne, mondjuk x0 = 2a + 1, y0 =
2b + 1. A ngyzetsszegk ekkor:
x20 + y02 = (2a + 1)2 + (2b + 1)2 = 4 (a2 + a + b2 + b) +2
|
{z
}
k
152
.
4
4
2
2
z0 y0
z 0 + y0
Megmutatjuk, hogy
s
relatv prmek.
2
2
Kt szm legnagyobb kzs osztja tetszleges lineris kombincijuknak
is osztja (hiszen ha u s v oszthat d-vel, akkor ru + sv is oszthat d-vel
persze jabb osztk bejhetnek). A kt szm egyik lineris kombincija
lehet az sszegk: z0 , a msik pedig a klnbsgk: y0 : (z0 , y0 ) = 1 Mivel a
lineris kombincik legnagyobb kzs osztja 1, gy az eredeti szmoknak
is csak 1 lehet a legnagyobb kzs osztja.
Ha egy ngyzetszmot kt egymssal relatv prm szorzatra bontjuk,
akkor azok is ngyzetszmok lesznek. (A ngyzetszm prmtnyezit ktfel
osztjuk, ezek kitevje pros, gy a tnyezkben is pros lesz a prmtnyezk
kitevje.) Ezrt
x20 x0 2
z0 y0
z 0 + y0
=
=
4
2
2
2
z0 y0
z 0 + y0
= n2 s
= m2 valamilyen n, m egsz szmokra, ahol
2
2
nyilvn m > n, s (m2 , n2 ) = 1 miatt (m, n) = 1.
miatt
Ezt felhasznlva:
x0 (vagy y0 ) = 2mn
y0 (vagy x0 ) = m2 n2
z 0 = m 2 + n2
addik (m > n, (m, n) = 1, s pontosan az egyik, nevezetesen a 2mn pros).
Az alapmegoldsok teht csak ilyen alakak lehetnek.
5. Legyen most x0 , y0 s z0 a fenti alak. Bebizonytjuk, hogy ez a szmhrmas alapmegolds.
Behelyettestssel megmutatjuk, hogy tetszleges m s n egsz szmok
esetn az ilyen alak szmok megoldsai az egyenletnek:
(m2 n2 )2 + (2mn)2 = m4 2m2 n2 + n4 + 4m2 n2 =
153
= m4 + 2m2 n2 + n4 = (m2 + n2 )2 .
Meg kell mg mutatnunk, hogy ha m s n kzl pontosan az egyik pros,
akkor a fentiek valban alapmegoldsok, vagyis relatv prmek.
Mint azt a 4. lpsben lttuk, (m2 n2 , m2 + n2 ) | 2(m2 , n2 ) = 2 (mert
(m, n) = 1), teht legfeljebb 2 lehetne a hrom szm kzs osztja. m n
s m kzl pontosan az egyik pros, teht sem m2 n2 , sem m2 + n2 nem
oszthat 2-vel. gy ezek a szmok relatv prmek.
Teht pontosan a fenti alak szmok az alapmegoldsok.
Megjegyzs. A ttelbl nyilvnvalan kvetkezik, hogy vgtelen sok
alapmegolds van; tetszleges n-hez vgtelen sok olyan m-et tallhatunk,
amely nagyobb nla, ellenkez parits, s relatv prm hozz, s minden
ilyen n, m szmprhoz tartozik egy alapmegolds.
Pldul:
n
m
x0 = 2mn
y0 = m 2 n 2
z0 = m2 + n2
1
2
4
3
5
1
4
8
15
17
1
6
12
35
37
...
...
...
...
...
2
3
12
5
13
2
3
20
21
29
...
...
...
...
...
3
4
24
7
25
...
...
...
...
...
A nagy Fermat-ttel
Mint az elzekben lttuk, az x2 + y 2 = z 2 diofantoszi egyenletnek vgtelen
sok megoldsa van. Felmerl a krds, hogy mi a helyzet ms kitevk esetn,
azaz n-tl fggen mit mondhatunk az xn + y n = z n egyenlet megoldhatsgrl.
Nyilvnvalan lteznek gynevezett trivilis megoldsok; minden n-re
megolds pldul a (0, 0, 0) szmhrmas, illetve tetszleges x0 egsz esetn az x0 = z0 , y0 = 0 szmhrmas, pratlan n-re az (1, 1, 0) stb. Fermat
sejtse (amelyet mintegy 400 v elteltvel, vatos becslsek szerint legalbb
7 ves kemny munkval, hatalmas matematikai eszkztr felvonultatsval
Andrew Wiles eredetileg tbb mint 1000 oldalon bizonytott be) a kvetkez
volt:
154
x2
k2
4
k2 4 k2 4
+ y2
= z2
,
Waring-fle problmakr
Prbljuk meg a pozitv egsz szmokat a lehet legkevesebb ngyzetszm
sszegeknt ellltani:
1 = 12
2 = 12 + 12
3 = 12 + 12 + 12
4 = 22
5 = 22 + 12
6 = 22 + 12 + 12
7 = 22 + 12 + 12 + 12
8 = 22 + 22
9 = 32
10 = 32 + 12
11 = 32 + 12 + 12
12 = 22 + 22 + 22
13 = 32 + 22
14 = 32 + 22 + 12
15 = 32 + 22 + 12 + 12
16 = 42
17 = 42 + 12
19 = 32 + 32 + 12
20 = 42 + 22
18 = 32 + 32
..
.
155
Az nyilvnval, hogy tetszleges n pozitv egsz szm elllthat ngyzetszmok sszegeknt, hiszen ha mskpp nem n db 1-es sszegeknt mindenkpp elll. rdekes krds (akr ragaszkodunk ahhoz, hogy a lehet legkevesebb ngyzetszm sszegeknt rjuk fel a szmokat, akr nem), hogy melyik
szmot hnyflekppen tudom ellltani ngyzetszmok sszegeknt; hogy
ehhez fggen a szmtl mikor hny ngyzetszmra van szksg; van-e
egy olyan n-tl fggetlen g darabszm, amelyrl elmondhatjuk, hogy g darab ngyzetszm sszegeknt minden (pozitv egsz) szm elllthat; hogy
mi a helyzet akkor, ha nem ngyzetszmok, hanem kbszmok, negyedik
hatvnyok stb. sszegeknt szeretnnk ellltani a szmokat.
Az albbiakban bizonyts nlkl ismertetnk nhny eredmnyt.
Elszr tisztzzuk, hogy milyen felttel mellett rhat fel egy termszetes
szm kt ngyzetszm sszegeknt.
11.3. Ttel. (Fermat kt ngyzetszm ttele) Az n = x2 + y 2 diofantoszi egyenlet akkor s csak akkor oldhat meg a nemnegatv egsz szmok
halmazn, ha az n kanonikus alakjban minden 4k 1 alak prmtnyez
pros hatvnyon szerepel.
Pldul: A 20 s 100 kztti szmok kzl a kvetkezk llnak el legfeljebb kt ngyzetszm sszegeknt:
25 = 52 ,
26 = 52 + 12 ,
29 = 52 + 22 ,
32 = 42 + 42 ,
34 = 52 + 32 ,
36 = 62 ,
37 = 62 + 12 ,
40 = 62 + 22 ,
41 = 52 + 42 ,
45 = 62 + 32 ,
49 = 72 ,
50 = 52 + 52 ,
52 = 62 + 42 ,
53 = 72 + 22 ,
58 = 72 + 32 ,
61 = 62 + 52 ,
64 = 82 ,
65 = 82 + 12 ,
68 = 82 + 22 ,
72 = 62 + 62 ,
73 = 82 + 32 ,
74 = 72 + 52 ,
80 = 82 + 42 ,
81 = 92 ,
82 = 92 + 12 ,
85 = 92 + 22 ,
89 = 82 + 52 ,
90 = 92 + 32 ,
97 = 92 + 42 ,
98 = 72 + 72 .
156
xy1 x1 y xy xy 0 (mod t)
=
p
t2
t
t
t
u2 + v 2 =
x21 + y12
. Mr csak
t
157
158
159
Pldul: Azok a 20 s 100 kztti szmok, amelyek legfeljebb kt ngyzetszm sszegeknt nem llnak el, de hrom ngyzetszm sszegeknt elllnak, a kvetkezk:
21 = 42 + 22 + 12 ,
22 = 32 + 32 + 22 ,
24 = 42 + 22 + 22 ,
27 = 52 + 12 + 12 ,
30 = 52 + 22 + 12 ,
33 = 52 + 22 + 22 ,
35 = 52 + 32 + 12 ,
38 = 52 + 32 + 22 ,
42 = 52 + 42 + 12 ,
43 = 52 + 32 + 32 ,
44 = 62 + 22 + 22 ,
46 = 62 + 32 + 12 ,
48 = 42 + 42 + 42 ,
51 = 52 + 52 + 12 ,
54 = 72 + 22 + 12 ,
56 = 62 + 42 + 22 ,
57 = 72 + 22 + 22 ,
59 = 52 + 52 + 32 ,
62 = 62 + 52 + 12 ,
66 = 82 + 12 + 12 ,
67 = 72 + 32 + 32 ,
69 = 82 + 22 + 12 ,
70 = 62 + 52 + 32 ,
75 = 52 + 52 + 52 ,
76 = 62 + 62 + 22 ,
77 = 82 + 32 + 22 ,
78 = 72 + 52 + 22 ,
83 = 92 + 12 + 12 ,
84 = 82 + 42 + 22 ,
86 = 92 + 22 + 12 ,
88 = 62 + 62 + 42 ,
91 = 92 + 32 + 12 ,
93 = 82 + 52 + 22 ,
94 = 92 + 32 + 22 ,
96 = 82 + 42 + 42 ,
99 = 92 + 32 + 32 .
28 = 32 + 32 + 32 + 12 ,
31 = 32 + 32 + 32 + 22 ,
39 = 62 + 12 + 12 + 12 ,
47 = 52 + 32 + 32 + 22 ,
55 = 52 + 52 + 22 + 12 ,
60 = 72 + 32 + 12 + 12 ,
63 = 72 + 32 + 22 + 12 ,
71 = 72 + 32 + 32 + 22 ,
79 = 52 + 52 + 52 + 22 ,
87 = 72 + 52 + 32 + 22 ,
92 = 72 + 52 + 32 + 32 ,
95 = 72 + 62 + 32 + 12 .
Megjegyzs. A fenti pldkban szerepl szmok nagy rsze nemcsak
egyflekppen ll el, pldul
99 = 92 + 32 + 32 = 72 + 72 + 12
95 = 72 + 62 + 32 + 12 = 92 + 32 + 22 + 12 .
160
hogy minden pozitv egsz elll legfeljebb g(k) darab k-adik hatvny sszegeknt?
A fentiekbl tudjuk, hogy k = 2 esetn ltezik ilyen szm, mgpedig
g(2) = 4. Hilbert (nmet matematikus 18621943) 1909-ben bizonytotta,
hogy tetszleges k esetn van ilyen g(k) szm.
Pell-egyenletek
Szmos szmelmleti problma visszavezethet egy x2 dy 2 = 1 tpus
egyenlet (d egy adott konstans) megoldsainak keressre. Az ilyen alak
diofantoszi egyenleteket nevezik Pell-fle egyenleteknek.
Ha d negatv vagy ha d pozitv ngyzetszm, akkor csak nhny (s trivilis) megoldsa van az egyenletnek:
Ha d 2, akkor d 2, gy x2 dy 2 x2 +2y 2 , ezrt az egyenletnek
ilyenkor csak az (1, 0) s a (1, 0) szmpr megoldsa.
Ha d = 1, akkor az x2 + y 2 = 1 egyenletet kapjuk, amelynek sszes
megoldsa: (1, 0), (1, 0), (0, 1), (0, 1).
Ha d = k 2 , akkor az x2 k 2 y 2 = (xky)(x+ky) = 1 egyenletet kapjuk.
Mivel kt egsz szm szorzata csak gy lehet 1, ha vagy mindkett 1,
vagy mindkett 1, (xky) = (x+ky) = 1 vagy (xky) = (x+ky) =
1. Ha d 6 = 0 (s gy k sem), akkor az els esetben az (1, 0), a msodik
esetben a (1, 0) szmpr a megolds.
A d = 0 esetben nyilvn vgtelen sok megolds van, ilyenkor x = 1, y
pedig tetszleges szm lehet.
Azokban az esetekben, amikor d > 1 s d nem ngyzetszm, igaz a kvetkez ttel (amelyet bizonyts nlkl kzlnk):
11.6. Ttel. Ha d > 1 s d 6 = k 2 , akkor az x2 dy 2 = 1 diofantoszi egyenletnek vgtelen sok megoldsa van.
161
krdsek sorn pldul az utbbi ttel esetben msodrend grbkre illeszked rcspontokat keresnk. Hasonl volt az eset a Nagy Fermat-ttel
esetben is. A matematiknak azt az gt, amelynek segtsgvel megvlaszoltk ezt a krdst, algebrai geometrinak nevezzk. Ez a matematiknak
egy fiatal, nagyon mly, sokfle matematika diszciplnhoz kapcsold ga.
Feladatok
1. Egy tepsi stemnyt egybevg tglalap alap darabokra szeletelnk az
edny szlvel prhuzamos vgsokkal. A szln lv szeletek szma a
bels szeletek szmnak fele. Hny szeletre vghattuk fel a stemnyt?
2. Keressen olyan pitagoraszi szmhrmasokat, amelynek szmai szmtani sorozatot alkotnak!
Van-e olyan pitagoraszi szmhrmas, amelynek szmai mrtani sorozatot alkotnak?
3. Igazolja, hogy minden pitagoraszi szmhrmas szmai kztt van legalbb egy 3-mal oszthat szm! (Mondja meg, hogy milyen esetben
lehet tbb is?)
Igazolja, hogy a 3-mal oszthat szm nem lehet a legnagyobb!
Igazolja, hogy minden pitagoraszi szmhrmas szmai kztt van legalbb egy 5-tel oszthat szm! (Mondja meg, hogy milyen esetben lehet
tbb is?)
Lehet-e az 5-tel oszthat szm a legnagyobb?
Igazolja, hogy a pitagoraszi szmhrmasok szmaira a 2-n, 3-on, 5n kvl ms szmmal val az elzekhez hasonl oszthatsgot nem
lehet megmutatni!
2
-et kt 1 szmllj trt sszegeknt! (Minden lehetsges m7
3
don!) Felrhat-e kt 1 szmllj trt sszegeknt?
7
4. rja fel
12. fejezet
Szmelmleti fggvnyek
12.1. Definci. A pozitv egsz szmok halmazn rtelmezett fggvnyeket szmelmleti fggvnyeknek nevezzk.
Pldul:
(1) f0 : n 7 0 (az azonosan 0 fggvny) (12.1. bra)
y
5
1
0
10
k
P
ai (minden szmhoz
i=0
163
10
0
10
10 000
1000
0
5 10
100
5
0
164
10
1
0
10
50
100
(8) (n) : n 7
di |n
165
300
200
100
10
0
10
50
100
(9) n 7 (n) (minden szmhoz hozzrendeljk a nla nem nagyobb szmok kztt a hozz relatv prmek darabszmt) (12.9. bra)
http://www.cs.elte.hu/~kfried/algebra1/Phi.jarEz a program
megadja egy n szmhoz a (n) rtket.
y
100
50
10
0
10
50
100
166
http://www.cs.elte.hu/~kfried/algebra1/PrimeDividors.jarEz a
program megadja egy n szm kanonikus alakjban szerepl prmek szmt.
y
10
50
100
(11) n = p11 p2 2 . . . pk k , (n) : n 7 k (minden szmhoz hozzrendeljk klnbz prmtnyezinek szmt) (12.11. bra)
http://www.cs.elte.hu/~kfried/algebra1/PrimeDividors2.jarEz
a program megadja egy n szm kanonikus alakjban szerepl klnbz prmtnyezk szmt.
y
5
10
50
100
1
(12) (n) = (1)r
0
(12.12. bra)
ha n = 1
ha n = p1 p2 . . . pr , ahol pi 6 = pj (Moebius-fggvny)
egybknt
167
10
50
100
1
0
10
50
100
Ha az f (ab) = f (a)f (b) sszefggs nemcsak a relatv prm, hanem tetszleges a, b szmokra teljesl, akkor az f (n) fggvny totlisan multiplikatv.
Multiplikatv
an multiplikat
talis
v
o
T
168
Megjegyzs. A definci szerint gy tnik, mintha a multiplikativitshoz egy tovbbi felttelt kellene kielgtenk a szmproknak a totlis
multiplikativitshoz kpest, azonban ppen ellenkezleg: egy megszortst
(f (ab) = f (a)f (b)) kell kevesebb elemnek teljestenie a nem totlisan multiplikatv fggvnyeknek.
12.3. Definci. Az f (n) szmelmleti fggvny additv, ha minden (a, b) =
1 szmprra f (ab) = f (a) + f (b).
Ha az f (ab) = f (a) + f (b) sszefggs nemcsak a relatv prm, hanem
minden a, b szmprra teljesl, akkor az f (n) fggvny totlisan additv.
12.2. llts. Minden totlisan additv fggvny additv is.
Additv
an additv
talis
o
T
169
170
Ugyanakkor
ab = p1 1 p2 2 . . . pk k q11 q22 . . . qll .
Ha most (a, b) = 1, akkor pi 6 = qj , gy
d(ab) = (1 + 1)(2 + 1) . . . (k + 1)(1 + 1)(2 + 1) . . . (l + 1) =
= d(a)d(b),
teht valban multiplikatv.
(8) (n): Ha (a, b) = 1, akkor a 6.8. Ttel rtelmben az ab szorzat
tetszleges d osztja elll a0 b0 alakban, ahol a0 | a s b0 | b. Ekkor az ab
szorzat osztinak sszege:
XX
X X
(ab) =
ai bj =
ai
bj = (a)(b),
ai |a bj |b
ai |a
bj |b
171
0a:
a2a:
2a3a:
..
.
(b 1)aba:
r1
a + r1
2a + r1
..
.
r2
a + r2
2a + r2
..
.
...
...
...
..
.
r(a)
a + r(a)
2a + r(a)
..
.
(b 1)a + r1
(b 1)a + r2
...
(b 1)a + r(a)
a = 14
b = 15
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100 101 102 103 104 105 106 107 108 109 110 111
112 113 114 115 116 117 118 119 120 121 122 123 124 125
126 127 128 129 130 131 132 133 134 135 136 137 138 139
140 141 142 143 144 145 146 147 148 149 150 151 152 153
154 155 156 157 158 159 160 161 162 163 164 165 166 167
168 169 170 171 172 173 174 175 176 177 178 179 180 181
182 183 184 185 186 187 188 189 190 191 192 193 194 195
196 197 198 199 200 201 202 203 204 205 206 207 208 209
Minden oszlopban ugyanannyi b-hez relatv prm elem van.
172
radkrendszert alkotnak ( mod b), mert a 0, 1, 2, . . ., (b 1) teljes maradkrendszerbl szrmaztathat a b-hez relatv prm ka-val szorozva (0 k < b)
s ri -vel nvelve. Egy b szerinti teljes maradkrendszerben (b) darab b-hez
relatv prm van. gy minden oszlopbl (b) elem lesz relatv prm a-hoz s
b-hez is, azaz ab-hez. Az oszlopok szma (a), minden oszlopban (b) relatv
prm ab-hez, azaz sszesen (a) (b), gy (a) (b) = (ab). (Az ab-hez
relatv prmek szma az a-hoz s b-hez relatv prmek szmnak szorzata.)
(12) (n): Ha akr a, akr b kanonikus alakjban van olyan prm, amelyik
legalbb msodik hatvnyon szerepel, akkor ez a prm az ab szorzatban is
legalbb msodik hatvnyon fog szerepelni, gy minden olyan esetben, amikor
(a) = 0 vagy (b) = 0, (ab) is 0 lesz, vagyis ilyenkor (a)(b) = (ab)
teljesl. Ha a s b kanonikus alakjban minden prm els hatvnyon szerepel,
s (a, b) = 1, vagyis a-nak s b-nek nincs kzs prmtnyezje, akkor az ab
szorzatban is minden prm els hatvnyon szerepel. Ha ekkor a-nak k 1,
b-nek pedig l 1 prmtnyezje van, akkor (a) = (1)k s (b) = (1)l ,
gy
(a)(b) = (1)k (1)l = (1)k+l = (ab).
Vgl, ha a s b kzl legalbb az egyik 1 (pldul a), akkor (a) = 1,
(ab) = (b) miatt (ab) = (a)(b). Teht a fggvny multiplikatv.
Multiplikatv, illetve additv szmelmleti fggvnyekrl szlnak a kvetkez ttelek:
12.2. Ttel. Ha f (n) nem azonosan 0 multiplikatv szmelmleti fggvny,
akkor f (1) = 1.
Bizonyts. Mivel tetszleges a esetn (1, a) = 1, a multiplikatvits miatt
minden a-ra, f (a) = f (1 a) = f (1)f (a). Mivel nem az azonosan 0 fggvnyrl van sz, van olyan a szm, amelyre f (a) 6 = 0. Erre az a szmra a fenti
egyenlsg csak gy teljeslhet, ha f (1) = 1.
12.3. Ttel. Ha g(n) additv szmelmleti fggvny, akkor g(1) = 0.
Bizonyts. Mivel tetszleges a esetn (1, a) = 1, az additivits miatt minden a-ra g(a) = g(1 a) = g(1) + g(a), ami csak gy teljeslhet, ha g(1) = 0.
Megjegyzs. A fenti kt ttel megfordtsa nyilvnvalan nem igaz, abbl, hogy egy fggvny az n = 1 helyen 1-et vagy 0-t vesz fel, semmi nem
kvetkezik a fggvny egszre nzve.
Megjegyzs. Azt mr lttuk korbban, hogy az azonosan 0 fggvny
multiplikatv ((1) plda). A fenti kt ttelbl kvetkezik, hogy az egyetlen
173
...
p1 1
p2 1
pk 1
1
1
1
(c) (n) = n 1
1
... 1
p1
p2
pk
Bizonyts. (a) Lsd a 6.4. Ttelt.
(b) A p prmhatvny nla nem nagyobb pozitv oszti, vagyis olyan
hatvnyai a p-nek, amelyek kitevje 0 s kz esik: 1, p, p2 , p3 , . . . , p .
p+1 1
Ezek sszege 1+p+p2 +p2 +. . .+p , ami mrtani sorozat sszege:
,
p1
+1
p
1
gy (p ) =
.
p1
Ebbl a 12.4. Ttel alapjn mr kvetkezik a ttel lltsa.
174
ez teht (p ).
megmarad p p
=p 1
p
Ebbl a 12.4. Ttel alapjn mr kvetkezik a ttel lltsa.
Megjegyzs. A megfordtsi fggvnyt mskpp Moebius-transzformltnak is nevezzk, az elnevezst a 12.4. llts indokolja.
12.1. Megjegyzs. Az, hogy F (n) az f (n) fggvny sszegzsi fggvnye
rszletesebben lerva ezt jelenti:
F (1) = f (1)
F (2) = f (1) + f (2)
F (3) = f (1) + f (3)
F (4) = f (1) + f (2) + f (4)
F (5) = f (1) + f (5)
F (6) = f (1) + f (2) + f (3) + f (6)
F (7) = f (1) + f (7)
F (8) = f (1) + f (2) + f (4) + f (8)
F (9) = f (1) + f (3) + f (9)
..
.
F (n) = f (d1 ) + f (d2 ) + . . . + f (dk )
(ahol d1 = 1, d2 , . . ., dk = n az n szm sszes osztja).
Pldul:
(1) Az f0 : n 7 0 (azonosan 0) fggvny sszegzsi fggvnye nmaga.
(Tetszleges di | n esetn f (di ) = 0, gy F (n) rtke minden n-re nullk
sszege, vagyis 0.)
175
(2) Az f1 : n 7 1 (konstans 1) fggvny sszegzsi fggvnye d(n). (Tetszleges di | n esetn f (di ) = 1, gy F (n) rtknek kiszmtshoz annyi
1-est kell sszeadnunk, ahny osztja van n-nek, vagyis d(n) darabot. Hasonlan gondolhat meg, hogy az fc : n 7 c fggvny sszegzsi fggvnye
c d(n).)
(3) Az fn : n 7 n fggvny sszegzsi fggvnye (n). (Tetszleges di | n
esetn f (di ) = di , gy F (n) rtknek kiszmtshoz ppen n osztit kell
sszeadnunk.)
(4) A (n) fggvny sszegzsi fggvnye az 1 helyen 1-et vesz fel, minden
ms helyen 0.
Bizonyts. Ennek igazolsa kicsit hosszadalmasabb:
Legyen n = p1 1 p2 2 . . . pk k .
n oszti kzl csak azokhoz rendel 0-tl klnbz rtket a fggvny,
amelyekben minden prm els hatvnyon szerepel. gy:
p1 p2 . . . pk (1 darab), a hozz rendelt rtk (1)k
azok, amelyek kzl egy prm kimarad (k-fle), a hozz rendelt rtk
(1)k1
k
azok, amelyek kzl ktfle prm marad ki (
-fle), a hozz rendelt
2
rtk (1)k2
..
.
k
azok, amelyek kzl t-fle prm marad ki (
-fle), a hozz rendelt
t
rtk (1)kt
..
.
k
vgl azok, amelyek egyetlen prmtnyezbl llnak (
-fle), a hozz
k
rendelt rtk (1)kk
Vagyis sszesen
k
k
k
k
k1
(1) +
(1)
+
(1)k2 + . . .
0
1
2
k
k
kt
... +
(1)
+ ... +
(1)kk .
t
k
176
Vegyk szre, hogy ez nem ms, mint az ((1) + 1)k sszeg kirsa a binomilis ttel szerint. Ez viszont 0, teht valban (n) = 0, ha n > 1.
12.3. llts. Minden pozitv rtk multiplikatv fggvnybl kszthet additv fggvny. Minden additv fggvnybl kszthet multiplikatv fggvny.
Bizonyts. Ha f (n) pozitv rtk multiplikatv fggvny, akkor pldul a g(n) = ln f (n) fggvny additv. Legyen ugyanis (n1 , n2 ) = 1. Ekkor
f (n1 n2 ) = f (n1 )f (n2 ), gy
g(n1 n2 ) = ln f (n1 n2 ) = ln f (n1 )f (n2 ) =
= ln f (n1 ) + ln f (n2 ) = g(n1 ) + g(n2 ).
(Mivel f (n) semmilyen n-re sem negatv, gy minden n-re ltezik f (n)-nek
logaritmusa.)
Ha g(n) additv fggvny, akkor pldul az f (n) = 2g(n) fggvny multiplikatv. Legyen ugyanis (n1 , n2 ) = 1. Ekkor g(n1 n2 ) = g(n1 ) + g(n2 ), gy
f (n1 n2 ) = 2g(n1 n2 ) = 2g(n1 )+g(n2 ) =
= 2g(n1 ) 2g(n2 ) = f (n1 ) f (n2 )
Megjegyzs. A multiplikativits s az additivits eddig ltott tulajdonsgai alapjn az elbbi bizonyos fajta polinomialitst (mint a hatvnyfggvnyek, pl. x, x2 stb.), az utbbi valamilyen logaritmikus tulajdonsgot mutat.
Tny, hogy minden a teljes valson rtelmezett s egybknt folytonos,
de a termszetes szmokra leszktett hatvnyfggvny multiplikatv, s
minden logaritmusfggvny additv szmelmleti fggvny.
12.6. Ttel. Legyen az F (n) fggvny az f (n) sszegzsi fggvnye. Ekkor
F (n) akkor s csak akkor multiplikatv, ha f (n) multiplikatv.
Bizonyts. Ha F (n) s f (n) kzl az egyik a konstans 0 fggvny, akkor
a msik is az, ebben az esetben trivilis az llts. A tovbbiakban arra az
esetre szortkozunk, amikor sem F (n), sem f (n) nem azonosan 0.
177
178
Tegyk fel, hogy az llts minden ab-nl kisebb szm esetn igaz. Ekkor
f (ai )f (bj ) = f (ai bj ) teljesl az ab szorzat minden olyan ai bj osztjra, ahol
i < r vagy j < s.
(Vagyis a 12.17. brn szemlltetett szorzatok az indukcis feltevs alapjn az utols kivtelvel trhatk a 12.18. brn jellt alakra.)
Ez azt jelenti, hogy a fenti egyenlsgben szerepl sszegek az utols
tagok kivtelvel tagonknt egyenlk. Mivel azonban a kt sszeg egyenl,
gy az utols tagoknak is egyenlknek kell lennik ami a bizonytand
llts volt.
f (a1 )
f (b1 )
+
f (b2 )
+
f (b3 )
+
..
.
+
f (bs )
f (a2 )
f (a3 )
:::
f (ar )
f (a1 ) f (b1 )
f (a2 ) f (b1 )
f (a3 ) f (b1 )
:::
f (ar ) f (b1 )
f (a1 ) f (b2 )
f (a2 ) f (b2 )
f (a3 ) f (b2 )
:::
f (ar ) f (b2 )
f (a1 ) f (b3 )
f (a2 ) f (b3 )
f (a3 ) f (b3 )
:::
f (ar ) f (b3 )
f (a1 ) f (bs )
f (a2 ) f (bs )
f (a3 ) f (bs )
:::
f (ar ) f (bs )
12.17. bra.
f (a1 )
f (b1 )
+
f (b2 )
+
f (b3 )
+
..
.
+
f (bs )
f (a2 )
f (a3 )
:::
f (ar )
f (a1 b1 )
f (a2 b1 )
f (a3 b1 )
:::
f (ar b1 )
f (a1 b2 )
f (a2 b2 )
f (a3 b2 )
:::
f (ar b2 )
f (a1 b3 )
f (a2 b3 )
f (a3 b3 )
:::
f (ar b3 )
f (a1 bs )
f (a2 bs )
f (a3 bs )
:::
f (ar ) f (bs )
12.18. bra.
179
Megfordtva, ha egy adott F (n) multiplikatv fggvny megfordtsi fggvnyt keressk, akkor a mellett ezt is meghatrozhatjuk annak ismeretben,
hogy a multiplikatv fggvny megfordtsi fggvnye is multiplikatv.
F (p ) = f (1) + f (p) + f (p2 ) + . . . + f (p )
s
F (p1 ) = f (1) + f (p) + f (p2 ) + . . . + f (p1 )
miatt
f (p ) = F (p ) F (p1 ).
Ebbl mr f (n) multiplikativitsa miatt tetszleges helyen meghatrozhat
f (n) rtke.
Ha pldul az F (n) = n fggvny megfordtsi fggvnyt keresnnk,
akkor
f (p ) = F (p ) F (p1 ) = p p1 = (p ),
amibl a multiplikativits miatt mr kvetkezik, hogy a keresett fggvny a
(n).
A 12.6. Ttel egybknt arra is alkalmas, hogy azzal bizonyos fggvnyek multiplikativitst bizonytsuk. Konkrtan: tudjuk, hogy a konstans 1
180
Bizonyts. Mivel F
n
d
d1 | n
d
(d)
f (d1 ).
d1 | n
d
d1 | n
d
d1 |n
d| dn
d|n
d1 =n
Feladatok
(A d, a s a szmelmleti fggvnyek rtkeinek kiszmtshoz hasznlhatja a http://www.cs.elte.hu/~kfried/algebra1/DividorsNum.jard,
http://www.cs.elte.hu/~kfried/algebra1/Phi.jarf, http://www.cs.
elte.hu/~kfried/algebra1/DividorSum.jarszigma programokat.)
181
1. Legyen t olyan totlisan multiplikatv fggvny, amely minden prmszmhoz (s 1-hez is) 1-et rendel. Mivel egyenl t(n) tetszleges n-re?
2. Legyen r olyan totlisan additv fggvny, amely 0-hoz 0-t, tovbb
minden prmszmhoz 1-et rendel. Mivel egyenl r(n) tetszleges n-re?
3. Legyen s olyan totlisan multiplikatv szmelmleti fggvny, amely 1ben 1-et, pn -ben (az n-edik prmszm helyen) pedig n-et vesz fel. rja
fel, hogy tetszleges n-hez mit rendel!
4. Egy tetszleges n szmhoz hozzrendeljk a 2-vel val osztsi maradkt. Additv-e, multiplikatv-e ez a fggvny?
5. Van-e olyan termszetes szm, amelyre d(n) = (n)?
6. Ha (n) = n + 1, akkor mennyi lehet a lehet (n)? Mennyi lehet az n?
7. Legalbb mennyi (n)?
8. Van-e olyan szm, amelyre (n) = n + 2?
9. Hny megoldsa van a kvetkez egyenleteknek a termszetes szmok
halmazn?
(n) = n + 3
(n) = n + 4
(n) = n + 5
(n) = n + 6
10. Igazolja, hogy ha 0 k n relatv prm n-hez, akkor n k is relatv
prm hozz!
11. Legfeljebb mennyi lehet (n)?
Lehet-e valamely n-re (n) = n 2?
12. Igazolja, hogy tetszleges n termszetes szm esetn d(n) + (n)
n + 1!
13. Keressen olyan n termszetes szmot, amelyre (n) n = d(n)!
14. Legyen f (n) az a szmelmleti fggvny, amely minden szmhoz a 3mal val osztsi maradkt rendeli. Hatrozza meg f rtkeit az n = 1,
2, . . . , 40 helyeken!
Hatrozza meg f sszegzsi fggvnynek rtkeit az n = 1, 2, . . . , 40
helyeken!
Hatrozza meg f megfordtsi fggvnynek rtkeit az n = 1, 2, . . . ,
40 helyeken!
13. fejezet
Tkletes szmok
Vizsgljuk meg klnbz szmok esetn az n szm n-nl kisebb (pozitv)
osztinak sszegt:
2: 1
3: 1
4: 1 + 2 = 3
5: 1
6: 1 + 2 + 3 = 6
7: 1
8: 1 + 2 + 4 = 7
9: 1 + 3 = 4
10 : 1 + 2 + 5 = 8
11 : 1
12 : 1 + 2 + 3 + 4 + 6 = 16
13 : 1
14 : 1 + 2 + 7 = 10
15 : 1 + 3 + 5 = 9
16 : 1 + 2 + 4 + 8 = 15
17 : 1
18 : 1 + 2 + 3 + 6 + 9 = 21
19 : 1
20 : 1 + 2 + 4 + 5 + 10 = 22
Az sszeg a szmok egy rsznl kisebb, mint maga a szm az ilyen
szmokat szoks hinyos szmoknak nevezni , egy msik rsznl nagyobb
mint maga a szm ezek a bvelked szmok , bizonyos szmok esetn pedig
az sszeg megegyezik magval a szmmal. Az ilyen szmokat mr az kori
grgk is klnsen rdekesnek tekintettk.
Az, hogy egy szm nla kisebb pozitv osztinak sszege magt a szmot
adja, azt jelenti, hogy magt a szmot is beleszmolva az sszegbe, vagyis a
szm sszes pozitv osztjt sszeadva, a szm ktszerest kapnnk:
13.1. Definci. Az n szm tkletes, ha (n)
(n) n = n).
2n (vagyis ha
183
Minden eddig tallt tkletes szm pros, ezekrl szl a kvetkez ttel:
13.1. Ttel. Minden n = 2p1 (2p 1) alak szm tkletes, ha p is s
(2p 1) is prmszm; s megfordtva, minden pros tkletes szm felrhat
ilyen alakban.
Bizonyts. 1. Elszr beltjuk, hogy a fenti alak szmok tkletesek. Ehhez sszeadjuk az osztikat.
Mivel (2p1 , 2p 1) = 1 (az egyik egy kett hatvnya, a msik pratlan
prmszm), ezrt a (n) fggvny multiplikativitsa miatt
(2p1 (2p 1)) = (2p1 )(2p 1).
Felhasznlva, hogy (2p1 ) = 2p 1, tovbb hogy ha 2p 1 prmszm,
akkor (2p 1) = 2p , azt kapjuk, hogy
(2p1 (2p 1)) = (2p 1)2p = 2n.
Ezzel belttuk, hogy a fenti alak szmok tkletesek.
2. Most tegyk fel, hogy az n pros szm tkletes, vagyis (n) = 2n.
rjuk fel n-et 2k m alakban, ahol m pratlan.
Ekkor termszetesen (2k , m) = 1, teht (n) a tnyezk -rtknek szorzata, msrszt (n) = 2n = 2k+1 m, gy
2k+1 m = (n) = (2k ) (m) = (2k+1 1)(m).
Vagyis
2k+1 m = 2k+1 (m) (m).
trendezve
(m) = 2k+1 ((m) m).
(13.1)
184
Megjegyzs. Eszerint a ttel szerint minden olyan p prmszm meghatroz egy pros tkletes szmot, amelyre 2p 1 is prmszm, vagyis a pros
tkletes szmok s a Mersenne-prmek kztt klcsnsen egyrtelm megfeleltets ltesthet. gy pontosan ugyanannyi pros tkletes szmot ismernk, mint ahny Mersenne-prmet, s az olyasfajta krdsekre, mint pldul
hogy hny tkletes szm van, van-e vgtelen sok stb., pontosan ugyanazok
a vlaszok, mint a Mersenne-prmekkel kapcsolatos hasonl krdsekre.
Az els nhny pros tkletes szmot a kvetkez tblzat tartalmazza:
p prmszm
2p 1 Mersenne-prm
2
3
5
7
13
..
.
3
7
31
127
8191
..
.
6
28
496
8128
33 550 336
..
.
185
[A XX. szzad elejn, Gdel matematikai logikban elrt eredmnye alapjn kiderlt, hogy egyes lltsok az gynevezett Gdel-fle lltsok
esetn elfordulhat, hogy azok igazsga az adott aximarendszerben nem
igazolhat s nem is cfolhat. Esetleg meg is lehet mutatni, hogy egy llts ilyen. Aposztolosz Doxiadisz Petrosz bcsi s a Goldbach-sejts cm
regnye (Aposztolosz Doxiadisz: Petrosz bcsi s a Goldbach-sejts, Eurpa Knyvkiad, ISBN 963 07 7518 2) is ezt a krdst feszegeti, mg a ttel
matematikjt rszletesebben mutatja be R. Smullyan knyve (Raymond
Smullyan: Gdel nemteljessgi ttele, Typotex, 2006.)]
A matematikusok kutatmunkjt manapsg nagyban segti a szmtgp. Szmtgpes algoritmussal is kereshet pratlan tkletes szm, de
vagy nincs mg alkalmas algoritmus egy (esetleg ltez) pratlan tkletes
szm megtallsra, vagy valban nincs ilyen szm, s akkor hiba is keresik gyors szmtgpes algoritmussal. Az nem valszn, hogy mg senki
sem ksrletezett ezzel. Azt gondolhatnnk, hogy ennyi id alatt kellett volna
mr tallni egy pratlan tkletes szmot. Az a tny, hogy a nagy sebessg
szmtgpek s a j fl vszzada elterjedt szmtstechnikai matamatikai
kutatsi mdszerek ellenre sem sikerlt pratlan tkletes szmot tallni,
azt a gyant ersti, hogy nincs ilyen. Termszetesen ezt bizonytani kellene,
amit szintn lehetne szmtgppel, de egyelre mg ezt sem sikerlt.
Bartsgos szmok
A tkletes szmok mintjra olyan szmokat is kereshetnk, amelyek osztinak sszege magt a szmot nem beleszmolva a szm ktszeresvel,
hromszorosval stb. egyenl.
Szmlncokat is kszthetnk gy, hogy kiindulunk egy pozitv egsz
szmbl, sszeadjuk a nla kisebb pozitv osztit, majd az gy kapott szmmal elvgezzk ugyanezt s gy tovbb. A szmok egy rsznl elbb-utbb
eljutunk az 1-hez, ekkor nem tudjuk folytatni a lncot.
Pldul: 1216159431
Tkletes szmok esetn konstans sorozatot kapunk, de vajon ltrejhete olyan ciklikus sorozat, ahol a ciklus hossza (a benne foglalt szmok szma)
2, 3, . . . stb.?
Az, hogy a ciklus hossza 2, azt jelenten, hogy talltunk kt olyan szmot,
amelyekre az egyik szm nla kisebb pozitv osztinak sszege a msik szm,
a msik szm nla kisebb pozitv osztinak sszege pedig az els szm.
13.2. Definci. Az a, b szmokat bartsgos szmprnak nevezzk, ha
(a) a = b s (b) b = a.
186
Feladatok
1. Mirt nem lehet prmszm tkletes szm?
2. Van-e ngyzetszm a pros tkletes szmok kztt?
3. Lehetne-e ngyzetszm egy pratlan tkletes szm?
4. Igaz-e, hogy kt, egymshoz relatv prm tkletes szm szorzata is
tkletes szm?
Tud-e pldt mondani r? Mirt nem?
14. fejezet
= 0,50
= 0,3
= 0,250
= 0,20
= 0,16
= 0,14285
7
= 0,1250
= 0,1
= 0,10
= 0,0 9
3
2
2
3
3
4
2
5
5
6
2
7
3
8
2
9
3
10
2
11
= 1,50
= 0,6
= 0,750
= 0,40
= 0,83
= 0,28571
4
= 0,3750
= 0,2
= 0,30
= 0,1 8
5
2
4
3
5
4
3
5
7
6
3
7
5
8
4
9
7
10
3
11
187
= 2,50
= 1,3
= 1,250
= 0,60
= 1,16
= 0,42857
1
= 0,6250
= 0,4
= 0,70
= 0,2 7
7
2
5
3
7
4
4
5
11
6
4
7
7
8
5
9
9
10
4
11
= 3,50
= 1,6
= 1,750
= 0,80
= 1,83
= 0,57142
8
= 0,8750
= 0,5
= 0,90
= 0,3 6
188
1
= 0,083
12
1
= 0,07692
3
13
5
= 0,416
12
2
= 0,15384
6
13
7
= 0,583
12
3
= 0,23076
9
13
11
= 0,916
12
4
= 0,30769
2
13
szrevehetjk, hogy a racionlis szmok tizedes trt alakjban a tizedes jegyek sorozata valahonnan kezdve mindig periodikus lesz, amit gy is szoks
mondani, hogy a racionlis szmok tizedes trt alakja szakaszos. Ez azrt
a
van, gy, mert az
(a, b N+ ) racionlis szm q0 ,q1 q2 q3 . . . tizedes trt
b
alakja maradkos osztsok kvetkez sorozatval kaphat meg:
hai
;
a = bq0 + r0 (ahol 0 r0 < b), vagyis q0 =
b
10r0
10r0 = bq1 + r1 (ahol 0 r1 < b), vagyis q1 =
;
b
10r1
10r1 = bq2 + r2 (ahol 0 r2 < b), vagyis q2 =
;
b
10r2
10r2 = bq3 + r3 (ahol 0 r3 < b), vagyis q3 =
;
b
stb., ahol az a, r0 , r1 , r2 , r3 , . . . szmok b-vel val osztsi maradka legfeljebb b-fle lehet, gy elbb-utbb egy olyan rk maradkot kapunk, amely
megegyezik valamelyik korbban kapott ri maradkkal. Ha viszont rk = ri
akkor 10rk = 10ri , gy
10rk = bqk+1 + rk+1
(0 rk+1 < b)
(0 ri+1 < b)
s
miatt qk+1 = qi+1 s rk+1 = ri+1 . Abbl pedig, hogy rk+1 = ri+1 a fentiekhez
hasonlan kvetkezik, hogy qk+2 = qi+2 s rk+2 = ri+2 s gy tovbb, minden
a-ra igaz lesz, hogy a k + a-adik tizedes jegy meg fog egyezni az i + aadik tizedes jeggyel. (Pldinkban az els ismtld szakasz els s utols
szmjegyt a szmjegy fl rt ponttal jelltk.)
Fenti szrevtelnk megfordtsa is igaz: minden szakaszos tizedes trt
valamelyik racionlis szmnak a tizedes trt alakja. A korrekt bizonytshoz analitikus ismeretekre van szksg. Egy vgtelen szakaszos tizedestrt
vgtelen numerikus sor, amely megfelel felttelek mellett konvergens.
Az albbiakban ennek a korrektl megalapozott elven mkd mdszernek egy szemlletes levezetst ismertetjk. Tekintsk az
x = q0 ,q1 q2 . . . qi qi+1 . . . qk
szakaszos tizedes trtet. Ekkor (fellvonssal jellve az egyms mg rs-t)
10i x = q0 q1 q2 . . . qi ,qi+1 . . . qk
189
s
10k x = q0 q1 q2 . . . qi qi+1 . . . qk ,qi+1 . . . qk
(ahol q0 q1 q2 . . . qi s q0 q1 q2 . . . qi qi+1 . . . qk egsz szmok), gy
10k x 10i x = q0 q1 q2 . . . qi qi+1 . . . qk q0 q1 q2 . . . qi Z,
vagyis
x=
q0 q1 q2 . . . qi qi+1 . . . qk q0 q1 q2 . . . qi
,
10k 10i
= 0,1
= 0,0 1
1
= 0,00
= 0,0 001
001
= 0,00
10k
190
14.1. Ttel. Egy vals szm tizedes trt alakja akkor s csak akkor szakaszos, ha a szm racionlis.
14.1. Definci. Azokat a szakaszos tizedes trteket, amelyekben az ismtld szakasz rgtn a tizedes vessz utn kezddik vagyis a q0 ,q1 q2 . . . qk
alakakat tiszta szakaszos tizedes trteknek nevezzk, a tbbit pedig vegyes
szakaszos tizedes trteknek. Amennyiben az ismtld szakasz pusztn a 0
szmjegybl ll, vges tizedes trtrl beszlnk. (Vges tizedes trtek esetn
a 0 szakaszt ltalban nem szoktuk kirni.)
3
,
2
4
,
5
2
,
3
5
,
9
5
,
2
1
,
8
4
,
3
1
,
11
7
,
2
3
,
8
5
,
3
2
,
11
1
,
4
5
,
8
1
,
7
3
,
11
3
,
4
7
,
8
2
,
7
4
,
11
5
,
4
1
,
10
3
,
7
1
,
13
7
,
4
3
,
10
4
,
7
2
,
13
1
,
5
7
,
10
1
,
9
3
,
13
2
,
5
9
,
10
2
,
9
4
13
191
5
,
6
7
,
6
11
,
6
1
,
12
5
,
12
7
,
12
11
.
12
a
vges tizedes trt alakba rhat, vagyis
b
= 0, q1 q2 . . . qi 0.
b
Ekkor
10i
a
= q1 q2 . . . qi ( N),
b
gy
10i a = q1 q2 . . . qi b.
Mivel b nyilvnvalan osztja az egyenlsg jobb oldalnak, osztania kell a
balt is, teht b | 10i a. Ez csak gy lehetsges, ha b | 10i , hiszen (a, b) = 1.
Ekkor viszont (a 6.3 ttel miatt) b prmtnyezs alakjban csak 2-es s 5-s
prmtnyezk szerepelhetnek.
Megfordtva, tegyk fel, hogy b = 2s 5t , ahol mondjuk (0 )s t. Ekkor
a
a
2ts a
= s t =
,
b
2 5
10t
mrpedig egy egsz szmot tz egy hatvnyval osztva vges tizedes trtet
kapunk.
a
14.3. Ttel. Legyen a < b s (a, b) = 1 (a, b N+ ). Ekkor az trt tizedes
b
trt alakja akkor s csak akkor tiszta szakaszos, ha (b, 10) = 1.
Bizonyts. Ha
a
tizedes trt alakja tiszta szakaszos, vagyis
b
a
= 0,q1 q2 . . . qk ,
b
192
akkor
10k
a
= q1 q2 . . . qk ,q1 q2 . . . qk
b
gy
(10k 1)
a
= q1 q2 . . . qk ,
b
vagyis
(10k 1)a = q1 q2 . . . qk b.
Ekkor viszont b | (10k 1)a, amibl (a, b) = 1 miatt kvetkezik, hogy
b | (10k 1). Mivel 10k 1 relatv prm a 10-hez, minden osztja, gy b
is relatv prm a 10-hez.
Megfordtva, tegyk fel, hogy (b, 10) = 1, s
a
= 0, q1 q2 . . . qi qi+1 . . . qk ,
b
ahol az
a=b0+a
10a = bq1 + r1
10r1 = bq2 + r2
10r2 = bq3 + r3
..
.
10ri1 = bqi + ri
..
.
10rk1 = bqk + rk
..
.
193
a
Megjegyzs. A 14.3. Ttelbl az kvetkezik, hogy az
((a, b) = 1)
b
racionlis szm tizedes trt alakja akkor s csak akkor vegyes szakaszos,
ha b prmtnyezi kztt olyan is szerepel, amely relatv prm a 10-hez, s
olyan is, amely nem. Knnyen meggondolhat, hogy azoknak a nem egsz
racionlis szmoknak, amelyeknek ktfle (egy vges s egy vgtelen) tizedes
trt alakja is van, mindkt alakja vegyes szakaszosnak tekinthet.
a
sszefoglalva: az
(a, b Z, (a, b) = 1) racionlis szm tizedes trt
b
alakja mindig szakaszos. Ezen bell lehet vges vagy vgtelen, illetve tiszta
szakaszos vagy vegyes szakaszos. Azoknak a racionlis szmoknak, amelyeknek van vges tizedes trt alakjuk (az ismtld szakasz a 0 szmjegybl ll),
van vgtelen is (ahol az ismtld szakasz a 9-es szmjegybl ll). Ezen bell
az egsz szmok (mindkt) tizedes trt alakja tiszta szakaszos, a nem egsz
szmok vegyes szakaszos.
a
Az (a, b Z, (a, b) = 1) racionlis szm tizedes trt alakja:
b
vges s tiszta szakaszos akkor s csak akkor, ha b = 1.
vges s vegyes szakaszos, akkor s csak akkor, ha b 6 = 1, s nincs 2-tl
s 5-tl klnbz prmtnyezje.
vgtelen s tiszta szakaszos, akkor s csak akkor, ha b 6 = 1, s (b, 10) =
1.
vgtelen s vegyes szakaszos, akkor s csak akkor, ha b-nek van 2-tl s
5-tl klnbz prmtnyezje, de (b, 10) 6 = 1.
194
Vesszs trtek
Egy tetszleges x vals szm nemcsak
x = q0 + q1 101 + q2 102 + q3 103 + . . .
(0 q1 , q2 , q3 , . . . < 10)
t = 2:
t = 3:
t = 4:
t = 5:
t = 6:
t = 7:
t = 8:
t = 8:
1
2
1
23
1
24
1
25
1
26
1
27
1
28
1
29
1
= 0,12
10 2
= 0,1 3
= 0,24
= 0,2 5
= 0,36
= 0,3 7
= 0,48
= 0,4 9
1
3
1
3
1
34
1
35
1
36
1
37
1
38
1
39
1
= 0,0 1 2
11 2
1
= 0,13
=
10 3
=
= 0,1 4
= 0,1 3 5
= 0,26
= 0,2 7
= 0,2 5 8
= 0,39
1
6
1
6
1
6
1
6
1
6
1
67
1
68
1
69
=
=
=
=
=
1
= 0,00 1 2
110 2
1
= 0,01 3
20 3
1
= 0,02 4
12 4
1
= 0,0 4 5
11 5
1
= 0,16
10 6
= 0,1 7
= 0,12 5 8
= 0,14 9
..
.
Megvizsglva nhny racionlis szm vesszs trt alakjt klnbz szmrendszerekben, szmos rdekessget fedezhetnk fel. Megllapthatjuk pldul, hogy a racionlis szmok tizedes trt alakjval kapcsolatos lltsainkhoz
hasonlk tetszleges szmrendszerben teljeslnek, azaz:
14.4. Ttel. Legyen t 2 tetszleges egsz szm. Vizsgljuk a, b N+ mela
lett az trtet.
b
(i) Egy vals szm vesszs trt alakja t alap szmrendszerben akkor s
csak akkor szakaszos, ha a szm racionlis.
195
Feladatok
1. rja fel a kvetkez tizedestrteket trt alakban!
0,1 6
3
0,15
0,43 1
1
0,432
6
1,30127
2. llaptsa meg a kvetkez trtekrl, hogy a tizedes trt alakjuk tiszta
szakaszos-e vagy vegyes; vges vagy vgtelen-e?
2
6
3
6
6
4
16
24
105
24
196
15. fejezet
TESZTEK
Az albbi tesztkrdsek mindegyikben egyetlen helyes vlaszt kell megjellni. (Megoldsok a 214. oldalon.)
Alapok
1. Melyik nem ad meg relcit az albbiak kzl? Tetszleges a, b elemek
lljanak relciban egymssal, ha
(a) a + b = 0
(b) a = b
(c) a b
(d) a < b
2. Az albbiak kzl melyik tulajdonsggal rendelkezik a relci?
(a) szimmetria
(b) tranzitivits
(c) irreflexivits
(d) trichotmia
3. Melyik ekvivalenciarelci az albbiak kzl? Tetszleges a, b elemek
lljanak relciban egymssal, ha
(a) a 6 = b
(b) a < b
(c) a b
(d) a b pros
197
198
1
4. Egy mrtani sorozat els kt eleme 1 s . Adja meg az els 10
2
eleme sszegt!
341
512
1
(b)
1024
(c) 1
(a)
8 P
1
P
(i + j) sszegben?
i=5 j=2
(a) 3
(b) 5
(c) 7
(d) 9
7. Mivel egyenl a
8 P
1
P
(i + j) sszeg?
i=5 j=2
(a) 40
(b) 18
(c) 20
(d) 8
199
(c) 6
(d) 9
2. Melyik szm nem tbbszrse az albbiak kzl a 24-nek?
(a) 0
(b) 24
(c) 24
(d) 12
3. 1. (a + b)n ,
2. (a b)n ,
3. an + bn ,
4. an bn
2. (a b)n ,
3. an + bn ,
4. an bn
200
201
(a) 2 s 5
(b) 3 s 5
(c) 2 s 3
(d) 3 s 9
202
1. Melyik nem egysg H2 -ben? (Vagy azrt, mert nincs benne, vagy azrt,
mert nem osztja minden elemnek.)
(a) 1
(b) 1
(c) 3
(d) 3 + 2 2
2. Melyik nem oszthat 2
(a) 2 + 2 2
(b) 2
(c) 2 3 2
(d) 3 2 2
203
A szmelmlet alapttele
1. Melyik szmnak nem 8 az oszti szma a kvetkezk kzl?
(a) 23 5
(b) 3 5 7
(c) 77
(d) 2 3 5 7
2. Melyik kt szmnak van ugyanannyi osztja?
(a) 23 s 32
(b) 2 3 5 s 23
(c) 2 5 s 23
(d) 2 3 s 52
3. Melyik felrs helyes?
(a) d(2) d(3) d(4) d(5)
(b) d(3) d(4) d(5) d(6)
(c) d(7) d(8) d(9) d(10)
(d) d(13) d(14) d(15) d(16)
A prmszmokrl
1. A nagy prmszmttel alapjn milyen nagysgrendi becsls adhat a
prmszmok szmra 1010 -ig?
(a) 109 ln 10
(b) 109 log10 e
(c)
109
log10 e
(d)
109
ln 10
Kongruencia
1. Milyen modulus szerint lehet kongruens 5 s 17?
(a) 4
204
(b) 5
(c) 10
(d) 12
2. Az albbiak kzl melyik modulus szerint nem kongruens az 5 s a 17?
(a)
(b)
(c)
(d)
4
6
9
12
9
19
29
39
7
9
14
21
1
2
3
4
205
Lineris kongruencik
1. Az albbi lineris kongruencik kzl vlasszuk ki azt, amelyiknek nincsen megoldsa!
(a) 2x 13 (mod 6)
(b) 2x 6 (mod 13)
(c) 13x 6 (mod 2)
(d) 13x 2 (mod 6)
2. Hny megoldsa van a 16x 15 (mod 20) kongruencinak?
(a) 0
(b) 1
(c) 4
(d) vgtelen sok
3. Hny megoldsa van a 16x 20 (mod 15) kongruencinak?
(a) 0
(b) 1
(c) 2
(d) vgtelen sok
4. Hny megoldsa van a 24x 102 (mod 30) kongruencinak?
(a) 0
(b) 1
(c) 5
(d) 6
206
207
Szmelmleti fggvnyek
1. Melyik, a szmelmleti fggvnyre vonatkoz llts igaz?
(a) soha nem vehet fel pratlan rtket.
(b) csak egyszer vesz fel pratlan rtket.
(c) csak ktszer vesz fel pratlan rtket.
(d) vgtelen sokszor vesz fel pratlan rtket.
2. Melyik, a d szmelmleti fggvnyre vonatkoz llts hamis?
(a) d soha nem vesz fel pros rtket.
(b) d soha nem vesz fel pratlan rtket (csak az 1-ben az 1-et).
(c) d tetszleges termszetes szmot felvehet fggvnyrtkknt.
(d) Van olyan termszetes (pozitv egsz) szm, amelyet d nem vehet
fel fggvnyrtkknt.
3. Melyik llts helyes a szmelmleti fggvnyre?
(a) (n) soha nem lehet n-nl nagyobb.
(b) (n) soha nem lehet n-nl kisebb.
(c) (n) soha nem lehet n-nel egyenl.
(d) (n) soha nem lehet 2n-nel egyenl.
4. Melyik llts hamis?
(a) Az n 7 (n) sszegzsi fggvnye n helyen n.
208
Tkletes szmok
1. Az albbiak kzl melyikre teljesl, hogy (n) < 2n?
(a) 6
(b) 10
(c) 12
(d) 18
2. Az albbiak kzl melyik szmra teljesl, hogy (n) = 2n 1?
(a) 6
(b) 10
(c) 14
(d) 16
(d)
2
36
5
3. Melyik kznsges tizedes trt alakja a 0,34
345
9
345
(b)
99
345
(c)
999
345
(d)
9999
(a)
a 3-as szmrendszerben
a 2-es szmrendszerben
a 3-as szmrendszerben
a 3-as szmrendszerben
209
Irodalomjegyzk
[1] Bartha Gbor, Bogdn Zoltn, Csri Jzsef, Dur Lajosn
dr., dr. Gyapjas Ferencn, dr. Klmn Sndorn, dr. Pintr Lajosn: Matematika feladatgyjtemny I. a kzpiskolk tanuli
szmra, Nemzeti Tanknyvkiad, 18. kiads, 2004.
[2] Erds Pl, Surnyi Jnos: Vlogatott fejezetek a szmelmletbl,
Polygon, Szeged, 1996.
[3] Korndi Jzsef, Trk Judit, Szmelmlet, Szmelmlet s algebra
sorozat, 1. ktet. NLV Nyomda, Budapest, 1996
[4] Laczkovich Mikls: Kzpiskolai Matematika Lapok, 1999, 7. szm,
385398.
[5] Maurer I. Gyula: Tizedes trtek s lnctrtek, Dacia Knyvkiad
(Romnia), 1981. (Magyar nyelv)
[6] Srkzy Andrs, Surnyi Jnos: Szmelmlet feladatgyjtemny,
kzirat, Tanknyvkiad, Budapest, 1986.
Tovbbi rdekes olvasmnyok, feladatgyjtemnyek:
Fried Ervin: Oszthatsg s szmrendszerek, Tanknyvkiad, Budapest,
1982.
Freud Rbert: Prmszmok si problmk, j eredmnyek, 2005. Elads a Fazekasban,
http://matek.fazekas.hu/portal/eloadas/2005/eloadas_2005_11_22_freud.html
Halmos Mria, Gbos Adl: Szmelmlet, Mszaki Knyvkiad Kft.,
2000.
Lnczos Kornl: Szmok mindentt, Gondolat, 1972.
Matematikai rdekessgek, Gondolat, Budapest, 1969, benne: Lnczi Ivnn:
szrakozs szmrendszerekkel, Surnyi Jnos: rdekes szmok.
210
211
Trgymutat
maradkos oszts, 26
maradkosztly, 106
multiplikatv szmelmleti fggvny,
166
sszetett szm, 60
additv szmelmleti fggvny, 168
antiszimmetrikus relci, 13
asszocilt, 21
aszimmetrikus relci, 13
oszt, 19, 26
osztand, 26
212
213
214
A tesztek megoldsa
Alapok 1. (c) 2. (b) 3. (d) 4. (a) 5. (b) 6. (d) 7. (a)
Oszthatsg, maradkos oszts 1. (c) 2. (d) 3. (d) 4. (a) 5. (d) 6. (a)
Szmrendszerek, oszthatsgi szablyok 1. (c) 2. (b) 3. (a) 4. (c) 5. (d)
6. (c)
Legnagyobb kzs oszt, legkisebb kzs tbbszrs 1. (c) 2. (c) 3.
(d) 4. (c) 5. (b) 6. (c)
Felbonthatatlan szm, prmszm 1. (c) 2. (d)
A szmelmlet alapttele 1. (d) 2. (c) 3. (d)
A prmszmokrl 1. (b)
Kongruencia 1. (d) 2. (c) 3. (b) 4. (d) 5. (c) 6. (d) 7. (c)
Lineris kongruencik 1. (a) 2. (a) 3. (b) 4. (d)
Lineris diofantoszi egyenletek 1. (c) 2. (c) 3. (a) 4. (d)
Nhny nevezetes diofantoszi problma 1. (c) 2. (d) 3. (c) 4. (c)
Szmelmleti fggvnyek 1. (c) 2. (c) 3. (b) 4. (c)
Tkletes szmok 1. (b) 2. (d)
Fggelk (A racionlis szmok tizedes trt alakja) 1. (b) 2. (a) 3. (c)
4. (c)
A knyvhz tartoz vide megtekintse: www.cs.elte.hu/~kfried/
algebra1/kettedestort.avi