多项式
暂时的解,未必正确。
设非零的实系数多项式 f ( x ) f(x) f(x) 满足 f ( x 2 ) = f 2 ( x ) f(x^2) = f^2(x) f(x2)=f2(x),求多项式 f ( x ) f(x) f(x)
令
f
(
x
)
=
∑
i
=
0
n
a
i
x
i
f(x)= \sum_{i=0}^n a_i x^i
f(x)=∑i=0naixi,将
f
(
x
2
)
=
f
2
(
x
)
f(x^2) = f^2(x)
f(x2)=f2(x) 写成矩阵形式(系数):
A
=
[
a
0
a
1
⋱
a
n
]
B
=
[
a
0
2
a
0
a
1
…
a
0
a
n
a
1
a
0
a
1
2
…
a
1
a
n
⋮
⋮
⋱
⋮
a
n
a
0
a
n
a
1
…
a
n
2
]
\begin{aligned} &A = \begin{bmatrix} a_0 \\ &a_1\\ &&\ddots \\ &&&a_n \end{bmatrix} \\ &B = \begin{bmatrix} a_0^2 & a_0a_1 & \ldots & a_0a_n \\ a_1a_0 & a_1^2 & \ldots & a_1a_n \\ \vdots & \vdots & \ddots & \vdots\\ a_na_0 & a_na_1 & \ldots & a_n^2 \end{bmatrix} \end{aligned}
A=⎣⎢⎢⎡a0a1⋱an⎦⎥⎥⎤B=⎣⎢⎢⎢⎡a02a1a0⋮ana0a0a1a12⋮ana1……⋱…a0ana1an⋮an2⎦⎥⎥⎥⎤
X
T
=
(
x
0
,
x
1
,
⋯
,
x
n
)
X^T=(x^0, x^1, \cdots ,x^n)
XT=(x0,x1,⋯,xn),则:
f
(
x
2
)
=
X
T
A
X
=
f
2
(
x
)
=
X
T
B
X
\begin{aligned} &f(x^2) = X^T A X \\ = &f^2(x)=X^TBX \end{aligned}
=f(x2)=XTAXf2(x)=XTBX
因为
X
T
A
X
X^TAX
XTAX 和
X
T
B
X
X^TBX
XTBX 为两个相等的二次型,则其系数矩阵
A
A
A 和
B
B
B 相等。
则 a k = a k 2 a_k = a_k^2 ak=ak2,且 a k a j = 0 ( j ≠ k ) ( k = 1 , 2 , 3 ⋯ n ) a_ka_j = 0\ (j\neq k)\quad (k=1,2,3\cdots n) akaj=0 (j=k)(k=1,2,3⋯n)
当 a k ≠ 0 a_k \neq 0 ak=0 此时 a k a i = 0 ( i ≠ k ) a_ka_i =0\ (i\neq k) akai=0 (i=k) 则 a i = 0 ( i ≠ k ) a_i=0\ (i\neq k) ai=0 (i=k)。
也就是说若某个 a k a_k ak 不为 0 0 0,则其余的 a i a_i ai 必为 0 0 0。
而 A ≠ 0 A\neq 0 A=0 且 k k k 可以取 0 , 1 , 2 ⋯ , n 0,1,2\cdots,n 0,1,2⋯,n.
所以 f ( x ) = x k ( k = 0 , 1 , 2 ⋯ n ) f(x) = x^k\quad (k=0,1,2\cdots n) f(x)=xk(k=0,1,2⋯n)
X T B X = X T C X , B T = B , C T = C X^TBX=X^TCX,\ B^T=B,\ C^T=C XTBX=XTCX, BT=B, CT=C,则 B = C B=C B=C
这是因为二次型由其系数矩阵唯一表示,所以 B = C B=C B=C