这正是一开始就构造位似所带来的好处:通过中心的共点性是自动成立的,无需另作论证。
根据以中心 PPP 的位似的定义性质,任一点与其像都与 PPP 共线:因为对 Mi↦SiM_i\mapsto S_iMi↦Si 都有 i=1,2,3i=1,2,3i=1,2,3,所以每条直线 MiSiM_iS_iMiSi 都过 PPP。因此 M1S1M_1S_1M1S1、M2S2M_2S_2M2S2、M3S3M_3S_3M3S3 都经过 PPP,即它们共点,命题得证。