Så se arate că solutiile x,
1 si x2 ale ecuatiei x²- 2mx + m² -1=0 verifică relaţia
X1X2 -(x1 + x2)+2⩾0, pentru orice m apartine R​