Funky Function Transformation

Algebra Level 4

Let a , b , c , d a, b, c, d be the solutions to the equation 3 x 4 + m x 1 = 0 3x^4+mx-1=0 , where m m is some constant. If f ( x ) f(x) is a monic quartic polynomial with the roots,

a + b + c d 2 , a + b + d c 2 , a + c + d b 2 , b + c + d a 2 , \frac{a + b + c}{d^{2}}, \frac{a + b + d}{c^{2}}, \frac{a + c + d}{b^{2}}, \frac{b + c + d}{a^{2}},

what is the sum of the coefficients of the first and last term in f ( x ) f(x) ?


Inspired by a problem from The Art of Problem Solving Volume 2

0 3 1 -3 -2

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Relevant wiki: Vieta's Formula Problem Solving - Intermediate

Given that a a , b b , c c , and d d are roots of 3 x 4 + m x 1 = 0 3x^4+mx-1=0 , by Vieta's formula we have a + b + c + d = 0 a+b+c+d = 0 and a b c d = 1 3 abcd = - \dfrac 13 . Then the roots of f ( x ) f(x) are:

{ a + b + c d 2 = d d 2 = 1 d Since a + b + c + d = 0 a + b + d c 2 = 1 c As before a + c + d b 2 = 1 b and b + c + d a 2 = 1 a \begin{cases} \dfrac {\color{#3D99F6}a+b+c}{d^2} = \dfrac {\color{#3D99F6}-d}{d^2} = - \dfrac 1d & \small \color{#3D99F6} \text{Since }a+b+c+d = 0 \\ \dfrac {a+b+d}{c^2} = - \dfrac 1c & \small \color{#3D99F6} \text{As before} \\ \dfrac {a+c+d}{b^2} = - \dfrac 1b & \small \color{#3D99F6} \text{and} \\ \dfrac {b+c+d}{a^2} = - \dfrac 1a \end{cases}

Since f ( x ) f(x) is monic, the coefficient of its first term is 1. The coefficient of its last term is the product of all roots or 1 a b c d = 3 \dfrac 1{abcd} = - 3 , since a b c d = 1 3 abcd = - \dfrac 13 . Therefore, their sum is 1 3 = 2 1-3= \boxed{-2} .

Calvin Osborne
Jul 2, 2018

Because the coefficient in front of the x 3 x^3 term in the original equation is 0 0 , we can use one of Vieta's Formulas to find that a + b + c + d = 0 a + b + c + d = 0 . Therefore, the roots can be rewritten as,

1 d , 1 c , 1 b , 1 a . -\frac{1}{d}, -\frac{1}{c}, -\frac{1}{b}, -\frac{1}{a}.

If we treat the original equation as a function, we can start making progress by finding the function with roots that are the reciprocal of the original equations roots. To do this we reverse the order of the coefficients, so the function with reciprocal roots is,

f ( x ) = x 4 + m x 3 + 3. f(x) = -x^{4} + mx^{3} + 3.

Now we just need the our function to have roots that are the opposite of what they currently are. To do this we multiply each of the coefficients in order by ( 1 ) 0 , ( 1 ) 1 , ( 1 ) 2 , ( 1 ) 3 . . . (-1)^0, (-1)^1, (-1)^2, (-1)^3... , so our new function is,

f ( x ) = x 4 m x 3 + 3. f(x) = -x^{4} - mx^{3} + 3.

Finally since we want a monic function (where the leading coefficient is 0 0 ), we multiply this function by 1 -1 (which will not change the roots), so the sum of the first and last coefficients is 2 \boxed{-2} .


Proof: To find polynomial g ( x ) g(x) with roots that are the reciprocal of the roots of polynomial f ( x ) f(x) you just reverse the order of the coefficients of f ( x ) f(x) .

Label the roots of f ( x ) = a 0 x n + a 1 x n 1 + . . . + a n 1 x + a n f(x) = a_0x^n + a_1x^{n-1} + ... + a_{n-1}x + a_n as r 1 , r 2 , r 3 , . . . r i r_1, r_2, r_3, ... r_i . Note that if f ( r i ) = 0 , f ( 1 1 / r i ) = 0 f(r_i) = 0, f(\frac{1}{1 / r_i}) = 0 , so g ( x ) = f ( 1 / x ) g(x) = f(1/x) . Therefore,

g ( x ) = f ( 1 / x ) = a 0 ( 1 x ) n + a 1 ( 1 x ) n 1 + . . . + a n 1 ( 1 x ) 1 + a n . g(x) = f(1/x) = a_0(\frac{1}{x})^n + a_1(\frac{1}{x})^{n-1} + ... + a_{n-1} (\frac{1}{x})^1 + a_n.

Finally since multiplying a polynomial function by any non-zero number doesn't change its roots, we can multiply this entire function by x n x^n to get,

g ( x ) = a 0 + a 1 x + . . . + a n 1 x n 1 + a n x n , g(x) = a_0 + a_1x + ... + a_{n-1} x^{n-1} + a_nx^n,

which is the original function with reversed coefficients.


Proof: To find polynomial g ( x ) g(x) with roots that are m m times the roots of polynomial f ( x ) f(x) you multiply each coefficient of f ( x ) f(x) by m 0 , m 1 , m 2 , . . . , m n m^0, m^1, m^2, ..., m^n , where n is the degree of f ( x ) f(x) .

Label the roots of f ( x ) = a 0 x n + a 1 x n 1 + . . . + a n 1 x + a n f(x) = a_0x^n + a_1x^{n-1} + ... + a_{n-1}x + a_n as r 1 , r 2 , r 3 , . . . r i r_1, r_2, r_3, ... r_i . Note that if f ( r i ) = 0 , f ( m × r i m ) = 0 f(r_i) = 0, f(\frac{m \times r_i}{m}) = 0 , so g ( x ) = f ( x / m ) g(x) = f(x/m) . Therefore,

g ( x ) = f ( x / m ) = a 0 ( x m ) n + a 1 ( x m ) n 1 + . . . + a n 1 ( x m ) 1 + a n . g(x) = f(x/m) = a_0(\frac{x}{m})^n + a_1(\frac{x}{m})^{n-1} + ... + a_{n-1} (\frac{x}{m})^1 + a_n.

Similarly to the above proof we can multiply the function by a non-zero number without changing its roots, so by multiplying the equation by m n m^n simplifies to,

g ( x ) = a 0 x n + a 1 x n 1 ( m 1 ) + . . . + a n 1 x ( m n 1 ) + a n ( m n ) , g(x) = a_0x^n + a_1x^{n-1}(m^1) + ... + a_{n-1}x(m^{n-1}) + a_n(m^n),

which is what we were trying to prove.

It would be simpler to just say that f ( x ) = ( x + 1 d ) ( x + 1 c ) ( x + 1 b ) ( x + 1 a ) f(x) = (x + \frac{1}{d})(x + \frac{1}{c})(x + \frac{1}{b})(x + \frac{1}{a}) , which will have last coefficient 1 a b c d \frac{1}{abcd} and then use Vieta's again to say a b c d = 1 3 abcd = \frac{-1}{3} , so, last coefficient is 3 -3 .

zico quintina - 2 years, 11 months ago

Log in to reply

I didn’t even think of that method, it probably would be faster to solve it like that. That way doesn’t give you much help for other terms in the function if they were needed, however, and I was trying to give some of the more important rules for transforming functions and the basic structure for the proofs involved in those transformations.

Calvin Osborne - 2 years, 11 months ago

Log in to reply

No argument there, in fact I found reading the proof you included about reciprocal roots quite instructive.

zico quintina - 2 years, 11 months ago

Log in to reply

@Zico Quintina Thanks, I feel like lots of the proofs for transforming polynomial functions have a similar flavor, so they can be pretty fun to figure out after you know the structure of them.

Calvin Osborne - 2 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...