二項定理
初等代数学における二項定理（にこうていり、）または二項展開 ("binomial expansion") は二項式の冪の代数的な展開を記述するものである。定理によれば、冪 は の形の項の和に展開できる。ただし、冪指数 は を満たす非負整数で、各項の係数 は と に依存して決まる特定の正整数である。例えば
 の項の係数 は二項係数 formula_4 とも呼ばれる。これら係数を および を動かして並べることでパスカルの三角形を描くことができる。これらの数は組合せ論においても現れ、formula_5 は-元集合から 個の相異なる元を選ぶ組合せの総数を与える。