Ta có:
`(a-b)^2>=0` với mọi `a,b`
`ab>0`
`a^2+ab+b^2`
`=(a^2+ab+1/4b^2)+3/4b^2`
`=(a+1/2b)^2+3/4b^2>=0` với mọi `a,b` (vì `(a+1/2b)^2>=0` và `3/4b^2>=0`)
`=>ab(a-b)^2(a^2+ab+b^2)>=0` với mọi `a,b`
Dấu "=" xày ra: `a-b=0` và `a+1/2b=0` và `b=0` và `ab>0`
`<=>a=b` (a,b khác 0)