Bernulli raqami - Bernoulli number - Wikipedia

Bernulli raqamlari B±
n
nkasro‘nli kasr
01+1.000000000
1±1/2±0.500000000
21/6+0.166666666
30+0.000000000
41/30−0.033333333
50+0.000000000
61/42+0.023809523
70+0.000000000
81/30−0.033333333
90+0.000000000
105/66+0.075757575
110+0.000000000
12691/2730−0.253113553
130+0.000000000
147/6+1.166666666
150+0.000000000
163617/510−7.092156862
170+0.000000000
1843867/798+54.97117794
190+0.000000000
20174611/330−529.1242424

Yilda matematika, Bernulli raqamlari Bn a ketma-ketlik ning ratsional sonlar ichida tez-tez uchraydigan sonlar nazariyasi. Bernulli raqamlari quyidagicha ko'rinadi (va ularni aniqlash mumkin) Teylor seriyasi ning kengayishi teginish va giperbolik tangens funktsiyalari, yilda Faolxabarning formulasi summasi uchun m- birinchi kuchlar n musbat tamsayılar, ichida Eyler - Maklaurin formulasi va ning ma'lum qiymatlari uchun ifodalarda Riemann zeta funktsiyasi.

Birinchi 20 Bernulli raqamlarining qiymatlari qo'shni jadvalda keltirilgan. Adabiyotda bu erda ko'rsatilgan ikkita konvensiya qo'llaniladi va ; ular faqat uchun farq qiladi n = 1, qayerda va . Har bir g'alati uchun n > 1, Bn = 0. Har bir juft uchun n > 0, Bn agar salbiy bo'lsa n 4 ga bo'linadi va aks holda ijobiy bo'ladi. Bernulli raqamlari - ning maxsus qiymatlari Bernulli polinomlari , bilan va (Vayshteyn 2016 yil ).

Bernulli raqamlari bir vaqtning o'zida shveytsariyalik matematik tomonidan topilgan Jeykob Bernulli, ularning nomi bilan nomlangan va mustaqil ravishda yapon matematikasi Seki Takakazu. Seki kashfiyoti vafotidan keyin 1712 yilda nashr etilgan (Selin 1997 yil, p. 891; Smit va Mikami 1914, p. 108) o'z ishida Katsuyō Sanpō; Bernulli ham, vafotidan keyin ham Ars Conjectandi 1713 yil Ada Lovelace "s eslatma G ustida Analitik vosita 1842 yildan boshlab an algoritm bilan Bernulli raqamlarini yaratish uchun Hammayoqni mashinasi (Menabriya 1842, Izoh G). Natijada, Bernulli raqamlari birinchi nashr etilgan kompleksning mavzusi bo'lish xususiyatiga ega kompyuter dasturi.

Notation

Yuqori belgi ± ushbu maqolada ishlatiladigan Bernulli raqamlari uchun ikkita belgi konventsiyasini ajratib turadi. Faqat n = 1 muddat ta'sir qiladi:

Quyidagi formulalarda bir belgi konventsiyasidan boshqasiga munosabat bilan o'tish mumkin yoki butun son uchun n = 2 yoki undan katta bo'lsa, shunchaki uni e'tiborsiz qoldiring.

Beri Bn = 0 hamma g'alati uchun n > 1, va ko'plab formulalar faqat Bernoulli juft indekslarini o'z ichiga oladi, ozgina mualliflar yozadi "Bn" o'rniga B2n . Ushbu maqola ushbu yozuvga amal qilmaydi.

Tarix

Dastlabki tarix

Bernulli raqamlari qadimgi davrlardan beri matematiklar uchun qiziq bo'lgan butun sonli kuchlar yig'indisini hisoblashning dastlabki tarixidan kelib chiqadi.

Seki Takakazuning sahifasi Katsuyō Sanpō (1712), jadvalning binomial koeffitsientlari va Bernulli raqamlari

Birinchisining yig'indisini hisoblash usullari n musbat tamsayılar, kvadratlar va birinchi kublarning yig'indisi n musbat tamsayılar ma'lum bo'lgan, ammo haqiqiy "formulalar" mavjud emas, faqat so'zlar bilan to'liq tavsiflangan. Antik davrning buyuk matematiklari orasida ushbu muammoni ko'rib chiqish kerak edi Pifagoralar (miloddan avvalgi 572-497 yillarda, Gretsiya), Arximed (Miloddan avvalgi 287–212, Italiya), Aryabhata (476 yilda tug'ilgan, Hindiston), Abu Bakr al-Karajiy (vafoti 1019, Fors) va Abu Ali al-Hasan ibn al-Hasan ibn al-Xaysam (965–1039, Iroq).

XVI asr oxiri va XVII asr boshlarida matematiklar sezilarli yutuqlarga erishdilar. G'arbda Tomas Harriot (1560–1621) Angliya, Yoxann Faulxabar (1580–1635) Germaniya, Per de Fermat (1601–1665) va hamkasbi frantsuz matematikasi Blez Paskal (1623–1662) barchasi muhim rol o'ynagan.

Tomas Harriot birinchi bo'lib ramziy belgilar yordamida kuchlar yig'indisi uchun formulalarni chiqargan va yozgan, ammo u faqat to'rtinchi kuchlar yig'indisigacha hisoblagan. Yoxann Faulxabar o'zining 1631 yilida 17-hokimiyatgacha bo'lgan vakolatlar yig'indisi uchun formulalar bergan Akademiya algebrai, o'zidan oldingi har kimdan ancha yuqori, ammo u umumiy formulani keltirmadi.

1654 yilda Blez Paskal isbotladi Paskalning o'ziga xosligi ning yig'indilari bilan bog'liq pbirinchi kuchlar n uchun musbat tamsayılar p = 0, 1, 2, …, k.

Shveytsariyalik matematik Yakob Bernulli (1654–1705) yagona doimiylik borligini birinchi bo'lib anglagan B0, B1, B2,… bu barcha vakolatlarning yig'indisi uchun yagona formulani taqdim etadi (Knuth 1993 yil ).

Bernulli o'zining formulasining koeffitsientlarini tez va osonlikcha hisoblash uchun zarur bo'lgan naqshni urganida quvonch hosil qildi. vhar qanday musbat tamsayı uchun th kuchlari v uning sharhidan ko'rish mumkin. U yozgan:

"Ushbu jadval yordamida birinchi 1000 raqamning o'ninchi kuchlari birlashtirilib, 91409.924.2241.424.2243.424.2241.924.2242.500 yig'indisini olishini aniqlash uchun menga yarim chorakdan kam vaqt kerak bo'ldi."

