证明:
PA⊥面ABC,→PA⊥BC,
又∵AC⊥BC,
∴BC⊥面PAC,
∵AF在面PAC内,
∴BC⊥AF,
又∵AF⊥PC,
∴AF⊥面PBC,
∵PB在面PBC内,
∴AF⊥PB,
又∵PB⊥AE,
∴PB⊥面AEF,
得证!