> 無数ではなくて、n_1, …, n_{s+t+2} のs+t+2個よね。
このツッコミだわ
ここ無数でいいはずなのに、なんでいきなり細かいこと言い出すのよ、って思ったんだけど、
よく読むとうさぎの中では(2),(3)で
f/g∈ℝ(X)(有理関数体)がdegf+degg+2個の格子点を通る⇒f/g∈ℚ(X)
という元の問題より少し緩やかな仮定で上記命題を示したい、
という意志がわりと強めだったってことなのかしら
アタシの中では(2)が全く存在しなかったから急に行列とかs+t+2個の整数とか持ち出されて、もしかして精密に考えると何かすごいことが言えるのかしらとか混乱してしまったわ
そもそも>>335もAx=Oなんて考えてなくて、無数にある有理数係数の連立方程式のゼロでない有理数解が存在するのでそれを〜
くらいしか念頭になかったの