正方形ABCD中,P是对角线BD上的一点,过P做BC的垂线,垂足为E,过P作DC的垂线,垂足为F,证明:PA=EF