找回密码
 欢迎注册
楼主: markfang2050

[原创] 已知 x+y+z=1 ,x^2+y^2+z^2=2 ,x^3+y^3+z^3=5 ,求 x^5+y^5+z^5

[复制链接]
发表于 2019-12-6 13:25:52 | 显示全部楼层
这个问题 论坛讨论过很多次. 轮换对称多项式有一个牛顿恒等式.
设$e_1=x+y+z,e_2=xy+yz+zx, e_3=xyz$,  $p_k = x^k+y^k+z^k$,那么 $p_1 =e_1 =1, p_2=e_1^2-2e_2 =2 ,p_3=e_1^3-3e_1e_2+3e_3 =3$ ,解得$e_1=1,e_2=-1/2,e_3=1/6$
所以,$p_5=e_1^5-5 e_2 e_1^3+5 e_3 e_1^2+5 e_2^2 e_1-5 e_2 e_3 =6$

更进一步的,对于一般情况,$ke_{k}=\sum _{i=1}^{k}(-1)^{i-1}p_{i}e_{k-i}$,  得知存在 恒等式: $x^{k+1} + y^{k+1} + z^{k+1} = (x+y+z)(x^k + y^k + z^k) - (x y + y z + z x) (x^{k-1} + y^{k-1} + z^{k-1}) + x y z (x^{k-2} + y^{k-2} + z^{k-2}) $ ,所以最后一问也得证了.

参考链接:https://en.wikipedia.org/wiki/Ring_of_symmetric_functions
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-12-6 14:13:58 | 显示全部楼层
视为三阶线性递推数列an,a(n+3)=(x+y+z)a(n+2)-(xy+yz+zx)a(n+1)+xyza(n),得a(n+3)=a(n+2)+1/2a(n+1)+1/6a(n).
故a4=25/6,a5=6,103/72
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-12-8 09:16:47 | 显示全部楼层
classstruct 发表于 2019-12-6 14:13
视为三阶线性递推数列an,a(n+3)=(x+y+z)a(n+2)-(xy+yz+zx)a(n+1)+xyza(n),得a(n+3)=a(n+2)+1/2a(n+1)+1/6a( ...

原来是这个恒等式,我现在彻底明白了!
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-3-29 23:57 , Processed in 0.040585 second(s), 15 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表