n個の有理数に対して有理数の値を取るn次多項式fでf∉ℚ[x]となるものは
√2(x-1)(x-2)(x-3)…(x-n)
とすれば簡単だったわね


1個の有理数に対してだけ有理数の値を取るn次多項式で
√2xⁿ
のようなn重根を持たないものはどんなのがあるかしら?