Вы находитесь на странице: 1из 5

Math-Net.

Ru
Общероссийский математический портал

А. Марковъ, O простыхъ дҍлителяхъ чиселъ вида


1 + 4x2, Извҍстiя Императорской Академiи Наукъ,
1895, том 3, выпуск 1, 55–58

Использование Общероссийского математического портала Math-


Net.Ru подразумевает, что вы прочитали и согласны с пользователь-
ским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 67.205.163.100
1 мая 2017 г., 11:48:18
;ИЗВ*БСТІЯ И М П Е Р А Т О Р С К О Й А К А Д Е М І И Н А У К Ъ . 1 8 9 5 . І Ю Н Ь . Т . ILL, № 1.

(Bulletin de l'Académie Impériale des Sciences de St.-Pétersbourg.


1 8 9 6 . J u i n . T . I I I , № 1.)

O простыхъ дѣлителяхъ чиселъ вида


1 -+- 4 х \

А*. М а р к о в а .
(Доложено в ъ засѣданін Физико-математическаго отдѣленія 1 9 а п р ѣ д я 1895 г.)

l
Въ извѣстномъ «Cours de M. Hermite» приведено ) замѣчательное
%
предложеніе о. простыхъ дѣлжтеляхъ чиселъ вида п - н 1, сообщенное
г . Эрмиту на словахъ Чебышевымъ.
Это предложеніе можно Ф о р м у л ж р о в а т ь т а к ъ :
Еслж означаетъ нажболыпій простой дѣлжтель чиселъ
2 2 в 2
і - І - 2 , 1-+-4 , 1 ч-б -,'.-> . . , 1 н-4ІѴ ,
то отношеніе
JL
N

возрастаетъ безпредѣльно вмѣстѣ съ N.


