考虑直接用定义计算古典概型高阶原点矩的复杂性,本文给出了2种计算古典概型高阶矩的方法。方法一中考虑(1 + n)m+1的二项展开式,应用数学归纳法,得出了古典概型高阶矩的递推表达式。方法二中考虑
夏杰,吴文青,李晓慧,王志平,兰海洋
西南科技大学理学院,四川 绵阳
收稿日期:2018年4月30日;录用日期:2018年5月18日;发布日期:2018年5月25日
考虑直接用定义计算古典概型高阶原点矩的复杂性,本文给出了2种计算古典概型高阶矩的方法。方法一中考虑(1 + n)m+1的二项展开式,应用数学归纳法,得出了古典概型高阶矩的递推表达式。方法二中考虑 ∑ i = 1 n i m 可表示成m + 1次多项式的形式,将问题转化为求解m元线性方程组,从而给出古典概型高阶矩的表达式。最后,以掷骰子随机实验和选取英文字母随机实验的高阶原点矩的求解为例具体给出了两种方法的计算过程。
关键词 :古典概型,高阶原点矩,递推公式,线性方程组
Copyright © 2018 by authors and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
古典概型也叫传统概率,其定义是由法国数学家拉普拉斯(Laplace)提出的 [
在概率论与统计中,对于连续型随机变量的m阶原点矩通过利用其对应的分布函数Laplace变换经过求导并在参数为零时即可求得。然而,对于离散型随机变量的m阶原点矩的计算就显得极其困难。在概率论与数理统计、随机过程教材中均没有给出求解离散随机变量高阶原点矩的计算公式或递推表达式。
对于离散随机变量高阶矩的计算现已有大量研究。魏孝章 [
本文给出了2种计算古典概型高阶矩的方法。一方面,考虑 ( 1 + n ) m + 1 的二项展开式,应用数学归纳
法,得出了古典概型高阶矩的递推表达式。另一方面,考虑 ∑ i = 1 n i m 可表示成 m + 1 次多项式,进一步转化
为m元线性方程组,对线性方程组进行求解即可求出古典概型高阶矩的表达式。最后,以掷骰子实验和选英文字母实验为特殊实例,给出了各自的前6阶矩的数值结果。
设某一随机事件有n个样本点,且每个样本点发生的可能性相等。若事件A有p个样本点,则事件A的概率为 p n 。现对n个样本点标号,分别为 1 , 2 , ⋯ , n ,记随机变量X为任取一个样本点上面的数字,则随机变量X的m阶原点矩分别为:
随机变量X的一阶原点矩:
E [ X ] = p n × 1 + p n × 2 + p n × 3 + ⋯ + p n × n = p n ∑ i = 1 n i = p n × n ( n + 1 ) 2 .
随机变量X的二阶原点矩:
E [ X 2 ] = p n × 1 2 + p n × 2 2 + p n × 3 2 + ⋯ + p n × n 2 = p n ∑ i = 1 n i 2 = p n × n ( n + 1 ) ( 2 n + 1 ) 6 .
随机变量X的三阶原点矩:
E [ X 3 ] = p n × 1 3 + p n × 2 3 + p n × 3 3 + ⋯ + p n × n 3 = p n ∑ i = 1 n i 3 = p n × ( n ( n + 1 ) 2 ) 2 .
随机变量X的m阶原点矩:
E [ X m ] = p n × 1 m + p n × 2 m + p n × 3 m + ⋯ + p n × n m = p n ∑ i = 1 n i m .
可见,为了确切地给出 E [ X m ] 的表达式,关键问题是要计算 ∑ i = 1 n i m 的表达式。从上面的推导看出,
当m的取值比较小时,我们是可以很快计算出来的。但是,当m的取值逐渐增大时,求解 ∑ i = 1 n i m 就变得异常复杂,直接的求解显然是不大现实的。也正是因为这一原因,所以到目前为止,也鲜有文献报道离散随机变量高阶原点矩的求解。本文针对这一表达式,提出了两种计算其表达式的方法。下面具体给出求解 ∑ i = 1 n i m 的详细步骤。
众所周知, ( 1 + n ) m + 1 可表示成如下形式:
( 1 + n ) m + 1 = ( m + 1 0 ) n m + 1 + ( m + 1 1 ) n m + ( m + 1 2 ) n m − 1 + ⋯ + ( m + 1 m + 1 ) n 0 (1)
进一步,式(1)移项后可得:
( 1 + n ) m + 1 − n m + 1 = ( m + 1 1 ) n m + ( m + 1 2 ) n m − 1 + ⋯ + ( m + 1 m + 1 ) n 0 (2)
对式(2),分别取不同的n的值,得到下面的表达式,
{ ( 1 + n ) m + 1 − n m + 1 = ( m + 1 1 ) n m + ( m + 1 2 ) n m − 1 + ⋯ + ( m + 1 m + 1 ) n 0 , n m + 1 − ( n − 1 ) m + 1 = ( m + 1 1 ) ( n − 1 ) m + ( m + 1 2 ) ( n − 1 ) m − 1 + ⋯ + ( m + 1 m + 1 ) ( n − 1 ) 0 , ( n − 1 ) m + 1 − ( n − 2 ) m + 1 = ( m + 1 1 ) ( n − 2 ) m + ( m + 1 2 ) ( n − 2 ) m − 1 + ⋯ + ( m + 1 m + 1 ) ( n − 2 ) 0 , ⋮ 2 m + 1 − 1 m + 1 = ( m + 1 1 ) 1 m + ( m + 1 2 ) 1 m − 1 + ⋯ + ( m + 1 m + 1 ) 1 0 . (3)
式(3)中,等号两边分别相加可得:
( 1 + n ) m + 1 − 1 = ( m + 1 1 ) ∑ i = 1 n i m + ( m + 1 2 ) ∑ i = 1 n i m − 1 + ⋯ + ( m + 1 m + 1 ) ∑ i = 1 n i 0 (4)
令式(4)中, A k = ∑ i = 1 n i k , k = 0 , 1 , 2 , ⋯ , m ,则式(4)可表示为:
( 1 + n ) m + 1 − 1 = ( m + 1 ) A m + ∑ k = 2 m + 1 ( m + 1 k ) A m + 1 − k = ( m + 1 ) A m + ∑ k = 0 m − 1 ( m + 1 m + 1 − k ) A k = ( m + 1 ) A m + ∑ k = 0 m − 1 ( m + 1 k ) A k (5)
综上,可得 A m 的通项公式为:
A m = ( 1 + n ) m + 1 − 1 − ∑ k = 0 m − 1 ( m + 1 k ) A k m + 1 , m = 1 , 2 , � (6)
此时,注意到
{ A 0 = n , A 1 = ∑ i = 1 n i = n ( n + 1 ) 2 , A 2 = ∑ i = 1 n i 2 = n ( n + 1 ) ( 2 n + 1 ) 6 , A 3 = ( n ( n + 1 ) 2 ) 2 . (7)
由 A m 的通项公式可知,有初值和递推表达式,则 A m 的值即可求解。
为了计算
∫ 0 n x 2 d x < ∑ i = 1 n i 2 < ∫ 0 n ( x 2 + 1 ) d x (8)
进一步,式(8)可化为
1 3 n 3 < ∑ i = 1 n i 2 < 1 3 ( n + 1 ) 3 (9)
如果 ∑ i = 1 n i 2 存在通项公式,可设 ∑ i = 1 n i 2 为三次多项式,即
∑ i = 1 n i 2 = a n 3 + b n 2 + d n + d (10)
图1. ∑ i = 1 n i 2 与 ∫ 0 n x 2 d x 和 ∫ 0 n ( x + 1 ) 2 d x 之间的关系
式(10)中, ∑ i = 1 1 i 2 = 1 , ∑ i = 1 2 i 2 = 5 , ∑ i = 1 3 i 2 = 14 , ∑ i = 1 4 i 2 = 30 ,则式(11)可进一步转化为四元一次方程组为
{ a + b + c + d = 1 8 a + 4 b + 2 c + d = 5 27 a + 9 b + 3 c + d = 14 64 a + 16 b + 4 c + d = 30 (11)
求解四元一次方程组,得到解为 a = 1 / 3 , b = 1 / 2 , c = 1 / 6 , d = 0 。于是,式(10)可表示为:
∑ i = 1 n i 2 = n 3 3 + n 2 2 + n 6 (12)
同理, ∑ i = 1 n i m 满足
1 m + 1 n m + 1 < ∑ i = 1 n i m < 1 m + 1 ( n + 1 ) m + 1 (13)
如果 ∑ i = 1 n i m 存在通项,则其应有表达式
∑ i = 1 n i m = ∑ j = 0 m + 1 a j n j (14)
则可以通过建立m元一次方程组
{ a 0 1 m + 1 + a 1 1 m + ⋯ + a m 1 + a m + 1 = ∑ i = 1 1 i m a 0 2 m + 1 + a 1 2 m + ⋯ + a m 2 + a m + 1 = ∑ i = 1 2 i m ⋮ a 0 ( m + 2 ) m + 1 + a 1 ( m + 2 ) m + ⋯ + a m ( m + 2 ) + a m + 1 = ∑ i = 1 m + 2 i m (15)
式(15)中只要给定一个确定的m就可求出 a j 。
a j = D i D , j = 0 , 1 , ⋯ , m + 1. (16)
其中,
D j = ( 1 m + 1 1 m ⋯ ∑ i = 1 1 i m ⋯ 1 2 m + 1 2 m ∑ i = 1 2 i m 1 3 m + 1 3 m ∑ i = 1 3 i m 1 ⋮ ⋱ ⋮ ⋱ ⋮ ( m + 1 ) m + 1 ( m + 1 ) m … ∑ i = 1 m + 2 i m … 1 ) , D = ( 1 m + 1 1 m ⋯ 1 2 m + 1 2 m 1 3 m + 1 3 m 1 ⋮ ⋱ ⋮ ( m + 1 ) m + 1 ( m + 1 ) m ⋯ 1 )
由式(14)可知,只要求出 a j 就可求出 A m = ∑ i = 1 n i m = ∑ j = 0 m + 1 a j n j 。
下面给出两个古典概型高阶原点矩的计算表达式,以此验证我们提出的计算方法的正确性。
1) 掷骰子实验
掷一个质地均匀骰子的实验,出现1,2,3,4,5,6六个点数的概率是等可能的,为古典概型。记 X 为掷骰子实验出现的点数,其中 X = 1 , 2 , 3 , 4 , 5 , 6 ,则每次发生的概率为 P { X = n } = 1 6 。
事实上,它的前6阶原点矩可计算得到
E [ X ] = 21 6 , E [ X 2 ] = 91 6 , E [ X 3 ] = 441 6 , E [ X 4 ] = 2275 6 , E [ X 5 ] = 12201 6 , E [ X 6 ] = 67171 6 .
下面我们采用本文提出的方法来计算:
方法一:数学归纳法
当 n = 6 时, A 1 = 21 , A 2 = 91 , A 3 = 441 ,可根据方法一式(6)可计算 A 4 , A 5 , A 6 。
A 4 = 7 5 − 1 − ∑ k = 0 3 ( 5 k ) A k 5 = 2276
A 5 = 7 6 − 1 − ∑ k = 0 4 ( 6 k ) A k 6 = 12201
A 6 = 7 7 − 1 − ∑ k = 0 5 ( 7 k ) A k 7 = 67171
因此,骰子的实验的前6阶矩为:
E [ X ] = 1 6 × A 1 = 21 6 , E [ X 2 ] = 1 6 × A 2 = 91 6 , E [ X 3 ] = 1 6 × A 3 = 441 6 , E [ X 4 ] = 1 6 × A 4 = 2275 6 , E [ X 5 ] = 1 6 × A 5 = 12201 6 , E [ X 6 ] = 1 6 × A 6 = 67171 6 .
方法二:线性方程组
由式(14)~(16)可计算出 ∑ i = 1 n i m , m = 1 , 2 , 3 , ⋯ , 6 的通项公式,可得以下表达式:
A 1 = ∑ i = 1 n i = n 2 2 + n 2 ,
A 2 = ∑ i = 1 n i 2 = n 3 3 + n 2 2 + n 6 ,
A 3 = ∑ i = 1 n i 3 = n 4 4 + n 3 2 + n 2 4 ,
A 4 = ∑ i = 1 n i 4 = n 5 5 + n 4 2 + n 3 3 − n 30 ,
A 5 = ∑ i = 1 n i 5 = n 6 6 + n 5 2 + 5 n 4 12 − n 2 12 ,
A 6 = ∑ i = 1 n i 6 = n 7 7 + n 6 2 + n 5 2 − n 3 6 + n 42 .
当 n = 6 时, A 1 = 21 , A 2 = 91 , A 3 = 441 , A 4 = 2275 , A 5 = 12201 , A 6 = 67171. 因此,可计算 E [ X ] = 21 6 , E [ X 2 ] = 91 6 , E [ X 3 ] = 441 6 , E [ X 4 ] = 2275 6 , E [ X 5 ] = 12201 6 , E [ X 6 ] = 67171 6 .
2) 选英文字母实验
每次敲键盘,出现的 A , B , C , ⋯ Z 共26个字母的概率是等可能的,为古典概型。记 X 为敲键盘实验出现的字母,为了方便计算记 X = 1 , 2 , 3 , ⋯ , 26 ,则每次发生的概率为 P { X = n } = 1 26 。
事实上,它的前6阶原点矩可计算得到
E [ X ] = 27 2 , E [ X 2 ] = 477 2 , E [ X 3 ] = 9477 2 , E [ X 4 ] = 200817 2 , E [ X 5 ] = 2216039 2 , E [ X 6 ] = 50299889 2 .
方法一:数学归纳法
当 n = 26 时, A 1 = 351 , A 2 = 6201 , A 3 = 123201 ,可根据方法一式(6)可计算 A 4 , A 5 , A 6 。
A 4 = 27 5 − 1 − ∑ k = 0 3 ( 5 k ) A k 5 = 2610621
A 5 = 27 6 − 1 − ∑ k = 0 4 ( 6 k ) A k 6 = 57617001
A 6 = 27 7 − 1 − ∑ k = 0 5 ( 7 k ) A k 7 = 1307797101
进一步,可计算选英文字母实验的前6阶矩为:
E [ X ] = 1 26 × A 1 = 27 2 , E [ X 2 ] = 1 26 × A 2 = 477 2 , E [ X 3 ] = 1 26 × A 3 = 9477 2 , E [ X 4 ] = 1 26 × A 4 = 200817 2 , E [ X 5 ] = 1 26 × A 5 = 2216039 2 , E [ X 6 ] = 1 26 × A 6 = 50299889 2 .
方法二:线性方程组
当 n = 26 时,因此 A 1 = 351 , A 2 = 6201 , A 3 = 123201 , A 4 = 2610621 , A 5 = 57617001 , A 6 = 1307797101 . ,可计算 E [ X ] = 27 2 , E [ X 2 ] = 477 2 , E [ X 3 ] = 9477 2 , E [ X 4 ] = 200817 2 , E [ X 5 ] = 2216039 2 , E [ X 6 ] = 50299889 2 .
从上面两个实例可看出,本文给出的2种计算古典概型高阶矩的计算数值与由定义计算出的古典概型高阶原点矩的数值相等,进一步说明了,本文提出的计算高阶矩的方法具有一定的有效性和实用性。
本文给出了2种计算古典概型高阶矩的方法,得出计算古典概型高阶矩的递推表达式。以掷骰子实验和选英文字母实验为特殊实例,给出了给自的前6阶矩的计算数值。本文研究的工作为古典概型的随机变量高阶矩的计算给出了可行的计算公式,为计算机求解高阶矩带来了方便。
夏 杰,吴文青,李晓慧,王志平,兰海洋. 计算古典概型高阶原点矩的新方法 A New Method for Calculating the High Order Origin Moments of Classical Probability Models[J]. 应用数学进展, 2018, 07(05): 584-592. https://doi.org/10.12677/AAM.2018.75069