Докажите что ни при каком натуральном K Число два в степени K + 1 не делится на 7

Давайте докажем, что при любом натуральном \( K \) число \( 2^{K+1} \) не делится на 7.

Для начала, рассмотрим остатки от деления степеней 2 на 7. Мы можем посчитать несколько первых степеней двойки и найти остатки:

• \( 2^1 = 2 \) → остаток 2 при делении на 7.
• \( 2^2 = 4 \) → остаток 4 при делении на 7.
• \( 2^3 = 8 \) → остаток 1 при делении на 7 (так как \( 8 - 7 = 1 \)).
• \( 2^4 = 16 \) → остаток 2 при делении на 7 (так как \( 16 - 14 = 2 \)).
• \( 2^5 = 32 \) → остаток 4 при делении на 7 (так как \( 32 - 28 = 4 \)).
• \( 2^6 = 64 \) → остаток 1 при делении на 7 (так как \( 64 - 63 = 1 \)).

Как видно, остатки от деления степеней двойки на 7 повторяются с периодом 3: \( 2, 4, 1 \).

Теперь давайте проверьте \( 2^{K+1} \) в зависимости от значения \( K \):

1. Если \( K \equiv 1 \mod 3 \), тогда \( K+1 \equiv 2 \mod 3 \) и \( 2^{K+1} \equiv 4 \mod 7 \).
2. Если \( K \equiv 2 \mod 3 \), тогда \( K+1 \equiv 0 \mod 3 \) и \( 2^{K+1} \equiv 1 \mod 7 \).
3. Если \( K \equiv 0 \mod 3 \), тогда \( K+1 \equiv 1 \mod 3 \) и \( 2^{K+1} \equiv 2 \mod 7 \).

Во всех трех случаях, остатки \( 2, 4, 1 \) не равны 0, что означает, что \( 2^{K+1} \) не делится на 7 для любого натурального \( K \).

Таким образом, мы доказали, что при любом натуральном \( K \) число \( 2^{K+1} \) не делится на 7.