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

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

์ฒซ ๋ฒˆ์งธ ํฌํํ•˜๋จธ ๊ฐ’ (x)_n
5
์ฒซ ๋ฒˆ์งธ ํ–‰์˜ ์ƒ์Šน ๊ณ„์Šน ๊ฐ’
n (x)_n
1 5
2 30
3 210
4 1,680
5 15,120
6 151,200
7 1,663,200
8 19,958,400

ํฌํํ•˜๋จธ ๊ธฐํ˜ธ๋ž€?

ํฌํํ•˜๋จธ ๊ธฐํ˜ธ \((x)_n\)์€ ์ƒ์Šน ๊ณ„์Šน(rising factorial)์ด๋ผ๊ณ ๋„ ํ•˜๋ฉฐ, \(x^{(n)}\) ๋˜๋Š” x ์œ„์— n์„ ์˜ฌ๋ ค ์“ด ํ˜•ํƒœ๋กœ ํ‘œ๊ธฐํ•˜๊ธฐ๋„ ํ•ฉ๋‹ˆ๋‹ค. x์—์„œ ์‹œ์ž‘ํ•ด ์—ฐ์†ํ•˜๋Š” n๊ฐœ์˜ ์ˆ˜๋ฅผ ๊ณฑํ•œ ๊ฐ’์œผ๋กœ, ์กฐํ•ฉ๋ก , ํŠน์ˆ˜ ํ•จ์ˆ˜, ์ดˆ๊ธฐํ•˜๊ธ‰์ˆ˜(hypergeometric series) ์ด๋ก ์—์„œ ํ•ต์‹ฌ์ ์ธ ์—ญํ• ์„ ํ•ฉ๋‹ˆ๋‹ค. ์ด ๊ณ„์‚ฐ๊ธฐ๋Š” ์ƒ์Šน(rising) ๊ทœ์•ฝ์„ ์‚ฌ์šฉํ•˜๋ฉฐ, ํ•˜๊ฐ• ๊ณ„์Šน(falling factorial)์ด ์•„๋‹ˆ๋ผ๋Š” ์ ์— ์œ ์˜ํ•˜์„ธ์š”.

์ƒ์Šน ๊ณ„์Šน์„ x์—์„œ ์‹œ์ž‘ํ•˜๋Š” ์—ฐ์†์ ์œผ๋กœ ์ฆ๊ฐ€ํ•˜๋Š” ์ธ์ˆ˜๋“ค์˜ ๊ณฑ์œผ๋กœ ๋ณด์—ฌ์ฃผ๋Š” ๋„์‹
ํฌํํ•˜๋จธ ๊ธฐํ˜ธ๋Š” x์—์„œ ์‹œ์ž‘ํ•ด ์•ž๋ณด๋‹ค 1์”ฉ ํฐ n๊ฐœ์˜ ์—ฐ์†๋œ ์ธ์ˆ˜๋ฅผ ๊ณฑํ•ฉ๋‹ˆ๋‹ค.

๊ณต์‹

์ •์ˆ˜ \(n \ge 1\)์— ๋Œ€ํ•ด $$(x)_n = x(x+1)(x+2)\cdots(x+n-1)$$์ด๋ฉฐ, ๋ชจ๋‘ n๊ฐœ์˜ ํ•ญ์„ ๊ณฑํ•œ ๊ฐ’์ž…๋‹ˆ๋‹ค. ๋นˆ ๊ณฑ(empty product) ๊ทœ์•ฝ์— ๋”ฐ๋ผ \((x)_0 = 1\)์ด๊ณ , \((x)_1 = x\)๊ฐ€ ๋ฉ๋‹ˆ๋‹ค. ๊ฐ๋งˆ ํ•จ์ˆ˜๋กœ ํ‘œํ˜„ํ•˜๋ฉด $$(x)_n = \frac{\Gamma(x+n)}{\Gamma(x)}$$์™€ ๊ฐ™์Šต๋‹ˆ๋‹ค. \(x = 1\)์ผ ๋•Œ ์ƒ์Šน ๊ณ„์Šน์€ ์ผ๋ฐ˜์ ์ธ ๊ณ„์Šน๊ณผ ๊ฐ™์•„์ ธ \((1)_n = n!\)์ด ๋ฉ๋‹ˆ๋‹ค.

์ƒ์Šน ๊ณ„์Šน์„ ๋‘ ๊ฐ๋งˆ ํ•จ์ˆ˜์˜ ๋น„์™€ ์—ฐ๊ด€ ์ง“๋Š” ๋„์‹
์ƒ์Šน ๊ณ„์Šน์€ Gamma(x+n)๊ณผ Gamma(x)์˜ ๋น„์™€ ๊ฐ™์Šต๋‹ˆ๋‹ค.

ํ‘œ ๊ณ„์‚ฐ๊ธฐ ์‚ฌ์šฉ๋ฒ•

