射影定理公式及推导过程