Чтобы доказать, что выражение ( n^3 + 3n^2 + 5n + 3 ) делится на 3 для любого натурального ( n ), мы можем воспользоваться методом проверки остатков при делении на 3, известным как модульная арифметика.
Рассмотрим остатки возможных значений ( n ) при делении на 3. Существует три возможных случая для натурального ( n ): ( n \equiv 0 \pmod{3} ), ( n \equiv 1 \pmod{3} ), и ( n \equiv 2 \pmod{3} ).
Случай 1: ( n \equiv 0 \pmod{3} )
Если ( n \equiv 0 \pmod{3} ), то:
[
n^3 \equiv 0^3 \equiv 0 \pmod{3}
]
[
3n^2 \equiv 3 \cdot 0^2 \equiv 0 \pmod{3}
]
[
5n \equiv 5 \cdot 0 \equiv 0 \pmod{3}
]
[
n^3 + 3n^2 + 5n + 3 \equiv 0 + 0 + 0 + 3 \equiv 3 \equiv 0 \pmod{3}
]
Случай 2: ( n \equiv 1 \pmod{3} )
Если ( n \equiv 1 \pmod{3} ), то:
[
n^3 \equiv 1^3 \equiv 1 \pmod{3}
]
[
3n^2 \equiv 3 \cdot 1^2 \equiv 3 \equiv 0 \pmod{3}
]
[
5n \equiv 5 \cdot 1 \equiv 5 \equiv 2 \pmod{3}
]
[
n^3 + 3n^2 + 5n + 3 \equiv 1 + 0 + 2 + 3 \equiv 6 \equiv 0 \pmod{3}
]
Случай 3: ( n \equiv 2 \pmod{3} )
Если ( n \equiv 2 \pmod{3} ), то:
[
n^3 \equiv 2^3 \equiv 8 \equiv 2 \pmod{3}
]
[
3n^2 \equiv 3 \cdot 2^2 \equiv 12 \equiv 0 \pmod{3}
]
[
5n \equiv 5 \cdot 2 \equiv 10 \equiv 1 \pmod{3}
]
[
n^3 + 3n^2 + 5n + 3 \equiv 2 + 0 + 1 + 3 \equiv 6 \equiv 0 \pmod{3}
]
Во всех трёх случаях выражение ( n^3 + 3n^2 + 5n + 3 \equiv 0 \pmod{3} ). Это подтверждает, что ( n^3 + 3n^2 + 5n + 3 ) делится на 3 для любого натурального ( n ).