2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Знак дискриминанта
Сообщение14.05.2021, 13:40 


22/10/20
1062
nnosipov в сообщении #1518531 писал(а):
Подойдите к этому вопросу творчески: выразите сумму попарных произведений корней через что-то, про что будет очевидно, что оно есть вещественное число.
$(c_1c_2 + ... +c_1c_n+ ... + c_{n-1}c_n)$ это значение элементарного симметрического многочлена $\sigma_2$ в точке $(c_1, ... ,c_n)$. Больше ничего не вижу.

nnosipov в сообщении #1518531 писал(а):
Да, мы же с Вами уже разбирали основную теорему о симметрических многочленах?
Это да.

 Профиль  
                  
 
 Re: Знак дискриминанта
Сообщение14.05.2021, 13:57 
Заслуженный участник


20/12/10
8858
EminentVictorians в сообщении #1518534 писал(а):
Больше ничего не вижу.
Тогда рассмотрим так называемые степенные суммы корней $p_k(c_1,\dots,c_n)=c_1^k+\ldots+c_n^k$ ($k=1,2,\dots$). По-моему, очевидно, что все они суть вещественные числа. По основной теореме каждая из степенных сумм выражается через элементарные симметрические многочлены от корней, которые, собственно, нас и интересуют. Попробуйте за это зацепиться (нельзя ли, наоборот, выразить элементарные симметрические многочлены через степенные суммы? если да, то дело сделано).

 Профиль  
                  
 
 Re: Знак дискриминанта
Сообщение14.05.2021, 14:44 
Заслуженный участник
Аватара пользователя


16/07/14
8468
Цюрих
А не проще сразу расписать значение многочлена и воспользоваться тем, что $\overline{c_i} = c_{\sigma(i)}$ для какой-то перестановки $\sigma$?

 Профиль  
                  
 
 Re: Знак дискриминанта
Сообщение14.05.2021, 18:59 
Заслуженный участник


20/12/10
8858
mihaild
Да, Вы правы, конечно, это я затупил. Ведь элементарные симметрические многочлены являются (вот уж неожиданность!) симметрическими многочленами.

Но нет худа без добра: надеюсь, ТС, идя по этому более длинному пути, заодно и формулы Ньютона посмотрит, авось и пригодятся когда-нибудь.

 Профиль  
                  
 
 Re: Знак дискриминанта
Сообщение14.05.2021, 19:15 


22/10/20
1062
nnosipov в сообщении #1518535 писал(а):
(нельзя ли, наоборот, выразить элементарные симметрические многочлены через степенные суммы? если да, то дело сделано).
А это правда можно сделать? Просто я этого в книге не видел, а сам факт выглядит довольно сильно.

mihaild в сообщении #1518538 писал(а):
А не проще сразу расписать значение многочлена и воспользоваться тем, что $\overline{c_i} = c_{\sigma(i)}$ для какой-то перестановки $\sigma$?
Это тоже в первый раз вижу (и не очень до конца понимаю, что тут конкретно утверждается, честно говоря)

-- 14.05.2021, 19:26 --

nnosipov в сообщении #1518561 писал(а):
формулы Ньютона
Нашел в википедии статью о формулах Ньютона-Жирара, понравилось, но для меня сложновато пока что. Оставлю на будущее.

 Профиль  
                  
 
 Re: Знак дискриминанта
Сообщение14.05.2021, 19:33 
Заслуженный участник


20/12/10
8858
EminentVictorians в сообщении #1518563 писал(а):
А это правда можно сделать?
Можно, во всяком случае над полем нулевой характеристики. А следует это из формул Ньютона.

-- Пт май 14, 2021 23:40:37 --

EminentVictorians в сообщении #1518563 писал(а):
и не очень до конца понимаю, что тут конкретно утверждается, честно говоря
Выпишем все корни в строчку, а потом сопряжем их. Что произойдет? Ответ: произойдет некоторая перестановка этих корней.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 21 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: mihaild


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group