MCP๋กœ ์—ฐ๊ฒฐ โ†’

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜ B_n
15
terms for n = 0 to 14 (22 significant digits)
n B_n์˜ ๋ถ„์ž B_n์˜ ๋ถ„๋ชจ B_n (์†Œ์ˆ˜)
0 1 1 1
1 -1 2 -0.5
2 1 6 0.1666666666666666666667
3 0 1 0
4 -1 30 -0.03333333333333333333333
5 0 1 0
6 1 42 0.02380952380952380952381
7 0 1 0
8 -1 30 -0.03333333333333333333333
9 0 1 0
10 5 66 0.07575757575757575757576
11 0 1 0
12 -691 2730 -0.2531135531135531135531
13 0 1 0
14 7 6 1.166666666666666666667

๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋ž€?

๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜ \(B_n\)์€ ์ˆ˜ํ•™ ๊ณณ๊ณณ์—์„œ ๋“ฑ์žฅํ•˜๋Š” ์œ ๋ช…ํ•œ ์œ ๋ฆฌ์ˆ˜ ์ˆ˜์—ด์ž…๋‹ˆ๋‹ค. ์ •์ˆ˜์˜ ๊ฑฐ๋“ญ์ œ๊ณฑ ํ•ฉ์„ ๋‹ซํžŒ ํ˜•ํƒœ๋กœ ๋‚˜ํƒ€๋‚ผ ๋•Œ, ์˜ค์ผ๋Ÿฌ-๋งคํด๋กœ๋ฆฐ ๊ณต์‹์—์„œ, ๋ฆฌ๋งŒ ์ œํƒ€ ํ•จ์ˆ˜์˜ ๊ฐ’์—์„œ, ๊ทธ๋ฆฌ๊ณ  ์‚ผ๊ฐํ•จ์ˆ˜์™€ ์Œ๊ณก์„  ํ•จ์ˆ˜์˜ ํ…Œ์ผ๋Ÿฌ ๊ธ‰์ˆ˜์—์„œ ๋น ์ง์—†์ด ๋‚˜ํƒ€๋‚˜์ฃ . ์ด ๊ณ„์‚ฐ๊ธฐ๋Š” ์—ฌ๋Ÿฌ๋ถ„์ด ์ง€์ •ํ•œ ์ธ๋ฑ์Šค ๋ฒ”์œ„์— ๋Œ€ํ•ด \(B_n\)์˜ ์ „์ฒด ํ‘œ๋ฅผ ๋งŒ๋“ค์–ด, ๊ฐ ๊ฐ’์„ ์•ฝ๋ถ„๋œ ์ •ํ™•ํ•œ ๋ถ„์ˆ˜(๋ถ„์ž์™€ ์–‘์˜ ๋ถ„๋ชจ)์™€ ์†Œ์ˆ˜ ๊ทผ์‚ฟ๊ฐ’์œผ๋กœ ํ•จ๊ป˜ ๋ณด์—ฌ์ค๋‹ˆ๋‹ค.

์ฒ˜์Œ ๋ช‡ ๊ฐœ์˜ ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋ฅผ ์ธ๋ฑ์Šค์™€ ํ•จ๊ป˜ ๋ถ„์ˆ˜๋กœ ๋ณด์—ฌ์ฃผ๋Š” ํ‰๋ฉด ํ‘œ ํ˜•์‹ ๊ทธ๋ฆฌ๋“œ
์ฒ˜์Œ ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜ \(B_0\)๋ถ€ํ„ฐ \(B_8\)๊นŒ์ง€๋ฅผ ์ •ํ™•ํ•œ ๋ถ„์ˆ˜๋กœ ํ‘œ์‹œํ•˜๋ฉฐ, ํ™€์ˆ˜ ์ธ๋ฑ์Šค ๊ฐ’(\(B_1\) ์ œ์™ธ)์€ 0์ž…๋‹ˆ๋‹ค.

์‚ฌ์šฉํ•˜๋Š” ๊ทœ์•ฝ

