„Osztóharmonikus számok” változatai közötti eltérés

A Wikipédiából, a szabad enciklopédiából
[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Syp (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
triviális, de lényegi hiba... hiányzott, hogy Ore szerint milyen osztóharmonikus számok nem léteznek
23. sor: 23. sor:
Ore megmutatta, hogy minden [[tökéletes szám]] egyben osztóharmonikus szám is. Mivel egy ''M'' tökéletes szám osztóinak összege éppen ''2M'', ezért osztóinak átlaga ''M''(2/τ(''M'')), ahol τ(''M'')-mel ''M'' [[Osztószám-függvény|osztóinak számát]] jelöljük. Bármely ''M''-re, τ(''M'') csakkor páratlan, ha ''M'' [[négyzetszám]], hiszen egyébként ''M'' bármely ''d'' osztója párosítható egy másik ''M''/''d'' osztóval. De tudjuk, hogy egyetlen tökéletes szám sem négyzetszám: ez következik a páros tökéletes számok ismert formájából és hogy a páratlan tökéletes számok (ha léteznek ilyenek) szükségszerűen rendelkeznek olyan ''q'' osztóval, hogy ''q''<sup>α</sup> ahol α ≡ 1 (mod 4). Tehát ''M'' tökéletes számra, τ(''M'') páros, és az osztók átlaga az ''M'' szorzata a 2/τ(''M'') törttel; ezért ''M'' osztóharmonikus szám.
Ore megmutatta, hogy minden [[tökéletes szám]] egyben osztóharmonikus szám is. Mivel egy ''M'' tökéletes szám osztóinak összege éppen ''2M'', ezért osztóinak átlaga ''M''(2/τ(''M'')), ahol τ(''M'')-mel ''M'' [[Osztószám-függvény|osztóinak számát]] jelöljük. Bármely ''M''-re, τ(''M'') csakkor páratlan, ha ''M'' [[négyzetszám]], hiszen egyébként ''M'' bármely ''d'' osztója párosítható egy másik ''M''/''d'' osztóval. De tudjuk, hogy egyetlen tökéletes szám sem négyzetszám: ez következik a páros tökéletes számok ismert formájából és hogy a páratlan tökéletes számok (ha léteznek ilyenek) szükségszerűen rendelkeznek olyan ''q'' osztóval, hogy ''q''<sup>α</sup> ahol α ≡ 1 (mod 4). Tehát ''M'' tökéletes számra, τ(''M'') páros, és az osztók átlaga az ''M'' szorzata a 2/τ(''M'') törttel; ezért ''M'' osztóharmonikus szám.


Ore feltevése szerint az 1-en kívül nem létezik más osztóharmonikus szám. Ha ez igaznak bizonyul, abból következik az is, hogy nem léteznek páratlan tökéletes számok.
Ore feltevése szerint az 1-en kívül nem létezik más páratlan osztóharmonikus szám. Ha ez igaznak bizonyul, abból következik az is, hogy nem léteznek páratlan tökéletes számok.


== Korlátok és számítógépes keresések ==
== Korlátok és számítógépes keresések ==

A lap 2017. január 19., 19:49-kori változata

A számelméletben az Ore-szám (Øystein Ore után, aki 1948-ban definiálta ezeket) vagy osztóharmonikus szám[1] (néha még harmonikus szám) olyan pozitív egész szám, melynek osztóiból harmonikus közepet képezve egész számot kapunk. Az első néhány osztóharmonikus szám:

1, 6, 28, 140, 270, 496, 672, 1638, 2970, 6200, 8128, 8190 (A001599 sorozat az OEIS-ben).

Például a 6 osztóharmonikus számnak a négy osztója 1, 2, 3 és 6. Harmonikus közepük is egész szám:

A 140 osztói 1, 2, 4, 5, 7, 10, 14, 20, 28, 35, 70 és 140. Harmonikus közepük:

5 egész szám, ezért 140 osztóharmonikus szám.

Osztóharmonikus és tökéletes számok

Ore megfigyelte, hogy bármilyen M egész számra az osztók harmonikus és a számtani középének szorzata M-mel egyezik meg, ahogy az a definíciókból is következik. Így tehát, M osztóharmonikus, osztói k harmonikus közepével, csakkor ha az osztóinak átlaga megegyezik M és az 1/k egységtört szorzatával.

Ore megmutatta, hogy minden tökéletes szám egyben osztóharmonikus szám is. Mivel egy M tökéletes szám osztóinak összege éppen 2M, ezért osztóinak átlaga M(2/τ(M)), ahol τ(M)-mel M osztóinak számát jelöljük. Bármely M-re, τ(M) csakkor páratlan, ha M négyzetszám, hiszen egyébként M bármely d osztója párosítható egy másik M/d osztóval. De tudjuk, hogy egyetlen tökéletes szám sem négyzetszám: ez következik a páros tökéletes számok ismert formájából és hogy a páratlan tökéletes számok (ha léteznek ilyenek) szükségszerűen rendelkeznek olyan q osztóval, hogy qα ahol α ≡ 1 (mod 4). Tehát M tökéletes számra, τ(M) páros, és az osztók átlaga az M szorzata a 2/τ(M) törttel; ezért M osztóharmonikus szám.

Ore feltevése szerint az 1-en kívül nem létezik más páratlan osztóharmonikus szám. Ha ez igaznak bizonyul, abból következik az is, hogy nem léteznek páratlan tökéletes számok.

Korlátok és számítógépes keresések

W. H. Mills megmutatta, hogy bármely egynél nagyobb páratlan osztóharmonikus számnak rendelkeznie kell 107-nél nagyobb prímtényezővel, Cohen pedig igazolta, hogy legalább három prímtényezőjének kellene lennie. Cohen and Sorli (2010) megmutatták, hogy nem létezik 1024-nél kisebb páratlan osztóharmonikus szám.

Cohen, Goto, és mások különböző számítógépes kereséseket végeztek a kis osztóharmonikus számok megtalálására. Előállították az ismert, 2×109-nél kisebb osztóharmonikus számok listáját, valamint az összes osztóharmonikus számot, ahol az osztók harmonikus közepe legfeljebb 300.

Jegyzetek

  • Muskat, Joseph B. (1966). „On Divisors of Odd Perfect Numbers”. Mathematics of Computation 20 (93), 141–144. o, Kiadó: American Mathematical Society. DOI:10.2307/2004277.  

Fordítás

  • Ez a szócikk részben vagy egészben a Harmonic divisor number című angol Wikipédia-szócikk ezen változatának fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

Jegyzetek

  1. A kifejezésnek korábban nem volt elfogadott magyar elnevezése, de a "harmonic divisor number" tükörfordításaként kevésbé félrevezető, mint a szakirodalomban néha előforduló (és más fogalmakra is használt) harmonikus szám.