For odd $m\ge3$, does it follow: $\frac{x^m + y^m}{x+y} + (xy)\frac{x^{m-2} + y^{m-2}}{x+y} = x^{m-1} + y^{m-1}$ Unless I am making a mistake, I am calculating that:
$$\frac{x^m + y^m}{x+y} + (xy)\frac{x^{m-2} + y^{m-2}}{x+y} = x^{m-1} + y^{m-1}$$
Here's my reasoning:


*

*$\dfrac{x^m + y^m}{x+y} = x^{m-1} - x^{m-2}y - xy^{m-2} + x^{m-3}y^2 + x^2y^{m-3} + \dots + x^{\frac{m-1}{2}}y^{\frac{m-1}{2}} + y^{m-1}$

*$\dfrac{x^{m-2} + y^{m-2}}{x+y} = x^{m-3} - x^{m-4}y - xy^{m-4} + x^{m-5}y^2 + x^2y^{m-5} + \dots + x^{\frac{m-3}{2}}y^{\frac{m-3}{2}} + y^{m-3}$

*$(xy)\dfrac{x^{m-2} + y^{m-2}}{x+y} = x^{m-2}y - x^{m-3}y^2 - x^2y^{m-3} + x^{m-4}y^3 + x^3y^{m-4} + \dots + x^{\frac{m-1}{2}}y^{\frac{m-1}{2}} + xy^{m-2}$

*So that, $\dfrac{x^m + y^m}{x+y} + (xy)\dfrac{x^{m-2} + y^{m-2}}{x+y} = x^{m-1} + y^{m-1}$

*I am figuring that $\dfrac{x^{m-2} + y^{m-2}}{x+y}$ has exactly 2 terms less than $\dfrac{x^m + y^m}{x+y}$
Is this reasoning correct?  For each value that I test, it seems correct.
Thanks,
-Larry

Your argument is fine, possibly a bit more complicated than necessary. And the theorem is true for $m$ even, too, so a better proof wouldn't use the closed form for $\frac{x^m+y^m}{x+y}$, which is only true for $m$ odd.
A more advanced way to prove this uses linear recurrences. Show that $a_n=x^n+y^n$ satisfies:
$$a_{n}=(x+y)a_{n-1} - (xy)a_{n-2}$$
It is easy to show this linear recurrence is true for $b_n=x^n$ and $c_n=y^n$ because $z^2-(x+y)z+xy=0$ has roots $z=x,y$. So it is true for $a_n=b_n+c_n$.
The recurrence is also true if $a_n=\alpha\cdot x^n + \beta \cdot y^n$ for any $\alpha,\beta,x,y$. So:
$$\frac{\alpha x^m + \beta y^m}{x+y} + (xy)\frac{\alpha x^{m-2} + \beta y^{m-2}}{x+y} = \alpha x^{m-1} +\beta y^{m-1}$$
That shows that the $x+y$ in the denominator is not part of the original pattern, $a_1$, but related to the $x,y$ independent of the $\alpha,\beta$.
This can then be generalized to more variables. If $a_n=\alpha x^n+\beta y^n+\gamma z^n$ then:
$$a_n = (x+y+z)a_{n-1} -(xy+yz+xz)a_{n-2} + (xyz)a_{n-3}$$
You can go to more variables, with the coefficients of the linear recurrence being the (alternating) basic symmetric polynomials.
