Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Математика _ Делимость суммы на 17

Автор: Вячеслав Л. 1.03.2011 22:08

Доказать, что 2+22+23+24+...+22008 делится на 17.

Первое, что приходит в голову - вынести общий множитель. Затем, наверное, должна быть какая-то группировка, не могу придумать.

Прочитал такое:

Цитата
Признак делимости на 17

Число делится на 17 тогда и только тогда, когда число его десятков, сложенное с увеличенным в 12 раз числом единиц, кратно 17 (например, 29053→2905+36=2941→294+12=306→30+72=102→10+24=34. Поскольку 34 делится на 17, то и 29053 делится на 17). Признак не всегда удобен, но имеет определенное значение в математике. Есть способ немного проще — число делится на 17 тогда и только тогда, когда разность между числом его десятков и упятерённым числом единиц кратна 17 (например, 32952→3295-10=3285→328-25=303→30-15=15; поскольку 15 не делится на 17, то и 32952 не делится на 17).
Википедия

Но у нас не число, а последовательность. Что делать?

Автор: volvo 1.03.2011 22:58

Цитата(Вячеслав Л. @ 1.03.2011 17:08) *

Доказать, что 2+22+23+24+...+22008 делится на 17.
Ну, а если переписать эту последовательность так:

(2+22+23+24+25+26+27+28) + 28(2+22+23+24+25+26+27+28) + 214(...) + ... ? А каждая из скобок делится на 17.

Автор: kumino 1.03.2011 23:04

2+2^2+2^3+2^4+...+2^2008=(2+1)*(2+2^3+...+2^2007)=(2+1)*(2^2+1)*(2+2^4+2^7+...+2^2006)=
=(2+1)*(2^2+1)*(2^3+1)*(2+2^5+2^9+2^13+...+2^2005)=(2+1)*(2^2+1)*(2^3+1)*(2^4+1)*(2+2^6+2^11+...+
+2^2004) 2^4+1=17, итак эта сумма кратна 17.

Автор: Вячеслав Л. 2.03.2011 21:40

Спасибо good.gif

volvo, а почему вы предположили, что скобка делится на 17? Или просто посчитали: 2 + 4 + 8 + 16 + 32 + 64 + 128 + 256 = 510, 510 делится на 17?

kumino, используй, пожалуйста, в следующий раз sup, очень неудобно читать.

Автор: volvo 2.03.2011 21:50

Я предположил, что какая-то из накапливающихся сумм будет делиться на 17. И проверил: прошел по нескольким элементам, пока не дошел до суммы = 510, которая на 17 делится.

Автор: Вячеслав Л. 2.03.2011 21:52

Понятно.

Автор: -TarasBer- 2.03.2011 23:06

2+...+2^8 = 1*(1+2+4+...+2^7) = 1*(2^8-1) = 1*(2^4-1)*(2^4+1)

Автор: volvo 2.03.2011 23:21

Только выносить за скобку надо 2, а не 1... Хотя это ничего и не меняет.