Теорема лагранжа о четырех квадратах - Lagranges four-square theorem

О личности Лагранжа см. Лагранж (значения). По поводу теоремы Лагранжа см. Теорема Лагранжа (значения).

сюда перенаправляются "теорема четырех квадратов" и "теорема четырех квадратов". Для использования в других целях см. четыре квадрата (значения).

Теорема Лагранжа о четырех квадратах, также известный как Гипотеза Баше, заявляет, что каждый натуральное число можно представить как сумму четырех целых квадраты. То есть квадраты образуют аддитивная основа четвертого порядка.

${\displaystyle p=a_{0}^{2}+a_{1}^{2}+a_{2}^{2}+a_{3}^{2}}$

где четыре числа ${\displaystyle a_{0},a_{1},a_{2},a_{3}}$ целые числа. Для иллюстрации 3, 31 и 310 можно представить как сумму четырех квадратов следующим образом:

${\displaystyle {\begin{aligned}3&=1^{2}+1^{2}+1^{2}+0^{2}\\[3pt]31&=5^{2}+2^{2}+1^{2}+1^{2}\\[3pt]310&=17^{2}+4^{2}+2^{2}+1^{2}.\end{aligned}}}$

Эта теорема была доказана Жозеф Луи Лагранж в 1770 году. Это частный случай Теорема Ферма о многоугольных числах.

Историческое развитие

Из примеров, приведенных в Арифметика, ясно, что Диофант знал о теореме. Эта книга была переведена на латынь в 1621 г. Баше (Клод Гаспар Баше де Мезириак), который изложил теорему в примечаниях к своему переводу. Но теорема не была доказана до 1770 года Лагранжем.^[1]

Адриан-Мари Лежандр расширил теорему в 1797-178 гг. теорема трех квадратов, доказав, что положительное целое число может быть выражено как сумма трех квадратов тогда и только тогда, когда оно не имеет формы ${\displaystyle 4^{k}(8m+7)}$ для целых чисел ${\displaystyle k}$ и ${\displaystyle m}$. Позже, в 1834 году, Карл Густав Якоб Якоби открыл простую формулу для количества представлений целого числа как суммы четырех квадратов со своим собственным теорема четырех квадратов.

Формула также связана с Теорема Декарта четырех «кругов поцелуев», который включает в себя сумму квадратов кривизны четырех кругов. Это также связано с Аполлонические прокладки, которые совсем недавно были связаны с Гипотеза Рамануджана – Петерсона.^[2]

Классическое доказательство

Несколько очень похожих современных версий^[3][4][5] доказательства Лагранжа существуют. Приведенное ниже доказательство представляет собой немного упрощенную версию, в которой случаи, для которых м четное или нечетное не требуют отдельных аргументов.

Достаточно доказать теорему для любого нечетного простого числа п. Это сразу следует из Тождество Эйлера с четырьмя квадратами (и из того, что теорема верна для чисел 1 и 2).

Остатки а² по модулю п различны для каждого а от 0 до (п - 1) / 2 (включительно). Чтобы в этом убедиться, возьмите а и определитьc в качестве а² мод п.а является корнем многочленаИкс² − c над полемZ /пZ.Так же п − а (который отличается от а).В поле K, любой многочлен степени п имеет самое большее п отдельные корни (Теорема Лагранжа (теория чисел) ), так что других а с этим свойством, в частности не среди 0 до (п − 1)/2.

Аналогично для б принимая целые значения от 0 до (п − 1)/2 (включительно), −б² − 1 различны. принцип голубятни, Существуют а и б в этом диапазоне, для которого а² и −б² − 1 конгруэнтны по модулю п, то есть для чего

${\displaystyle a^{2}+b^{2}+1^{2}+0^{2}=np.}$

Теперь позвольте м - наименьшее натуральное число такое, что mp это сумма четырех квадратов, Икс₁² + Икс₂² + Икс₃² + Икс₄² (мы только что показали, что есть м (а именно п) с этим свойством, поэтому найдется хотя бы один м, и он меньше, чем п). Докажем от противного, что м равно 1: предположим, что это не так, мы доказываем существование положительного целого числа р меньше, чем м, для которого rp также является суммой четырех квадратов (это в духе бесконечный спуск^[6] метод Ферма).

Для этого рассмотрим для каждого Икс_я то у_я который находится в том же классе вычетов по модулю м и между (–м + 1)/2 и м/ 2 (в комплекте). Следует, что у₁² + у₂² + у₃² + у₄² = Мистер, для некоторого строго положительного целого числа р меньше, чемм.

