ここで、x3を2円 "c"1および "c"2の相似の中点とする。