ํ”ํžˆ ์“ฐ์ด๋Š” ๋‘ ๊ฐ€์ง€ ๊ทœ์•ฝ์ด ์žˆ๋Š”๋ฐ, ์ด ๋‘˜์€ ์ธ๋ฑ์Šค 1์—์„œ๋งŒ ์ฐจ์ด๊ฐ€ ๋‚ฉ๋‹ˆ๋‹ค. ์ด ๋„๊ตฌ๋Š” ์ƒ์„ฑํ•จ์ˆ˜ \(x/(e^x - 1)\)์— ๋Œ€์‘ํ•˜๋Š” "์ œ1์ข… ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜" ๊ทœ์•ฝ, ์ฆ‰ \(B_1 = -1/2\)๋ฅผ ์‚ฌ์šฉํ•ฉ๋‹ˆ๋‹ค. ๋”ฐ๋ผ์„œ \(B_0 = 1\), \(B_1 = -1/2\), \(B_2 = 1/6\), \(B_4 = -1/30\) ์‹์œผ๋กœ ์ด์–ด์ง‘๋‹ˆ๋‹ค. ๋˜ํ•œ 1๋ณด๋‹ค ํฐ ํ™€์ˆ˜ ์ธ๋ฑ์Šค์˜ ๊ฐ’์€ ๋ชจ๋‘ ์ •ํ™•ํžˆ 0์ž…๋‹ˆ๋‹ค: \(B_3 = B_5 = B_7 = \dots = 0\).

์‚ฌ์šฉ ๋ฐฉ๋ฒ•

์ตœ์†Œ ์ธ๋ฑ์Šค \(n\)(0 ์ด์ƒ)๊ณผ ์ตœ๋Œ€ ์ธ๋ฑ์Šค \(n\)(100 ์ดํ•˜)์„ ์ž…๋ ฅํ•˜์„ธ์š”. ๊ทธ๋‹ค์Œ ์†Œ์ˆ˜ ์—ด์— ํ‘œ์‹œํ•  ์œ ํšจ์ˆซ์ž ์ž๋ฆฟ์ˆ˜๋ฅผ ๊ณ ๋ฅด๋ฉด ๋ฉ๋‹ˆ๋‹ค. ์ด ์ž๋ฆฟ์ˆ˜๋Š” ๋‹จ์ง€ ํ‘œ์‹œ์šฉ ์„ค์ •์ผ ๋ฟ, ์ •ํ™•ํ•œ ๋ถ„์ˆ˜ ๊ฐ’์—๋Š” ์ „ํ˜€ ์˜ํ–ฅ์„ ์ฃผ์ง€ ์•Š์Šต๋‹ˆ๋‹ค. ๊ณ„์‚ฐ ๋ฒ„ํŠผ์„ ๋ˆ„๋ฅด๋ฉด ๋ฒ”์œ„ ์•ˆ์˜ ์ •์ˆ˜ \(n\)๋งˆ๋‹ค ํ•œ ํ–‰์”ฉ ๊ฒฐ๊ณผ๊ฐ€ ๋‚˜์˜ต๋‹ˆ๋‹ค.

๊ณต์‹ ์„ค๋ช…

๊ฐ \(B_n\)์€ ์ ํ™”์‹์œผ๋กœ ๊ณ„์‚ฐํ•ฉ๋‹ˆ๋‹ค. \(B_0 = 1\)์—์„œ ์ถœ๋ฐœํ•˜์—ฌ, ๋‹ค์Œ๊ณผ ๊ฐ™์ด ๊ตฌํ•ฉ๋‹ˆ๋‹ค.

$$B_n = -\frac{1}{n+1}\sum_{k=0}^{n-1}\binom{n+1}{k}\,B_k$$

