где @9 — @ (а) указано в лемме 2.14.3. Пусть # — число классов
форм , так что (см. лемму 2.14.4)

Фуа ,, е
ожосей о ВЕ (5,2,4)
Естественно искать А (л, ) в виде приближения к выражению

1 : `
т ` 2 Ха (5), . (5,2,5)
(3) ё1п—-2ар»
тде (+) — указанный для значений чисел у сегмент. Здесь важно,
что если 6|л — 2а/', то (8, 2а) ==1 в силу условий на л.
Ввиду (5,2,4), (5,2,5) можно заменить на
""—__"_27: ‘1 6 < 3 \
Е ЗОМ о) (5,2,6)
И@ (1,Хд) «я — аат

(») 61п—2ару?
Заметим, что число ё может принимать значения < л. Для по-
строения А (л, Э) мы будем в (5,2,6) сначала учитывать только
5< т л)с‚ когда для чисел » < л'? нам будет хорошо известно
их распределение в прогрессиях. Пусть ё == рёрд:.. .р35<(1пп„)° й
При С < К, сравнение

 

2а1»° = п (той р?) (5,2,7)
будет разрешимо тогда и только тогда, когда
(рь 2а) = 1 (5,2,8)
и
'2ап оу
(рі}:+1. (5,2,9)
При условии (5,2,8) число решений сравнения
2а0ё? == п (той р%:) (5,2,10)
будет
ъэЁЁЁ) (5,2,11)
Р

Если в (5,2,7) у пробегает простые числа < л'?, количество
которых обозначим
_ Га Ыв ), (5,2,19)

го „главный член“ числа решений (5,2,7) будет

ой 2аРп\
——Т41+(іід. (5,2,13)
9(272 \ КОВЕ
Таким образом, при :
(6, 2аР) = 1 (5,2,14)
„главный член“ числа решений для сравнения
дау? == п (той $) (5,2,15)

104

 

РЗРЧУТ › ОНОр оаОа с о