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

Quy tắc đạo hàm của tích

Phát biểu

Nếu f,gf,g khả vi tại xx, thì fgfg khả vi tại xx và (fg)′(x)=f′(x)g(x)+f(x)g′(x)(fg)'(x) = f'(x)g(x)+f(x)g'(x).

Vì sao đúng?

Diện tích một hình chữ nhật đang lớn dần thay đổi vì hai lý do cùng lúc - chiều rộng đang tăng và chiều cao đang tăng - và tốc độ thay đổi tổng của diện tích chính bằng tổng của hai đóng góp riêng biệt đó.

Phác thảo chứng minh

Viết f(x+h)g(x+h)−f(x)g(x)h\frac{f(x+h)g(x+h)-f(x)g(x)}{h} và thêm vào tử số −f(x+h)g(x)+f(x+h)g(x)-f(x+h)g(x)+f(x+h)g(x) để tách thành f(x+h)⋅g(x+h)−g(x)h+f(x+h)−f(x)h⋅g(x)f(x+h)\cdot\frac{g(x+h)-g(x)}{h} + \frac{f(x+h)-f(x)}{h}\cdot g(x). Khi h→0h\to 0, tỷ sai phân thứ nhất tiến tới g′(x)g'(x) và f(x+h)→f(x)f(x+h)\to f(x) do tính liên tục (vì ff khả vi tại xx), còn tỷ sai phân thứ hai tiến tới f′(x)f'(x); tổng tiến tới f(x)g′(x)+f′(x)g(x)f(x)g'(x)+f'(x)g(x).

Người chứng minh

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

Định lý liên quan

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

  1. Gottfried Wilhelm Leibniz (1684). Nova Methodus pro Maximis et Minimis...
  2. C. H. Edwards (1979). The Historical Development of the Calculus