๋ชจ๋“  ๊ณ„์‚ฐ์€ ์ž„์˜ ์ •๋ฐ€๋„ ์ •์ˆ˜๋ฅผ ์ด์šฉํ•œ ์ •ํ™•ํ•œ ์œ ๋ฆฌ์ˆ˜ ์—ฐ์‚ฐ์œผ๋กœ ์ด๋ฃจ์–ด์ง€๋ฏ€๋กœ ๋ถ€๋™์†Œ์ˆ˜์  ์˜ค๋ฒ„ํ”Œ๋กœ๊ฐ€ ๋ฐœ์ƒํ•˜์ง€ ์•Š์Šต๋‹ˆ๋‹ค. ์ผ๋ฐ˜์ ์ธ ์Šคํ”„๋ ˆ๋“œ์‹œํŠธ๋Š” \(n = 18\) ๋ถ€๊ทผ์—์„œ ์˜ค๋ฅ˜๊ฐ€ ๋‚˜๊ธฐ ์‰ฝ์ง€๋งŒ, ์ด ๋„๊ตฌ๋Š” ๊ทธ๋ณด๋‹ค ํ›จ์”ฌ ํฐ ๊ฐ’์—์„œ๋„ ์ •ํ™•ํ•จ์„ ์œ ์ง€ํ•ฉ๋‹ˆ๋‹ค.

์ด์ „ ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋ฅผ ๊ฒฐํ•ฉํ•˜๋Š” ์ดํ•ญ ๊ณ„์ˆ˜๋ฅผ ๋ณด์—ฌ์ฃผ๋Š” ์žฌ๊ท€ ํ•ฉ ๊ณต์‹์˜ ํ‰๋ฉด ๋‹ค์ด์–ด๊ทธ๋žจ
๊ฐ ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋Š” ์ดํ•ญ ๊ณ„์ˆ˜์˜ ๊ฐ€์ค‘ํ•ฉ์„ ํ†ตํ•ด ์ด์ „์˜ ๋ชจ๋“  ์ˆ˜๋กœ๋ถ€ํ„ฐ ๋งŒ๋“ค์–ด์ง‘๋‹ˆ๋‹ค.

๊ณ„์‚ฐ ์˜ˆ์‹œ

\(n = 2\)์ผ ๋•Œ ์ ํ™”์‹์„ ์ ์šฉํ•˜๋ฉด ๋‹ค์Œ๊ณผ ๊ฐ™์ด ๋˜๊ณ ,

$$\sum_{k=0}^{1} \binom{3}{k} B_k = 1\times 1 + 3\times\left(-\tfrac{1}{2}\right) = -\tfrac{1}{2}$$

๋”ฐ๋ผ์„œ ๋‹ค์Œ๊ณผ ๊ฐ™์Šต๋‹ˆ๋‹ค.

$$B_2 = -\tfrac{1}{3}\times\left(-\tfrac{1}{2}\right) = \tfrac{1}{6}$$

์ฆ‰ ์†Œ์ˆ˜๋กœ๋Š” \(0.1666\dots\)์ž…๋‹ˆ๋‹ค. ๊ฐ™์€ ๋ฐฉ์‹์œผ๋กœ \(B_4 = -1/30\), \(B_6 = 1/42\)๋ฅผ ์–ป์Šต๋‹ˆ๋‹ค.

์ฃผ์š” ์šฉ์–ด ๋ฐ ๊ธฐํ˜ธ

