"거듭제곱의 합을 구하는 공식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 3명의 중간 판 35개는 보이지 않습니다)
1번째 줄: 1번째 줄:
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 수학노트 원문주소</h5>
+
==개요==
 +
* 1부터 n까지의 r차 거듭제곱의 합을 구하는 공식.
 +
* [[베르누이 수]] <math>B_n</math>와 [[이항계수와 조합|이항계수]]를 사용하여 표현가능함
  
 
+
:<math>
 +
\sum_{k=1}^{n}k^r=
 +
\begin{cases}
 +
n, & \text{if $r=0$} \\
 +
\frac{1}{r+1}n^{r+1}+\frac{1}{2}n^{r}+\sum_{j=2}^{r}\frac{\binom{r+1}{j} B_j}{r+1}n^{r+1-j}, & \text{if $r\ge 1$} \\
 +
\end{cases}
 +
</math>
  
 
+
==간단한 예==
 +
* :<math>\Sigma_{k=1}^{n} k^r=1^r+2^r+\cdots + n^r</math> 의 테이블
 +
\begin{array}{c|c|c}
 +
r & \ \text{factored} & \text{expanded} \\
 +
\hline
 +
0 & n & n \\
 +
1 & \frac{1}{2} n (n+1) & \frac{n^2}{2}+\frac{n}{2} \\
 +
2 & \frac{1}{6} n (n+1) (2 n+1) & \frac{n^3}{3}+\frac{n^2}{2}+\frac{n}{6} \\
 +
3 & \frac{1}{4} n^2 (n+1)^2 & \frac{n^4}{4}+\frac{n^3}{2}+\frac{n^2}{4} \\
 +
4 & \frac{1}{30} n (n+1) (2 n+1) \left(3 n^2+3 n-1\right) & \frac{n^5}{5}+\frac{n^4}{2}+\frac{n^3}{3}-\frac{n}{30} \\
 +
5 & \frac{1}{12} n^2 (n+1)^2 \left(2 n^2+2 n-1\right) & \frac{n^6}{6}+\frac{n^5}{2}+\frac{5 n^4}{12}-\frac{n^2}{12} \\
 +
6 & \frac{1}{42} n (n+1) (2 n+1) \left(3 n^4+6 n^3-3 n+1\right) & \frac{n^7}{7}+\frac{n^6}{2}+\frac{n^5}{2}-\frac{n^3}{6}+\frac{n}{42} \\
 +
7 & \frac{1}{24} n^2 (n+1)^2 \left(3 n^4+6 n^3-n^2-4 n+2\right) & \frac{n^8}{8}+\frac{n^7}{2}+\frac{7 n^6}{12}-\frac{7 n^4}{24}+\frac{n^2}{12} \\
 +
8 & \frac{1}{90} n \left(10 n^8+45 n^7+60 n^6-42 n^4+20 n^2-3\right) & \frac{n^9}{9}+\frac{n^8}{2}+\frac{2 n^7}{3}-\frac{7 n^5}{15}+\frac{2 n^3}{9}-\frac{n}{30} \\
 +
9 & \frac{1}{20} n^2 (n+1)^2 \left(n^2+n-1\right) \left(2 n^4+4 n^3-n^2-3 n+3\right) & \frac{n^{10}}{10}+\frac{n^9}{2}+\frac{3 n^8}{4}-\frac{7 n^6}{10}+\frac{n^4}{2}-\frac{3 n^2}{20} \\
 +
\end{array}
  
<h5>개요</h5>
+
  
* 1부터 n까지의 k-거듭제곱의 합을 구하는 공식.
+
* 베르누이 수를 사용하여 표현가능함
 
  
 
+
==베르누이 수==
  
 
+
* [[베르누이 수]]의 생성함수는 다음과 같이 주어진다.:<math>\frac{t}{e^t-1}= \sum_{n=0}^\infty B_n\frac{t^n}{n!}</math>
 +
*  처음 몇 베르누이 수는 다음과 같다
 +
:<math>
 +
\begin{array}{c|ccccccccccccccccc}
 +
n & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 15 & 16 \\
 +
\hline
 +
B_n & 1 & -\frac{1}{2} & \frac{1}{6} & 0 & -\frac{1}{30} & 0 & \frac{1}{42} & 0 & -\frac{1}{30} & 0 & \frac{5}{66} & 0 & -\frac{691}{2730} & 0 & \frac{7}{6} & 0 & -\frac{3617}{510}
 +
\end{array}
 +
</math>
  
<h5>간단한 예</h5>
 
  
<math>1 + 2 + 3 + \cdots + n = {n(n+1) \over 2} = {n^2 + n \over 2}</math>
+
  
<math>1^2 + 2^2 + 3^2 + \cdots + n^2 = {n(n+1)(2n+1) \over 6} = {2n^3 + 3n^2 + n \over 6}</math>
+
==베르누이 다항식==
 +
* [[베르누이 다항식]]의 생성함수는 다음과 같이 정의된다
 +
:<math>\frac{t e^{xt}}{e^t-1}= \sum_{n=0}^\infty B_n(x) \frac{t^n}{n!}</math>
 +
* 베르누이 수 <math>B_k</math>와 [[이항계수와 조합|이항계수]]를 이용하여 표현하면 다음과 같다
 +
:<math>B_n(x)=\sum_{k=0}^n {n \choose k}B_k x^{n-k}</math>
  
<math>1^3 + 2^3 + 3^3 + \cdots + n^3 = \left({n^2 + n \over 2}\right)^2 = {n^4 + 2n^3 + n^2 \over 4}</math>
 
  
<math>1^4 + 2^4 + 3^4 + \cdots + n^4 = {6n^5 + 15n^4 + 10n^3 - n \over 30}</math>
+
===계차수열===
 +
* 베르누이 다항식에 대하여 다음이 성립한다
 +
:<math>\left(\Delta B_n\right)(x)=B_n(x+1)-B_n(x)=nx^{n-1}\label{diff}</math>
  
<math>1^5 + 2^5 + 3^5 + \cdots + n^5 = {2n^6 + 6n^5 + 5n^4 - n^2 \over 12}</math>
 
  
<math>1^6 + 2^6 + 3^6 + \cdots + n^6 = {6n^7 + 21n^6 + 21n^5 -7n^3 + n \over 42}</math>
+
\begin{array}{c|cc}
 +
{} & B_n(x) & \left(\Delta B_n\right)(x)=B_n(x+1)-B_n(x) \\
 +
\hline
 +
0 & 1 & 0 \\
 +
1 & x-\frac{1}{2} & 1 \\
 +
2 & x^2-x+\frac{1}{6} & 2 x \\
 +
3 & x^3-\frac{3 x^2}{2}+\frac{x}{2} & 3 x^2 \\
 +
4 & x^4-2 x^3+x^2-\frac{1}{30} & 4 x^3 \\
 +
5 & x^5-\frac{5 x^4}{2}+\frac{5 x^3}{3}-\frac{x}{6} & 5 x^4 \\
 +
6 & x^6-3 x^5+\frac{5 x^4}{2}-\frac{x^2}{2}+\frac{1}{42} & 6 x^5 \\
 +
7 & x^7-\frac{7 x^6}{2}+\frac{7 x^5}{2}-\frac{7 x^3}{6}+\frac{x}{6} & 7 x^6 \\
 +
8 & x^8-4 x^7+\frac{14 x^6}{3}-\frac{7 x^4}{3}+\frac{2 x^2}{3}-\frac{1}{30} & 8 x^7 \\
 +
9 & x^9-\frac{9 x^8}{2}+6 x^7-\frac{21 x^5}{5}+2 x^3-\frac{3 x}{10} & 9 x^8 \\
 +
\end{array}
  
 
 
  
 
 
  
<h5>베르누이 수</h5>
 
 
* [[베르누이 수]]의 생성함수는 다음과 같이 주어진다.<br><math>\frac{t}{e^t-1}= \sum_{n=0}^\infty B_n\frac{t^n}{n!}</math><br>
 
