Az Erdős-Borwein állandó egy matematikai állandó , amely egyenlő a Mersenne-számok reciprokainak összegével . Nevét Erdős Pálról és Borwein Péterről kapta , akik kulcsfontosságú ingatlanait alapították .
Definíció szerint a konstans:
ami hozzávetőlegesen 1,606 695 152 415 291 763 783 301 523 190 924 580 480 579 671 505 756 435 778 079 553 778 079 553 691 408 691 408 40
Megmutatható, hogy a következő összegek ugyanazt az állandót adják:
, , , ,ahol az osztók szorzófüggvénye egyenlő a szám pozitív osztóinak számával . E képletek egyenértékűségének bizonyítására azt a tényt használjuk fel, hogy mindegyik a Lambert sorozatot képviseli [2] .
Erdős 1948 -ban kimutatta, hogy a konstans irracionális szám [3] . Borwein később alternatív bizonyítást mutatott be [4] .
Bár irracionális, egy konstans bináris reprezentációja hatékonyan számítható ki: Knuth a The Art of Programming 1998-as kiadásában megjegyezte, hogy a számítás elvégezhető a Clausen-sor segítségével, amely nagyon gyorsan konvergál [5] .
Az Erdős-Borwein konstans a halomrendezési algoritmus viselkedésének elemzésekor adódik [6]
Irracionális számok | ||
---|---|---|
| ||