证明：AA₁⊥平面ABCD，AF是A₁F在面ABCD上的射影
又∵AC⊥BD，∴A₁F⊥BD
取BC中点G，连接FG，B₁G，
∵A₁B₁⊥平面BCC₁B₁，FG⊥平面BCC₁B₁，
∴B₁G为A₁F在面BCC₁B₁上的射影，
又∵正方形BCC₁B₁中，E，G分别为CC₁，BC的中点，∴BE⊥B₁G，
∴A₁F⊥BE又∵EB∩BD=B，
∴A₁F⊥平面BED．