*  처음 몇 베르누이 수는 다음과 같다.<br><math>B_0=1</math>, <math>B_1=-{1 \over 2}</math>, <math>B_2={1\over 6}</math>, <math>B_3=0</math>, <math>B_4=-\frac{1}{30}</math>, <math>B_5=0</math>, <math>B_6=\frac{1}{42}</math>, <math>B_8=-\frac{1}{30}</math>, <math>B_{10}=\frac{5}{66}</math>, <math>B_{12}=-\frac{691}{2730}</math>,<math>B_{14}=\frac{7}{6}</math><br>
 
 
 
 
 
 
 
 
<h5>베르누이 다항식</h5>
 
 
베르누이 다항식의 생성함수는 다음과 같이 정의된다.
 
 
<math>\frac{t e^{xt}}{e^t-1}= \sum_{n=0}^\infty B_n(x) \frac{t^n}{n!}</math>
 
 
 
 
 
좀더 자세히 쓰면
 
 
<math>B_n(x)=\sum_{k=0}^n {n \choose k}B_k x^{n-k}</math>
 
 
여기서 <math>B_k</math> 는 베르누이 수
 
 
 
 
 
처음 몇 베르누이 다항식은 다음과 같다.
 
 
 
 
 
<math>B_0(x)=1</math>
 
 
<math>B_1(x)=x-1/2</math>
 
 
<math>B_2(x)=x^2-x+1/6</math>
 
 
<math>B_3(x)=x^3-\frac{3}{2}x^2+\frac{1}{2}x\</math>
 
 
<math>B_4(x)=x^4-2x^3+x^2-\frac{1}{30}</math>
 
 
<math>B_5(x)=x^5-\frac{5}{2}x^4+\frac{5}{3}x^3-\frac{1}{6}x</math>
 
 
<math>B_6(x)=x^6-3x^5+\frac{5}{2}x^4-\frac{1}{2}x^2+\frac{1}{42}</math>
 
 
 
 
 
 
 
 
<h5>계차수열</h5>
 
 
<math>\Delta B_n(x)=nx^{n-1}</math>
 
 
 
 
 
 
 
 
<h5>거듭제곱의 합</h5>
 
 
[[차분방정식(difference equation) 과 유한미적분학 (finite calculus)|Calculus of Finite differences]] 의 정리에 의하면, <math>\Delta F=f</math> 인 두 수열에 대하여
 
 
<math>\sum_a^{b-1}f(n)=F(b)-F(a)</math>
 
  
 +
==거듭제곱의 합==
 +
[[차분방정식(difference equation) 과 유한미적분학 (finite calculus)]]의 정리에 의하면, <math>\Delta F=f</math> 인 두 수열에 대하여
 +
:<math>\sum_{k=a}^{b-1}f(k)=F(b)-F(a)</math>
 
이 성립한다.
 
이 성립한다.
 
 
 
  
 
이를 베르누이 다항식에 적용하면,
 
이를 베르누이 다항식에 적용하면,
 +
:<math>\sum_{k=1}^{n}k^r=\frac{1}{r+1}\left(B_{r+1}(n+1)-B_{r+1}(1)\right) \label{f1}</math>
 +
을 얻는다.
 +
<math>r\ge 1</math> 이라 하고, \ref{diff}를 이용하여 \ref{f1}을 다시 쓰면,
 +
:<math>
 +
\begin{align}
 +
\quad \sum_{k=1}^{n}k^r&=\frac{1}{r+1}\left(B_{r+1}(n)-B_{r+1}(1)\right)+n^r \\
 +
&= \frac{1}{r+1}\left(B_{r+1}(n)-B_{r+1}(0)\right)+n^r\\
 +
&=\left(\sum_{j=0}^{r}\frac{\binom{r+1}{j} B_j}{r+1}n^{r+1-j}\right)+ n^r \\
 +
&=\frac{1}{r+1}n^{r+1}+\frac{1}{2}n^{r}+\sum_{j=2}^{r}\frac{\binom{r+1}{j} B_j}{r+1}n^{r+1-j}
 +
