如图,已知点P为正方形ABCD对角线BD上一点,PE⊥DC于E,PF⊥BC于F,求证∶PA=EF