Теорема Виета для многочленов

Подсказка 1

Давайте для доказательства этого воспользуемся неочевидным инструментом - симметрическими многочленами. Логика в том, что наши выражения точно рациональны, и при этом, мы знаем такой факт, что если некоторый многочлен с целыми коэффициентами имеет корень p/q (в несократимой записи), то старший коэффициент делится на q. Значит, в идеале, нам хотелось бы придумать многочлен, с целыми коэффициентами, корнями, равным нашим выражениям. Какое условие мы забыли, с учетом леммы выше?

Подсказка 2

Мы забыли условие на то, что у нас свободный член должен быть равен 1, если мы хотим целые корни нашему уравнению, ведь тогда знаменатель q = 1. Ну а какое самое простое уравнение с нашими выражениями в виде корней мы знаем? Верно, просто кубический многочлен с такими корнями. Остается проверить, что он имеет целый коэффициенты.

Подсказка 3

Коэффициенты нашего многочлена будут -(ab / c + bc / a + ca / b), (a^2 + b^2 + c^2), -abc. И да, эти коэффициенты целые, а также старший коэффициент равен 1, а значит, наши выражения — целые.