AB と CD は異なるが二つの三角形は合同なので、CD は AX_i または BX_i の一方に、AB は CX_i または DX_i の一方に対応する。従って X_i は中心 A,B の半径 CD の円の一つと、中心 C,D の半径 AB の円の一つに乗る。