Канал предлагает материалы для людей со школьным математическим образованием. В том числе и задачи — от простых до зубодробительных. В нём была предложена
Доказать, что число 2¹⁰ + 5¹² составное.
(Максим Борзов) 2¹⁰+5¹² = 2¹⁰ + 5¹² + 2∙2⁵∙5⁶ – 2⁶∙5⁶=(2⁵ + 5⁶)² – (2³∙5³)² =
= (2⁵ + 5⁶ + 2³∙5³)(2⁵ + 5⁶ – 2³∙5³) = 16657*14657. Кстати, это ПРОСТЫЕ множители... (конец цитаты) Применялись следующие приёмы:
Михаил А., позднее almikhail, решил, что 5¹² при делении на 3 имеет остаток, равный 2. А так как 2¹⁰ имеет остаток 1, то сумма делится на 3. Как мы знаем из решения Максима Борзова, это неверно. У нас с Михаилом сложился такой диалог:
Я предложил 2 способа доказательства своего утверждения: Я, пожалуй, поясню первый способ, используя заодно более вменяемую символику. 5⁰ = 1; 5¹ ≡ 2 (по модулю 3), 5² ≡ 2² ≡ 1; 5³ = 5² ∙ 5 ≡ 1 ∙ 5 ≡ 2, и т.д... Здесь символ ≡ означает сравнимость по модулю 3. То есть то, что слева и справа от этого символа, имеет одинаковые остатки от деления на 3. Ана