포흐하머 기호란?
포흐하머 기호 \((x)_n\)은 상승 계승(rising factorial)이라고도 하며, \(x^{(n)}\) 또는 x 위에 n을 올려 쓴 형태로 표기하기도 합니다. x에서 시작해 연속하는 n개의 수를 곱한 값으로, 조합론, 특수 함수, 초기하급수(hypergeometric series) 이론에서 핵심적인 역할을 합니다. 이 계산기는 상승(rising) 규약을 사용하며, 하강 계승(falling factorial)이 아니라는 점에 유의하세요.
공식
정수 \(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!\)이 됩니다.
표 계산기 사용법
고정된 밑 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을 적당한 범위로 유지하세요.
