联图P_(1)(?)T_(n)和P_(1)(?)T_(3)的优美性

本文给出了一类图P_1(?)T_n和P_1(?)T_3,并给出了其优美性的证明.     

教学札记——关于极限lim/n→∞{1+1/n}~n证明的一点建议

本文利用Cauchy不等式给出了极限lim/n→∞(1+1/n)~n存在的证明,说明了Cauchy不等式的重要性并摘要给出了该不等式的初等证明。     

关于R(m=C4,n)图的优美性

本文对R(m=C4,n)图的优美性进行证明,同时对R(m=C4,n)图的交错性进行证明.     

公式sum from k=1 to n(sinka=(sin(na/2)×sin((n+1)a)/2))/sin(a/2))的证明及应用

现行高中代数课本(乙种本)下册第46页一道例题:设sinα/2≠0,试用数学归纳法证明sum from k=1 to n(sinknα)=(sin(nα/2)sin(n+1)α/2)/sinα/2,教材中用数学归纳法给出了证明。下面就这一公式给出另外的四种证明方法,并举例说明其应用。 证明方法一:构造辅助数列和式法 证明:设Sn=cosα+cos2α+cos3α+…+cos(n+1)α将Sn与其自身两边同时相减(其中右边错开两项相减)得:     

论数列{1+1/2+1/3+…+1/n}发散性的证明

一、问题的提出 数列的歌西收敛准则,是数学分析基础理论重要支柱之一。尤应注意数列发散性的证明。 很多教材都喜欢引用调和数列y_n=1+1/2+1/3+…+1/n作为典型的发散性例子。但在证法上很值得深入研究一番。     

函数完备的n+1值逻辑公理系统的强完全性

构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。     

组合式from 1 to n(-1)~kK~mC_n~k(m∈N)的计算

受文〔1〕的启发 ,本文就组合式∑nk=1 (- 1) km Ckn 当 m为任意自然数时给出一个递推关系式 ,并给出了几个重要的有用结果。     

二项式函数在组合恒等式证明中的应用

一些恒等式在函数论、组合数学、解析数论等学科的研究领域中极为重要。以二项式作为生成函数,给出了几个组合恒等式证明。     

a~(1/n)、n~(1/n)的极限

数列a~(1/n)(a>0)、n~(1/n),即数列a,a~(1/a),…,a~(1/a),…,(a>0)l,2~(1/2),3~(1/3),…n~(1/n),…它们的极限都为1.本文介绍此结果的几种证法.     

关于解矩阵方程A_(m×n)X_(n×s)=B_(m×s)

给出了矩阵方程A_(m×n)X_(n×s)=B_(m×s)的有解判别定理及其通解的显示表示,并给出了一种简便解法.     

固定于P(m,n)×HP(1)的光滑对合

设(Mr ,T)是一个在r维闭光滑流形上的不平凡光滑对合,当不动点集是P(m,n)×HP(1)且m与n满足一定条件时(Mr ,T)协边于零,其中 P(m,n)是Dold流形, HP(1)是四元数射影空间.     

用概率思想证明组合恒等式

介绍了三种组合恒等式的概率证明方法。     

差分方程x_(n+1)-a_nx_n+p_nx_(n-k)=0的振动性

研究一类高阶差分方程的振动性 ,给出了保证该类方程每一解振动的一族新的充分条件 ,推广和改进了已有的结果 .     

S~(n+1)中极小曲面的外刚性定理

设M是S~(n+1)的闭定向极小超曲面,众所周知,如果M的高斯映射的象取决于S~(n+1)的开半球,则M为全测地。当n=2时此定理已由文[2]准确地给出,本文讨论n≥2时的情形。     

以{2~n-1,2~n,2~n+1}为基的余数系统2~n高性能缩放

数值缩放(scaling)的高效VLSI实现是基于余数系统(RNS)的DSP系统的关键问题之一。该文提出了有符号余数系统数值缩放通用算法,并结合基为{2n-1,2n,2n+1}的余数系统特性提出了其优化的2n缩放算法和VLSI实现结构,明确给出了在进行有符号RNS整数缩放时负数情况下所引入的修正常量计算方法。分析表明该方法较级联n个1bit缩放模块实现余数系统2n缩放具有更好的速度、面积和功耗特性,从而易于实现基于RNS的DSP系统。     

数学归纳法的应用--从概率论的例子谈起

本文利用数学归纳法给出一个有关组合数的恒等式的证明。     

差分方程x_(n+1)=(ax_(n-1))/(1+bx_nx_(n-1))的全局稳定性

研究了差分方程x_(n+1)=ax_(n-1)/1+bx_nx_(n-1),n=0,1,2,…(a,b,x-1,x0为非负实数)的全局性质,得到了方程所有正解的单调性、有界性、周期性、局部渐近稳定性和全局渐近稳定性等相关结果.     

关于C_3的St(n+1)冠的优美性

对于自然数n∈N(N为自然数集合),本文给出C3的St(n+1)冠,论证了该图是优美图,由此推 广了文献[4]的一些结果。     

用古典概率方法证明组合恒等式

本文从概率论的角度证明组合种数的三个公式,用古典概率方法证明组合恒等式,也就是从实际问题中把等式引伸出来。     

关联n＋m个三角形的两个新的不等式

主要提出并证明关联n m个三角形的两个新的不等式。