MathLabs

Lớp 11

Giới hạn của hàm số

Giá trị mà hàm số tiến tới khi biến số tiến gần tùy ý tới một điểm.

Trực giácChuyện xảy ra ngay sát một điểm

Giả sử ta không thể tính trực tiếp một công thức ngay tại x=x0x=x_0 — chẳng hạn tỉ số sai phân f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h} tại h=0h=0 cho dạng 00\frac{0}{0}. Dù bản thân điểm đó không chạm tới được, ta vẫn có thể tiến gần tùy ý tới x0x_0 từ cả hai phía và xem f(x)f(x) ổn định quanh giá trị nào. Giá trị đích đó là giới hạn lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L, và nó không cần biết f(x0)f(x_0) có tồn tại hay không.

Đường cong có điểm cố định x0 và điểm thứ hai x0+h; khi h co về 0, đường cát tuyến xoay dần thành đường tiếp tuyến.
Hệ số góc cát tuyến f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h}: kéo h→0h\to 0 và quan sát cát tuyến tiến dần thành tiếp tuyến — một giới hạn tại h=0h=0, nơi bản thân công thức không xác định.

Phổ thôngĐịnh nghĩa chính xác và các giới hạn cơ bản

Định nghĩa: Giới hạn của hàm số tại một điểm (định nghĩa ε–δ)

Cho hàm ff xác định trên một khoảng mở quanh x0x_0, có thể trừ chính điểm x0x_0. Ta viết lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L nếu với mọi sai số ε>0\varepsilon>0 đều tồn tại bán kính δ>0\delta>0 sao cho ∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon. Chú ý dấu bất đẳng thức ngặt 0<∣x−x0∣0<|x-x_0|: trong phép thử này, xx không bao giờ được bằng x0x_0.

∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon

Ở đây ε\varepsilon là sai số dọc quanh LL trên trục giá trị, còn δ\delta (delta) là cửa sổ ngang quanh x0x_0 trên trục biến số. Hai giới hạn nền tảng — được chứng minh bằng hình học và bằng chặn đơn điệu — mở khóa toàn bộ đạo hàm của các hàm lượng giác, mũ và lôgarit: lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 (với xx tính bằng radian) và lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e.

lim⁡x→0sin⁡xx=1,lim⁡x→∞(1+1x)x=e\lim_{x\to 0}\frac{\sin x}{x}=1,\qquad \lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e
Giới hạn một bên và giới hạn hai bên tại một điểm
Hàm số và điểmGiới hạn trái / phảiGiới hạn hai bên
f(x)=∣x∣xf(x)=\frac{|x|}{x} tại x0=0x_0=0Trái =−1=-1, phải =+1=+1Không tồn tại (−1≠+1-1\ne +1)
f(x)=x2−1x−1f(x)=\frac{x^2-1}{x-1} tại x0=1x_0=1Trái =2=2, phải =2=2Bằng 22 (dù f(1)f(1) không xác định)
f(x)=sin⁡xxf(x)=\frac{\sin x}{x} tại x0=0x_0=0Trái =1=1, phải =1=1Bằng 11

Đại họcCác định lý then chốt và chứng minh

Giới hạn hai bên tồn tại khi và chỉ khi cả hai giới hạn một bên cùng tồn tại và bằng nhau: lim⁡x→x0f(x)=L  ⟺  lim⁡x→x0−f(x)=lim⁡x→x0+f(x)=L\lim_{x\to x_0} f(x)=L \iff \lim_{x\to x_0^-} f(x)=\lim_{x\to x_0^+} f(x)=L.

Vì sao đúng?

Đi về phía một cánh cửa từ hành lang bên trái và từ hành lang bên phải chỉ đưa ta tới cùng một chỗ nếu hai hành lang thực sự gặp nhau tại cùng một điểm.

Chứng minh

(⇒\Rightarrow) Giả sử lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L. Với ε>0\varepsilon>0 cho trước, định nghĩa ε–δ cho δ>0\delta>0 sao cho 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\varepsilon.

