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