Xây dựng công thức nghiệm
Phát biểu
Với , mọi nghiệm thực của thoả , với ; ngược lại, bất cứ khi nào công thức này cho ra nghiệm thực sự.
Vì sao đúng?
Phân tích nhân tử chỉ hiệu quả khi may mắn gặp số đẹp; hoàn thành bình phương biến bất kỳ phương trình bậc hai nào thành một bình phương hoàn hảo bằng một số, rồi ta có thể "gỡ" bằng căn bậc hai — điều này cho một công thức giải mọi phương trình bậc hai, không cần đoán.
Phác thảo chứng minh
Bước 1 (Chuẩn hoá). Vì , chia mọi hạng tử của cho : được , một phương trình tương đương với hệ số bậc cao nhất bằng .
Bước 2 (Hoàn thành bình phương). Hai hạng tử đầu là khởi đầu của bình phương hoàn hảo . Cộng rồi trừ vào cho phép viết lại thành .
Bước 3 (Tách bình phương). Chuyển các hạng tử hằng sang vế phải và gộp trên mẫu số chung : . Được .
Bước 4 (Khai căn hai vế). Khi , vế phải là số thực không âm, nên cả hai vế có căn bậc hai thực: (dấu đã bao hàm cả hai dấu, dù mang dấu gì).
Bước 5 (Tách x). Trừ ở cả hai vế: , chính là . Mọi bước đại số dùng (chia cho khác 0, cộng/trừ cùng một lượng, khai căn hai số không âm bằng nhau) đều đảo ngược được, nên công thức này vừa cần vừa đủ bất cứ khi nào .
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.