let $P(x)$ is a polynomial which satisfies property $\psi$ where property $\psi$ is given by
whenever r is a root of $P(x) = 0$ then $r^2 – 4$ is also a root of the given equation.
i) if $P(x)$ is a quadratic polynomial of the form $x^2 + ax + b$ then find all the possible equations which satisfy $\psi$ and has distinct real roots.
ii) if $P(x)$ is a cubic polynomial of the form $x^3 + ax^2+bx+c$ then find all the cubic equations which do not share any root with the equations calculated in part (i)
My attempt
for part (i)
let $r$ is a root of $P(x)$ then $r^2 – 4$ should also be a root of the equation
and as $r^2 -4$ is a root then is $(r^2-4)^2-4$ so atleast two of them should be equal otherwise the $P(x)$ would be the zero polynomial which is a contradiction so
either $$ r = r^2 – 4 \ or \ r = r = (r^2-4)^2-4 $$ as the third equation leads to complex roots
and again the first is false as the roots should be distinct so $r$ satisfies $(r^2-4)^2-4 = r$
but I am not able to solve further and also not sure that what i have done is correct
I just need the idea to solve the cubic part
by calculator i found four values of r for first part but in the question it was mentioned that there are only 2 polynomials
Best Answer
(i) Let $a,b$ be such that $P(x)=x^2+ax+b$ has the given property. Let $x_1,x_2$ be the roots of $P(x)$.
If $x_1^2-4=x_2^2-4$, then we have successively $x_1^2=x_2^2$, $ax_1+b=ax_2+b$, $a(x_1-x_2)=0$, $a=0$. So $x_1,x_2$ are $\pm\sqrt {-b}$, and we need $-b-4=x_1^2-4=\pm\sqrt b$. So $\sqrt b$ is a root of the equation $-T^2-4=\pm T$ in $T$. There are four solutions in complex numbers, none of them is real. But i suppose we are working over $\Bbb R$. So this case leads to no solution.
If $x_1^2-4\ne x_2^2-4$, the remained case, then these two values are $x_1,x_2$ in this order or in the other one. So we have one of the cases: $$ \begin{aligned} x_1 &= x_1^2-4\ ,\\ x_2 &= x_2^2-4\ , \end{aligned} \qquad\text{ or } \begin{aligned} x_1 &= x_2^2-4\ ,\\ x_2 &= x_1^2-4\ . \end{aligned} $$ In the first case we obtain real distinct roots, they are the roots of the equation $$ X^2-X-4=0\ , $$ and we compute them immediately, $\frac 12(1\pm\sqrt{17})$. In the second case, we plug in the second equation in the first equation, so $x_1$ (as also $x_2$ by symmetry) is a solution of $$ X=(X^2-4)^2-4\ . $$ (This equation also appears in the OP...) But we have the supplementary information, that also the roots of the first system (obviously) satisfy this equation. So we expect that the polynomial $(X^2-X-4)$ divides $(X^2-4)^2-X-4=X^2-8X^2-X+12$. This is the case, and the quotient is $(X^2+X-3)$. We have thus the two other values, $\frac 12(-1\pm\sqrt{13})$.
Well, we do not need the roots (since both sufficient/necessary phases are clear), the two polynomials needed are $(X^2-X-4)$ and $(X^2+X-3)$.
(ii) is completely unclear, may be complex, may (all three) coincide, etc.
I will solve the explicit case when the roots $x_1,x_2,x_3$ are real and distinct. Let $g(x)$ be $g(x)=x^2-4$. What is $g(x_1)$. It cannot be $x_1$, else we have a root from (i). Similarly for the other two. So $g$ permutes the roots without fixed point. There are only two such permutations. We possibly exchange $x_2,x_3$, so that in this case (ii), we have to solve: $$ \tag{$*$} \left\{ \begin{aligned} x_1 &= g(x_2) = x_2^2-4\ ,\\ x_2 &= g(x_3) = x_3^2-4\ ,\\ x_3 &= g(x_1) = x_1^2-4\ . \end{aligned} \right. $$ We plug in the second, then the third relations in the first one, eliminate $x_2,x_3$ and obtain an equation in $x_1$. So $x_1,x_2,x_3$ are the roots of $X=g(g(g(X)))$. Expanding, we get the equation: $$ x^8 - 16x^6 + 88x^4 - 192x^2 - x + 140 =0\ . $$ With the same argument from (i), we expect the factor $(x^2-x-4)$, but the remained polynomial of degree $6$ has not a quick human factorization. Well, using a CAS (computer algebra system) like sage, this is an easy task:
Here we still have to work a little, since if $x_1$ is for instance a root of the first factor $(x^3 + 2x^2 - 3x - 5)$, there is a question about $x_2=g(x_1)=x_1^2-4$, is it a root of the same factor? The answer is yes, since also using the CAS (sage here):
so $g(x_1)$ is a root of the one or the other factor $(x^3 \pm 2x^2 - 3x \mp 5)$, but the "bad" factor is excluded, because $x_1$ is also a root of the polynomial $g(g(g(x)))-x$ above.
But as a human, there is still a good way to proceed, if this happens in an exam with all computer aid excluded. (This exclusion still happens in this century, it's for the protection and the benefit of the students, that else would start playing chess and go during the boring exam on their powerful machines, while also enjoying the hi res albums of past holidays with the family. Sorry...)
To see how, let us start with the system $(*)$ above. Let $s,q,p$ be the three elementary symmetric expressions of degrees $1,2,3$ (Vieta) for $x_1,x_2,x_3$, so $s$ is their sum, $p$ their product, and $q=x_1x_2+x_2x_3+x_3x_1$. Then we get relatively quickly some algebraic equations in $s,q,p$: $$ \begin{aligned} s^2 &= x_1^2+x_2^2+x_3^2+2q=(x_1+4)+(x_2+4)+(x_3+4)+2q \\ &=s+2q+12\ , \\[2mm] q^2 &= x_1^2x_2^2 + x_1^2x_2^2 + x_1^2x_2^2 + 2ps\\ &=(x_1+4)(x_2+4) + (x_2+4)(x_3+4) + (x_3+4)(x_1+4) + 2ps\\ &=q+8s+48+2ps\ ,\\[2mm] p^2 &=x_1^2x_2^2x_3^2=(x_1+4)(x_2+4)(x_3+4)\\ &=p+4q+16s+64\ ,\\[2mm] 1 &= (x_1+x_2)(x_2+x_3)(x_3+x_1) \\ &=x_1^2(x_2 +x_3) + x_2^2(x_3 +x_1) + x_3^2(x_1 +x_2) + 2x_1x_2x_3\\ &=\underbrace{x_1^2(x_2 +x_3) + x_2^2(x_3 +x_1) + x_3^2(x_1 +x_2) + 3x_1x_2x_3} _{(x_1+x_2+x_3)(x_1x_2+x_2x_3+x_3x_1)} - x_1x_2x_3\\ &=sq-p\ . \end{aligned} $$ The last equation was obtained starting from $(x_1-x_2)=(x_2^2-x_3^2)=(x_2-x_3)(x_2+x_3)$, building the two other cousins obtained cycling the indices, taking the product, and simplifing, since the roots are different.
The last equation, $p = sq-1$, can be used to eliminate $p$ in the other equations. Then the first two equations become $$ q = \frac 12(s^2-s-12)\ ,\ 0=25q+6s+48+2qs+3q^2\ . $$ We substitute $q$ from the first equation in the second equation. The equation in $s$ is $$ 3s^4-2s^3-23s^2-2s+24=0\ . $$ The solutions are $1,3,-2,-4/3$.
The corresponding $q$ values are respectively $-6,-3,-3,-40/9$.
The corresponding $p=sq-1$ values are respectively $-7,-10,5,133/27$.
But only two of them also satisfy the equation $p^2=p+4q+16s+64$. The two solutions for $(s,q,p)$ are thus:
$$(1,-6,-7)\text{ and }(-2,-3,5)\ .$$ The corresponding polynomials are: $$ x^3-x^2-6x+7\text{ and }x^3+2x^2-3x-5\ . $$ $\square$