基本不等式及其推广的一个共同证法

基本不等式及其推广的（1）n（a1m＋a2m＋…＋anm）≥（a1k＋a2k＋…＋ank）（a1(m-5)＋a2(m-k)＋…＋an(m-k)）（2）（a12＋a22＋…＋an2）（b12＋b22＋…＋bn2）≥（a1b1＋a2b2＋…＋anbn）2等的共同证法。     

一类递推数列中的素数

设D是非平方正整数,（u1,v1）是Pell方程u^2-Dv^2=1的最小解．设数列B={bn}n=1 ^∞,满足递推关系b1=v1,bn＋1=u1bn＋v1√Db^2n＋1,n≥1,本文利用Pell方程的性质证明了：当n〉1时,bn不是素数。     

Rolle中值定理的推广

对Rolle中值定理的条件作了改进，把函数可导推广为左或右可导，把有限区间推广为无限区间，把函数在区间端点处的函数值相等推广为可以不等．主要建立了如下的推广定理：设函数f（x）在有限或无限区间（a，b）上连续，f（x）在（a，b）内右（或左）可导，并存在{an}，{bn}包括（a，b）使 liman n→∞=a limbn n→∞=b limf（an）n→∞=linf（bn）n→∞=A A为实数或±∞，则存在ξ,η∈（a,b），使得f′＋（ξ）≥0,f′＋（η）≤0（或f′-（ξ）≥0,f′-（η）≤0。更进一步，设f′＋（x）（或f′-（x））在（a,b）内左（或右）连续，则存在ξ∈（a,b）使得f′＋（ξ）=0（或f′-（ξ）=0）.     

一次不定方程（n≥3）的弱型Frobenius问题

对n元一次不定方程（n≥3）的弱型Frobenius问题进行讨论，推广了三元线性型bcx＋cay＋abz，x≥1，y≥0，z≥0的最大不可表出数，这里a,b，C为正整数，且（a,b）=（b，c）=（c，a）=1．     

关于有向双环网络L-形瓦的四个参数

对于有向双环网络G（n；s1，s2），四个参数k1，k2，j1,j2定义如下： （1）k1=min（k1ks2=js1（mod n）且k≥j≥0,k=1,2,…,n-1）； （2）j1=min（j1k1s2=js1（mod n）,j≥0）; （3） j2=min（j1 ks2=js1（mod n）且j〉k≥0,j=1,2,…,n=1）; （4）k2=min（k1 ks2=j2s1（mod n）,k≥0） 则k1，k2，j1,j2恰好是由G（n；s1，s2）决定的L-形瓦的四个参数，并且（j2-j1，k1-k2）是同余方程xs1＋ys2=0（mod n）的最小正解．     

关于图存在[a,b]-因子的邻域并条件的注记

设G是一个阶为n的图,a,b,k为正整数且1≤a〈b,2≤k≤[b／a],δ（G）为G的顶点的最小度．若δ（G）≥a,n≥（a＋b）（k（a＋b）-2）/b,且对V（G）的任意独立子集{x1,x2,…,xk}有｜NG（x1）∪NG（x2）∪…∪NG（xk）｜≥an／（a＋b）,则G存在[a,b]-因子．     

Cantor级数的无理性

主要研究Cantor级数Σ∞ n=1bn/a1…an.其中a1,a2,…为大于1的整数,b1,b2,…为正整数并使得Cantor级数Σ∞ n=1bn/a1…an收敛.     

关于广义位数码和的一个注记

给定非负实数b1〈b2〈b3〈…〈bk,称它们是B-数码．设n=bi1bi2…bij,1≤ij≤k,j=1,2,3,…,称s（n）=bi1＋bi2＋…＋bij是n的B-数码和．对于给定的x=bi1bi2…bij,b1≤bij≤bk,j=0,1,2,…,n,给出了∑n≤x s（n）和∑n≤x s^2（n）的一个估计．     

关于若干整数分拆问题

Y．Alavi,A．J．Boals,G．Chartrand,P．ErdSs和O．R．Oellermann提出下面的猜想：已知整数a1,a2,…,ak,满足n≤ai≤2n-2,1≤i≤k,且a1＋a2＋…＋ak=rt（n＋1）／2,则S=（1,2,…,n）包含有k个互不相交子集S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。推广该猜想,得到下面的定理：已知整数a1,a2,…,ak,满足ai≥n,1≤i≤k,且a1＋a2＋…＋a4≤n（n＋1）／2,则S={1,2,…,n）包含有k个互不相交子集．S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。由此定理易推出K．Ando,S．Gervacio和M．Kano证明的一个主要定理。参考文献中的一个错误同时被更正。     

Catalan数的一些结论

Catalan数是指n个1和n个0构成2n项a1,a2,…,a2n,其部分和恒满足a1＋a2＋…＋ak≥k/2,k=1,2,…,2n的排列。这类排列的个数为catalan数,记为Cn=1/（n＋1） （2n/n）（n≥0）,给出了Catalan数的有关性质及其相关的结论,以及有关的例子。     

一类倒数不定方程的整数解

倒数不定方程1/an＋1/bn=1/cn,（n∈N）n≤2时有整数解,并给出了解的表达式;n≥3时无整数解.对此作了讨论.     

渐近非扩张映射的不动点三步迭代

设D是一致凸空间中的非空紧凸子集,T:D→是渐近非扩张映射且F(T)≠,kn≥1,∑∞n=1(kn-1)<∞,设{un},{u′n},{u″n}是D中有界序列,{an},{bn},{cn},{a′n}{b′n}{c′n}{a″n},{b″n},{c″n}是[0,1]中序列且满足:i)an+bn+cn=a′n+b′n+c′n=a″n+b″n+c″n=1;ii)b″n,b′n∈[a,b](0,1);bn∈[0,b];iii)∑∞n=1cn<∞,∑∞n=1c′n<∞,∑∞n=1c″n<∞.对x1∈D,定义:zn=anxn+bnTnxn+cnun;yn=a′nxn+b′nTnzn+c′nu′nn≥1;xn+1=a″nxn+b″nTnyn+c″nu″n则{xn},{yn},{zn}强收敛于T的不动点.     

