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

Math-Net.

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

А. А. Марковъ, О неопредҍленныхъ тройнич-


ныхъ квадратичныхъ формахъ, Извҍстiя Им-
ператорской Академiи Наукъ, 1901, том 14, вы-
пуск 5, 509–523

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


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

Параметры загрузки:
IP: 67.205.163.100
1 мая 2017 г., 11:47:01
ИЗВ-БСТІЯ ИМПЕРАТОРСКОЙ АКАДЕМІИ НАУКЪ. 1901. МАИ. T. XIV, Ш 5.

(Bulletin de l'Académie Impériale des Sciences de St.-Féterabourg.


1901. Mai. T: X I V , № 5.)

O неопредѣленжыхъ тро&віижжыхъ ввадратэтныхъ


форнахъ.
A.. А а Маркова.
(Доівжено въ заеѣданіи Физико-хатенатическагоетдѣженія25-го аарѣжа 1901 г.)-

Въ настоящей статьѣ мы шѣемъ въ вжду заняться вопросокъ о посіѣ-


довательныхъ точныхъ высшихъ предѣлахъ дія нанхеньшяхъ значеніі не-
опредѣленныхътройничньаъквадратачньппь «ориъ, одного m того s e опре-
дѣіителя.
Подобный вопросъ для бшарныхъ Формъ быіъ рѣшенъ намк въ дас-
сертаціж « 0 бшарныхъ квадратичныхъ Формахъ положительнаго опредѣ-
дителя».
Для тройничныхъ Формъ ны не можемъ пока датьполнаго рѣшешя
поставленнаго вопроса, к о т о р о е сопряжено съ бошшши затрудцешяго, ж
установимъ здѣсь тоіько два высшнхъ предѣіа, нзъ которыхъ іервыж в ш ъ
быжь давно указанъ проФессоромъ A. Н, Коркинынъ.
Относительно разсматркваемыхъ нами «ориъ
2
f = ax ——
i a'y* - ь a V 2Ъув 2b'zx - ь 2Ъ"щ

шы будемъ предполагать, ч т о жхъ опредѣитеіь

aJa"-*- 2 » V — а¥ — аѴ» — аГЬ"»


равенъ е д и н и ц ѣ .
Мы и м ѣ е м ъ право сдѣіать такое предпоюженіе, вносящее нѣкоторое
упрощеніе въ напш вычисіенія; ибо каждая тройничная Форма, не прн-
водящаяся къ бинарной, по раздѣленіи на кубическій корень жзъ ея опре-

дѣхитехя обращается въ одну изъ Формъ, имѣющихъ опредѣіитеіемъ еда-


нжцу, a тѣ тройнжчныя Формы, которыя приводятся къ бинарнымъ, шы не
разсматриваемъ.

Вмѣстѣ съ Формою f мы будемъ разсматривать союзную ей Форму


% Ѣ % % ff
F= АХ Â Y A"Z -t- 2 BYZ-*- 2 B'ZX ч - 2 B XT 7

коэФФиціенты котороі связаны съ коэФФіціешаш f Формулами:


§т*-Шт« т§. 111* X
A
510 A- - МАРКОБЪ,

2
A = da"—Ъ-, Б=Ъ'Ъ"-аЪ, a=A'A"—B , b = B'B"—AB,

A'^d'a—Ъ'*, B'=b"b — db', 'd = Â'A—B\ b' = B"B—ÄB\

л»= ad — Ъ"\ В"= ЪЪ' — ab", d'= АА'—В"\ Ъ"= ВВ'—А"В".

Изъ теоріи квадратичныхъ Формъ извѣстно также слѣдующее пред-


ложеніе.
Если подстановка
х = o L X l - * - ^ y x -і-уг 1 ,
y = a'«j -+-..ß'y, -*- Y'j», ,
П r\tf ff
8 =P OL Xt HH p. у г -4- y 0г

преобразуегь f въ эквивалентную ей Форму

то подстановка _ - • ••-

преобразуетъ .F въ Форму

2
F, = Лх^Гх - н J ' Yf x -#- 2 ч- 2 В / а д -ь 2 Я ' ^ Ц