Bernulli natijasi vafotidan keyin nashr etilgan Ars Conjectandi 1713 yilda. Seki Takakazu mustaqil ravishda Bernulli raqamlarini kashf etdi va uning natijasi bir yil oldin, vafotidan keyin, 1712 yilda nashr etildi (Selin 1997 yil, p. 891). Biroq, Seki o'z uslubini doimiylar ketma-ketligiga asoslangan formula sifatida taqdim etmadi.

Bernulli kuchlari yig'indisi formulasi hozirgi kungacha eng foydali va umumlashtiriladigan formuladir. Taklifiga binoan Bernulli formulasidagi koeffitsientlar endi Bernulli raqamlari deb ataladi Avraam de Moivre.

Bernulli formulasi ba'zan chaqiriladi Faolxabarning formulasi Yoxann Faolxabarning ta'kidlashicha, u kuchlar yig'indisini hisoblashning ajoyib usullarini topgan, ammo Bernulli formulasini hech qachon aytmagan. Knutga ko'ra (Knuth 1993 yil ) Faolxaber formulasining qat'iy isboti birinchi tomonidan nashr etilgan Karl Jakobi 1834 yilda (Jakobi 1834 yil ). Kuth Fulxabarning formulasini chuqur o'rganib chiqdi (LHS bo'yicha nostandart yozuvlar bundan keyin ham izohlanadi):

"Faolxaber hech qachon Bernulli sonlarini kashf qilmagan; ya'ni doimiylarning yagona ketma-ketligini anglamagan B0, B1, B2, … Forma bilan ta'minlar edi
yoki
vakolatlarning barcha summalari uchun. Masalan, u formulalarini o'zgartirgandan so'ng koeffitsientlarning deyarli yarmi nolga teng bo'lganligi haqida u hech qachon eslamagan. nm in polinomlardan N ichida polinomlarga n." (Knuth 1993 yil, p. 14)

"Summae Potestatum" ni qayta qurish

Yakob Bernullining "Summae Potestatum", 1713 yil[a]

Bernulli raqamlari OEISA164555(n) /OEISA027642(n) kitobda Yakob Bernulli tomonidan kiritilgan Ars Conjectandi vafotidan keyin 1713 yilda nashr etilgan 97-bet. Asosiy formulani tegishli faksimilaning ikkinchi yarmida ko'rish mumkin. Belgilangan doimiy koeffitsientlar A, B, C va D. Bernulli tomonidan hozirgi kunda keng tarqalgan yozuvlar bilan tasvirlangan A = B2, B = B4, C = B6, D. = B8. Ifoda v·v−1·v−2·v−3 degani v·(v−1)·(v−2)·(v−3) - kichik nuqtalar guruhlash belgilari sifatida ishlatiladi. Bugungi iboralar terminologiyasidan foydalangan holda tushayotgan faktorial kuchlar vk. Faktorial yozuv k! uchun yorliq sifatida 1 × 2 × … × k 100 yildan so'nggina kiritilgan. Chap tarafdagi ajralmas belgi orqaga qaytadi Gotfrid Vilgelm Leybnits 1675 yilda kim uni uzoq xat sifatida ishlatgan bo'lsa S "summa" uchun (sum).[b] Xat n chap tomonida ko'rsatkichi emas yig'ish lekin tushunish kerak bo'lgan yig'indilar oralig'ining yuqori chegarasini beradi 1, 2, …, n. Birgalikda narsalarni ijobiy tomonga birlashtirish v, bugungi kunda matematik Bernulli formulasini quyidagicha yozishi mumkin:

Ushbu formula sozlashni taklif qiladi B1 = 1/2 faqat 2, 4, 6 ... indekslarini ishlatadigan "arxaik" sanoqdan zamonaviy shaklga o'tishda (keyingi paragrafdagi turli xil konventsiyalar haqida). Ushbu kontekstda eng yorqin narsa bu tushayotgan faktorial vk−1 uchun bor k = 0 qiymati 1/v + 1 (Grem, Knut va Patashnik 1989 yil, 2.51-bo'lim). Shunday qilib Bernulli formulasini yozish mumkin

agar B1 = 1/2, Bernulli ushbu pozitsiyadagi koeffitsientga bergan qiymatini qaytarib olish.

Uchun formula birinchi yarmida oxirgi muddatdagi xato mavjud; shunday bo'lishi kerak o'rniga .

Ta'riflar

So'nggi 300 yil ichida Bernulli raqamlarining ko'plab xarakteristikalari topilgan va ularning har biri ushbu raqamlarni kiritish uchun ishlatilishi mumkin. Bu erda faqat eng foydali uchtasi eslatib o'tilgan:

  • rekursiv tenglama,
  • aniq formula,
  • ishlab chiqaruvchi funktsiya.

Isboti uchun ekvivalentlik uchta yondashuvdan birini ko'ring (Irlandiya va Rozen 1990 yil ) yoki (Conway & Guy 1996 yil ).

Rekursiv ta'rif

Bernulli sonlari yig'indisi formulalariga bo'ysunadi (Vayshteyn 2016 yil )

qayerda va δ belgisini bildiradi Kronekker deltasi. Uchun hal qilish rekursiv formulalarni beradi

Aniq ta'rif

1893 yilda Lui Saalschutz Bernulli raqamlari uchun jami 38 ta aniq formulalarni sanab o'tdi (Saalschutz 1893 yil ), odatda eski adabiyotlarda ba'zi ma'lumotlarga ega bo'lish. Ulardan biri:

Yaratuvchi funktsiya

Eksponent ishlab chiqarish funktsiyalari bor

almashtirish qaerda .

(Oddiy) ishlab chiqaruvchi funktsiya

bu asimptotik qator. Unda trigamma funktsiyasi ψ1.

Bernulli raqamlari va Riemann zeta funktsiyasi

Riemann zeta funktsiyasi tomonidan berilgan Bernulli raqamlari.

Bernulli raqamlari bilan ifodalanishi mumkin Riemann zeta funktsiyasi:

B+
n
= −(1 − n)
uchun n ≥ 1 .

Bu erda zeta funktsiyasining argumenti 0 yoki salbiy.

Zeta yordamida funktsional tenglama va gamma aks ettirish formulasi quyidagi munosabatni olish mumkin (Arfken 1970 yil, p. 279):

uchun n ≥ 1 .

Endi zeta funktsiyasining argumenti ijobiydir.

Keyin kelib chiqadi ζ → 1 (n → ∞) va Stirling formulasi bu

uchun n → ∞ .

