Phương pháp đổi biến số
Phát biểu
Nếu là một nguyên hàm của và khả vi, thì .
Vì sao đúng?
Đổi biến số chẳng qua là quy tắc dây chuyền đọc ngược lại: lấy đạo hàm của một hàm hợp tạo ra đúng khuôn mẫu "đạo hàm hàm ngoài nhân đạo hàm hàm trong," . Vì vậy bất cứ khi nào hàm dưới dấu tích phân đã có đúng dạng này, việc nhận ra biến một tích phân trông khó theo thành một tích phân dễ theo .
Phác thảo chứng minh
Đặt . Theo quy tắc dây chuyền, vì , nên .
Điều này nói chính xác rằng khả vi với đạo hàm tại mọi thuộc tập xác định — tức , theo định nghĩa, là một nguyên hàm của .
Theo định lý duy nhất ở trên, mọi nguyên hàm của chỉ khác một hằng số, nên , đúng như khẳng định. Trong thực hành, ta viết , , đưa vế trái về trước khi thay ngược lại ở bước cuối.
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.
Tài liệu tham khảo
- James Stewart (2015). Calculus: Early Transcendentals
- Michael Spivak (2008). Calculus
- Manuel Bronstein (1998). Symbolic Integration Tutorial