Наконец, еще одно обращение к тождеству Эйлера с четырьмя квадратами показывает, что mpmr = z₁² + z₂² + z₃² + z₄². Но то, что каждый Икс_я конгруэнтно соответствующему у_я подразумевает, что все z_я делятся на м. В самом деле,

${\displaystyle {\begin{cases}z_{1}&=x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}+x_{4}y_{4}&\equiv x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}&=mp\equiv 0&{\pmod {m}},\\z_{2}&=x_{1}y_{2}-x_{2}y_{1}+x_{3}y_{4}-x_{4}y_{3}&\equiv x_{1}x_{2}-x_{2}x_{1}+x_{3}x_{4}-x_{4}x_{3}&=0&{\pmod {m}},\\z_{3}&=x_{1}y_{3}-x_{2}y_{4}-x_{3}y_{1}+x_{4}y_{2}&\equiv x_{1}x_{3}-x_{2}x_{4}-x_{3}x_{1}+x_{4}x_{2}&=0&{\pmod {m}},\\z_{4}&=x_{1}y_{4}+x_{2}y_{3}-x_{3}y_{2}-x_{4}y_{1}&\equiv x_{1}x_{4}+x_{2}x_{3}-x_{3}x_{2}-x_{4}x_{1}&=0&{\pmod {m}}.\end{cases}}}$

Отсюда следует, что при ш_я = z_я/м, ш₁² + ш₂² + ш₃² + ш₄² = rp, а это противоречит минимальностим.

В приведенном выше описании мы должны исключить как случай у₁ = у₂ = у₃ = у₄ = м/ 2 (что даст р = м и без спуска), а также корпус у₁ = у₂ = у₃ = у₄ = 0 (что даст р = 0, а не строго положительный). В обоих случаях можно проверить, что mp = Икс₁² + Икс₂² + Икс₃² + Икс₄² будет кратно м², что противоречит тому, что п простое число больше, чем м.

Доказательство с использованием целых чисел Гурвица

Один из способов доказательства теоремы основан на Кватернионы Гурвица, которые являются аналогом целые числа за кватернионы.^[7] Кватернионы Гурвица состоят из всех кватернионов с целочисленными компонентами и всех кватернионов с полуцелое число составные части. Эти два набора можно объединить в одну формулу

${\displaystyle \alpha ={\frac {1}{2}}E_{0}(1+\mathbf {i} +\mathbf {j} +\mathbf {k} )+E_{1}\mathbf {i} +E_{2}\mathbf {j} +E_{3}\mathbf {k} =a_{0}+a_{1}\mathbf {i} +a_{2}\mathbf {j} +a_{3}\mathbf {k} }$

куда ${\displaystyle E_{0},E_{1},E_{2},E_{3}}$ целые числа. Таким образом, кватернионные компоненты ${\displaystyle a_{0},a_{1},a_{2},a_{3}}$ либо все целые, либо все полуцелые числа, в зависимости от того, ${\displaystyle E_{0}}$ четное или нечетное соответственно. Набор кватернионов Гурвица образует звенеть; другими словами, сумма или произведение любых двух кватернионов Гурвица также является кватернионом Гурвица.

В (арифметическая или полевая) норма ${\displaystyle \mathrm {N} (\alpha )}$ рационального кватерниона ${\displaystyle \alpha }$ неотрицательный Рациональное число

${\displaystyle \mathrm {N} (\alpha )=\alpha {\bar {\alpha }}=a_{0}^{2}+a_{1}^{2}+a_{2}^{2}+a_{3}^{2}}$

куда ${\displaystyle {\bar {\alpha }}=a_{0}-a_{1}\mathbf {i} -a_{2}\mathbf {j} -a_{3}\mathbf {k} }$ это сопрягать из ${\displaystyle \alpha }$. Обратите внимание, что норма кватерниона Гурвица всегда целое число. (Если коэффициенты являются полуцелыми числами, то их квадраты имеют вид ${\displaystyle {\tfrac {1}{4}}+n:n\in \mathbb {Z} }$, а сумма четырех таких чисел является целым числом.)

Поскольку умножение кватернионов ассоциативно, а действительные числа коммутируют с другими кватернионами, норма произведения кватернионов равна произведению норм:

