En honor de Pitágoras

Se trata de calcular el valor exacto de la longitud EF en el cuadrado ABCD.