ํฌํํ๋จธ ๊ธฐํธ๋?
ํฌํํ๋จธ ๊ธฐํธ(Pochhammer symbol)๋ ์์น ๊ณ์น(rising factorial)์ด๋ผ๊ณ ๋ ๋ถ๋ฅด๋ฉฐ, \((x)_{n}\) ์ผ๋ก ํ๊ธฐํฉ๋๋ค. ์ด๋ x์์ ์์ํด 1์ฉ ์ปค์ง๋ n๊ฐ์ ์ฐ์๋ ์ธ์๋ฅผ ๋ชจ๋ ๊ณฑํ ๊ฐ์ ๋ปํฉ๋๋ค: $$(x)_{n} = x(x+1)(x+2)\dots(x+n-1).$$ \((1)_{n} = n!\) ์ด ์ฑ๋ฆฝํ๋ฏ๋ก ์ผ๋ฐ์ ์ธ ๊ณ์น(ํฉํ ๋ฆฌ์ผ)์ ํ์ฅํ ๊ฐ๋ ์ด๋ผ ๋ณผ ์ ์์ผ๋ฉฐ, ์กฐํฉ๋ก , ์ด๊ธฐํ๊ธ์(hypergeometric series), ํน์ํจ์ ์ด๋ก ๋ฑ ๋ค์ํ ๋ถ์ผ์์ ๋ฑ์ฅํฉ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ ์์์ ์ค์ ๋ฐ \(x\)์ ์์ด ์๋ ์ ์ \(n\)์ ๋ํด \((x)_{n}\) ๊ฐ์ ๊ตฌํด ์ค๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ๋ฒ
๋ฐ ๊ฐ x(์์, ๋ถ์, 0๋ ๊ฐ๋ฅ)์ ์ธ์์ ๊ฐ์ n(0 ์ด์์ ์ ์)์ ์ ๋ ฅํ ๋ค ๊ณ์ฐ ๋ฒํผ์ ๋๋ฅด๋ฉด ์์น ๊ณ์น ๊ฐ์ด ๋์ต๋๋ค. ๊ณต๊ณฑ(empty product) ๊ท์ฝ์ ๋ฐ๋ผ ๋ชจ๋ \(x\)์ ๋ํด \((x)_{0} = 1\) ์ด๋ฉฐ, \((x)_{1} = x\) ์ ๋๋ค. ๋ง์ฝ \(x\)๊ฐ 0 ์ดํ์ ์ ์์ด๊ณ ์ธ์ ์ค ํ๋๊ฐ ์ ํํ 0์ด ๋๋ฉด, ๊ทธ ๊ณฑ์ ์ ํํ 0์ด ๋ฉ๋๋ค.
๊ณต์ ํ์ด
๊ณฑ์ ํํ๋ก๋ \(x\)์ \(x+1\), ๊ทธ๋ค์ \(x+2\) โฆ๋ฅผ ์ฐจ๋ก๋ก ๊ณฑํด \(x+n-1\)๊น์ง, ์ฆ ์ด \(n\)๊ฐ์ ํญ์ ๊ณฑํฉ๋๋ค. ๊ฐ์ ๊ฐ์ ๊ฐ๋ง ํจ์๋ก ํํํ๋ฉด $$(x)_{n} = \frac{\Gamma(x+n)}{\Gamma(x)}$$ ๊ฐ ๋ฉ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ ์ง์ ๊ณฑ์ ๋ฐฉ์์ ์ฌ์ฉํ๋๋ฐ, ์ ์ \(n\)์ ๋ํด ์ ํํ๊ณ , ๊ฐ๋ง ํจ์์ ์ค๋ฒํ๋ก(overflow)๋ฅผ ํผํ๋ฉฐ, ์ด๋ค ์ธ์๊ฐ 0์ด ๋ ๋ ์ ํํ 0์ ๋ฐํํฉ๋๋ค.
๊ณ์ฐ ์์
๊ธฐ๋ณธ๊ฐ \(x = -10\), \(n = 6\) ์ผ๋ก ๊ณ์ฐํ๋ฉด \((-10)(-9)(-8)(-7)(-6)(-5)\) ์ ๋๋ค. ํ ๋จ๊ณ์ฉ ๊ณฑํด ๋ณด๋ฉด \(-10 \times -9 = 90\), \(90 \times -8 = -720\), \(-720 \times -7 = 5040\), \(5040 \times -6 = -30240\), ๊ทธ๋ฆฌ๊ณ \(-30240 \times -5 = 151200\) ์ ๋๋ค. ๋ฐ๋ผ์ $$(-10)_{6} = 151200$$ ์ด ๋ฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
\((x)_{0}\) ์ ๊ฐ์ ๋ฌด์์ธ๊ฐ์? \(x\)๊ฐ ๋ฌด์์ด๋ ๊ณต๊ณฑ ๊ท์ฝ์ ๋ฐ๋ผ ํญ์ 1์ ๋๋ค.
\(x\)๊ฐ ์์๋ ๋ถ์์ฌ๋ ๋๋์? ๋ค, ๋ฉ๋๋ค. ๊ณฑ์ ์ ์ด๋ค ์ค์ \(x\)์ ๋ํด์๋ ๊ฐ๋ฅํฉ๋๋ค. ์๋ฅผ ๋ค์ด \((5)_{3} = 5 \times 6 \times 7 = 210\) ์ด๊ณ , 0 ์ดํ์ ์ ์๋ฅผ ๋ฐ์ผ๋ก ์ฐ๋ฉด ๊ฒฐ๊ณผ๊ฐ 0์ด ๋ ์ ์์ต๋๋ค.
ํฐ ๊ฐ์ ๋ฃ์ผ๋ฉด ์ ์ ๋ฐ๋๊ฐ ๋จ์ด์ง๋์? ์์น ๊ณ์น์ ๋งค์ฐ ๋น ๋ฅด๊ฒ ์ปค์ง๊ธฐ ๋๋ฌธ์, \(|x|\)๋ \(n\)์ด ์์ฃผ ํฌ๋ฉด ์ผ๋ฐ์ ์ธ ๋ถ๋์์์ ์ฐ์ฐ์ ํํ ๋ฒ์๋ฅผ ๋์ด ๋ฐ์ฌ๋ฆผ ์ค์ฐจ๋ ์ค๋ฒํ๋ก๊ฐ ๋ํ๋ ์ ์์ต๋๋ค.