(x+y)n の展開式に関する2項定理があって、その係数を手早く知るためのパスカルの三角形があるなら、(x+y+z)n の展開式に関する3項定理と、その係数を手早く知るためのパスカルの四面体なるものがあっても良いだろうと考えて、作ってみた。
まず2項定理の発展形としての3項定理は次の通り。
2項定理: (x+y)n の展開式の xn−ryr の係数は nCr
(ただし r=0,1,2,…,n)
3項定理: (x+y+z)n の展開式 xpyqzr の係数は p!q!r!n!
(ただし p,q,r は負でない整数で p+q+r=n)
図左は通常のパスカルの三角形である。これを使って、(x+y)n の展開式が次のようになる。
(x+y)0= 1
(x+y)1= x+y
(x+y)2= x2+2xy+y2
(x+y)3= x3+3x2y+3xy2+y3
(x+y)4= x4+4x3y+6x2y2+4xy3+y4
:

パスカルの三角形の立体バージョンを作ってみた。仮に「パスカルの四面体」と名付けよう。上図中の面 OXY,OYZ,OZX はいずれも通常のパスカルの三角形と同じである。違うのは四面体の底面にあたる部分で、すぐ上の3つの数を足した値になる。上図右に書いた通りである。これを使うと、(x+y+z)n の展開式が次のように書ける。
(x+y+z)0=1
(x+y+z)1=x+y+z
(x+y+z)2=x2+y2+z2+2(xy+yz+zx)
(x+y+z)3=x3+y3+z3+3(x2y+xy2+y2z+yz2+z2x+zx2)+6xyz
(x+y+z)4=x4+y4+z4+4(x3y+xy3+y3z+yz3+z3x+zx3)
+6(x2y2+y2z2+z2x2)+12xyz(x+y+z)
:
どれだけ使い物になるかは分からないが、多分合っているだろうし、頭の体操にはなるだろう。
なお、さらに発展させて、4項定理は
4項定理: (x+y+z+w)n の展開式 xpyqzrws の係数は p!q!r!s!n!
(ただし p,q,r,s は負でない整数で p+q+r+s=n)
と3項定理と同じような形で書けるが、パスカルの三角形に当たるものは描けそうにない。4次元図形になってしまうからである。
◇ ◇ ◇
〜 順列と組合せとその周辺 〜
▷ 重複順列と重複組合せ
▷ パスカルの三角形の裏事情
▷ 3項定理とパスカルの四面体
▷ 場合の数の数え方と確率の数え方の違い