一个关于{1,2,…,n}排列的猜想（英文）

我们证明了孙智伟的下述猜想:对任意不等于3的正整数n,存在{1,2,dos,n)的一个全排列(a_1,…,a_n)使得a_1=1,a_n=n,并且a_1+a_2,a_2+a_3,…,a_(n-1)+a_n,a_n+a_1都与n互素     

关于二次剩余的q模拟

设P为奇素数,a为正整数且Pa．本文证明了qa-1(q16a;q16a)(p-1)/2/(q16;q16)(p-1)/2≡(a/p)(mod[p]q),其中(x;q)n=(1-x)(1-xq)…(1-xqn-1),[p]q=1 q … qp-1,(a/p)为Legendre符号．     

一个关于{1,2,…,n}排列的猜想

我们证明了孙智伟的下述猜想:对任意不等于3的正整数n,存在{1,2,dots,n}的一个全排列(a1,…,an)使得a1＝1,an =n,并且a1 +a2,a2+a3,…,an-1 +an,an +a1都与n互素.     

关于线性丢番图方程组和线性同余式组

在本文中我们证明了整系数线性方程组a11x1+…+a1lx1b1,a21x2+'…+a2lx1= b2,ak1x1+…+sk1x1,有整数解当且仅当对任何1≤i1＜…＜ih≤k及1≤ji＜…＜jh.≤l诸行列式(j= 1, …,l )的最大公因数整除我们还证明了,k＞l时含未知数x1,…,x1的k个线性同余式有公解当且仅当其中任何l+1个同余式有公解.