證明：¦ AD‖BC，AD⊥AB，

» BC^AB

又 PA⊥平面ABCD

» PA^BC

由BC^PA, BC^AB, 可得

BC^平面PAB

¦ E、F分別是PB、PC的中點, 即EF//BC

» EF^平面PAB

又EFÌ平面AEF

» 平面AEF⊥平面PBC

解：¦ PA＝AB＝AD=a,

又PA^AB

» 在Rt¶PAB中， 由勾股定理可得

PB===a

¦ E是PB的中點

» AE是Rt¶PAB斜邊上的中線

即AE=PB=a

又¦ E、F分別是PB、PC的中點， BC=2a

» EF=BC=a.

由可知EF^平面PAB, 又AEÌ 平面PAB

» EF^AE

» S=EF‘AE=a´a=a.