∴

∴恒成立．

∵，则

（1）

∴

17．解：∵，，∴

    由AF面PAD，则EF//面PAD．

        平面PDC平面PAD；

（2）取PD中点为F，连结EF、AF，由E为PC中点，

得EF为△PDC的中位线，则EF//CD，CD=2EF．

又CD=2AB，则EF=AB．由AB//CD，则EF∥AB．

所以四边形ABEF为平行四边形，则EF//AF．

16．证明：（1）由PA平面ABCD