Xem mã nguồn của Quy tắc nhân

Trong [[Vi tích phân|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 số|hàm]]. Được phát biểu rằng
: <math>{\displaystyle (f\cdot g)'=f'\cdot g+f\cdot g'}</math>
hoặc phát biểu bằng [[ký hiệu Leibniz]]
: <math>{\displaystyle {\dfrac {d}{dx}}(u\cdot v)={\dfrac {du}{dx}}\cdot v+u\cdot {\dfrac {dv}{dx}}.} {\displaystyle {\dfrac {d}{dx}}(u\cdot v)={\dfrac {du}{dx}}\cdot v+u\cdot {\dfrac {dv}{dx}}.} </math>
Theo ký hiệu vi phân, công thức này có thể viết thành
: <math>{\displaystyle d(uv)=u\,dv+v\,du.}</math>
Theo ký hiệu Leibniz, đạo hàm của tích của 3 hàm (đừng nhầm lẫn với [[Triple product rule|Quy tắc nhân 3 của Eucler]]) là
: <math>{\displaystyle {\dfrac {d}{dx}}(u\cdot v\cdot w)={\dfrac {du}{dx}}\cdot v\cdot w+u\cdot {\dfrac {dv}{dx}}\cdot w+u\cdot v\cdot {\dfrac {dw}{dx}}.}</math>

== 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.<ref>{{chú thích tạp chí|author=Michelle Cirillo|journal=The Mathematics Teacher|volume=101|issue=1|pages=23&ndash;27|date=August 2007|title=Humanizing Calculus|url=http://www.nctm.org/publications/article.aspx?id=19302|url-access=subscription}}</ref> (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
: <math>{\begin{aligned}d(u\cdot v)&{}=(u+du)\cdot (v+dv)-u\cdot v\\&{}=u\cdot dv+v\cdot du+du\cdot dv.\end{aligned}}</math>
Do tích ''du''·''dv'' là "không đáng kể" (so với ''du'' và ''dv''), Leibniz khẳng định rằng
: <math>{\displaystyle d(u\cdot v)=v\cdot du+u\cdot dv}</math>
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ó
: <math>{\displaystyle {\frac {d}{dx}}(u\cdot v)=v\cdot {\frac {du}{dx}}+u\cdot {\frac {dv}{dx}}}</math>
mà viết lại theo [[Đạo hàm|ký hiệu Lagrange]] là
: <math>{\displaystyle (u\cdot v)'=v\cdot u'+u\cdot v'.}</math>

== Ví dụ ==
* Giả sử ta muốn tìm vi phân của hàm ''f''(''x'') = ''x''<sup>2</sup> sin(''x''). Bằng cách quy tác nhân, ta có ''{{′|f}}''(''x'') = 2''x'' sin(''x'') + ''x''<sup>2</sup> cos(''x'') (do đạo hàm của ''x''<sup>2</sup> là 2''x'' 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à [[Constant multiple rule|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ố [[Constant multiple rule|khả vi thì cf(]]''x'') cũng khả vi, và ''(cf''{{′|)}}(''x'') = ''c{{′|f}}''(''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 [[Biến đổi tuyến tính|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 <math>f,g:\mathbb {R} \rightarrow \mathbb {R} </math> là khả vi tại <math>x</math> thì
: <math>f(x+h)=f(x)+f'(x)h+\psi _{1}(h)\qquad \qquad g(x+h)=g(x)+g'(x)h+\psi _{2}(h)</math>
sao cho <math>\lim _{h\to 0}{\frac {\psi _{1}(h)}{h}}=\lim _{h\to 0}{\frac {\psi _{2}(h)}{h}}=0</math>, [[Kí hiệu O lớn|cũng viết thành]] <math>\psi _{1},\psi _{2}\sim o(h)</math>. Do đó:
: <math>{\begin{aligned}fg(x+h)-fg(x)=(f(x)+f'(x)h+\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}}</math>
Tìm giới hạn khi <math>h</math> 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 [[Chain rule|quy tắc chuỗi]] với nhiều biến.
: <math>{\displaystyle {d(ab) \over dx}={\frac {\partial (ab)}{\partial a}}{\frac {da}{dx}}+{\frac {\partial (ab)}{\partial b}}{\frac {db}{dx}}=b{\frac {da}{dx}}+a{\frac {db}{dx}}.}</math>

=== 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 ==

== Xem thêm ==
* [[Derivation (differential algebra)|Đạo hàm (đại số vi phân)]]
* Vi phân [[Differential (mathematics)|(toán học)]]
* [[General Leibniz rule|Quy tắc Leibniz tổng quát]]
* [[Quotient rule|Quy tắc chia]]
* [[Reciprocal rule|Quy tắc đối]]

== Tham khảo ==
{{tham khảo}}

== Liên kết ngoài ==
* [http://www.math.ucdavis.edu/~kouba/CalcOneDIRECTORY/productruledirectory/ProductRule.html Bài toán Thực tế về Quy tắc nhân [Kouba, Đại học California: Davis<nowiki>]</nowiki>]

[[Thể loại:Định lý trong giải tích]]
[[Thể loại:Định lý trong tính toán]]