En notant x,y,S et P des réels
x+y = S et xy = P équivaut à ce que x et y soient racines de X² - SX + P
On calcule le déterminant de ce polynôme, on trouve S²-4P, on en déduit que le discriminant est positif si et seulement si S² >= 4P
Et par conséquent, on a bien deux réels x,y vérifiant x+y = S et xy = P si et seulement si S² >= 4P