二次項係數具有一定的對稱性：
(
n
k
)
=
(
n
n
−
k
)
.
{\displaystyle {n \choose k}={n \choose n-k}.}
證明 ：這個等式可以視為兩個集合的元素個數。考慮以下n 個元素的集合：
S
=
{
a
1
,
a
2
,
⋯
,
a
n
}
{\displaystyle S=\{a_{1},a_{2},\cdots ,a_{n}\}}
A
=
{
C
⊂
S
,
|
C
|
=
k
}
,
B
=
{
C
⊂
S
,
|
C
|
=
n
−
k
}
{\displaystyle A=\{C\subset S,\,|C|=k\},\qquad \,B=\{C\subset S,\,|C|=n-k\}}
集合A 的元素個數是
(
n
k
)
{\displaystyle {n \choose k}}
B 的元素個數是
(
n
n
−
k
)
{\displaystyle {n \choose n-k}}
A 到集合B 的映射：
f
:
A
→
B
C
↦
C
S
c
{\displaystyle {\begin{aligned}f&:\,\,A\rightarrow B\\&\,\,\,C\,\,\,\mapsto \,\,C_{S}^{c}\end{aligned}}}
對A 中的每個元素C（包含集合S中的
k
{\displaystyle k}
f 把C映射到它在S中的補集（有S中的
n
−
k
{\displaystyle n-k}
B 中。可以驗證，這個映射是雙射。所以集合A 的元素個數等於B 的元素個數。也就是說
(
n
k
)
=
(
n
n
−
k
)
.
{\displaystyle {n \choose k}={n \choose n-k}.}
對一個大於2的自然數n，首先考慮將它寫成若干個1和2的和，和項順序不同認為是不同的寫法，所有的方法數記作
a
n
{\displaystyle a_{n}}
4
=
1
+
1
+
1
+
1
=
1
+
1
+
2
=
1
+
2
+
1
=
2
+
1
+
1
=
2
+
2.
{\displaystyle 4=1+1+1+1=1+1+2=1+2+1=2+1+1=2+2.}
所以
a
4
=
5
{\displaystyle a_{4}=5}
自然數 的和，和項順序不同認為是不同的寫法，所有的方法數記作
b
n
{\displaystyle b_{n}}
a
n
=
b
n
+
2
.
{\displaystyle a_{n}=b_{n+2}.}
證明 ：考慮集合
A
n
=
{
(
x
1
,
x
2
,
⋯
,
x
m
)
,
m
⩾
1
,
∀
1
⩽
j
⩽
m
,
x
j
∈
{
1
,
2
}
,
x
1
+
x
2
+
⋯
+
x
m
=
n
}
{\displaystyle A_{n}=\{(x_{1},x_{2},\cdots ,x_{m}),\,\,\,m\geqslant 1,\,\,\forall 1\leqslant j\leqslant m,x_{j}\in \{1,2\},\,\,x_{1}+x_{2}+\cdots +x_{m}=n\}}
B
n
+
2
=
{
(
y
1
,
y
2
,
⋯
,
y
k
)
,
k
⩾
1
,
∀
1
⩽
j
⩽
k
,
y
j
⩾
2
,
y
1
+
y
2
+
⋯
+
y
k
=
n
+
2
}
.
{\displaystyle B_{n+2}=\{(y_{1},y_{2},\cdots ,y_{k}),\,\,\,k\geqslant 1,\,\,\forall 1\leqslant j\leqslant k,y_{j}\geqslant 2,\,\,y_{1}+y_{2}+\cdots +y_{k}=n+2\}.}
對集合
A
n
{\displaystyle A_{n}}
(
x
1
,
x
2
,
⋯
,
x
m
)
{\displaystyle (x_{1},x_{2},\cdots ,x_{m})}
x
i
1
=
x
i
2
,
⋯
=
x
i
k
=
2
{\displaystyle x_{i_{1}}=x_{i_{2}},\cdots =x_{i_{k}}=2}
1
⩽
i
1
<
i
2
<
⋯
<
i
k
⩽
m
{\displaystyle 1\leqslant i_{1}<i_{2}<\cdots <i_{k}\leqslant m}
i
k
<
m
{\displaystyle i_{k}<m}
k
+
1
{\displaystyle k+1}
y
1
=
x
1
+
⋯
+
x
i
1
,
y
2
=
x
i
1
+
1
+
⋯
+
x
i
2
,
⋮
⋮
y
k
=
x
i
k
−
1
+
1
+
⋯
+
x
i
k
,
y
k
+
1
=
x
i
k
+
1
+
⋯
+
x
m
+
2.
{\displaystyle {\begin{aligned}y_{1}&=x_{1}+\cdots +x_{i_{1}},\\y_{2}&=x_{i_{1}+1}+\cdots +x_{i_{2}},\\&\vdots \quad \quad \quad \vdots \\y_{k}&=x_{i_{k-1}+1}+\cdots +x_{i_{k}},\\y_{k+1}&=x_{i_{k}+1}+\cdots +x_{m}+2.\end{aligned}}}
如果
i
k
=
m
{\displaystyle i_{k}=m}
y
k
+
1
=
2
{\displaystyle y_{k+1}=2}
x
1
=
x
2
=
⋯
=
x
m
=
1
{\displaystyle x_{1}=x_{2}=\cdots =x_{m}=1}
y
1
=
n
+
2
{\displaystyle y_{1}=n+2}
那麼由於各個y元素的和必然是
n
+
2
{\displaystyle n+2}
(
x
1
,
x
2
,
⋯
,
x
m
)
{\displaystyle (x_{1},x_{2},\cdots ,x_{m})}
(
y
1
,
y
2
,
⋯
,
y
k
+
1
)
{\displaystyle (y_{1},y_{2},\cdots ,y_{k+1})}
f 是一個從
A
n
{\displaystyle A_{n}}
B
n
+
2
{\displaystyle B_{n+2}}
f 是一個單射。
對於
B
n
+
2
{\displaystyle B_{n+2}}
(
y
1
,
y
2
,
⋯
,
y
k
)
{\displaystyle (y_{1},y_{2},\cdots ,y_{k})}
y
j
{\displaystyle y_{j}}
y
j
−
2
{\displaystyle y_{j}-2}
A
n
{\displaystyle A_{n}}
f 也是一個滿射。
也就是說，f 是一個雙射。這就證明了
a
n
=
b
n
+
2
.
{\displaystyle a_{n}=b_{n+2}.}
