(1) メネラウスの定理を三角形BCRと直線AOに適用すると、
ARBA×OCRO×PBCP=1 BAAR=OCRO×PBCP また、メネラウスの定理を三角形ABPと直線COに適用すると、
CPBC×OAPO×RBAR=1 RBAR=BCCP×POOA よって、RBAR=BCPC×OPAO が成り立つ。 (2) メネラウスの定理を三角形BCQと直線AOに適用すると、
AQBA×OCQO×PBCP=1 BAAQ=OCQO×PBCP また、メネラウスの定理を三角形ACPと直線BOに適用すると、
BPCB×OAPO×QCAQ=1 QCAQ=CBBP×POOA よって、QCAQ=BCBP×OPAO が成り立つ。 (3) チェバの定理より、
RBAR×PCBP×QACQ=1 (1)と(2)の結果から、BCPC=RBAR×AOOP、BCBP=QCAQ×AOOP したがって、PC=BC×RBAR×AOOP、BP=BC×QCAQ×AOOP BC=BP+PCなので、BC=BC×QCAQ×AOOP+BC×RBAR×AOOP 両辺をBCで割って、1=QCAQ×AOOP+RBAR×AOOP OPAO=RBAR+QCAQ が成り立つ。