${\displaystyle \mathrm {N} (\alpha \beta )=\alpha \beta ({\overline {\alpha \beta }})=\alpha \beta {\bar {\beta }}{\bar {\alpha }}=\alpha \mathrm {N} (\beta ){\bar {\alpha }}=\alpha {\bar {\alpha }}\mathrm {N} (\beta )=\mathrm {N} (\alpha )\mathrm {N} (\beta ).}$

Для любого ${\displaystyle \alpha \neq 0}$, ${\displaystyle \alpha ^{-1}={\bar {\alpha }}\mathrm {N} (\alpha )^{-1}}$. Отсюда легко следует, что ${\displaystyle \alpha }$ является единицей кольца кватернионов Гурвица тогда и только тогда, когда ${\displaystyle \mathrm {N} (\alpha )=1}$.

Доказательство основной теоремы начинается с сведения к случаю простых чисел. Тождество Эйлера с четырьмя квадратами означает, что если теорема Лангранжа о четырех квадратах верна для двух чисел, она верна для произведения двух чисел. Поскольку любое натуральное число можно разложить на степени простых чисел, достаточно доказать теорему для простых чисел. Это верно для ${\displaystyle 2=1^{2}+1^{2}+0^{2}+0^{2}}$. Чтобы показать это для нечетного простого целого числа ${\displaystyle p}$, представьте его как кватернион ${\displaystyle (p,0,0,0)}$ и предположим пока (как мы покажем позже), что это не гурвицевский несводимый; то есть его можно разложить на два неединичных кватерниона Гурвица

${\displaystyle p=\alpha \beta .}$

Нормы ${\displaystyle p,\alpha ,\beta }$ целые числа такие, что

${\displaystyle \mathrm {N} (p)=p^{2}=\mathrm {N} (\alpha \beta )=\mathrm {N} (\alpha )\mathrm {N} (\beta )}$

и ${\displaystyle \mathrm {N} (\alpha ),\mathrm {N} (\beta )>1}$. Это показывает, что оба ${\displaystyle \mathrm {N} (\alpha )}$ и ${\displaystyle \mathrm {N} (\beta )}$ равны ${\displaystyle p}$ (поскольку они целые), и ${\displaystyle p}$ это сумма четырех квадратов

${\displaystyle p=\mathrm {N} (\alpha )=a_{0}^{2}+a_{1}^{2}+a_{2}^{2}+a_{3}^{2}.}$

Если случится, что ${\displaystyle \alpha }$ selected имеет полуцелые коэффициенты, его можно заменить другим кватернионом Гурвица. выбирать ${\displaystyle \omega =(\pm 1\pm \mathbf {i} \pm \mathbf {j} \pm \mathbf {k} )/2}$ таким образом, что ${\displaystyle \gamma \equiv \omega +\alpha }$ имеет четные целые коэффициенты. потом

${\displaystyle p=({\bar {\gamma }}-{\bar {\omega }})\omega {\bar {\omega }}(\gamma -\omega )=({\bar {\gamma }}\omega -1)({\bar {\omega }}\gamma -1).}$

С ${\displaystyle \gamma }$ имеет четные целые коэффициенты, ${\displaystyle ({\bar {\omega }}\gamma -1)}$ будет иметь целочисленные коэффициенты и может использоваться вместо исходного ${\displaystyle \alpha }$ дать представление о ${\displaystyle p}$ как сумма четырех квадратов.

Что до того, чтобы показать, что ${\displaystyle p}$ не является неприводимым по Гурвицу, Лагранж доказал, что любое нечетное простое число ${\displaystyle p}$ делит хотя бы одно число в форме ${\displaystyle u=1+l^{2}+m^{2}}$, куда ${\displaystyle l}$ и ${\displaystyle m}$ целые числа.^[7] Это можно увидеть так: поскольку ${\displaystyle p}$ простое, ${\displaystyle a^{2}\equiv b^{2}{\pmod {p}}}$ может выполняться для целых чисел ${\displaystyle a,b}$, только тогда, когда ${\displaystyle a\equiv \pm b{\pmod {p}}}$. Таким образом, множество ${\displaystyle X=\{0^{2},1^{2},\dots ,((p-1)/2)^{2}\}}$ квадратов содержит ${\displaystyle (p+1)/2}$ отчетливый остатки по модулю ${\displaystyle p}$. Так же, ${\displaystyle Y=\{-(1+x):x\in X\}}$ содержит ${\displaystyle (p+1)/2}$ остатки. Поскольку есть только ${\displaystyle p}$ остатки в целом, и ${\displaystyle |X|+|Y|=p+1>p}$, наборы ${\displaystyle X}$ и ${\displaystyle Y}$ должны пересекаться.

