>>511
> (a+b)/2を作って、また(a+b)/2をbとすれば、
>半分にした物を、また倍にしているだけとちゃう?

いや、aとbにどんな値を持ってきても、(a+b)/2が存在する→aとbの間に別の点が必ずある。
三つ並んでいる点の両端を隣り合っている点とは言わないよね・・・って話。