关于自反的n-colour有序分拆的一个关系式

给出了2v＋1的自反n-colour有序分拆数与v的n-colour有序分拆数之间的一个关系式,并由此关系式得到了一个组合恒等式.此外,还给出了正整数2v＋1的自反n-colour有序分拆数与正整数2v的＂奇-偶＂无序分拆数、2v分拆成奇数的有序分拆数等几类分拆数之间的一些分拆恒等式.     

The General Solution of Ming Antu＇s Problem

In two centuries ago,Ming Autu discovered the famous Catalan numbers while he tried to expand the function sin(2px) as power series of sin(x) for the case p=1,2,3.Very recently,P.J.Larcombe shows that for any p,sin(2px) can always be expressed as an infinite power series of sin(x) involving precise combinations of Catalan numbers as part of all but the initial p terms and gave all expansions for the case p=4,5.The present paper presents the desired expansion for arbitrary integer p.     

Liouville—Ttype Theorems for Conformal Gaussian Curvature Equations in R^2

In this paper,we derive an elementary identity for smooth solutions of the following equation:△u(x) K(x)e^2u(x)=0 in R^2 and use it to get some global properties of the solutions.     

两类超Tu族的自相容源和守恒律

基于两类不同的Lie超代数和超迹恒等式, 建立了两类超可积Tu族的自相容源方程. 另外, 还建立了两类超可积Tu族的无穷守恒律. 特别地, 费米变量在超可积系统里面起了重要作用, 它不同于一般的可积系统.     

关于Smarandache函数与Riemann zeta-函数

对任意正整数n,著名的Smarandache函数S(n)定义为最小的正整数m使得n|m!.即S(n)=min{m∶m ∈N,n|m!).本文的主要目的是利用初等方法研究一类包含S(n)的Dirichlet级数与Riemann zeta-函数之间的关系,并得到了一个有趣的恒等式.     

Some Hardy Type Inequalities in R~n

Some Hardy type inequalities on the ball and its complementary set in the Euclidean space are established by using the Picone type identity and constructing suitable auxiliary functions.     

广义Fibonacci数的一些恒等式

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

不定方程解的δ-组合计数方法及应用

运用徐利治和Peter Jau-Shyong Shiue的Kronecker δ符号的组合计数方法,可以给出一般算术方程f(X)=m在给定区域内的解之计数公式,由此可产生无穷多个组合恒等式,并能引出一些不等式。     

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

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

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

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