同一点から傍接円への接線長が等しいことから、EF=EM+FQEF=EM+FQEF=EM+FQ、GH=GN+HPGH=GN+HPGH=GN+HP である。従って m1=AE+AF+EF=(AM+AQ)+(EM+FQ)=OM+OQm_1=AE+AF+EF=(AM+AQ)+(EM+FQ)=OM+OQm1=AE+AF+EF=(AM+AQ)+(EM+FQ)=OM+OQ、一方 m2=CG+CH+GH=ON+OPm_2=CG+CH+GH=ON+OPm2=CG+CH+GH=ON+OP となる。