Bernulli raqamlarini samarali hisoblash

Ba'zi ilovalarda Bernulli raqamlarini hisoblash imkoniyati mavjud B0 orqali Bp − 3 modul p, qayerda p asosiy hisoblanadi; masalan, yo'qligini tekshirish uchun Vandiverning taxminlari uchun ushlab turadi p, yoki hatto yo'qligini aniqlash uchun p bu tartibsiz asosiy. Yuqoridagi rekursiv formulalar yordamida bunday hisoblashni amalga oshirish mumkin emas, chunki hech bo'lmaganda (ning doimiy ko'paytmasi) p2 arifmetik amallar talab qilinadi. Yaxshiyamki, tezroq usullar ishlab chiqilgan (Buhler va boshq. 2001 yil ) faqat talab qiladi O(p (log p)2) operatsiyalar (qarang katta O yozuv ).

Devid Xarvi (Xarvi 2010 yil ) Bernulli sonlarini hisoblash yordamida hisoblash algoritmini tavsiflaydi Bn modul p ko'plab kichik sonlar uchun pva keyin qayta qurish Bn orqali Xitoyning qolgan teoremasi. Harvi, deb yozadi asimptotik vaqtning murakkabligi ushbu algoritmning O(n2 log (n)2 + ε) va buni da'vo qilmoqda amalga oshirish boshqa usullarga asoslangan dasturlardan sezilarli darajada tezroq. Ushbu dasturdan foydalanib, Harvey hisoblab chiqdi Bn uchun n = 108. Harvining amalga oshirilishi kiritilgan SageMath 3.1 versiyasidan beri. Bungacha Bernd Kellner (Kellner 2002 yil ) hisoblangan Bn to'liq aniqlik bilan n = 106 2002 yil dekabrda va Oleksandr Pavlik (Pavlik 2008 yil ) uchun n = 107 bilan Matematik 2008 yil aprel oyida.

KompyuterYilnRaqamlar *
J. Bernulli~1689101
L. Eyler1748308
J. C. Adams18786236
D. E. Knut, T. J. Buxolts196716723330
G. Fee, S. Plouffe19961000027677
G. Fe, S. Plouffe1996100000376755
B. C. Kellner200210000004767529
O. Pavlik20081000000057675260
D. Xarvi2008100000000676752569
* Raqamlar ni qachon 10 ning ko'rsatkichi sifatida tushunish kerak Bn normallashtirilgan holda haqiqiy son sifatida yoziladi ilmiy yozuv.

Bernulli raqamlarining qo'llanilishi

Asimptotik tahlil

Bernulli sonlarining matematikadagi eng muhim qo'llanilishi, bu ularning ishlatilishidir Eyler - Maklaurin formulasi. Buni taxmin qilaylik f Eyler-Maklaurin formulasini quyidagicha yozish mumkin:Grem, Knut va Patashnik 1989 yil, 9.67)

Ushbu formulalar konventsiyani qabul qiladi B
1
= −1/2
. Anjumandan foydalanish B+
1
= +1/2
formulasi bo'ladi

Bu yerda (ya'ni nolinchi tartibli lotin faqat ). Bundan tashqari, ruxsat bering belgilang antivivativ ning . Tomonidan hisoblashning asosiy teoremasi,

Shunday qilib, oxirgi formulani Eyler-Maklaurin formulasining quyidagi qisqacha shakli bilan yanada soddalashtirish mumkin

Ushbu forma, masalan, zeta funktsiyasining muhim Eyler-Maklaurin kengayishi uchun manba hisoblanadi

Bu yerda sk belgisini bildiradi ko'tarilgan faktorial kuch (Grem, Knut va Patashnik 1989 yil, 2.44 va 2.52).

Bernulli raqamlari boshqa turlarda ham tez-tez ishlatiladi asimptotik kengayish. Quyidagi misol .ning klassik Poincaré tipidagi asimptotik kengayishi digamma funktsiyasi ψ.

Vakolatlar yig'indisi

Bernulli raqamlari yopiq shakl yig'indisi mbirinchi kuchlar n musbat tamsayılar. Uchun m, n ≥ 0 aniqlang

Ushbu iborani har doim a shaklida qayta yozish mumkin polinom yilda n daraja m + 1. The koeffitsientlar bu polinomlar Bernulli raqamlari bilan bog'liq Bernulli formulasi:

qayerda (m + 1
k
)
belgisini bildiradi binomial koeffitsient.

Masalan, olish m $ 1 $ bo'lishini beradi uchburchak raqamlar 0, 1, 3, 6, … OEISA000217.

Qabul qilish m bo'lish 2 beradi kvadrat piramidal raqamlar 0, 1, 5, 14, … OEISA000330.

Ba'zi mualliflar Bernulli raqamlari uchun muqobil konventsiyadan foydalanadilar va Bernulli formulasini shunday ifodalaydilar:

Bernulli formulasi ba'zan chaqiriladi Faolxabarning formulasi keyin Yoxann Faulxabar kim ham hisoblashning ajoyib usullarini topdi vakolatlar summasi.

Folxaberning formulasi V. Guo va J. Zeng tomonidan a ga umumlashtirildi q-analog (Guo & Zeng 2005 yil ).

Teylor seriyasi

Bernulli raqamlari Teylor seriyasi ko'pchilikning kengayishi trigonometrik funktsiyalar va giperbolik funktsiyalar.

Tangens
Kotangens
Giperbolik tangens
Giperbolik kotangens

Loran seriyasi

Bernulli raqamlari quyidagicha ko'rinadi Loran seriyasi (Arfken 1970 yil, p. 463):

Digamma funktsiyasi:

Topologiyada foydalaning

The Kervaire-Milnor formulasi ning diffeomorfizm sinflarining tsiklik guruhi tartibi uchun ekzotik (4n − 1)-sferalar qaysi bog'langan parallellashtiriladigan manifoldlar Bernulli raqamlarini o'z ichiga oladi. Ruxsat bering ESn uchun bunday ekzotik sferalarning soni bo'lsin n ≥ 2, keyin

The Xirzebrux imzo teoremasi uchun L tur a silliq yo'naltirilgan yopiq kollektor ning o'lchov 4n Bernulli raqamlarini ham o'z ichiga oladi.

Kombinatorial raqamlar bilan bog'lanish

Bernulli sonining har xil turdagi kombinatorial sonlarga ulanishi cheklangan farqlarning klassik nazariyasiga va Bernulli sonlarini kombinatorial talqin qilishga asosli kombinatorial printsipning misoli sifatida asoslanadi. inklyuziya - chiqarib tashlash printsipi.

Worpitzky raqamlari bilan aloqa

Davom etish ta'rifi Yuliy Vorpitski tomonidan 1883 yilda ishlab chiqilgan. Elementar arifmetikadan tashqari faqat faktorial funktsiya n! va quvvat funktsiyasi km ish bilan ta'minlangan. Belgisiz Worpitzky raqamlari quyidagicha aniqlanadi

Ular orqali ham ifodalanishi mumkin Ikkinchi turdagi raqamlar

Bernulli raqami, keyin tortilgan Worpitzky sonlarining inklyuzion yig'indisi sifatida kiritiladi harmonik ketma-ketlik 1, 1/21/3, …

B0 = 1
B1 = 1 − 1/2
B2 = 1 − 3/2 + 2/3
B3 = 1 − 7/2 + 12/36/4
B4 = 1 − 15/2 + 50/360/4 + 24/5
B5 = 1 − 31/2 + 180/3390/4 + 360/5120/6
B6 = 1 − 63/2 + 602/32100/4 + 3360/52520/6 + 720/7

Ushbu vakillik mavjud B+
1
= +1/2
.

Ketma-ketlikni ko'rib chiqing sn, n ≥ 0. Vorpitskiyning raqamlaridan OEISA028246, OEISA163626 ga murojaat qilgan s0, s0, s1, s0, s1, s2, s0, s1, s2, s3, … qo'llaniladigan Akiyama-Tanigava konvertatsiyasiga o'xshaydi sn (qarang Birinchi turdagi Stirling raqamlari bilan ulanish ). Buni jadval orqali ko'rish mumkin:

Shaxsiyat
Vorpitskiyning vakolatxonasi va Akiyama - Tanigava o'zgarishi
101001000100001
1−102−2003−30004−4
1−3204−106009−2112
1−712−608−3854−24
1−1550−6024

Birinchi qator ifodalaydi s0, s1, s2, s3, s4.

Demak, ikkinchi kasrli Eyler raqamlari uchun OEISA198631 (n) / OEISA006519 (n + 1):

E0 = 1
E1 = 1 − 1/2
E2 = 1 − 3/2 + 2/4
E3 = 1 − 7/2 + 12/46/8
E4 = 1 − 15/2 + 50/460/8 + 24/16
E5 = 1 − 31/2 + 180/4390/8 + 360/16120/32
E6 = 1 − 63/2 + 602/42100/8 + 3360/162520/32 + 720/64

Bernulli sonlarini Vorpitski raqamlari bilan ifodalovchi ikkinchi formula n ≥ 1

Soddalashtirilgan ikkinchi Vorpitskiyning ikkinchi Bernulli raqamlarini tasvirlashi:

OEISA164555 (n + 1) / OEISA027642(n + 1) = n + 1/2n + 2 − 2 × OEISA198631(n) / OEISA006519(n + 1)

bu ikkinchi Bernulli sonlarini ikkinchi kasrli Eyler raqamlariga bog'laydi. Boshlanishi:

1/2, 1/6, 0, −1/30, 0, 1/42, … = (1/2, 1/3, 3/14, 2/15, 5/62, 1/21, …) × (1, 1/2, 0, −1/4, 0, 1/2, …)

Birinchi qavsning raqamlari quyidagicha OEISA111701 (qarang Birinchi turdagi Stirling raqamlari bilan ulanish ).

Ikkinchi turdagi Stirling raqamlari bilan ulanish

Agar S(k,m) bildiradi Ikkinchi turdagi raqamlar (Comtet 1974 yil ) keyin quyidagilar mavjud:

qayerda jm belgisini bildiradi tushayotgan faktorial.

Agar kimdir Bernulli polinomlari Bk(j) kabi (Rademacher 1973 yil ):

qayerda Bk uchun k = 0, 1, 2,… Bernulli raqamlari.

Keyin quyidagi xususiyatidan keyin binomial koeffitsient:

bittasida,

Bernulli polinomlari uchun quyidagilar mavjud (Rademacher 1973 yil ),

Koeffitsienti j yilda (j
m + 1
)
bu (−1)m/m + 1.

Koeffitsientini taqqoslash j Bernulli polinomlarining ikkita ifodasida quyidagilar mavjud:

(ni natijasida B1 = +1/2) bu Bernulli sonlari uchun aniq formuladir va isbotlash uchun ishlatilishi mumkin Fon-Staudt Klauzen teoremasi (Boole 1880; Gould 1972 yil; Havoriy, p. 197).

Birinchi turdagi Stirling raqamlari bilan ulanish

Imzosizlar bilan bog'liq ikkita asosiy formulalar Birinchi turdagi raqamlar [n
m
]
Bernulli raqamlariga (bilan B1 = +1/2) bor

va ushbu summaning teskari tomoni (uchun n ≥ 0, m ≥ 0)

Mana raqam An,m bu Akiyama - Tanigawa ratsional raqamlari bo'lib, ularning bir nechtasi quyidagi jadvalda keltirilgan.

Akiyama - Tanigava raqami
m
n
01234
011/21/31/41/5
11/21/31/41/5
21/61/63/20
301/30
41/30

Akiyama-Tanigava raqamlari Bernulli sonlarini takroriy hisoblashda foydalanish mumkin bo'lgan oddiy takrorlanish munosabatini qondiradi. Bu yuqoridagi 'algoritmik tavsif' bo'limida ko'rsatilgan algoritmga olib keladi. Qarang OEISA051714/OEISA051715.

An avtosekventsiya uning teskari binomial o'zgarishi imzolangan ketma-ketlikka teng bo'lgan ketma-ketlik. Agar asosiy diagonal nolga teng bo'lsa = OEISA000004, avtosekventsiya birinchi turdagi. Misol: OEISA000045, Fibonachchi raqamlari. Agar asosiy diagonal birinchi yuqori diagonali 2 ga ko'paytirilsa, u ikkinchi turdagi. Misol: OEISA164555/OEISA027642, ikkinchi Bernulli raqamlari (qarang OEISA190339). Akiyama-Tanigava konvertatsiyasi qo'llaniladi 2n = 1/OEISA000079 olib keladi OEISA198631 (n) / OEISA06519 (n + 1). Shuning uchun:

Ikkinchi Eyler raqamlari uchun Akiyama-Tanigava konvertatsiyasi
m
n
01234
011/21/41/81/16
11/21/23/81/4
201/43/8
31/41/4
40

Qarang OEISA209308 va OEISA227577. OEISA198631 (n) / OEISA006519 (n + 1) ikkinchi (kasrli) Eyler raqamlari va ikkinchi turdagi avtosekvensiya.

(OEISA164555 (n + 2)/OEISA027642 (n + 2) = 1/6, 0, −1/30, 0, 1/42, …) × ( 2n + 3 − 2/n + 2 = 3, 14/3, 15/2, 62/5, 21, …) = OEISA198631 (n + 1)/OEISA006519 (n + 2) = 1/2, 0, −1/4, 0, 1/2, ….

Shuningdek, qimmatlidir OEISA027641 / OEISA027642 (qarang Worpitzky raqamlari bilan aloqa ).

Paskalning uchburchagi bilan bog'lanish

Paskal uchburchagini Bernulli sonlariga bog'laydigan formulalar mavjud[c]

qayerda n-by-n ning determinantidir Gessenberg matritsasi qismi Paskalning uchburchagi uning elementlari:

Misol:

Eulerian raqamlari bilan aloqa

Birlashtiruvchi formulalar mavjud Eulerian raqamlari n
m
Bernulli raqamlariga:

Ikkala formulalar ham amal qiladi n ≥ 0 agar B1 ga o'rnatildi 1/2. Agar B1 ga o'rnatildi -1/2 ular faqat uchun amal qiladi n ≥ 1 va n ≥ 2 navbati bilan.

Ikkilik daraxt vakili

Stirling polinomlari σn(x) tomonidan Bernulli raqamlari bilan bog'liq Bn = n!σn(1). S. C. Vun (Woon 1997 yil ) hisoblash algoritmini tavsifladi σn(1) ikkilik daraxt sifatida:

SCWoonTree.png

Vunning rekursiv algoritmi (uchun n ≥ 1) ildiz tuguniga tayinlash bilan boshlanadi N = [1,2]. Tugun berilgan N = [a1, a2, …, ak] daraxtning tugunining chap bolasi L(N) = [−a1, a2 + 1, a3, …, ak] va to'g'ri bola R(N) = [a1, 2, a2, …, ak]. Tugun N = [a1, a2, …, ak] kabi yoziladi ±[a2, …, ak] yuqorida ko'rsatilgan daraxtning boshlang'ich qismida ± belgisi bilan ± a1.

Tugun berilgan N faktorial N sifatida belgilanadi

Tugunlar bilan cheklangan N sobit daraxt darajasida n yig'indisi 1/N! bu σn(1), shunday qilib

Masalan:

B1 = 1!(1/2!)
B2 = 2!(−1/3! + 1/2!2!)
B3 = 3!(1/4!1/2!3!1/3!2! + 1/2!2!2!)

Integral vakolatxonasi va davomi

The ajralmas

maxsus qadriyatlarga ega b(2n) = B2n uchun n > 0.

Masalan, b(3) = 3/2ζ(3)π−3men va b(5) = −15/2ζ(5)π−5men. Bu yerda, ζ bo'ladi Riemann zeta funktsiyasi va men bo'ladi xayoliy birlik. Leonxard Eyler (Opera Omnia, Ser. 1, jild 10, p. 351) ushbu raqamlarni ko'rib chiqdi va hisoblab chiqdi

Eyler raqamlariga va π

The Eyler raqamlari Bernulli raqamlari bilan chambarchas bog'liq bo'lgan butun sonlarning ketma-ketligi. Bernulli va Eyler sonlarining teasemptotik kengayishini taqqoslasak, Eyler sonlari E2n taxminan kattalikda 2/π(42n − 22n) Bernulli raqamlaridan baravar katta B2n. Natijada:

Ushbu asimptotik tenglama shuni ko'rsatadiki π Bernulli va Eyler sonlarining umumiy ildizida yotadi. Aslini olib qaraganda π ushbu oqilona taxminlardan hisoblash mumkin edi.

Bernulli sonlarini Eyler raqamlari orqali va aksincha ifodalash mumkin. Chunki, g'alati uchun n, Bn = En = 0 (bundan mustasno B1), ishni qachon ko'rib chiqish kifoya n hatto.

Ushbu konvertatsiya formulalari an teskari munosabat Bernulli va Eyler raqamlari orasida. Ammo bundan ham muhimi, ikkala turdagi sonlar uchun umumiy bo'lgan chuqur arifmetik ildiz mavjud bo'lib, ular raqamlarning yanada ketma-ket ketma-ketligi orqali ifodalanishi va ular bilan chambarchas bog'liq bo'lishi mumkin. π. Ushbu raqamlar uchun belgilanadi n > 1 kabi

va S1 = 1 konventsiya bo'yicha (Elkies 2003 yil ). Ushbu raqamlarning sehri shundaki, ular ratsional sonlar bo'lib chiqadi. Bu birinchi marta isbotlangan Leonhard Eyler muhim qog'ozda (Eyler 1735 ) "De summis serierum recerocarum" (O'zaro ketma-ketliklar yig'indisida) va shu vaqtdan beri matematiklarni hayratga solmoqda. Ushbu raqamlarning birinchi bir nechtasi

(OEISA099612 / OEISA099617)

Bu kengayish koeffitsientlari soniya x + sarg'ish x.

Bernulli va Eyler raqamlari eng yaxshi tushuniladi maxsus ko'rinishlar ketma-ketlikdan tanlangan ushbu raqamlardan Sn va maxsus dasturlarda foydalanish uchun miqyosi.

Ifoda [n hatto], agar 1 qiymatiga ega bo'lsa n teng va 0 aks holda (Iverson qavs ).

Ushbu identifikatorlar shuni ko'rsatadiki, ushbu bo'lim boshida Bernulli va Eyler raqamlari faqat maxsus holat hisoblanadi. Rn = 2Sn/Sn + 1 qachon n hatto. The Rn ga ratsional yaqinliklardir π va ketma-ket ikkita atama har doim ning haqiqiy qiymatini qamrab oladi π. Boshlash n = 1 ketma-ketlik boshlanadi (OEISA132049 / OEISA132050):

Ushbu ratsional sonlar Eylerning yuqorida keltirilgan qog'ozining oxirgi xatboshisida ham uchraydi.

Ushbu ketma-ketlik uchun Akiyama-Tanigava o'zgarishini ko'rib chiqing OEISA046978 (n + 2) / OEISA016116 (n + 1):

011/201/41/41/80
11/213/405/83/4
21/21/29/45/25/8
3−17/23/415/2
45/211/299/4
5877/2
661/2

Ikkinchisidan boshlab, birinchi ustunning raqamlari Eyler formulasining maxrajlari hisoblanadi. Birinchi ustun -1/2 × OEISA163982.

Algoritmik ko'rinish: Zeydel uchburchagi

Ketma-ketlik Sn yana bir kutilmagan, ammo muhim xususiyatga ega: ning maxrajlari Sn faktorialni ajratish (n − 1)!. Boshqacha qilib aytganda: raqamlar Tn = Sn(n − 1)!, ba'zan chaqiriladi Eyler zigzag raqamlari, butun sonlar.

(OEISA000111). Qarang (OEISA253671).

Shunday qilib, Bernulli va Eyler raqamlarining yuqoridagi tasvirlari ushbu ketma-ketlik bo'yicha qayta yozilishi mumkin

Ushbu o'ziga xosliklar Bernulli va Eyler raqamlarini hisoblashni osonlashtiradi: Eyler raqamlari En tomonidan darhol beriladi T2n + 1 va Bernulli raqamlari B2n dan olingan T2n ratsional arifmetikadan qochib, biroz oson siljish orqali.

Qolganlari raqamlarni hisoblashning qulay usulini topishdir Tn. Biroq, allaqachon 1877 yilda Filipp Lyudvig fon Zeydel (Zeydel 1877 ) oddiy hisoblashni osonlashtiradigan mohir algoritmni nashr etdi Tn.

Zeydelning algoritmi Tn
  1. 0 qatoriga 1 qo'yib boshlang va ruxsat bering k hozirda to'ldirilayotgan qator sonini belgilang
  2. Agar k toq, keyin qatorni chap uchiga qo'ying k − 1 qatorning birinchi pozitsiyasida kva chapdan o'ngga qatorni to'ldiring, har bir yozuv chapga va yuqoridagi raqamga yig'indisi bo'lishi kerak
  3. Qator oxirida oxirgi raqamni takrorlang.
  4. Agar k teng, boshqa yo'nalishda ham shunga o'xshash harakat qiling.

Zeydel algoritmi aslida ancha umumiydir (Dominik Dyumont ekspozitsiyasiga qarang (Dumont 1981 yil )) va keyinchalik bir necha bor qayta kashf etilgan.

Zeydelning yondashuviga o'xshash D. E. Knut va T. J. Buxolts (Knuth va Buckholtz 1967 yil ) sonlar uchun takrorlanish tenglamasini berdi T2n va ushbu usulni hisoblash uchun tavsiya qildi B2n va E2n "Butun sonlar bo'yicha oddiy operatsiyalardan foydalangan holda elektron kompyuterlarda".

V. I. Arnold Zeydel algoritmini (Arnold 1991 yil ) va keyinchalik Millar, Sloane va Young Zeydel algoritmini ushbu nom ostida ommalashtirdilar boustrophedon transformatsiyasi.

Uchburchak shakli:

1
11
221
2455
161614105
163246566161
27227225622417812261

Faqat OEISA000657, biri bilan 1 va OEISA214267, ikkita 1 bilan OEISda.

Quyidagi qatorlarda qo'shimcha 1 va bitta 0 bilan tarqatish:

1
01
−1−10
0−1−2−2
55420
0510141616
−61−61−56−46−32−160

Bu OEISA239005, ning imzolangan versiyasi OEISA008280. Asosiy va burchakli OEISA122045. Asosiy diagonali OEISA155585. Markaziy ustun OEISA099023. Qatorlar yig'indisi: 1, 1, -2, -5, 16, 61…. Qarang OEISA163747. Quyidagi 1, 1, 0, -2, 0, 16, 0 bilan boshlangan qatorga qarang.

Akiyama-Tanigawa algoritmi qo'llaniladi OEISA046978 (n + 1) / OEISA016116(n) hosil:

111/201/41/41/8
013/2103/4
−1−13/2415/4
0−515/21
5551/2
061
−61

1. Birinchi ustun OEISA122045. Uning binomial o'zgarishi quyidagilarga olib keladi:

110−20160
0−1−2216−16
−1−1414−32
0510−46
55−56
0−61
−61

Ushbu qatorning birinchi qatori OEISA155585. Borayotgan antidiyagonallarning mutlaq qiymatlari quyidagicha OEISA008280. Antidiyagonallarning yig'indisi quyidagicha OEISA163747 (n + 1).

2. Ikkinchi ustun 1 1 −1 −5 5 61 −61 −1385 1385…. Uning binomial konvertatsiyasi hosil beradi:

122−4−1632272
10−6−1248240
−1−6−660192
−506632
56666
610
−61

Ushbu qatorning birinchi qatori 1 2 2 −4 −16 32 272 544 −7936 15872 353792 −707584…. Ikkinchi bo'linishning mutlaq qiymatlari birinchi bo'linishning mutlaq qiymatlarining ikki baravaridir.

Amaldagi Akiyama-Tanigawa algoritmini ko'rib chiqing OEISA046978 (n) / (OEISA158780 (n + 1) = abs (OEISA117575 (n)) + 1 = 1, 2, 2, 3/2, 1, 3/4, 3/4, 7/8, 1, 17/16, 17/16, 33/32.

1223/213/43/4
−103/225/40
−1−33/2325/4
2−327/2−13
5213/2
−1645
−61

Mutlaq qiymatlari bo'lgan birinchi ustun OEISA000111 trigonometrik funktsiyaning numeratori bo'lishi mumkin.

OEISA163747 birinchi turdagi avtosekvensiya (asosiy diagonali bu OEISA000004). Tegishli qator:

0−1−125−16−61
−1033−21−45
130−24−24
2−3−240
−5−2124
−1645
−61

Birinchi ikkita yuqori diagonal −1 3 −24 402… = (−1)n + 1 × OEISA002832. Antidiyagonallarning yig'indisi quyidagicha 0 −2 0 10… = 2 × OEISA122045(n + 1).

OEISA163982 masalan, ikkinchi turdagi avtosekvensiya OEISA164555 / OEISA027642. Shuning uchun qator:

21−1−2516−61
−1−2−1711−77
−1184−88
27−4−92
5−11−88
−16−77
−61

Asosiy diagonal, bu erda 2 −2 8 −92…, bu erda birinchi ustki qismning dubli OEISA099023. Antidiyagonallarning yig'indisi quyidagicha 2 0 −4 0… = 2 × OEISA155585(n + 1). OEISA163747 − OEISA163982 = 2 × OEISA122045.

Kombinatorial ko'rinish: o'zgaruvchan almashtirishlar

1880 yil atrofida, Zeydel algoritmi nashr etilganidan uch yil o'tgach, Désiré André kombinatorial tahlilning klassik natijasini isbotladi (André 1879 ) & (André 1881 ). Ning Teylor kengayishining birinchi shartlariga qarab trigonometrik funktsiyalarsarg'ish x va soniya x Andrening hayratga soladigan kashfiyoti.

Koeffitsientlar quyidagicha Eyler raqamlari navbati bilan toq va juft indeks. Natijada odatdagi kengayish sarg'ish x + sek x ratsional sonlarning koeffitsientlari mavjud Sn.

Keyin Andre takrorlangan argument yordamida muvaffaqiyatga erishdi o'zgaruvchan almashtirishlar toq kattalikdagi Eyler raqamlari toq indekslar (shuningdek, ularni tanjensli sonlar deb ham atashadi) va juft indeksning o'zgaruvchan permutatsiyasini juft indeksli Eyler raqamlari (sekant sonlar deb ham nomlanadi) bilan sanab chiqiladi.

Tegishli ketma-ketliklar

Birinchi va ikkinchi Bernulli sonlarining o'rtacha arifmetikasi sherik Bernulli sonlari: B0 = 1, B1 = 0, B2 = 1/6, B3 = 0, B4 = −1/30, OEISA176327 / OEISA027642. Uning teskari Akiyama-Tanigava transformatsiyasining ikkinchi qatori orqali OEISA177427, ular Balmer seriyasiga olib keladi OEISA061037 / OEISA061038.

Akiyama-Tanigawa algoritmi qo'llaniladi OEISA060819 (n + 4) / OEISA145979 (n) Bernulli raqamlariga olib keladi OEISA027641 / OEISA027642, OEISA164555 / OEISA027642, yoki OEISA176327 OEISA176289 holda B1, ichki Bernulli raqamlari deb nomlangan Bmen(n).

15/63/47/102/3
1/61/63/202/155/42
01/301/202/355/84
1/301/303/1401/1050
01/421/284/1051/28

Shunday qilib ichki Bernulli raqamlari va Balmer qatori orqali yana bir bog'liqlik mavjud OEISA145979 (n).

OEISA145979 (n − 2) = 0, 2, 1, 6,… - manfiy bo'lmagan sonlarning almashinuvi.

Birinchi qatorning shartlari f (n) = 1/2 + 1/n + 2. 2, f (n) - ikkinchi turdagi avtosekvensiya. 3/2, f (n) teskari binomial konvertatsiya bilan 3/2 −1/2 1/3 −1/4 1/5 ... = 1/2 + log 2 ga olib keladi.

G (n) = 1/2 - 1 / (n + 2) = 0, 1/6, 1/4, 3/10, 1/3 ni ko'rib chiqing. Akiyama-Tanagiva konvertatsiyasi quyidagilarni beradi.

01/61/43/101/35/14...
1/61/63/202/155/423/28...
01/301/202/355/845/84...
1/301/303/1401/10501/140...

0, g (n), ikkinchi turdagi avtosekvensiya.

Eyler OEISA198631 (n) / OEISA006519 (n + 1) ikkinchi muddatsiz (1/2) bu kasrli ichki Eyler raqamlari Emen(n) = 1, 0, −1/4, 0, 1/2, 0, −17/8, 0, … Tegishli Akiyama konvertatsiyasi:

117/83/421/32
01/43/83/85/16
1/41/401/425/64
01/23/49/165/32
1/21/29/1613/8125/64

Birinchi satr EI(n). EI(n) noldan oldin birinchi turdagi avtosekvensiya. U Oresme raqamlari bilan bog'langan. The numerators of the second line are OEISA069834 preceded by 0. The difference table is:

0117/83/421/3219/32
101/81/83/321/165/128
−11/801/321/323/1281/64

Arithmetical properties of the Bernoulli numbers

The Bernoulli numbers can be expressed in terms of the Riemann zeta function as Bn = −(1 − n) butun sonlar uchun n ≥ 0 uchun taqdim etilgan n = 0 ifoda (1 − n) is understood as the limiting value and the convention B1 = 1/2 ishlatilgan. This intimately relates them to the values of the zeta function at negative integers. As such, they could be expected to have and do have deep arithmetical properties. Masalan, Agoh-Giuga gumoni buni postulat qiladi p is a prime number if and only if pBp − 1 is congruent to −1 modulo p. Divisibility properties of the Bernoulli numbers are related to the ideal class groups ning siklotomik maydonlar by a theorem of Kummer and its strengthening in the Herbrand-Ribet theorem, and to class numbers of real quadratic fields by Ankeny–Artin–Chowla.

The Kummer theorems

The Bernoulli numbers are related to Fermaning so'nggi teoremasi (FLT) by Kummer 's theorem (Kummer 1850 ), which says:

If the odd prime p does not divide any of the numerators of the Bernoulli numbers B2, B4, …, Bp − 3 keyin xp + yp + zp = 0 has no solutions in nonzero integers.

Prime numbers with this property are called oddiy sonlar. Another classical result of Kummer (Kummer 1851 ) are the following kelishuvlar.

Ruxsat bering p be an odd prime and b an even number such that p − 1 bo'linmaydi b. Then for any non-negative integer k

A generalization of these congruences goes by the name of p-adic continuity.

p-adic continuity

Agar b, m va n are positive integers such that m va n ga bo'linmaydi p − 1 va mn (mod pb − 1 (p − 1)), keyin

Beri Bn = −(1 − n), this can also be written

qayerda siz = 1 − m va v = 1 − n, Shuning uchun; ... uchun; ... natijasida siz va v are nonpositive and not congruent to 1 modulo p − 1. This tells us that the Riemann zeta function, with 1 − ps taken out of the Euler product formula, is continuous in the p- oddiy raqamlar on odd negative integers congruent modulo p − 1 ma'lum bir narsaga a ≢ 1 mod (p − 1), and so can be extended to a continuous function ζp(s) Barcha uchun p- oddiy tamsayılar p, p-adic zeta function.

Ramanujan's congruences

The following relations, due to Ramanujan, provide a method for calculating Bernoulli numbers that is more efficient than the one given by their original recursive definition:

Fon Staudt-Klauzen teoremasi

The von Staudt–Clausen theorem was given by Karl Georg Christian von Staudt (von Staudt 1840 ) va Tomas Klauzen (Clausen 1840 ) independently in 1840. The theorem states that for every n > 0,

butun son The sum extends over all asosiy p buning uchun p − 1 ajratadi 2n.

A consequence of this is that the denominator of B2n is given by the product of all primes p buning uchun p − 1 ajratadi 2n. In particular, these denominators are kvadratsiz and divisible by 6.

Why do the odd Bernoulli numbers vanish?

Yig'indisi

can be evaluated for negative values of the index n. Doing so will show that it is an g'alati funktsiya for even values of k, which implies that the sum has only terms of odd index. This and the formula for the Bernoulli sum imply that B2k + 1 − m 0 uchun m even and 2k + 1 − m > 1; and that the term for B1 is cancelled by the subtraction. The von Staudt–Clausen theorem combined with Worpitzky's representation also gives a combinatorial answer to this question (valid for n > 1).

From the von Staudt–Clausen theorem it is known that for odd n > 1 raqam 2Bn butun son This seems trivial if one knows beforehand that the integer in question is zero. However, by applying Worpitzky's representation one gets

kabi sum of integers, which is not trivial. Here a combinatorial fact comes to surface which explains the vanishing of the Bernoulli numbers at odd index. Ruxsat bering Sn,m be the number of surjective maps from {1, 2, …, n} ga {1, 2, …, m}, keyin Sn,m = m!{n
m
}
. The last equation can only hold if

This equation can be proved by induction. The first two examples of this equation are

n = 4: 2 + 8 = 7 + 3,
n = 6: 2 + 120 + 144 = 31 + 195 + 40.

Thus the Bernoulli numbers vanish at odd index because some non-obvious combinatorial identities are embodied in the Bernoulli numbers.

A restatement of the Riemann hypothesis

The connection between the Bernoulli numbers and the Riemann zeta function is strong enough to provide an alternate formulation of the Riman gipotezasi (RH) which uses only the Bernoulli number. Aslini olib qaraganda Marsel Rizz (Riesz 1916 ) proved that the RH is equivalent to the following assertion:

Har bir kishi uchun ε > 1/4 doimiy mavjud Cε > 0 (bog'liq holda ε) shu kabi |R(x)| < Cεxε kabi x → ∞.

Bu yerda R(x) bo'ladi Riesz function

nk belgisini bildiradi ko'tarilgan faktorial kuch ning yozuvida D. E. Knut. Raqamlar βn = Bn/n occur frequently in the study of the zeta function and are significant because βn a p-integer for primes p qayerda p − 1 bo'linmaydi n. The βn deyiladi divided Bernoulli numbers.

Generalized Bernoulli numbers

The generalized Bernoulli numbers aniq algebraik sonlar, defined similarly to the Bernoulli numbers, that are related to special values ning Dirichlet L-funktsiyalar in the same way that Bernoulli numbers are related to special values of the Riemann zeta function.

Ruxsat bering χ bo'lishi a Dirichlet belgisi modul f. The generalized Bernoulli numbers attached to χ tomonidan belgilanadi

Apart from the exceptional B1,1 = 1/2, we have, for any Dirichlet character χ, bu Bk,χ = 0 agar χ(−1) ≠ (−1)k.

Generalizing the relation between Bernoulli numbers and values of the Riemann zeta function at non-positive integers, one has the for all integers k ≥ 1:

qayerda L(s,χ) is the Dirichlet L-function of χ (Neukirch 1999 yil, §VII.2).

Ilova

Assorted identities

  • Umbral tosh gives a compact form of Bernoulli's formula by using an abstract symbol B:

    qaerda belgi Bk that appears during binomial expansion of the parenthesized term is to be replaced by the Bernoulli number Bk (va B1 = +1/2). More suggestively and mnemonically, this may be written as a definite integral:

    Many other Bernoulli identities can be written compactly with this symbol, e.g.

  • Ruxsat bering n be non-negative and even
  • The nth kumulyant ning bir xil ehtimollik taqsimoti on the interval [−1, 0] is Bn/n.
  • Ruxsat bering n? = 1/n! va n ≥ 1. Keyin Bn quyidagilar (n + 1) × (n + 1) determinant (Malenfant 2011 ):
    Thus the determinant is σn(1), Stirling polinom da x = 1.
  • For even-numbered Bernoulli numbers, B2p tomonidan berilgan (p + 1) × (p + 1) determinant (Malenfant 2011 ):
  • Ruxsat bering n ≥ 1. Keyin (Leonhard Eyler )
  • Ruxsat bering n ≥ 1. Keyin (von Ettingshausen 1827 )
  • Ruxsat bering n ≥ 0. Keyin (Leopold Kronecker 1883)
  • Ruxsat bering n ≥ 1 va m ≥ 1. Keyin (Carlitz 1968 )
  • Ruxsat bering n ≥ 4 va
    The harmonik raqam. Then (H. Miki 1978)
  • Ruxsat bering n ≥ 4. Yuriy Matiyasevich found (1997)
  • Faber–PandharipandeZagier –Gessel identity: uchun n ≥ 1,
    Tanlash x = 0 yoki x = 1 results in the Bernoulli number identity in one or another convention.
  • The next formula is true for n ≥ 0 agar B1 = B1(1) = 1/2, lekin faqat uchun n ≥ 1 agar B1 = B1(0) = −1/2.
  • Ruxsat bering n ≥ 0. Keyin
    va
  • A reciprocity relation of M. B. Gelfand (Agoh & Dilcher 2008 ):

Shuningdek qarang

Izohlar

  1. ^ Translation of the text: " … And if [one were] to proceed onward step by step to higher powers, one may furnish, with little difficulty, the following list:
    Vakolatlar yig'indisi



    Indeed [if] one will have examined diligently the law of arithmetic progression there, one will also be able to continue the same without these circuitous computations: For [if] is taken as the exponent of any power, the sum of all is produced or

    and so forth, the exponent of its power continually diminishing by 2 until it arrives at yoki . The capital letters etc. denote in order the coefficients of the last terms for , etc. namely
    ."
    [Note: The text of the illustration contains some typos: ensperexit should read inspexerit, ambabimus should read ambagibus, quosque should read quousque, and in Bernoulli's original text Sumtâ should read Sumptâ yoki Sumptam.]
    • Smith, David Eugene (1929). Matematikadan manbalar kitobi. New York, New York, USA: McGraw-Hill Book Co. pp. 91–92.
    • Bernoulli, Jacob (1713). Ars Conjectandi (lotin tilida). Basel, Switzerland: Thurnis brothers. 97-98 betlar.
  2. ^ The Matematikaning nasabnomasi loyihasi (nd) shows Leibniz as the academic advisor of Jakob Bernoulli. Shuningdek qarang Miller (2017).
  3. ^ this formula was discovered (or perhaps rediscovered) by Giorgio Pietrocola. His demonstration is available in Italian language (Pietrocola 2008 ).

Adabiyotlar

Tashqi havolalar