求一首非常童真的圣诞歌曲名（高潮部好像是童声ole、ole、ole，its chrismas eve）

解：连接点EF,且过点E作边DC的平行线EE'交变AB于E'。

∠BAD=90°，则∠E'AE=∠AED=45°

AE'=E'E

△ABF与△AEF全等（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