Dấu biệt thức quyết định số nghiệm
Phát biểu
Với , phương trình có đúng hai nghiệm thực phân biệt nếu , đúng một nghiệm thực nếu , và vô nghiệm thực nếu .
Vì sao đúng?
Điều này biến câu hỏi "parabol cắt trục x bao nhiêu lần" — một câu hỏi về hình vẽ — thành "kiểm tra dấu của một số" — câu hỏi có thể trả lời mà không cần vẽ gì.
Phác thảo chứng minh
Mọi bước của chứng minh này dùng lại đẳng thức đã lập ở định lý trước, đúng với mọi số thực thoả bất kể dấu của — chỉ bước khai căn cuối cùng mới cần .
**Trường hợp .** Vế phải là số dương (tử dương trên mẫu dương ), nên có hai căn bậc hai phân biệt, và , khác nhau vì . Mỗi căn cho một giá trị khác nhau của , do đó một giá trị khác nhau của : đúng hai nghiệm thực phân biệt.
**Trường hợp .** Vế phải trở thành , và số thực duy nhất có bình phương bằng chính là — không còn mơ hồ "" nữa. Vậy , cho nghiệm duy nhất . Điều này khớp với phân tích trực tiếp vế trái thành , một bình phương hoàn hảo chạm 0 đúng một lần.
**Trường hợp .** Vế phải giờ âm. Nhưng vế trái là bình phương của một số thực, và bình phương của bất kỳ số thực nào luôn — không bao giờ bằng một số âm. Vậy không số thực nào thoả trong trường hợp này, nghĩa là phương trình gốc hoàn toàn vô nghiệm thực.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.