这是一篇关于 Lucas 定理证明的博客。 当 r>qr>qr>q 时,xrx^rxr 这一项在最后的乘式中找不到。此时 CqrC_q^rCqr 也正好应该等于 000。 但是,这个证明严谨吗?是因为我把 nnn 表示为了 sp+qsp+qsp+q,才导致了 xrx^rxr 这一项系数为 000。有没有佬能解答一下,谢谢!