楊 婷，周佳馨，楊仕椿

(阿壩師范高等?？茖W校 數(shù)學與財經(jīng)系，四川 汶川 623000)

0 引 言

在代數(shù)和數(shù)論中，整除性是整數(shù)和多項式的一類重要性質(zhì)，對此已有十分豐富的成果，也有很多尚待解決的問題與進一步研究的課題［1－3］.著名的奇完全數(shù)問題、Euler 函數(shù)的性質(zhì)、冪數(shù)問題、約數(shù)和函數(shù)等等，其本質(zhì)上都是屬于整除性問題.

對于正整數(shù)k，設(shè)未定元為x 的一元多項式，

問題 哪些正整數(shù)m 和n，可使整數(shù)關(guān)系，

成立?

1980年，Bombieri［4］證明了:如果整除關(guān)系成立，則必有m ≤229.特別是當m ≠2，3，5 或7 時，必有n ＜10370.然而在一般情況下，這仍是一個尚未完全解決的問題.

2013年，周凡雨等［5］對m = 2，3，4，7 進行研究，證明了，當m = 2 或3 時，整除關(guān)系(2)對于任何大于m 的正整數(shù)n 都成立，當m = 5 或7 時，整除關(guān)系(2)成立的充要條件分別是n ＞5，且n ≡±1(mod6)，以及n ＞7 且n ≡1(mod6).

在此基礎(chǔ)上，本研究通過代數(shù)和數(shù)論知識，運用同余關(guān)系、遞推序列的通項以及復數(shù)的模的性質(zhì)，討論了m = 4 時多項式的整除性問題，主要結(jié)論是:

定理1 對于任何正整數(shù)n ＞4，均有，

1 若干引理

引理1 對于任何正整數(shù)n，都有x2－ 1 |Tn(x).

證明 見文獻［5］中的引理2.1.

引理2 在數(shù)列{an}中，給定a1，且an+1= λan+ f(x)，n ＞1，其中λ ≠0，則此一階遞推數(shù)列{an}通項公式為，

證明 由遞推數(shù)列的性質(zhì)可直接推出.

引理3 若A、B 為復數(shù)，且| A| ＞λ| B|，則，

證明 在| A| ＞λ| B| 兩邊同時減去| B| 可得，

則由三角形不等式可得，

結(jié)論成立.

2 定理1的證明

由于，

且

因此，根據(jù)引理1 可知，x2－1 | Tn(x)，所以要驗證，當m = 4 時整除關(guān)系T4(x)| Tn(x)，n ∈N，只需要驗證整除關(guān)系，

由于多項式x2+7 的根是和所以整除關(guān)系(4)成立的充要條件是，

即，

設(shè)，

有，

情形1 n 為奇數(shù).通過計算可得，S1= 1，S3=－5，S5= 11.所以，S5≡3(mod4).由式(5)可得，

則，

下面證明，

假設(shè)當n = r 時，式(7)成立，即Sr≡2(mod4)，則當n = r +2 時，由式(6)可得，

所以，當n 為奇數(shù)時，式(7)成立.因此，當n ＞4，且n 為奇數(shù)時，Sn≠1，則整除關(guān)系(4)成立.

情形2 n 為偶數(shù)，且n ≡2(mod4).設(shè)n = 4k +2 時，由式(5)可得，

由式(8)可得，

由于S6= 9，S10= 57，S14=－87，所以，

下面證明，

假設(shè)當n = 4k +2 時，式(10)成立，即S4k+2≡9(mod16)，則當n = 4k +6 時，由式(9)可得，

S4k+6≡S4k+2= 9(mod16).

所以，當n = 4k +2 時，式(10)成立.因此，當n＞4，且n = 4k +2 時，Sn= 16l +9 ≠1，則整除關(guān)系(4)成立.

情形3 n 為偶數(shù)，且n ≡0(mod4).令n = 4k，由式(5)可得，

S4k+4= S4k－16S4k－4，

令S4k= Wl，則Wl+1= Wl－16Wl－1，所以，

Wl+1－ λWl= δ(Wl－ λWl－1)，

則由，

可得，

由于W1= S4= 1，W2= S8=－31，則當l ≥3時，有，

根據(jù)引理2，由式(11)可得，

令A = 256(31 +λ)δl－3，B = (16λ+31λ2)λl－3，通過計算可得，

所以| A| ＞2| B|.由于| λ| ＞1，根據(jù)引理3可得，| A－ B| ＞| B| ＞510，則，

于是Wl≠1.所以，當n = 4k 時，Sn≠1，則整除關(guān)系(4)成立.

綜上所述，當n 為偶數(shù)時，整除關(guān)系(4)成立.定理1 得證.

［1］Richard K G.Unsolved problems in number theory［M］.New York:Springer Verlag，1994.

［2］華羅庚.數(shù)論導引［M］.北京:科學出版社，1979.

［3］馮克勤，余紅兵.整數(shù)與多項式［M］.北京:高等教育出版社，1999.

［4］Bombieri E.On a problem of tu concerning divisibility of polynomials［C］//Proceedings of the 1980 Beijing Symposium on Differential Geometry and Differential Equations.Beijing:Science Press，1982:1481－1482.

［5］周凡雨，陳運棟，張璐瑤，等.多項式(1+x)k+(1－x)k－2k的整除性［J］.湛江師范學院學報，2013，34(3):49－52.