Đây là bản xem thử. Phiên bản đầy đủ trong ứng dụng có bài tập, AI chấm ngay và theo dõi tiến độ học.
Bài học
Định lí giá trị trung gian và ứng dụng
Mục tiêu bài học
Sau bài này, em phát biểu được định lí giá trị trung gian cho hàm số liên tục trên một đoạn, và dùng định lí này để chứng minh một phương trình có ít nhất một nghiệm trong một khoảng cho trước — kể cả khi phương trình đó không thể giải trực tiếp bằng công thức.
Kiến thức nền cần nhớ
Bài trước đã định nghĩa hàm số liên tục tại một điểm và trên một khoảng, và cho em biết đa thức luôn liên tục trên toàn bộ tập số thực (same-grade bridge). Bài này dùng đúng tính liên tục đó — không phải để tính giới hạn hay kiểm tra một điểm nữa, mà để suy luận về sự tồn tại của nghiệm một phương trình.
Khởi động
Sáng nay nhiệt độ ngoài trời là 18°C, đến trưa tăng lên 30°C. Nhiệt độ là một đại lượng biến đổi liên tục theo thời gian — không thể nhảy vọt từ 18°C thẳng lên 30°C mà bỏ qua mọi giá trị ở giữa. Vậy tại một thời điểm nào đó trong buổi sáng, nhiệt độ có nhất thiết phải đúng bằng 25°C không? Vì sao?
Kiến thức trọng tâm
Định lí giá trị trung gian phát biểu: nếu hàm số $f$ liên tục trên đoạn $[a;b]$ và $f(a) \cdot f(b)<0$ (tức $f(a)$ và $f(b)$ trái dấu nhau), thì tồn tại ít nhất một điểm $c \in (a;b)$ sao cho $f(c)=0$ — nói cách khác, phương trình $f(x)=0$ có ít nhất một nghiệm trong khoảng $(a;b)$. Trực giác đứng sau định lí này chính là ví dụ nhiệt độ ở phần khởi động: một đại lượng biến đổi liên tục không thể đi từ giá trị âm sang giá trị dương (hay ngược lại) mà không đi qua đúng giá trị 0 ở đâu đó giữa đường.
Điểm mạnh của định lí này là nó chứng minh sự TỒN TẠI của nghiệm mà không cần tìm ra nghiệm đó chính xác bằng bao nhiêu — rất hữu ích với những phương trình bậc cao hoặc phức tạp mà công thức nghiệm không tồn tại hoặc quá cồng kềnh để dùng. Quy trình áp dụng luôn gồm ba bước: xác nhận $f$ liên tục trên đoạn đang xét (với đa thức, điều này luôn đúng nên có thể bỏ qua bước kiểm tra); tính $f(a)$ và $f(b)$ tại hai đầu đoạn; và kiểm tra tích $f(a) \cdot f(b)$ có âm hay không.
Cần lưu ý định lí chỉ khẳng định "có ít nhất một nghiệm", không khẳng định "chỉ đúng một nghiệm" — một đoạn có thể chứa nhiều nghiệm cùng lúc miễn $f(a)$ và $f(b)$ trái dấu. Để chứng minh một phương trình có ĐÚNG một số nghiệm cụ thể (ví dụ đúng ba nghiệm), em cần áp dụng định lí trên nhiều đoạn con rời nhau, rồi kết hợp với bậc của đa thức (một đa thức bậc $n$ có tối đa $n$ nghiệm thực) để khẳng định không còn nghiệm nào khác ngoài những nghiệm đã tìm được.
Một điểm dễ gây bối rối: định lí không cho biết nghiệm $c$ nằm ở đâu chính xác trong khoảng $(a;b)$, chỉ khẳng định nó tồn tại. Nếu cần "khoanh vùng" nghiệm hẹp hơn, em có thể tính thêm giá trị $f$ tại một điểm giữa khoảng ban đầu, rồi xem nửa nào đổi dấu để thu hẹp khoảng chứa nghiệm — đây chính là ý tưởng đứng sau phương pháp chia đôi tìm nghiệm gần đúng, dù bài này chỉ cần chứng minh sự tồn tại chứ chưa yêu cầu tìm giá trị gần đúng của nghiệm đó.
Đổi dấu giữa f(-2)=-1 và f(-1)=3, giữa f(0)=1 và f(1)=-1, giữa f(1)=-1 và f(2)=3 — ba lần đổi dấu cho ba khoảng chứa nghiệm.
Ví dụ chuẩn
Ví dụ
Chứng minh phương trình có nghiệm trong một khoảng
1
Chứng minh phương trình $x^3-3x+1=0$ có ít nhất một nghiệm trong khoảng $(0;1)$.
2
Đặt $f(x)=x^3-3x+1$. Vì $f$ là hàm đa thức, $f$ liên tục trên toàn bộ $\mathbb{R}$, do đó liên tục trên đoạn $[0;1]$.
Theo định lí giá trị trung gian, tồn tại $c \in (0;1)$ sao cho $f(c)=0$. Vậy phương trình $x^3-3x+1=0$ có ít nhất một nghiệm trong khoảng $(0;1)$.
Ví dụ dạng thi
Ví dụ
Chứng minh phương trình có đúng ba nghiệm phân biệt
1
Chứng minh phương trình $x^3-3x+1=0$ có đúng ba nghiệm phân biệt.
2
Đặt $f(x)=x^3-3x+1$ (liên tục trên $\mathbb{R}$ vì là đa thức). Tính: $f(-2)=-8+6+1=-1$; $f(-1)=-1+3+1=3$; $f(0)=1$; $f(1)=-1$; $f(2)=8-6+1=3$.
3
$f(-2)=-1<0$ và $f(-1)=3>0$ trái dấu, nên có một nghiệm thuộc $(-2;-1)$.
4
$f(0)=1>0$ và $f(1)=-1<0$ trái dấu, nên có một nghiệm thuộc $(0;1)$.
5
$f(1)=-1<0$ và $f(2)=3>0$ trái dấu, nên có một nghiệm thuộc $(1;2)$.
6
Ba khoảng $(-2;-1)$, $(0;1)$, $(1;2)$ đôi một rời nhau, mỗi khoảng chứa ít nhất một nghiệm — vậy phương trình có ít nhất ba nghiệm phân biệt. Vì $f$ là đa thức bậc ba, phương trình có tối đa ba nghiệm thực. Kết hợp cả hai chiều, phương trình có đúng ba nghiệm phân biệt.
7
Ba khoảng chứa nghiệm không chồng lấn nhau ($-2<-1<0<1<2$), nên ba nghiệm tìm được chắc chắn là ba số phân biệt, không phải cùng một nghiệm bị đếm trùng ở hai khoảng khác nhau.
Sai lầm thường gặp
Sai lầm phổ biến nhất: quên kiểm tra $f$ liên tục trên đoạn đang xét trước khi áp dụng định lí — với hàm từng khúc có thể gián đoạn ngay bên trong đoạn, kết luận sẽ sai hoàn toàn. Một lỗi khác: khi $f(a) \cdot f(b)>0$ (cùng dấu), vội kết luận "không có nghiệm nào" trong khoảng đó — định lí giá trị trung gian không nói được gì trong trường hợp này (có thể có 0, 2, hoặc nhiều nghiệm ẩn bên trong, đến rồi lại rời khỏi dấu đó); định lí chỉ cho kết luận chắc chắn khi $f(a)$ và $f(b)$ TRÁI DẤU. Một lỗi thứ ba: nhầm "chứng minh có nghiệm" với "tìm ra nghiệm" — đề bài chỉ yêu cầu chứng minh sự tồn tại, không yêu cầu giải phương trình; cố giải trực tiếp một phương trình bậc ba không có nghiệm đẹp chỉ làm mất thời gian và không cần thiết cho lời giải.
Luyện tập có hướng dẫn
Luyện tập độc lập
Kiểm tra nhanh
Ghi nhớ
Ghi nhớ
Định lí giá trị trung gian: nếu $f$ liên tục trên $[a;b]$ và $f(a) \cdot f(b)<0$, thì $f(x)=0$ có ít nhất một nghiệm trong $(a;b)$. Chứng minh nhiều nghiệm bằng cách tách nhiều khoảng rời nhau đều đổi dấu, rồi đối chiếu với bậc đa thức để xác nhận không còn nghiệm nào khác.
Định lí giá trị trung gian là công cụ nền tảng phía sau nhiều phương pháp tìm nghiệm gần đúng bằng máy tính ở các lớp và bậc học sau — khi một phương trình không có công thức nghiệm tường minh, người ta vẫn có thể khẳng định chắc chắn nghiệm tồn tại trong một khoảng, rồi thu hẹp dần khoảng đó để xấp xỉ giá trị nghiệm với độ chính xác tuỳ ý. Ở mức nền tảng của lớp 11, em chỉ cần dừng lại ở bước chứng minh sự tồn tại — điều mà ba ví dụ vừa học đã luyện tập đầy đủ.
Chương ôn tập tiếp theo ghép lại toàn bộ kĩ thuật của khoá học này — giới hạn dãy số, giới hạn hàm số, và tính liên tục — vào những bài toán tổng hợp kiểu đề kiểm tra, để em luyện phản xạ nhận diện đúng dạng bài trước khi chọn kĩ thuật.
Định lí giá trị trung gian phát biểu: nếu hàm số f liên tục trên đoạn [a;b] và f(a)⋅f(b)<0 (tức f(a) và f(b) trái dấu nhau), thì tồn tại ít nhất một điểm c∈(a;b) sao cho f(c)=0 — nói cách khác, phương trình f(x)=0 có ít nhất một nghiệm trong khoảng (a;b). Trực giác đứng sau định lí này chính là ví dụ nhiệt độ ở phần khởi động: một đại lượng biến đổi liên tục không thể đi từ giá trị âm sang giá trị dương (hay ngược lại) mà không đi qua đúng giá trị 0 ở đâu đó giữa đường.
Điểm mạnh của định lí này là nó chứng minh sự TỒN TẠI của nghiệm mà không cần tìm ra nghiệm đó chính xác bằng bao nhiêu — rất hữu ích với những phương trình bậc cao hoặc phức tạp mà công thức nghiệm không tồn tại hoặc quá cồng kềnh để dùng. Quy trình áp dụng luôn gồm ba bước: xác nhận f liên tục trên đoạn đang xét (với đa thức, điều này luôn đúng nên có thể bỏ qua bước kiểm tra); tính f(a) và f(b) tại hai đầu đoạn; và kiểm tra tích f(a)⋅f(b) có âm hay không.
Cần lưu ý định lí chỉ khẳng định "có ít nhất một nghiệm", không khẳng định "chỉ đúng một nghiệm" — một đoạn có thể chứa nhiều nghiệm cùng lúc miễn f(a) và f(b) trái dấu. Để chứng minh một phương trình có ĐÚNG một số nghiệm cụ thể (ví dụ đúng ba nghiệm), em cần áp dụng định lí trên nhiều đoạn con rời nhau, rồi kết hợp với bậc của đa thức (một đa thức bậc n có tối đa n nghiệm thực) để khẳng định không còn nghiệm nào khác ngoài những nghiệm đã tìm được.
Một điểm dễ gây bối rối: định lí không cho biết nghiệm c nằm ở đâu chính xác trong khoảng (a;b), chỉ khẳng định nó tồn tại. Nếu cần "khoanh vùng" nghiệm hẹp hơn, em có thể tính thêm giá trị f tại một điểm giữa khoảng ban đầu, rồi xem nửa nào đổi dấu để thu hẹp khoảng chứa nghiệm — đây chính là ý tưởng đứng sau phương pháp chia đôi tìm nghiệm gần đúng, dù bài này chỉ cần chứng minh sự tồn tại chứ chưa yêu cầu tìm giá trị gần đúng của nghiệm đó.
Chứng minh phương trình x3−3x+1=0 có ít nhất một nghiệm trong khoảng (0;1).
Đặt f(x)=x3−3x+1. Vì f là hàm đa thức, f liên tục trên toàn bộ R, do đó liên tục trên đoạn [0;1].
f(0)=0−0+1=1; f(1)=1−3+1=−1.
f(0)⋅f(1)=1×(−1)=−1<0, vậy f(0) và f(1) trái dấu.
Theo định lí giá trị trung gian, tồn tại c∈(0;1) sao cho f(c)=0. Vậy phương trình x3−3x+1=0 có ít nhất một nghiệm trong khoảng (0;1).
Chứng minh phương trình x3−3x+1=0 có đúng ba nghiệm phân biệt.
Đặt f(x)=x3−3x+1 (liên tục trên R vì là đa thức). Tính: f(−2)=−8+6+1=−1; f(−1)=−1+3+1=3; f(0)=1; f(1)=−1; f(2)=8−6+1=3.
f(−2)=−1<0 và f(−1)=3>0 trái dấu, nên có một nghiệm thuộc (−2;−1).
f(0)=1>0 và f(1)=−1<0 trái dấu, nên có một nghiệm thuộc (0;1).
f(1)=−1<0 và f(2)=3>0 trái dấu, nên có một nghiệm thuộc (1;2).
Ba khoảng (−2;−1), (0;1), (1;2) đôi một rời nhau, mỗi khoảng chứa ít nhất một nghiệm — vậy phương trình có ít nhất ba nghiệm phân biệt. Vì f là đa thức bậc ba, phương trình có tối đa ba nghiệm thực. Kết hợp cả hai chiều, phương trình có đúng ba nghiệm phân biệt.
Ba khoảng chứa nghiệm không chồng lấn nhau (−2<−1<0<1<2), nên ba nghiệm tìm được chắc chắn là ba số phân biệt, không phải cùng một nghiệm bị đếm trùng ở hai khoảng khác nhau.
Sai lầm phổ biến nhất: quên kiểm tra f liên tục trên đoạn đang xét trước khi áp dụng định lí — với hàm từng khúc có thể gián đoạn ngay bên trong đoạn, kết luận sẽ sai hoàn toàn. Một lỗi khác: khi f(a)⋅f(b)>0 (cùng dấu), vội kết luận "không có nghiệm nào" trong khoảng đó — định lí giá trị trung gian không nói được gì trong trường hợp này (có thể có 0, 2, hoặc nhiều nghiệm ẩn bên trong, đến rồi lại rời khỏi dấu đó); định lí chỉ cho kết luận chắc chắn khi f(a) và f(b) TRÁI DẤU. Một lỗi thứ ba: nhầm "chứng minh có nghiệm" với "tìm ra nghiệm" — đề bài chỉ yêu cầu chứng minh sự tồn tại, không yêu cầu giải phương trình; cố giải trực tiếp một phương trình bậc ba không có nghiệm đẹp chỉ làm mất thời gian và không cần thiết cho lời giải.
Định lí giá trị trung gian: nếu f liên tục trên [a;b] và f(a)⋅f(b)<0, thì f(x)=0 có ít nhất một nghiệm trong (a;b). Chứng minh nhiều nghiệm bằng cách tách nhiều khoảng rời nhau đều đổi dấu, rồi đối chiếu với bậc đa thức để xác nhận không còn nghiệm nào khác.
Định lí giá trị trung gian là công cụ nền tảng phía sau nhiều phương pháp tìm nghiệm gần đúng bằng máy tính ở các lớp và bậc học sau — khi một phương trình không có công thức nghiệm tường minh, người ta vẫn có thể khẳng định chắc chắn nghiệm tồn tại trong một khoảng, rồi thu hẹp dần khoảng đó để xấp xỉ giá trị nghiệm với độ chính xác tuỳ ý. Ở mức nền tảng của lớp 11, em chỉ cần dừng lại ở bước chứng minh sự tồn tại — điều mà ba ví dụ vừa học đã luyện tập đầy đủ.