15/04/25 16:55:54.29 NUHAx/1J.net
>>171
（φ(s) + s）/2 < a という事実は
＞φ(c) = φ(s) － a < 0
で暗に使っている。
でもわざわざ a をこんな風に取らなくても
φ(s) < a < s
で取ればよさそうに見える。これだと何か問題あるのかな？
>>16の(1)は、R を C とか Q(√2) とか Q(X) とかに変えると成り立たない。
なので証明には、例えば C 無くて R にあるような特徴を使わなければならない。
それが>>153等では「正の数ならばそれは平方根の二乗で書ける。そして任意の数の二乗は正の数。 」 ということなんだろう。
いわゆる本質ってやつなのかも。
別の証明を探すなら、これとは違う R の特徴を探す必要がある。