Tích phân đo lượng tích lũy có dấu của một đại lượng biến thiên liên tục — từ diện tích hình thang cong đến thể tích khối tròn xoay — và được nối với nguyên hàm qua Định lý cơ bản của giải tích.
Trực giácCắt thật mỏng, cộng thật nhiều: đo miền cong
Làm sao tính diện tích một miền có biên cong, hay tổng quãng đường đi được khi vận tốc thay đổi từng khoảnh khắc? Hình học sơ cấp chỉ có công thức cho những hình phẳng cạnh thẳng như hình chữ nhật hay tam giác. Ý tưởng cốt lõi của tích phân là cắt thật mỏng, cộng thật nhiều: chia miền dưới đồ thị y=f(x)≥0 trên đoạn [a,b] thành n dải thẳng đứng có bề rộng bằng nhau Δx=(b−a)/n, rồi xấp xỉ mỗi dải bằng một hình chữ nhật. Khi số hình chữ nhật còn ít, bậc thang chỉ là xấp xỉ thô; khi n tăng lên và Δx→0, phần lệch ở mép trên nhỏ dần và tổng diện tích các hình chữ nhật tiến dần về một con số chính xác duy nhất — tích phân.
Đồ thị tương tác của parabol y = x^2 trên đoạn [0, 2] cùng n hình chữ nhật tô màu lấy chiều cao tại mút trái xấp xỉ diện tích dưới đường cong.
Tổng các hình chữ nhật lấy chiều cao tại mút trái của y=x2 trên đoạn [0,2] với n lát cắt bề rộng Δx=2/n. Tăng n để thấy diện tích bậc thang tiến dần về tích phân chính xác ∫02x2dx=8/3≈2.667.
Phổ thôngCông thức Newton–Leibniz và diện tích có dấu
Định nghĩa: Tích phân (công thức Newton–Leibniz)
Cho hàm số f liên tục trên đoạn [a,b] và F là một nguyên hàm bất kỳ của f trên [a,b] (tức là F′(x)=f(x) với mọi x∈[a,b]). Tích phân của f từ a đến b là hiệu số F(b)−F(a). Vì mọi nguyên hàm khác đều có dạng G(x)=F(x)+C với hằng số C, hằng số này tự triệt tiêu khi trừ: G(b)−G(a)=(F(b)+C)−(F(a)+C)=F(b)−F(a), nên giá trị tích phân không phụ thuộc vào việc chọn nguyên hàm nào.
∫abf(x)dx=F(x)ab=F(b)−F(a),F′(x)=f(x)
Vì sao lấy hiệu nguyên hàm tại hai đầu mút lại ra đúng giới hạn của tổng các hình chữ nhật? Xét hàm diện tíchA(x) là diện tích dưới đồ thị y=f(t) từ a đến x. Khi tăng x thêm một lượng nhỏ h, diện tích tăng thêm một dải mỏng cao ≈f(x) và rộng h, nên ΔA=A(x+h)−A(x)≈f(x)h. Chia cho h rồi cho h→0 ta được A′(x)=f(x): hàm diện tích chính là một nguyên hàm của f! Vì A(a)=0, ta suy ra A(x)=F(x)−F(a). Với f(x)=x2 trên [0,2], chọn F(x)=x3/3 cho ngay ∫02x2dx=23/3−0=8/3. Khi f(x) nằm dưới trục x (f(x)<0), độ cao mang dấu âm nên tích phân tính diện tích có dấu (phần phía trên trục hoành trừ phần phía dưới): chẳng hạn, ∫02πsinxdx=(−cos2π)−(−cos0)=0 vì vòm dương trên [0,π] và vòm âm trên [π,2π] triệt tiêu nhau.
Các tính chất cơ bản của tích phân theo phép toán và cận
Tính chất
Công thức
Ý nghĩa hình học
Đưa hằng số ra ngoài
∫abkf(x)dx=k∫abf(x)dx
Co giãn chiều cao k lần thì diện tích có dấu nhân k
Tích phân của tổng, hiệu
∫ab[f(x)±g(x)]dx=∫abf(x)dx±∫abg(x)dx
Cộng hoặc trừ độ cao từng lát cắt
Tách đoạn (cộng đoạn)
∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx
Cắt miền tại x=c thành hai phần kề nhau
Cận trùng nhau và đảo cận
∫aaf(x)dx=0,∫baf(x)dx=−∫abf(x)dx
Đi ngược chiều trục số làm đổi dấu Δx
Ví dụ: So sánh tích phân có dấu và diện tích hình phẳng trên [0,2]
Cho f(x)=x2−1 trên đoạn [0,2], hãy tính (a) tích phân I=∫02(x2−1)dx và (b) tổng diện tích hình học S=∫02∣x2−1∣dx giới hạn bởi đồ thị và trục x.
Lời giải
(a) Dùng nguyên hàm F(x)=3x3−x, công thức Newton–Leibniz cho I=(323−2)−0=32. (b) Trên [0,2], x2−1=0 tại x=1, với x2−1≤0 trên [0,1] và x2−1≥0 trên [1,2]. Tách tích phân tại x=1 ta được S=∫01(1−x2)dx+∫12(x2−1)dx=32+34=2.
Ví dụ
Một lực biến thiên F(x)=3x2+2 newton tác dụng lên vật thể khi nó dịch chuyển dọc trục x từ x=0 m đến x=3 m. (a) Viết công thực hiện dưới dạng tích phân xác định. (b) Tính giá trị chính xác. (c) Tìm lực trung bình trên đoạn dịch chuyển đó.
Lời giải
Bước 1 — Lập tích phân. Công do lực biến thiên F(x)=3x2+2 thực hiện là W=∫03F(x)dx=∫03(3x2+2)dx.
Bước 2 — Tính bằng công thức Newton–Leibniz. Nguyên hàm là G(x)=x3+2x. Áp dụng công thức: W=G(3)−G(0)=(27+6)−0=33 J.
Bước 3 — Tìm lực trung bình. Theo Định lý giá trị trung bình cho tích phân, giá trị trung bình của lực trên [0,3] là Fˉ=3−0W=333=11 N. Đây là lực không đổi tạo cùng công trên cùng quãng đường — ứng dụng trực tiếp của định lý giá trị trung bình tích phân.
Đại họcKhả tích Riemann và Định lý cơ bản của giải tích
Định nghĩa: Phân hoạch, tổng Riemann và tích phân Riemann
Một phân hoạch của đoạn [a,b] là dãy hữu hạn P=(x0,x1,…,xn) thỏa a=x0<x1<⋯<xn=b, với độ dài các đoạn con Δxi=xi−xi−1 và đường kính∥P∥=max1≤i≤nΔxi. Chọn điểm mẫu xi∗∈[xi−1,xi] trên mỗi đoạn con cho ta tổng RiemannS(f,P,x∗)=∑i=1nf(xi∗)Δxi. Hàm bị chặn f:[a,b]→R gọi là khả tích Riemann với tích phân I=∫abf(x)dx nếu với mọi ε>0, tồn tại δ>0 sao cho ∣S(f,P,x∗)−I∣<ε mỗi khi ∥P∥<δ, bất kể cách chọn các điểm mẫu xi∗.
Cho hàm số f:[a,b]→R liên tục. (1) Hàm tích lũy diện tích A(x)=∫axf(t)dt có đạo hàm trên [a,b] và A′(x)=f(x). (2) Nếu F là một nguyên hàm bất kỳ của f trên [a,b] thì ∫abf(x)dx=F(b)−F(a).
Vì sao đúng?
Tốc độ tăng của diện tích tích lũy A(x) theo x chính là độ cao tức thời f(x) của đường cong tại biên phải đang dịch chuyển. Khi đã biết A′(x)=f(x), mọi nguyên hàm F khác đều có cùng đạo hàm nên A(x) và F(x) chỉ sai khác một hằng số.
Chứng minh
Với h=0, tính chất cộng đoạn cho A(x+h)−A(x)=∫xx+hf(t)dt. Vì ∫xx+h1dt=h, ta viết được hA(x+h)−A(x)−f(x)=h1∫xx+h[f(t)−f(x)]dt. Do f liên tục tại x, với mọi ε>0 tồn tại δ>0 sao cho ∣t−x∣≤∣h∣<δ kéo theo ∣f(t)−f(x)∣<ε, suy ra hA(x+h)−A(x)−f(x)≤ε, chứng tỏ A′(x)=f(x). Ở phần (2), (A−F)′=f−f=0 trên [a,b] nên A(x)−F(x)=C; thay x=a được 0−F(a)=C, rồi thay x=b được A(b)=F(b)−F(a).
Nếu f:[a,b]→R liên tục thì tồn tại ít nhất một điểm c∈(a,b) sao cho ∫abf(x)dx=f(c)(b−a). Tương đương, hàm số f đạt giá trị trung bìnhfˉ=b−a1∫abf(x)dx tại một điểm trong c∈(a,b).
Vì sao đúng?
Áp dụng Định lý giá trị trung bình Lagrange cho nguyên hàm A(x)=∫axf(t)dt trên [a,b]: tồn tại c∈(a,b) sao cho A(b)−A(a)=A′(c)(b−a)=f(c)(b−a). Về mặt hình học, hình chữ nhật có đáy b−a và chiều cao f(c) có diện tích có dấu bằng đúng miền cong dưới y=f(x).
Chứng minh
Bước 1 — Định nghĩa hàm diện tích và áp dụng định lý cơ bản. Đặt A(x)=∫axf(t)dt. Theo định lý cơ bản, f liên tục trên [a,b] và khả vi trên (a,b) với A′(x)=f(x).
**Bước 2 — Áp dụng Định lý giá trị trung bình Lagrange cho A(x)=∫axf(t)dt.** Vì A(x)=∫axf(t)dt liên tục trên [a,b] và khả vi trên (a,b), tồn tại c∈(a,b) sao cho A(b)−A(a)=A′(c)(b−a)=f(c)(b−a). Vì A(a)=0, suy ra ∫abf(x)dx=f(c)(b−a).
**Bước 3 — Kết luận f đạt giá trị trung bình.** Chia cả hai vế cho (b−a)>0 được f(c)=b−a1∫abf(x)dx=fˉ. Theo Định lý Weierstrass, f đạt giá trị nhỏ nhất m và lớn nhất M trên [a,b]; vì m≤fˉ≤M, Định lý giá trị trung gian đảm bảo f đạt fˉ tại một c∈(a,b).
Nâng caoCắt lát thể tích 3D và bước ra ngoài tích phân Riemann
Nếu một vật thể nằm giữa hai mặt phẳng vuông góc với trục x tại x=a và x=b, và thiết diện tại mỗi điểm x∈[a,b] có diện tích khả tích S(x), thì thể tích của vật thể là V=∫abS(x)dx. Nói riêng, khi quay hình thang cong dưới y=f(x) trên đoạn [a,b] quanh trục x, mỗi thiết diện là một hình tròn bán kính ∣f(x)∣ có diện tích S(x)=π[f(x)]2, nên V=π∫ab[f(x)]2dx.
Vì sao đúng?
Cắt vật thể thành n lát mỏng bề dày Δxi; lát thứ i xấp xỉ một hình trụ có diện tích đáy S(xi∗) và thể tích S(xi∗)Δxi. Cộng tất cả các lát lại cho ta tổng Riemann ∑i=1nS(xi∗)Δxi→∫abS(x)dx. Vì tích phân chỉ phụ thuộc vào S(x), hai vật thể bất kỳ có diện tích thiết diện bằng nhau ở mọi độ cao thì có cùng thể tích (nguyên lý Cavalieri, 1635).
Chứng minh
Bước 1 — Cắt thành các lát mỏng. Phân hoạch [a,b] thành n đoạn con bề rộng bằng nhau Δx=(b−a)/n. Trên đoạn con thứ i là [xi−1,xi], xấp xỉ bởi một lát diện tích đáy S(xi∗) và bề dày Δx, thể tích S(xi∗)Δx.
Bước 2 — Lập tổng Riemann và lấy giới hạn. Cộng tất cả các lát: Vn=∑i=1nS(xi∗)Δx. Vì y=f(x) khả tích trên [a,b], tổng này hội tụ khi n→∞ bất kể cách chọn điểm mẫu xi∗: V=limn→∞Vn=∫abS(x)dx.
Bước 3 — Áp dụng cho khối tròn xoay và phát biểu nguyên lý Cavalieri. Quay hình phẳng dưới y=f(x) quanh trục x tạo các thiết diện bán kính ∣f(x)∣, diện tích S(x)=π[f(x)]2. Thay vào: V=π∫ab[f(x)]2dx. Nguyên lý Cavalieri (1635): nếu hai vật thể thỏa SA(x)=SB(x) với mọi x∈[a,b] thì ∫abSA(x)dx=∫abSB(x)dx, tức cùng thể tích bất kể hình dạng.
Mặt paraboloid tròn xoay 3D tương tác tạo bởi đường cong y = sqrt(x) trên đoạn [0, 4] quay quanh trục hoành, có thanh trượt điều chỉnh góc quét từ 0 đến 360 độ.
Khối tròn xoay tạo thành khi quay y=x trên đoạn [0,4] quanh trục x. Mỗi lát cắt tại x là một hình tròn bán kính x có diện tích πx, cho thể tích V=π∫04xdx=8π. Kéo thanh trượt góc quay hoặc xoay hình để quan sát mặt 3D.
Chuyện gì xảy ra khi cách cắt lát của Riemann không còn đủ? Nếu một hàm số nhảy liên tục trên một tập trù mật — chẳng hạn hàm chỉ thị Dirichlet 1Q(x) trên [0,1], bằng 1 tại số hữu tỉ và bằng 0 tại số vô tỉ — thì mọi đoạn con đều chứa cả số hữu tỉ lẫn vô tỉ, nên tổng Riemann trên luôn bằng 1, tổng Riemann dưới luôn bằng 0, và tích phân Riemann không tồn tại. Năm 1902, Henri Lebesgue giải quyết bế tắc này bằng cách chia lát miền giá trị (trục y) thay vì miền xác định x, rồi đo độ lớn tập các điểm x mà f(x)≈y (xem [Lý thuyết độ đo, tích phân Lebesgue](/ly-thuyet-do-do)): vì Q đếm được nên có độ đo Lebesgue bằng 0, kéo theo ∫[0,1]1Qdμ=0, đồng thời các định lý hội tụ mạnh cho phép đưa giới hạn vào trong dấu tích phân (lim∫fn=∫limfn). Trong không gian nhiều chiều ([Tích phân bội](/tich-phan-boi)), tích phân trên đường, mặt và đa tạp được hợp nhất qua dạng vi phân và định lý Stokes tổng quát ∫∂Ωω=∫Ωdω, mà công thức Newton–Leibniz ∫abdF=F(b)−F(a) chính là trường hợp 1 chiều.
Nghiên cứuTích phân ở biên giới nghiên cứu hiện đại
Theo công thức Newton–Leibniz, giá trị của ∫02x2dx bằng bao nhiêu?
Vì sao ∫02πsinxdx=0 dù đường cong y=sinx giới hạn với trục x một hình phẳng có diện tích khác không?
Cho A(x)=∫1xt3+1dt với x>0. Theo Định lý cơ bản của giải tích, A′(2) bằng bao nhiêu?
Quay hình phẳng giới hạn bởi y=x trên đoạn [0,4] quanh trục x tạo thành một khối tròn xoay. Thể tích V của khối đó là bao nhiêu?