Xem mã nguồn của Đạo hàm

{{About|khái niệm được sử dụng trong vi tích phân|nhánh con của [[vi tích phân]] làm việc với đạo hàm|Vi phân}}[[Tập tin:Tangent to a curve.svg|nhỏ|[[Đồ thị của hàm số]] (màu đen) và [[tiếp tuyến]] của nó (màu đỏ). [[Độ dốc|Hệ số góc]] của tiếp tuyến bằng đạo hàm của hàm đó tại tiếp điểm (điểm được đánh dấu).]]{{Giải tích}}
Trong [[toán học]], '''đạo hàm''' của một [[hàm số]] là một đại lượng mô tả sự [[Hệ số biến thiên|biến thiên]] của hàm tại một điểm nào đó. Đạo hàm là một khái niệm cơ bản trong [[Giải tích toán học|giải tích]]. Chẳng hạn, trong [[vật lý]], [[đạo hàm]] biểu diễn [[vận tốc]] tức thời của một điểm chuyển động, khi mà công cụ này giúp đo lường [[tốc độ]] mà đối tượng đó thay đổi tại một thời điểm xác định.

Đạo hàm của một hàm số đơn biến tại một điểm xác định nếu tồn tại, sẽ đồng thời là [[Độ dốc|hệ số góc]] của [[tiếp tuyến]] với [[đồ thị của hàm số]] tại chính điểm đó. Tiếp tuyến này cũng đồng thời là [[xấp xỉ tuyến tính]] tốt nhất có thể tìm được của hàm số lân cận với giá trị đã cho. Bởi lý do này, đạo hàm thường được mô tả là "tốc độ thay đổi tức thời", với tỉ lệ thay đổi tức thời phụ thuộc vào biến độc lập của [[hàm số]]. 

Đạo hàm có thể được khái quát hóa cho [[hàm số đa biến]], ở đó nó được định nghĩa là một phép [[biến đổi tuyến tính]] có đồ thị là xấp xỉ tuyến tính chính xác nhất của đồ thị hàm số ban đầu. [[Ma trận Jacobi]] là [[Ma trận (toán học)|ma trận]] dùng để mô tả phép biến đổi tuyến tính đó đối với chuẩn được cho bởi các biến độc lập và biến phụ thuộc, có thể được tính nhờ các [[đạo hàm riêng]] đối với biến độc lập. Với một hàm số thực đa biến, ma trận Jacobi được rút gọn về [[Gradien|vectơ gradien]].

Quá trình tính toán đạo hàm của một hàm số được gọi là tìm [[Vi phân|'''vi phân''']], phép toán ngược với phép lấy đạo hàm là [[nguyên hàm]], và [[định lý cơ bản của giải tích]] thể hiện mối quan hệ giữa [[tích phân]] với nguyên hàm. Vi phân và [[tích phân]] là hai công cụ cơ bản trong giải tích đơn biến.{{Efn|Vi phân - nội dung sẽ được trình bày ở những bài viết sau - là một nhánh con của [[vi tích phân]] với nhiều đối tượng nghiên cứu khác nhau. Xem thêm Apostol 1967, Apostol 1969 và Spivak 1994 ở phần Thư viện.}}

== Định nghĩa ==
Một hàm số thực {{math|''f''(''x'')}} có đạo hàm hay ''khả vi'' (tiếng Anh: ''differentiable'') tại điểm {{mvar|a}} trên miền xác định của nó nếu như trên [[Khoảng (toán học)|khoảng]] mở {{mvar|I}} có chứa {{mvar|a}}, [[Giới hạn của hàm số|giới hạn]]<br> 
<math>L=\lim_{h \to 0}\frac{f(a+h)-f(a)}h </math><br>
tồn tại. Điều này có nghĩa rằng, với mọi [[số thực]] dương <math>\varepsilon</math> (kể cả rất nhỏ), tồn tại một số thực dương <math>\delta</math> sao cho với mỗi số {{mvar|h}} sao cho <math>|h| < \delta</math> và <math>h\ne 0</math>, khi đó <math>f(a+h)</math> được xác định và
<math>\left|L-\frac{f(a+h)-f(a)}h\right|<\varepsilon,</math><br>
với hai dấu gạch ngang thể hiện [[Giá trị tuyệt đối|giá trị tuyệt đối]]<br>
Khi đó, nếu {{mvar|f}} khả vi tại {{mvar|a}}, giới hạn {{mvar|L}} tồn tại hay ''hội tụ'', giới hạn này khi đó được gọi là đạo hàm của {{mvar|f}} tại {{mvar|a}} và được kí hiệu là <math>f'(a)</math> (đọc là đạo hàm của {{mvar|f}} tại {{mvar|a}}) hay <math DISPLAY=inline>\frac{df}{dx}(a)</math> (đọc là thương của số gia của đối số trên số gia của hàm số tại {{mvar|a}})
== Vi phân ==
{{Chính|Vi phân}}

''[[Vi phân]]'' là quá trình để tính đạo hàm. Đạo hàm của [[hàm số]] {{Math|1=''y'' = ''f''(''x'')}}, với {{Math|''x''}} là [[biến số]], mô tả sự thay đổi giá trị của {{Math|''y''}} tương ứng với độ biến thiên của {{Math|''x''}} và còn được gọi là đạo hàm của {{Math|''f''}} đối với {{Math|''x''}}. Nếu {{Math|''x''}} và {{Math|''y''}} đều thuộc tập [[số thực]] thì đạo hàm của hàm số là [[Độ dốc|hệ số góc]] của đồ thị hàm đó tại mỗi điểm trong [[hệ tọa độ Descartes]].

[[Tập tin:Wiki slope in 2d.svg|right|thumb|250px|Độ dốc của hàm số bậc nhất: <math>m=\frac{\Delta y}{\Delta x}</math>]]

Xét trường hợp đơn giản nhất: gọi {{Math|''y''}} là một [[hàm số bậc nhất]] biến {{Math|''x''}} có đồ thị là một đường thẳng. Trong trường hợp này, {{Math|1=''y'' = ''f''(''x'') = ''mx'' + ''b''}} với {{Math|''m''}} và {{Math|''b''}} là số thực và hệ số góc {{Math|''m''}} được tính bằng
:<math>m=\frac{\Delta y}{\Delta x}</math>

trong đó {{Math|Δ}} ([[delta]]) là viết tắt của "thay đổi", {{Math|Δ''x''}} (số gia của đối số) và {{Math|Δ''y''}} (số gia tương ứng của hàm số) chỉ sự biến thiên của {{Math|''x''}} và {{Math|''y''}}, <math>\Delta y=f(x+\Delta x)-f(x)</math>. Công thức trên là đúng do:

:<math>\begin{align}
y + \Delta y &= f\left(x+\Delta x\right)\\
  &= m\left(x+\Delta x\right) +b =mx +m\Delta x +b \\
  &= y + m\Delta x.
\end{align} </math>
Suy ra
:<math> \Delta y=m\Delta x. </math>

Biểu thức trên cho biết giá trị hệ số góc của một đường thẳng.
{{multiple image
 | align     = right
 | direction = vertical
 | width     = 250
 | header    = Xác định tốc độ thay đổi của hàm số bằng hình học
 | image1    = Tangent-calculus.svg
 | caption1  = '''Hình 1.''' [[Tiếp tuyến]] tại (''x'', ''f''(''x''))
 | image2    = Secant-calculus.svg
 | caption2  = '''Hình 2.''' Cát tuyến của đường cong ''y''= ''f''(''x'') tại 2 điểm (''x'', ''f''(''x'')) và {{nowrap|(''x'' + ''h'', ''f''(''x'' + ''h''))}}
 | image3  = Lim-secant.svg
 | caption3  = '''Hình 3.''' Khi ''h'' tiến dần về 0 thì cát tuyến trên trở thành tiếp tuyến của đồ thị
 | image4  = Derivative GIF.gif
 | caption4  = '''Hình 4.''' Hình ảnh động: tiếp tuyến của đồ thị là giới hạn của cát tuyến khi ''h'' tiến về 0.
 }}
