Wykaz Ok: wykaze ze jesli a>b to a³−b³/2≥(a−b/2)³

Adamm: zapissssssssss

a3−b3		a−b		(a−b)(a2+ab+b2)		(a−b)3
	≥(		)3 ⇔		≥
2		2		2		2*4

(a−b)(a2+ab+b2)		(a−b)3
	≥		∧ a−b>0 ⇒
2		2*4

	(a−b)2
⇒ a2+ab+b2≥		⇔
	4

⇔ 4a²+4ab+4b²≥a²−2ab+b² ⇔ ⇔ 3a²+6ab+3b²≥0 ⇔ ⇔ (a+b)²≥0 ponieważ nierówność zachodzi dla a, b∊ℛ to teza jest prawdziwa c. n. d.

Adamm: stój, tam zamiast tej implikacji powinno być

	(a−b)2		(a−b)(a2+ab+b2)		(a−b)3
a2+ab+b2≥		∧ a−b>0 ⇒		≥
	4		2		2*4