Chứng minh: x^2 + y^2 + 1 - 2xy > 0

x2+y2+1−2xy=x2−2xy+y2+1=x−y2+1

Vì x−y2≥0 (với mọi x,y)⇒x−y2+1>0 (với mọi x,y) dfcm