Đặc biệt, nếu x0<x<x0+δx_0<x<x_0+\delta (điều kiện bên phải) hoặc x0−δ<x<x0x_0-\delta<x<x_0 (điều kiện bên trái), ta tự động có 0<∣x−x0∣<δ0<|x-x_0|<\delta, nên ∣f(x)−L∣<ε|f(x)-L|<\varepsilon. Vậy cả hai giới hạn một bên đều bằng LL.

(⇐\Leftarrow) Ngược lại, giả sử cả hai giới hạn một bên đều bằng LL. Với ε>0\varepsilon>0 cho trước, giới hạn trái cho δ1>0\delta_1>0 thỏa trên (x0−δ1,x0)(x_0-\delta_1,x_0), còn giới hạn phải cho δ2>0\delta_2>0 thỏa trên (x0,x0+δ2)(x_0,x_0+\delta_2).

Đặt δ=min⁡(δ1,δ2)>0\delta=\min(\delta_1,\delta_2)>0. Khi đó mọi xx thỏa 0<∣x−x0∣<δ0<|x-x_0|<\delta đều nằm trong (x0−δ1,x0)(x_0-\delta_1,x_0) hoặc (x0,x0+δ2)(x_0,x_0+\delta_2), và trong cả hai trường hợp đều có ∣f(x)−L∣<ε|f(x)-L|<\varepsilon. Suy ra lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L. ■\blacksquare

Với xx đo bằng radian, lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1.

Vì sao đúng?

Trên đường tròn đơn vị, một cung rất nhỏ có độ dài xx, cạnh đứng sin⁡x\sin x và đoạn tiếp tuyến ngoài tan⁡x\tan x trở nên không thể phân biệt bằng mắt khi góc khép dần về 00.

Chứng minh

Xét 0<x<π20<x<\frac{\pi}{2} trên đường tròn đơn vị tâm OO, điểm A=(1,0)A=(1,0), điểm B=(cos⁡x,sin⁡x)B=(\cos x,\sin x) trên đường tròn, và điểm T=(1,tan⁡x)T=(1,\tan x) là giao của tia OBOB với tiếp tuyến đứng tại AA.

Tam giác △OAB\triangle OAB nằm hoàn toàn bên trong hình quạt tròn OABOAB, và hình quạt này lại nằm hoàn toàn bên trong tam giác vuông △OAT\triangle OAT. So sánh diện tích ba hình ta được 12sin⁡x<12x<12tan⁡x\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x.

Vì sin⁡x>0\sin x>0 trên (0,π2)(0,\frac{\pi}{2}), nhân cả dãy bất đẳng thức với 2sin⁡x\frac{2}{\sin x}: 1<xsin⁡x<1cos⁡x1 < \frac{x}{\sin x} < \frac{1}{\cos x}. Lấy nghịch đảo sẽ đảo chiều bất đẳng thức: cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1.

Khi x→0+x\to 0^+ thì cos⁡x→1\cos x\to 1, nên định lý kẹp buộc lim⁡x→0+sin⁡xx=1\lim_{x\to 0^+}\frac{\sin x}{x}=1. Cuối cùng, g(x)=sin⁡xxg(x)=\frac{\sin x}{x} là hàm chẵn (g(−x)=sin⁡(−x)−x=−sin⁡x−x=g(x)g(-x)=\frac{\sin(-x)}{-x}=\frac{-\sin x}{-x}=g(x)), nên lim⁡x→0−sin⁡xx=1\lim_{x\to 0^-}\frac{\sin x}{x}=1 cũng đúng; hợp lại ta được lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1. ■\blacksquare

Đại họcỨng dụng thực tiễn và Ví dụ minh họa

Giới hạn hàm số biến tốc độ trung bình thành tốc độ tức thời trong vật lý (vận tốc, gia tốc, cường độ dòng điện), biện minh cho xấp xỉ góc nhỏ cận trục sin⁡θ≈θ\sin\theta\approx\theta trong quang học hình học (ống kính máy ảnh, kính thiên văn) và cơ học con lắc, đồng thời biến lãi kép rời rạc thành lãi kép liên tục thông qua lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e.

Ví dụ

