🐡

nが素数のときnCrはnで割れる

2023/09/07に公開
\begin{aligned} r \ _n\mathrm{C}_r &= r\ \frac{n!}{(n-r)!r!} \\ &=n\ \frac{(n-1)!}{(n-r)!(r-1)!} \\ &= n \ _{n-1}\mathrm{C}_{r-1} \\ \end{aligned}
\begin{aligned} r \ _n\mathrm{C}_r &= n \ _{n-1}\mathrm{C}_{r-1}\\ &= nk\ (k \in \mathbb{Z}) \end{aligned}

r,nが互いに素なら、krの倍数。

_n\mathrm{C}_r = n \frac{k}{r}=nk'

となり、_n\mathrm{C}_rはnの倍数。
n \in \mathbb{P},1 \leq r < n のとき,rnは互いに素。したがってnが素数のとき、\ _n\mathrm{C}_rnで割れる。

ポイント

nとrが互いに素なら、という条件を見つけること。

reference

https://manabitimes.jp/math/588

GitHubで編集を提案

Discussion