07/11/04 21:10:28
>>822
>>825
>>819です。
まず、図を書けるものＰを用意する。
（図がないと直観的に理解させることは恐らく不可能。
もしかしたら想像力に任せることも出来るかも知れない。）
１：点や辺の面積は０であること、及びＰに点と辺が描かれていないことを主張する。
２：Ｐに面積がｒである点Ｑ、及び点にあたる側の長さがｒであってかつ面積がｓ>０であるような辺（長方形）ＡＢ
を描き、描いたことを主張（仮定）する。
（Ｑ、ＡＢは紙に描かれた点及び辺（長方形）である。
或いは辺を普通の長方形のように書いても良い。
恐らく、辺から描いた方が分かり易い。）
３：ここにｒが正の無限小超実数であって、０と見なせることを主張する。
４：描かれたＡＢが長方形であることを強く主張する。
５：ＡＢについて普通の辺にあたる（長さがｒでない方の辺の）長さがｓ/ｒであることを主張する。
６：Ｑを含む長さがｓ/ｒの辺を描き、ＡＢと見比べる。
７：矛盾が生じたことを主張する。
８：以上の事柄がＡＢに関して一般に成り立つことを主張する。
これで分かるでしょう。
説明が下手な部分があるかも知れません。