\(B_n\) (๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜)
\(n\)๋ฒˆ์งธ ํ•ญ์œผ๋กœ, ์ˆ˜๋ก ๊ณผ ํ•ด์„ํ•™ ์ „๋ฐ˜์— ๊ฑธ์ณ ๋‚˜ํƒ€๋‚˜๋Š” ์œ ๋ฆฌ์ˆ˜ ์ˆ˜์—ด์˜ ํ•ญ์ž…๋‹ˆ๋‹ค. ์ฒ˜์Œ ๋ช‡ ๊ฐœ ๊ฐ’(\(B_1=-\tfrac12\) ๊ด€๋ก€ ์‚ฌ์šฉ)์€ \(B_0=1,\ B_1=-\tfrac12,\ B_2=\tfrac16,\ B_3=0,\ B_4=-\tfrac1{30}\)์ž…๋‹ˆ๋‹ค. \(n\ge 3\)์ธ ํ™€์ˆ˜ ์ง€์ˆ˜๋ฅผ ๊ฐ€์ง„ ๋ชจ๋“  ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋Š” ์ •ํ™•ํžˆ \(0\)์ž…๋‹ˆ๋‹ค.
์ƒ์„ฑํ•จ์ˆ˜ \(\dfrac{x}{e^x-1}\)
๋ฉฑ๊ธ‰์ˆ˜ ์ „๊ฐœ๋ฅผ ํ†ตํ•ด ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋ฅผ ์ •์˜ํ•˜๋Š” ์ง€์ˆ˜์ƒ์„ฑํ•จ์ˆ˜์ž…๋‹ˆ๋‹ค. $$\frac{x}{e^x-1}=\sum_{n=0}^{\infty} B_n\,\frac{x^n}{n!}.$$ ์ด ๊ธ‰์ˆ˜์—์„œ \(x^n/n!\)์˜ ๊ณ„์ˆ˜๊ฐ€ ์ •ํ™•ํžˆ \(B_n\)์ž…๋‹ˆ๋‹ค. ์ด ๊ด€๋ก€๋Š” \(B_1=-\tfrac12\)๋ฅผ ์‚ฐ์ถœํ•ฉ๋‹ˆ๋‹ค.
์ดํ•ญ๊ณ„์ˆ˜ \(\binom{n+1}{k}\)
\(n+1\)๊ฐœ ์ค‘์—์„œ \(k\)๊ฐœ๋ฅผ ์„ ํƒํ•˜๋Š” ๊ฒฝ์šฐ์˜ ์ˆ˜๋กœ, \(\dfrac{(n+1)!}{k!\,(n+1-k)!}\)์™€ ๊ฐ™์Šต๋‹ˆ๋‹ค. ์ด ๊ณ„์ˆ˜๋“ค์€ ํ‘œ๋ฅผ ๋งŒ๋“œ๋Š” ๋ฐ ์‚ฌ์šฉ๋˜๋Š” ์ ํ™”์‹ ๋‚ด์—์„œ ๊ฐ ์ด์ „ ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜์— ์ ์šฉ๋˜๋Š” ๊ฐ€์ค‘์น˜์ž…๋‹ˆ๋‹ค.
์ ํ™”์‹
๊ฐ \(B_n\)์„ ๋ชจ๋“  ๋” ๋‚ฎ์€ ์ง€์ˆ˜ ๊ฐ’ \(B_0,\dots,B_{n-1}\)์œผ๋กœ ํ‘œํ˜„ํ•˜๋Š” ๊ณต์‹์ž…๋‹ˆ๋‹ค: $$B_n=-\frac{1}{n+1}\sum_{k=0}^{n-1}\binom{n+1}{k}\,B_k.$$ \(B_0=1\)์—์„œ ์‹œ์ž‘ํ•˜์—ฌ ํ•œ ๋ฒˆ์— ํ•˜๋‚˜์˜ ์ง€์ˆ˜์”ฉ ์ „์ฒด ์ˆ˜์—ด์„ ์ƒ์„ฑํ•ฉ๋‹ˆ๋‹ค.
์ •ํ™•ํ•œ (๊ธฐ์•ฝ) ๋ถ„์ˆ˜
\(B_n\)์„ ์ตœ์†Œ ๊ณต๋ฐฐ์ˆ˜์ธ ์ •์ˆ˜์˜ ๋น„ \(p/q\)๋กœ ํ‘œํ˜„ํ•˜๋Š” ๊ฒƒ์œผ๋กœ, \(\gcd(p,q)=1\)์ž…๋‹ˆ๋‹ค. ์˜ˆ๋ฅผ ๋“ค์–ด \(B_{12}=-\tfrac{691}{2730}\)์ž…๋‹ˆ๋‹ค. ๋ชจ๋“  ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋Š” ์œ ๋ฆฌ์ˆ˜์ด๋ฏ€๋กœ, ์ •ํ™•ํ•œ ๋ถ„์ˆ˜๋Š” ๋ฐ˜์˜ฌ๋ฆผ๋œ ์†Œ์ˆ˜์™€ ๋‹ฌ๋ฆฌ ์ •๋ฐ€๋„๋ฅผ ์žƒ์ง€ ์•Š์Šต๋‹ˆ๋‹ค.
๋‘ ๊ฐ€์ง€ ๊ด€๋ก€
์ €์ž๋“ค์€ ๋‹จ ํ•˜๋‚˜์˜ ํ•ญ \(B_1\)์˜ ๋ถ€ํ˜ธ์—์„œ๋งŒ ๋‹ค๋ฆ…๋‹ˆ๋‹ค. ์—ฌ๊ธฐ์„œ ์‚ฌ์šฉ๋˜๋Š” ํ˜„๋Œ€ ๊ด€๋ก€๋Š” \(B_1=-\tfrac12\)(์ƒ์„ฑํ•จ์ˆ˜ \(x/(e^x-1)\)๊ณผ ์ผ์น˜)๋ฅผ ์„ค์ •ํ•ฉ๋‹ˆ๋‹ค. ๋” ์ด์ „์˜ ๊ด€๋ก€๋Š” \(B_1=+\tfrac12\)(์ƒ์„ฑํ•จ์ˆ˜ \(x/(1-e^{-x})\)๊ณผ ์ผ์น˜)๋ฅผ ์„ค์ •ํ•ฉ๋‹ˆ๋‹ค. ๋‹ค๋ฅธ ๋ชจ๋“  \(B_n\)์€ ๋‘ ๊ด€๋ก€์—์„œ ๋™์ผํ•˜๋ฏ€๋กœ, \(B_1\)์˜ ๊ฐ’์ด ๋ช…์‹œ๋˜๋ฉด ๋ชจ๋“  ํ‘œ๋Š” ๋ช…ํ™•ํ•ฉ๋‹ˆ๋‹ค.