эквіваіентеую .F и" союзную съ f r

Въ частномъ сдучаѣ, когда

а=1 и a' = a ' ' = ß = Y = 0,

пржведешыя нами тттттшш щеоб^щшп $шшщ^еѣш Формы

2 2
аУ-ь2Ьу«-ьаѴ н ÄY -*-2BYZ-*~A"Z

въ эквивааентныя имъ Формы и не измѣняютъ коэФФиціентовъ а, А такъ 7

какъ въ этомъ еіучаѣ


а = a и А — А*
2 г

Для нашіхъ выводовъ важно обратить также вниманіе на разложеніе


формы f на квадраты:

#жз.-Мат. етр. IIS. д


0 НЕОПВДѢДЕННЫХЪ ТРОЙЯИЧНЫХЪ ЕВАДРАТИЧНЫХЪ ФОРЯАХЪ. 511

Это разложеніе обнаруживаеть, что для всякой іеовредѣдешоі


Формы f, но меньшей мѣрѣ, одно изъ двухъ чиселъ

должно быть отрнцатедьнымъ.


На такоиъ же основаніи должно быть, п о меныпей мѣрѣ, одно отри-
цательное число н въ каждой изъ слѣдующихъ лятвг паръ:

uA
7 ? a. A, a, A 7 a . A, a . A.

Приступая къ нашимъ изслѣдованіямъ, прежде всего условнмся для


упрощевія разсужденій разсматривать только такія Ф о р м ы , всѣ к о э ф ф и ц і -
енты которыхъ можно привести къ цѣлымъ числамъ посредствомъ одного
и того же множителя ; хотя наши выводы можно распространнть и на Ф о р м ы ,
не удовлетворяющія этому условію. При указанномъ ограннченія Ф о р м а f
имѣетъ наименьшее значеніе и допускаеть такое преобразованіе, послѣ к о -
тораго первый ея коэФФИціентъ a становится равнымъ, по числовой велп-
чинѣ, ея наименыпему значенію.
Согласно этому мы поіожимъ

; .
при всѣхъ разсматрмваемыхъ нами значеніяхъ у, т. е. прм всѣхъ зш-
ченіяхъ цііыхъ-чнселъ х, у,"£ 3 кромѣ •

Нанш выводы будуть-основаны на томъ соображеніи, чпго к о з Ф Ф Щ І е н т ъ а,


представляющій наименьшее значеніе тройничной Ф о р м ы /J вмѣстѣ съ тѣшъ
долженъ служить наименьшвмъ значеніемъ ж для бинарныхъ Формъ

Различшъ два случая:. .

1) а > 0 , 2) а < 0 ;

i оотановммся сначаіа на иервбмъ нэт'нихь.


При a > 0 коэффиціенты союзной Формы^', .4" должны бьпъ отрица-
тельньіми числами, и слѣдовательно Формы
* , - • "• • -

aa?-*-2b"xy-t-dtf > _ aaf-*-2b'e*-+-oV,.

опредѣлители которыхъ девьі. _ -. - - .

должны быть неопредѣленными.


Фаз.-Мат. сщ. IIS»
512 A. A. ІАРЕОВЪ,

Еслж одеа пзъ Формъ

2 3 2
а # - + ~ 2 ч - аѴ . аж -нн2Ь^н~аѴ

зквивалентна Формѣ

9 ш и 2 2
?О=]/т(^—^У—У ) ? i = | / Y ^ — 2я?У — 2/ ) 3 •

то простымъ преобразованіемъ можно лерейти отъ перваго случая ко вто-


рому при которомъ a < 0.
?

Если же: Формы .


2 2 2
й# 2Ъ"ху -+-dy* ах ч-2Ъ'%0-*-а"я ^
Y—A" ' Y—1' ~ "
яе эквивыенгоы m <р ш с ; то, какъ извѣстно, должно быть
0 х

н потому
2
а < | / - | ^ .

Оь другоі стороны, разсматривая квадратичную Форму


f
ÄY^2BYZ^A! Z\

