环R=F_4+vF_4上线性码的Macwilliams恒等式

本文研究了环R=F4+v F4上线性码及重量分布.利用环R=F4+v F4到F2的一种Gray映射?,证明了环上R线性码C的Gray像?(C)的对偶码为?(C⊥).然后,利用域F2上线性码与对偶码的重量分布的关系及Gray映射性质,给出了该环上线性码与对偶码之间的各种重量分布的Macwilliams恒等式.     

三个三角恒等式与若干三角不等式的证明

本文给出三角形中的三个恒等式,并应用它证明若干三角不等式．     

Ramanujan循环和的一个注记

推广了Ramanujan循环和,给出了一个基本的证明方法,还给出了一些应用并得到一些新的theta函数恒等式.     

向量恒等式的推广

本刊2009年3月上（总365期）《数苑纵横》栏目里郭味纯老师在《一个向量恒等式及其应用》的文章中提出了一个向量恒等式（即本文定理1）．本文在其基础上提出了一个更一般的新的恒等式（即本文定理2）．在新的恒等式中,不再要求A1、A2、A3共线,只需A1、A2、A3是平面上任意三点,因而使得恒等式既优美又更具有普遍性．     

广义Fibonacci数的一些恒等式

利用非数学归纳法,以及广义Fibonacci数的性质,得到了广义Fibonacci数的一些求和公式.     

一个新的非线性Picone恒等式及其应用（英文）

本文建立一个新的非线性Picone恒等式,它包括一些已有的Picone恒等式.利用这个新的Picone恒等式,我们给出了带奇异项p-Laplace方程的Sturm比较原理,p-Laplace方程组的Liouville定理和带权Hardy不等式.由这里一般的带权Hardy型不等式,我们可以得到几个新的有趣的带权型Hardy不等式.     

基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

Delannoy数与Schröder数的一些和式公式

研究了Delannoy数与Schr?der数.利用分析方法和组合技巧,建立了任意多个Delannoy数乘积的一些和式公式,并对Schroder数的和式公式进行了类似的研究.     

关于正、余弦函数的一组恒等式

:利用第二类契贝谢夫多项式的性质得到了关于正余弦函数的一组有趣的恒等式 .