MathLabs

Lớp 11

Đạo hàm

Đạo hàm đo tốc độ thay đổi của một đại lượng tại một thời điểm duy nhất, được xây dựng từ giới hạn của tốc độ thay đổi trung bình trên những khoảng ngày càng nhỏ. Nó cho hệ số góc của tiếp tuyến, vận tốc tức thời của một vật chuyển động, và — nhờ một vài quy tắc đại số — một cách để lấy đạo hàm cho hầu hết mọi hàm số dựng từ các hàm sơ cấp.

Trực giácTừ tốc độ trung bình đến tốc độ tức thời

Đồng hồ tốc độ của ô tô báo tốc độ nó đang chạy ngay lúc này, chứ không phải tốc độ trung bình của cả chuyến đi. Nếu một đại lượng được mô tả bởi hàm số y=f(x)y=f(x), tốc độ thay đổi trung bình giữa x0x_0 và x0+hx_0+h là hệ số góc của đường thẳng nối hai điểm (cát tuyến) (x0,f(x0))(x_0, f(x_0)) và (x0+h,f(x0+h))(x_0+h, f(x_0+h)): f(x0+h)−f(x0)h\dfrac{f(x_0+h)-f(x_0)}{h}. Tỷ số này phụ thuộc vào bước nhảy hh lớn hay nhỏ. Để nắm được tốc độ thay đổi tại đúng một thời điểm x0x_0, hãy thu nhỏ bước nhảy: cho h→0h \to 0 và quan sát cát tuyến xoay quanh (x0,f(x0))(x_0, f(x_0)) cho tới khi nó ổn định thành tiếp tuyến — xấp xỉ đường thẳng tốt nhất cho đường cong tại điểm đó.

Đồ thị tương tác cho thấy một đường cong, cát tuyến qua hai điểm gần nhau tại x0 và x0+h, cùng các thanh trượt cho x0 và h; khi h thu nhỏ về 0, cát tuyến xoay dần thành tiếp tuyến tại x0.
Cát tuyến qua (x0,f(x0))(x_0, f(x_0)) và (x0+h,f(x0+h))(x_0+h, f(x_0+h)) khi bước nhảy hh thu nhỏ dần. Kéo hh về 00 để thấy cát tuyến xoay dần thành tiếp tuyến tại x0x_0; hệ số góc của nó là f(x0+h)−f(x0)h→f′(x0)\dfrac{f(x_0+h)-f(x_0)}{h} \to f'(x_0).

Phổ thôngĐịnh nghĩa đạo hàm bằng giới hạn

Định nghĩa: Đạo hàm tại một điểm

Cho ff là hàm số xác định trên một khoảng mở chứa x0x_0. **Đạo hàm của ff tại x0x_0**, ký hiệu f′(x0)f'(x_0), là giới hạn của tỷ sai phân khi bước nhảy tiến về không: f′(x0)=lim⁡h→0f(x0+h)−f(x0)hf'(x_0) = \lim_{h \to 0} \dfrac{f(x_0+h)-f(x_0)}{h}, tương đương f′(x0)=lim⁡x→x0f(x)−f(x0)x−x0f'(x_0) = \lim_{x \to x_0} \dfrac{f(x)-f(x_0)}{x-x_0}. Khi giới hạn này tồn tại (và hữu hạn), ta nói ff khả vi tại x0x_0. Các ký hiệu thông dụng khác của đạo hàm gồm y′y', dydx\dfrac{dy}{dx}, và dfdx(x0)\dfrac{df}{dx}(x_0).

f′(x0)=lim⁡h→0f(x0+h)−f(x0)h=lim⁡x→x0f(x)−f(x0)x−x0f'(x_0) = \lim_{h \to 0} \frac{f(x_0+h)-f(x_0)}{h} = \lim_{x \to x_0} \frac{f(x)-f(x_0)}{x-x_0}

