在正方形ABCD中，点P是线段CB延长线上一点，连接AP，将线段PA绕点P顺时针旋转90°，得到线段PE，连接CE．过点E作EF⊥BC于F．