17/05/26 14:20:10.39 vIdp8+Qx.net
>>539
＞ペン男よ、お前は、
＞1/2＋1/4＋1/8＋……<ｘ
＞とおいて、x≧１を証明した。だから
＞1/2＋1/4＋1/8＋……<１ではないか（笑
お前は x の定義を勘違いしている。
「 1/2＋1/4＋1/8＋……<ｘ と置いた」
のではない。B君に「１秒後」のシーンが訪れた時点での、
A君のペン先の位置を x と置いたのである。
これが x の定義である。一方で、>>512でお前が書いた
＞なぜならｘ＜１のようなｘは、それがどんなｘであれ、
＞1/2＋1/4＋1/8＋……はいつか必ずそのｘより
＞大きくなってしまう（ｘを通り越してしまう）からである（笑
という３行のレスは、
「右端点より手前のいかなる地点に対しても、
ペン先はいつか必ずその地点を通り越してしまう」
ということである。となれば、もし x ＜ 1 なのであれば、
ペン先はいつか必ずその地点 x を通り越してしまうので、
x が「１秒後のペン先の位置」であることに矛盾する。
ペン先の位置関係が論理的に矛盾しているのである。
よって、1≦x となるしかない。くどいようだが、x の定義は
「B君に「１秒後」のシーンが訪れた時点での、A君のペン先の位置」
であったから、結局、１秒後にはペン先は右端点に到達していることになる。