如图所示,在多面体ABCDEF中,平面ABCD垂直平面ADEF,四边形ABCD是直角梯形,AD平行BC,DC垂直AD,四边形ADEF是等腰梯形,EF平行AD,角FAD等于角BAD等于60度,EF等于AF等于AB等于2,证明BF垂直AD