Nếu {{Math|''f''}} không phải là hàm bậc nhất (đồ thị của nó không phải là đường thẳng) thì tỉ số giữa mức thay đổi của {{Math|''y''}} và mức thay đổi của {{Math|''x''}} sẽ khác nhau trên khoảng được xét: phép vi phân là một cách để tìm một giá trị duy nhất của tốc độ thay đổi đó tại bất kỳ giá trị nào của {{Math|''x''}}. Ý tưởng này được thực hiện bằng cách tìm [[Giới hạn của hàm số|giới hạn]] của {{math|Δ''y''/Δ''x''}} khi {{Math|Δ''x''}} tiến dần về 0, thể hiện qua các hình 1, 2, 3.

=== Định nghĩa và Ý nghĩa hình học ===
[[Tập tin:Tangent animation.gif|nhỏ|Một cát tuyến dần trở thành tiếp tuyến khi <math>\Delta x \to 0</math>.]]
Cách tiếp cận phổ biến nhất để chuyển ý tưởng trực quan này thành định nghĩa rõ ràng là xác định rằng đạo hàm là giới hạn của tỉ sai phân của các số thực.<ref>{{Harvnb|Spivak|1994|loc=chương 10}}</ref>

Gọi {{Math|''f''}} là hàm số thực xác định trên một [[Lân cận (toán học)|lân cận mở]] của số thực {{Math|''a''}}. Trong hình học cổ điển, tiếp tuyến của đồ thị hàm {{Math|''f''}} tại {{Math|''a''}} là đường thẳng duy nhất đi qua điểm {{math|(''a'', ''f''(''a''))}} thuộc đồ thị và không cắt ngang qua nó. Về mặt hình học, đạo hàm của {{Math|''y''}} đối với {{Math|''x''}} tại {{Math|''a''}} là hệ số góc {{Math|''m''}} của tiếp tuyến đó tại {{math|(''a'', ''f''(''a''))}}. Giá trị này rất gần với hệ số góc của đường [[cát tuyến]] cắt đồ thị tại {{math|(''a'', ''f''(''a''))}} và một điểm lân cận {{math|(''a'' + ''h'', ''f''(''a'' + ''h''))}}. Nếu 

:<math>m = \frac{\Delta f(a)}{\Delta a} = \frac{f(a+h)-f(a)}{(a+h)-(a)} = \frac{f(a+h)-f(a)}{h}.</math>

Biểu thức trên được gọi là [[tỉ sai phân]] [[Isaac Newton|Newton]]. Để đạt được kết quả chính xác nhất thì có thể dùng đến khái niệm [[Giới hạn (toán học)|giới hạn]]. Vì về mặt hình học, giới hạn của cát tuyến là tiếp tuyến của đồ thị nên giới hạn của biểu thức khi {{Math|''h''}} tiến về 0 (nếu có) là hệ số góc của tiếp tuyến tại {{math|(''a'', ''f''(''a''))}}. Giới hạn đó được gọi là đạo hàm của {{Math|''f''}} tại {{Math|''a''}}:

:<math>f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}.</math>

Khi giới hạn này tồn tại, {{Math|''f''}} được gọi là ''[[hàm số khả vi]]'' tại {{Math|''a''}}. Từ định nghĩa này, rõ ràng hàm số khả vi {{Math|''f''}} là [[Hàm số đơn điệu|hàm số tăng]] [[Tương đương logic|khi và chỉ khi]] đạo hàm của nó dương, và là hàm số giảm khi và chỉ khi đạo hàm của nó âm. Tính chất này thường được ứng dụng trong việc khảo sát [[Hàm số đơn điệu|tính đơn điệu]] của hàm, chẳng hạn như tìm các [[điểm cực trị]].

