Неопределенные бинарные квадратичные формы
НЕОПРЕДЕЛЕННЫЕ БИНАРНЫЕ КВАДРАТИЧНЫЕ ФОРМЫ
Содержание
Введение
Предварительные сведения о бинарных квадратичных формах
О периодах неопределенных бинарных квадратных форм
Об оценке сверху числа приведенных неопределимых
бинарных квадратичных форм
О диагональных формах и оценке снизу числа классов в ряде
Список литературы
Введение
ВаВаВаВаВаВаВаВаВаВаВа Основоположником теории квадратичных форм является французский математик Лагранж. Ва Им была доказана конечность числа классов бинарных квадратичных форм заданного дискриминанта
Начинается арифметическая теория квадратичных форм с утверждения Ферма о существовании простых чисел Ва суммой двух квадратов
ВаВаВаВаВаВаВаВаВаВаВа Теория квадратичных форм продолжала развиваться. Гаусс также вводит много новых понятий. Гауссу сумел получить доказательства трудных и глубоких теорем теории чисел
ВаВаВаВаВаВаВаВаВаВаВа В данной работе исследуются предварительные общие сведения о бинарных квадратичных формах. Приведено элементарное доказательство известной оценки для числа приведенных неопределенных бинарных квадратичных форм заданного дискриминанта. Здесь рассмотрены периоды неопределенных квадратичных форм, также решены два вопроса о двусторонних формах. Также приведены доказательства, что диагональные формы одного и того же положительного дискриминанта не эквивалентны
Предварительные сведения о бинарных квадратичных форм
ВаВаВаВаВаВаВаВаВаВаВа Определим общие понятия и свойства, которые прямым образом касаются бинарных квадратичных форм
Однородный многочлен второй степени от двух переменных называется бинарной квадратичной формой:
Ва ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1)
где - вещественные числа
Соответственно используемые коэффициенты в данной формуле - являются первым, вторым и третьим коэффициентами
Для наглядности эту формулу будем обозначать через , получим:
В теории форм над кольцами и в первую очередь над кольцом Ва целых чисел более предпочтительной является запись вида (1)
В теории квадратичных форм над полями приведены формы, у которых второй коэффициент без множителя , т.е
Если в бинарной квадратичной форме (1) коэффициенты Ва являются целыми числами, тогда эту форму называют классической целой или целочисленной по Гауссу
ВаВаВаВаВаВаВаВаВаВаВа В данной работе классические квадратичные формы будем называть численными
Если существует линейная подстановка переменных (2) с целыми коэффициентами Ва и определителем , переводящая форму Ва в форму , такая, что выполняется равенство
, (3)
Ва тогда бинарные целочисленные квадратичные формы Ва и Ва называются собственно эквивалентными,
Иначе, если целочисленная подстановка (2) с определителем Ва Ва переводит форму Ва в форму , бинарные квадратичные формы называются несобственно-эквивалентными
Ва Полученные эквивалентные формы обозначим следующим образом: ~
ВаВаВаВаВаВаВаВаВаВаВа Из (2) и (3) вытекают соотношения, связывающие коэффициенты двух эквивалентных форм Ва и
Ва
ВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВа (4)
Эквивалентные бинарные квадратичные формы имеют один и тот же дискриминант, т.е. число Ва бинарной квадратичной формы
Предположим, что Ва собственно или несобственно эквивалентна форме . Значит, опираясь на определение об эквивалентности, можно сказать, что есть такие целые числа Ва с определителем , при которых выполняются соотношения (4). Отсюда следует:
Эквивалентные бинарные квадратичные формы представляют одно и то же множество целых чисел
ВаВаВаВаВаВаВаВаВаВаВа Допустим, что формы Ва и Ва эквивалентны. Значит есть унимодулярная целочисленная подстановка переменных:
тогда
Ва
Предположим , значит
,
Таким образом, форма Ва - это есть число . В связи с тем, что Ва отношение эквивалентности бинарных квадратичных форм имеет свойство симметричности, значит любое число, которое выглядит, как Ва можно заменить на
Свойствами рефлективности симметричности и транзитивности обладает отношение собственной эквивалентности бинарных квадратичных форм
Следуя этому утверждению, можно сказать, что если для целого числа Ва при некоторых целых Ва и , а также Ва для квадратичной формы Ва выполняется равенство , значит квадратичная форма Ва представляет число
Множество всех бинарных квадратичных форм эквивалентных форме Ва называют классом Ва форм
ВаВаВаВаВаВаВаВаВаВаВа В силу предложения 2 и определения 5 можно сказать, что множество бинарных квадратичных форм данного дискриминанта распадается на классы форм, собственно эквивалентных относительно унимодулярного целочисленного преобразования переменных (2)
ВаВаВаВаВаВаВаВаВаВаВа Далее, в зависимости от знака дискриминанта Ва бинарные квадратичные формы делятся на определенные и неопределенные формы
Определение 6. Квадратичная форма Ва дискриминанта Ва называется определенной, если Ва и неопределенной, если . Такое определение подсказано тем, что при Ва бинарная квадратичная форма принимает значения только одного знака (положительные при Ва и отрицательные при ), а при Ва она принимает как положительные, так и отрицательные значения. Теория неопределенных бинарных квадратичных форм существенно отличается от теории определенных форм и мы будем рассматривать в данной работе только неопределенные формы
ВаВаВаВаВаВаВаВаВаВаВа Рассмотрим теперь вкратце теорию приведения неопределенных бинарных квадратичных форм. Суть этой теории состоит в выделении в каждом классе так называемых приведенных форм - ВлстандартныхВ» форм класса. Рассматривая квадратичные формы положительного дискриминанта будем считать ее коэффициенты произвольными вещественными числами. Кроме того будем предполагать, что крайние коэффициенты Ва и формы Ва отличны от нуля и корни уравнения Ва вещественны, различны и иррациональны
Назовем корень Ва этого уравнения первым, а - вторым корнем формы Ва (см. [1]), причем Ва есть дискриминант формы
Определение 7. Неопределенная квадратичная форма
Ва с корнями Ва называется приведенной, если
ВаВаВаВаВаВаВаВаВаВаВа Покажем, что у приведенной формы Ва выполняются неравенства , , причем Ва и Ва заключаются между Ва и . В самом деле, из условия Ва получаем
,
, ВаВаВа , ВаВаВа
Далее, , , т.е. выполняется указанное неравенство . Обратимся теперь к условиям
Ва и . Из них следуют
, Ва ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (*)
Аналогично имеем
, ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа Ва (**)
Покажем теперь, что . Допустим, что . Тогда из неравенств (*) и (**) следуют
Ва и
Но последние два неравенства не могут одновременно выполняться. Значит, наше допущение, что Ва неверно и мы получаем неравенства . Наконец, покажем, что
Ва и
Т.к. , то из неравенств (*) и (**) получаем . С учетом этих неравенств и равенства , мы получим и неравенства для
ВаВаВаВаВаВаВаВаВаВаВа Обратно, система неравенств
Ва или
характеризует приведенность неопределенной формы . Поэтому определению приведенной формы можно придать следующий вид. Определение 8. Бинарная квадратичная форма Ва дискриминанта Ва называется приведенной, если
или
Без доказательства приведем следующее свойство приведенных форм
Предложение 4. Каждая форма дискриминанта Ва собственно эквивалентна некоторой приведенной форме
ВаВаВаВаВаВаВаВаВаВаВа Доказательство см. [1,2]. В [1] используется аппарат непрерывной дроби, а в [2] понятие соседней формы
Определение 9. Целочисленная квадратичная форма Ва называется собственно примитивной, если наибольший общий делитель ее коэффициентов равен , т.е
НОД Ва и несобственно примитивной, если
НОД . В остальных случаях форма называется не примитивной
Определение 10. Пусть - наибольший общий делитель чисел Ва для формы Ва определителя . Множество бинарных квадратичных форм с одними и теми же Ва и (при ) с одним и тем же знаком крайних коэффициентов Ва называется порядком форм
ВаВаВаВаВаВаВаВаВаВаВа Так как Ва и знаки получающихся коэффициентов Ва при Ва не меняются при переходе от данной формы к эквивалентной ей форме, то порядок состоит из нескольких классов
ВаВаВаВаВаВаВаВаВаВаВа При Ва формы и порядок называются собственно примитивными, а при Ва и Ва ( )- несобственно примитивными. Собственно и классы форм называются собственно примитивными и несобственно примитивными
ВаВаВаВаВаВаВаВаВаВаВа Возникает вопрос: конечно или бесконечно число целочисленных приведенных неопределенных форм. Ответ дает следующее
Предложение 5. Число всех целочисленных приведенных неопределенных форм с заданным дискриминантом конечно
ВаВаВаВаВаВаВаВаВаВаВа Доказательство см. [2,п.185]
О периодах неопределенных бинарных квадратичных уравнений
ВаВаВаВаВаВаВаВаВаВаВа Теория неопределенных бинарных квадратичных форм существенно отличается от теории определенных форм наличием периодов приведенных форм. Гаусс первым обнаружил это явление и глубоко вник в природу приведенных форм с положительным неквадратным дискриминантом в связи с решением основных задач этой теории (см. [1,2]). В этом параграфе мы дадим основные свойства периодов неопределенных форм
ВаВаВаВаВаВаВаВаВаВаВа Нашему изложению мы сначала предпошлем те основные понятия из гауссовой теории квадратичных форм, которые нам понадобятся в дальнейшем (см. [1,2])
Определение 1. формой соседней справа к целочисленной форме Ва называется форма , которая получается из формы Ва подстановкой , где -некоторое целое число
ВаВаВаВаВаВаВаВаВаВаВа Заметим, что при такой подстановке форма Ва собственно эквивалентна форме . Зависимость между соседними формами Ва и Ва можно охарактеризовать так: во-первых, формы Ва и Ва имеют одинаковый дискриминант; во-вторых, последний коэффициент Ва формы Ва является вместе с тем первым коэффициентом формы ; в третьих, сумма их средних коэффициентов Ва делится на
ВаВаВаВаВаВаВаВаВаВаВа Аналогичным образом определяется соседняя слева форма Ва к форме
Из определения соседних форм непосредственно следует
Предложение 1. Соседние формы собственно эквивалентны
ВаВаВаВаВаВаВаВаВаВаВа С помощью процесса нахождения последовательных соседних форм мы придем к другому важному понятию периода приведенных форм. Именно, пусть -приведенная форма дискриминанта Ва и для нее Ва является соседней справа; для Ва форма Ва является соседней справа; для Ва форма Ва является соседней справа и т.д. Тогда все формы , , ,тАж, являются собственно эквивалентными между собой, так и форме
ВаВаВаВаВаВаВаВаВаВаВа Так как в силу предложения 5 Вз1 число всех целочисленных приведенных неопределенных бинарных квадратичных форм с заданным дискриминантом конечно, то в бесконечном ряду форм , , , ,тАж не все формы могут быть различными между собой. Если предположить, что Ва и Ва совпадают, то формы Ва и Ва будут приведенными соседними слева для одной и той же приведенной формы и потому будут совпадать. Поэтому Ва и Ва и т.д. будут совпадать. Следовательно, в ряду , , ,тАж обязательно повторится первая форма Ва и если - первая форма в этом ряду, совпадающая с , то все формы , , , ,тАж, различны между собой
Определение 2. Совокупность различных последовательных соседних приведенных неопределенных форм , , ,тАж, называется периодом формы
ВаВаВаВаВаВаВаВаВаВаВа Приведем несколько общих замечаний об этих периодах, следующих из их определения (см. [2])
Предложение 2. Если формы , , ,тАж представлены следующим образом
, , ,тАж, , , ,тАж, то все величины Ва будут иметь одинаковые знаки, причем Ва все будут положительны
ВаВаВаВаВаВаВаВаВаВаВа Отсюда получается следующее свойство периодов
Предложение 3. Количество квадратичных форм, из которых состоит период заданной формы Ва всегда четно
ВаВаВаВаВаВаВаВаВаВаВа Доказательство предложения 3 см. [1,2]
ВаВаВаВаВаВаВаВаВаВаВа Заметим, что каждая форма , которая содержится в периоде формы Ва будет иметь тот же период, что и .Именно, этот период будет таков:
Отсюда получается следующее свойство периодов
Предложение 4. Все целочисленные неопределенные бинарные квадратичные формы с одинаковым дискриминантом могут быть разбиты на периоды
ВаВаВаВаВаВаВаВаВаВаВа Доказательство (см. [2] разд. V , п.187) основано на том их свойстве, что периоды либо совпадают либо они попарно не пересекаются и каждая форма попадет только в один из периодов
ВаВаВаВаВаВаВаВаВаВаВа Пример. Все приведенные неопределенные формы с дискриминантом Ва разбиваются на следующие шесть периодов:
I. ;
II. ;
III. ;
IV. ;
V. ;
VI .
Видим что в каждом периоде содержится четное число приведенных форм: в периодах I и II по четыре формы, а в остальных периодах по шесть форм
ВаВаВаВаВаВаВаВаВаВаВа Особы интерес представляют так называемые обратные и двусторонние формы, показывающие наряду с гауссовой композицией форм глубокий смысл различия собственной и несобственной эквивалентностью целочисленных бинарных квадратичных форм
Определение 3. Формы Ва и , и их классы называются обратными: если - один из этих классов, то другой класс Ва будет обратным к классу Ва в смысле композиции классов
Замечание . Так как форма Ва переводится в форму Ва подстановкой Ва определителя , то каждая форма класса Ва несобственно эквивалентна каждой форме из обратного класса Ва и обратно, при несобственной эквивалентности двух форм их классы будут обратными. (при этом еще учитывается, что если форма Ва несобственно эквивалентна , а Ва собственно эквивалентна , то Ва несобственно эквивалентна )
Определение 4. Класс бинарных квадратичных форм, совпадающий с обратным, называется двусторонним классом
Из этого определения с учетом Ва сделанного выше замечания получается
Предложение 5. Каждая форма двустороннего класса несобственно эквивалентна самой себе
Доказательство. Пусть - двусторонний класс и . Покажем, что Ва несобственно эквивалентна самой себе. Обозначим
Тогда форма Ва и пусть Ва переводится в Ва подстановкой Ва и запишем это в следующем виде: . Т.к. - двусторонний класс, т.е. , то . Но так как , то Ва и Ва собственно эквивалентны, то найдется подстановка Ва определителя , что . Тогда получаем , т.е. . Но так как Ва , то форма Ва несобственно эквивалентна самой себе
Предложение 5 доказано
Определение 5. Форма , в которой Ва делится на , называется двусторонней
Следующие два предложения дают некоторую информацию о строении двусторонних классов
Предложение 6. В каждом двустороннем классе содержится по крайней мере одна двусторонняя форма
Предложение 7. В каждом двустороннем классе положительного дискриминанта содержатся две и только две приведенные двусторонние формы
ВаВаВаВаВаВаВаВаВаВаВа Доказательство этих предложений имеются в [1,2]
ВаВаВаВаВаВаВаВаВаВаВа Перейдем теперь к изложению основных результатов этого параграфа. Возникает еще вопрос: всегда ли двусторонняя форма принадлежит некоторому двустороннему классу. Ответ дает следующая теорема
Теорема 1. Каждая двусторонняя форма принадлежит некоторому двустороннему классу
Доказательство. Пусть - двусторонняя форма, т.е. Ва ( делится на ) и обозначим ее класс через . Покажем, что -двусторонний класс. По определению обратная к Ва форме . Так как , то форма Ва переводится в себя подстановкой . Далее имеем, что Ва переводится в Ва подстановкой
определителя 1, т.е. Ва и Ва собственно эквивалентны. Тогда они принадлежат одному и тому же классу, т.е. Ва и значит, - двусторонний класс
ВаВаВаВаВаВаВаВаВаВаВа Теорема 1 доказана
В связи с предложением 7 возникает еще следующий вопрос: могут ли быть в периоде форм двустороннего класса приведенные двусторонние формы соседними друг другу? Следующее утверждение дает необходимое условие того, что двусторонние приведенные формы будут соседними
Теорема 2. Для того чтобы двусторонние примитивные приведенные формы Ва и Ва из двустороннего класса дискриминанта Ва были соседними необходимо, чтобы , где - целая часть числа
Доказательство. Пусть формы Ва и Ва соседние. Тогда , где - некоторое целое число. Так как Ва и - двусторонние формы, то Ва и , где последнюю делимость можно заменить следующим условием: Ва или что тоже самое , откуда . Тогда в силу взаимной простоты Ва и Ва (это следует из примитивности формы ) из условий делимости Ва и Ва следует, что . Но так как , то Ва или что тоже самое . Из последнего условия делимости следует неравенство , откуда . Но так как форма Ва приведенная, то для числа Ва должны выполняться неравенства , из которых в свою очередь следует, что
Теорема 2 доказана
Пример. Для Ва следующие четыре периода по две соседние двусторонние формы
ВаВаВаВаВаВаВаВаВаВаВа , ВаВа
ВаВаВаВаВаВаВаВаВаВаВа , ВаВа
, ВаВа
ВаВаВаВаВаВаВаВаВаВаВа , ВаВа Ва
При этом эти формы удовлетворяют теореме 2, т.к.
Замечание. Из полученной теоремы следует, что приведенные двусторонние формы будут соседними в очень малом числе случаев и в большинстве случаев они не будут соседними. Вопрос о точном числе случаев, когда приведенные двусторонние формы будут соседними по-видимому Ва является очень трудным и мы его не рассматриваем
Об оценке сверху числа приведенных неопределенных бинарных квадратичных форм
ВаВаВаВаВаВаВаВаВаВаВа О числе приведенных неопределенных бинарных квадратичных форм, так и о числе классов неопределенных квадратичных форм известно очень мало. Для числа классов бинарных квадратичных форм имеется точная формула Дирихле. Другим важным результатом являются неравенства, принадлежащие немецкому математику Зигелю
,
Ва
где - число приведенных неопределенных бинарных квадратичных форм дискриминанта ; Ва и - положительные постоянные, зависящие от ; причем - любое фиксированное положительное число. Наша цель состоит в том, чтобы элементарным способом доказать верхнюю оценку в неравенствах Зигеля для . Приводимое доказательство будет опираться на некоторые свойства функции числа положительных делителей натурального числа и мы их приведем вначале
Арифметическая функция Ва определяется как число положительных делителей натурального числа
Предложение 1. Функция Ва мультипликативна, т.е. , если
Из этого предложения 1 легко выводится следующее
Предложение 2. Если - каноническое разложение натурального числа , то
ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа
Доказательства предложений 1 и 2 приводятся во всех учебниках по теории чисел (напр. см. [4,6])
Предложение 3. Для числа Ва делителя натурального числа имеет место неравенство
Доказательство. Пусть Ва и - канонические разложения чисел Ва и , и пусть
, ,тАж, - все простые делители наибольшего общего делителя чисел Ва и . Тогда ясно, что
. ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1)
Но так как справедливо неравенство
ВаВаВаВаВаВа , ВаВаВаВаВаВаВаВаВаВаВаВаВа (2)
то неравенство (1) с учетом (2) и предложения 2 перейдет в следующие соотношения
Предложение 3 доказано
Предложение 4. Для Ва имеет место неравенство
ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ,
где - произвольное положительное число, - постоянная, зависящая только от
ВаВаВаВаВаВаВаВаВаВаВа Доказательство. Мы следуем рассуждениям в [4,5] (доказательство имеется также в [3]). Пусть - каноническое разложение числа . Тогда имеем
Ва
Рассмотрим отношение , в случаях Ва и
Если , то , так как
Если , то считая , получим
Поэтому
Следовательно, полагая , получим неравенство
ВаВаВаВаВаВаВаВаВаВаВа Предложение 4 доказано
Следующее предложение характеризует среднее значение Ва в нужной для нас форме
Предложение 5. Для Ва имеет место следующая оценка сверху
,
где - постоянная
ВаВаВаВаВаВаВаВаВаВаВа Доказательство. Имеем
Последняя сумма геометрически представляет собой число целых точек в первой четверти, лежащих на или под гиперболой , при этом целые точки, лежащие на осях координат исключаются, так как для них . Поэтому исследуемую сумму можно записать в виде
, где - целая часть числа
Оцениваем теперь сумму
,
где
Здесь мы воспользовались следующим соотношением из математического анализа
,
где
есть так называемая постоянная Эйлера
Предложение 5 доказано
Перейдем теперь к элементарному доказательству следующего результата
Теорема (Зигель). Для числа Ва всех приведенных неопределенных бинарных квадратичных форм дискриминанта Ва справедливо неравенство
ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ,
где - произвольное положительное число, - постоянная, зависящая только от
ВаВаВаВаВаВаВаВаВаВаВа Доказательство. Пусть - неопределенная приведенная форма дискриминанта . Тогда ,
,
Оценим сверху число приведенных форм с Ва и . Тогда
Применяя к последней сумме предложения 3,4,5, получим
, где
Теорема доказана
О диагональных формах и оценка снизу числа классов в роде
ВаВаВаВаВаВаВаВаВаВаВа В этом параграфе мы получим одну оценку снизу для числа классов в роде неопределенных бинарных квадратичных форм. Сначала введем соответствующие понятия
Определение 1. Целое число , не делящееся на простое число Ва называется квадратичным вычетом по модулю простого числа, если число Ва сравнимо с квадратом некоторого целого числа по модулю , т.е. - квадратичный вычет по модулю , если сравнение Ва имеет решение; в противном случае число Ва называется квадратичным невычетом по модулю . В теории квадратичных вычетов очень полезно использование так называемого символа Лежандра
Определение 2. Символом Лежандра Ва числа Ва по простому модулю , которое определяется следующим соотношением
Приведем некоторые основные свойства символа Лежандра, которые нам понадобятся
Свойство 1 . , если
Свойство 2 . Если , то Ва (свойство периодичности)
Свойство 3 . Ва (свойство мультипликативности)
Свойство 4 . , если
Определим теперь понятие рода квадратичных форм, впервые введенное Гауссом. Совокупность классов собственно примитивного порядка данного дискриминанта Ва Гаусс в своей арифметической теории квадратичных форм разделяет на ряды, относя в один и тот же род все те классы, формы которых имеют и тот же ВлхарактерВ». Под характером примитивной формы или примитивного класса форм Гаусс понимает следующее
Пусть - простой делитель дискриминанта , и пусть число всех этих различных модулей Ва равно . Можно показать, что если - один из этих Ва модулей, то для всех чисел , представимых данной собственно примитивной формой дискриминанта Ва и взаимно простых с , символы Лежандра Ва имеют одно и то же значение. В самом деле, пусть
- собственно примитивная форма дискриминанта Ва и - любой нечетный простой делитель числа Ва и , - два числа, представляемых формой Ва и не делящихся на . Подстановка Ва определителя Ва переводит Ва в форму Ва (см. соотношения (3) Вз1), причем , откуда , т.е. в силу определения символа Лежандра имеем . Из этого равенства в очередь на основании свойств 3 и 4следует, что
Символ Лежандра Ва имеет одно и то же значение для всех чисел , представляемых формой . Выпишем эти символы Лежандра, которые все равны Ва или Ва для всех Ва указанных модулей , взятых в определенном выбранном порядке
Тогда для данной квадратичной формы получается некоторая определенная последовательность Ва чисел, равных . Эта последовательность чисел, равных Ва и называется характером рассматриваемой собственно примитивной бинарной квадратичной формы дискриминанта Ва или характером класса этой формы
ВаВаВаВаВаВаВаВаВаВаВа Так как число всех различных последовательностей, составленных из Ва членов, равных Ва или Ва равно , то число различных характеров форм данного дискриминанта, а следовательно и число родов не больше, чем . Чтобы решить вопрос о точном числе родов Гаусс вводит в рассмотрение операции композиции классов и композиции родов квадратичных форм
Не вдаваясь в эту сложную теорию Гаусса, мы приведем его результаты о числе родов и о числе классов в каждом роде
Каждый род собственно примитивного порядка содержит одно и то же число классов,
, где -число родов, - число всех классов, - число классов в каждом роде
Если для каждого квадратного делителя Ва дискриминанта Ва выполнены условия:
НОД , Ва Ва простого ,
то для числа Ва классов неопределенных квадратичных форм дискриминанта Ва в каждом роде собственно примитивного порядка выполняется неравенство
Примем - за собственно примитивную форму дискриминанта
НОД .Она является целым числом , т.е. Ва при некоторых целых Ва и . , где - целое число. Значит, символ Лежандра числа Ва равен
При любом Ва получаем ВаВа
Это говорит о том, что форма Ва принадлежит главному роду. Число форма приравнивается числу квадратных делителей Ва дискриминанта Ва с условием НОД
Тогда получаем:
Ва с условием
Такая оценка справедлива также для числа классов всех остальных родов
ВаВаВаВаВаВаВаВаВаВаВа Ва - диагональная форма дискриминанта . Эта форма не эквивалентна никакой другой диагональной форме того же дискриминанта
ВаВаВаВаВаВаВаВаВаВаВа Предположим, что
Ва ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1)
дискриминанта Ва собственно эквивалентна другой диагональной форме
Ва ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (2)
того же дискриминанта
Определим целочисленную унимодулярную подстановку
Эта подстановка заменяет форму Ва в форму
Получаем
ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3)
где
Ва ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (4)
Преобразуя данные выражения находим
Однако необходимо форму ВаВаВа ВаВа (5)привести к диагональной. Для это перепишем форму :
. ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6)
В связи с тем, что имеет тот же дискриминант, что и получим:
, ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (7)
и аналогично
;
;
Ва ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (8)
Принимая во внимание условие, указанное выше форма (8) будет иметь вид:
, что противоречит условию (4)
Число родов бинарных квадратичных форм в данном собственно примитивном порядке дискриминанта Ва равно , где Ва определяется следующими условиями:
ВаВаВаВаВаВаВаВаВаВаВа Ва при ,
ВаВаВаВаВаВаВаВаВаВаВа Ва при ,
ВаВаВаВаВаВаВаВаВаВаВа Ва при ,
при этом - число различных простых делителей числа
Данное высказывание используется в оценке снизу числа классов в роде неопределенных бинарных квадратичных форм собственно примитивного порядка
Список литературы
Бухштаб А.А. Теория чисел. М., 1966, с. 384
Гаусс К.Ф. Труды по теории чисел. Изд-во АН СССР, М., 1959, ВаВа ВаВаВа с. 978
Венков Б.А. Элементарная теория чисел. М-Л., 1937, с. 218
Виноградов И.М. Метод тригонометрических сумм в теории чисел. М., ВлНаукаВ», 1980, с. 144
Чандрасекхаран К. Введение в аналитическую теорию чисел. Изд-во ВлМирВ», М., 1974, с. 187
Виноградов И.М. Основы теории чисел. Изд-во ВлНаукаВ», М., 1972 с. 267
Ва
Ва
Вместе с этим смотрят:
Несобственный интеграл с несколькими особенностямиОбзор методов логического проектирования и минимизацииОбыкновенные дифференциальные уравненияОднополостный гиперболоид