vereinfachen sqrt((1/(\sqrt{2)))^2+(1/(sqrt(2)))^2}