\end{align}
 +
</math>
  
 
+
==관련된 항목들==
 
 
<math>\sum_0^{n-1}k^r=\frac{1}{r+1}(B_{r+1}(n)-B_{r+1}(0))</math>
 
 
 
 
 
 
 
 
 
 
 
 
 
  
<h5>관련된 학부 과목과 미리 알고 있으면 좋은 것들</h5>
+
* [[차분방정식(difference equation) 과 유한미적분학 (finite calculus)]]
 
 
 
 
 
 
 
 
 
 
<h5>관련된 대학원 과목</h5>
 
 
 
 
 
 
 
 
 
 
 
<h5>관련된 항목들</h5>
 
 
 
* [[차분방정식(difference equation) 과 유한미적분학 (finite calculus)|Calculus of Finite differences]]
 
 
* [[오일러-맥클로린 공식]]
 
* [[오일러-맥클로린 공식]]
 
* [[베르누이 수|베르누이 수와 베르누이 다항식]]
 
* [[베르누이 수|베르누이 수와 베르누이 다항식]]
129번째 줄: 103번째 줄:
 
* Umbral calculus
 
* Umbral calculus
  
 
 
  
 
 
  
<h5>관련도서</h5>
+
==매스매티카 파일 및 계산 리소스==
 +
* https://docs.google.com/file/d/0B8XXo8Tve1cxc3pmaEo5RHlnd0E/edit
  
 
 
  
 
+
==위키링크==
  
<h5>위키링크</h5>
+
* http://en.wikipedia.org/wiki/Faulhaber%27s_formula
  
