✨Quy tắc nhân

Trong giải tích, quy tắc nhân là công thức dùng để tìm các đạo hàm của tích của 2 hay nhiều hàm. Được phát biểu rằng : $\{\backslash displaystyle\; (f\backslash cdot\; g)\text{'}=f\text{'}\backslash cdot\; g+f\backslash cdot\; g\text{'}\}$ hoặc phát biểu bằng ký hiệu Leibniz : $\{\backslash displaystyle\; \{\backslash dfrac\; \{d\}\{dx(u\backslash cdot\; v)=\{\backslash dfrac\; \{du\}\{dx\backslash cdot\; v+u\backslash cdot\; \{\backslash dfrac\; \{dv\}\{dx.\}\; \{\backslash displaystyle\; \{\backslash dfrac\; \{d\}\{dx(u\backslash cdot\; v)=\{\backslash dfrac\; \{du\}\{dx\backslash cdot\; v+u\backslash cdot\; \{\backslash dfrac\; \{dv\}\{dx.\}$ Theo ký hiệu vi phân, công thức này có thể viết thành : $\{\backslash displaystyle\; d(uv)=u\backslash ,dv+v\backslash ,du.\}$ Theo ký hiệu Leibniz, đạo hàm của tích của 3 hàm (đừng nhầm lẫn với Quy tắc nhân 3 của Eucler) là : $\{\backslash displaystyle\; \{\backslash dfrac\; \{d\}\{dx(u\backslash cdot\; v\backslash cdot\; w)=\{\backslash dfrac\; \{du\}\{dx\backslash cdot\; v\backslash cdot\; w+u\backslash cdot\; \{\backslash dfrac\; \{dv\}\{dx\backslash cdot\; w+u\backslash cdot\; v\backslash cdot\; \{\backslash dfrac\; \{dw\}\{dx.\}$

Sự phát hiện

Người được ghi nhận phát hiện quy tắc này là Gottfried Leibniz, ông đã chứng minh quy tắc nhân bằng các sử dụng vi phân. (Tuy nhiên, còn có lập luận rằng đó là do Isaac Barrow.) Dưới đây là chứng minh của Leibniz: Cho u(x) và v(x) là 2 hàm số khả vi với x. Khi đó vi phân của uv bằng : Do tích du·dv là "không đáng kể" (so với du và dv), Leibniz khẳng định rằng : $\{\backslash displaystyle\; d(u\backslash cdot\; v)=v\backslash cdot\; du+u\backslash cdot\; dv\}$ Công thức này là thực chất là dạng vi phân của quy tắc nhân. Nếu chia vi phân dx cho 2 vế, ta có : $\{\backslash displaystyle\; \{\backslash frac\; \{d\}\{dx(u\backslash cdot\; v)=v\backslash cdot\; \{\backslash frac\; \{du\}\{dx+u\backslash cdot\; \{\backslash frac\; \{dv\}\{dx\}$ mà viết lại theo ký hiệu Lagrange là : $\{\backslash displaystyle\; (u\backslash cdot\; v)\text{'}=v\backslash cdot\; u\text{'}+u\backslash cdot\; v\text{'}.\}$

Ví dụ

• Giả sử ta muốn tìm vi phân của hàm f(x) = x² sin(x). Bằng cách quy tác nhân, ta có __(x) = 2x sin(x) + x² cos(x) (do đạo hàm của x² là 2x và đạo hàm của sin là hàm cos).
• Trường hợp đặc biệt của quy tắc nhân là quy tắc nhân với hằng số, được phát biểu rằng: nếu c là một số và f(x) là hàm số khả vi thì cf(x) cũng khả vi, và (cf(x) = c(x). Quy tắc này tuân theo quy tắc nhân do đạo hàm của một hằng số chính là 0. Quy tắc nhân với hằng số và quy tắc cộng đối với đạo hàm chứng minh rằng phép lấy vi phân có tính chất tuyến tính.
• Các quy tắc áp dụng cho tích phân từng phần thực chất là được suy ra từ quy tắc nhân, giống nhứ (một phiên bản rút gọn) của quy tắc chia. (Nó là phiên bản "yếu" do không chứng minh được tính khả vi của thương mà chỉ suy ra đạo hàm nếu hàm khả vi.)

Chứng minh

Chứng minh bằng phân tích nhân tử (dựa trên nguyên tắc đầu tiên)

Tóm tắt chứng minh

Bằng định nghĩa, nếu $f,g:\backslash mathbb\; \{R\}\; \backslash rightarrow\; \backslash mathbb\; \{R\}$ là khả vi tại $x$ thì : $f(x+h)=f(x)+f\text{'}(x)h+\backslash psi${1}(h)\qquad \qquad g(x+h)=g(x)+g'(x)h+\psi {2}(h) sao cho $\backslash lim${h\to 0}{\frac {\psi {1}(h)}{h=\lim {h\to 0}{\frac {\psi {2}(h)}{h=0, cũng viết thành $\backslash psi${1},\psi {2}\sim o(h). Do đó: : $\{\backslash begin\{aligned\}fg(x+h)-fg(x)=(f(x)+f\text{'}(x)h+\backslash psi${1}(h))(g(x)+g'(x)h+\psi {2}(h))-fg(x)=f'(x)g(x)h+f(x)g'(x)h+O(h)\[12pt]\end{aligned Tìm giới hạn khi $h$ cực tiểu cho ta kết quả.

Quy tắc chuỗi

Quy tắc nhân có thể coi là trường hợp đặc biệt của quy tắc chuỗi với nhiều biến. : $\{\backslash displaystyle\; \{d(ab)\; \backslash over\; dx\}=\{\backslash frac\; \{\backslash partial\; (ab)\}\{\backslash partial\; a\{\backslash frac\; \{da\}\{dx+\{\backslash frac\; \{\backslash partial\; (ab)\}\{\backslash partial\; b\{\backslash frac\; \{db\}\{dx=b\{\backslash frac\; \{da\}\{dx+a\{\backslash frac\; \{db\}\{dx.\}$

Giải tích không chuẩn

Giải thích cực tiểu trơn

Tổng quát hóa

Tích nhiều hơn hai nhân tử

Đạo hàm cấp cao

Đạo hàm một phần cấp cao

Không gian Banach

Phép lấy đạo hàm trong đại số trừu tượng

Các hàm vector

Trường vô hướng

Ứng dụng