Nguyên hàm

Trong bộ môn giải tích, một nguyên hàm của một hàm số thực cho trước f là một hàm F có đạo hàm bằng f, nghĩa là, F′ = f. Quá trình tìm nguyên hàm được gọi là tích phân bất định. Tìm một biểu thức cho nguyên hàm là công việc khó hơn so với việc tìm đạo hàm, và không phải luôn luôn thực hiện được.

Tuy nhiên, bất kỳ hàm số liên tục trên đoạn hay khoảng từ giá trị a đến b, thì đều tồn tại nguyên hàm của hàm số đó trên đoạn/khoảng từ a đến b nêu trên.

Nguyên hàm được liên hệ với tích phân thông qua định lý cơ bản của giải tích, cung cấp một phương tiện tiện lợi để tính toán tích phân của nhiều hàm số.

Định nghĩa 
Cho hàm số f xác định trên K. Hàm số F được gọi là nguyên hàm của hàm số f trên K nếu F(x) khả vi trên K và F(x) = f(x) với mọi x thuộc K. Thí dụ:

(1) Hàm số f (x) = cos x có nguyên hàm là F (x) = sin x vì (sin x)' = cos x (tức F '(x) = f (x)).

(2) Hàm số f (x) = ax có nguyên hàm là F(x) =  vì  = ax.

Giả sử hàm số F là một nguyên hàm của hàm số f trên K. Khi đó: với mỗi hằng số C, hàm số y = F(x) + C cũng là một nguyên hàm của f trên K và ngược lại với mỗi nguyên hàm G của f trên K thì tồn tại một hằng số C sao cho G(x) = F(x) + C với mọi x thuộc K. Do đó ta thấy nếu F là một nguyên hàm của f trên K thì mọi nguyên hàm của f trên K đều có dạng F(x) + C với số thực C. Vậy F(x) + C với số thực C là họ tất cả các nguyên hàm của f trên K. Kí hiệu: 

Người ta chứng minh được mọi hàm số liên tục trên K đều có nguyên hàm trên K

 Tính chất 
Nếu f và g là hai hàm số liên tục trên K thì

 
 (với mọi số thực k khác 0).

Ví dụ: .

 Ý nghĩa 
Các nguyên hàm có ý nghĩa quan trọng vì chúng được dùng để tính toán các tích phân, sử dụng định lý cơ bản của giải tích: nếu F là một nguyên hàm của f, thì:

Vì lý do này, tập hợp tất cả các nguyên hàm của một hàm f cho trước đôi khi được gọi là tích phân bất định''' của f và được ký hiệu bằng dấu tích phân, không có các cận:

Nếu F là một nguyên hàm của f, và hàm f xác định trên một khoảng nào đó, thì mọi nguyên hàm G khác của f khác với F bởi một hằng số: tồn tại một số C sao cho G(x) = F(x) + C với mọi x. 
Nếu tập xác định của F gồm hai hay nhiều khoảng, thì có thể chọn những hằng số khác nhau trên mỗi khoảng. Ví dụ

là nguyên hàm tổng quát nhất của  trên tập xác định  của nó.

Mọi hàm liên tục f đều có nguyên hàm.

Có nhiều hàm số có nguyên hàm nhưng không thể biểu diễn dưới dạng các hàm sơ cấp. Ví dụ:

Nguyên hàm của một số hàm số cơ bản
Nguồn:

Tham khảo

 Chú thích 

 Danh mục 
Nguyễn Cam, Nguyễn Văn Phước. Phương pháp giải toán Giải tích 12 theo chương trình mới nhất'' (Tái bản lần 1). Nhà xuất bản Đại học sư phạm,, Hà Nội 2011.

Giải tích toán học
et:Määramata integraal
es:Integración indefinida
fr:Intégrale indéfinie
hu:Határozatlan integrál