Tích phân xác định của f từ a đến b là giới hạn của tổng diện tích các hình chữ nhật mỏng xấp xỉ vùng dưới đồ thị, khi bề rộng các hình chữ nhật tiến tới 0; với hàm dương, đó chính là diện tích vùng nằm giữa đồ thị và trục hoành trên đoạn [a; b]. Phần nằm dưới trục hoành được tính là âm, nên nói chính xác thì tích phân là diện tích có dấu.
Điều làm tích phân trở thành công cụ thực dụng là định lý cơ bản của giải tích: thay vì cộng vô số hình chữ nhật, ta chỉ cần tìm một nguyên hàm F của f rồi lấy F(b) − F(a). Bài này dựng khái niệm từ đầu bằng một ví dụ tính tay, giải thích vì sao định lý cơ bản đúng, chỉ ra các ý nghĩa ngoài diện tích, và những bẫy khiến sinh viên tính ra số âm cho một diện tích.
Xấp xỉ diện tích dưới y = x² bằng hình chữ nhật
Lấy vùng dưới parabol y = x² trên đoạn [0; 1]. Chia đoạn thành 4 phần bằng nhau, mỗi phần rộng 0,25, dựng trên mỗi phần một hình chữ nhật. Chiều cao lấy theo đầu trái, đầu phải hay điểm giữa của mỗi phần sẽ cho ba cách xấp xỉ khác nhau.
| Cách lấy chiều cao | Các điểm lấy giá trị | Tổng các chiều cao | Tổng diện tích |
|---|---|---|---|
| Đầu trái | 0; 0,25; 0,5; 0,75 | 0,875 | 0,21875 |
| Đầu phải | 0,25; 0,5; 0,75; 1 | 1,875 | 0,46875 |
| Điểm giữa | 0,125; 0,375; 0,625; 0,875 | 1,3125 | 0,328125 |
Vì hàm tăng trên đoạn này, tổng đầu trái luôn thiếu và tổng đầu phải luôn thừa; diện tích thật kẹp giữa 0,21875 và 0,46875. Tổng điểm giữa đã rất gần giá trị đúng là 1/3, khoảng 0,3333. Khi chia thành n phần và cho n tăng, cả ba cách đều tiến về cùng một số, và số đó được định nghĩa là tích phân.
Có thể tính chính xác bằng công thức tổng các bình phương: tổng đầu phải với n phần bằng (1/n³)(1² + 2² + … + n²) = (n + 1)(2n + 1)/(6n²). Thay n = 4 được 5 × 9/96 = 0,46875, khớp với bảng. Cho n ra vô cực, biểu thức tiến tới 2/6 = 1/3. Cách làm này chính là phương pháp Riemann, mang tên Bernhard Riemann, người phát biểu định nghĩa tích phân theo lối tổng này một cách chặt chẽ vào giữa thế kỷ 19.
Ý tưởng có từ thời cổ đại, công cụ có từ thế kỷ 17
Việc tính diện tích hình cong bằng cách chia nhỏ đã có từ thời Hy Lạp cổ đại. Archimedes, trong tác phẩm về cầu phương parabol, chứng minh rằng diện tích một mảnh parabol bằng 4/3 diện tích một tam giác nội tiếp đặc biệt, bằng cách lấp đầy vùng đó bằng vô số tam giác ngày càng nhỏ và lập luận loại trừ. Phương pháp này về tinh thần rất gần tích phân, nhưng mỗi hình phải nghĩ ra một cách chia riêng, không có quy trình chung.
Bước nhảy của thế kỷ 17 là nhận ra mối liên hệ giữa bài toán diện tích và bài toán tiếp tuyến. Newton và Leibniz, mỗi người theo con đường riêng, đều thấy rằng tính diện tích là phép ngược của lấy đạo hàm. Từ đó, thay vì nghĩ ra cách chia mới cho mỗi hình, ta chỉ cần tìm một hàm mà đạo hàm của nó là hàm đã cho. Ký hiệu dấu tích phân kéo dài, giống chữ S viết dài, do Leibniz đặt ra để gợi chữ "tổng".
Sang thế kỷ 19, Cauchy rồi Riemann làm chặt định nghĩa tích phân để trả lời câu hỏi: hàm nào thì tích phân được? Câu trả lời của Riemann bao phủ mọi hàm liên tục trên đoạn đóng và nhiều hàm có hữu hạn điểm gián đoạn. Đầu thế kỷ 20, Lebesgue đưa ra một lý thuyết tích phân tổng quát hơn, nền tảng của xác suất hiện đại, nhưng ở năm nhất bạn chỉ cần tích phân Riemann.
Định lý cơ bản của giải tích: vì sao F(b) − F(a) cho ra diện tích
Định lý có hai phần. Phần thứ nhất: nếu f liên tục và ta định nghĩa A(x) là diện tích có dấu dưới f từ a đến x, thì A′(x) = f(x). Lập luận trực quan rất gọn: khi x tăng thêm một lượng nhỏ h, diện tích tăng thêm một dải mỏng gần như hình chữ nhật cao f(x), rộng h. Vậy (A(x + h) − A(x))/h xấp xỉ f(x), và đúng bằng f(x) khi h tiến tới 0. Nói cách khác, tốc độ diện tích "lớn lên" bằng chiều cao của đồ thị tại mép đang tiến.
Phần thứ hai, cũng gọi là công thức Newton – Leibniz: nếu F là một nguyên hàm bất kỳ của f trên [a; b] thì tích phân từ a đến b của f bằng F(b) − F(a). Lý do: A và F có cùng đạo hàm nên chỉ khác nhau một hằng số, mà A(a) = 0, nên A(b) = F(b) − F(a). Hằng số C của nguyên hàm tự triệt tiêu khi trừ, vì thế bạn không cần viết C khi tính tích phân xác định.
Áp vào ví dụ ở trên: nguyên hàm của x² là x³/3, nên tích phân từ 0 đến 1 bằng 1/3 − 0 = 1/3, khớp với giới hạn tổng Riemann. Một dòng thay cho cả một trang tính tổng; đó là lý do định lý mang tên "cơ bản". Nhưng hãy nhớ điều kiện: f phải liên tục (hoặc ít nhất khả tích) trên toàn đoạn. Bỏ qua điều kiện này là nguồn của bẫy kinh điển ở mục sau.
Tích phân không chỉ là diện tích
Quãng đường từ vận tốc. Nếu v(t) là vận tốc, tích phân của v từ thời điểm t₁ đến t₂ là độ dời. Ví dụ v(t) = 2t m/s thì từ 0 đến 3 giây vật dời 3² − 0 = 9 mét. Nếu vận tốc đổi dấu, độ dời khác quãng đường đi được; muốn quãng đường thì tích phân trị tuyệt đối của v.
Giá trị trung bình của hàm. Trung bình của f trên [a; b] bằng tích phân chia (b − a). Trung bình của x² trên [0; 1] là 1/3. Đây là cách tính nhiệt độ trung bình cả ngày từ một đường cong nhiệt độ liên tục, thay vì chỉ lấy trung bình vài lần đo.
Tổng tích luỹ. Lưu lượng nước chảy qua cống theo thời gian, tích phân lại được tổng thể tích nước; công suất điện theo thời gian, tích phân lại được điện năng tiêu thụ. Mọi chỗ có dạng "tốc độ nhân thời gian" mà tốc độ thay đổi liên tục đều cần tích phân.
Thể tích và độ dài. Thể tích vật tròn xoay là tích phân của diện tích các lát cắt; độ dài một đường cong là tích phân của căn (1 + f′²). Cùng ý tưởng chia nhỏ rồi cộng, chỉ khác thứ được cộng.
Xác suất. Với biến ngẫu nhiên liên tục, xác suất rơi vào một khoảng là tích phân của hàm mật độ trên khoảng đó. Phần này được bàn trong danh mục xác suất và thống kê của trang.
Ví dụ hoàn chỉnh: diện tích hình phẳng giữa hai đường cong
Bài toán diện tích hay gặp nhất ở năm nhất không phải vùng dưới một đồ thị mà vùng kẹp giữa hai đồ thị. Lấy hai đường y = x và y = x². Trước hết tìm giao điểm: x = x² cho x = 0 hoặc x = 1. Trên khoảng giữa, thử x = 0,5 thấy 0,5 lớn hơn 0,25, nên đường thẳng nằm trên parabol. Diện tích bằng tích phân từ 0 đến 1 của (x − x²) dx, tức là (1/2 − 1/3) − 0 = 1/6.
Quy tắc chung: diện tích bằng tích phân của (hàm trên trừ hàm dưới). Nếu hai đường cắt nhau nhiều lần và đổi vị trí trên dưới, bạn phải tách đoạn tại mỗi giao điểm. Cách làm nhanh để tránh nhầm là luôn thử một điểm bên trong mỗi khoảng để biết đường nào nằm trên, thay vì đoán theo hình vẽ tay.
Ví dụ thứ hai để luyện dấu: diện tích giữa y = sin x và trục hoành trên đoạn [0; π]. Hàm không âm trên đoạn này, nên diện tích bằng tích phân, tức (−cos π) − (−cos 0) = 1 + 1 = 2. Mở rộng sang [0; 2π] thì phải tách tại π và lấy trị tuyệt đối phần sau, ra tổng diện tích 4 như đã nói ở mục bẫy. Hai ví dụ này đủ để bạn tự kiểm mọi bài diện tích phẳng thông thường.
Bẫy hay gặp khi tính tích phân xác định
Các lỗi dưới đây đều cho ra một con số trông hợp lý, nên rất khó tự phát hiện nếu không biết trước.
| Bẫy | Ví dụ | Cách tránh |
|---|---|---|
| Áp công thức Newton – Leibniz qua điểm gián đoạn | Tích phân 1/x² từ −1 đến 1 tính máy móc ra −2, số âm cho hàm luôn dương | Kiểm f liên tục trên toàn đoạn; nếu không, đó là tích phân suy rộng và ở đây phân kỳ |
| Nhầm diện tích với tích phân | Tích phân sin x từ 0 đến 2π bằng 0, nhưng diện tích hình giới hạn bằng 4 | Tìm chỗ hàm đổi dấu, tách đoạn, lấy trị tuyệt đối từng phần |
| Đổi biến mà quên đổi cận | Thay u = x² + 1 nhưng vẫn để cận 0 và 1 | Đổi cận cùng lúc đổi biến, hoặc trả về biến cũ rồi mới thay cận |
| Sai dấu khi đảo cận | Coi tích phân từ 2 đến 1 bằng tích phân từ 1 đến 2 | Đảo cận thì đổi dấu |
Dòng đầu là bẫy đáng nhớ nhất vì nó cho thấy định lý cơ bản có điều kiện. Hàm 1/x² không xác định tại 0 và tăng vô hạn ở hai bên; vùng dưới đồ thị có diện tích vô hạn. Một phép tính ra số âm cho diện tích của hàm dương là tín hiệu cảnh báo bạn nên dừng lại kiểm giả thiết.
Học tích phân với AI: để máy cộng, để bạn hiểu
Phần mềm và chatbot tính tích phân rất nhanh, vì thế giá trị học tập nằm ở việc bạn tự dựng được ý nghĩa và tự kiểm. Một cách phối hợp hợp lý:
- Với một tích phân mới, tự phác đồ thị và đoán dấu, độ lớn của kết quả trước khi tính.
- Tính bằng nguyên hàm trên giấy.
- Nhờ chatbot viết một đoạn mã ngắn hoặc dùng bảng tính để cộng tổng Riemann với n = 10, 100, 1000; xem dãy số có tiến về kết quả của bạn không. Câu lệnh mẫu: "Giải thích cách tính tổng Riemann điểm giữa cho tích phân này với n = 100 bằng bảng tính, từng cột cần điền gì, để mình tự làm."
- Nếu hai con số lệch, kiểm lại nguyên hàm bằng cách lấy đạo hàm của nó.
- Hỏi AI một câu "vì sao" thay vì "bao nhiêu": ví dụ "vì sao tổng đầu trái luôn nhỏ hơn tích phân khi hàm tăng".
Tự dựng bảng tổng Riemann một lần sẽ làm khái niệm tích phân bám vào đầu bạn hơn mọi định nghĩa. Nó cũng là kỹ năng dùng thật khi gặp hàm không có nguyên hàm sơ cấp, nơi chỉ còn cách tính số.
Câu hỏi thường gặp
Tích phân xác định và nguyên hàm khác nhau thế nào?
Nguyên hàm là một họ hàm F(x) + C có đạo hàm bằng f. Tích phân xác định là một con số, gắn với hai cận a và b. Định lý cơ bản nối hai khái niệm: con số đó bằng F(b) − F(a) với F là một nguyên hàm bất kỳ.
Mọi hàm liên tục đều có nguyên hàm phải không?
Đúng, theo phần thứ nhất của định lý cơ bản, hàm A(x) bằng tích phân từ a đến x của f là một nguyên hàm. Nhưng nguyên hàm đó có thể không viết được bằng các hàm sơ cấp quen thuộc, ví dụ với e mũ (−x²). Khi đó người ta tính số hoặc đặt tên hàm mới.
Vì sao tích phân của sin từ 0 đến 2π bằng 0?
Vì nửa đầu đồ thị nằm trên trục hoành với diện tích 2, nửa sau nằm dưới với diện tích 2 được tính âm, hai phần triệt tiêu. Tích phân đo diện tích có dấu. Muốn diện tích hình học, bạn tách tại π và lấy trị tuyệt đối.
Tích phân suy rộng là gì?
Là tích phân có cận vô cực hoặc hàm không bị chặn trong đoạn. Nó được định nghĩa bằng một giới hạn nữa: ví dụ tích phân 1/x² từ 1 đến vô cực bằng giới hạn của 1 − 1/b khi b ra vô cực, tức 1. Có tích phân suy rộng hội tụ, có cái phân kỳ.
Có cách nào ước lượng nhanh tích phân mà không cần nguyên hàm?
Có. Quy tắc điểm giữa, quy tắc hình thang và quy tắc Simpson là ba cách thông dụng, cho độ chính xác tăng dần với cùng số điểm chia. Với hàm trơn, quy tắc Simpson chỉ cần vài điểm đã cho kết quả rất sát.