Como calcular medida de diagonal?

Assim, o comprimento da diagonal de qualquer quadrado pode ser dado pelo produto entre a medida do seu lado e raiz quadrada de 2.