Республиканская олимпиада по математике, 2003 год, 9 класс


Докажите, что число $C_{2p}^p - 2$ делится на $p^2$. для любого простого $p$, где $C_{2p}^p=\frac{(2p)!}{{(p!)}^2}$.
посмотреть в олимпиаде

Комментарий/решение:

  2
2021-05-10 23:18:31.0 #

Келесі теңдікті пайдалансақ: $C_{2p}^{p}=\left ( C_{p}^{0} \right )^2+\left ( C_{p}^{1} \right )^2+...+\left ( C_{p}^{p-1} \right )^2+\left ( C_{p}^{p} \right )^2.$

$C_{n}^{k}=C_{n}^{n-k} $; $C_{p}^{0}=C_{p}^{p}=1.$

$C_{2p}^{p}-2=\left ( C_{p}^{0} \right )^2+\left ( C_{p}^{1} \right )^2+...+\left ( C_{p}^{p-1} \right )^2+\left ( C_{p}^{p} \right )^2-2=\left ( C_{p}^{1} \right )^2+...+\left ( C_{p}^{p-1} \right )^2.$

$\left (C_{p}^{1} \right )^2=\left (\frac{p!}{(p-1)!1!} \right )^2=p^2.$

$\left (C_{p}^{2} \right )^2=\left (\frac{p!}{(p-2)!2!} \right )^2=\frac{(p-1)^2p^2}{\left (2! \right )^2}$

$--------------$

$\left (C_{p}^{p-1} \right )^2=p^2.$

$C_{2p}^{p}-2=p^2\left (1+\frac{(p-1)^2}{(2!)^2}+\frac{(p-2)^2(p-1)^2}{(3!)^2}+...+1 \right ).$

  3
2021-05-18 23:59:50.0 #

$$Случай 1:p=2$$

$C_{4}^{2}=$ $6-2=4=2^2*1$ победа

$$Случай 2:p>2$$

$C_{2p}^{p}-2=2p!/p!-2=2*(p*(2p-1)!)/p!$, так как $p>2$ будет достаточно показать что $(p*(2p-1)!/p!)-1$ делится на $p^2$

Во-первых, заметим что $p*(2p-1)!/p! \equiv p*(p-1)!/p!=1 \pmod {p}$, следовательно $(p*(2p-1)!/p!)-1$ делится на $p$, следовательно

$$(p*(2p-1)!/p!)-1)/p=(2p-1)!/p!-1/p$$-целое

Для завершения доказательства, достаточно показать что $(2p-1)!/p!-1/p$ делится на $p$

Действительно, $(2p-1)!/p!-1/p \equiv (p-1)!/p!-1/p=1/p-1/p=0 \pmod {p}$, отсюда получаем требуемое