15/12/06 08:33:09.51 FrVQLg+h.net
>>203
メンターさん、どうも。スレ主です。
早速のコメントありがとう
同意です。
で、√2に限らず、任意の代数的無理数に成り立つ
aを代数的無理数として、a=g(s_1,…,s_n) / f(s_1,…,s_n) という形に表せる
一方、aはあるQ係数代数方程式h(a)=0を満たす
これは、(s_1,…,s_n)の代数的独立に反する
だから、Q(S)は代数的無理数を含み得ないと
15/12/06 08:33:09.51 FrVQLg+h.net
>>203
メンターさん、どうも。スレ主です。
早速のコメントありがとう
同意です。
で、√2に限らず、任意の代数的無理数に成り立つ
aを代数的無理数として、a=g(s_1,…,s_n) / f(s_1,…,s_n) という形に表せる
一方、aはあるQ係数代数方程式h(a)=0を満たす
これは、(s_1,…,s_n)の代数的独立に反する
だから、Q(S)は代数的無理数を含み得ないと