01Kiến thức cần nhớ
1. Bốn điều kiện "với mọi "
Chứng minh một dòng đầu (các dòng khác tương tự). Nếu và thì theo định lí dấu cùng dấu với mọi , tức . Ngược lại, giả sử với mọi . Khi đó không có nghiệm nên (nếu có để , mâu thuẫn). Dấu của chính là dấu ngoài cùng, mà ngoài cùng nên . Với dấu không ngặt thì cho phép (nghiệm kép làm tại một điểm).
2. Hệ số chứa tham số: tách
Nếu phụ thuộc thì khi biểu thức không còn là tam thức bậc hai, và các điều kiện trên không áp dụng. Phải xét riêng:
- Trường hợp : thay giá trị làm vào, được biểu thức bậc nhất (hoặc hằng). Bậc nhất có dấu thay đổi khi nên không luôn một dấu; chỉ khi thì còn lại hằng , xét xem hằng đó có thoả yêu cầu không.
- Trường hợp : dùng bảng ở mục 1.
Kết quả cuối cùng là hợp của hai trường hợp.
3. "Vô nghiệm" và "có nghiệm": lấy phủ định
- vô nghiệm với mọi .
- vô nghiệm với mọi .
- có nghiệm không phải là với mọi . Tức: lấy các ở yêu cầu " với mọi " rồi lấy phần bù.
Đây là mẹo giúp biến mọi biến thể thành bốn điều kiện đã có.
Ví dụ 5: dòng ĐÚNG/SAI cho yêu cầu «f ≥ 0 với mọi x» (tức vô nghiệm); dòng CÓ/KHÔNG nghiệm ngay dưới là phủ định của nó. Dải m của «có nghiệm» là phần bù của dải «vô nghiệm».
4. Nhìn bằng đồ thị
Khi chạy, hình parabol thay đổi. Các giá trị cần tìm là những khiến parabol:
- nằm hẳn trên trục (không chạm): luôn dương;
- nằm trên nhưng được phép chạm tại đỉnh: luôn không âm;
- tương tự cho phía dưới.
Chọn Ví dụ 2 và kéo m qua 2: tại m = 2 hệ số a bằng 0, parabol rút thành đường ngang y = 4 mà vẫn luôn dương. Kéo m tới 6 rồi qua 6 để thấy parabol chạm trục Ox rồi cắt. Hàng dưới cùng của đồ thị Δ′(m) tô dải m thoả; chấm đặc là nhận, chấm rỗng là loại.
02Tóm tắt
- Với mọi : () , ; () , ; () , ; () , .
- chứa : xét trước, rồi , lấy hợp.
- Vô nghiệm / có nghiệm: dùng phủ định về dạng "với mọi ".
03Mở rộng
Bất đẳng thức Cauchy–Bunyakovsky từ . Với số thực , xét với mọi . Khai triển: . Vì với mọi (và nếu thì ) nên : , tức
Đây là bất đẳng thức Cauchy–Bunyakovsky cho hai cặp số, và nó chính là điều kiện "tam thức luôn không âm" đọc ngược. Đẳng thức xảy ra khi , tức tam thức có nghiệm kép: và cùng lúc.