Разбирая бумаги Чебышева, я н а ш е л ъ небольшож обрывокъ, который
позволяетъ возстановить доказательство приведеннаго предложенія.
Возьмемъ сумму
2
2log(1^4£ )=log(^

Она разбжвается ыа л о г а р и Ф м ы п р о с т ы х ъ чиселъ вида 4 т - + - 1 , н е п р е -


восходяпщхъ притомъ [X,
Чтобы узнать, сколько р а з ъ външпу сумму входнтъ логаржфмъ какого-
нибудь простого чжсда Q, разсматриваемъ сравненія

2 3
1 ч-4£ s 0 (мод.д ), . . . .

и считаемъ чисю рѣшеніі каждаго и з ъ шхъ п р и условіи

х < К

I) Goars d e M. Hermite. Quatrième é d i t i o n ; p . 197.


Физ.-Мат. стр. 55. *
1. МАРКОВЪ,

Сумма этнхъ чиселъ, т. е. общее число рѣшеній наішшь сравненій,


покажетъ, сколько разъ logs долженъ входить въ составъ вышеуказаииой
суммы
2 2 2
log (1 2 ) •+• log (1 - h 4 ) н ~ . . . . ч- log (1 42У ).

A чнсю рѣшеній сравненія

1 - h 4 ^ S 0 (мод.Д
прн условіи

навѣрно не болыде
2N R
"Х-+-1
?
1 равно нулю, если ft болыде \ o g q —
Отсюда заключаемъ, что логари<шъ простого числа g входитъ въ ео~
ставъ нашей суммы съ множителемъ меньшимъ, чѣмъ

3
^ U ^ ^ ^ ' * ' \ J ^ logs

Слѣдовательно
1о -і 2іѵ
2 §( < "2 f i * м l o g ( 1
^ 4 2
^ ) -

Здѣсь g означаетъ всѣ простыя числа вида 4#г-ь 1, не лревосходящія


[л, a ср (р.) чжсло ихъ.
Съ другой стороны имѣемъ

r
2 log (1 ч- 4of) > 2JN log 2 -+- 2 log 1 . 2 . 3 . . . N > 2tf log tf— Ж

Изъ неравенствъ

2
2 log (1 -ь 4а ) > 2Mog ІѴ — #

выводжмъ слѣдующее

log-fi ^ ' . l o g ^ Ä f l — 2 J V l o g > 2ІОІ1І-

Пусть далѣе £ означаетъ всѣ простыя числа ввда 4 т - ь 3, меньшія


0 ПРОСТЫХЪ ДМІТЕЛЯХЪ ЧЖСЕЛЪ ВИДА

2
Вспомыжмъ ), что

отлжчается отъ log [JL менѣе, чѣмъ на 2 , a разность

JÙ q ^ Zâ' q!

остается конечною прж безжредѣльномъ возрастаніи числа \Х.


Поэтому при безпредѣльномъ возрастаніж ц каждое жзъ выраженій

i X?iogg i X^iogg'
log fx g l o g jx ^ g'

стремится къ предѣлу | равно какъ ж выраженіе ?

1 X^Iogg
log ix jùq—г
Послѣ этжхъ замѣчаній станемъ увелжчжвать безпредѣльно.
Вмѣстѣ съ N должно увелжчжваться безпредѣльно ж прж чемъ

logq
log ^ 2— 1 2 l o g p.

будутъ пржблжжаться соотвѣтственно къ предѣламъ | и 0 .


Правая часть неравенства

logN ^ 1 logg г 9(ix)log(l4-4ar2) •


log p. log p g—I 2JV l o g \i 2 1og|x

содержжтъ, кромѣ

l o g p. g—-1 2 log {x

еще
2 2
<Р(ех)^(1-*-4ІѴ ) Ф (jx) ^(1-і-4Я ) fx logJV
2
2JVlogfx jx * logiV * logjx* JV

Обращаясь къ послѣднему ^выраженію, допустжмъ, что отношеніе


остается меныпе нѣкотораго чжсла й, иревоеходящаго единицу.
Тогда
J±_ ЩЖ < h
log XX* N
Ж
<p(p,)log(l-f-Ay^) ^ ъ 9Üx) log(1-4-41V ) 2

Ѣ 7 2
. 22Vïogfx ^ jx * log A "

2) M e r t e n s , E i n B e i t r a g z u r a n a l y t i s c h e n Z a h l e n t h e o r i e ( C r e i l e ' s J o u r n a l , B . 78).
Фжз.-Мат. стр. 57. 3
58 і. МІРЕОВЪ, o ПРОСТЫХЪ дмишяхь ЧИСЕЛЪ в ж д а і-+-4а . 2

Что касается выраженій


2
<?№ w log(l-*-42V )
И 2
ПГ" logiV ?

то они, при безпредѣльномъ возрастаніи N и щ приближаются соотвѣт-


ственно къ предѣламъ нуль и единща.
Мы видимъ, что сумма
2
1 ^ l o g g 9(rilog(l-i-4JV ) а 1
log pi g—1 2N\og\x 21ogfx

должна прнбжжаться къ предѣлу | , если ІѴ" возрастаетъ безпредѣльно, a


отношеніе ^ остается конечньімъ.
Итакъ, если отношеніе ^ остается конечньгаъ при безпредѣльномъ
возрастаніі ЗГ, то для достаточно больпшхъ зяаченій N отношеніе

logiV
log M-

будетъ, въ.стлу неравенства

logN_ ' 1 y i o g g д "9(yx)log(l-t-4iSr2) i


log p ^ l o g p. £4 q-l 2N\og\x 2 l o g jx'

меньше всякаго даннаго числа, которое болыде |.


Съ другой стороны, если отношеніе ^ остается конечнымъ при без-
предѣльномъ возрастаиіи N, то для достаточно большихъ значеній N от-
ношеніе
log N
log

должно быть больше едиющы жли сколь угодно близко къ единицѣ.


Такое лротивурѣчіе показываетъ, что при безпредѣльномъ возрастаніи
N отношеніе ~ не можетъ оставаться конечнымъ, a должно также воз-
•растать безпредѣльно.

Ф*з.-Жат. стр. 58,


4