ｸｲｽﾞ大陸

＞水心子さん
おお、それはすごいですね！斬新です！
引かれる直線の長さは１ｍ以上なので、長さが収束することはなさそうです。（ここの説明は略します）

「点が絶対重ならない」というのも「無理数」の性質から説明できそうです。
ここのところの詳しい説明、お願いできますか？