# they did indeed multiply the right side by 2 but they also rationalised it, and when you rationalise 2x/sqrt2 you get xsqrt2