олредѣяитеіь которой равенъ — а мы можемъ, не нзмѣяяя у преобразо-


вать ее такъ, чтобы было

Присоединяя послѣднее неравенство къ неравенству

шлучаемъ

Слѣдоватеіьно первыі случаи можно свести ко второму, если только


чноенное значеніе Фориы f нельзя сдѣлать меньше
Во второиь случаі, когда a < 0, Форма
F f
A Y*-*-2BYZ-*~A' Z*

дрннадіеажгъ къ чкслу неопредѣленныхъ и мы можемъ предполагать ее


вржведешою такшъ образомъ, что
114. A
0 НЕОПРБДМБННЫХЪ ІРОІНІЧШХЪ ВВАДРАТИНЫГЬ •ОРІАХЪ. 513

г
А <0 7 А">0
и корни уравненія

выражаются непрерывными дробямі

«O"* 7 1

1
Х_2 ——

гдѣ всѣ сс цѣяыя положительныя чисіа.


к

Придерживаясь обозначеній, введенвыгь наш въ въшеупохявутой


диссертаціи, положнмъ

Ъ— -4
Ч
—1 ; ^/=^-1"+- !
;
44hl * «1 — 2 -* '
<x  H h 2 - ь ..ѣ щ.^ г ч-

2 r 1
— = L -i *

Прж такихъ предположеніяхъ и обозначевіяхъ шѣемъ

н посредствомъ простыхъ преобразованіи можемъ замѣншъ пару чяеехь


L,
ö Ь_ г лобою парою'Jr , - b ^ 2j 2 1 ? гдѣ I означаетъ чісда цЬіое.
Оі> другоі стороны, разсматрнвая Фориы

можемъ установжть равенства

a = — JL У— J! m a— — v У .

гдѣ '

Указанныя намя равенства no исключеніи Â и A" даютъ

Переходя затѣмъ отъ пары


кь нарб

tau-Maar. esyw 115. 5 .


514 A. A. ЖАРЕОВЪ,

получаеэгь

гдѣ также

Въ даіьнѣйшихъ выводахъ мы положимъ

ж такимъ образомъ исключимъ изъ разсмотрѣнія всѣ Формы, численное зна-

ченіе которыхъ можно сдѣлать меньше .


Послѣ такого мсключенія первый случай (а > 0) сводится ко второму,
какъ было уже замѣчено; a числа L 2l и £ 2 І — 1 будутъ ограничены неравен-

ствами...

откуда выводимъ

При соблюденін этжхъ неравенетвъ рядъ

а а а а
5 *_4 5 —2 5 0 5 2> 4>

иожетъ состоать только изъ двоекъ и едшмдъ, a рядъ

можетъ кромѣ едвнвцъ ж двоекъ заключать только троіки.


Сверхъ того яетрудно замѣтжть что а можетъ быть двойкою только
5 2 |

;
при p.* = ~ ; нбо при fx^ < ~ « м ѣ е т > < -^- н неравенетво

даетъ.

Тоже неравенство обнаруживаетъ, • что р . / не • хожетъ быть ѵеныпе


2
половины; мбо при jx < і оно даетъ
#n.-Xag. етр» Iii» #
0 НЕОПРЕДѢДБННЫХЪ ТРОЙНПЧИЫХЪ ЕВАДРАТПЧНЫХЪ ФОРХАХЪ, 515

нещду тімъ какъ въ силу неравенствъ

доіжно быть

Итакъ, по искдюченіи Формъ, которьш достагаютъ значеыій меньшпхъ


2
" j / - - 5 для |х | возмояшо только двѣ ведичины:

Fi — y 2 а, = 2
т .

Отсюда въ віду постоянства вроізведенія

2
Fi -bai
сдѣдуетъ, что всѣ значенія L 2l равны і л і отдичаются другъ отъ друга
8
нножихеіеиъ у .
Сообразио этому мы положшгь сначала

м доснотрииъ, какія заключенія вытекають мзъ такого равенства.


На основаяіи нашихъ обозначеній ножно вредставлъ тодько чт д§-
пущенное равенство въ такомъ видѣ

