求和符号西格马

1求和符号西格马数学中常遇到众多项的和的问题，为了表述的方便，引入了用求和符号简单表述的方法。并且，在数学的很多地方，都起到了重要的作用。1求和符号的一般规律下面的和式naaaa321可以简单的表示为niia1。这里的整数i是变量，而ia是i的函数。1i指出了i所取的最小值，n指出了i所取的最大值。当然，i不是必须从1开始，它可以从小于等于n的任何一个整数m开始，如nminmmmiaaaaa21特殊地，有nniniaa。了解了求和符号的一般规律，可以使复杂的问题简单化。下面我们着手进行这些规律的研究。定理1：nmiimiiniiaaa111，其中m是介于1和n间的整数。证明：很明显，这是加法结合律的必然结果。相当于把n个数分成了两部分，分别求和后再求和。定理2：niiniiniiibaba111证明：由加法的交换律和结合律可知niiniinnnnniiibabbbaaabababababa1121213322111很明显，上面的两项和的问题可以扩展到多项，更一般地，有定理3：nikiniiniiniinikiiiiaaaaaaaa11312111321这个结果可以由定理2简单地推出。2对于ikiiiiaaaaa321，有niiniiakka11其中k为常数，且为整数。这个结果告诉我们求和符号里面的整数常数可以提到求和符号的外边来。不但如此，我们还可以将这个整数常数推广成任意的常数。定理4：niiniiarra11，其中的r为任意常数。证明：niinnniiaraaarrararara121211可见，定理4是乘法分配律的结果。例1：已知211nnini，试求nii112。解：211111212121212nnnniiininininini。例1实际上是证明了从1开始的连续n项奇数的和等于2n。例2：已知211nnini，试求nii12。解：由二项式定理可知：1331233iiii，这说明nininininiiiii111213131331（1）注意到3333131321nnini333313321nini有11131313niinini（2）将这个结果代入（1）式有nininiiin11123133113将211nnini代入可得：nnninni213311123整理可得：1216112nnnini。例2实际上是求出了从1开始的n个连续自然数平方的和。一般来说，类似于定理2的niiniiniiibaba111是不成立的，niiiba1描述的是n项的和，而niiniiba11描述的是2n项的和，而且这些项包含niiiba1的所有项。2双重求和与平面阵列数列每一项都由相互独立的两个数i和j决定，即数列是i、j的二元函数，它的一般项记为ija。取ni,,3,2,1，mj,,3,2,1，则ija表示了下面阵列的所有项nmnnnmmmaaaaaaaaaaaaaaaa,,,,,,,,,,,,,,,,321333323122322211131211（3）这mn项的和，简略地记为mjniija11，符号mjni11是一个整体，称为双重求和符号。它与前面讨论的求和符号有什么联系吗？下面我们进行这个讨论。求阵列（3）所有项的和可以有很多种方法，这里我们着重指出两种。一种是先求各行的和，再将各行的和累加；另一种是先求各列的和，再将各列的和累加。先按行求和，有nimjijmjnjmjjmjjmjjaaaaa111131211先按列求和，有mjniijniimniiniiniiaaaaa111131211由于不管是mjniija11、nimjija11还是mjniija11，表示的都是阵列（3）所有项的和。因此有：定理5：mjniijnimjijmjniijaaa1111114这表明，双重求和可以化成对i和j的累次求和来进行，并且与求和的顺序无关。即，我们即可以先对i求和也可以先对j求和。例3：设jiaij，试求mjniija11。解：12121211212132111111111nmmnmmnnmnjnnnnjnnjnjjjjiamjmjmjmjmjnimjniij例4：求mjniij11。解：1141212121321111nmmnnnmmimmmiiiiijninimjni上面的两个例题实际上是解决了nm阵内所有项和的问题（如图1、图2所示）。………………1+52+53+54+55+5…1+42+43+44+45+4…1+32+33+34+35+3…1+22+23+24+25+2…1+12+13+14+15+1…图1………………1×52×53×54×55×5…1×42×43×44×45×4…1×32×33×34×35×3…1×22×23×24×25×2…1×12×13×14×15×1…图2