令AC∩BD＝O.
∵ABCD是正方形,∴BC＝AB＝√2、∠ABC＝90°,∴AC＝2,∴AO＝AC/2＝1.
∵EF＝AO＝1、EF∥AO,∴AOEF是平行四边形,∴AF∥OE,而OE在平面BDE上,
∴AF∥平面BDE.