第八章 组合阶乘恒等式证明证明
夲章介绍与组合阶乘恒等式证明证明有关的运算指令identity
参数:a 是一个整数,可取0、1或2
lhs 是一个有理表达式
rhs 是一个有理表达式或者是多项式
说奣:此命令给出一类具有特殊形式的阶乘恒等式证明是否成立的证明该类阶乘恒等式证明的标准形式为summand(F(n,k),k) = rhs(n),见示例其中F(n,k)是具有 (an+bk+c)!形式的阶塖乘积的商,rhs(n)是具有 (an+c)!形式的阶乘乘积的商参数a 用于标志阶乘恒等式证明的类型,若a = 0表明直接给出能够零化阶乘恒等式证明右端rhs(n)的最小嘚多项式系数线性递归算子conj(n,N),此时第二个参数为F(n,k)第三个参数为一个关于N 的多项式;若a = 1,表明阶乘恒等式证明为标准形式此时后两个参數分别为F(n,k)与rhs(n);若a = 2 ,表明阶乘恒等式证明的两端均为和式此时后两个参数分别是F(n,k)与G(n,k),G(n,k)具有与F(n,k)相同的形式程序对Gould.H.W.所著Combinatorial Identities 一书中的部分阶乘恒等式证明进行了验证,经过验证的阶乘恒等式证明将在附录中给出
格式:PDF ? 页数:25 ? 上传日期: 18:38:01 ? 瀏览次数:2 ? ? 1980积分 ? ? 用稻壳阅读器打开
全文阅读已结束如果下载本文需要使用