Praktisch getal

Een positief geheel getal n {\displaystyle n} wordt in de getaltheorie gedefinieerd als een praktisch getal wanneer elk geheel getal van 1 tot n {\displaystyle n} geschreven kan worden als een som van verschillende delers van n {\displaystyle n} . Er zijn oneindig veel praktische getallen. De eerste praktische getallen zijn:[1]

1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 48, 54, ....

Bijvoorbeeld: 12 is een praktisch getal want de getallen 1 tot en met 12 kunnen geschreven worden als een som van verschillende delers van 12. De delers van 12 zijn 1, 2, 3, 4, 6 en 12 en verder geldt dat 5=2+3, 7=4+3, 8=2+6, 9=3+6, 10=4+6 en 11=1+4+6.

De Indische wiskundige A.K. Srinivasan introduceerde in 1948 de naam "praktisch getal".[2]

Bepalen van praktische getallen

Of een gegeven getal een praktisch getal is, kan men bepalen aan de hand van zijn ontbinding in priemfactoren. Zij deze ontbinding n = p 1 α 1 p k α k {\displaystyle n=p_{1}^{\alpha _{1}}\cdots p_{k}^{\alpha _{k}}} met n > 1 {\displaystyle n>1} en met de priemfactoren p 1 < p 2 < < p k {\displaystyle p_{1}<p_{2}<\ldots <p_{k}}

Dan is n {\displaystyle n} een praktisch getal dan en slechts dan als p 1 = 2 {\displaystyle p_{1}=2} en, voor elke i {\displaystyle i} van 2 tot k {\displaystyle k} ,

p i 1 + σ ( p 1 α 1 p i 1 α i 1 ) = 1 + j = 1 i 1 p j α j + 1 1 p j 1 , {\displaystyle p_{i}\leq 1+\sigma (p_{1}^{\alpha _{1}}\cdots p_{i-1}^{\alpha _{i-1}})=1+\prod _{j=1}^{i-1}{\frac {p_{j}^{\alpha _{j}+1}-1}{p_{j}-1}},}

waarin σ ( x ) {\displaystyle \sigma (x)} de som van de delers van x {\displaystyle x} is.

Deze stelling werd bewezen door B.M. Stewart in 1954[3] en Wacław Sierpiński in 1955.[4]

Voorbeelden

  • 2 is een praktisch getal en elke macht van 2 is dat ook.
  • Elk even perfect getal is een praktisch getal.
  • Elke primoriaal, het product van de eerste x {\displaystyle x} priemgetallen, is een praktisch getal.

Enkele eigenschappen

  • Alle praktische getallen vanaf 2 zijn even.
  • Elk praktisch getal groter dan 2 is een veelvoud van 4 of 6.
  • Als n {\displaystyle n} een praktisch getal is, is 2 n {\displaystyle 2n} ook een praktisch getal.
  • Er zijn oneindig veel trio's van getallen m 2 , m , m + 2 {\displaystyle m-2,\,m,\,m+2} die alle drie praktische getallen zijn.[5]
  • Noem P ( x ) {\displaystyle P(x)} het aantal praktische getallen die niet groter zijn dan x {\displaystyle x} . De orde van grootte van P ( x ) {\displaystyle P(x)} is x / log x {\displaystyle x/\log x} .[6]

Overeenkomst met de priemgetallen

De verzameling van de praktische getallen en van de priemgetallen hebben veel hetzelfde. Ze hebben op het eerste gezicht een zelfde soort verdeling en de verschillen tussen opeenvolgende getallen houden gelijke tred. Er zijn oneindig veel "tweelingen", twee opeenvolgende praktische getallen met een verschil van twee, die ongeveer dezelfde verdeling hebben als dat het geval is bij de priemgetallen.[7] Voor praktische getallen is een stelling, die met het vermoeden van Goldbach overeenkomt: elk even positief geheel getal is een som van twee praktische getallen.[5] Het is ook bewezen dat er oneindig veel "praktische Fibonaccigetallen" zijn.[8] Er is voor priemgetallen een dergelijke stelling nog niet bewezen.

Bronnen, noten en/of referenties
  1. rij A005153 in OEIS
  2. (en) AK Srinivasan in Current Science, Practical numbers, juni 1948. blz. 179-180
  3. (en) BM Stewart in American Journal of Mathematics. Sum of Distinct Divisors, 1954. vol 76 nr 4, blz. 779-785
  4. (fr) W Sierpiński in Annali di Matematica Pura ed Applicata. Sur une propriété des nombres naturels, 1955. vol 39 nr. 1, blz. 69-74 DOI:10.1007/BF02410762
  5. a b (en) G Melfi in Journal of Number Theory. On Two Conjectures about Practical Numbers, 1996. vol 56 nr. 1, blz. 205-210. DOI:10.1006/jnth.1996.0012
  6. (fr) E Saias in Journal of Number Theory. Entiers à diviseurs denses 1, 1997. vol 62 nr. 1, blz. 163–191. DOI:10.1006/jnth.1997.2057
  7. (fr) M Margenstern in Journal of Number Theory. Les nombres pratiques: théorie, observations et conjectures, 1991. vol 37 nr. 1, blz. 1-36. DOI:10.1016/S0022-314X(05)80022-8
  8. rij A124105 in OEIS