Натуральные числа х, у и и таковы, что х? + у? = 2 . Докажите, что хотя бы одно из этих чисел делится на три.

**Решение:** Дано, что натуральные числа х, у таковы, что \(x^2 + y^2 = 2\). Для доказательства того, что хотя бы одно из этих чисел делится на три, предположим противное, то есть оба числа \(x\) и \(y\) не делятся на три. Заметим, что для любого натурального числа \(n\) выполнено одно из трех: \(n \equiv 0 \pmod{3}\), \(n \equiv 1 \pmod{3}\), либо \(n \equiv 2 \pmod{3}\). Рассмотрим все возможные случаи остатков от деления на три квадрата целых чисел: 1. \(n^2 \equiv 0 \pmod{3}\) если \(n \equiv 0 \pmod{3}\). 2. \(n^2 \equiv 1 \pmod{3}\) если \(n \equiv 1 \pmod{3}\). 3. \(n^2 \equiv 1 \pmod{3}\) если \(n \equiv 2 \pmod{3}\). Теперь вернемся к уравнению \(x^2 + y^2 = 2\). Поскольку сумма квадратов любых чисел по модулю 3 может быть либо 0, либо 1, то единственная возможность, чтобы сумма \(x^2 + y^2\) была равна 2, это когда одно из слагаемых равно 1 (0+1=1). Рассмотрим возможные случаи: 1. Если \(x^2 \equiv 0 \pmod{3}\), то \(y^2 \equiv 1 \pmod{3}\), что противоречит предположению, что оба числа не делятся на три. 2. Если \(y^2 \equiv 0 \pmod{3}\), то \(x^2 \equiv 1 \pmod{3}\), что также противоречит условию. 3. Если \(x^2 \equiv 1 \pmod{3}\) и \(y^2 \equiv 1 \pmod{3}\), то это означает, что \(x\) и \(y\) по отдельности делятся на 3. Таким образом, при противоположном предположении (что ни одно из чисел не делится на 3) возникает противоречие. Следовательно, хотя бы одно число из \(x\) или \(y\) должно делиться на 3. Таким образом, данное утверждение доказано.