A számelméletben bővelkedő számnak nevezünk minden olyan n egészt, amelyre az osztóösszegfüggvény σ(n)>2n , vagy a valódi osztók összege s(n)>n.
Az osztók összegének és a számnak a különbsége [más szóval σ(n) ‒ 2n] a bővelkedés mértéke. Azon feltételezett számokat, amelyeknél ez a mérték 1, kvázitökéletes számoknak vagy legkevésbé bővelkedő számoknak nevezzük.
A természetes számok 3 osztályba sorolása (hiányos számok, tökéletes számok és bővelkedő számok) elsőként Nikomakhosz görög matematikusnál jelenik meg, 100 körül megjelent, Introductio Arithmetica („Bevezetés az aritmetikába”) című művében.
Az első néhány bővelkedő szám:
12, 18, 20, 24, 30, 36, 40, 42, 48, 54, 56, 60, 66, 70, 72, 78, 80, 84, 88, 90, 96, 100, 102, 104, 108,... .
Például a 24 valódi osztói 1, 2, 3, 4, 6, 8 és 12, ezek összege 36. Mivel 36 nagyobb, mint 24, ezért a 24 bővelkedő szám. Bővelkedésének mértéke 36 − 24 = 12.
Az első néhány páratlan bővelkedő szám:
945, 1575, 2205, 2835, 3465, 4095, 4725, 5355, 5775, 5985, 6435, 6615, 6825, 7245, 7425, 7875, 8085, 8415,... .
Tulajdonságok A legkisebb páratlan bővelkedő szám a 945. A legkisebb, 2-vel és 3-mal nem osztható bővelkedő szám az 5391411025, aminek prímtényezői 5, 7, 11, 13, 17, 19, 23 és 29 . Iannucci 2005-ben leírt algoritmusa megkeresi a legkisebb bővelkedő számot, ami nem osztható az első k prímszámmal. Ha jelképezi a legkisebb bővelkedő számot, ami nem osztható az első k prímszámmal, akkor minden -ra: kellően nagy k-ra. Végtelen sok bővelkedő szám létezik, páros és páratlan egyaránt. Davenport 1933-ban analitikus módszerekkel bebizonyította, hogy a bővelkedő számok sorozatának van aszimptotikus sűrűsége. Erre Erdős Pál 1934-ben elegáns elemi bizonyítást adott, igazolva, hogy a primitív bővelkedő számok (olyan nem hiányos számok, amelyek minden valódi osztója hiányos) reciprokösszege korlátos. Ez indíttatta Schurt arra, hogy Erdőst Budapest csodájának nevezze. 1998-ban Marc Deléglise francia matematikus megmutatta, hogy bővelkedő számok sorozatának sűrűsége 0,2474 és 0,2480 közé esik, ezzel eldöntve Henri Cohen kérdését, hogy eléri-e az egynegyedet. Minden tökéletes szám és minden bővelkedő szám többszöröse bővelkedő szám.Tattersall (2005) p.134 Minden 46-nál nagyobb páros szám, és minden 20161-nél nagyobb egész szám felírható két bővelkedő szám összegeként.A048242: Numbers that are not the sum of two abundant numbers (not necessarily distinct) Az olyan bővelkedő számokat, amik nem majdnem tökéletes számok, furcsa számoknak nevezik.Tatersall (2005) p.144 Az olyan bővelkedő számokat, ahol a bővelkedés mértéke 1, kvázitökéletes számoknak vagy legkevésbé bővelkedő számoknak nevezzük – bár még nem sikerült ilyen számot találni.
Kapcsolódó koncepciók Az n szám bővelkedési indexe (abundancy index) a σ(n)/n arány.
Lásd még Tökéletes számok Hiányos számok Barátságos számok
Jegyzetek
További információk Marc bizonyítása Abundant numbers (sum of divisors of n exceeds 2n) (OEIS) Odd abundant numbers (OEIS)
Kategória:Nevezetes számsorozatok