08/02/14 18:18:43
＞例えばx-a、x-bは1次のモニック有理多項式。
あ？「有理多項式」ってのは、有理数係数の多項式のことではないのか？
(複素数)aが代数的数であることの定義は、有理数係数のある多項式f(x)が
存在して、f(a)＝0となるときを言う。これを踏まえた上で>227を読むと、
＞a+b、abが共に代数的数ではないとする。
＞次数がn次の任意のモニックな有理多項式をf_{n}(x)とする。
＞すると任意のモニック有理多項式f_{n}に対して
＞f_{n}(a+b)=0ではなく かつ f_{n}(ab)=0 ではない。
とあるから、君が言うところの「有理多項式」ってのは、有理数係数の
多項式のことなんでしょ？だとしたら、x－a、x－bは「有理多項式」とは
限らないよね(例：a＝√2など)。
君の言う「有理多項式」の定義を教えて。