Lol for a second there I thought your original solution was correct (though I think I spotted the error), but either way it still differs from my proof.Let a,b,c,d be the roots of P(z)
Consider sum of each of the square of the roots i.e
You'll see that this is negative, that proves that there is at least one complex root, since P(z) has real coefficients, the 2nd root must a complex conjugate root of the first.
anddddddd I'm lost with proving the other 2 roots atm.
Are you sure?The coefficients of the polynomial are suspiciously symmetrical.
Therefore, if is a (nonzero) root of then so is its reciprocal .
By the Fundamental Theorem of Algebra and the conjugate root theorem, the four roots of are .
This means that the roots of are either all real or all non-real.
integral95 has already proved that has non-real roots, so therefore has no real roots.
Are you sure?
You have not accounted for the possibility that lies on the unit circle which would give and , meaning only two roots are recovered and the possibility that the remaining two being purely real is still completely valid at this point.
I believe you are correct which thus completes the proof, though my solution is still different from what you, fan96, and integral95 have proposed, but that which still utilizes some of the ideas you guys have put forth. Well done for still managing to solve it otherwise.if two roots lie on unit circle and are reciprocal to each other:
(using fan96's and integral95's progress)
let x+iy denote one of these imaginary roots.
2x^2-2y^2+a^2+b^2=-3/4 if i didnt make any mistakes, from integral's working.
anyway if the root is on unit circle than x^2+y^2=1; x^2=1-y^2
a and b are also reciprocal to each other from product of roots where ab=1; a=1/b
the min value of a^2+1/a^2 is 2 (using calc.) and the max value for y is 1 (unit circle)
putting all this in the min value for the equation should be 2-4+2=0; but it's negative so hence a (and b) must be imaginary as well.
is this a correct addition to the solution?
I originally thought of expressing it as a sum of two positive definite quadratics (as opposed to your suggestion of writing it as a product) but was unable to find two that were suitable.Also you could express it as the product of two quadratic functions and show that the discriminant is less than zero.
Are you assuming the points (-2, q(-2)) and (2, q(2)) lie on opposite sides of the axis of symmetry of the parabola y = q(t)? Because if they happen to lie on the same side then the minimum value of q(t) will occur away from these endpoints (but still within the domain of q), and so you needed to justify this assumption.
Are you assuming the points (-2, q(-2)) and (2, q(2)) lie on opposite sides of the axis of symmetry of the parabola y = q(t)? Because if they happen to lie on the same side then the minimum value of q(t) will occur away from these endpoints (but within the domain of q), and so you needed to justify this assumption.
Thanks.Yeah I thought so, but otherwise your proof is acceptable.
Yeah when I originally wrote this question, I knew the roots were easily attainable through division of the equation by , and since I had my own alternative method for proving the roots aren't real, I wanted to deny the reader the option of solving P(z) = 0 so as to make the question more of a challenge. Your method is kinda sneaky in that it circumvents the restriction imposed by the question while simultaneously utilizing the property of reducing P(z) to a quadratic in (z+1/z).Thanks.
The main reason I wrote it was to show students the idea of writing the polynomial as a polynomial in (z+ 1/z). In fact, the polynomial P(z) is an even degree palindromic polynomial, and any even degree palindromic polynomial of degree 2N (in z) can be written as a polynomial of degree N in (z +1/z). This meant the given quadratic polynomial could effectively be written as a quadratic polynomial, which students should find easier to analyse.