16/06/19 13:05:16.49 VLlQBAwE.net
>>37
ん？おれの理解は間違ってるの？間違ってないの？
命題を正確に、省略しないで書いてくれる？
省略したらいかんよ
X_1,…,X_n は"Q上代数的に独立な"超越数とする、
としないとP(n)は偽であることが簡単に示せてしまう
> P(n)：X_1,…,X_n を超越数とする。
> Q(n)＝{f∈Q(x_1,…,x_n)|deg(f)＝n} とする。
> このとき、任意の f∈Q(n) に対して f(X_1,…,X_n)≠0。