Na figura abaixo ABC e ADE são triângulos retângulos, com ângulo reto em B e D, respectivamente. Sabe-se que o ângulo BAC mede 30 graus, que o comprimento de AC é L e que AD é o dobro de AB. Além disso, DEF é um triângulo retângulo, com ângulo reto em F e o ângulo DEF mede 30 graus. Então é correto afirmar que EF mede