`a) (a-b)^2>=0` với `∀a,b`
`<=> a^2-2ab+b^2>=0`
`<=> a^2-ab+b^2>=ab` (đpcm)
`b) (a+b)^2(a-b)^2>=4ab(a-b)^2`
`<=> (a+b)^2(a-b)^2-4ab(a-b)^2>=0`
`<=> (a-b)^2[(a+b)^2-4ab]>=0`
`<=> (a-b)^2.(a^2+2ab+b^2-4ab)>=0`
`<=> (a-b)^2.(a^2-2ab+b^2)>=0`
`<=> (a-b)^2. (a-b)^2>=0`
`<=> (a-b)^4>=0` với `∀a;b` (đpcm)