|
Собственно, не так уж длинно решение, чтобы его сложно было (за исключением перебора) изложить в сообщении. Обозначим букоой П произведение загаданных чисел, а буквой С - их сумму. Допустим, что решение существует. (1) из первой реплики условия заключаем, что П не равно произведению двух простых чисел. (2) из второй реплики условия заключаем, что С не равно сумме двух простых. (3) используя гипотезу Гольдбаха (проверенную на достаточно большом начальном отрезке натурального ряда), заключаем, что класс чисел С со свойством (2) в точности есть класс нечетных чисел, не равных p+2, где p - простое число или 1. С учетом верхних и нижних ограничений, указанных в условии, это следующие 24 числа: "11 17 23 27 29 35 37 41 47 51 53 57 59 65 67 71 77 79 83 87 89 93 95 97". (4) из третьей реплики условия заключаем, что П обладает следущим свойством: существует ровно одна пара <x, y> чисел, лежащая в указанной в условии области, такая, что (П = xy) & (x + y нечетно и отлично от p+2). Иначе говоря, существует ровно одна пара <x, y> сомножителей П, такая, что x + y лежит в списке (3). (5) из четвертой реплики условия заключаем, что С обладает следующим свойством: существует ровно одна пара <a, b> чисел, лежащая в указанной в условии области, и такая, что (С = a + b) & (число ab удовлетворяет условию (4) для П = ab). Начиная с этого места перебор возможен, но вручную необозрим. (6) отмечаем, что если П = (2^n * q) & (для любого простого p число 2^n + q =/= p+2), где n - натуральное больше или равное 2, а q - простое нечетное, то утверждение (4) будет выполнено. (7) Из пункта (6) выводим, что если для С из списка (3) существует два различных представления в виде 2^n + q (где n - натуральное больше или равное 2, а q - простое нечетное), то условие (5) не может выполняться. (8) методом - увы - перебора, устанавливаем, что из всех чисел списка (3) свойством (7) обладают все, кроме 17. Следовательно, если решение существует, то C = 17. (9) Поскольку 17 = 2^2 + 13, из пунктов (5) и (6) заключаем, что, если существует решение, то оно равно <4, 13>. Проверяем - опять перебором - что ни для какого другого разложения числа 17 на сумму слагаемых a + b, число ab не удовлетворяет условию (4) для П = ab. Этим доказано, что <4, 13> - единственное решение.
Замечание 1. Кто-то, помнится, мне говорил, что можно еще отбросить несколько больших чисел из списка (3). Как, не знаю. Возможно, есть еще способы сокращения перебора? Замечание 2. Можно ли как-либо (кроме ужаса перед переборам) обосновать удачу пункта (8); т.е. фактическое игнорирование условия "x + y отлично от p+2"? (Очевидно, П делится на 4; можно еще доказать, что если решение существует, то оно вида <2^n, q>; но это мало что проясняет).
Это сообщение отредактировал Nik - 29/07/2005, 07:12
|