一类变系数非线性递归序列的极限

对形如Fn＋2=a1（n）F ！b1n＋1＋a2（n）F ！b2n ，n≥1的变系数非线性递归序列｛Fn｝的极限问题进行了研究，给出了在满足一定条件时，序列｛Fn｝收敛且极限值与初始值F1〉0，F2〉0无关。     

分担两个集合的唯一性

设f（z）和g（z）是两个非常数亚纯函数，S={z：z^6＋az^5＋b=0}．a，b是使得：z^6＋az^5＋b=0没有重根的非零常数．如果有θ（0，f）＋θ（0，g）〉3/2，E2（S，f）=E2（S，g）和↑-E（∞，f）=↑-E（∞，g），则f≡g，减少了集合元素个数，改进了Lahiri等人的结果．     

与微分多项式相关的亚纯函数的正规族

设R为区域D上的一族亚纯函数,n,k（n≥k＋1）均为正整数,b为一有限非零复数,a0（z）,a1（z）,……,ak-1（z）为D上的全纯函数,若对R中的任意函数f,f在D内的零点重数至少为n,f的极点重数至少为2,且L∽=b＝〉f=b,其中L∽（z）=f^（k）（z）＋k-1∑i=0ai（z）f^（i）（z）,则R在D内正规．     

亚纯函数的正规族

设F为单位圆盘△上的一族亚纯函数,a、b为任意的两个非零复数k后为任一正整数,若对每一f∈F,f的零点重数均≥k＋1,极点重数均≥2．以及当f^（k）（z）=a时,f（z）=6,则F在单位圆盘△内正规．     

一组重要不等式的微分证明

一组重要的平均值不等式：构造辅助函数f（x）=2x2－2（a＋b）x＋2（a2＋b2－ab）可证明不等式，受此启发，本文采用构造辅助函数，以微分为工具，来证明这组重要不等式。这里用高等数学方法证明初等数学问题，可能对师范院校学生和中学数学教师均有所启示。先证明不等式为函数的极小值点。下面用数学归纳法证明函数f（x）≥0（X＞0）n。l时，f（）一x’一Zalx＋ZaZ－aZ一（x－al）’＞0假设n一及时，f（）＞0，即有：将x—a。。；代入上式得由（2）式知当n—k＋1时，函数的最小值为非负数，故n—k＋l时，f（）＞0所以．对一切自然数n均有…     

表方幂为连续的阶乘和

考虑方程a^m=n!＋（n＋1）!＋……＋（n＋k）!,其中a〉1,m〉1,n≥1．我们证明了当a≠0 mod 223092870时,方程所有的解是2^3=2!＋3!,3^2=1!＋2!＋3!,2^5=2!＋3!＋4!,12^2=4!＋5!;当a=0 mod 223092870时,令p是满足p=a的最小素数,如果方程有解,则m≤p．而且,我们猜想上述的四个解是方程仅有的解．     

关于周期函数的几个问题

1周期函数的几种判定方法方法1由课本中定义判定，去寻找与无关的非零常数T。（a为非零常数），求证：f（x）是以2a为周期的周期函数。．f（x）是以2a为周期的周期函数。方法2若函y=f（x)(x∈R)的图家关于直线x=a与x=b(b＞a)对称，w间是周期函数，且2（b－…是它的一个周期。证明：设协E尺”．”函规句N的图象关于直线x。a对称，丫（Q＋Q）于人a—x人同理谢…＋…寸（b一力。于影＊＋2他一划寸【b刊b＋X一2喇4【b一（b＋X－2刚才（初一动十la＋（a—x刀寸【a－（a一动1＝f饲。故f00是以2（－a）为周期的周期函数。方法3若函如寸间…ER）…     

康托集的同胚映射欧氏空间的连续映射

康托集分解为2^n个分离闭子集C=C1∪C2∪…C2n,则存在f：C→C满足,同胚映射f：Ci→C2n-1＋ix〈Y∈Ci,f（x）〈f（y）或x〈y x∈Ci y∈Ci,f（x）〉,f（y）i=1,2…2^n-1 f：C2n-1＋j→Cj x〈y x∈C2n-1＋j y∈C2^n-1＋j f（x）〈f（y）或f（x）〉f（y）j=1,2…2^n-1,f ：E^n→E^n,n〉m≥1 f连续映射．至少有不可数多个反极点Pα—Pα α∈A A不可数．f（Pα）=f（-Pα）．