三角形 P3P4P5P_3P_4P_5P3P4P5 是由 P1P2P3P_1P_2P_3P1P2P3 绕 PPP 旋转四分之一周得到的。直线 P1P5P_1P_5P1P5 被变为过 P3P_3P3 的垂线,所以 P1P⊥P3PP_1P\perp P_3PP1P⊥P3P。故 PPP 在直径为 P1P3P_1P_3P1P3 的圆上。