Номер ${\displaystyle u}$ можно разложить на кватернионы Гурвица:

${\displaystyle 1+l^{2}+m^{2}=(1+l\;\mathbf {i} +m\;\mathbf {j} )(1-l\;\mathbf {i} -m\;\mathbf {j} ).}$

Норма на кватернионах Гурвица удовлетворяет форме Евклидово свойство: для любого кватерниона ${\displaystyle \alpha =a_{0}+a_{1}\mathbf {i} +a_{2}\mathbf {j} +a_{3}\mathbf {k} }$ с рациональными коэффициентами мы можем выбрать кватернион Гурвица ${\displaystyle \beta =b_{0}+b_{1}\mathbf {i} +b_{2}\mathbf {j} +b_{3}\mathbf {k} }$ так что ${\displaystyle \mathrm {N} (\alpha -\beta )<1}$ сначала выбрав ${\displaystyle b_{0}}$ так что ${\displaystyle |a_{0}-b_{0}|\leq 1/4}$ а потом ${\displaystyle b_{1},b_{2},b_{3}}$ так что ${\displaystyle |a_{i}-b_{i}|\leq 1/2}$ за ${\displaystyle i=1,2,3}$. Тогда получаем

${\displaystyle {\begin{aligned}\mathrm {N} (\alpha -\beta )&=(a_{0}-b_{0})^{2}+(a_{1}-b_{1})^{2}+(a_{2}-b_{2})^{2}+(a_{3}-b_{3})^{2}\\&\leq \left({\frac {1}{4}}\right)^{2}+\left({\frac {1}{2}}\right)^{2}+\left({\frac {1}{2}}\right)^{2}+\left({\frac {1}{2}}\right)^{2}={\frac {13}{16}}<1.\end{aligned}}}$

Отсюда следует, что для любых кватернионов Гурвица ${\displaystyle \alpha ,\beta }$ с ${\displaystyle \alpha \neq 0}$, существует кватернион Гурвица ${\displaystyle \gamma }$ такой, что

${\displaystyle \mathrm {N} (\beta -\alpha \gamma )<\mathrm {N} (\alpha ).}$

Кольцо ${\displaystyle H}$ кватернионов Гурвица не коммутативен, следовательно, это не настоящая евклидова область, и у нее нет уникальная факторизация в обычном понимании. Тем не менее, указанное выше свойство означает, что каждое право идеальный является главный. Таким образом, существует кватернион Гурвица ${\displaystyle \alpha }$ такой, что

${\displaystyle \alpha H=pH+(1-l\;\mathbf {i} -m\;\mathbf {j} )H.}$

Особенно, ${\displaystyle p=\alpha \beta }$ для какого-то кватерниона Гурвица ${\displaystyle \beta }$. Если ${\displaystyle \beta }$ были единицей, ${\displaystyle 1-l\;\mathbf {i} -m\;\mathbf {j} }$ будет кратно ${\displaystyle p}$, однако это невозможно, поскольку ${\displaystyle 1/p-l/p\;\mathbf {i} -m/p\;\mathbf {j} }$ не кватернион Гурвица для ${\displaystyle p>2}$. Аналогично, если ${\displaystyle \alpha }$ были бы единицей, у нас было бы

${\displaystyle (1+l\;\mathbf {i} +m\;\mathbf {j} )H=(1+l\;\mathbf {i} +m\;\mathbf {j} )pH+(1+l\;\mathbf {i} +m\;\mathbf {j} )(1-l\;\mathbf {i} -m\;\mathbf {j} )H\subseteq pH}$

так ${\displaystyle p}$ разделяет ${\displaystyle 1+l\;\mathbf {i} +m\;\mathbf {j} }$, что снова противоречит тому, что ${\displaystyle 1/p-l/p\;\mathbf {i} -m/p\;\mathbf {j} }$ не является кватернионом Гурвица. Таким образом, ${\displaystyle p}$ не является неприводимым по Гурвицу, как утверждается.

Обобщения

Теорема Лагранжа о четырех квадратах является частным случаем Теорема Ферма о многоугольных числах и Проблема Варинга. Другое возможное обобщение - следующая проблема: Учитывая натуральные числа ${\displaystyle a,b,c,d}$можем ли мы решить

