라그랑주 보간법으로 증명하는 보일의 공식 일반화

초록

본 논문은 라그랑주 보간 다항식 정리를 이용해 보일의 가법 공식(팩토리얼에 대한 합식)의 약간 확장된 형태를 도출한다. 정수 격자점에서 정의된 차수 n 다항식의 최고 차수 계수를 구하는 과정에서 라그랑주 기저 다항식의 특성을 활용하고, 이를 통해 기존 보일 공식의 일반화 식을 간결히 증명한다.

상세 분석

보일의 가법 공식은 전통적으로 조합론적 방법이나 차분 연산을 통해 증명되어 왔으며, “∑_{k=0}^{n}(-1)^{k}\binom{n}{k}(x+k)^{n}=n!”와 같은 형태로 알려져 있다. 이 식은 정수 x 에 대해 차수 n 다항식 P(x)= (x)^{n} 의 차분을 취했을 때, 최고 차수 항의 계수가 정확히 n! 이 된다는 사실을 반영한다. 논문은 이러한 결과를 라그랑주 보간 다항식 정리(Lagrange Interpolation Theorem)를 기반으로 재구성한다.

라그랑주 보간 정리는 서로 다른 n+1 개의 점 (x_{0},y_{0}),…, (x_{n},y_{n}) 이 주어지면, 차수가 ≤ n 인 유일한 다항식 L(x) 가 존재함을 보장한다. 특히, 라그랑주 기저 다항식 ℓ_{k}(x)=∏{j≠k}\frac{x-x{j}}{x_{k}-x_{j}} 는 ℓ_{k}(x_{i})=δ_{ik} (크로네커 델타) 성질을 갖는다. 논문은 x_{k}=k (k=0,…,n) 이라는 등간격 격자점을 선택하고, 목표 함수 f(x)=(x)^{n} 을 보간한다.

보간식
\