Một cách tương đương, đạo hàm thỏa mãn tính chất
:<math>\lim_{h\to 0}\frac{f(a+h) - (f(a) + f'(a)\cdot h)}{h} = 0,</math>

và tính chất này có thể được hiểu bằng cách trực quan rằng tiếp tuyến của {{Math|''f''}} tại {{Math|''a''}} (hình 1) cho ''xấp xỉ [[tuyến tính]] chính xác nhất''
:<math>f(a+h) \approx f(a) + f'(a)h</math>

đối với hàm {{Math|''f''}} tại một điểm gần {{Math|''a''}} (hay {{Math|''h''}} nhỏ).

Thay {{Math|''h''}} bằng 0 trong tỉ sai phân dẫn đến [[phép chia cho số 0]], nên hệ số góc của tiếp tuyến không thể tìm được trực tiếp bằng cách này. Thay vào đó, ta đặt {{Math|''Q''(''h'')}} là một hàm số biến {{Math|''h''}} bằng với tỉ sai phân:
:<math>Q(h) = \frac{f(a + h) - f(a)}{h}.</math>

{{Math|''Q''(''h'')}} là hệ số góc của cát tuyến giữa {{math|(''a'', ''f''(''a''))}} và {{math|(''a'' + ''h'', ''f''(''a'' + ''h''))}}. Nếu {{Math|''f''}} là [[Hàm liên tục|hàm số liên tục]], nghĩa là đồ thị của nó không bị đứt đoạn hay bẻ gập, thì {{Math|''Q''}} là hàm số liên tục cách xa điểm {{Math|1=''h'' = 0}}. Nếu giới hạn {{math|lim{{sub|''h''→0}}''Q''(''h'')}} tồn tại, tức là có thể gán cho {{Math|''Q''(0)}} một giá trị bất kỳ để {{Math|''Q''}} là hàm số liên tục, thì {{Math|''f''}} khả vi tại {{Math|''a''}} và đạo hàm của nó tại {{Math|''a''}} bằng {{Math|''Q''(0)}}.

Trong thực tế, sự tồn tại tính liên tục của tỉ sai phân {{Math|''Q''(''h'')}} tại {{Math|1=''h'' = 0}} có thể được chứng minh bằng cách biến đổi tử số để loại {{Math|''h''}} ở mẫu số. Phép biến đổi như vậy có thể giúp xác định giá trị giới hạn của {{Math|''Q''}} với {{Math|''h''}} nhỏ, dù {{Math|''Q''}} vẫn không xác định tại {{Math|1=''h'' = 0}}. Quá trình này có thể kéo dài với các hàm phức tạp, và nhiều kỹ thuật lối tắt có thể được dùng để rút ngắn quá trình đó.

=== Phương trình tiếp tuyến ===
Dựa vào ý nghĩa hình học của đạo hàm, ta có phương trình tiếp tuyến với đồ thị hàm số <math>y = f(x)</math> tại điểm <math>A(a;f(a))</math> là  <math>y-f(a)=f'(a)(x-a)</math> 

=== Ví dụ ===
[[Tập tin:Parabola2.svg|nhỏ|Hàm số bậc hai]]
[[Hàm số bậc hai]]  {{math|''f''(''x'') {{=}} ''x''<sup>2</sup>}} có đạo hàm tại {{Math|1=''x'' = 3}} và đạo hàm đó bằng 6. Điều này có được bằng cách tính giới hạn của tỉ sai phân của {{math|''f''(3)}} khi {{Math|''h''}} tiến về 0:<math>
\begin{align}
f'(3) & = \lim_{h\to 0}\frac{f(3+h)-f(3)}{h} \\[10pt]
& = \lim_{h\to 0}\frac{(3+h)^2 - 3^2}{h} \\[10pt]
& = \lim_{h\to 0}\frac{9 + 6h + h^2 - 9}{h} = \lim_{h\to 0}\frac{6h + h^2}{h} = \lim_{h\to 0}{(6 + h)}.
\end{align}
</math>

Ta thấy tỉ sai phân trên là {{Math|6 + ''h''}} khi {{math|''h'' ≠ 0}} và không xác định khi {{Math|1=''h'' = 0}}. Giới hạn của nó là kết quả của việc cho {{Math|''h''}} về 0 và là giá trị của {{Math|6 + ''h''}} khi {{Math|''h''}} trở nên rất nhỏ:

:<math> \lim_{h\to 0}{(6 + h)} = 6 + 0 = 6. </math>

Vậy hệ số góc của đồ thị hàm số tại điểm {{math|(3, 9)}} là {{Math|6}} và đạo hàm của hàm số tại {{Math|1=''x'' = 3}} là {{math|''f''{{′}}(3) {{=}} 6}}.

Tổng quát, đạo hàm của hàm số bậc hai tại {{Math|1=''x'' = ''a''}} là {{math|''f''{{′}}(''a'') {{=}} 2''a''}}:

:<math>\begin{align}
f'(a) & = \lim_{h\to 0}\frac{f(a+h)-f(a)}{h} = \lim_{h\to 0}\frac{(a+h)^2 - a^2}{h} \\[0.3em]
& = \lim_{h\to 0}\frac{a^2 + 2ah + h^2 - a^2}{h} = \lim_{h\to 0}\frac{2ah + h^2}{h} \\[0.3em]
& = \lim_{h\to 0}{(2a + h)} = 2a
\end{align}</math>

=== Tính khả vi và tính liên tục ===
[[Tập tin:Right-continuous.PNG|nhỏ|Hàm số này không có đạo hàm tại điểm được đánh dấu vì nó không liên tục tại đó.]]
Nếu {{Math|''f''}} có đạo hàm tại {{Math|''a''}} thì {{Math|''f''}} cũng phải [[Hàm liên tục|liên tục]] trên {{Math|''a''}}. Lấy ví dụ, chọn một điểm {{Math|''a''}} và coi {{Math|''f''}} như là một [[hàm bước]] có giá trị là 1 với mọi {{Math|''x''}} nhỏ hơn {{Math|''a''}} và 10 với mọi {{Math|''x''}} lớn hơn hoặc bằng {{Math|''a''}}. {{Math|''f''}} không thể có đạo hàm tại {{Math|''a''}}. Nếu {{Math|''h''}} âm thì cát tuyến từ {{Math|''a''}} đến {{Math|''a'' + ''h''}} sẽ rất dốc, và khi {{Math|''h''}} dần về 0 thì hệ số góc sẽ dần đến [[Vô tận|vô cực]]. Nếu {{Math|''h''}} dương thì cát tuyến từ {{Math|''a''}} đến {{Math|''a'' + ''h''}} có hệ số góc bằng 0. Trong mỗi trường hợp trên, cát tuyến không đạt đến một hệ số góc duy nhất, nên giới hạn của tỉ sai phân không tồn tại.
[[Tập tin:Absolute value.svg|nhỏ|Hàm giá trị tuyệt đối là hàm liên tục, nhưng không khả vi tại {{Math|1=''x'' = 0}} vì các giá trị hệ số góc của tiếp tuyến vẽ từ bên trái trục tung và từ bên phải trục tung là không bằng nhau]]
Tuy vậy, một hàm số có thể liên tục tại một điểm nhưng không có đạo hàm tại điểm đó. Chẳng hạn, hàm [[giá trị tuyệt đối]] {{math|''f''(''x'') {{=}} {{abs|''x''}}}} liên tục tại {{Math|1=''x'' = 0}} nhưng không có đạo hàm tại đó. Nếu {{Math|''h''}} dương thì hệ số góc của cát tuyến từ 0 đến {{Math|''h''}} là 1, còn nếu {{Math|''h''}} âm thì hệ số góc đó bằng -1. Trên mặt phẳng tọa độ, đồ thị của hàm số đó bị "bẻ gập" tại {{Math|1=''x'' = 0}}. Kể cả hàm số có đồ thị trơn cũng không khả vi tại một điểm mà tiếp tuyến qua nó nằm dọc, chẳng hạn, hàm số {{math|''f''(''x'') {{=}} ''x''<sup>1/3</sup>}} không có đạo hàm tại {{Math|1=''x'' = 0}}.

Tóm lại, một hàm số có đạo hàm là hàm số liên tục, nhưng có những hàm liên tục lại không có đạo hàm.

Phần lớn hàm số trong thực tế có đạo hàm tại mọi điểm (hoặc tại hầu hết mọi điểm). Trong thời kì đầu của lịch sử ngành [[Giải tích số|giải tích]], nhiều nhà toán học cho rằng một hàm số liên tục luôn có đạo hàm tại nhiều điểm. Năm 1872, [[Karl Weierstrass|Weierstrass]] phát hiện ví dụ đầu tiên về một hàm số liên tục tại mọi điểm nhưng không khả vi tại bất cứ đâu. Hàm đó sau này được đặt tên là [[hàm Weierstrass]]. Năm 1931, [[Stefan Banach]] chứng minh được rằng tập hợp các hàm số có đạo hàm tại một số điểm nhất định là tập con rất nhỏ so với tập hợp các hàm liên tục.<ref>{{Chú thích sách|url=https://scholar.google.com/scholar?output=instlink&q=info:SkKdCEmUd6QJ:scholar.google.com/&hl=en&as_sdt=0,50&scillfp=3432975470163241186&oi=lle|title=Uber die Baire'sche Kategorie gewisser Funktionenmengen|last=Banach, S.|first=|work=Studia Math.|publisher=|year=1931|isbn=|location=|page=|pages=174–179|issue=3}} Trích dẫn bởi {{Chú thích sách|title=Real and abstract analysis|last=Hewitt, E|first=|last2=Stromberg, K|publisher=Springer-Verlag|year=1963|isbn=|location=|pages=Theorem 17.8|no-pp=true}}</ref>

=== Đạo hàm là một hàm số ===
[[Tập tin:Tangent function animation.gif|nhỏ|Đạo hàm của một hàm khả vi tại các điểm khác nhau. Ở đây ta có <math>f'(x) = \sin \bigl(x^2\bigr) + 2x^2 \cos \bigl(x^2\bigr)</math>]]
Gọi {{Math|''f''}}  là hàm số luôn có đạo hàm tại mọi điểm trên [[tập xác định]]. Chúng ta có thể tìm được một hàm số mà với {{Math|''x''}} bất kì, giá trị của hàm bằng với giá trị của đạo hàm của {{Math|''f''}} tại {{Math|''x''}}. Hàm số đó được gọi là ''đạo hàm của'' {{Math|''f''}} và kí hiệu là {{math|''f'''}}.

Thỉnh thoảng {{Math|''f''}} có đạo hàm tại phần lớn điểm trên tập xác định (không phải mọi điểm). Hàm số mà giá trị của nó tại {{Math|''a''}} bằng {{math|''f''{{′}}(''a'')}} khi {{math|''f''{{′}}(''a'')}} xác định, và không xác định tại mọi điểm khác, cũng được gọi là đạo hàm của {{Math|''f''}}, dù tập xác định của nó hoàn toàn nhỏ hơn.

Bằng ý tưởng này, phép vi phân trở thành một hàm hợp: đạo hàm là một [[toán tử]] mà tập xác định của nó là tập hợp tất cả các hàm số có đạo hàm tại mọi điểm trên tập xác định và [[tập hợp đích]] của nó là một tập hợp các hàm số. Kí hiệu toán tử trên là {{Math|''D''}} thì {{Math|''D''(''f'')}} là hàm số {{Math|''f'''}}. {{Math|''D''(''f'')}} là hàm số xác định tại {{Math|''a''}} nên ta có {{math|''D''(''f'')(''a'') {{=}} ''f''{{′}}(''a'')}}.

Để so sánh, ta xét hàm số {{math|''f''(''x'') {{=}} 2''x''}}: {{Math|''f''}} là hàm số thực có đầu vào là một số, đầu ra cũng là một số:

:<math>\begin{align}
 1 &{}\mapsto 2,\\
 2 &{}\mapsto 4,\\
 3 &{}\mapsto 6.
\end{align}</math>

Toán tử {{Math|''D''}} chỉ xác định trên các hàm số:

:<math>\begin{align}
 D(x \mapsto 1) &= (x \mapsto 0),\\
 D(x \mapsto x) &= (x \mapsto 1),\\
 D\left(x \mapsto x^2\right) &= (x \mapsto 2\cdot x).
\end{align}</math>

Đầu ra của {{math|''D''}} là một hàm số, có thể định được giá trị tại một điểm. Ví dụ: đầu vào của {{math|''D''}} là {{math|''x'' ↦ ''x''<sup>2</sup>}} cho đầu ra {{math|''x'' ↦ 2''x''}} mà ta gọi là {{Math|1=''f''(''x'')}}. Các giá trị tương ứng của đầu ra đó là {{math|''f''(1) {{=}} 2}}, {{math|''f''(2) {{=}} 4}},...

=== Đạo hàm cấp cao ===
Gọi {{Math|''f''}} là hàm số khả vi và {{math|''f'' '}} là đạo hàm của nó. Đạo hàm của {{math|''f'' '}} (nếu có) được gọi là ''đạo hàm cấp hai'' của {{Math|''f''}} và kí hiệu là {{math|''f'' ′′}}. Tương tự, đạo hàm của đạo hàm cấp hai (nếu có) được gọi là ''đạo hàm cấp ba'' của {{Math|''f''}} và kí hiệu là {{math|''f'' ′′′}}. Cứ như vậy, ta xác định đạo hàm cấp {{math|''n''}} là đạo hàm của đạo hàm cấp {{math|''n''-1}}. Các đạo hàm trên được gọi chung là ''đạo hàm cấp cao''.

Nếu {{math|''x''(''t'')}} mô tả vị trí của một vật ở thời gian {{math|''t''}} thì mỗi đạo hàm cấp cao của {{Math|''x''}} mang một ý nghĩa riêng trong [[Vật lý học|vật lý]]. Đạo hàm cấp một của {{Math|''x''}} là [[vận tốc]] của vật. Đạo hàm cấp hai của {{Math|''x''}} là [[gia tốc]]. Đạo hàm cấp ba của {{Math|''x''}} là độ giật,...

Một hàm số {{Math|''f''(''x'')}} không cần phải có đạo hàm (chẳng hạn, nếu hàm đó không liên tục). Tương tự, ngay cả khi {{Math|''f''(''x'')}} có đạo hàm, nó có thể không có đạo hàm cấp hai. Chẳng hạn, cho hàm số

:<math>f(x) = \begin{cases} +x^2, & \text{khi }x\ge 0 \\ -x^2, & \text{khi }x \le 0.\end{cases}</math>

{{Math|''f''}} là hàm số khả vi và đạo hàm của nó tại {{Math|''x''}} là

:<math>f'(x) = \begin{cases} +2x, & \text{khi }x\ge 0 \\ -2x, & \text{khi }x \le 0.\end{cases}</math>

{{math|''f'''(''x'')}} không có đạo hàm tại {{Math|1=''x'' = 0}}. Những ví dụ tương tự cho thấy một hàm số có thể có đạo hàm cấp {{math|''k''}} (với {{math|''k''}} là số nguyên dương) nhưng không có đạo hàm cấp {{math|''k'' + 1}}. Một hàm số có {{math|''k''}} đạo hàm liên tiếp thì khả vi {{math|''k''}} lần. Nếu đạo hàm thứ {{math|''k''}} là liên tục thì hàm số sẽ thuộc lớp khả vi {{math|''C<sup>k</sup>''}}. Một hàm số có vô số đạo hàm là hàm ''khả vi vô hạn''.

Trên [[trục số]] thực, mọi [[Đa thức|hàm số đa thức]] đều là hàm khả vi vô hạn. Theo quy tắc tính đạo hàm, đa thức bậc {{math|''n''}} sau {{math|''n''}} lần vi phân sẽ thành [[hàm hằng]], và mọi đạo hàm tiếp theo đều bằng 0.

Đạo hàm của hàm số {{Math|''f''}} tại một điểm {{Math|''x''}} cho ta phép tính đa thức gần đúng với một hàm {{Math|''f''}}({{Math|''x''}}). Ví dụ, nếu {{Math|''f''}} (x)khả vi hai lần thì

:<math> f(x+h) \approx f(x) + f'(x)h + \tfrac{1}{2} f''(x) h^2</math>

vì

:<math> \lim_{h\to 0}\frac{f(x+h) - f(x) - f'(x)h - \frac{1}{2} f''(x) h^2}{h^2}=0.</math>

Nếu {{Math|''f''}} khả vi vô hạn thì đây là phần đầu của [[chuỗi Taylor]] với {{Math|''f''}} tính được tại {{math|''x'' + ''h''}} gần với {{Math|''x''}}.

=== Điểm uốn ===
{{Chính|Điểm uốn}}Một điểm mà tại đó đạo hàm cấp hai của hàm số đổi dấu được gọi là ''điểm uốn''.<ref>{{Harvnb|Apostol|1967|loc=§4.18}}</ref> Tại điểm uốn, đạo hàm cấp hai có thể bằng 0 (như tại điểm uốn {{Math|1=''x'' = 0}} của hàm số <math>f(x) = x^3</math>) hoặc không tồn tại (như tại điểm uốn {{Math|1=''x'' = 0}} của hàm số <math>f(x) = x^\frac{1}{3}</math>). Tại điểm uốn, hàm số chuyển từ hàm lồi sang hàm lõm và ngược lại.

== Ký hiệu == 
{{Chính|Ký hiệu vi phân}}
=== Ký hiệu của Leibniz === 
{{Chính|Ký hiệu của Leibniz}}
Các kí hiệu <math>dx</math>, <math>dy</math> và <math>\frac{dy}{dx}</math> được giới thiệu lần đầu tiên bởi [[Gottfried Wilhelm Leibniz]] vào năm 1675.<ref>{{Chú thích|title=Black Almain|date=2017-07-05|url=http://dx.doi.org/10.4324/9781315087313-17|work=The Almain in Britain, c.1549–c.1675|pages=200–204|publisher=Routledge|access-date=2023-03-09}}</ref>

== Quy tắc tính đạo hàm ==
Đạo hàm của hàm số có thể được tính theo định nghĩa bằng cách tìm tỉ sai phân của hàm và tính giới hạn của nó. Trong thực tế, từ một số hàm đơn giản, đạo hàm của các hàm số khác phức tạp được tính dễ dàng hơn bằng cách áp dụng các ''quy tắc'' nhất định.

=== Đạo hàm của hàm số sơ cấp ===
Dưới đây là quy tắc tính đạo hàm của các hàm số sơ cấp, với ''a'' hoặc <math>\alpha</math> là một số thực.<ref>''Đại số và giải tích 11'' (cơ bản, tr. 168).</ref>{{sfn|Trần Văn Hạo, Vũ Tuấn và đồng nghiệp|2022|p=77}}

* ''Đạo hàm của hàm lũy thừa:'' <math>(x^\alpha)'=\alpha x^{\alpha-1}</math>
**Đặc biệt: <math>\left (\frac{1}{x} \right)'=-\frac{1}{x^2}</math>
** ''Đạo hàm căn bậc hai:'' <math>(\sqrt{x})'=\frac{1}{2\sqrt{x}}</math>
**''Đạo hàm căn bậc n: <math>(\sqrt[n]{x})'=\frac{\sqrt[n]{x^{1-n}}}n=\frac{1}{n\sqrt[n]{x^{n-1}}}</math>''
*''Đạo hàm của hàm số mũ và logarit:''

:<math>(e^x)'=e^x</math>
:<math>(a^x)'=a^x \ln a</math>
:<math>(\ln x)'=\frac{1}{x} (x>0)</math>
:<math>(\log_a{x})'=\frac{1}{x \ln a}</math>

*''[[Đạo hàm của các hàm lượng giác|Đạo hàm của hàm số lượng giác]]:''

:<math>(\sin x)'=\cos x</math>
:<math>(\cos x)'=-\sin x</math>
:<math>(\tan x)'=1+{\tan^2 x}=\frac{1}{\cos^2 x}</math>
:<math>(\cot x)'=-(1+{\cot^2 x})=-\frac{1}{\sin^2 x}</math>

*''Đạo hàm của hàm lượng giác ngược:''

:<math>(\arcsin x)'=\frac{1}{\sqrt{1-x^2}} \qquad (-1<x<1)</math>
:<math>(\arccos x)'=-\frac{1}{\sqrt{1-x^2}} \qquad (-1<x<1)
</math>
:<math>(\arctan x)'=\frac{1}{1+x^2}</math>
:<math>(\arccot x)'=-\frac{1}{1+x^2}</math>
=== Đạo hàm của hàm hợp ===
Nhiều lúc việc tính đạo hàm bằng [[tỉ sai phân Newton]] rất phức tạp, ta có thể tránh điều này qua một số quy tắc sau:<ref>''Đại số và giải tích 11'' (cơ bản, tr. 162).''</ref>

* ''Đạo hàm của hằng số:'' <math>(C)'=0</math>
* ''Quy tắc cộng: <math>(\alpha f + \beta g)' = \alpha f' + \beta g' </math>'' với mọi hàm số ''f'' và ''g'' và mọi số thực <math>\alpha</math> và <math>\beta</math>. (1)
*''Quy tắc nhân:''

:<math>(fg)' = f 'g + fg' </math> với mọi hàm số ''f'' và ''g''.
:<math>(\alpha f)' = \alpha f'</math> với <math>\alpha</math> là hằng số. (2)

*''Quy tắc chia: <math>\left(\frac{f}{g} \right)' = \frac{f'g - fg'}{g^2}</math>'' (''g'' khác 0)
*''Quy tắc hàm hợp:'' Nếu <math>f(x) = h(g(x))</math> thì <math>f'(x) = h'(g(x)) \cdot g'(x). </math>

Các quy tắc (1) và (2) cho thấy đạo hàm là một [[phép biến đổi tuyến tính| ánh xạ tuyến tính]]. 
=== Hệ quả ===
Từ các quy tắc trên, ta suy ra:

* ''Với u là hàm số:''
** Đạo hàm lũy thừa: <math>(u^n)'=u'nu^{n-1}</math>
*** Đặc biệt: <math>\left (\frac{1}{u} \right)'=-\frac{u'}{u^2}</math>
** Đạo hàm căn bậc hai: <math>(\sqrt{u})'=\frac{u'}{2\sqrt{u}}</math>
** Đạo hàm căn bậc ''n'': ''<math>(\sqrt[n]{u})'=\frac{u'}{n\sqrt[n]{u^{n-1}}}</math>''
** Đạo hàm của hàm số mũ và logarit:

::<math>(e^u)'=u'e^u</math>
::<math>(a^u)'=u'a^u \ln a</math>
::<math>(\ln u)'=\frac{u'}{u}</math>
::<math>(\log_a{u})'=\frac{u'}{u \ln a}</math>
:* Đạo hàm của hàm số lượng giác:
::<math>(\sin u)'=u'\cos u</math>
::<math>(\cos u)'=-u'\sin u</math>
::<math>(\tan u)'=u'(1+{\tan^2 u})=\frac{u'}{\cos^2 u}</math>
::<math>(\cot u)'=-u'(1+{\cot^2 u})=-\frac{u'}{\sin^2 u}</math>

* ''Đạo hàm của các phân thức hữu tỉ:''
:<math>\left (\frac{ax+b}{cx+d} \right)'=\frac{\begin{vmatrix} a & b \\ c & d \end{vmatrix}}{(cx+d)^2}=\frac{ad-bc}{(cx+d)^2}</math>
:<math>\left (\frac{ax^2+bx+c}{ex+f} \right)'=\frac{aex^2+2afx+(bf-ce)}{(ex+f)^2}</math>
:<math>\left (\frac{a_1x^2+b_1x+c_1}{a_2x^2+b_2x+c_2} \right)'=\frac{\begin{vmatrix} a_1 & b_1 \\ a_2 & b_2 \end{vmatrix}x^2+2\begin{vmatrix} a_1 & c_1 \\ a_2 & c_2 \end{vmatrix}x+\begin{vmatrix} b_1 & c_1 \\ b_2 & c_2 \end{vmatrix}}{(a_2x^2+b_2x+c_2)^2}</math>

=== Đạo hàm cấp cao ===

* ''Đạo hàm lũy thừa:'' <math>(x^m)^{(n)} = \begin{cases} m(m-1)(m-2)...(m-n+1)x^{m-n} & (m\geq n) \\ 0 & (m<n) \end{cases}</math>
* ''Đạo hàm của hàm số mũ và logarit:''
:<math>(\log_ax)^{(n)}=(-1)^{n-1}\frac{(n-1)!}{\ln a}\frac{1}{x^n}</math>
:<math>(\ln x)^{(n)}=(-1)^{n-1}(n-1)!x^{-n}</math>
:<math>(e^{kx})^{(n)}=k^ne^{kx}</math>
:<math>(a^x)^{(n)}=(\ln a)^na^x</math>

* ''Đạo hàm của hàm số lượng giác:''
:<math>(\sin ax)^{(n)}=a^n\sin\left (ax+\frac{n\pi}{2} \right)</math>
:<math>(\cos ax)^{(n)}=a^n\cos\left (ax+\frac{n\pi}{2} \right)</math>

* ''Đạo hàm của phân thức hữu tỉ:'' <math>\left (\frac{1}{ax+b} \right)^{(n)}=(-1)^na^nn!\frac{1}{(ax+b)^{n+1}}</math>

== Đạo hàm trong không gian ==

=== Hàm vectơ ===
[[Hàm vectơ]] '''y''' của một biến số thực cho giá trị vectơ trong [[Không gian vectơ|không gian]] '''R'''<sup>''n''</sup> với mỗi số thực bất kì. Một hàm vectơ có thể được chia thành các hàm tọa độ ''y''<sub>1</sub>(''t''), ''y''<sub>2</sub>(''t''),..., ''y<sub>n</sub>''(''t''), tức là '''y'''(''t'') = (''y''<sub>1</sub>(''t''),..., ''y<sub>n</sub>''(''t'')). Nó cũng bao gồm các phương trình tham số tại '''R'''<sup>2</sup> hay '''R'''<sup>3</sup>. Các hàm tọa độ này là hàm số thực, nên định nghĩa đạo hàm cũng đúng với chúng. Đạo hàm của '''y'''(''t'') là một [[vectơ]], được gọi là vectơ tiếp tuyến, mà tọa độ của nó là đạo hàm của các hàm tọa độ, nghĩa là:
:<math>\textbf {y}'(t)=(y_1'(t),...,y_n'(t))</math>

hay
:<math>\textbf {y}'(t)=\lim_{h \to 0}\frac{\textbf{y}(t+h)-\textbf{y}(t)}{h}</math>

nếu giới hạn đó tồn tại. Ở đây tử thức là một đại lượng vectơ, không phải đại lượng vô hướng. Nếu đạo hàm của '''y''' tồn tại với mọi giá trị của ''t'' thì '''y'''<nowiki/>' cũng là một hàm vectơ.

Nếu '''e'''<sub>1</sub>,..., '''e'''''<sub>n</sub>'' là các vectơ đơn vị trong '''R'''<sup>''n''</sup> thì '''y'''(''t'') có thể được viết thành ''y''<sub>1</sub>(''t'')'''e'''<sub>1</sub> +... + ''y<sub>n</sub>''(''t'')'''e'''''<sub>n</sub>''. Vì mỗi vectơ đơn vị đều là hằng số nên theo quy tắc nhân:
:<math>\textbf {y}'(t)=y_1'(t)\textbf{e}_1+...+y_n'(t)\textbf{e}_n</math>

Trong vật lý, nếu '''y'''(''t'') là vectơ vị trí của một chất điểm tại thời điểm ''t'' thì '''y'''<nowiki/>'(''t'') là vectơ [[vận tốc]] của chất điểm đó tại thời điểm ''t''.

=== Đạo hàm riêng ===
{{Chính|Đạo hàm riêng}}Gọi ''f'' là hàm số đa biến, chẳng hạn:
:<math>f(x,y)=x^2+xy+y^2</math>

''f'' còn được gọi là họ các hàm một biến được biểu thị bởi biến số khác:
:<math>f(x,y)=f_x(y)=x^2+xy+y^2</math>

Nói cách khác, mỗi giá trị của ''x'' xác định một hàm đơn biến ''f<sub>x</sub>'':
:<math>x \mapsto f_x,</math>
:<math>f_x(y)=x^2+xy+y^2.</math>

Chọn một giá trị ''x'' = ''a'', ta có hàm số ''f<sub>a</sub>'':
:<math>f_a(y)=a^2+ay+y^2.</math>

Ở đây ''a'' là hằng số, không phải là biến nên ''f<sub>a</sub>'' là hàm đơn biến. Theo định nghĩa đạo hàm đơn biến thì
:<math>f_a'(y)=a+2y.</math>

Lặp lại tương tự với mọi giá trị khác của ''a''. Tổng hợp lại, ta có hàm số biểu diễn sự biến thiên của ''f'' theo ''y'':
:<math>\frac{\partial f}{\partial y}(x,y) = x + 2y.\,</math>

Đó là đạo hàm riêng của ''f'' theo ''y''. Ở đây ∂ được gọi là '''kí hiệu đạo hàm riêng'''. Tổng quát, '''đạo hàm riêng''' của hàm ''f''(''x''<sub>1</sub>,..., ''x<sub>n</sub>'') theo hướng ''x<sub>i</sub>'' tại điểm (''a''<sub>1</sub>,..., ''a<sub>n</sub>'') là:
:<math>\frac{\partial f}{\partial x_i}(a_1,\ldots,a_n) = \lim_{h \to 0}\frac{f(a_1,\ldots,a_i+h,\ldots,a_n) - f(a_1,\ldots, a_i, \dots,a_n)}{h}.</math>

Trong tỉ sai phân trên, mọi biến trừ ''x<sub>i</sub>'' đều mang giá trị không đổi, nên hàm đơn biến sau được xác định:
:<math>f_{a_1,\ldots,a_{i-1},a_{i+1},\ldots,a_n}(x_i)=f(a_1,\ldots,a_{i-1},x_i,a_{i+1},\ldots,a_n),</math>

và theo định nghĩa:
:<math>\frac{df_{a_1,\ldots,a_{i-1},a_{i+1},\ldots,a_n}}{dx_i}(x_i) = \frac{\partial f}{\partial x_i}(a_1,\ldots,a_n).</math>

Nói cách khác, với các giá trị khác nhau của ''a'', ta xác định được một họ các hàm đơn biến như ví dụ trên đây.

Một ví dụ quan trọng của hàm đa biến là trường hợp một hàm vô hướng ''f''(''x''<sub>1</sub>,..., ''x<sub>n</sub>'') xác định trên một miền của [[không gian Euclid]] '''R'''<sup>''n''</sup> (chẳng hạn, '''R'''<sup>2</sup> hay '''R'''<sup>3</sup>). Trong trường hợp này, ''f'' có đạo hàm riêng ∂''f''/∂''x<sub>j</sub>'' với mỗi biến ''x<sub>j</sub>''. Tại điểm (''a''<sub>1</sub>,..., ''a<sub>n</sub>''), các đạo hàm riêng này định ra vectơ
:<math>\nabla f(a_1,\ldots,a_n) = \left(\frac{\partial f}{\partial x_1}(a_1,\ldots,a_n), \ldots, \frac{\partial f}{\partial x_n}(a_1,\ldots,a_n)\right).</math>

Vectơ này được gọi là '''[[gradien]]''' của ''f'' tại ''a''. Nếu ''f'' khả vi tại mọi điểm trong miền xác định thì gradien là một hàm vectơ ∇''f'' đưa một điểm (''a''<sub>1</sub>,..., ''a<sub>n</sub>'') đến vectơ ∇''f''(''a''<sub>1</sub>,..., ''a<sub>n</sub>''). Do đó, gradien là một [[trường vector|trường vectơ]].

=== Đạo hàm có hướng ===
Nếu ''f'' là hàm số thực trên '''R'''<sup>''n''</sup> thì đạo hàm riêng của ''f'' mô tả sự biến thiên của nó theo hướng của các trục tọa độ. Chẳng hạn, nếu ''f'' là một hàm gồm hai biến ''x'' và ''y'' thì các đạo hàm riêng của ''f'' biểu diễn sự biến thiên của nó theo hai trục ''x'' và ''y''. Tuy nhiên, chúng không trực tiếp biểu diễn được sự biến thiên của ''f'' theo các trục khác (như đường thẳng ''y'' = ''x''). Để khắc phục, ta sử dụng đạo hàm có hướng. Chọn một vectơ
:<math>\textbf{v}=(v_1,\ldots,v_n).</math>

'''Đạo hàm có hướng''' của ''f'' theo hướng của '''v''' tại điểm '''x''' là giới hạn
:<math>D_\textbf{v}f(\textbf{x})=\lim_{h \to 0}\frac{f(\textbf{x}+h\textbf{v})-f(\textbf{x})}{h}.</math>

Trong nhiều trường hợp, để hỗ trợ tính toán, ta thường thay đổi độ dài vectơ để quy về bài toán tính đạo hàm có hướng theo một vectơ đơn vị. Để chứng minh hiệu quả, ta đặt '''v''' = ''λ'''''u'''. Thay ''h'' = ''k''/''λ'' vào tỉ sai phân, ta có:
:<math>\frac{f(\textbf{x}+(k/\lambda)(\lambda\textbf{u}))-f(\textbf{x})}{k/\lambda}=\lambda\cdot\frac{f(\textbf{x}+k\textbf{u})-f(\textbf{x})}{k}.</math>

hay bằng ''λ'' lần tỉ sai phân của đạo hàm có hướng của ''f'' theo '''u'''. Hơn nữa, việc lấy giới hạn khi ''h'' tiến về 0 cũng giống như khi ''k'' tiến về 0 vì ''h'' và ''k'' là bội số của nhau. Do đó, ''D''<sub>'''v'''</sub>(''f'') = λ''D''<sub>'''u'''</sub>(''f''). Vì tính chất này nên thường ta chỉ xét đạo hàm có hướng đối với các vectơ đơn vị.

Nếu tất cả đạo hàm riêng của ''f'' tồn tại và liên tục tại '''x''' thì chúng xác định đạo hàm có hướng của ''f'' theo hướng của '''v''' bằng công thức:
:<math>D_{\mathbf{v}}{f}(\boldsymbol{x}) = \sum_{j=1}^n v_j \frac{\partial f}{\partial x_j}.</math>

Đó là hệ quả của định nghĩa đạo hàm tổng. Theo đó, đạo hàm có hướng [[Biến đổi tuyến tính|tuyến tính]] trên '''v''', nghĩa là ''D''<sub>'''v''' + '''w'''</sub>(''f'') = ''D''<sub>'''v'''</sub>(''f'') + ''D''<sub>'''w'''</sub>(''f'').

Định nghĩa trên cũng đúng khi ''f'' là hàm số lấy giá trị trong '''R'''<sup>''m''</sup>. Khi đó, đạo hàm có hướng là một vectơ trong '''R'''<sup>''m''</sup>.

=== Đạo hàm tổng, vi phân tổng và ma trận Jacobi ===
{{Chính|Đạo hàm toàn phần}}
Khi ''f'' là hàm số xác định trên một [[tập mở]] của '''R'''<sup>''n''</sup> đến '''R'''<sup>''m''</sup> thì đạo hàm có hướng của ''f'' theo một hướng xác định là phép xấp xỉ tuyến tính chính xác nhất của ''f'' tại điểm đó và theo hướng đó. Nhưng khi ''n'' > 1 thì không đạo hàm có hướng nào có thể mô tả trạng thái biến thiên của ''f'' một cách toàn diện. Để khắc phục, ta sử dụng đạo hàm tổng. Với mỗi vectơ '''v''' bắt đầu tại ''a'', ta có:
:<math>f(\textbf a + \textbf v)\approx f(\textbf a) + f'(\textbf a)\textbf v.</math>

Giống như đạo hàm đơn biến, ''f''<nowiki/>'('''a''') được chọn sao cho sai số trong biểu thức là thấp nhất có thể.

Nếu ''n'' và ''m'' cùng bằng 1 thì đạo hàm ''f''<nowiki/>'(''a'') là một số và ''f''<nowiki/>'(''a'')''v'' là tích của hai số. Nhưng trong không gian, ''f''<nowiki/>'('''a''') không thể là một số, vì nếu vậy thì ''f''<nowiki/>'('''a''')'''v''' phải là một vectơ trên '''R'''<sup>''n''</sup> và số hạng còn lại là vectơ trên '''R'''<sup>''m''</sup>, đó là điều vô lý. Do đó, ''f''<nowiki/>'('''a''') phải là một hàm đưa vectơ ở '''R'''<sup>''n''</sup> đến vectơ ở '''R'''<sup>''m''</sup> và ''f''<nowiki/>'('''a''')'''v''' phải chứng tỏ hàm đó xác định tại '''v'''.

Để tìm xem hàm đó có dạng gì, chú ý rằng phép xấp xỉ tuyến tính có thể được viết lại thành
:<math>f(\textbf a + \textbf v) - f(\textbf a) \approx f'(\textbf a)\textbf v.</math>

Nếu ta chọn một vectơ '''w''' khác '''v''' thì biểu thức này xác định thêm một phép xấp xỉ tuyến tính khác bằng cách thay '''v''' bằng '''w'''. Nó cũng xác định một phép xấp xỉ tuyến tính thứ ba bằng cách thay '''v''' bằng '''w''' và thay '''a''' bằng '''a''' + '''v'''. Trừ vế cho vế ở hai biểu thức trên, ta được
:<math>f(\textbf a + \textbf v + \textbf w) - f(\textbf a + \textbf v) - f(\textbf a + \textbf w) + f(\textbf a) \approx f'(\textbf a + \textbf v)\textbf w - f'(\textbf a)\textbf w.</math>

Nếu coi '''v''' là nhỏ và đạo hàm đó biến đổi liên tục trên '''a''' thì ''f''<nowiki/>'('''a''' + '''v''') xấp xỉ bằng ''f''<nowiki/>'('''a''') nên vế phải xấp xỉ bằng 0. Bằng cách ứng dụng phép xấp xỉ tuyến tính với '''v''' thay bằng '''v''' + '''w''', ta viết lại vế trái như sau:
:<math>\begin{align} 0
     & \approx f(\textbf a + \textbf v + \textbf w) - f(\textbf a + \textbf v) - f(\textbf a + \textbf w) + f(\textbf a) \\ 
     & = (f(\textbf a + \textbf v + \textbf w) - f(\textbf a)) - (f(\textbf a + \textbf v) - f(\textbf a)) - (f(\textbf a + \textbf w) - f(\textbf a)) \\
     & \approx f'(\textbf a)(\textbf v + \textbf w) - f'(\textbf a)\textbf v - f'(\textbf a)\textbf w. \\
\end{align}</math>

Điều này chứng tỏ rằng ''f''<nowiki/>'('''a''') là phép [[biến đổi tuyến tính]] từ không gian vectơ '''R'''<sup>''n''</sup> sang không gian vectơ '''R'''<sup>''m''</sup>.

Thực tế, đạo hàm đơn biến là phép xấp xỉ tuyến tính chính xác nhất vì đó là giới hạn của tỉ sai phân. Tuy nhiên, biểu thức này không hợp lý trong không gian, vì không phải lúc nào ta cũng thực hiện được phép chia các vectơ. Đặc biệt, trong tỉ sai phân, tử thức và mẫu thức không thuộc cùng một không gian vectơ: tử thuộc tập con '''R'''<sup>''n''</sup> còn mẫu thuộc tập '''R'''<sup>''m''</sup>. Hơn nữa, đạo hàm là phép biến đổi tuyến tính, do đó, để ''f''<nowiki/>'('''a''') là phép xấp xỉ tuyến tính chính xác nhất thì cần điều chỉnh một công thức khác cho đạo hàm đơn biến để giải quyết vấn đề. Nếu ''f'': '''R''' '''→''' '''R''', ta biến đổi biểu thức để cho thấy đạo hàm của ''f'' tại ''a'' là một số ''f''<nowiki/>'(''a'') duy nhất sao cho
:<math>\lim_{h \to 0} \frac{f(a + h) - (f(a) + f'(a)h)}{h} = 0</math>

hoặc đồng nghĩa với
:<math>\lim_{h \to 0} \frac{|f(a + h) - (f(a) + f'(a)h)|}{|h|} = 0</math>

vì giới hạn của biểu thức bằng 0 khi và chỉ khi giá trị tuyệt đối của nó tiến về 0. Biểu thức cuối có thể áp dụng được cho hàm đa biến bằng cách thay giá trị tuyệt đối bằng [[Không gian định chuẩn|chuẩn]].

Do đó, người ta định nghĩa: '''Đạo hàm tổng''' của ''f'' tại ''a'' là phép biến đổi tuyến tính duy nhất ''f''<nowiki/>'('''a'''): '''R'''<sup>''n''</sup> '''→''' '''R'''<sup>''m''</sup> sao cho
:<math>\lim_{\textbf h \to 0} \frac{\|f(\textbf a + \textbf h) - (f(\textbf a) + f'(\textbf a)\textbf h)\|}{\|\textbf h\|} = 0.</math>

Nếu đạo hàm tổng này tồn tại ở '''a''' thì tất cả đạo hàm riêng và đạo hàm có hướng của ''f'' đều tồn tại ở '''a''', và với mọi '''v''', ''f''<nowiki/>'('''a''')'''v''' là đạo hàm có hướng của ''f'' theo hướng '''v'''. Nếu ta viết lại ''f'' theo các hàm tọa độ, tức là ''f'' = (''f''<sub>1</sub>, ''f''<sub>2</sub>,..., ''f<sub>m</sub>'') thì đạo hàm tổng có thể được biểu thị bằng cách coi các đạo hàm riêng như là một [[Ma trận (toán học)|ma trận]]. Ma trận đó được gọi là '''[[ma trận Jacobi]]''' của ''f'' tại '''a''':
:<math>f'(\mathbf{a}) = \operatorname{Jac}_{\mathbf{a}} = \left(\frac{\partial f_i}{\partial x_j}\right)_{ij}.</math>

Nếu đạo hàm riêng tồn tại và liên tục thì đạo hàm tổng tồn tại, được xác định bằng ma trận Jacobi và phụ thuộc liên tục vào '''a'''.

Định nghĩa đạo hàm tổng còn gộp vào thêm định nghĩa đạo hàm đơn biến, tức là, nếu ''f'' là hàm số thực đơn biến thì đạo hàm tổng tồn tại khi và chỉ khi đạo hàm thường của nó tồn tại. Ma trận Jacobi khi đó được thu gọn thành ma trận 1×1, trong đó đạo hàm ''f''<nowiki/>'(''x'') là phần tử duy nhất. Ma trận 1×1 này thỏa mãn tính chất ''f''(''a'' + ''h'') - (''f''(''a'') + ''f''<nowiki/>'(''a'')''h'') có giá trị xấp xỉ bằng 0, hay
:<math>f(a + h) \approx f(a) + f'(a)h.</math>

Đây cũng là phát biểu cho rằng hàm <math>x \mapsto f(a) + f'(a)(x - a)</math> là phép xấp xỉ tuyến tính chính xác nhất của ''f'' tại ''a''.

== Lịch sử ==
{{Chính|Giải tích toán học}}
[[Vi tích phân]] là một nhánh của [[toán học]] tập trung vào [[Giới hạn (toán học)|giới hạn]], [[hàm số]], đạo hàm, [[tích phân]] và [[Chuỗi (toán học)|chuỗi vô hạn]]. [[Isaac Newton]] và [[Gottfried Leibniz]] tìm ra vi tích phân vào giữa thế kỷ 17.

== Ứng dụng của đạo hàm ==

=== Ý nghĩa vật lí ===

==== Vận tốc tức thời<ref name=":0">Sách giáo khoa Đại số và Giải tích 11 cơ bản (tr. 153), Mã số: CH101T4</ref> ====
Xét một chuyển động thẳng có phương trình dạng <math>s=s(t)</math>, với <math>s(t)</math> là một hàm số có đạo hàm. Khi đó vận tốc tức thời xác định bằng công thức <math>v(t_0)=s'(t_0)= \lim_{t \to t_0} \frac{s(t)-s(t_0)}{t-t_0}</math>.

==== Cường độ tức thời của dòng điện<ref name=":0" /> ====
Điện lượng Q truyền trong dây dẫn là một hàm số thời gian của t hay <math>Q= Q(t)</math> với cường độ trung bình của dòng điện trong khoảng thời gian <math>\left\vert t-t_0 \right\vert</math>là <math>I= \frac{Q(t)-Q(t_0)}{t-t_0} </math> hay chỉ là <math>I(t_0)=Q'(t_0) </math>

=== Khảo sát sự biến thiên hàm số bằng đạo hàm ===

==== Xét tính đơn điệu của hàm số ====
Ta có thể rút ra tính đơn điệu của một hàm số trên khoảng dựa vào định lý sau:

Cho hàm số <math>y = f(x)</math> có đạo hàm trên khoảng K. Nếu <math>f'(x) > 0, \forall x \in K</math> thì hàm số đồng biến trên K, còn nếu <math>f'(x) < 0, \forall x \in K</math> thì hàm số nghịch biến trên K.{{sfn|Trần Văn Hạo, Vũ Tuấn và đồng nghiệp|2022|p=6}}

Nếu  <math>f'(x) \geq 0 (f'(x) \leq 0) \forall x \in K, f(x) = 0</math> tại  một số hữu hạn điểm thì hàm số đồng biến (nghịch biến) trên K.{{sfn|Trần Văn Hạo, Vũ Tuấn và đồng nghiệp|2022|p=7}}

==== Điều kiện để hàm số có cực trị ====
Có một điều kiện đủ để xác định điểm cực trị như sau:{{sfn|Trần Văn Hạo, Vũ Tuấn và đồng nghiệp|2022|p=14}}

Giả sử có số thực dương h và hàm <math>y = f(x)</math> liên tục trên <math>K=(x_0-h;x_0+h)</math> và có đạo hàm trên <math>K</math>.  hoặc trên <math>K\setminus \left \{ x_0 \right \}</math>. 

Nếu <math>f'(x) > 0, \forall x \in (x_0-h;x_0)</math>  và <math>f'(x) < 0, \forall x \in (x_0; x_0+h)</math> thì <math>x_0</math> là một điểm cực đại của hàm số <math>f(x)</math>. 

Nếu <math>f'(x) < 0, \forall x \in (x_0-h;x_0)</math>  và <math>f'(x) > 0, \forall x \in (x_0; x_0+h)</math> thì <math>x_0</math> là một điểm cực tiểu của hàm số <math>f(x)</math>. 

=== Sử dụng đạo hàm cấp 2 ===
Giả sử có số thực dương h và hàm <math>y = f(x)</math> liên tục trên <math>K=(x_0-h;x_0+h)</math> và có đạo hàm cấp 2 trên <math>K</math>.hoặc trên <math>K\setminus \left \{ x_0 \right \}</math>. Khi đó có kết quả sau:{{sfn|Trần Văn Hạo, Vũ Tuấn và đồng nghiệp|2022|p=16}}

Nếu <math>f'(x_0)=0, f''(x_0)>0 </math> thì <math>x_0</math> là một điểm cực tiểu của hàm số.

Nếu <math>f'(x_0)=0, f''(x_0)<0</math> thì <math>x_0</math> là một điểm cực đại của hàm số.

== Xem thêm ==
{{Div col|colwidth=16em|content=* [[Giải tích]]
* [[Vi phân]]
* [[Giới hạn]]
* [[Hàm số]]
* [[Tích phân đường]]
* [[Tích phân mặt]]
* [[Nghịch đảo phép nhân]]}}

==Chú thích==

=== Ghi chú ===
{{Notelist}}

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

== Thư mục ==

=== Sách in ===
{{Refbegin}}
*{{Citation|last=Anton|first=Howard|last2=Bivens|first2=Irl|last3=Davis|first3=Stephen|date=ngày 2 tháng 2 năm 2005|title=Calculus: Early Transcendentals Single and Multivariable|place=New York|publisher=Wiley|edition=8th|isbn=978-0-471-47244-5}}
*{{Citation|last=Apostol|first=Tom M.|date=June 1967|title=Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra|publisher=Wiley|edition=2nd|volume=1|isbn=978-0-471-00005-1|url=https://archive.org/details/calculus01apos}}
*{{Citation|last=Apostol|first=Tom M.|date=June 1969|title=Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications|publisher=Wiley|edition=2nd|volume=1|isbn=978-0-471-00007-5|url=https://archive.org/details/calculus01apos}}
*{{Citation|last=Courant|first=Richard|last2=John|first2=Fritz|date=ngày 22 tháng 12 năm 1998|title=Introduction to Calculus and Analysis, Vol. 1|publisher=Springer-Verlag|isbn=978-3-540-65058-4}}
*{{Citation|last=Eves|first=Howard|date=ngày 2 tháng 1 năm 1990|title=An Introduction to the History of Mathematics|edition=6th|publisher=Brooks Cole|isbn=978-0-03-029558-4}}
*{{Citation|last=Grossman|first=Stanley I.|date=1977|title=Calculus|publisher=[[Academic Press]]|isbn=0-12-304350-6|url=https://archive.org/details/calculus0000gros}}
*{{Citation|last=Lang|first=Serge|date=1968|title=Analysis I|publisher=Addison-Wesley|isbn=978-0201041729|url=https://archive.org/details/analysisi0000lang}}
*{{Citation|last=Larson|first=Ron|last2=Hostetler|first2=Robert P.|last3=Edwards|first3=Bruce H.|date=ngày 28 tháng 2 năm 2006|title=Calculus: Early Transcendental Functions|edition=4th|publisher=Houghton Mifflin Company|isbn=978-0-618-60624-5}}
*{{Citation|last=Spivak|first=Michael|date=September 1994|title=Calculus|publisher=Publish or Perish|edition=3rd|isbn=978-0-914098-89-8}}
*{{Citation|last=Stewart|first=James|date=ngày 24 tháng 12 năm 2002|title=Calculus|publisher=Brooks Cole|edition=5th|isbn=978-0-534-39339-7|url=https://archive.org/details/calculus0000stew}}
*{{Citation|last=Thompson|first=Silvanus P.|date=ngày 8 tháng 9 năm 1998|title=Calculus Made Easy|place=New York|publisher=St. Martin's Press|isbn=978-0-312-18548-0}}
*{{Chú thích sách|title=Giải tích 12|last=Trần Văn Hạo|last2=Vũ Tuấn|publisher=Nhà xuất bản Giáo dục Việt Nam|year=2020|isbn=978-604-0-18895-3|edition=12|location=Việt Nam|display-authors=et al|ref={{harvid|Trần Văn Hạo, Vũ Tuấn và đồng nghiệp|2022}}}}
{{Refend}}

=== Sách trực tuyến ===
{{Refbegin}}
*{{Citation|last=Crowell|first=Benjamin|title=Fundamentals of Calculus|year=2017|url=http://www.lightandmatter.com/fund/}}
*{{Citation|last=(Govt. of TN)|first=TamilNadu Textbook Corporation|title=Mathematics- vol.2|year=2006|url=http://www.textbooksonline.tn.nic.in/Books/11/Std11-Maths-EM-2.pdf|archive-url=https://web.archive.org/web/20160115180615/http://www.textbooksonline.tn.nic.in/Books/11/Std11-Maths-EM-2.pdf|archive-date=ngày 15 tháng 1 năm 2016}}
*{{Citation|last=Garrett|first=Paul|year=2004|title=Notes on First-Year Calculus|url=http://www.math.umn.edu/~garrett/calculus/|publisher=[[Đại học Minnesota]]}}
*{{Citation|last=Hussain|first=Faraz|year=2006|title=Understanding Calculus|url=http://www.understandingcalculus.com/}}
*{{Citation|last=Keisler|first=H. Jerome|year=2000|title=Elementary Calculus: An Approach Using Infinitesimals|url=http://www.math.wisc.edu/~keisler/calc.html}}
*{{Citation|last=Mauch|first=Sean|year=2004|title=Unabridged Version of Sean's Applied Math Book|url=http://www.its.caltech.edu/~sean/book/unabridged.html|archiveurl=https://web.archive.org/web/20060415161115/http://www.its.caltech.edu/~sean/book/unabridged.html|archive-date=ngày 15 tháng 4 năm 2006|access-date=2020-04-29|archive-date=2006-04-15|archive-url=https://web.archive.org/web/20060415161115/http://www.its.caltech.edu/~sean/book/unabridged.html}}
*{{Citation|last=Sloughter|first=Dan|year=2000|title=Difference Equations to Differential Equations|url=http://synechism.org/drupal/de2de/}}
*{{Citation|last=Strang|first=Gilbert|year=1991|title=Calculus|url=http://ocw.mit.edu/ans7870/resources/Strang/strangtext.htm}}
*{{Citation|last=Stroyan|first=Keith D.|year=1997|title=A Brief Introduction to Infinitesimal Calculus|url=http://homepage.math.uiowa.edu/~stroyan/Site/Infinitesimals.html}}
*{{Citation|last=Wikibooks|title=Calculus|url=http://en.wikibooks.org/wiki/Calculus}}
{{Refend}}

== Liên kết ngoài ==
{{commons|Derivative|Đạo hàm}}

*[https://www.britannica.com/science/derivative-mathematics Derivative] trong ''[[Encyclopædia Britannica]]''
*[http://bachkhoatoanthu.vass.gov.vn/noidung/tudien/Lists/GiaiNghia/View_Detail.aspx?TuKhoa=%C4%90%E1%BA%A1o%20h%C3%A0m&ChuyenNganh=0&DiaLy=0&ItemID=36213 Đạo hàm]{{Liên kết hỏng|date=2023-08-23 |bot=InternetArchiveBot }} trong [[Từ điển bách khoa Việt Nam]]
*[[Khan Academy|Khan Academy]]: [https://www.khanacademy.org/math/differential-calculus/taking-derivatives/intro_differential_calc/v/newton-leibniz-and-usain-bolt "Newton, Leibniz, and Usain Bolt"]
* {{MathWorld|title=Derivative|id=Derivative}}
* [http://www.wolframalpha.com/calculators/derivative-calculator/ Online Derivative Calculator] từ [[Wolfram Alpha]].

[[Thể loại:Giải tích toán học]]
[[Thể loại:Hàm số và ánh xạ]]