${\displaystyle n=ax_{1}^{2}+bx_{2}^{2}+cx_{3}^{2}+dx_{4}^{2}}$

для всех положительных целых чисел ${\displaystyle n}$ в целых числах ${\displaystyle x_{1},x_{2},x_{3},x_{4}}$? Дело ${\displaystyle a=b=c=d=1}$ дает положительный ответ по теореме Лагранжа о четырех квадратах. Общее решение было дано Рамануджан.^[8] Он доказал, что если без ограничения общности предположить, что ${\displaystyle a\leq b\leq c\leq d}$ то есть ровно 54 возможных варианта для ${\displaystyle a,b,c,d}$ такая, что задача разрешима в целых числах ${\displaystyle x_{1},x_{2},x_{3},x_{4}}$ для всех ${\displaystyle n}$. (Рамануджан перечислил 55-ю возможность ${\displaystyle a=1,b=2,c=5,d=5}$, но в этом случае проблема не решается, если ${\displaystyle n=15}$.^[9])

Алгоритмы

Майкл О. Рабин и Джеффри Шаллит^[10] нашел рандомизированный полиномиальные алгоритмы для вычисления единственного представления ${\displaystyle n=x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}}$ для данного целого числа ${\displaystyle n}$, в ожидаемое время работы ${\displaystyle \mathrm {O} (\log ^{2}n)}$.

Количество представительств

Основная статья: Теорема Якоби о четырех квадратах

Количество представлений натурального числа п так как сумма четырех квадратов обозначается р₄(п). Теорема Якоби о четырех квадратах заявляет, что это в восемь раз больше суммы делители из п если п нечетно и в 24 раза больше суммы нечетных делителей п если п даже (см. делительная функция ), т.е.

${\displaystyle r_{4}(n)={\begin{cases}8\sum \limits _{m\mid n}m&{\text{if }}n{\text{ is odd}}\\[12pt]24\sum \limits _{\begin{smallmatrix}m|n\\m{\text{ odd}}\end{smallmatrix}}m&{\text{if }}n{\text{ is even}}.\end{cases}}}$

Эквивалентно, это в восемь раз больше суммы всех его делителей, которые не делятся на 4, т.е.

${\displaystyle r_{4}(n)=8\sum _{m\,:\,4\nmid m\mid n}m.}$

Мы также можем написать это как

${\displaystyle r_{4}(n)=8\sigma (n)-32\sigma (n/4)\ ,}$

где второй член следует принять равным нулю, если п не делится на 4. В частности, для простое число п у нас есть явная формулар₄(п) = 8(п + 1).^[11]

Некоторые значения р₄(п) встречаются бесконечно часто как р₄(п) = р₄(2^мп) в любое время п даже. Ценности р₄(п)/п может быть сколь угодно большим: действительно, р₄(п)/п бесконечно часто больше 8√бревно п.^[11]

Уникальность

Последовательность положительных целых чисел, которые имеют только одно представление в виде суммы четырех квадратов (по порядку):

1, 2, 3, 5, 6, 7, 8, 11, 14, 15, 23, 24, 32, 56, 96, 128, 224, 384, 512, 896 ... (последовательность A006431 в OEIS ).

Эти целые числа состоят из семи нечетных чисел 1, 3, 5, 7, 11, 15, 23 и всех чисел в форме ${\displaystyle 2(4^{k}),6(4^{k})}$ или же ${\displaystyle 14(4^{k})}$.

Последовательность натуральных чисел, которая не может быть представлена ​​в виде суммы четырех ненулевой квадраты это:

1, 2, 3, 5, 6, 8, 9, 11, 14, 17, 24, 29, 32, 41, 56, 96, 128, 224, 384, 512, 896 ... (последовательность A000534 в OEIS ).

Эти целые числа состоят из восьми нечетных чисел 1, 3, 5, 9, 11, 17, 29, 41 и всех чисел вида ${\displaystyle 2(4^{k}),6(4^{k})}$ или же ${\displaystyle 14(4^{k})}$.

Дальнейшие уточнения

Теорема Лагранжа о четырех квадратах может быть уточнена различными способами. Например, Чжи-Вэй Сунь ^[12] доказал, что каждое натуральное число может быть записано как сумма шестой степени (или четвертой степени) и трех квадратов.

