将三角形 P1P2P3P_1P_2P_3P1P2P3 中相关的角记为 ∠P1\angle P_1∠P1 与 ∠P2\angle P_2∠P2。由构造有 P3P5=P3P1sin∠P1cos∠P2=(1/2)P3P1sin2∠P1P_3P_5=P_3P_1\sin\angle P_1\cos\angle P_2=(1/2)P_3P_1\sin2\angle P_1P3P5=P3P1sin∠P1cos∠P2=(1/2)P3P1sin2∠P1,故 ∣P3P5∣≤P1P3/2|P_3P_5|\le P_1P_3/2∣P3P5∣≤P1P3/2;当 P2P_2P2 在 P3P_3P3 两侧移动时,两个符号都会出现。