Теорема Лежандра о трёх квадратах: различия между версиями
[непроверенная версия] | [непроверенная версия] |
→История: пунктуация |
Maxal (обсуждение | вклад) Нет описания правки Метка: редактор вики-текста 2017 |
||
Строка 1: | Строка 1: | ||
{{Distinguish|Теорема Лежандра|теоремой Лежандра о тернарных квадратичных формах}} |
|||
'''Теорема Лежандра о трёх квадратах''' утверждает, что [[натуральное число]] может быть представлено суммой трёх квадратов целых чисел |
'''Теорема Лежандра о трёх квадратах''' утверждает, что [[натуральное число]] может быть представлено суммой трёх квадратов целых чисел |
||
Строка 9: | Строка 11: | ||
== История == |
== История == |
||
[[Пьер Ферма]] дал критерий представимости чисел вида <math> 3n+1 </math> суммой трёх квадратов, но не привёл доказательства. [[Бегелин, Николас де|Николас де Бегелин]] заметил в 1774 году<ref>''Nouveaux Mémoires de l'Académie de Berlin'' (1774, publ. 1776), pp. 313–369.</ref>, что всякое натуральное число, не представимое в форме <math>8b + 7</math> и в форме <math>4b</math>, есть сумма не более трёх квадратов, но не представил удовлетворительного доказательства.<ref>[[Диксон, Леонард Юджин]], ''History of the theory of numbers'', vol. II, p. 15 (Carnegie Institute of Washington 1919; AMS Chelsea Publ., 1992, reprint).</ref> В 1796 году [[Гаусс, Карл Фридрих|Гаусс]] доказал, что любое натуральное число есть сумма не более трёх [[треугольное число|треугольных чисел]]. Из этого следует, что <math> 8n + 3 </math> сумма не более трёх квадратов. В 1797 или 1798 году [[Лежандр, Адриен Мари|Лежандр]] получил первое доказательство теоремы о трёх квадратах.<ref>A.-M. Legendre, ''Essai sur la théorie des nombres'', Paris, An VI (1797–1798), {{p.|202}} and pp. 398–399.</ref> В 1813 году [[Коши, Огюстен Луи|Коши]] заметил<ref>A. L. Cauchy, ''Mém. Sci. Math. Phys. de l'Institut de France'', (1) 14 (1813–1815), 177.</ref>, что теорема Лежандра эквивалентна вышеприведенной формулировке. Ранее, в 1801 году, Гаусс получил более общий результат,<ref>C. F. Gauss, ''[[Disquisitiones Arithmeticae]]'', Art. 291 et 292.</ref> следствием которого была теорема Лежандра. В частности, Гаусс сосчитал число решений для целочисленного уравнения трёх квадратов и одновременно дал обобщение ещё одного результата Лежандра,<ref>A.-M. Legendre, ''Hist. et Mém. Acad. Roy. Sci. Paris'', 1785, pp. 514–515.</ref> доказательство которого было неполным. Это, вероятно, послужило причиной ошибочных заявлений, что доказательство Лежандра было неполным и завершено Гауссом.<ref>Смотри , например: Elena Deza and M. Deza. |
[[Пьер Ферма]] дал критерий представимости чисел вида <math> 3n+1 </math> суммой трёх квадратов, но не привёл доказательства. [[Бегелин, Николас де|Николас де Бегелин]] заметил в 1774 году<ref>''Nouveaux Mémoires de l'Académie de Berlin'' (1774, publ. 1776), pp. 313–369.</ref>, что всякое натуральное число, не представимое в форме <math>8b + 7</math> и в форме <math>4b</math>, есть сумма не более трёх квадратов, но не представил удовлетворительного доказательства.<ref>[[Диксон, Леонард Юджин]], ''History of the theory of numbers'', vol. II, p. 15 (Carnegie Institute of Washington 1919; AMS Chelsea Publ., 1992, reprint).</ref> В 1796 году [[Гаусс, Карл Фридрих|Гаусс]] доказал, что любое натуральное число есть сумма не более трёх [[треугольное число|треугольных чисел]]. Из этого следует, что <math> 8n + 3 </math> сумма не более трёх квадратов. В 1797 или 1798 году [[Лежандр, Адриен Мари|Лежандр]] получил первое доказательство теоремы о трёх квадратах.<ref>A.-M. Legendre, ''Essai sur la théorie des nombres'', Paris, An VI (1797–1798), {{p.|202}} and pp. 398–399.</ref> В 1813 году [[Коши, Огюстен Луи|Коши]] заметил<ref>A. L. Cauchy, ''Mém. Sci. Math. Phys. de l'Institut de France'', (1) 14 (1813–1815), 177.</ref>, что теорема Лежандра эквивалентна вышеприведенной формулировке. Ранее, в 1801 году, Гаусс получил более общий результат,<ref>C. F. Gauss, ''[[Disquisitiones Arithmeticae]]'', Art. 291 et 292.</ref> следствием которого была теорема Лежандра. В частности, Гаусс сосчитал число решений для целочисленного уравнения трёх квадратов и одновременно дал обобщение ещё одного результата Лежандра,<ref>A.-M. Legendre, ''Hist. et Mém. Acad. Roy. Sci. Paris'', 1785, pp. 514–515.</ref> доказательство которого было неполным. Это, вероятно, послужило причиной ошибочных заявлений, что доказательство Лежандра было неполным и завершено Гауссом.<ref>Смотри , например: Elena Deza and M. Deza. [https://books.google.com/books?id=cDxYdstLPz4C&newbks=1&newbks_redir=0&printsec=frontcover&pg=PA314&hl=en#v=onepage&q&f=false ''Figurate numbers'']]. World Scientific 2011, p. 314 {{Wayback|url=https://books.google.ch/books?id=cDxYdstLPz4C&pg=PA314&lpg=PA314&dq=%22figurate+numbers%22+incomplete+legendre+gauss++-wikipedia&source=bl&ots=rAuaEsw2cA&sig=0wZEagVD2TzGjMVG1Xv_Cj-VYZo&hl=en&sa=X&ei=1ARgU7CuG4Kw4QSPqYG4BA&ved=0CCgQ6AEwAA#v=onepage&q=%22figurate%20numbers%22%20incomplete%20legendre%20gauss%20%20-wikipedia&f=false |date=20180804140256 }}</ref> |
||
[[Теорема Лагранжа о сумме четырёх квадратов]] и теорема о трёх квадратах дают полное решение [[Проблема Варинга|проблемы Варинга]] для ''k'' = 2. |
[[Теорема Лагранжа о сумме четырёх квадратов]] и теорема о трёх квадратах дают полное решение [[Проблема Варинга|проблемы Варинга]] для ''k'' = 2. |
||
Строка 27: | Строка 29: | ||
== См. также == |
== См. также == |
||
* [[Теорема Ферма — Эйлера]] |
* [[Теорема Ферма — Эйлера]] |
||
* [[Теорема Лежандра]] |
|||
== Примечания == |
== Примечания == |
Версия от 15:10, 30 января 2024
Теорема Лежандра о трёх квадратах утверждает, что натуральное число может быть представлено суммой трёх квадратов целых чисел
тогда и только тогда, когда n не представимо в виде , где a и b целые.
В частности, числами, не представимыми суммой трёх квадратов и представимыми в виде , являются
История
Пьер Ферма дал критерий представимости чисел вида суммой трёх квадратов, но не привёл доказательства. Николас де Бегелин заметил в 1774 году[1], что всякое натуральное число, не представимое в форме и в форме , есть сумма не более трёх квадратов, но не представил удовлетворительного доказательства.[2] В 1796 году Гаусс доказал, что любое натуральное число есть сумма не более трёх треугольных чисел. Из этого следует, что сумма не более трёх квадратов. В 1797 или 1798 году Лежандр получил первое доказательство теоремы о трёх квадратах.[3] В 1813 году Коши заметил[4], что теорема Лежандра эквивалентна вышеприведенной формулировке. Ранее, в 1801 году, Гаусс получил более общий результат,[5] следствием которого была теорема Лежандра. В частности, Гаусс сосчитал число решений для целочисленного уравнения трёх квадратов и одновременно дал обобщение ещё одного результата Лежандра,[6] доказательство которого было неполным. Это, вероятно, послужило причиной ошибочных заявлений, что доказательство Лежандра было неполным и завершено Гауссом.[7]
Теорема Лагранжа о сумме четырёх квадратов и теорема о трёх квадратах дают полное решение проблемы Варинга для k = 2.
Доказательства
Доказательство того, что числа не представимы суммой трёх квадратов несложное и вытекает из того, что любой квадрат по модулю 8 конгруэнтен 0, 1 или 4.
Существует несколько доказательств того, что остальные числа представимы суммой трёх квадратами, помимо доказательства Лежандра. Доказательство Дирихле 1850 года стало классическим.[8] В его основе лежат три леммы:
- Квадратичный закон взаимности,
- Теорема Дирихле о простых числах в арифметической прогрессии,
- Класс эквивалентности тривиальной трёхчленной квадратичной формы.
Связь с теоремой о четырёх квадратах
Гаусс отметил,[9] что теорема о трёх квадратах позволяет легко доказать теорему о четырёх квадратах. Однако доказательство теоремы о трёх квадратах намного сложнее прямого доказательства теоремы о четырёх квадратах, которая была доказана первой в 1770 году.
См. также
Примечания
- ↑ 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).
- ↑ A.-M. Legendre, Essai sur la théorie des nombres, Paris, An VI (1797–1798), P. and pp. 398–399.
- ↑ A. L. Cauchy, Mém. Sci. Math. Phys. de l'Institut de France, (1) 14 (1813–1815), 177.
- ↑ 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 Архивная копия от 4 августа 2018 на Wayback Machine
- ↑ 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.
- ↑ Gauss, Carl Friedrich (1965), Disquisitiones Arithmeticae, Yale University Press, p. 342, section 293, ISBN 0-300-09473-6