x,y の距離は r_β と決っているから、x,y の組と x,y の中点は 1対1 に対応している。