如图,已知四边形ABCD是边长为2的正方形,以对角线BD为边做正三角形BDE,过E作DA的延长线的垂线EF,垂足为F.