๋ฒ ๋ฅด๋์ด ์๋ ๋ฌด์์ธ๊ฐ์?
๋ฒ ๋ฅด๋์ด ์ \(B_n\)๋ ์ ์๋ก ๊ณผ ํด์ํ ์ ๋ฐ์ ๊ฑธ์ณ ๋ฑ์ฅํ๋ ์ ๋ฆฌ์ ์์ด์ ๋๋ค. ์ด ์๋ค์ ์์ฑํจ์ \(\frac{x}{e^x - 1}\)์ ๋งคํด๋ก๋ฆฐ ๊ธ์ ์ ๊ฐ์์ ๋ํ๋๋ ๊ณ์๋ก ์ ์๋ฉ๋๋ค. ๊ฑฐ๋ญ์ ๊ณฑ ์ ์ํฉ์ ๋ซํ ํํ ๊ณต์, ์ค์ผ๋ฌ-๋งคํด๋ก๋ฆฐ ๊ณต์, ์ง์ ์ ์์์์ ๋ฆฌ๋ง ์ ํ ํจ์ ๊ฐ, ๊ทธ๋ฆฌ๊ณ ํ์ ํธ์ ์ฝํ์ ํธ ํจ์์ ํ ์ผ๋ฌ ๊ธ์ ๋ฑ์์ ๋๋ฃจ ๋ชจ์ต์ ๋๋ฌ๋ ๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ ๋ฐฉ๋ฒ
์์ด ์๋ ์ ์ ์ธ๋ฑ์ค \(n\) (0, 1, 2, 3, ...)์ ์ ๋ ฅํ๊ณ , ์์๋ก ํ์ํ ์ ํจ ์๋ฆฟ์๋ฅผ ์ ํํ์ธ์. ๊ณ์ฐ๊ธฐ๋ ์ ํํ ์ ๋ฆฌ์ ๊ฐ์ ๋ถ์ \(p/q\) ํํ(์: \(B_{12} = -\frac{691}{2730}\))๋ก ์ ์ํ๋ฉฐ, ์ฌ๊ธฐ์ ๋ฐ์ฌ๋ฆผํ ์์๊ฐ์ ํจ๊ป ๋ณด์ฌ์ค๋๋ค. ์ ํจ ์๋ฆฟ์ ์ค์ ์ ์์ ํ์์๋ง ์ํฅ์ ์ฃผ๋ฉฐ, ๋ถ์๊ฐ์ ์ธ์ ๋ ์ ํํ๊ฒ ๊ณ์ฐ๋ฉ๋๋ค.
์ฌ์ฉํ๋ ๊ท์ฝ
์ด ๋๊ตฌ๋ ์์ฑํจ์ \(\frac{x}{e^x - 1}\)์ ๋์ํ๋ \(B_1 = -\frac{1}{2}\) ๊ท์ฝ์ ์ฌ์ฉํฉ๋๋ค. ๋์์ผ๋ก ์ฐ์ด๋ "ํ๋ฌ์ค" ๊ท์ฝ์ \(B_1 = +\frac{1}{2}\)๋ก ๋๊ณ \(\frac{x}{1 - e^{-x}}\)๋ฅผ ์ฌ์ฉํ๋๋ฐ, ๋ ๊ท์ฝ์ ์ค์ง \(B_1\)์ ๋ถํธ์์๋ง ์ฐจ์ด๊ฐ ๋ฉ๋๋ค. ๊ทธ ์ธ ๋ชจ๋ ๋ฒ ๋ฅด๋์ด ์๋ ๋ ๊ท์ฝ์์ ๋์ผํ๋ฉฐ, \(B_1\)์ ์ ์ธํ ๋ชจ๋ ํ์ ์ธ๋ฑ์ค ๊ฐ์ ์ ํํ 0์ ๋๋ค.
๊ณต์ ์์ธํ ๋ณด๊ธฐ
๋ถ๋์์์ ๋ฐ์ฌ๋ฆผ ์ค์ฐจ(์๋ฅผ ๋ค์ด \(B_2\)๊ฐ 0.16666...์ผ๋ก ๊ณ์ฐ๋์ด \(6 \cdot B_2\)๊ฐ 0์ผ๋ก ์๋ ค ๋ฒ๋ฆฌ๋ ํ์)๋ฅผ ํผํ๊ธฐ ์ํด, ์ด ๊ณ์ฐ๊ธฐ๋ ์ ํํ ์ ๋ฆฌ์ ์ฐ์ฐ์ ์ฌ์ฉํฉ๋๋ค. ์ ํ์ \(B_0 = 1\)๊ณผ $$B_m = -\frac{1}{m+1}\sum_{k=0}^{m-1}\binom{m+1}{k}\,B_k$$ ๋ฅผ ์ ์ฉํ๋๋ฐ, ์ฌ๊ธฐ์ \(\binom{m+1}{k}\)๋ ์ดํญ๊ณ์์ ๋๋ค. ๊ฐ \(B_k\)๋ ๊ธฐ์ฝ๋ ๋ถ์/๋ถ๋ชจ ์์ผ๋ก ์ ์ง๋๋ฏ๋ก, ์์๋ก ๋ณํํ๊ธฐ ์ ๋จ๊ณ๊น์ง ์ํ์ ์ผ๋ก ์ ํํ ๋ต์ ์ป์ ์ ์์ต๋๋ค.
๊ณ์ฐ ์์ (n = 4)
\(B_0 = 1\), \(B_1 = -\frac{1}{2}\), \(B_2 = \frac{1}{6}\), \(B_3 = 0\)์์ ์ถ๋ฐํ๋ฉด, ์ ํ์์ ํตํด $$B_4 = -\frac{1}{30} \approx -0.0333333\ldots$$ ์ ์ป์ต๋๋ค. ์ด๋ ์๋ ค์ง ํ์ ๋น๊ตํ์ฌ ํ์ธํ ์ ์์ต๋๋ค: \(B_6 = \frac{1}{42}\), \(B_8 = -\frac{1}{30}\), \(B_{10} = \frac{5}{66}\), \(B_{12} = -\frac{691}{2730}\).
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
ํ์ ๋ฒ ๋ฅด๋์ด ์๋ ์ 0์ธ๊ฐ์? \(B_1\)์ ์ ์ธํ๋ฉด, ๋ชจ๋ ํ์ ์ธ๋ฑ์ค ๋ฒ ๋ฅด๋์ด ์ \(B_{2n+1}\)์ ์์ฑํจ์์ ๋์นญ์ฑ ๋๋ฌธ์ 0์ด ๋ฉ๋๋ค.
์ง์ ์ธ๋ฑ์ค ๊ฐ์ ์ ๊ทธ๋ ๊ฒ ์ปค์ง๋์? ๊ทธ ํฌ๊ธฐ๋ ๊ธ๊ฒฉํ ์ฆ๊ฐํฉ๋๋ค. ์๋ฅผ ๋ค์ด \(|B_{50}|\)์ ์ฝ \(7.5 \times 10^{24}\)์ ๋ฌํฉ๋๋ค. ์ ํํ ๋ถ์ ์ฐ์ฐ์ ์ด๋ฌํ ํฐ ๊ฐ๋ ์ค๋ฒํ๋ก ์์ด ์ฒ๋ฆฌํฉ๋๋ค.
์ฌ๊ธฐ์ \(B_1\)์ ์์์ธ๊ฐ์, ์์์ธ๊ฐ์? ์์์ ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ \(B_1 = -\frac{1}{2}\)๋ฅผ ๋ฐํํฉ๋๋ค.