ра

3 ехр 2ж/%; должна иметь достаточно хорошую оценку).
у М `
Уравнение (0,1,6) является типично тернарным. Для его
решения было важно, что @ и В образуют, грубо говоря, двеё
„густые“ последовательности, а { хотя может быть „редкой“,
но обладает некоторой степенью „диофантовой гладкости“
в описанном выше смысле.
Здесь полезно заметить, что, полагая 5; (®) == » ехр 2ж1а9;
а<М№
$ (9) = » ехр 2кй8; 5,(9)= У) ехр Эк!%, вместо (0,1,4)
</М у<М
можем написать:
[1 5 ®) 5, @) 5, (9) 1а <
л
1

‘7 |$1(8‹)]2—{-]$2(Э)[2 а&<
"—__'_—'-_2 ^

< 50р |5, (3) |
фе /, Й

< —- 5р |5, (9) 1(5 0) + 5 0)).

Под схему этого типа подходят и некоторые задачи, кажу-
щиеся вначале „бинарными“. Например, известный результат
Н. Г. Чудакова [27] о том, что „подавляющее большинство“
четных чисел разлагается на сумму двух простых чисел, так-
же может быть сформулирован, как решение тернарной задачи.

Пусть М—-достаточно большое число и @,, @з ,..., @д —
все четные числа (а;< №М), неразложимые на два простых
числа. ;

Пусть # (/М) — какая-либо медленно растущая монотонная
функция, и пусть для бесконечной последовательности / -—> со

имеем: п > ‚ Взяв одно из таких №, достаточно большое,

М№
& (№)
составим уравнение

_аі+Р1 +Р2:0‚ (071›7)
где р,, Р› — простые числа, не превосходящие ; а; < М. Если
мы докажем разрешимость уравнения (0,1,6) при каком-либо
выборе исходной функции # (/М), то тем самым будет доказано,

что при М > М, Л<ЁТ^7)—’ что и требовалось.

Уравнение (0,1,7) является тернарной аддитивной задачей
типа (0,1,6). Здесь роль чисел @ играют числа — @; (при этом
важно, что Л>Ё_(%'і `), роль чисел В — числа р,; роль чисел
1‚;—.— числа р,; следует `только заметить, что при вычислении
5 достаточно учесть хорошую распределенность в соответ-