20/02/19 19:40:12.87 maZgQuwo.net
>>466 で変なところに C'_n が出てきてるけど、これは普通に C_n として処理してくだせえ…
余談ではあるけど、>>399 の問題におけるR^2を全てR^mで置き換えてできる問題を考えれば、
同様の方法で、求めるnの最小値は2以上(m+1)以下の整数であることがわかる。
具体的には、関数 f:R^m→{1,2,…,m+1}を
f(X)=1+(Xの成分のうち有理数であるものの個数)
と定めれば、>>454 と同様の方法で(fpが定数ならばpも定数)を示せるはず。