15/05/06 10:38:42.97 SXg2oFIb.net
>>337 つづき
"We first show that Φ preserves order in R. If x <y, then there
is a real number ω such that ω≠O and y -x =ω^2. But then Φ(y) -Φ(x) = [Φ(ω)]^2
with Φ(ω) ∈R and Φ(ω)≠O. Hence Φ(y) -Φ(x) is positive, i.e., Φ(x) <Φ(y)."
"for example, there are automorphisms of C which interchange π and e, send 3^(1/4) to i3^(1/4), and leave √7 fixed.
↓
例、次のような自己同型たちが存在する、π and e の交換と、 3^(1/4) を i3^(1/4)へ移し、√7 は固定する。">>300
超越数：π and e の交換,π=3.14・・・、e=2.718・・・
上記証明より、π-e=ω^2 として、Φ(ω) not ∈Rで無ければならない。もっと言えば、Φ(ω)=±iωで無ければ整合しない・・
そういう意味でも、Φ(y) -Φ(x) = [Φ(ω)]^2を使う証明は、それなりにautomorphisms of Cの数学的現象のメカニズムを反映していて分かり易いのか