dowód Technik: Eta mogłabyś spojrzeć mam taki dowód:

	a		b
jeśli liczba a i b są liczbami tego samego znaku to		+		≥2
	b		a

a2+b2
	≥2
ba

a2+b2
	−2≥0
ba

a2+b2		2ba
	−		≥0
ba		ba

a2+b2−2ab
	≥0
ba

(a−b)2
	≥0
ba

(a−b)²≥0 dla każdego a i b ab≥0 wtedy i tylko wtedy gdy a i b ≥0 lub a i b ≤0 i teraz pytanie czy potrzeba pisać komentarz ''wierszyk'' ? czy to wystarczy

Dominik: wystarczy napisac ze (a − b)² > 0 ∧ ab > 0

Eta: Jeżeli a i b są tego samego znaku, to iloczyn ab >0

Technik: ok