Давайте докажем, что \( 4^{2n-1} \) делится на \( 5 \) для \( n \geq 1 \).
Для этого воспользуемся теорией остатков. Рассмотрим \( 4^{2n-1} \mod 5 \).
Сначала найдем остаток от деления \( 4^k \) на \( 5 \) для нескольких значений \( k \):
- \( 4^1 \equiv 4 \mod 5 \)
- \( 4^2 \equiv 16 \equiv 1 \mod 5 \)
- \( 4^3 \equiv 4 \mod 5 \)
- \( 4^4 \equiv 1 \mod 5 \)
Мы видим, что остатки повторяются с периодом 2:
- Если \( k \) нечётное, то \( 4^k \equiv 4 \mod 5 \).
- Если \( k \) чётное, то \( 4^k \equiv 1 \mod 5 \).
Теперь, поскольку \( 2n - 1 \) является нечётным (для любого \( n \geq 1 \)), то: \[ 4^{2n-1} \equiv 4 \mod 5 \]
Таким образом, \( 4^{2n-1} \) не делится на \( 5 \) (остаток равен 4).
Следовательно, утверждение, что \( 4^{2n-1} \) делится на \( 5 \) для \( n \geq 1 \), является неверным.
