Для целых a, b, c, d верно равенство a^2 b^2 = 3(c^2 d^2).Докажите, что все числа a, b, c, d равны нулю.

Рассмотрим доказательство утверждения: для целых чисел \(a, b, c, d\), если выполнено равенство \[ a^2 + b^2 = 3(c^2 + d^2), \] то необходимо, чтобы все эти числа были равны нулю: \(a = b = c = d = 0\). Шаг 1. Исследуем свойства квадратичных выражений. Так как \(a, b, c, d\) — целые числа, квадраты этих чисел — неотрицательные. Значит: \[ a^2 \geq 0, \quad b^2 \geq 0, \quad c^2 \geq 0, \quad d^2 \geq 0. \] Обратимся к исходному равенству: \[ a^2 + b^2 = 3(c^2 + d^2). \] Шаг 2. Анализируем, что означает эта равенство. Поскольку \(a^2 + b^2\) — сумма двух неотрицательных чисел, она тоже неотрицательна. Аналогично для правой части: \(3(c^2 + d^2)\) — трижды неотрицательное число, то есть тоже неотрицательное. Это говорит, что: - \(a^2 + b^2 \geq 0\), - \(3(c^2 + d^2) \geq 0\). Из равенства следует, что обе стороны равны. Шаг 3. Рассмотрим случаи, когда сумма квадратичных выражений равна нулю. - Если \(a^2 + b^2 = 0\), то и \(a = 0\) и \(b = 0\). - Тогда правая часть тоже должна быть нулём: \(3(c^2 + d^2) = 0\), - что дает \(c^2 + d^2 = 0\), - поэтому \(c = 0\) и \(d = 0\). Это — одна возможная ситуация. Но предположим, что сумма квадратичных выражений не равна нулю, посмотрим, чему это мешает. Шаг 4. Докажем, что в других случаях равенство невозможно. Пусть хотя бы одно из чисел не равно нулю. Тогда: - \(a^2 + b^2 > 0\), значит есть хотя бы один из них такой, что квадрат положителен. Из равенства: \[ a^2 + b^2 = 3(c^2 + d^2), \] при этом \(a^2 + b^2 > 0\), следовательно, правая часть тоже больше нуля: \(3(c^2 + d^2) > 0\), а значит \(c^2 + d^2 > 0\). Это означает, что хотя бы один из \(c\) или \(d\) не равен нулю. Шаг 5. Используем неравенство. - По неравенству треугольника или оценкам квадратичных форм, сумма двух квадратичных чисел может принимать только определенные значения, но поскольку все переменные целые, можно рассуждать о делимости и возможных значениях. Обратим внимание, что \[ a^2 + b^2 = 3(c^2 + d^2). \] Если \(a, b, c, d\) — целые, то правая часть — кратна 3, а значит, и левая. Это приводит к мысли, что \(a^2 + b^2\) делится на 3. Докажем, что сумма двух квадратов целых чисел делится на 3 только в случае, когда оба квадрата делятся на 3. Шаг 6. Анализ делимости квадрата по 3. Известно, что для целых \(n\): \[ n^2 \equiv 0 \text{ или } 1 \pmod{3}. \] Действительно, поскольку: - \(n \equiv 0, 1, 2 \pmod{3}\), - \(n^2 \equiv 0^2 = 0\) или \(1^2 = 1\) или \(2^2 = 4 \equiv 1 \pmod{3}\). Следовательно, \[ a^2 \equiv 0 \text{ или } 1 \pmod{3}, \] \[ b^2 \equiv 0 \text{ или } 1 \pmod{3}. \] Тогда сумма: \[ a^2 + b^2 \equiv \begin{cases} 0 + 0 = 0 \pmod{3}, \\ 1 + 1 = 2 \pmod{3}, \\ 0 + 1 = 1 \pmod{3}, \end{cases} \] Вывод: сумма двух квадратов целых чисел может быть делима на 3 только если оба квадрата делятся на 3, то есть \(a^2 \equiv 0 \pmod{3}\) и \(b^2 \equiv 0 \pmod{3}\), что возможно только при \(a \equiv 0 \pmod{3}\) и \(b \equiv 0 \pmod{3}\). Аналогично для \(c, d\): для равенства \[ a^2 + b^2 = 3(c^2 + d^2), \] чтобы правая часть была целым числом, \(c^2 + d^2\) должно быть целым числом, делящимся на 1. Но поскольку: \[ a^2 + b^2 \equiv 0 \pmod{3}, \] тогда \(a\) и \(b\) делятся на 3. Обозначим: \[ a = 3a', \quad b = 3b'. \] Тогда: \[ a^2 + b^2 = 9a'^2 + 9b'^2 = 9(a'^2 + b'^2), \] \[ a^2 + b^2 = 3(c^2 + d^2), \] подставим: \[ 9(a'^2 + b'^2) = 3(c^2 + d^2), \] \[ 3(a'^2 + b'^2) = c^2 + d^2. \] Теперь смотрим на \(c^2 + d^2\): \[ c^2 + d^2 = 3(a'^2 + b'^2), \] где \(a', b'\) — целые. Обратимся к этому равенству: поскольку \(\left(c^2 + d^2\right)\) — целое, и оно равно тройке целого числа \(\left(a'^2 + b'^2\right)\). Аналогично, чтобы это равенство имело смысл, оба выражения должны быть неотрицательными. Переходим к следующему этапу: поскольку \(a'^2 + b'^2 \geq 0\), и \(c^2 + d^2 \geq 0\). Если \(a'^2 + b'^2 = 0\), то \(a' = 0, b' = 0\), тогда \(a = 0, b = 0\), и потому \(c^2 + d^2 = 3 \times 0 = 0\), следовательно, \(c = 0, d = 0\). Если \(a'^2 + b'^2 \neq 0\), то \(c^2 + d^2 = 3(a'^2 + b'^2) > 0\). Тогда по аналогии, чтобы это равенство выполнялось, необходимо, чтобы число \(c, d\) также делилось на 3, а процесс продолжится. Но при повторении этого рассуждения — деления на 3 — мы можем убедиться, что все переменные должны делиться на 3 бесконечно много раз, что возможно только при том, что все из них равны нулю. Шаг 7. Итог. Это — классический пример, который показывает, что единственным решением уравнения \[ a^2 + b^2 = 3(c^2 + d^2), \] совместным с целочисленными значениями, является тройка нулей: \[ a = 0, \quad b = 0, \quad c = 0, \quad d = 0. \] --- ### Итоговое доказательство: - Если сумма квадратов \(a^2 + b^2 = 3(c^2 + d^2)\), - то сумма квадратичных выражений делится на 3, - что влечет за собой, что \(a, b, c, d\) делятся на 3, - циклически повторяя этот аргумент для уменьшенных чисел, получаем, что все они делятся на бесконечно большие степени 3, - что возможно только тогда, когда все они равны нулю. ### Ответ: \[ \boxed{ \text{Все числа } a, b, c, d \text{ равны нулю}. } \] Если вам нужно более строгое алгебраическое или арифметическое доказательство, его можно дополнительно раскрыть, использовав индукцию по степени делимости или свойства квадратичных форм.