1 problem found
The numbers \(x\), \(y\) and \(z\) satisfy \begin{align*} x+y+z&= 1\\ x^2+y^2+z^2&=2\\ x^3+y^3+z^3&=3\,. \end{align*} Show that \[ yz+zx+xy=-\frac12 \,.\] Show also that \(x^2y+x^2z+y^2z+y^2x+z^2x+z^2y=-1\,\), and hence that \[ xyz=\frac16 \,.\] Let \(S_n=x^n+y^n+z^n\,\). Use the above results to find numbers \(a\), \(b\) and \(c\) such that the relation \[ S_{n+1}=aS_{n}+bS_{n-1}+cS_{n-2}\,, \] holds for all \(n\).
Solution: \begin{align*} && (x+y+z)^2 &= x^2 + y^2 + z^2 + 2(xy+yz+zx) \\ \Rightarrow && 1^2 &= 2 + 2(xy+yz+zx) \\ \Rightarrow && xy+yz+zx &= -\frac12 \end{align*} \begin{align*} && 1 \cdot 2 &= (x+y+z)(x^2+y^2+z^2) \\ &&&= x^3 + y^3 + z^3 + x^2y+x^2z+y^2z+y^2x+z^2x+z^2y \\ &&&= 3 + x^2y+x^2z+y^2z+y^2x+z^2x+z^2y\\ \Rightarrow && -1 &= x^2y+x^2z+y^2z+y^2x+z^2x+z^2y \end{align*} \begin{align*} && (x+y+z)^3 &= x^3 + y^3 + z^3 + \\ &&&\quad \quad 3xy^2 + 3xz^2 + \cdots + 3zx^2 + 3zy^2 + \\ &&&\quad \quad \quad 6xyz \\ \Rightarrow && 1 &= 3 + 3(-1) + 6xyz \\ \Rightarrow && xyz &= \frac16 \end{align*} Since we have \(f(t) = (t-x)(t-y)(t-z) = t^3-t^2-\frac12 t - \frac16\) is zero for \(x,y,z\) we can notice that: \(t^{n+1} = t^n +\frac12 t^{n-1} + \frac16 t^{n-2}\) is also true for \(x,y,z\) (by multiplying by \(t^{n-2}\). Therefore: \(S_{n+1} = S_n + \frac12 S_{n-1} + \frac16 S_{n-2}\)