maximize a*b/2 on a^2+b^2=c^2