O número cujo dobro raiz quadrada e 32