Докажете, че произведението на два от реалните корени на уравнението [tex]x^{4}+x^{3}-1=0[/tex] е корен на уравнението [tex]x^{6}+x^{4}+x^{3}-x^{2}-1=0[/tex].
Решение:
Уравнението има реални корени: лявата му страна е непрекъсната и е равна на [tex]7[/tex] при [tex]x=-2[/tex], на [tex]-1[/tex] при [tex]x=0[/tex] и на [tex]1[/tex] при [tex]x=1[/tex], затова има корен в [tex]\left(-2; 0\right)[/tex] и корен в [tex]\left(0; 1\right)[/tex]. Нека [tex]a\ne b[/tex] са два реални корена, а [tex]c[/tex] и [tex]d[/tex] са другите два корена (реални или комплексни). От формулите на Виет
[tex]a+b+c+d=-1,\quad ab+ac+ad+bc+bd+cd=0,\quad abc+abd+acd+bcd=0,\quad abcd=-1[/tex]
Полагаме [tex]s=a+b[/tex], [tex]p=ab[/tex], [tex]t=c+d[/tex], [tex]q=cd[/tex]. Формулите приемат вида
[tex]s+t=-1,\quad p+q+st=0,\quad pt+qs=0,\quad pq=-1[/tex]
Тук [tex]p[/tex] е реално число, различно от [tex]0[/tex] (защото [tex]0[/tex] не е корен), затова [tex]q=-\frac{1}{p}[/tex] и [tex]t=-1-s[/tex]. Третото равенство дава [tex]p(-1-s)-\frac{s}{p}=0[/tex]; след умножение по [tex]p[/tex]:
[tex]-p^{2}-p^{2}s-s=0\Rightarrow s\left(p^{2}+1\right)=-p^{2}\Rightarrow s=-\frac{p^{2}}{p^{2}+1}[/tex]
Второто равенство дава [tex]p-\frac{1}{p}-s(1+s)=0[/tex], т.е. [tex]p-\frac{1}{p}-s-s^{2}=0[/tex]. Умножаваме го по [tex]p\left(p^{2}+1\right)^{2}\ne 0[/tex] и заместваме [tex]s[/tex]:
[tex]p^{2}\left(p^{2}+1\right)^{2}-\left(p^{2}+1\right)^{2}+p^{3}\left(p^{2}+1\right)-p^{5}=0[/tex]
Тъй като [tex]\left(p^{2}-1\right)\left(p^{2}+1\right)^{2}=p^{6}+p^{4}-p^{2}-1[/tex] и [tex]p^{3}\left(p^{2}+1\right)-p^{5}=p^{3}[/tex], това е
[tex]p^{6}+p^{4}+p^{3}-p^{2}-1=0[/tex]
Следователно произведението [tex]p=ab[/tex] е корен на уравнението [tex]x^{6}+x^{4}+x^{3}-x^{2}-1=0[/tex].