The characteristic polynomial is
For , the eigenspace is spanned only by , so its geometric multiplicity is one although its algebraic multiplicity is two. Hence is not diagonalisable.
If , then
so the characteristic polynomials, eigenvalues, and algebraic multiplicities agree. The converse is false: and have the same characteristic polynomial, but the first is diagonalisable and the second is not, so they cannot be similar.
The Cayley-Hamilton theorem states that a square matrix satisfies its characteristic polynomial. If a matrix is diagonalisable, ; applying to the diagonal matrix gives zero and hence .
If , every eigenvalue satisfies , so all eigenvalues are zero and the characteristic polynomial is . Cayley--Hamilton then gives .
The characteristic polynomial of the homogeneous equation is
so . For a particular integral put . Then
Taking gives after discarding homogeneous terms. Therefore
The recurrence shows that is a polynomial with integer coefficients. Part (a) gives
Thus is a root of a nonzero integer polynomial and is algebraic.
Put . The recurrence
defines monic integer polynomials and gives . Hence is an algebraic integer. If is rational, then the rational algebraic integer is an integer. Since , this leaves the values corresponding to
This is the rational cosine of an integral submultiple of pi result. For every , the value lies strictly between and , so it is irrational.
On , put , so . The Taylor polynomials
converge uniformly there to . Moreover
For all sufficiently large , the uniform error is below half this lower bound, so whenever . Every zero therefore lies in .
True. By Jordan normal form, the characteristic polynomial records the total size of the blocks for each eigenvalue, while the minimal polynomial records the largest block for each eigenvalue. In dimension three this determines every block partition: for algebraic multiplicity three the possibilities , , and have largest block sizes three, two, and one; multiplicities one and two are equally immediate. Thus the two matrices have the same Jordan form and are conjugate. This is the characteristic and minimal polynomials determine similarity in dimension three phenomenon.
False. At eigenvalue , algebraic multiplicity two and minimal-polynomial exponent two force one block . At eigenvalue , the blocks have total size five and largest size two, so there are only two possible partitions,
Hence there are exactly two conjugacy classes satisfying the given polynomial data, represented by
and
There cannot be three mutually non-conjugate examples.
True. Suppose are real and for an invertible complex matrix , with real. Taking real and imaginary parts gives
The polynomial is not identically zero, since . Choose a real outside its finite zero set. Then is real and invertible, and . Thus and are conjugate over , as stated by complex similarity of real matrices implies real similarity.
Integrating the ordinary differential equation four times gives a quartic polynomial. It is useful to use the linearity of the equation and split the solution into a gravity part and a force part:
where
satisfies the clamped and torque-free boundary conditions with , while
satisfies the homogeneous equation and contributes the endpoint force. Direct differentiation verifies
Thus
the clamped-free beam under uniform load and endpoint force.
Substitute into the energy functional and integrate the resulting polynomial:
The term linear in cancels. Hence
As required, is independent of the force and is a quadratic function of it.
For an matrix , the characteristic polynomial is
The Cayley-Hamilton theorem states that .
Over , choose a basis in which is upper triangular, with diagonal entries . For the standard invariant flag ,
The factors commute, so applying their product in descending order sends successively into . Hence
which proves the theorem.
Direct expansion gives the commutator product rule:
Put . Since commutes with , repeated use of the product rule gives
By linearity, for every polynomial ,
Let and suppose . For ,
Assume inductively that
Both and are polynomials in, or commute with, , so . Apply the derivation to and multiply on the left by :
Since , this says
The induction is complete. Taking and gives
Thus is nilpotent, which is the Jacobson lemma for a commuting commutator.
Suppose is prime in and divides in . It divides one factor in , say for . Write with primitive and . The product is primitive. Since
has all coefficients in , a denominator of would divide every coefficient of the primitive polynomial ; it must therefore be a unit. Thus , so and divides in . Hence is prime in .