The diagonal of a square is equal to the square's side times the square root of two.
D = S * sqrt(2)
So, it follows that the side is equal to the diagonal divided by the square root of two.
S = ——————
S = —————— = sqrt(2)