계차수열: 두 판 사이의 차이
잔글 →성질 |
잔글편집 요약 없음 |
||
1번째 줄: | 1번째 줄: | ||
'''계차수열'''(階差數列)이란 인접하는 두 항의 차로 이루어지는 [[수열]]이다. 예를 들어 수열 {{수학|1, 4, 9, 16, ... , ''n''<sup>2</sup>, ...}}의 계차수열은 {{수학|4 - 1, 9 - 4, 16 - 9, ... , (''n'' + 1)<sup>2</sup> - ''n''<sup>2</sup>, ...}}, 즉 {{수학|3, 5, 7, ... , 2''n'' + 1, ...}}과 같다. 수열 {{수학|{''a<sub>n</sub>''}}}의 계차수열의 일반항은 {{수학|''a''<sub>''n''+1</sub> - ''a<sub>n</sub>''}}이다. |
'''계차수열'''(階差數列)이란 인접하는 두 항의 차로 이루어지는 [[수열]]이다. 예를 들어 수열 {{수학|1, 4, 9, 16, ... , ''n''<sup>2</sup>, ...}}의 계차수열은 {{수학|4 - 1, 9 - 4, 16 - 9, ... , (''n'' + 1)<sup>2</sup> - ''n''<sup>2</sup>, ...}}, 즉 {{수학|3, 5, 7, ... , 2''n'' + 1, ...}}과 같다. 수열 {{수학|{''a<sub>n</sub>''<nowiki>}</nowiki>}}의 계차수열의 일반항은 {{수학|''a''<sub>''n''+1</sub> - ''a<sub>n</sub>''}}이다. |
||
계차수열은 [[등차수열]], 나아가 고계등차수열을 정의하는 데에 쓸 수 있다. |
계차수열은 [[등차수열]], 나아가 고계등차수열을 정의하는 데에 쓸 수 있다. |
||
== 정의 == |
== 정의 == |
||
수열 < |
수열 {{수학|{''a<sub>n</sub>''<nowiki>}</nowiki>}}의 '''계차수열'''은 다음과 같은 수열 {{수학|{Δ''a<sub>n</sub>''<nowiki>}</nowiki>}}이다.<ref name="WQ">{{저널 인용|저자=吴强|연도=2008|편집자=张飞羽|제목=阶差数列的几个性质及其应用|번역제목=계차수열의 몇가지 성질과 그 응용|언어=zh|저널=河西学院学报|호=2|총서=24|쪽=6–9}}</ref> |
||
:<math>\Delta a_n=a_{n+1}-a_n</math> |
:<math>\Delta a_n=a_{n+1}-a_n</math> |
||
또, < |
또, {{수학|{Δ''a<sub>n</sub>''<nowiki>}</nowiki>}}의 계차수열 |
||
:<math>\Delta(\Delta a_n)=\Delta a_{n+1}-\Delta a_n</math> |
:<math>\Delta(\Delta a_n)=\Delta a_{n+1}-\Delta a_n</math> |
||
을 '''이계차수열'''이라고 하고, < |
을 '''이계차수열'''이라고 하고, {{수학|{Δ<sup>2</sup>''a<sub>n</sub>''<nowiki>}</nowiki>}}으로 표기한다. |
||
비슷하게 임의의 자연수 {{수학|''k''}}에 대하여 '''{{수학|''k''}}계차수열''' < |
비슷하게 임의의 자연수 {{수학|''k''}}에 대하여 '''{{수학|''k''}}계차수열''' {{수학|{Δ''<sup>k</sup>a<sub>n</sub>''<nowiki>}</nowiki>}}을 정의할 수 있다.<ref name="WQ" /> |
||
:<math>\Delta^k a_n=\begin{cases} |
:<math>\Delta^k a_n=\begin{cases} |
||
21번째 줄: | 21번째 줄: | ||
\end{cases}</math> |
\end{cases}</math> |
||
위에서 알 수 있듯이, < |
위에서 알 수 있듯이, {{수학|''a<sub>n</sub>''}}의 0계차수열은 자기 자신, 일계차수열은 {{수학|Δ''a<sub>n</sub>''}}이다. |
||
== 예 == |
== 예 == |
||
28번째 줄: | 28번째 줄: | ||
* [[피보나치 수열]] {{수학|1, 1, 2, 3, 5, 8, ...}}의 계차수열은 {{수학|0, 1, 1, 2, 3, 5, 8, ...}}(피보나치 수열 앞에 0을 붙인 것)이다. |
* [[피보나치 수열]] {{수학|1, 1, 2, 3, 5, 8, ...}}의 계차수열은 {{수학|0, 1, 1, 2, 3, 5, 8, ...}}(피보나치 수열 앞에 0을 붙인 것)이다. |
||
* 주어진 수열 {{수학|''a<sub>n</sub>''}}의 합 {{수학|1=''S<sub>n</sub>'' = ''a<sub>1</sub>'' + … + ''a<sub>n</sub>''}}의 계차수열은 {{수학|''a<sub>2</sub>'', ''a<sub>3</sub>'', ''a<sub>4</sub>'', ...}}이다. |
* 주어진 수열 {{수학|''a<sub>n</sub>''}}의 합 {{수학|1=''S<sub>n</sub>'' = ''a<sub>1</sub>'' + … + ''a<sub>n</sub>''}}의 계차수열은 {{수학|''a<sub>2</sub>'', ''a<sub>3</sub>'', ''a<sub>4</sub>'', ...}}이다. |
||
* 등차수열 {{수학|''a'', ''a'' + ''d'', ''a''+ 2''d'', ...}}의 계차수열은 상수열 {{수학|''d'', ''d'', ''d'', ...}}이다. 특별히, 상수열 {{수학|''c'', ''c'', ''c'', ...}}의 계차수열은 0, 0, 0, ...이다. |
* 등차수열 {{수학|''a'', ''a'' + ''d'', ''a'' + 2''d'', ...}}의 계차수열은 상수열 {{수학|''d'', ''d'', ''d'', ...}}이다. 특별히, 상수열 {{수학|''c'', ''c'', ''c'', ...}}의 계차수열은 0, 0, 0, ...이다. |
||
== 성질 == |
== 성질 == |
||
수열 < |
수열 {{수학|{''a<sub>n</sub>''<nowiki>}</nowiki>}}과 그의 계차수열 {{수학|{Δ''a<sub>n</sub>''<nowiki>}</nowiki>}}에 대하여, 다음의 관계가 성립한다. |
||
:<math>a_n=a_1+\Delta a_1+\Delta a_2+\cdots+\Delta a_{n-1}=a_1+\sum_{k=1}^{n-1}\Delta a_k</math> |
:<math>a_n=a_1+\Delta a_1+\Delta a_2+\cdots+\Delta a_{n-1}=a_1+\sum_{k=1}^{n-1}\Delta a_k</math> |
||
39번째 줄: | 39번째 줄: | ||
:<math>a_n={n-1\choose 0}a_1+{n-1\choose 1}\Delta a_1+{n-1\choose 2}\Delta^2 a_1+\cdots+{n-1\choose n-1}\Delta^{n-1}a_1=\sum_{k=0}^{n-1}{n-1\choose k}\Delta^k a_1</math> |
:<math>a_n={n-1\choose 0}a_1+{n-1\choose 1}\Delta a_1+{n-1\choose 2}\Delta^2 a_1+\cdots+{n-1\choose n-1}\Delta^{n-1}a_1=\sum_{k=0}^{n-1}{n-1\choose k}\Delta^k a_1</math> |
||
여기서 <math>{n-1\choose k}</math>는 |
여기서 <math>\textstyle{n-1\choose k}</math>는 {{수학|''n'' - 1}}의 대상 중에서 {{수학|''k''}} 개를 고른 [[조합수]]이다. |
||
다만, 위에 적은 홀수열 {{수학|1, 3, ...}}과 짝수열 {{수학|2, 4, ...}}처럼 일계차수열이 같더라도, 수열의 초항이 다르면 다른 수열이 된다. |
다만, 위에 적은 홀수열 {{수학|1, 3, ...}}과 짝수열 {{수학|2, 4, ...}}처럼 일계차수열이 같더라도, 수열의 초항이 다르면 다른 수열이 된다. |
||
수열의 단조성은 계차수열과 연관있다. |
수열의 단조성은 계차수열과 연관있다. |
||
* 수열 < |
* 수열 {{수학|{''a<sub>n</sub>''<nowiki>}</nowiki>}}이 [[단조증가]]할 [[필요충분조건]]은 {{수학|Δ ''a<sub>n</sub>'' ≥ 0}}이 모든 {{수학|''n''}}에게 성립하는 것이다. |
||
* 수열 < |
* 수열 {{수학|{''a<sub>n</sub>''<nowiki>}</nowiki>}}이 [[단조감소]]할 필요충분조건은, {{수학|Δ ''a<sub>n</sub>'' ≤ 0}}이 모든 {{수학|''n''}}에게 성립하는 것이다. |
||
== 고계등차수열 == |
== 고계등차수열 == |
||
'''{{수학|''k''}}계등차수열'''은, {{수학|''x''}}계차수열이 상수열이 되게 하는 가장 작은 자연수 {{수학|''x''}}가 {{수학|''k''}}인 수열을 말한다. 공차가 0이 아닌 등차수열은 일계등차수열이다. 상수열은 0계차수열(자기 자신)이 상수열이기에 0계등차수열이다. |
'''{{수학|''k''}}계등차수열'''은, {{수학|''x''}}계차수열이 상수열이 되게 하는 가장 작은 자연수 {{수학|''x''}}가 {{수학|''k''}}인 수열을 말한다. 공차가 0이 아닌 등차수열은 일계등차수열이다. 상수열은 0계차수열(자기 자신)이 상수열이기에 0계등차수열이다. |
||
어떤 수열 {{수학|{''a<sub>n</sub>''}}}이 {{수학|''k''}}계등차수열일 필요충분조건은, 일반항이 {{수학|''n''}}에 대한 [[다항식|{{수학|''k''}}차 다항식]]이라는 것이다.<ref name="WQ" /> |
어떤 수열 {{수학|{''a<sub>n</sub>''<nowiki>}</nowiki>}}이 {{수학|''k''}}계등차수열일 필요충분조건은, 일반항이 {{수학|''n''}}에 대한 [[다항식|{{수학|''k''}}차 다항식]]이라는 것이다.<ref name="WQ" /> |
||
== 각주 == |
== 각주 == |
2015년 10월 5일 (월) 18:38 판
계차수열(階差數列)이란 인접하는 두 항의 차로 이루어지는 수열이다. 예를 들어 수열 1, 4, 9, 16, ... , n2, ...의 계차수열은 4 - 1, 9 - 4, 16 - 9, ... , (n + 1)2 - n2, ..., 즉 3, 5, 7, ... , 2n + 1, ...과 같다. 수열 {an}의 계차수열의 일반항은 an+1 - an이다.
계차수열은 등차수열, 나아가 고계등차수열을 정의하는 데에 쓸 수 있다.
정의
수열 {an}의 계차수열은 다음과 같은 수열 {Δan}이다.[1]
또, {Δan}의 계차수열
을 이계차수열이라고 하고, {Δ2an}으로 표기한다.
비슷하게 임의의 자연수 k에 대하여 k계차수열 {Δkan}을 정의할 수 있다.[1]
위에서 알 수 있듯이, an의 0계차수열은 자기 자신, 일계차수열은 Δan이다.
예
- 수열 1, 3, 5, 7, ...과 2, 4, 6, 8, ...의 계차수열은 모두 2, 2, 2, 2, ...이다.
- 수열 9, 99, 999, 9999, ...의 계차수열은 90, 900, 9000, ...이다. 이계차수열은 810, 8100, ...이다.
- 피보나치 수열 1, 1, 2, 3, 5, 8, ...의 계차수열은 0, 1, 1, 2, 3, 5, 8, ...(피보나치 수열 앞에 0을 붙인 것)이다.
- 주어진 수열 an의 합 Sn = a1 + … + an의 계차수열은 a2, a3, a4, ...이다.
- 등차수열 a, a + d, a + 2d, ...의 계차수열은 상수열 d, d, d, ...이다. 특별히, 상수열 c, c, c, ...의 계차수열은 0, 0, 0, ...이다.
성질
수열 {an}과 그의 계차수열 {Δan}에 대하여, 다음의 관계가 성립한다.
즉, 수열은 초항과 일계차수열에 의해 확정된다. 더 나아가, 수열은 모든 계수(0, 1, 2, ...)의 계차수열의 초항에 의해 다음과 같은 방식으로 확정된다.[1]
여기서 는 n - 1의 대상 중에서 k 개를 고른 조합수이다.
다만, 위에 적은 홀수열 1, 3, ...과 짝수열 2, 4, ...처럼 일계차수열이 같더라도, 수열의 초항이 다르면 다른 수열이 된다.
수열의 단조성은 계차수열과 연관있다.
- 수열 {an}이 단조증가할 필요충분조건은 Δ an ≥ 0이 모든 n에게 성립하는 것이다.
- 수열 {an}이 단조감소할 필요충분조건은, Δ an ≤ 0이 모든 n에게 성립하는 것이다.
고계등차수열
k계등차수열은, x계차수열이 상수열이 되게 하는 가장 작은 자연수 x가 k인 수열을 말한다. 공차가 0이 아닌 등차수열은 일계등차수열이다. 상수열은 0계차수열(자기 자신)이 상수열이기에 0계등차수열이다.
어떤 수열 {an}이 k계등차수열일 필요충분조건은, 일반항이 n에 대한 k차 다항식이라는 것이다.[1]