∂2⁡f∂⁡x2⁢∂2⁡f∂⁡y2-(∂2⁡f∂⁡x⁢∂⁡y)2>0  at (a,b).