solve 2x+(-2+2sqrt(2))*(y-2x)=0, 2y+(-2+2sqrt(2))*x=0