Polynomials question (1 Viewer)

integral95

Well-Known Member
Joined
Dec 16, 2012
Messages
779
Gender
Male
HSC
2013
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.
 
Last edited:

aa180

Member
Joined
Sep 21, 2016
Messages
55
Location
Euclidean 3-space
Gender
Male
HSC
2012
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.
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.
 

fan96

617 pages
Joined
May 25, 2017
Messages
543
Location
NSW
Gender
Male
HSC
2018
Uni Grad
2024
The coefficients of the polynomial are suspiciously symmetrical.

Consider:



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.
 

aa180

Member
Joined
Sep 21, 2016
Messages
55
Location
Euclidean 3-space
Gender
Male
HSC
2012
The coefficients of the polynomial are suspiciously symmetrical.

Consider:



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.
 
Last edited:

fan96

617 pages
Joined
May 25, 2017
Messages
543
Location
NSW
Gender
Male
HSC
2018
Uni Grad
2024
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 of the remaining two being purely real is still completely valid at this point.
whoops... my bad.
 

aa180

Member
Joined
Sep 21, 2016
Messages
55
Location
Euclidean 3-space
Gender
Male
HSC
2012
whoops... my bad.
Lol but you were definitely right in observing the implication that the roots occur in reciprocal pairs due to the symmetry of the coefficients, as this is integral to the proof (unless there's some shortcut way I haven't picked up on).
 

mrbunton

Member
Joined
Feb 1, 2018
Messages
27
Gender
Male
HSC
2018
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.

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
hence:
2-4y^2+a^2+1/a^2=-3/4

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?
 

aa180

Member
Joined
Sep 21, 2016
Messages
55
Location
Euclidean 3-space
Gender
Male
HSC
2012
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
hence:
2-4y^2+a^2+1/a^2=-3/4

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 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.
 

KAIO7

Member
Joined
Feb 21, 2018
Messages
50
Location
World of void
Gender
Undisclosed
HSC
N/A
My gut feeling tells me that re-arranging/expressing the equation differently and restricting the range of the possible roots to yield a contradiction could work

Also you could express it as the product of two quadratic functions and show that the discriminant is less than zero.
 
Last edited:

aa180

Member
Joined
Sep 21, 2016
Messages
55
Location
Euclidean 3-space
Gender
Male
HSC
2012
Also you could express it as the product of two quadratic functions and show that the discriminant is less than zero.
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.

By quadratics I mean a quadratic and a biquadratic.
 
Last edited:

aa180

Member
Joined
Sep 21, 2016
Messages
55
Location
Euclidean 3-space
Gender
Male
HSC
2012
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.
 
Last edited:

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
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.
 

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
Yeah I thought so, but otherwise your proof is acceptable.
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 z^N times 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.
 
Last edited:

aa180

Member
Joined
Sep 21, 2016
Messages
55
Location
Euclidean 3-space
Gender
Male
HSC
2012
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.
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).


Also, thanks for giving me the correct terminology for a polynomial with symmetric coefficients. I know what a palindromic word and a palindromic number is, but for some reason I didn't realize the same name applies for a polynomial haha
 

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

Top