Можно также задаться вопросом, нужно ли использовать весь набор квадратных целых чисел, чтобы записать каждое натуральное число как сумму четырех квадратов. Вирсинг доказал, что существует множество квадратов ${\displaystyle S}$ с ${\displaystyle |S|=O(n^{1/4}\log ^{1/4}n)}$ такое, что каждое положительное целое число меньше или равно ${\displaystyle n}$ можно записать как сумму не более 4 элементов ${\displaystyle S}$.^[13]

Смотрите также

• Теорема Ферма о суммах двух квадратов
• Теорема Ферма о многоугольных числах
• Проблема Варинга
• Теорема Лежандра о трех квадратах
• Теорема о сумме двух квадратов
• 15 и 290 теорем

Примечания

1. Ирландия и Розен 1990.
2. Сарнак 2013.
3. Ландау 1958, Теоремы 166–169.
4. Харди и Райт, 2008 г., Теорема 369.
5. Нивен и Цукерман 1960, п. 5.7.
6. Здесь аргумент прямой доказательство от противного. При исходном предположении, что м > 2, м < п, является немного целое такое, что mp представляет собой сумму четырех квадратов (не обязательно наименьшего), аргумент может быть изменен, чтобы стать аргументом бесконечного спуска в духе Ферма.
7. Stillwell 2003 С. 138–157.
8. Рамануджан 1917.
9. О, 2000.
10. Рабин и Шаллит 1986.
11. Уильямс 2011, п. 119.
12. З.-В. Вс 2017 ошибка harvnb: цель отсутствует: CITEREFZ.-W._Sun2017 (помощь).
13. Спенсер 1996.

Рекомендации

• Харди, Г. Х.; Райт, Э.М. (2008) [1938]. Хит-Браун, Д.; Сильверман, Дж. Х.; Уайлс, Эндрю (ред.). Введение в теорию чисел (6-е изд.). Издательство Оксфордского университета. ISBN  978-0-19-921985-8.
• Ирландия, Кеннет; Розен, Майкл (1990). Классическое введение в современную теорию чисел (2-е изд.). Springer. Дои:10.1007/978-1-4757-2103-4. ISBN  978-1-4419-3094-1.
• Ландау, Эдмунд (1958) [1927]. Элементарная теория чисел. 125. Перевод Гудмана, Джейкоба Э. (2-е изд.). AMS Chelsea Publishing.
• Нивен, Иван; Цукерман, Герберт С. (1960). Введение в теорию чисел. Wiley.
• О, Бён-Квон (2000). "Представления двоичных форм пятерными квадратичными формами" (PDF). Тенденции в математике. 3 (1): 102–107.
• Рабин, М.О.; Шаллит, Дж. О. (1986). «Рандомизированные алгоритмы в теории чисел». Сообщения по чистой и прикладной математике. 39 (S1): S239 – S256. Дои:10.1002 / cpa.3160390713.
• Рамануджан, С. (1917). "О выражении числа в виде топора² + по² + cz² + dw²". Proc. Camb. Фил. Soc. 19: 11–21.
• Сарнак, Петр (2013). «Гипотеза Рамануджана и некоторые диофантовы уравнения» (Лекция в Институте фундаментальных исследований Тата). Серия лекций ICTS. Бангалор, Индия.
• Стиллвелл, Джон (2003). Элементы теории чисел. Тексты для бакалавриата по математике. Springer. Дои:10.1007/978-0-387-21735-2. ISBN  978-0-387-95587-2. Zbl  1112.11002.
• Вс, З.-В. (2017). «Уточнение теоремы Лагранжа о четырех квадратах». J. Теория чисел. 175: 167–190. arXiv:1604.06723. Дои:10.1016 / j.jnt.2016.11.008.
• Уильямс, Кеннет С. (2011). Теория чисел в духе Лиувилля. Тексты студентов Лондонского математического общества. 76. Издательство Кембриджского университета. ISBN  978-0-521-17562-3. Zbl  1227.11002.
• Спенсер, Джоэл (1996). «Четыре квадрата с несколькими квадратами». Теория чисел: Нью-Йоркский семинар 1991–1995. Springer США. С. 295–297. Дои:10.1007/978-1-4612-2418-1_22. ISBN  9780387948263.

внешняя ссылка

• Доказательство на PlanetMath.org
• Еще одно доказательство
• апплет, разлагающий числа на сумму четырех квадратов
• Индекс OEIS для последовательностей, относящихся к суммам квадратов и сумм кубов