๊ณ ์ •๋œ ๋ฐ‘ x, n์˜ ์ฒซ ๋ฒˆ์งธ ๊ฐ’, ํ–‰๋งˆ๋‹ค n์ด ๋Š˜์–ด๋‚˜๋Š” ์ฆ๊ฐ€ํญ(step), ๊ทธ๋ฆฌ๊ณ  ์ถœ๋ ฅํ•  ํ–‰์˜ ๊ฐœ์ˆ˜๋ฅผ ์ž…๋ ฅํ•˜์„ธ์š”. ๊ณ„์‚ฐ๊ธฐ๋Š” \(k = 0, 1, \dots, \text{rowCount}-1\)์— ๋Œ€ํ•ด \(n = \text{initialN} + k\cdot\text{stepN}\)์„ ๊ณ„์‚ฐํ•˜์—ฌ ๊ฐ n๊ณผ ๊ทธ์— ๋Œ€์‘ํ•˜๋Š” ์ƒ์Šน ๊ณ„์Šน ๊ฐ’์„ ํ•จ๊ป˜ ํ‘œ๋กœ ๋ณด์—ฌ ์ค๋‹ˆ๋‹ค. ์ฆ๊ฐ€ํญ์„ ์Œ์ˆ˜๋กœ ์ง€์ •ํ•˜๋ฉด n์ด ์ ์  ์ž‘์•„์ง€๋Š” ์ˆ˜์—ด์ด ๋˜๊ณ , ์Œ์˜ n์€ ์—ญ์ˆ˜ ํ™•์žฅ(reciprocal extension)์„ ํ†ตํ•ด ์ฒ˜๋ฆฌ๋ฉ๋‹ˆ๋‹ค.

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

x = 5, n์˜ ์ดˆ๊นƒ๊ฐ’ 1, ์ฆ๊ฐ€ํญ 1, 8๊ฐœ ํ–‰์œผ๋กœ ์„ค์ •ํ•˜๋ฉด \((5)_1 = 5\), \((5)_2 = 30\), \((5)_3 = 210\), \((5)_4 = 1680\), \((5)_5 = 15120\), \((5)_6 = 151200\), \((5)_7 = 1663200\), \((5)_8 = 19958400\)์ด ๋‚˜์˜ต๋‹ˆ๋‹ค. ๊ฐ’์ด ๊ณ„์Šน์ ์œผ๋กœ ์ปค์ง€๊ธฐ ๋•Œ๋ฌธ์— ๊ทธ๋ž˜ํ”„๋กœ ๊ทธ๋ฆฌ๋ฉด ๋งค์šฐ ๊ฐ€ํŒŒ๋ฅด๊ฒŒ ์น˜์†Ÿ์Šต๋‹ˆ๋‹ค.

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

์™œ \((x)_0\)์€ ํ•ญ์ƒ 1์ธ๊ฐ€์š”? ๋นˆ ๊ณฑ์ด๊ธฐ ๋•Œ๋ฌธ์ž…๋‹ˆ๋‹ค. x ๊ฐ’๊ณผ ๊ด€๊ณ„์—†์ด ๋นˆ ๊ณฑ์€ ์ •์˜์— ๋”ฐ๋ผ 1์ด ๋ฉ๋‹ˆ๋‹ค.

x๊ฐ€ 0 ์ดํ•˜์˜ ์ •์ˆ˜์ด๋ฉด ์–ด๋–ป๊ฒŒ ๋˜๋‚˜์š”? ๊ณฑ์…ˆ ๊ณผ์ •์—์„œ 0์„ ๊ฑฐ์น˜๊ฒŒ ๋ฉ๋‹ˆ๋‹ค. ์˜ˆ๋ฅผ ๋“ค์–ด \((-3)_5 = (-3)(-2)(-1)(0)(1) = 0\)์ด๋ฉฐ, ์ด๋Š” ์˜ค๋ฅ˜๊ฐ€ ์•„๋‹ˆ๋ผ ์˜ฌ๋ฐ”๋ฅธ ๊ฐ’์ž…๋‹ˆ๋‹ค.

๊ฐ’์ด ์˜ค๋ฒ„ํ”Œ๋กœ๋  ์ˆ˜๋„ ์žˆ๋‚˜์š”? ๋„ค. ์ƒ์Šน ๊ณ„์Šน์€ ๊ทน๋„๋กœ ๋น ๋ฅด๊ฒŒ ์ปค์ง€๋ฏ€๋กœ, n์ด ํฌ๋ฉด ๋ฐฐ์ •๋ฐ€๋„(double-precision) ๊ฒฐ๊ณผ๊ฐ€ ๋งค์šฐ ํฐ ๊ฐ’์ด ๋˜๊ฑฐ๋‚˜ ๋ฌดํ•œ๋Œ€๋กœ ํ‘œ์‹œ๋  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ์ •ํ™•ํ•œ ๊ฐ’์„ ์–ป์œผ๋ ค๋ฉด n์„ ์ ๋‹นํ•œ ๋ฒ”์œ„๋กœ ์œ ์ง€ํ•˜์„ธ์š”.

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