Một viên đá rơi có vị trí s(t)=5t2s(t)=5t^2 (mét) tại thời điểm tt (giây). Dùng giới hạn của vận tốc trung bình trên đoạn [2, 2+h][2,\ 2+h], hãy tìm vận tốc tức thời của nó tại t=2t=2 giây.

Lời giải

Trên khoảng thời gian [2, 2+h][2,\ 2+h] với h≠0h\ne 0, vận tốc trung bình là vavg(h)=s(2+h)−s(2)h=5(2+h)2−5⋅22hv_{\text{avg}}(h)=\frac{s(2+h)-s(2)}{h}=\frac{5(2+h)^2-5\cdot 2^2}{h}.

Khai triển tử số: 5(4+4h+h2)−20=20h+5h2=h(20+5h)5(4+4h+h^2)-20=20h+5h^2=h(20+5h).

Vì h≠0h\ne 0 khi lấy giới hạn, rút gọn hh: vavg(h)=20+5hv_{\text{avg}}(h)=20+5h.

Lấy giới hạn khi h→0h\to 0: v(2)=lim⁡h→0(20+5h)=20v(2)=\lim_{h\to 0}(20+5h)=20 m/s. Chú ý cách dạng vô định 00\frac{0}{0} biến mất ngay khi ta rút gọn trước lúc lấy giới hạn.

Ví dụ

Trong quang học cận trục, các kỹ sư thiết kế thấu kính thay sin⁡θ\sin\theta trong định luật khúc xạ Snell n1sin⁡θ1=n2sin⁡θ2n_1\sin\theta_1=n_2\sin\theta_2 bằng θ\theta (radian) nhờ lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1. Dùng bất đẳng thức kẹp cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1, hãy chứng minh với tia tới ở góc θ=0.1\theta=0.1 rad (≈5.7∘\approx 5.7^\circ), sai số tương đối θ−sin⁡θsin⁡θ\frac{\theta-\sin\theta}{\sin\theta} nhỏ hơn 1%1\%.

Lời giải

Từ cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1 với 0<θ<π20<\theta<\frac{\pi}{2}, lấy nghịch đảo ta được 1<θsin⁡θ<1cos⁡θ1<\frac{\theta}{\sin\theta}<\frac{1}{\cos\theta}.

Trừ 11 ở cả ba vế: 0<θ−sin⁡θsin⁡θ<1cos⁡θ−1=1−cos⁡θcos⁡θ0<\frac{\theta-\sin\theta}{\sin\theta}<\frac{1}{\cos\theta}-1=\frac{1-\cos\theta}{\cos\theta}.

Dùng 1−cos⁡θ=2sin⁡2(θ/2)<2(θ/2)2=θ221-\cos\theta=2\sin^2(\theta/2)<2(\theta/2)^2=\frac{\theta^2}{2} và cos⁡(0.1)>0.99\cos(0.1)>0.99, tại θ=0.1\theta=0.1 ta được: θ−sin⁡θsin⁡θ<0.0050.99≈0.00505\frac{\theta-\sin\theta}{\sin\theta}<\frac{0.005}{0.99}\approx 0.00505, tức khoảng 0.5%<1%0.5\%<1\%.

(Thực tế giá trị chính xác chỉ ≈0.167%\approx 0.167\%.) Đó là lý do công thức thấu kính tuyến tính hóa 1do+1di=1f\frac{1}{d_o}+\frac{1}{d_i}=\frac{1}{f} cực kỳ chính xác đối với các tia sáng gần trục quang học.

Tính lim⁡x→2x2−4x−2\lim_{x\to 2}\frac{x^2-4}{x-2}.

Cho f(x)=x+1f(x)=x+1 khi x<1x<1 và f(x)=x2f(x)=x^2 khi x≥1x\ge 1. Giá trị của lim⁡x→1f(x)\lim_{x\to 1} f(x) là gì?

Giá trị của lim⁡x→0sin⁡(3x)x\lim_{x\to 0}\frac{\sin(3x)}{x} (với xx tính bằng radian) là bao nhiêu?

Hằng số nổi tiếng nào được định nghĩa bởi lim⁡x→∞(1+1x)x\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x?

Tài liệu tham khảo

  1. James Stewart (2015). Calculus: Early Transcendentals
  2. David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity