This is the most recent problem I can't do!

State the contrapositive and give a proof of the contropositive:

If 1/2(a^2 + b^2) >ab then a/=/b (a not equal to b)

I guess the contrapositve is If Not a/=/b then Not 1/2(a^2 + b^2) > ab

But now what?!