a отсюда безъ труда получаемъ

i потону

Что же касается послѣдняго равенства, то оно равносильно спсхемѣ


равенствъ

Къ такинъ равеяствамъ прнводитъ иасъ допущеше

•sa.-Mat. erf. 117. 7


616 » i . МАРКОВЪ,

Есля же мы допустпмъ двойное равеество

L 2 | _ 2 =
^ 2 I =
^ 2 ІЧ-2 ?

то получимъ не одну a двѣ системьі равенствъ:


5

а —
Sl-*-2 S I 5 Sl-*-3 2 / — 1 * Sl-b* S I — 2 ? Sl-t-5 SI—S > '

= =
SI =
SI— 2 5 SL-4-1 Si—B 5 SL-4-2 ~ SI—4 5 SL-*-3 SI—5 ? '

Изъ этихъ двухъ системъ нетрудно закіючить о равенствѣ всѣхъ а к1

съ четными значками &, и о равенствѣ такжхъ a разность значковъ котсь ÄJ

рыхъ дѣлится на четыре:

S L — S L - 2 — SL-.-2 — S L - < — S L - M '


=
SI-*-I — S I — З — S 1 4 - 5 — S I — 7 — S I «

a
SI—I =
SI-I-З =
S 1 - 5 =
2i+7 =
SI—9 :

Отсюда не трудно видѣть, что прн существованіи двойного равенства

1—2 = І/ | = 2 -^2І-+-2

всѣ L съ четными значками, имѣютъ одну и туже веіжчину.


k7

Съ другой стороны нетрудно замѣтить, что при установленномъ нами


неравенствѣ
/ - < Уб 4 3

рядъ
а
•* * j 4 ? ^ 2 'S? ^2 *S JS ?•••

не можегъ состоять нзъ однѣхъ двоекъ, такъ какъ сумма

2 — ;
, -I- ,

1 " 1

равная БОІЬШЕ У Б , 4 .
Такмш» образомъ, принимая во вниманіе всѣ возможныя предпою-
женія объ а еъ нечетеыми значками h, шы при допущеніи двойного ра-
к

венства
= =
-^2І—S "^2* ^2І-*-2 '

получжмъ ддя і 2 І девять ВОЗІОЖЙЫХЪ ршіожешй въ непрерывную дробь:


ФЖЗ.-MAÏ. стр. 118. 8
0 НЕОНРЕДѢЛЕННЫХЪ ТРОІШІШХЪ КВАДРІЮТЕБГХЪ ШЖкТЬ. 517

1) ï 2 | = i ^ L
| 5 2 ) | 2 | = = i ^ J _ i , g) ¥ = 1 ^ A _ î ,
2 -t- ^ 3
ïsl «ai
4)? =1~+~J
2 | ^ , 5) ? = l - f - - i
2 | 1

1 i
1 1 л 1
2 «4- 3 -4- ç_

6) 5 2 | = 1 -+--Î 1 3 7) S ,
ft > * '*' m . *
1 + 1
8 -+- J - 1 -t- ~

1
8) l 2 ( =l^--i 1 , 9) =

1 •*- _L 2 + i
Ȕl 'ȕl
Этпмъ девята непрерывнымъ дробямъ соотвѣтствуетъ шесть разляч-
ныхъ случаевъ, такъ какъ отъ непрерывныхъ дробей 4), 5) п б) можно
перейти къ 7и 8) н 9) посредствомъ пзмѣненія чпсла I на одну едшшцу.
Разберемъ подробно намѣченные нами шесть случаевъ.
Въ случаѣ 1) когд* э

V - 1
— 1 4
^21 * Î >

мы можемъ положпть

число же ix/ должны приравнять у , такъ какъ произведеніе-j - y меныпе


2
установленнаго шшн предѣла -^.
Тогда
3
_ g/eT"_ 1
а
— ~ y Щ> — 5

п остальные коэФФпціенты Формы /'будутъ связаны уравненіямз

въ силу которыхъ лолучаемъ

