Теорема Лежандра о трёх квадратах утверждает, что натуральное число может быть представлено суммой трёх квадратов целых чисел
тогда и только тогда, когда не представимо в виде , где a и b целые.
В частности, числами, не представимыми суммой трёх квадратов и представимыми в виде , являются 7, 15, 23, 28, 31, 39, 47, 55, 60, 63, 71, ... ().
История Пьер Ферма дал критерий представимости чисел вида суммой трёх квадратов, но не привёл доказательства. Николас де Бегелин заметил в 1774 годуNouveaux Mémoires de l'Académie de Berlin (1774, publ. 1776), pp. 313–369., что всякое натуральное число, не представимое в форме и в форме , есть сумма не более трёх квадратов, но не представил удовлетворительного доказательства.Диксон, Леонард Юджин, History of the theory of numbers, vol. II, p. 15 (Carnegie Institute of Washington 1919; AMS Chelsea Publ., 1992, reprint). В 1796 году Гаусс доказал, что любое натуральное число есть сумма не более трёх треугольных чисел. Из этого следует, что сумма не более трёх квадратов. В 1797 или 1798 году Лежандр получил первое доказательство теоремы о трёх квадратах.A.-M. Legendre, Essai sur la théorie des nombres, Paris, An VI (1797–1798), and pp. 398–399. В 1813 году Коши заметилA. L. Cauchy, Mém. Sci. Math. Phys. de l'Institut de France, (1) 14 (1813–1815), 177., что теорема Лежандра эквивалентна вышеприведенной формулировке. Ранее, в 1801 году, Гаусс получил более общий результат,C. F. Gauss, Disquisitiones Arithmeticae, Art. 291 et 292. следствием которого была теорема Лежандра. В частности, Гаусс сосчитал число решений для целочисленного уравнения трёх квадратов и одновременно дал обобщение ещё одного результата Лежандра,A.-M. Legendre, Hist. et Mém. Acad. Roy. Sci. Paris, 1785, pp. 514–515. доказательство которого было неполным. Это, вероятно, послужило причиной ошибочных заявлений, что доказательство Лежандра было неполным и завершено Гауссом.Смотри , например: Elena Deza and M. Deza. Figurate numbers. World Scientific 2011, p. 314
Теорема Лагранжа о сумме четырёх квадратов и теорема о трёх квадратах дают полное решение проблемы Варинга для k = 2.
Доказательства
Доказательство того, что числа не представимы суммой трёх квадратов несложное и вытекает из того, что любой квадрат по модулю 8 конгруэнтен 0, 1 или 4.
Существует несколько доказательств того, что остальные числа представимы суммой трёх квадратов, помимо доказательства Лежандра. Доказательство Дирихле 1850 года стало классическим. vol. I, parts I, II and III of : Ландау, Vorlesungen über Zahlentheorie, New York, Chelsea, 1927. Second edition translated into English by Jacob E. Goodman, Providence RH, Chelsea, 1958. В его основе лежат три леммы: Квадратичный закон взаимности, Теорема Дирихле о простых числах в арифметической прогрессии, Класс эквивалентности тривиальной трёхчленной квадратичной формы.
Связь с теоремой о четырёх квадратах Гаусс отметил, что теорема о трёх квадратах позволяет легко доказать теорему о четырёх квадратах. Однако доказательство теоремы о трёх квадратах намного сложнее прямого доказательства теоремы о четырёх квадратах, которая была доказана первой в 1770 году.
См. также Теорема Ферма — Эйлера Теорема Лежандра
Примечания
Категория:Теория чисел