Dowód Marcel: Udowodnij, że dla dowolnych liczb rzeczywistych x, y prawdziwa jest nierówność x² − xy + y² + x +y +1≥ 0 .

ICSP: Dowód wprost:

	1
L = x2 − xy + y2 + x + y + 1 =		[2x2 − 2xy + 2y2 + 2x + 2y + 2] =
	2

	(x−y)2 + (x+1)2 + (y+1)2
=		≥ 0 = P
	2

chichi: x²−xy+y²+x+y+1 ≥ 0 /*2 2x²−2xy+2x+2y²+y+2 ≥ 0 x²−2xy+y²+x²+2x+1+y²+2y+1 ≥ 0 (x−y)²+(x+1)²+(y+1)² ≥ 0