第28卷第l期 佛山科学技术学院学报(自然科学版) VO1.28 NO.】 2010年1月 Journa1 of Foshan University(Natural Science Edition) Jan.2010 文章编号:1008一O1 71(2010)01—0021—04 关于乘积和的两个恒等式 杨 勇 (佛山科学技术学院信息科学与数学系.广东佛山528000) 摘要:利用发生函数方法给出关于乘积和的一个恒等式的证明.并利用同样的方法。得到了关于乘积和的另一 个恒等式。 关键词:发生函数:乘积和:恒等式 中图分类号:O1 7 文献标志码:A 设k≥1是~整数。 是定义在积集E:一E ×E ×…xE (通常E 、E孙…、E 是自然数集)中所有点 f:一(f , ,….c )上的实值函数,FCE是有限集。关于厂在r的每个点f上的值的有限和 /(f)的 f∈厂 恒等式问题,曾引起许多数学研究者的关注,参见文献[1—3]。发生函数方法是现代离散数学领域中的重 要方法,它能以某种统一的程序方式处理和解决众多不同类型的问题lL4 。 设f 、r:、…、 为满足f 十f:+…十f 一 的非负整数, 、k为正整数,b 、b:、…、b 为互不相等的k个 非零复常数。寻找关于乘积和 >: C1c …c 的恒等式曾引起了许多学者的兴趣。事实上,当k一2 】+ 2+…+ 时,通过简单变换,不难得到如下恒等式 ∑ :一∑ … )一 ∑Cl一∑c 一 . 一 一 . 1+ 2 0≤ l≤^ 0≤ 】≤ 0≤‘1≤n ‘一 当七≥3呢?文献[5]给出了关于乘积和 c c:…c 的恒等式,但未给出它的证明。本文将利用发 l-}-c2-1-…+ 女 生函数方法给出它的证明,并利用同样的方法,得到了一个关于乘积和 …坶的恒等式。 1预备知识 记 ( )为函数 ( )的 阶导数,记(z) 为 ( 一1)…( 一五十1)。利用对{gg"I<1成立的几何级 数求和公式:∑ 一 ≥0 ~ ,容易得到下面的引理1和2。 引理1 设z是实数,且I I<1,则∑nt 一 。 w≥0 ‘ 。 引理2设6、z.是复数。且1次i<1,则∑b≥0 一 兰 。… 引理3设 是复数, ≥2是正整数,b 、b。、…、b 是互不相等的 个非零复常数,则有 收稿日期:2009—10-30 作者简介:杨勇(1980一)。男,海南陵水人,佛山科学技术学院助教。 22 佛山科学技术学院学报(自然科学版) 1 一一 一——第28卷 一 ‘一 (1) Ⅱ(1~6, ) i ! (1—6 )_王I(6 一6 ) i 1、J≠ ——证明 采用数学归纳法。当 一2时,不难验证 b. 中至 少有{ I一一6】 )(1~b2。) (1——bl2)(62——b1) (1一he。)( 1~一6:)’ 故式r】)成立。 假设当”一是一1时,式(1)成立,下面证明当”一矗时,式(1)也成立。由于 (一1) 。 。 ~ 一一 个等1 l f(一1)k-2 一 ∑~ ~ 于O . 一 i——一 (1一bkz)(1一b,z) ]_—— Ⅱ(】一6 2) 1_bkz i=1(1 一 i=i 一 卜Ⅱ(6 一6 ) i=1.J; (一1) 。 一。 —b 一一 ・——Ib l1=广一一—— I— (1一 2)(b 一b ) L1一b )( 一{Ⅱ( 一b1)b ) 一 J 1. 手 ㈠Ⅱ一 1 k --‘. . 、 (——1)!二 ~ 6 一。:竺: 二( 竺: 1 n_bk ̄ i=1(卜一 b ̄) k-I ’(6 一6 ) 一 (1—6, )Ⅱ(6 一b1) 』:1,J} L 1一一b (1—6 )Ⅱ(6 一6,) 』:1--; i k一1 1 (一1) ~ 1一bkz 下 ————一 二( 二 ’Ⅱ(6 ~bk) (1—6 2)Ⅱ(6 一bi) i=】 — i 1 (1—6, )II(6 一bl l=i.i毕 故式(1)成立。证毕。 2 主要结果 定理1 z 设f 、c。、…、 为满足f +f。十…+f = 的非负整数, 、k为正整数,则有 ( :一1 )( 。一2。)…( ~(k一1):) (2k一1)! 。 (2) 证明 (1)设 <志。对于任意一个非负整数组c 、f。、…、f ,由约束条件f +f。+…+c 一 可知f 、 中恰好含有因式(n2-/,/2)一0 所以丛 二 善 二 二 一o。因此,式(2)成立。 不难验证, ∑mt j 展开后f 的系数正是a 。因此 m≥0 (f)一∑ ∑删 ≥^ 7 ≥0 由引理】.得 (f)一 ∑rnt j 一 m≥0 由莱布尼茨公式,得 ( 一 ∽( 厂 =:: 于是∑f 一 O 又 因为理 一 一一 一第1期 杨 勇:关于乘积和的两个恒等式 23 ∑A-f?1(点)it ̄k-i)(2志+ 一 一1) 壹 从而 , o\1/ (2七十 一i一 一 (1一t) t —— (。)一( )( ) (2志+ 一点一1) 一 :== k !(,2一k )! 。 ・ (2k 一1 )! 一 !( +k一1)! (,2一k)!(2k一1)!’ 6 6 十 ∑一 于是 一 ,“ 】:=一’(O) ! ( +k一1)! == ( ——k)!(2k一1)!一 铅 一 (T/+k一1)( +k一2)…( 一k+2)( 一k+1) (2k 1)! ( 。一1 )( 。一2。)…( 一(k一1))。 (2k一1)! 。 因此,式(2)成立。证毕。 定理2设f 、f “、 为满足f 十f:+…+ : 的非负整数,,2、k为正整数,b1、b:、…、b 为互不相 等的k个非零复常数,则有 fb , k一1, 厶 壹 ,:1・J≠I , ≥2 ,/ o (3) Ⅱ( 一6,) 证明 (1)设k=l。显然 ∑ 6 …铅一 。 1十f2+…十c女 (2)设志≥2。令 一 ∑ 6 …铅,考虑n 的发生函数 (。)一∑n , 为复数。不难验 1+ 2+…+ = 月≥0 证,Ⅱ (∑bTz )展开后 的系数正是n 。因此, i 1 ≥O ( )=∑n 。 一Ⅱ (∑ ), ≥0 i 1 m;≥0 由引理2,得 ( )一Ⅱ(∑bTz )一 Ⅱ(1—6 2) i 1 m≥0 1 其中max{Ibl l,Ib2zl,…,i f}<1。 由引理3,得 (2)一 二 :(: : …J=1.J≠ Ⅱ(1—6, ) 对 (2)求 阶导数,得 (1—6 2)Ⅱ(6 一6 ) 二 :: := 一一 (z)一∑ ((1一 6 2)刑Ⅱ(bj一6,) , 从而 24 佛山科学技术学院学报(自然科学版) (一1)k- 6: 一 ! ——— ————————~第28卷 (。)一∑ ,:1 ’ J=1., i Ⅱ(6,一6 ) 于是 一l一 一刍 (~1) 一 6 一 0 一 ⅡL6 一bi) J;1,J{ 因此,式(3)成立。证毕。 参考文献: [1]ZHANG W.Some identities involving the Fibonacci numbers EJ].The Fibonacci Quarterly,1997,35(3):225— 229. 2]ZHAO F.WANG T.Some identities involving the generalized Fibonacci and Lucas numbers[J3.Ars Combinato— ria。2004.72:311—318. r3]朱伟义.杜风英.张跃平.有关Lucas数一个组合的恒等式[j].河南科学.2009.27(8):893—895. [4]HERBERT S W.发生函数论[M].王天明.译.北京:清华大学出版社,2003. [5]LOUIS C.高等组合学[M].谭明术.译.大连:大连理工大学出版社.1991. 【责任编辑:王桂珍】 Two identities for sums of products YANG Yong (Department of Mathematics.Foshan University,Foshan 528000.China) Abstract:In this paper.the demonstration of one identity for sums of products was given by using the method of generating function,and by using the same method,the other identity for sums of products was obtained. Key words:generating function;sums of products;identity