已知：
多項(xiàng)式A(x),B(x),C(x)滿足如下條件：
系數(shù)均為整數(shù)；A(x)的系數(shù)為1,0或-1；B(x)有一個(gè)系數(shù)等于2008；A(x)=B(x)*C(x)
求證：
是否有滿足以上條件的多項(xiàng)是存在?如果有,是什么樣的?

假設(shè)
A(x) = a(1)x^p + a(2)x^(p-1) + a(3)x^(p-2) + …… + a(p-1)x^2 + a(p)x + a(p+1),其中p(1),p(2),……,a(p+1) 表示多項(xiàng)式的系數(shù)
B(x) = b(1)x^m + b(2)x^(m-1) + b(3)x^(m-2) + …… + b(m-1)x^2 + b(m)x + b(m+1),其中
b(1),b(2), ……,b(m+1) 表示多項(xiàng)式的系數(shù)
C(x) = c(1)x^n + c(2)x^(n-1) + c(3)x^(n-2) + …… + c(n-1)x^2 + c(n)x + c(n+1),其中c(1),c(2),……,c(n+1) 表示多項(xiàng)式的系數(shù)
B(x)*C(x)
=
b(1)c(1)x^(m+n) + b(1)c(2)x^(m+n-1) + b(1)c(3)x^(m+n-2) + ……+ b(1)c(n-1)x^(m+2) + b(1)c(n)x^(m+1) + b(1)c(n+1)x^m
+
b(2)c(1)x^(m+n-1) + b(2)c(2)x^(m+n-2) + b(2)c(3)x^(m+n-3) + ……+ b(2)c(n-1)x^(m+1) + b(2)c(n)x^m + b(2)c(n+1)x^(m-1)
+
b(3)c(1)x^(m+n-2) + b(3)c(2)x^(m+n-3) + b(3)c(3)x^(m+n-4) + ……+ b(3)c(n-1)x^m + b(3)c(n)x^(m-1)+ b(3)c(n+1)x^(m-2)
+
……
+
b(m-1)c(1)x^(2+n) + b(m-1)c(2)x^(1+n) + b(m-1)c(3)x^n + ……+ b(m-1)c(n-1)x^4 + b(m-1)c(n)x^3+ b(m-1)c(n+1)x^2
+
b(m)c(1)x^(1+n) + b(m)c(2)x^n + b(m)c(3)x^(n-1)+ ……+ b(m)c(n-1)x^3 + b(m)c(n)x^2+ b(m)c(n+1)x
+
b(m+1)c(1)x^n + b(m+1)c(2)x^(n-1) + b(m+1)c(3)x^(n-2)+ ……+ b(m+1)c(n-1)x^2 + b(m+1)c(n)x+ b(m+1)c(n+1)
=
b(1)c(1)x^(m+n)--------------------- (m+n)
+
b(1)c(2)x^(m+n-1) + b(2)c(1)x^(m+n-1) --------------------- (m+n-1)
+
b(1)c(3)x^(m+n-2) + b(2)c(2)x^(m+n-2) + b(3)c(1)x^(m+n-2) --------------------- (m+n-2)
+
……
+
b(1)c(k-1)x^(m+n+2-k) + b(2)c(k-2)x^(m+n+2-k) + b(3)c(k-3)x^(m+n+2-k) + … + b(k-1)c(1)x^(m+n+2-k) --------------------- (m+n+2-k)
+
b(1)c(k)x^(m+n+1-k) + b(2)c(k-1)x^(m+n+1-k) + b(3)c(k-2)x^(m+n+1-k) + … + b(k)c(1)x^(m+n+1-k)--------------------- (m+n+1-k)
+
b(1)c(k+1)x^(m+n-k) + b(2)c(k)x^(m+n-k) + b(3)c(k-1)x^(m+n-k) + … + b(k)c(2)x^(m+n-k)+ b(k+1)c(1)x^(m+n-k) --------------------- (m+n-k)
+
……
+
b(1)c(n) x^(m+1) + b(2)c(n-1) x^(m+1) + b(3)c(n-2) x^(m+1) + …+ b(k-1)c(n-k+2) x^(m+1) + b(k)c(n-k+1) x^(m+1) + b(k+1)c(n-k) x^(m+1) + … + b(m)c(n-m+1)x^(m+1)--------------------- (m+1)
+
b(1)c(n+1) x^m + b(2)c(n) x^ m + b(3)c(n-1) x^m+ …+ b(k-1)c(n-k+3) x^m + b(k)c(n-k+2) x^m + b(k+1)c(n-k+1) x^m + … + b(m)c(n-m+2)x^m --------------------- (m)
+
b(2)c(n+1) x^(m-1) + b(3)c(n) x^ (m-1) + b(4)c(n-1) x^(m-1) + …+ b(k-1)c(n-k+4) x^(m-1) + b(k)c(n-k+3) x^(m-1) + b(k+1)c(n-k+2) x^(m-1) + … + b(m)c(n-m+3)x^(m-1) --------------------- (m-1)
+
b(3)c(n+1) x^(m-2) + b(4)c(n) x^ (m-2) + b(5)c(n-1) x^(m-2) + …+ b(k-1)c(n-k+5) x^(m-2) + b(k)c(n-k+4) x^(m-2) + b(k+1)c(n-k+3) x^(m-2) + … + b(m)c(n-m+4)x^(m-2) --------------------- (m-2)
+
…
+
b(k-1)c(n+1) x^(m-k+2) + b(k)c(n) x^ (m-k+2) + b(k+1)c(n-1) x^(m-k+2) + … + b(m)c(n-m+k)x^(m-k+2) --------------------- (m-k+2)
+
b(k)c(n+1) x^(m-k+1) + b(k+1)c(n) x^ (m-k+1) + b(k+2)c(n-1) x^(m-k+1) + … + b(m)c(n-m+k+1)x^(m-k+1) --------------------- (m-k+1)
+
b(k+1)c(n+1) x^(m-k) + b(k+2)c(n) x^ (m-k) + b(k+3)c(n-1) x^(m-k) + … + b(m)c(n-m+k+2)x^(m-k) --------------------- (m-k)
+
……
+
b(m-1)c(n+1)x^2 + b(m)c(n)x^2 + b(m+1)c(n-1)x^2--------------------- (2)
+
b(m)c(n+1)x + b(m+1)c(n)x --------------------- (1)
+
b(m+1)c(n+1) --------------------- (0)
由已知系數(shù)均為整數(shù)；A(x)的系數(shù)為1,0或-1；B(x)有一個(gè)系數(shù)等于2008；A(x)=B(x)*C(x),有
式子 (0) 到 (m+n)的系數(shù) 都 等于 1,0或-1, 一共有 (m+n+1)個(gè)方程,(m+n+2)個(gè)未知數(shù)(b(1)到b(m+1)和 c(1)到c(n+1))
假設(shè)b(1) = 2008
因?yàn)槭阶?1)的系數(shù)=1,0,-1
b(1)c(1) = 1,0,-1
2008c(1) = 1,0,-1
c(1)為整數(shù), 所以
c(1) = 0
帶入式子(2),得
b(1)c(2) + b(2)c(1) = 1,0,-1
2008c(2) + b(2) * 0 = 1,0,-1
2008c(2) = 0
c(1)為整數(shù), 所以
c(2) = 0
帶入式子(2),得
c(3) = 0
….
c(n+1) = 0
從而 C(x) = 0
不符合題意,所以b(1) = 2008 不成立.
假設(shè)b(2) = 2008
b(1)c(1) = 1,0,-1
1, 1; 1, -1; -1,1; -1,-1; 1,0; 0,1; -1,0; 0,-1; 0,0 共 9 種解
取 b(1)=1, c(1) =1, b(1)c(1) = 1
b(1)c(2) + b(2)c(1) = 1,0,-1,b(1)c(2) + 2008c(1) = 1,0,-1
其中1,0,-1取0
b(2)= 2008, c(2) = -2008
b(1)c(3) + b(2)c(2) + b(3)c(1) = 1,0,-1, b(1)c(3) + 2008c(2) + b(3)c(1) = 1,0,-1
b(2)= 2008, c(2) = - 2008,
c(3) + 2008c(2) + b(3) = 0
b(3) = 0, c(3) =2008^2
b(1)c(4) + b(2)c(3) + b(3)c(2) + b(4)c(1) = 0
c(4) + 2008c(3) + b(4) = 0
b(4) = 0, c(4) = 2008^3
b(1)c(5) + b(2)c(4) + b(3)c(3) + b(4)c(2) + b(5)c(1) = 1,0,-1,
c(5) + 2008c(4) + b(5) = 1,0,-1
b(5) = 0, c(5) = -2008c(4) = 2008^4
依此類推,假設(shè) b(k-1) = 0, c(k-1) = (-1)^(k) * 2008^(k-2)
那么帶入式子(m+n+1-k), 有
b(1)c(k)+ b(2)c(k-1) + b(3)c(k-2)+ … + b(k)c(1) = 1,0,-1
c(k) + 2008c(k-1) + 0 + …. + 0 + b(k) == 1,0,-1
c(k) + 2008c(k-1) + b(k) == 1,0,-1 (取0)
取b(k) = 0, c(k) = - 2008c(k-1) = -2008* (-1)^(k) * 2008^(k-2) = (-1)^(k+1) * 2008^(k-1)
所以有
B(x) = x^m + 2008x^(m-1)
C(x) = x^n- 2008x^(n-1) + 2008^2 * x^(n-2) + …. + (-1)^(k+1) * 2008^(k-1) x^(n-k+2)+ … + (-1)^(n+1) * 2008^(n-1) * x +(-1)^(n+2) * 2008^n
有
A(x) = x^(m+n)