MHB Factorize 6(x^5+y^5+z^5)-5(x^2+y^2+z^2)(x^3+y^3+z^3)

  • Thread starter Thread starter anemone
  • Start date Start date
anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Factorize $6(x^5+y^5+z^5)-5(x^2+y^2+z^2)(x^3+y^3+z^3)$ as a product of polynomials of lower degree with integer coefficients.
 
Mathematics news on Phys.org
anemone said:
Factorize $6(x^5+y^5+z^5)-5(x^2+y^2+z^2)(x^3+y^3+z^3)$ as a product of polynomials of lower degree with integer coefficients.
$f(x,y,z) = 6(x^5+y^5+z^5)-5(x^2+y^2+z^2)(x^3+y^3+z^3)$ is a homogenous symmetric polynomial of degree $5$. According to the theory of symmetric polynomials, it can be uniquely expressed in terms of the elementary symmetric polynomials $e_1,e_2,e_3$, where $$e_1 = x+y+z,\qquad e_2 = xy+yz+zx, \qquad e_3 = xyz.$$ To write $f(x,y,z)$ in that form, use Newton's identities, which say that if $p_k = x^k+y^k+z^k$ then $$p_1=e_1,\\ p_2 = e_1^2 - e_2,\\p_3 = e_1^3 - 3e_1e_2 + 3e_3,\\ p_k= e_1p_{k-1} - e_2p_{k-2} + e_3p_{k-3}\quad (k>3).$$ Then $$\begin{aligned}p_5& = e_1p_4 - e_2p_3 + e_3p_2\\ &= e_1(e_1p_3-e_2p_2+e_3p_1) - e_2p_3 + e_3p_2\\ &= (e_1^2-e_2)p_3 + (e_3-e_1e_2)p_2 + e_1e_3p_1\\ &=(e_1^2-e_2)(e_1^3 - 3e_1e_2 + 3e_3) + (e_3-e_1e_2)(e_1^2 - 2e_2) + e_1^2e_3\\ &= e_1^5 - 5e_1^3e_2 + 5e_1^2e_3 + 5e_1e_2^2 - 5e_2e_3.\end{aligned}$$ Therefore $$6p_5 = 6e_1^5 - 30e_1^3e_2 + 30e_1^2e_3 + 30e_1e_2^2 - 30e_2e_3.\qquad(*)$$ Next, $p_2p_3 = (e_1^2 - e_2)(e_1^3 - 3e_1e_2 + 3e_3) = e_1^5 - 5e_1^3e_2 + 3e_1^2e_3 + 6e_1e_2^2 - 6e_2e_3$, and so $$5p_2p_3 = 5e_1^5 - 25e_1^3e_2 + 15e_1^2e_3 + 30e_1e_2^2 - 30e_2e_3.\qquad(**)$$ From (*) and (**) it follows that $$f(x,y,z) = 6p_5 - 5p_2p_3 = e_1^5 - 5e_1^3e_2 + 15e_1^2e_3 = e_1^2(e_1^3 - 5e_1e_2 + 15e_3).$$ In terms of $x,y,z$, that says that $$6(x^5+y^5+z^5)-5(x^2+y^2+z^2)(x^3+y^3+z^3) = (x+y+z)^2\bigl(x^3+y^3+z^3 - 2x^2(y+z) - 2y^2(x+z) - 2z^2(x+y) + 6xyz\bigr)$$ (as you can verify by multiplying out the brackets on both sides, if you are so inclined).
 
Last edited:
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Thread 'Video on imaginary numbers and some queries'
Hi, I was watching the following video. I found some points confusing. Could you please help me to understand the gaps? Thanks, in advance! Question 1: Around 4:22, the video says the following. So for those mathematicians, negative numbers didn't exist. You could subtract, that is find the difference between two positive quantities, but you couldn't have a negative answer or negative coefficients. Mathematicians were so averse to negative numbers that there was no single quadratic...
Thread 'Unit Circle Double Angle Derivations'
Here I made a terrible mistake of assuming this to be an equilateral triangle and set 2sinx=1 => x=pi/6. Although this did derive the double angle formulas it also led into a terrible mess trying to find all the combinations of sides. I must have been tired and just assumed 6x=180 and 2sinx=1. By that time, I was so mindset that I nearly scolded a person for even saying 90-x. I wonder if this is a case of biased observation that seeks to dis credit me like Jesus of Nazareth since in reality...
Back
Top