f = -4{(* - 1 I V - 4 r ^ / f + 4 1 / -
Опредѣлитель всѣхъ Форэгь, къ которымъ мы пришлп, равеаъ едп-
нидѣ; но ш ддя однои шзъ шшхъ ея наяменьшее значеніе не равнс» 4 , что
протнворѣчіггь нашему предположенію отеосятельно а.
O J
5ix-S»T- стр 119. 9
5 IS A . A. ЕАРЕОВЪ, - . . .

Чтобы убѣдпться. что численное значеніе каждой Формы віда

_ | . [ { х - \ ъ ' * - ± b"yf ^ L { f - y Z - ^ ) )

можно сдѣлать меньше ~ , положимъ послѣдовательно

l ) f = 0 ^ = l ? 2) y = z = l , Щ у = — 1,*=*-'2-

i дадинъ X такія значенія, ори которыхъ чпсловая величина алгебраиче-


ской суммы

меньше единицы, но не меныпе половмны.


Мы получимъ для численнаго значешя f трм величіны

мзъ которыхъ, по меныпей мѣрѣ, одна меныпеу; ибо въ противномъ слу-


чаѣ было бы

откуда по ісключеніи V и Ь" вытекаетъ невозможное равенство

«1 з g
# -+- % — 3 х
3 2 г = ± -g- шн Y или ± Y .

Еще скорѣе устраняется случай 2% такъ какъ прі =—соотвѣт-


2
ствующая ему величина—a р а в н а | / і . , a при [x = «|- соотвѣтствующая z

8 4
2
величина v оказывается равною — и слѣдовательно больше у .
f

Случаи 3) также отпадаетъ, такъ какъ въ этомъ случаѣ ѵ/ больше -~


2
не тохько при {*/ = но н при fx = ~%
#».-lb*, o f . ISO. 10
0 НЕОПРЕДМІНЯЫХЪ ТЮІІІІІЫХЪ ЕВАДРІИІШХЪ ФОРЯАХЪ. 519

Перейдя к ъ случаю 4), получаемъ

г 4
F = - ,

Колячества | і м f должно додобрать такъ, чюоы чясловая величпна f


не могла опѵскаться нпже y л .

Ha этсшь оенованіи, яслагая сначала

1 ,у = 0
ж затѣмъ
*= 0 ^ = 1 5

получаеиъ два неравенства . ; ..

которыя должны быть выполнепы пря всѣхъ н ѣ і ы ж ъ чиелахъ х.


Изъ приведенныхъ неравенствъ нетрудно заключитц что обѣ раз-
ности
i і . :

должны быть пѣлымп чпсламп.


Отсюда получаемъ одпнъ классъ Формъ, кѵторыя аквпвалептпы Формѣ

- У#{(* - \ш - \ y? - j iß f - 6 jp - 5 * » ,J

==—}/-| -«- ^ — - - — — ^—jf^/ ;

= — j/-f j(x — -j-iy — zf — {X — z)(y — г)—'2гг\

s наименыпее значеніе которыхъ равно f / J L , какъне трудно убѣдиться.


Случаж 5) i 6) отпадають на такихъ же оспованіяхъ какъ 2) п 3).
Допустимъ теперь такія равенсгва

& Г т т . j*. т

t n . X » . etf« 1Й» IX
520 A. A. ААРКОВЪ,

При зтсшъ допущеніи имѣеиъ

5 (а _ Ъ + 1 ) = 8 ( а ^
2 / 1 г1 2 | -+-1)
и
J
^ 21-4-2 2l-f-I *

Отсюда безъ болыного труда выводимъ

вмѣстѣ съ тѣмъ въ с и у неравенствъ .

должно быть

На этомъ основаніи получаемъ четыре равенства

1
? — , « . . = 2 - .

?2*Ч-2 *Ы—1

a изъ шхъ послѣдовательно выводимъ

i наконецъ приходжмъ къ уравненіямъ

1 2 0 ^ - 2 4 3 ^ - 7 3 = 0 , ,

которыя даютъ дія ^ величину

94089
Y 14400 '

боіыпую устаноменнаго mm предѣіа У б , 4 .