์ž์ฃผ ๋ฌป๋Š” ์งˆ๋ฌธ

์™œ \(B_1\)์ด \(-1/2\)์ธ๊ฐ€์š”? \(x/(e^x - 1)\) ์ƒ์„ฑํ•จ์ˆ˜ ๊ทœ์•ฝ์„ ์‚ฌ์šฉํ•˜๊ธฐ ๋•Œ๋ฌธ์ž…๋‹ˆ๋‹ค. ๋˜ ๋‹ค๋ฅธ "์ œ2์ข…" ๊ทœ์•ฝ์—์„œ๋Š” \(B_1 = +1/2\)๋กœ ๋‘์ง€๋งŒ, ๋‚˜๋จธ์ง€ ๊ฐ’์€ ๋ชจ๋‘ ๋™์ผํ•ฉ๋‹ˆ๋‹ค.

์™œ ๋Œ€๋ถ€๋ถ„์˜ ํ™€์ˆ˜ ํ•ญ์ด 0์ธ๊ฐ€์š”? ํ•จ์ˆ˜ \(x/(e^x - 1) + x/2\)๊ฐ€ ์šฐํ•จ์ˆ˜์ด๊ธฐ ๋•Œ๋ฌธ์—, ์ธ๋ฑ์Šค๊ฐ€ 3 ์ด์ƒ์ธ ํ™€์ˆ˜ ๋ฒ ๋ฅด๋ˆ„์ด ์ˆ˜๋Š” ๋ชจ๋‘ 0์ด ๋  ์ˆ˜๋ฐ–์— ์—†์Šต๋‹ˆ๋‹ค.

์ •๋ฐ€๋„ ์„ค์ •์ด ์ •ํ™•๋„์— ์˜ํ–ฅ์„ ์ฃผ๋‚˜์š”? ์•„๋‹ˆ์š”. ๋ถ„์ˆ˜๋Š” ์–ธ์ œ๋‚˜ ์ •ํ™•ํ•˜๋ฉฐ, ์ •๋ฐ€๋„๋Š” ํ™”๋ฉด์— ํ‘œ์‹œ๋˜๋Š” ์†Œ์ˆ˜์˜ ๋ฐ˜์˜ฌ๋ฆผ ์ž๋ฆฟ์ˆ˜๋งŒ ๋ฐ”๊ฟ‰๋‹ˆ๋‹ค.

์ตœ์ข… ์—…๋ฐ์ดํŠธ: