P1P2P3P_1P_2P_3P1P2P3 の関係する角を ∠P1\angle P_1∠P1 と書くと、構成から 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 を両側へ動かすと両符号が現れる。 ∠P2\angle P_2∠P2 P3P_3P3