Ý nghĩa hình học. Vì tiếp tuyến tại x0x_0 là giới hạn của các cát tuyến, hệ số góc của nó chính là f′(x0)f'(x_0). Do đó tiếp tuyến có phương trình y=f(x0)+f′(x0)(x−x0)y = f(x_0) + f'(x_0)(x-x_0) — xấp xỉ tuyến tính tốt nhất cho đồ thị ff gần x0x_0. Tiếp tuyến nằm ngang (f′(x0)=0f'(x_0)=0) đánh dấu điểm mà đường cong tạm thời phẳng, chẳng hạn tại một cực trị địa phương.

y=f(x0)+f′(x0)(x−x0)y = f(x_0) + f'(x_0)(x - x_0)

Ý nghĩa vật lý. Nếu s(t)s(t) là vị trí của một vật tại thời điểm tt, tốc độ thay đổi trung bình s(t0+h)−s(t0)h\dfrac{s(t_0+h)-s(t_0)}{h} là vận tốc trung bình trên [t0,t0+h][t_0, t_0+h], và giới hạn của nó v(t0)=s′(t0)v(t_0)=s'(t_0) là vận tốc tức thời tại t0t_0. Lấy đạo hàm thêm một lần nữa cho gia tốc a(t)=v′(t)=s′′(t)a(t) = v'(t) = s''(t), đạo hàm cấp hai của vị trí — tốc độ mà bản thân vận tốc đang thay đổi.

Nếu ff khả vi tại x0x_0 thì ff liên tục tại x0x_0.

Vì sao đúng?

Một đường cong có hệ số góc tiếp tuyến xác định tại x0x_0 thì không thể có bước nhảy ở đó: viết f(x)−f(x0)=f(x)−f(x0)x−x0⋅(x−x0)f(x)-f(x_0) = \dfrac{f(x)-f(x_0)}{x-x_0} \cdot (x-x_0); khi x→x0x \to x_0, thừa số thứ nhất tiến tới số hữu hạn f′(x0)f'(x_0) còn thừa số thứ hai tiến tới 00, nên tích tiến tới 00 và f(x)→f(x0)f(x) \to f(x_0).

Chứng minh

Đây chính là lập luận ở trên: giới hạn của một tích bằng tích của các giới hạn khi cả hai đều tồn tại, và theo giả thiết lim⁡x→x0f(x)−f(x0)x−x0=f′(x0)\lim_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0}=f'(x_0) hữu hạn còn lim⁡x→x0(x−x0)=0\lim_{x\to x_0}(x-x_0)=0.

Chiều ngược lại là sai: liên tục không suy ra khả vi. Phản ví dụ kinh điển là f(x)=∣x∣f(x) = |x| tại x0=0x_0 = 0. Hàm này liên tục ở đó, nhưng tỷ sai phân f(0+h)−f(0)h=∣h∣h\dfrac{f(0+h)-f(0)}{h} = \dfrac{|h|}{h} bằng 11 khi h>0h>0 và bằng −1-1 khi h<0h<0, nên giới hạn trái và giới hạn phải không bằng nhau và f′(0)f'(0) không tồn tại — đồ thị có một góc nhọn, không có một hệ số góc tiếp tuyến xác định duy nhất.

Đại họcCác quy tắc tính đạo hàm

Các quy tắc đạo hàm cơ bản
Quy tắcBiểu thứcĐiều kiện / ghi chú
Hằng số nhân với hàm(cf)′=cf′(cf)' = c f'cc là hằng số
Tổng, hiệu(f±g)′=f′±g′(f \pm g)' = f' \pm g'f,gf, g khả vi
Đạo hàm lũy thừa(xn)′=nxn−1(x^n)' = n x^{n-1}n∈Rn \in \mathbb{R}, xx trong tập xác định
Đạo hàm của tích(fg)′=f′g+fg′(fg)' = f'g + fg'f,gf, g khả vi tại xx
Đạo hàm của thương(fg)′=f′g−fg′g2\left(\dfrac{f}{g}\right)' = \dfrac{f'g - fg'}{g^2}g(x)≠0g(x) \neq 0
Đạo hàm hàm hợp(f∘g)′(x)=f′(g(x)) g′(x)(f \circ g)'(x) = f'(g(x))\, g'(x)gg khả vi tại xx, ff khả vi tại g(x)g(x)

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?

