Cấp số cộng

Bản mẫu:Chú thích trong bài Trong toán học, một cấp số cộng hay dãy số cách đều (tiếng Anh: arithmetic progression hoặc arithmetic sequence) là một dãy số thoả mãn điều kiện hai phần tử liên tiếp nhau sai khác nhau một hằng số hay khoảng cách. Chẳng hạn, dãy số 3, 5, 7, 9, 11,... là một cấp số cộng với các phân tử liên tiếp sai khác nhau hằng số 2.

Hằng số sai khác chung được gọi là công sai của cấp số cộng. Các phần tử của nó cũng được gọi là các số hạng. Bản mẫu:TOCright

== Số hạng tổng quát Nếu cấp số cộng khởi đầu là phần tử $a_1$ và công sai là d, thì số hạng thứ n của cấp số cộng được tính theo công thức:

$a_n=a_1+(n-1)d.$

Tổng

Tổng của n số hạng đầu của cấp số cộng được gọi là tổng riêng thứ n. Ta có:

$S_n=a_1+a_2+\dots +a_n=\frac{n(a_1+a_n)}{2}=\frac{n[2a_1+(n-1)d]}{2}.$

Khi chứng minh công thức này, tổng riêng này được tách thành tổng của a₁a_n, của a₂ với a_n-1,... Một câu chuyện kể rằng Carl Gauss đã tìm ra cách này khi học tiểu học để trả lới thầy giáo khi tính tổng của 100 số tự nhiên dương đầu tiên.

Chứng minh:

$S_n=a_1+a_1+d+a_1+2d+\dots \dots +a_1+(n-2)d+a_1+(n-1)d$

$S_n=a_n-(n-1)d+a_n-(n-2)d+...+a_n-2d+a_n-d+a_n$

$\Rightarrow 2S_n=n(a_1+a_n)$

$\Rightarrow S_n=\frac{n(a_1+a_n)}{2}$.

$\Rightarrow S_n=\frac{n[2a_1+(n-1)d]}{2}$.

Tích

Tích của n phần tử của cấp số cộng bắt đầu từ phần tử $a_1$ với công sai $d$, với $n$ số hạng là

$a_1{a}_2\cdots a_n$	$=a_1(a_1+d)(a_1+2d)...[(a_1+(n-1)d]$
	$=d^n\left(\frac{a_1}{d}\right)(\frac{a_1}{d}+1)(\frac{a_1}{d}+2)...[\frac{a_1}{d}+(n-1)]$
	$=d^n{\left(\frac{a_1}{d}\right)}^{\bar{n}}$
	$=d^n\frac{\mathrm{\Gamma }(a_1/d+n)}{\mathrm{\Gamma }(a_1/d)},$

trong đó $x^{\bar{n}}$ là ký hiệu của giai thừa trên (tiếng Anh: upper factorial)

$x^{\bar{n}}=x(x+1)(x+2)\cdots (x+n-1)=\frac{(x+n-1)!}{(x-1)!}$

Đây là tổng quát hoá từ tích $1\times 2\times \dots \times n$ được ký hiệu là $n!$ tới tích của

$m\times (m+1)\times \dots \times (n-1)\times n$

với các số nguyên dương $m$ và $n$ cho bởi công thức

$\frac{n!}{(m-1)!}$

Còn $\mathrm{\Gamma }$ là ký hiệu của Hàm gamma.

$\mathrm{\Gamma }(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{t}^{z-1}{e}^{-t}dt$

(Công thức này không bao gồm trường hợp $\frac{a_1}{d}$ là số âm hoặc không).

Xem thêm

• Phép cộng
• Cấp số nhân
• Cấp số cộng tổng quát
• Carl Friedrich Gauss