Matemática — remédios constitucionais: mandado de segurança

O polígono ABCD é um quadrado cujo lado mede 4 cm e os polígonos ABE e CDF dois triângulos equiláteros, onde os pontos E e F são internos ao quadrado. Qual a medida do segmento de reta .