В математиці тотожності Ньютона, також відомі як формули Ньютона-Жирара, задають співвідношення між двома типами симетричних многочленів , а саме між симетричним многочленом суми степеневого ряду та елементарним симетриченим многочленом. Для монічного многочлена вони дають можливість знайти суму -тих степенів всіх коренів (з урахуванням кратності), виражену через коефіцієнти , без фактичного знаходження цих коренів. Перші чотири формули були знайдені у 1629 році Альбертом Жираром[1][2]. Усі тотожності в загальній формі були близько 1666 року (незалежно) відкриті Ісааком Ньютоном[3]. Вони знаходять застосування в багатьох галузях математики, в тому числі теорії Галуа, теорії інваріантів, теорії груп, комбінаторики, а також в інших науках, в тому числі в загальній теорії відносності.

Albert Girard. Invention Nouvelle en l’Algèbre, Amsterdam, 1629, 70 p.

Математичні твердження ред.

Формулювання з допомогою симетричних поліномів

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

 

і для   позначимо   елементарний симетричний многочлен, який являє собою суму всіх можливих різних добутків   різних змінних, зокрема

 

Тоді тотожності Ньютона можна записати так

 

для всіх  . Для кількох перших значень   отримаємо:

 

Форма і правильність цих рівнянь не залежить від кількості змінних (хоча після  ї тотожності лівий бік дорівнює нулю), що дозволяє записати їх як тотожності у кільці симетричних многочленів. У цьому кільці маємо

 

і т.д.; тут лівий бік ніколи не стає нулем. Ці рівняння дозволяють виразити   через  ; також можна

 

Загалом, ми маємо

 

виконується для всіх   і  .

Також маємо

 

для всіх  .

Застосування до коренів многочлена

Многочлен з коренями   можна записати як

 

де коефіцієнти   це симетричні многочлени, означені вище.

Див. також ред.

Примітки ред.

  1. Tignol, Jean-Pierre (2004). Galois' theory of algebraic equations (вид. Reprinted). River Edge, NJ: World Scientific. с. 37–38. ISBN 981-02-4541-6. 
  2. Albert Girard (1595–1632) had shown that the sum of the squares of the solutions, the sum of their cubes, and the sum of their fourth powers, can be calculated from the coefficients [33, p. F2 ro]
    [33] Albert Girard. Invention Nouvelle en l’Algèbre, 1629; réimpression par David Bierens de Haan[en], Leiden, Imprimé chez Muré frères, 1884, 72 p. // Reprint, Nobel Press, 80 p. // Reprint, Nieuw Archief voor Wiskunde[nl], v. 11, p. [85]-152.
  3. Around 1666, general formulas for the sum of any power of the solutions were found by Isaac Newton (1642–1727) [56, p. 519], who was probably unaware of Girard’s work: see footnote (12) in [56, p. 518]
    [56] The Mathematical Papers of Isaac Newton, vol. I: 1664–1666 / edited by D. T. Whiteside / Cambridge Univ. Press, 1967.

Посилання ред.