
- биномиальный коэффициент. При всех k кроме k=0 и k=p, числитель этого биномиального коэффциента делится на p, а знаменатель не делится, Т.к. p - простое, а само
- целое, то p делит все слагаемые
кроме крайних единиц. Значит остаток от деления 2^p на p равен 2. И поэтому остаток отделения
равен 1.
, у вас тут
, и оно не делится на
, откуда и следует утверждение задачи
. Но рассматривать частные случаи , что то не охота
, то есть имеет вид
, то найдется такое число во множители что ,
будет делится на
, опять не для всех , а только для простого числа . А она следует из теорема Эйлера.