如图,在正方形ABCD中,P为对角线AC上一点,PE⊥CD于E,PF⊥AD于F,那么BP与EF相等吗?请证明.