Erdős-Borwein-konstanten er en matematisk konstant lig med summen af de reciproke værdier af Mersenne-tallene . Det er opkaldt efter Pal Erdős og Peter Borwein , som etablerede dets nøgleejendomme .
Per definition er konstanten:
hvilket er ca. 1.606 695 152 415 291 763 783 301 523 190 924 580 480 579 671 505 756 435 778 079 553 691 068 1 079 553 691 0 6 4 6 4 5 6 4 6 4 6 4 6 7
Det kan vises, at følgende summer giver samme konstant:
, , , ,hvor er den multiplikative funktion af divisorer lig med antallet af positive divisorer af tallet . For at bevise ækvivalensen af disse formler bruges det faktum, at de alle repræsenterer Lambert-serien [2] .
Erdős i 1948 viste, at konstanten er et irrationelt tal [3] . Borwein fremlagde senere et alternativt bevis [4] .
Selvom den er irrationel, beregnes den binære repræsentation af en konstant effektivt: Knuth bemærkede i 1998- udgaven af The Art of Programming , at beregningen kan udføres ved hjælp af Clausen-serien, som konvergerer meget hurtigt [5] .
Erdős-Borwein konstanten opstår, når man analyserer adfærden af heapsort- algoritmen [6]
Irrationelle tal | ||
---|---|---|
| ||