solve {ab = sqrt(2)/4,ac=-sqrt(2)/4,b^2=c^2,a^2+2*b^2+2*c^2=3/2}