Hãy hình dung f(x)g(x)f(x)g(x) là diện tích một hình chữ nhật có chiều rộng f(x)f(x) và chiều cao g(x)g(x). Khi xx thay đổi, cả hai cạnh cùng thay đổi, nên diện tích hình chữ nhật biến đổi vì hai lý do cùng lúc: chiều rộng tăng với tốc độ f′(x)f'(x) trong khi chiều cao vẫn là g(x)g(x), đóng góp f′(x)g(x)f'(x)g(x); và chiều cao tăng với tốc độ g′(x)g'(x) trong khi chiều rộng vẫn là f(x)f(x), đóng góp f(x)g′(x)f(x)g'(x). Một sai lầm hay gặp là đoán (fg)′=f′g′(fg)' = f'g', nhưng cách đó bỏ hoàn toàn hai đóng góp riêng biệt này.

Chứng minh

Viết f(x+h)g(x+h)−f(x)g(x)h\dfrac{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\dfrac{g(x+h)-g(x)}{h} + \dfrac{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, 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).

Nếu gg khả vi tại xx và ff khả vi tại g(x)g(x) thì f∘gf \circ g khả vi tại xx và (f∘g)′(x)=f′(g(x)) g′(x)(f \circ g)'(x) = f'(g(x))\, g'(x).

Vì sao đúng?

Các tốc độ thay đổi kết hợp bằng cách nhân: nếu y=f(u)y=f(u) thay đổi nhanh gấp đôi uu (tức f′=2f'=2), và u=g(x)u=g(x) thay đổi nhanh gấp ba lần xx (tức g′=3g'=3), thì với một bước nhỏ theo xx, uu dịch chuyển gấp 33 lần, rồi yy dịch chuyển gấp 22 lần độ dịch chuyển của uu — nên yy dịch chuyển gấp 2×3=62 \times 3 = 6 lần so với xx. Một sai lầm rất hay gặp là quên đạo hàm của hàm bên trong g′(x)g'(x): ddxsin⁡(x2)≠cos⁡(x2)\dfrac{d}{dx}\sin(x^2) \neq \cos(x^2); đạo hàm đúng là 2xcos⁡(x2)2x\cos(x^2).

Chứng minh

Vì ff khả vi tại g(x)g(x), viết f(g(x)+k)−f(g(x))=[f′(g(x))+ε(k)] kf(g(x)+k) - f(g(x)) = [f'(g(x)) + \varepsilon(k)]\,k với kk gần 00, trong đó ε(k)→0\varepsilon(k) \to 0 khi k→0k \to 0. Thay k=g(x+h)−g(x)k = g(x+h)-g(x), tiến tới 00 khi h→0h \to 0 do tính liên tục của gg, rồi chia cho hh ta được f(g(x+h))−f(g(x))h=[f′(g(x))+ε(k)]⋅g(x+h)−g(x)h→f′(g(x)) g′(x)\dfrac{f(g(x+h))-f(g(x))}{h} = [f'(g(x))+\varepsilon(k)]\cdot\dfrac{g(x+h)-g(x)}{h} \to f'(g(x))\,g'(x).

Đường cong bậc ba y = x mũ ba trừ 3x, đi lên từ góc dưới bên trái tới cực đại gần x = -1, hạ xuống cực tiểu gần x = 1, rồi lại đi lên về phía trên bên phải; điểm uốn được đánh dấu tại gốc tọa độ.
y=f(x)=x3−3xy = f(x) = x^3 - 3x, với f′(x)=3x2−3f'(x) = 3x^2 - 3. Cực đại và cực tiểu được đánh dấu nằm đúng tại nơi f′(x)=0f'(x)=0, tức x=±1x=\pm 1: đường cong đi lên khi f′(x)>0f'(x)>0 (ngoài [−1,1][-1,1]) và đi xuống khi f′(x)<0f'(x)<0 (trong [−1,1][-1,1]). Điểm uốn được đánh dấu tại x=0x=0 là nơi f′′(x)=6xf''(x)=6x đổi dấu, tức nơi đường cong chuyển từ lõm xuống sang lõm lên.

Ví dụ: Tính đạo hàm của một tích

Tìm f′(x)f'(x) với f(x)=x2sin⁡xf(x) = x^2 \sin x.

Lời giải

Áp dụng quy tắc đạo hàm của tích với u(x)=x2u(x) = x^2 và v(x)=sin⁡xv(x) = \sin x: u′(x)=2xu'(x) = 2x và v′(x)=cos⁡xv'(x) = \cos x, nên f′(x)=u′(x)v(x)+u(x)v′(x)=2xsin⁡x+x2cos⁡xf'(x) = u'(x)v(x) + u(x)v'(x) = 2x\sin x + x^2\cos x.

Ví dụ

Một quả bóng được ném thẳng đứng từ mặt đất. Độ cao tính bằng mét là h(t)=20t−5t2h(t) = 20t - 5t^2. (a) Tìm vận tốc tức thời v(t)=h′(t)v(t) = h'(t). (b) Bóng đạt độ cao cực đại khi nào? (c) Vận tốc tại t=1t = 1 s là bao nhiêu?

Lời giải

**Bước 1 — Lấy đạo hàm h(t)=20t−5t2h(t) = 20t - 5t^2 bằng quy tắc lũy thừa.** Lấy đạo hàm từng số hạng: (20t)′=20(20t)' = 20 và (5t2)′=10t(5t^2)' = 10t, ta được v(t)=h′(t)=20−10tv(t) = h'(t) = 20 - 10t.

Bước 2 — Tìm thời điểm đạt độ cao cực đại. Tại đỉnh quỹ đạo, bóng tạm dừng nên v(t)=0v(t) = 0: 20−10t=0⇒t=220 - 10t = 0 \Rightarrow t = 2 s. Đạo hàm cấp hai h′′(t)=−10<0h''(t) = -10 < 0 xác nhận đây là cực đại.

**Bước 3 — Tính vận tốc tại t=1t = 1 s.** Thay vào công thức vận tốc: v(1)=20−10(1)=10v(1) = 20 - 10(1) = 10 m/s hướng lên. Bóng vẫn đang bay lên tại t=1t = 1 s, nhất quán với việc đạt đỉnh tại t=2t = 2 s.

Nâng caoĐạo hàm cấp cao và những bước tiếp theo

Mọi điều ở trên đều dựa trên giới hạn của hàm số, nên nắm chắc giới hạn là kiến thức nền cần có trước khi học đạo hàm. Lấy đạo hàm của chính f′f' cho đạo hàm cấp hai f′′=(f′)′f''=(f')' (gia tốc, độ cong), và lặp lại quá trình này cho f(n)f^{(n)}, đạo hàm cấp nn; một hàm số có các đạo hàm liên tục tới cấp kk được gọi là hàm CkC^k, và C∞C^\infty nếu có đạo hàm ở mọi cấp. Từ đây mở ra hai hướng: đọc hình dạng của hàm số — nơi nó tăng, có cực trị, hay lồi lõm — trực tiếp từ dấu của f′f' và f′′f'' (xem ứng dụng của đạo hàm), và chạy ngược quá trình: cho f′f', khôi phục lại ff chính là bài toán nguyên hàm, cánh cửa dẫn vào phép tính tích phân.

Nghiên cứuĐạo hàm ở biên giới nghiên cứu hiện đại

Dùng định nghĩa giới hạn, f′(3)f'(3) của f(x)=x2f(x) = x^2 bằng bao nhiêu?

Vì sao f(x)=∣x∣f(x) = |x| liên tục nhưng không khả vi tại x=0x=0?

Theo quy tắc dây chuyền, đạo hàm của y=sin⁡(2x2)y = \sin(2x^2) là gì?

Một chất điểm chuyển động trên một đường thẳng với vị trí s(t)=t3−6t2+9ts(t) = t^3 - 6t^2 + 9t (mét), t≥0t \ge 0 tính bằng giây. Tại thời điểm nào gia tốc của nó bằng không?

Tài liệu tham khảo

  1. Michael Spivak (2008). Calculus
  2. James Stewart (2015). Calculus: Early Transcendentals
  3. Augustin-Louis Cauchy (1823). Résumé des leçons données à l'École royale polytechnique sur le calcul infinitésimal
  4. Atilim Gunes Baydin, Barak A. Pearlmutter, Alexey Andreyevich Radul, Jeffrey Mark Siskind (2018). Automatic Differentiation in Machine Learning: a Survey