Appearance
Cụm 6 — Bất đẳng thức và bất phương trình
Cụm này trả lời câu hỏi gốc: khi nào một biểu thức lớn hơn biểu thức khác, và làm sao tìm tập tất cả giá trị thỏa mãn điều đó.
- Câu hỏi gốc — toàn cụm xoay quanh quan hệ thứ tự "lớn hơn / nhỏ hơn" trên tập số thực, chứ không phải quan hệ bằng nhau như phương trình.
- Trụ thứ nhất — bốn tiên đề thứ tự trên trục số làm nền cho mọi phép biến đổi bất đẳng thức (cộng hai vế, nhân hai vế, bắc cầu).
- Trụ thứ hai — định lý dấu tam thức bậc hai, chứng minh qua biệt thức và dạng chính tắc, cho quy trình giải bất phương trình bậc hai, tích, thương bằng bảng xét dấu.
- Trụ thứ ba — các bất đẳng thức kinh điển AM-GM và Cauchy-Schwarz, mỗi cái là một định lý có chứng minh hoặc định hướng, dùng để tìm giá trị nhỏ nhất và lớn nhất.
- Vai trò nền — đây là công cụ chặn miền giá trị và tối ưu hóa, là gốc cho phần khảo sát hàm số, cực trị có ràng buộc và tối ưu danh mục về sau.
Đồ thị khái niệm
Đọc đồ thị:
- Màu — nút xanh đậm là tiên đề gốc không chứng minh; nút xanh nhạt là định lý hoặc công cụ dẫn xuất; nút xanh lá là phần ứng dụng giải đề.
- Hướng — mọi nhánh đều mọc từ tiên đề thứ tự; nhánh trái đi qua biệt thức để xét dấu và giải bất phương trình, nhánh phải đi qua phép biến đổi để dựng bất đẳng thức kinh điển và tối ưu.
Glossary nhãn chart (English keyword -> tiếng Việt):
- Order axioms — tiên đề thứ tự: bốn quy ước nền về quan hệ lớn nhỏ trên tập số thực.
- Transformation — phép biến đổi: thao tác giữ hoặc đảo chiều bất đẳng thức trên hai vế.
- Discriminant
— biệt thức: số quyết định số nghiệm thực của tam thức. - Quadratic sign rule — định lý dấu tam thức: quy tắc dấu của
theo vị trí so với hai nghiệm. - Sign table — bảng xét dấu: bảng chia trục số theo nghiệm rồi điền dấu từng khoảng.
- Inequality solving — giải bất phương trình bậc hai, tích, thương bằng bảng xét dấu.
- AM-GM — bất đẳng thức trung bình cộng không nhỏ hơn trung bình nhân.
- Cauchy-Schwarz — bất đẳng thức tích vô hướng, còn gọi Bunyakovsky.
- Extremum — cực trị: giá trị nhỏ nhất hoặc lớn nhất tìm bằng bất đẳng thức kinh điển.
1. Tiên đề thứ tự và phép biến đổi
1.1 Tiên đề & khái niệm nền
Quan hệ thứ tự "lớn hơn" trên tập số thực
- Tiên đề tam phân (trichotomy) — với hai số thực
và bất kỳ, đúng một trong ba quan hệ xảy ra: , hoặc , hoặc . Đây là điều bảo đảm mọi cặp số luôn so sánh được. - Tiên đề bắc cầu (transitivity) — nếu
và thì . Đây là điều cho phép xâu chuỗi nhiều bất đẳng thức thành một dãy thứ tự. - Tiên đề cộng — nếu
thì với mọi số thực . Cộng cùng một lượng vào hai vế không làm đổi thứ tự. - Tiên đề nhân với số dương — nếu
và thì . Nhân hai vế với số dương giữ nguyên chiều.
1.2 Định nghĩa số dương và quan hệ tổng quát
- Số dương — số thực
gọi là dương khi . Tập số dương là đối tượng gốc; quan hệ được định nghĩa lại gọn là , tức hiệu hai số là một số dương. - Quan hệ không ngặt — ký hiệu
định nghĩa là hoặc . Mọi tiên đề trên giữ nguyên khi thay bằng .
1.3 Định lý — nhân hai vế với số âm đảo chiều
Nếu
và thì .
Chứng minh. Từ
- Ý nghĩa — đây là quy tắc bị bỏ sót nhiều nhất khi giải đề: nhân hoặc chia hai vế cho một lượng âm thì phải lật dấu bất phương trình.
1.4 Định lý — cộng hai bất đẳng thức cùng chiều
Nếu
và thì .
Chứng minh. Theo tiên đề cộng,
- Lưu ý dấu bằng — chỉ được cộng các bất đẳng thức CÙNG chiều; cộng hai bất đẳng thức ngược chiều cho kết luận sai.
- Biên mở giữ nguyên — nếu
và thì với biên mở, không thể siết thành .
1.5 Định lý — lũy thừa và nghịch đảo
Với mọi số thực,
luôn kéo theo . Với bình phương, mới kéo theo . Nếu thì .
Định hướng chứng minh.
- Lập phương — xét hiệu
; thừa số thứ nhất dương do , thừa số thứ hai là và chỉ bằng 0 khi , nên hiệu dương. - Bình phương — chỉ chắc khi
, khi đó dương và với cả hai thừa số dương; không có điều kiện này thì với ta có nhưng . - Nghịch đảo — xét hiệu
; tử số âm do , mẫu số dương do cùng dương, nên hiệu âm.
2. Dấu tam thức bậc hai
2.1 Định nghĩa tam thức bậc hai
- Tam thức bậc hai — biểu thức dạng
với . Đối tượng này dẫn xuất từ phép nhân và cộng các số đã có; toàn bộ bài toán bất phương trình bậc hai quy về xét dấu của nó. - Biệt thức — đại lượng
(discriminant), tính từ ba hệ số, quyết định tam thức có bao nhiêu nghiệm thực.
2.2 Định lý — dạng chính tắc và nghiệm
Tam thức
viết được dưới dạng chính tắc , và khi thì có nghiệm .
Chứng minh. Đặt thừa số chung
- Biến trong công thức (từ trái qua phải):
— hệ số bậc hai, quyết định parabol mở lên hay xuống. — phần bình phương luôn không âm, đạt 0 tại đỉnh . — lượng nâng hạ đỉnh, dấu của nó so với 0 cho biết tam thức có cắt trục hoành không.
Khi
2.3 Định lý — quy tắc dấu của tam thức
Cho
với : nếu thì cùng dấu với với mọi ; nếu thì cùng dấu với với mọi trừ tại nghiệm kép; nếu thì trái dấu với ở khoảng giữa hai nghiệm, cùng dấu với ở ngoài hai nghiệm.
Chứng minh. Dùng dạng chính tắc
Trường hợp
— phần trong ngoặc vuông là tổng của một bình phương không âm và một lượng dương , nên luôn dương; do đó cùng dấu với mọi nơi. Trường hợp
— phần trong ngoặc vuông là một bình phương đúng, dương ở mọi trừ nghiệm kép nơi nó bằng 0; do đó cùng dấu trừ một điểm. Trường hợp
— phân tích với ; tích âm khi và dương khi ở ngoài, nên trái dấu ở giữa và cùng dấu ở ngoài. Câu thần chú — gọn lại là "trong trái ngoài cùng" dấu của
: trong khoảng hai nghiệm thì trái dấu , ngoài hai nghiệm thì cùng dấu . Hệ quả luôn dương —
với mọi khi và chỉ khi và (parabol mở lên, không cắt trục).
2.4 Định lý — hệ thức Viète
Nếu tam thức
có hai nghiệm thì và .
Chứng minh. Khai triển dạng nghiệm
- Công dụng đảo — bài toán cho trước tập nghiệm rồi hỏi hệ số: hai biên của tập nghiệm chính là
, thay vào Viète rút ra tỉ lệ hệ số. - Đọc dấu hệ số đầu — tập nghiệm là khoảng giữa thì
(parabol mở xuống), tập nghiệm là hai tia ngoài thì .
3. Giải bất phương trình bằng bảng xét dấu
3.1 Định nghĩa bất phương trình tích và thương
- Bất phương trình tích — dạng so sánh một tích các nhị thức hoặc tam thức với 0, ví dụ
. Mỗi thừa số đổi dấu đúng tại nghiệm của nó. - Bất phương trình thương — dạng
so với 0, kèm ràng buộc cứng .
3.2 Định lý — thương cùng dấu với tích
Với
, ta có tương đương .
Chứng minh. Nhân cả hai vế của
- Vì sao quan trọng — định lý này cho phép quy mọi bất phương trình thương về bất phương trình tích, dùng chung một bảng xét dấu, tránh nhân chéo mù mà mất hoặc thêm nghiệm.
- Biên đóng mở — điểm làm tử bằng 0 được nhận khi đề có dấu bằng, nhưng điểm làm mẫu bằng 0 luôn bị loại.
3.3 Quy trình không trượt bước
- Giải bậc hai — chuyển hết về một vế dạng
so với 0; nếu thì nhân và đổi chiều; tính tìm nghiệm; áp quy tắc "trong trái ngoài cùng dấu "; chốt biên đóng mở theo dấu so sánh. - Giải thương — chuyển về một vế so với 0 nếu chưa, ví dụ
thành ; đổi thương thành tích cùng dấu; tìm nghiệm tử và mẫu; xét dấu trên trục; loại mọi nghiệm mẫu. - Tìm hệ số từ tập nghiệm — nhận hai biên là hai nghiệm; xác định dấu
theo kiểu tập nghiệm; viết Viète tổng và tích; giải hệ ra hệ số. - Tham số luôn đúng — viết đồng thời điều kiện
và ; giải ra khoảng tham số; xét riêng trường hợp khi hệ số bậc hai chứa tham số (tam thức tụt xuống bậc nhất).
3.4 Bẫy hay gặp
- Quên đổi chiều khi hệ số đầu âm — gặp
hay mà giữ nguyên quy tắc dấu là lật toàn bộ đáp. - Nhân chéo thương không xét dấu mẫu — nhân hai vế với
khi chưa biết âm hay dương làm mất hoặc thêm nghiệm. - Nhận nghiệm mẫu vào tập — với dấu
ở thương, điểm làm mẫu bằng 0 vẫn phải loại. - Đọc sai dấu
từ tập nghiệm — tập nghiệm là khoảng giữa thì , là hai tia ngoài thì ; đọc nhầm là lật cả Viète. - Bỏ trường hợp hệ số đầu bằng 0 — bài tham số chứa
ở bậc hai phải xét riêng .
4. Bất đẳng thức AM-GM
4.1 Định nghĩa trung bình cộng và trung bình nhân
- Trung bình cộng (arithmetic mean) — với hai số không âm
thì trung bình cộng là , điểm giữa số học của hai số. - Trung bình nhân (geometric mean) — với hai số không âm
thì trung bình nhân là , căn của tích hai số.
4.2 Định lý — AM-GM cho hai biến
Với hai số thực không âm
và , ta có , dấu bằng xảy ra khi và chỉ khi .
Chứng minh. Xét hiệu hai vế và đưa về bình phương:
- Biến trong công thức (từ trái qua phải):
— hai số không âm cần lấy căn nên buộc . — bình phương của hiệu hai căn, luôn không âm. - mẫu số 2 — dương nên không đổi dấu của biểu thức.
Bình phương luôn không âm nên hiệu không âm, tức
- Dấu bằng — đây là chìa khóa khi tìm cực trị: trung bình cộng đạt giá trị nhỏ nhất bằng trung bình nhân đúng tại
. - Chuỗi bốn bậc — với
ta còn có thứ tự đầy đủ , số lớn rồi trung bình cộng rồi trung bình nhân rồi số nhỏ.
4.3 Hệ quả — tổng một số dương với nghịch đảo của nó
Với mọi số dương
, ta có , dấu bằng tại .
Chứng minh. Áp dụng AM-GM cho hai số dương
5. Bất đẳng thức Cauchy-Schwarz
5.1 Định nghĩa và phát biểu
- Tên gọi — bất đẳng thức Cauchy-Schwarz, trong sách giáo khoa Việt Nam thường gọi Bunyakovsky; cả hai chỉ cùng một định lý về hai bộ số.
5.2 Định lý — Cauchy-Schwarz cho hai bộ hai số
Với mọi số thực
, ta có , dấu bằng xảy ra khi và chỉ khi , tức hai bộ tỉ lệ.
Chứng minh. Khai triển trực tiếp hiệu hai vế:
- Biến trong công thức (từ trái qua phải):
— hai thành phần của bộ thứ nhất. — hai thành phần của bộ thứ hai. — bình phương định thức chéo, luôn không âm.
Vế phải là một bình phương nên không âm, do đó vế trái không âm, tức
5.3 Định hướng dạng tổng quát và dạng phân thức
- Dạng tổng quát — với
số mỗi bộ, ; chứng minh xét tam thức bậc hai theo của , biệt thức không dương cho ngay bất đẳng thức. - Dạng phân thức Engel — hệ quả hay dùng để tìm min:
với , dấu bằng khi .
6. Ứng dụng tìm cực trị
6.1 Quy trình tìm giá trị nhỏ nhất bằng AM-GM
- So hiệu về dấu — muốn so hai biểu thức
và thì lập hiệu rồi biến đổi về tổng bình phương hoặc tích đã biết dấu. - Hoàn thành bình phương — hiệu là tam thức nhiều biến thì nhóm thành tổng các bình phương trừ hằng, ví dụ
. - Chốt dấu bằng — sau khi chặn được giá trị nhỏ nhất phải kiểm dấu bằng có đạt được không; bỏ bước này là kết luận sai khi đề hỏi min thực sự.
6.2 Bẫy hay gặp khi tối ưu
- Quên trường hợp
khi nhân bình phương — mệnh đề " suy ra " sai vì có thể bằng 0 làm hai vế bằng nhau. - Bình phương khi chưa biết dấu — từ
kết luận sai khi có số âm; phải có . - Nghịch đảo khi hai số trái dấu —
không cho nếu dương còn âm. - Quên dấu bằng tại
— AM-GM đạt min đúng tại ; bỏ sót làm sai bài hỏi giá trị nhỏ nhất.
7. Ví dụ mẫu có lời giải
7.1 Giải bất phương trình bậc hai
- Đề — giải
. - Bước tìm nghiệm —
, hai nghiệm cho và . - Bước xét dấu — hệ số
, theo "trong trái ngoài cùng dấu " tam thức dương ở ngoài hai nghiệm. - Kết luận — vì đề hỏi
nên nhận cả hai biên: tập nghiệm là hoặc .
7.2 Tìm giá trị nhỏ nhất bằng AM-GM
- Đề — với
, tìm giá trị nhỏ nhất của . - Bước áp định lý — áp AM-GM cho hai số dương
và : . - Bước chốt dấu bằng — dấu bằng khi
, tức và do nên . - Kết luận — giá trị nhỏ nhất của
bằng 6, đạt tại .
8. Kết nối
- Nền cho khảo sát hàm số — quy tắc dấu tam thức là công cụ xét dấu đạo hàm bậc hai để tìm khoảng đồng biến nghịch biến ở cụm đạo hàm.
- Nền cho tối ưu có ràng buộc — AM-GM và Cauchy-Schwarz là cách tìm cực trị sơ cấp không cần đạo hàm, dùng trước khi học nhân tử Lagrange.
- Nền cho phương sai danh mục — Cauchy-Schwarz là gốc của bất đẳng thức ràng buộc tương quan trong khoảng
ở phần thống kê và tối ưu danh mục về sau.