MathLabs
Định lýĐã chứng minh

Định lý chuỗi hình học

Phát biểu

Với các số thực aa và rr mà aa khác không, chuỗi hình học ∑n=0∞arn\sum_{n=0}^{\infty} ar^n hội tụ khi và chỉ khi ∣r∣<1|r|<1, và khi đó ∑n=0∞arn=a1−r\sum_{n=0}^{\infty} ar^n = \dfrac{a}{1-r}.

Vì sao đúng?

Chuỗi hình học là chuỗi duy nhất mà tổng riêng của nó có thể viết dưới dạng đóng, nên nó vừa là tiêu chuẩn hội tụ đơn giản nhất có thể, vừa là thước đo mà nhiều tiêu chuẩn khác (tỉ số, căn thức, so sánh) được hiệu chỉnh theo: chúng đều hoạt động bằng cách so sánh một chuỗi tổng quát với một chuỗi hình học.

Phác thảo chứng minh

Bước 1 (viết tổng riêng dưới dạng đóng). Nhân SNS_N với rr: SN=∑n=0N−1arnS_N=\sum_{n=0}^{N-1}ar^n và rSN=∑n=0N−1arn+1=∑n=1NarnrS_N=\sum_{n=0}^{N-1}ar^{n+1}=\sum_{n=1}^{N}ar^n. Trừ đi, hầu hết các số hạng triệt tiêu: SN−rSN=a−arNS_N-rS_N=a-ar^N, nên (1−r)SN=a(1−rN)(1-r)S_N=a(1-r^N).

Bước 2 (giải tìm tổng riêng). Nếu r≠1r\neq1 thì ta được SN=a1−rN1−rS_N=a\dfrac{1-r^N}{1-r}, một công thức chính xác, hữu hạn với mọi nn — chưa hề lấy giới hạn.

Bước 3 (lấy giới hạn). Nếu ∣r∣<1|r|<1, thì rN→0r^N\to0 khi N→∞N\to\infty (một lũy thừa với cơ số có giá trị tuyệt đối nhỏ hơn 11 co về không), nên SN→a1−01−r=a1−rS_N\to a\dfrac{1-0}{1-r}=\dfrac{a}{1-r}, đúng là ∑n=0∞arn=a1−r\sum_{n=0}^{\infty} ar^n = \dfrac{a}{1-r}.

Bước 4 (chiều ngược lại: phân kỳ). Nếu ∣r∣≥1|r|\ge1 và r≠1r\neq1, thì rNr^N không tiến tới giới hạn hữu hạn nào (nó dao động hoặc tăng không giới hạn), nên SNS_N không có giới hạn và chuỗi phân kỳ; nếu r=1r=1 thì SNS_N bằng NaNa, phân kỳ ra vô cực vì aa khác không. Điều này bao trùm mọi trường hợp, chứng minh mệnh đề 'khi và chỉ khi'.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.