Buscando un título de canción navideña muy infantil (el clímax parece ser la voz de un niño ole, ole, ole, es nochebuena)

Solución: Una recta paralela EE' que conecta el punto EF y pasa por el punto E como lado DC alterna AB en E'.

∠BAD=90°, entonces ∠E'AE=∠AED=45°

AE'=E'E

△ABF y △AEF son todos etc. (AB=AE,∠BAF=∠EAF, AF=AF)

BF=EF,∠AEF=90°

∠FEC=180°-∠AEF- ∠AED =45°

BF=FE=√2FC

AE'=E'E=BC=BF+FC=(√2+1)FC

AB=AE'+E'B=AE'+EC=AE'+FC=(√2+2)FC

tan∠BAF=BF/AB=√2FC/(√2+ 2) FC==√2-1