#ш.-Мжт. ст*. 198. . 12
o неоввдшяшпъ т і ш ч ш ш ъ т і т т ч ш т ъ ттшахъ, §21

Остается разсмотрѣть предподоженіе, что нѣть равенства

^гі — \і+%
ш ддя какого значенія L
. Такое предположеніе даетъ систему равенствъ

il —2

Допустнвъ эту снстему, мы должны положнть

ж
2 1 i î

вмѣстѣ съ тѣшъ легко убѣждаемая, что рядъ

состоятъ тошсонзъ двоекъ, рядъ

Ä
tl— • » Si—2 > Sl-b2 » Si-*-* »
еосіожгь только ізъ единвдъ и наконедъ рядъ

далжевъ состоять только нзъ троекъ.


Олѣдовательш •

1
3
Sal
i соотоіясівенш) этому мы можемъ положпть

2 e 2 2
4'Г -*-2j?IZ-*-4"Z = — ( б J — 1 0 FZ— 3«Z J
i затѣмъ

f = - ] / f { ( x - p z - q y y +

Количества jp i f должно подобрать такъ, чтобы числовая величина f


не могла опускаться нжже ] / A *
s
522 A. A. ДАРЕОВЪ,. .. ..: ;

Ha этозіъ основаніи, полагая сначала .. , .

1 затѣмъ ..... ..: : . ' ., ;


* = Р, y= 1 , . .. ;
долучаемъ два неравенства

j ~ ~ ^ # f s l " i "f * ( о ? — g ) « > l ,

которыя доджны быть выполнены при всѣхь цѣдыхъ числахъ х.


Изъ пржведешыхъ яеравенствъ "нетрудно/ заключіть, что обѣ раз-
ности :..

• P - J . и Ü - J '. . . .

должны быть цѣлыми числамж. .... . . ,, .....


Такимъ образомъ мы получаемъ одинъ классъ Формъ, которыя экви-
валентны ФОРМѢ . .: :.- , : , -, , ,

- — ï *- т t- т <ß'f—i9.v»—P,f)}.

и наименьшее значеше которыхъ равно , какъ нетрудно убѣдитьея.


Итайъ,~ яа осяованій произведеннаго намй изслѣдованія" мы можемъ
высказать два предложенія относительно всѣхъ неопредѣленныхъ тройнич-
яыхъ квадратачныхъ Формъ любого опредѣлителя D .
Наименъшее числешое зшченіе формъ жвибалентныхъ

9
'j^ = — y^^^^-ß ^y^—20 } y

равно f/JL(I)) 5 гдѣ (D) означаетъ числовую величину B; a для ecnm njpo-
з
адш форж тто же опредѣлителя D , оио меныие y
7 ~(D).
». * з

Еаішетыт зиаченіе фщт жѳшалттіьш^ . .. -•: ...

/ I = = | / | T D р _ « y — y» — 2**}' •

j>a#K0 |/Ä(D) 5 a ддя форж не дктвалентныхъ uuf , nu f от меиьше Q t

Фяз,-Жат. егр. 121» 14


f) ИЕОПРЕДгЛЕННЫХЪ Т Р ( І Е І 1 Ш Х 1 ЬВАДРАТИЧНЫХЪ ФОРМАХЪ. 523

Первое предложеніе было сообщено намъ, 20 літъ тому назадъ, про-


Фессоромъ À. Н. Коркинымъ.
Вопросъ о точпомъ высшемъ преділѣ для наимепьшихъ значеніп
Формъ не эквивалентяыхъ ни f ни /*, остается открытымъ. ш мы можемъ
fJ4

утверждать толькг», что этотъ предѣлъ не жтьте \/ІФ въ впду су- щ

8
ществовавія Форшы

наименыпее значевіе которой равпо | / І 4 2 > ) в

Во время печатангя этой замютп я ублаился, что j / ^ D ) У~ СЛ

жштъ точнымъ еыстшт претьломъ для начменмтш зчаченій еоыъ формъ.


ne экегівалентныхъ ни f ни f Q J9