и < У и(п—р»_р(у))>2, (0,3,13)
р‚<р<р,+р, \»е()
и,= У А(пр) У и(п— )— В()). — (0,3,14)
рр +р, э е (»)

Заметим, что 2 ( (п — Э» — В(»)) есть число реше-
ррр +р,

ний сравнения Ф == п — В (») (той») при соответствующих огра-

ничениях на величину Ф; А (л, Э) должно быть несложным

множителем, несущественно изменяющим асимптотический рас-
чет (см. $ 2).

Обратимся ` к расчету М,. Выделим из него члёен

(О (п — РУ — В (»)))?, для которого достаточно иметь

р,<0<р,+р,
оценку сверху. Останется сумма

(О (@ — Р», — В (м1)) О (п — О», — В (»,)), (0,3,15)
р<окр,+р, »„ ъ в ()
У1"Ё Уе

равная совокупному числу решений системы уравнений

Л_Б‘й"—р(\й):%}
п — »» — В (»,) == , )`

Здесь »:; ) пробегают пары различных чисел из системы чи-
сел у; Ф, и $, независимо пробегают числа последовательности
{9}; Э— любое целое число из сегмента [0,, Р, -- 2,], так

что —‚1‹3;‘1&—‹@ 6 ()), _73_——_3%5_@2_) 6 (2). Как и в $ 2, раз-

биваем пары чисел (»1; ) на классы пар (у1; \,) по значению
9. н.д. (»;, №») ==°.

Мы выясним, что при заданных »,, У» (и, стало быть, ё) число
решений (, ф,, Фэ) системы (0,3,16) совпадает с числом реше-
ний (Ф,, Ф,) одного уравнения

(0,3,16)

*1Ф; — %Фа == 7 (», — \,) - В () уа — В () У., (0,3,17)

при дополнительных условиях:
Й — рт В (\,2) == 0 (тоа У2)‚ (0›'3918)
Е:Ё_У—_ВЩ Е (0). (0,3,19)

2

Основное уравнение (0,3,17) можно записать и в симметрич-

ной форме:
м (# — ® — В (»»)) == , (п — Ф› — В (»,)) (0,3,20)

при тех же условиях (0,3,18) и (0,3,19) (причем, из (0,3,20) не-
посредственно следует, что в условиях (0,3,19) можно заме-
нить индекс 1 на 2, а 2 на 1).

16