Định lý Viet hay hệ thức Viet thể hiện mối quan hệ giữa các nghiệm của một phương trình đa thức do nhà toán học Pháp François Viète khám phá ra.

Cho phương trình bậc 2 một ẩn: ax2+bx+c=0 (a≠0) (*) có 2 nghiệm x1 và x2. Khi đó 2 nghiệm này thỏa mãn hệ thức sau:

Hệ quả: Dựa vào hệ thức Viet khi phương trình bậc 2 một ẩn có nghiệm, ta có thể nhẩm trực tiếp nghiệm của phương trình trong một số trường hợp đặc biệt:

• Nếu a+b+c=0 thì (*) có 1 nghiệm x1=1 và x2=c/a
• Nếu a-b+c=0 thì (*) có nghiệm x1=-1 và x2=-c/a

Giả sử hai số thực x1 và x2 thỏa mãn hệ thức:

thì x1 và x2 là 2 nghiệm của phương trình bậc 2: x2-Sx+P=0 (1).

Chú ý: điều kiện S2-4P≥0 là bắt buộc. Đây là điều kiện để ∆(1)≥0  hay nói cách khác, đây là điều kiện để phương trình bậc 2 tồn tại nghiệm.