已知:如图,角BAC=角BDC=90°,点E在BC上,点F在AD上,BE=EC,AF=FD.求证:EF垂直AD