[논문 리뷰] A Proof of Symmetry of the Power Sum Polynomials using a Novel Bernoulli Numbers Identity

Nicholas J. Newsome, Maria Nogin외 1명|arXiv (Cornell University)|2017. 12. 20.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 6

한 줄 요약

이 논문은 베르누이 수와 관련된 새로운 항등식을 제시하고, 이를 통해 거듭제곱 합 다항식 $ S_p(n) = \sum_{k=1}^n k^p $ 의 대칭성에 대한 초등적인 증명을 제공한다. 핵심 기여는 $ S_p(-n-1) = (-1)^{p+1} S_p(n) $ 를 보여줌으로써 다항식이 $ n = -\frac{1}{2} $ 에 대해 대칭임을 확인하는 것으로, 짝수 $ p $ 에서는 점 대칭이고 홀수 $ p $ 에서는 선 대칭임을 의미한다.

ABSTRACT

The problem of finding formulas for sums of powers of natural numbers has been of interest to mathematicians for many centuries. Among these is Faulhaber's well-known formula expressing the power sums as polynomials whose coefficients involve Bernoulli numbers. In this paper we give an elementary proof that the sum of $p$-th powers of the first $n$ natural numbers can be expressed as a polynomial in $n$ of degree $p+1$. We also prove a novel identity involving Bernoulli numbers and use it to show symmetry of this polynomial.

연구 동기 및 목표

• 처음 $ n $ 개 자연수의 $ p $ 제곱의 합이 차수 $ p+1 $ 의 다항식이 되는 것을 초등적으로 증명하는 것.
• 거듭제곱 합 대칭성 분석에 유용한 새로운 베르누이 수 항등식을 유도하는 것.
• 새로운 베르누이 수 항등식을 사용하여 거듭제곱 합 다항식 $ S_p(n) $ 의 대칭성 성질인 $ S_p(-n-1) = (-1)^{p+1} S_p(n) $ 를 증명하는 것.
• 이 대칭성의 결과로 $ S_p(n) $ 의 근이 $ n = -\frac{1}{2} $ 를 중심으로 어떻게 분포되어 있는지 탐구하는 것.

제안 방법

• $ p \geq 2 $ 에 대해 이항계수와 낮은 차수의 합 $ S_i(n) $ 를 포함하는 공식을 사용하여 $ S_p(n) $ 를 재귀적으로 정의함으로써 다항식 성격을 확립한다.
• 정수 $ m \geq 1 $, $ 0 \leq k \leq m $ 에 대해 성립하는 새로운 베르누이 수 항등식을 증명한다: $ (-1)^{m-k} \binom{m}{k} B_{m-k} = \sum_{i=k}^{m} \binom{m}{i} \binom{i}{k} B_{m-i} $.
• Faulhaber의 공식을 사용하여 $ S_p(n) $ 를 베르누이 수를 포함하는 합으로 표현한다: $ S_p(n) = \frac{1}{p+1} \sum_{i=0}^{p} (-1)^i \binom{p+1}{i} B_i n^{p+1-i} $.
• Faulhaber의 공식에 $ n \to -(n+1) $ 를 대입하고, 새로운 베르누이 수 항등식을 적용하여 유도된 식을 단순화한다.
• 변형된 식이 $ (-1)^{p+1} S_p(n) $ 와 일치함을 보여주어 대칭성 성질을 증명한다.
• $ S_p(n) $ 의 근이 $ n = -\frac{1}{2} $ 를 중심으로 대칭됨을 대칭 결과를 바탕으로 도출하며, $ p $ 가 짝수일 경우 $ -\frac{1}{2} $ 가 근이 됨을 보인다.

실험 결과

연구 질문

• RQ1 새로운 베르누이 수 항등식을 사용하여 거듭제곱 합 다항식 $ S_p(n) $ 의 대칭성을 어떻게 증명할 수 있는가?
• RQ2 $ S_p(n) $ 와 $ S_p(-n-1) $ 간의 정확한 함수적 관계는 무엇이며, 이는 $ p $ 의 기수성에 따라 어떻게 달라지는가?
• RQ3 $ S_p(n) $ 의 근에 대해 더 깊은 구조적 또는 수론적 성질이 있는가, 특히 대칭성과 중복도에 관해 어떻게 설명할 수 있는가?
• RQ4 새로운 베르누이 수 항등식은 일반화될 수 있으며, 수론 또는 다항식 수열의 다른 항등식에 적용될 수 있는가?

주요 결과

• 거듭제곱 합 다항식 $ S_p(n) $ 가 차수 $ p+1 $ 의 다항식임이 증명되어 그 대수적 구조가 확인된다.
• 새로운 베르누이 수 항등식이 확립된다: $ (-1)^{m-k} \binom{m}{k} B_{m-k} = \sum_{i=k}^{m} \binom{m}{i} \binom{i}{k} B_{m-i} $, 이는 대칭성 증명의 핵심이다.
• 새로운 베르누이 수 항등식과 Faulhaber의 공식을 사용하여 대칭성 성질 $ S_p(-n-1) = (-1)^{p+1} S_p(n) $ 가 엄밀히 증명된다.
• 결과적으로 $ S_p(n) $ 의 근은 $ n = -\frac{1}{2} $ 를 중심으로 대칭이며, $ p $ 가 짝수일 경우 $ n = -\frac{1}{2} $ 는 근이 된다.
• 홀수 $ p $ 에서는 $ S_p(n) $ 의 그래프가 수직선 $ n = -\frac{1}{2} $ 에 대해 대칭이고, 짝수 $ p $ 에서는 점 $ \left(-\frac{1}{2}, 0\right) $ 에 대해 대칭이다.
• 이 증명은 대칭성의 푸리에 급수 기반 유도 방식에 대한 대안을 제공하며, 보다 초등적이고 조합론적인 접근법을 제시한다.