${{d(P_1,P_2)}\over{d(P_1, P_3)}}={d(P'_1,P'_2)}\over{d(P'_1, P'_3)}$
\end
