S1-多项式系数
Fu-Ming Chang Lv2

随记的内容无任何的正确性可言,就只是有了想法记了下来。

我们知道当多项式

k0+k1x+k2x2+k3x3=0(S1-1)k_0+k_1x+k_2x^2+k_3x^3=0\tag{S1-1}

对于任意的x成立时,我们可以得到

k0=k1=k2=k3=0(S1-2)k_0=k_1=k_2=k_3=0\tag{S1-2}

Q:那具体的过程或者考虑是什么?当然你可以将1,x1,x2,x3{1,x^1,x^2,x^3\dots}看作是一组基[1]

我们不妨带入x=1,2,3,4x=1,2,3,4

{k010+k11+k212+k313=0k020+k12+k222+k323=0k030+k13+k232+k333=0k040+k14+k242+k343=0(S1-3)\begin{cases} k_01^0 +k_11+k_21^2+k_31^3=0\\\tag{S1-3} k_02^0+k_12+k_22^2+k_32^3=0\\ k_03^0+k_13+k_23^2+k_33^3=0\\ k_04^0+k_14+k_24^2+k_34^3=0\\ \end{cases}

可以看出方程组(3)的系数矩阵为

A=[10111213202122233031323340414243](S1-4)A=\tag{S1-4} \begin{bmatrix} 1^0 & 1^1 & 1^2 & 1^3\\\\ 2^0 & 2^1 & 2^2 & 2^3\\\\ 3^0 & 3^1 & 3^2 & 3^3\\\\ 4^0 & 4^1 & 4^2 & 4^3 \end{bmatrix}

可以看出A|A|是范德蒙行列式,且A0|A|\ne0
所以方程组(3)仅有零解(2).


  1. 线性独立的约束; ↩︎