S(k)n=∑nm=1mk的显式表示

给出了n个自然数k次乘幂之和,S(k)n≡∑nm=1mk作为n的多项式的显式表示.     

S_n~(k)=sum from m=1 to n (m~k)的显式表示

给出了n个自然数k次乘幂之和 ,S(k)n ≡ nm =1mk 作为n的多项式的显式表示     

丢番图方程n∑k=1k4=ny2,n∑k=1k3=np1p2…pmy2以及n∑k=1k5=ny2

多项式整数值中的完全方幂问题,是数论中引人关注的研究课题.本文利用pell方程解的性质,给出了丢番图方程n∑k=1k4=ny2,n∑k=1k3=np1p2…pmy2以及n∑k=1k5=ny2的所有正整数解.     

一个用无理数幂表示整数的公式

设 Q =4l +1 ,l是非负整数 ,a、b是奇偶性相同的整数 ,则对于任意的非负整数 n,　　　　 f ( n) =1Qa +b Q2n+1-a -b Q2n+1　　　　 ( * )都表示整数。特别 ,当 a、b是自然数时 ,f ( n)也是自然数 ;当 a、b是偶数时 ,f ( n)也是偶数。( * )式就是一个用无理数幂表示整数的公式。证 :当 n =0时 ,f ( 0 ) =b,命题成立 ;假设对一切小于 k的自然数 n命题均成立 ,则f ( k) =1Qa +b Q2k+1-a -b Q2k+1=1Qa +b Q2k a +b Q2 -a -b Q2k a -b Q2=1Qa +b Q2k -a -b Q2k a +b Q2 +a -b Q2　 -1Qa +b Q2k a -b Q2 -a -b Q2k a +b Q2=af ( k -1 ) …     

关于丢番图方程sum form k=0 to n((x-g~ak))~r=sum form k=1 to n((x+g~ak))~r

本文明了:设g=p_1p_2…p_n=10β+9型奇数,p_1,p_2……,p_3是不同素数,n,x,α,r为正整数,方程sum from k=0 to n(x-g~αk)~r=sum from k=1 to n(x+g~αk)~r仅有正整数解r=1,x=g~αn(n+1)和r=2,x=2g~αn(n+1)。     

关于Diophantine方程x~2＋4~n=y~3

证明了不定方程x2＋4n=y3（n∈N,x≡0（mod2）,x,y∈Z）,其中当n≥3时整数解仅有（x,y,n）=（0,4k,3k）,（±2×8k,2×4k,3k＋1）,（±11×8k,5×4k,3k＋1）,k∈N＋.     

等差型方程k∑i=0aiyn-i=δn的特解解法

给出求k阶等差型方程k∑i=0 aiyn-i=δn的特解的一种解法.     

关于Diophantine方程x2+4n=y3

证明了不定方程x2＋4n=y3（n∈N,x≡0（mod2）,x,y∈Z）,其中当n≥3时整数解仅有（x,y,n）=（0,4k,3k）,（±2×8k,2×4k,3k＋1）,（±11×8k,5×4k,3k＋1）,k∈N＋.     

公式sum from k=1 to n (k~3)=[n(n+1)/2]~2的几种建立方法

关于自然数组成的级数sum from k=1 to ∞ (k)和自然数平方组成的级数sum from k=1 to ∞ (k~2)的前n项求和公式: S_1(n)=sum from k=1 to n (k)=n(n+1)/2 S_2(n)=sum from k=1 to n (k~2)=1/6n(n+1)(2n+1) (2)我们大家非常熟悉,并且在一些文献中分别给出不同的证明。本文利用公式(1),(2)介绍几种自然数立方组成的级数sum from k=1 to ∞ (k~3)的前n项和公式:     

关于Diophantine方程12xy+14x+10y+11=k

对于正整数n,设f(n)是不大于n且使方程12xy 14x 10y 11=k有非负整数解(x,y)的正整数k的个数．该文运用数论方法给出了f(n)的精确公式和近似公式．     

关于一类线性非齐次递归数列的恒等式

本文是〔1〕的继续,利用〔1〕的结果,建立了关于常系数线性非齐次递归数列{w_n}: w_(n+k)=a_1W_(n+k-1)+…+a_kw_n+c(c为常数)的若干恒等式,为对k=2的情形进行更详细地讨论打下了基础,本文的结果把〔5〕～〔7〕的结果大大向前推进了一步。     

关于N=12的Springer猜想

本文利用Schober不等式|B_(2N-1)|≤1+sum from n=1 to N-Z (|B_N(-n)|~2)及Grunsky不等式sum from n=1 to ∞n(|b_(kn)|~2≤1/k)证明了N=12时的单叶亚纯函数逆函数系数的Springer猜想。     

k次广义Fibonacci数列{Fkn}∞n=1的一个线性恒等式

证明了k次广义Fibonacci数列{Fkn}∞n=1中连续的k+2个数的线性恒等式并推出具体公式.     

雅谷比多项式的一个性质

本文利用群su(2)的既约酉表示Ti(u)的矩阵元素tmx^1(u)的某些性质，推出了雅谷比（Jacobi)多项式的一个性质，结果如下：l∑K=-lctg2kθ/2/(l-k)1(l k)l[pξ－k,k)(cosθ）]^2＝1/(l1)^2其中l为非负整数。0＜θ＜n。     

二面体群的量子偶上的表示分类

设k是特征为2的代数闭域,Dn是阶为2n的二面体群且n为奇数.通过Dn的共轭类代表元的中心化子子群上的模构造Yetter-Drinfeld kDn模,从而给出量子偶D(kDn)的全部不可分解表示.     

图Pm×P3(n=11+8k)的点可区别全染色与算法

集合{1,2,…,n}中取4个数字的所有组合,经三角排序后任意相邻2个组合都有3个相同数字.利用此结果和组合性质(n+8k3)-(n3)≡0 (mod 4)构造算法,并证明当n=11+8k(k =0,1,…)和(n-14)/2+2＜m≤(n4)/2+2时积图Pm×P3的点可区别全色数为n.     

丢番图方程(a n -1) (b n -1) = χ2的解

利用二次剩余的方法,研究了丢番图方程(a n -1) (b n -1) = χ2 在(a,b) = (13 k1 +5,13 k2 +8),以及(a,b) = (17 k1 +6,17 k2 +7)时的解,完全解决了当k1,k2满足某些条件的这两类丢番图方程.     

一种确定多值函数w=n(/)z某个单值解析分支的方法

多值函数w=n(/)z可分出n个单值解析分支wk=(n(/)z)k(k=0,1,2,…,n-1).本文给出了由给定某点z=z0函数值w=w(z0)所确定的单值解析分支的一种求解方法.     

关于指数丢番图方程x3+1=py2与x3+1=3py2

设p是6k+1型的奇素数,运用初等方法给出了当p=3n(n+1) +1(n∈N),且3｜(2n+1)时指数丢番图方程x3+1 =py2与x3+1 =3py2无正整数解的充分条件.     

关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.