先考虑仿射情形.
对S = {(a[i],b[i]) | i = 1,2,...,n},若a[i]两两不等,则可取f(x) = ∏{1 ≤ i ≤ n} (x-a[i]),
g(x) = ∑{1 ≤ i ≤ n} b[i]·∏{j ≠ i} (x-a[j])/(a[i]-a[j]) (Lagrange插值多项式).
则f(x) = 0,f(x)+g(x) = y恰好给出S.
为处理a[i]相等情形,取适当的k使a[i]-k·b[i]两两不等(不适用有限域),进行坐标变换x' = x-ky即可.
尝试用上述方程的齐次化来处理射影情形.
注意到deg(f) = deg(g) = n (这是特意取f(x)+g(x)的用意).
当n > 1时,齐次化方程有一个无穷远点(0:1:0).
为此可取适当坐标变换,使S中恰有一个无穷远点(0:1:0) (不适用有限域),
然后对其余n-1个点用仿射情形结论(这要求n-1 > 1,即n > 2).
对n = 1,2可直接构造.
有限域情形没有细想,总觉得可能不成立. 先考虑仿射情形.
对S = {(a[i],b[i]) | i = 1,2,...,n},若a[i]两两不等,则可取f(x) = ∏{1 ≤ i ≤ n} (x-a[i]),
g(x) = ∑{1 ≤ i ≤ n} b[i]·∏{j ≠ i} (x-a[j])/(a[i]-a[j]) (Lagrange插值多项式).
则f(x) = 0,f(x)+g(x) = y恰好给出S.
为处理a[i]相等情形,取适当的k使a[i]-k·b[i]两两不等(不适用有限域),进行坐标变换x' = x-ky即可.
尝试用上述方程的齐次化来处理射影情形.
注意到deg(f) = deg(g) = n (这是特意取f(x)+g(x)的用意).
当n > 1时,齐次化方程有一个无穷远点(0:1:0).
为此可取适当坐标变换,使S中恰有一个无穷远点(0:1:0) (不适用有限域),
然后对其余n-1个点用仿射情形结论(这要求n-1 > 1,即n > 2).
对n = 1,2可直接构造.
有限域情形没有细想,总觉得可能不成立.