Làm việc với Định lý Giá trị Trung gian (IVT)
Đã giới thiệu| English | Ý nghĩa |
|---|---|
| Intermediate Value Theorem/ˌɪntəˈmiːdɪət ˈvæljuː ˈθɪərəm/ | Định lý giá trị trung gian |
| solution/səˈluːʃn/ | nghiệm |
| zero/ˈzɪərəʊ/ | nghiệm của hàm số (điểm không) |
Nếu bạn leo từ 1 m lên 3 m, bạn đã đi qua 2 m
- Đi liên tục từ độ cao $1$ m đến $3$ m. Tại một thời điểm nào đó bạn ở chính xác ở $2$ m — bạn không thể bỏ qua nó.
- Sự thật nghe có vẻ hiển nhiên này là Định lý Giá trị Trung gian (IVT).
- Nó đảm bảo một hàm chạm vào mọi độ cao giữa các giá trị điểm cuối.
- Rủi ro duy nhất: đường đi phải liên tục — không thể teleport, không được nhảy.
Một cuộc leo liên tục đi qua mọi mức độ
y = ax³ + bx + c
Đường cong liên tục này đi qua mọi độ cao giữa hai đầu của nó — hãy chọn một mục tiêu $N$ trong phạm vi và nó sẽ được chạm tới ở đâu đó.
Định lý hứa hẹn những gì
- Nếu $f$ là liên tục trên khoảng đóng $[a,b]$, và $N$ là bất kỳ giá trị nào nằm giữa $f(a)$ và $f(b)$,
- thì tồn tại ít nhất một $c$ trong $(a,b)$ sao cho $f(c)=N$.
- Nói bằng lời: hàm liên tục nhận mọi giá trị trung gian ở đâu đó bên trong khoảng đó.
- Đây là định lý tồn tại — nó cam kết có một $c$ tồn tại, nhưng không không nói cho bạn biết giá trị của nó.
Định lý giá trị trung bình (IVT) cho bạn biết giá trị chính xác của $c$ nơi $f(c)=N$.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Nó là một định lý tồn tại — nó đảm bảo một $c$ tồn tại nhưng không xác định vị trí của nó.
Kiểm tra các giả thiết trước
- Trước khi sử dụng IVT, hãy xác nhận hai yêu cầu này thành tiếng:
- (1) $f$ là liên tục trên $[a,b]$ (là đa thức, hoặc được kiểm chứng theo cách khác — xem 1.12).
- (2) mục tiêu $N$ nằm strictly giữa $f(a)$ và $f(b)$.
- Bỏ qua bất kỳ kiểm tra nào và kết luận sẽ không được đảm bảo — đối với hàm có bước nhảy, IVT nói lên điều gì cả.
Để áp dụng IVT trên $[a,b]$ với mục tiêu $N$, bạn cần tất cả những điều sau...
Difficulty 2/5 · 140 coins + a small bonus on first completion today
IVT cần tính liên tục và một mục tiêu trong phạm vi. Khả vi không được yêu cầu.
IVT yêu cầu hàm số phải là ____ trên khoảng đóng.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Không có tính liên tục, một bước nhảy có thể bỏ qua giá trị mục tiêu.
Một $f$ liên tục có $f(2)=5$ và $f(6)=9$. Đối với mục tiêu $N$ nào thì IVT đảm bảo một nghiệm $f(c)=N$?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
$N$ phải nằm giữa $5$ và $9$; chỉ có $7$ đủ điều kiện.
Ứng dụng điển hình: đảm bảo nghiệm
- Để chứng minh phương trình có nghiệm trong $[a,b]$, viết lại nó dưới dạng $g(x)=0$ và đặt mục tiêu là $N=0$.
- Nếu $g$ là liên tục và $g(a)$ cùng $g(b)$ có dấu相反的, thì $0$ nằm giữa chúng.
- IVT sau đó đảm bảo có một nghiệm $c$ mà tại đó $g(c)=0$ — phương trình có nghiệm trong $(a,b)$.
- Lập luận "thay đổi dấu ⇒ có nghiệm" này là dạng bài thi phổ biến nhất của định lý.
Một $g$ liên tục có $g(1)=-2$ và $g(3)=4$. IVT đảm bảo...
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Dấu đối diện bao quanh $0$; IVT đảm bảo sự tồn tại của một nghiệm, không phải số lượng hay vị trí của nó.
Đối với $g(x)=x^2-2$ trên $[1,2]$, hãy tính $g(1)$ để kiểm tra sự thay đổi dấu với $g(2)=2$.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
$g(1)=1-2=-1<0$ và $g(2)=2>0$: một sự thay đổi dấu, nên $\sqrt2$ là một nghiệm trong $(1,2)$.
IVT cần liên tục trên toàn bộ khoảng đóng và mục tiêu nằm strictly giữa các giá trị đầu mút. Không có tính liên tục thì nó thất bại: một hàm跳跃 từ $1$ sang $3$ sẽ never equals $2$. Và IVT chỉ đảm bảo tồn tại — nó không xác định vị trí $c$ hay nói có bao nhiêu $c$ như vậy.
Chứng minh $x^3 + x - 1 = 0$ có nghiệm trong $[0,1]$.
- Cho $g(x)=x^3+x-1$; nó là đa thức, nên liên tục trên $[0,1]$. ✓
- $g(0)=-1$ (âm) và $g(1)=1$ (dương) — dấu相反的, nên $N=0$ nằm giữa chúng.
- Theo IVT, có một $c\in(0,1)$ sao cho $g(c)=0$. Phương trình có nghiệm trong $(0,1)$.
Định lý Giá trị Trung gian: nếu $f$ là liên tục trên $[a,b]$ và $N$ nằm giữa $f(a)$ và $f(b)$, thì $f(c)=N$ đối với một số $c$ trong $(a,b)$. Luôn luôn kiểm tra tính liên tục và đảm bảo rằng $N$ nằm trong phạm vi giá trị trước. Ứng dụng chính của nó: sự thay đổi dấu của hàm liên tục đảm bảo có một nghiệm trong khoảng — đây là kết quả tồn tại, không phải giá trị cụ thể.