リュカの定理

3行要約

1. 二項係数を素数pで割った余りに関する数論の定理である。
2. 大きな二項係数の合同式を、p進展開を用いて計算する。
3. 組合せ論や数論の分野で広く利用される。