如图1，矩形ABCD中，AB=a ， BC=6，点E ， F分别为AD ， AB边上任意一点，现将△AEF沿直线EF对折，点A对应点为点P ．