外心 OOO から弦 CRCRCR に下ろした垂線は、弦 CRCRCR と二等辺三角形 OPQOPQOPQ の底辺 PQPQPQ の両方を二等分する。
外心 OOO から垂線 OE⊥CROE \perp CROE⊥CR を下ろす。CRCRCR は外接円の弦なので EEE は CRCRCR の中点であり(CE=ERCE = ERCE=ER)、OP=OQOP = OQOP=OQ なので EEE は PQPQPQ の中点でもある(PE=EQPE = EQPE=EQ)。直線 CRCRCR に沿って引き算と足し算を行うと RP=CQRP = CQRP=CQ と RQ=CPRQ = CPRQ=CP が得られる。