* http://en.wikipedia.org/wiki/Faulhaber%27s_formula<br>  <br>  <br>
 
  
<h5>관련논문</h5>
 
  
* [http://www.jstor.org/stable/2686229 Using the Finite Difference Calculus to Sum Powers of Integers]<br>
+
 +
 
 +
==관련논문==
 +
 
 +
* [http://www.jstor.org/stable/2686229 Using the Finite Difference Calculus to Sum Powers of Integers]
 
** Lee Zia
 
** Lee Zia
 
** <cite>The College Mathematics Journal</cite>, Vol. 22, No. 4 (Sep., 1991), pp. 294-300
 
** <cite>The College Mathematics Journal</cite>, Vol. 22, No. 4 (Sep., 1991), pp. 294-300
  
* [http://www.jstor.org/stable/2320064 Euler's formula nth Differences of Powers]<br>
+
* [http://www.jstor.org/stable/2320064 Euler's formula nth Differences of Powers]
 
** H. W. Gould
 
** H. W. Gould
 
** <cite>The American Mathematical Monthly</cite>, Vol. 85, No. 6 (Jun. - Jul., 1978), pp. 450-467
 
** <cite>The American Mathematical Monthly</cite>, Vol. 85, No. 6 (Jun. - Jul., 1978), pp. 450-467
* [http://www.jstor.org/stable/2691053 Bernoulli's Identity without Calculus]<br>
+
* [http://www.jstor.org/stable/2691053 Bernoulli's Identity without Calculus]
 
** Kenneth S. Williams
 
** Kenneth S. Williams
 
** <cite>Mathematics Magazine</cite>, Vol. 70, No. 1 (Feb., 1997), pp. 47-50
 
** <cite>Mathematics Magazine</cite>, Vol. 70, No. 1 (Feb., 1997), pp. 47-50
* [http://www.jstor.org/stable/2321518 The Umbral Method: A Survey of Elementary Mnemonic and Manipulative Uses]<br>
+
* [http://www.jstor.org/stable/2321518 The Umbral Method: A Survey of Elementary Mnemonic and Manipulative Uses]
 
** Andrew P. Guinand
 
** Andrew P. Guinand
 
** <cite>The American Mathematical Monthly</cite>, Vol. 86, No. 3 (Mar., 1979), pp. 187-195
 
** <cite>The American Mathematical Monthly</cite>, Vol. 86, No. 3 (Mar., 1979), pp. 187-195
* [http://www.jstor.org/stable/2695389 A Symmetry of Power Sum Polynomials and Bernoulli Numbers]<br>
+
* [http://www.jstor.org/stable/2695389 A Symmetry of Power Sum Polynomials and Bernoulli Numbers]
 
** Hans J. H. Tuenter
 
** Hans J. H. Tuenter
 
** <cite>The American Mathematical Monthly</cite>, Vol. 108, No. 3 (Mar., 2001), pp. 258-261
 
** <cite>The American Mathematical Monthly</cite>, Vol. 108, No. 3 (Mar., 2001), pp. 258-261
 +
 +
 +
[[분류:목록]]
 +
 +
== 메타데이터 ==
 +
 +
==메타데이터==
 +
===위키데이터===
 +
* ID :  [https://www.wikidata.org/wiki/Q1398443 Q1398443]
 +
===Spacy 패턴 목록===
 +
* [{'LOWER': 'faulhaber'}, {'LOWER': "'s"}, {'LEMMA': 'formula'}]

2021년 2월 17일 (수) 04:58 기준 최신판

개요

\[ \sum_{k=1}^{n}k^r= \begin{cases} n, & \text{if $r=0$} \\ \frac{1}{r+1}n^{r+1}+\frac{1}{2}n^{r}+\sum_{j=2}^{r}\frac{\binom{r+1}{j} B_j}{r+1}n^{r+1-j}, & \text{if $r\ge 1$} \\ \end{cases} \]

간단한 예

  • \[\Sigma_{k=1}^{n} k^r=1^r+2^r+\cdots + n^r\] 의 테이블

\begin{array}{c|c|c} r & \ \text{factored} & \text{expanded} \\ \hline 0 & n & n \\ 1 & \frac{1}{2} n (n+1) & \frac{n^2}{2}+\frac{n}{2} \\ 2 & \frac{1}{6} n (n+1) (2 n+1) & \frac{n^3}{3}+\frac{n^2}{2}+\frac{n}{6} \\ 3 & \frac{1}{4} n^2 (n+1)^2 & \frac{n^4}{4}+\frac{n^3}{2}+\frac{n^2}{4} \\ 4 & \frac{1}{30} n (n+1) (2 n+1) \left(3 n^2+3 n-1\right) & \frac{n^5}{5}+\frac{n^4}{2}+\frac{n^3}{3}-\frac{n}{30} \\ 5 & \frac{1}{12} n^2 (n+1)^2 \left(2 n^2+2 n-1\right) & \frac{n^6}{6}+\frac{n^5}{2}+\frac{5 n^4}{12}-\frac{n^2}{12} \\ 6 & \frac{1}{42} n (n+1) (2 n+1) \left(3 n^4+6 n^3-3 n+1\right) & \frac{n^7}{7}+\frac{n^6}{2}+\frac{n^5}{2}-\frac{n^3}{6}+\frac{n}{42} \\ 7 & \frac{1}{24} n^2 (n+1)^2 \left(3 n^4+6 n^3-n^2-4 n+2\right) & \frac{n^8}{8}+\frac{n^7}{2}+\frac{7 n^6}{12}-\frac{7 n^4}{24}+\frac{n^2}{12} \\ 8 & \frac{1}{90} n \left(10 n^8+45 n^7+60 n^6-42 n^4+20 n^2-3\right) & \frac{n^9}{9}+\frac{n^8}{2}+\frac{2 n^7}{3}-\frac{7 n^5}{15}+\frac{2 n^3}{9}-\frac{n}{30} \\ 9 & \frac{1}{20} n^2 (n+1)^2 \left(n^2+n-1\right) \left(2 n^4+4 n^3-n^2-3 n+3\right) & \frac{n^{10}}{10}+\frac{n^9}{2}+\frac{3 n^8}{4}-\frac{7 n^6}{10}+\frac{n^4}{2}-\frac{3 n^2}{20} \\ \end{array}



베르누이 수

  • 베르누이 수의 생성함수는 다음과 같이 주어진다.\[\frac{t}{e^t-1}= \sum_{n=0}^\infty B_n\frac{t^n}{n!}\]
  • 처음 몇 베르누이 수는 다음과 같다

\[ \begin{array}{c|ccccccccccccccccc} n & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 15 & 16 \\ \hline B_n & 1 & -\frac{1}{2} & \frac{1}{6} & 0 & -\frac{1}{30} & 0 & \frac{1}{42} & 0 & -\frac{1}{30} & 0 & \frac{5}{66} & 0 & -\frac{691}{2730} & 0 & \frac{7}{6} & 0 & -\frac{3617}{510} \end{array} \]



베르누이 다항식

\[\frac{t e^{xt}}{e^t-1}= \sum_{n=0}^\infty B_n(x) \frac{t^n}{n!}\]

  • 베르누이 수 \(B_k\)와 이항계수를 이용하여 표현하면 다음과 같다

\[B_n(x)=\sum_{k=0}^n {n \choose k}B_k x^{n-k}\]


계차수열

  • 베르누이 다항식에 대하여 다음이 성립한다

\[\left(\Delta B_n\right)(x)=B_n(x+1)-B_n(x)=nx^{n-1}\label{diff}\]


\begin{array}{c|cc} {} & B_n(x) & \left(\Delta B_n\right)(x)=B_n(x+1)-B_n(x) \\ \hline 0 & 1 & 0 \\ 1 & x-\frac{1}{2} & 1 \\ 2 & x^2-x+\frac{1}{6} & 2 x \\ 3 & x^3-\frac{3 x^2}{2}+\frac{x}{2} & 3 x^2 \\ 4 & x^4-2 x^3+x^2-\frac{1}{30} & 4 x^3 \\ 5 & x^5-\frac{5 x^4}{2}+\frac{5 x^3}{3}-\frac{x}{6} & 5 x^4 \\ 6 & x^6-3 x^5+\frac{5 x^4}{2}-\frac{x^2}{2}+\frac{1}{42} & 6 x^5 \\ 7 & x^7-\frac{7 x^6}{2}+\frac{7 x^5}{2}-\frac{7 x^3}{6}+\frac{x}{6} & 7 x^6 \\ 8 & x^8-4 x^7+\frac{14 x^6}{3}-\frac{7 x^4}{3}+\frac{2 x^2}{3}-\frac{1}{30} & 8 x^7 \\ 9 & x^9-\frac{9 x^8}{2}+6 x^7-\frac{21 x^5}{5}+2 x^3-\frac{3 x}{10} & 9 x^8 \\ \end{array}



거듭제곱의 합

차분방정식(difference equation) 과 유한미적분학 (finite calculus)의 정리에 의하면, \(\Delta F=f\) 인 두 수열에 대하여 \[\sum_{k=a}^{b-1}f(k)=F(b)-F(a)\] 이 성립한다.

이를 베르누이 다항식에 적용하면, \[\sum_{k=1}^{n}k^r=\frac{1}{r+1}\left(B_{r+1}(n+1)-B_{r+1}(1)\right) \label{f1}\] 을 얻는다. \(r\ge 1\) 이라 하고, \ref{diff}를 이용하여 \ref{f1}을 다시 쓰면, \[ \begin{align} \quad \sum_{k=1}^{n}k^r&=\frac{1}{r+1}\left(B_{r+1}(n)-B_{r+1}(1)\right)+n^r \\ &= \frac{1}{r+1}\left(B_{r+1}(n)-B_{r+1}(0)\right)+n^r\\ &=\left(\sum_{j=0}^{r}\frac{\binom{r+1}{j} B_j}{r+1}n^{r+1-j}\right)+ n^r \\ &=\frac{1}{r+1}n^{r+1}+\frac{1}{2}n^{r}+\sum_{j=2}^{r}\frac{\binom{r+1}{j} B_j}{r+1}n^{r+1-j} \end{align} \]

관련된 항목들


매스매티카 파일 및 계산 리소스


위키링크



관련논문

메타데이터

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'faulhaber'}, {'LOWER': "'s"}, {'LEMMA': 'formula'}]