MMM を BCBCBC の中点とする。同じ側にある端点を結ぶ線分上では固定直線までの距離はアフィンに変化するので、d(M,OH)=(d(B,OH)+d(C,OH))/2d(M,OH)=(d(B,OH)+d(C,OH))/2d(M,OH)=(d(B,OH)+d(C,OH))/2。従って [BOH]+[COH]=OH⋅d(M,OH)[BOH]+[COH]=OH\cdot d(M,OH)[BOH]+[COH]=OH⋅d(M,OH) である。