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.
Use
Stationarity gives
Putting , this becomes
and the constraint requires
The left side is strictly increasing, and solves the equation. Hence
The objective is convex and the constraint is affine. Its tangent-plane inequality at gives, for every feasible ,
so the Lagrange point is globally optimal. Moreover, at the dual value , the infimum of the Lagrangian function in constrained optimization is attained at the same point and equals three. The primal and dual values coincide, so strong duality holds.
For the value function, the multiplier convention above gives the derivative of a constrained value function
At , therefore,
A capacitor consists of two conductors carrying equal and opposite charges. Its capacitance is
where is the magnitude of the charge on either conductor and is their potential difference.
For , a coaxial Gaussian cylinder of length encloses charge . Gauss's law gives
Taking to mean the inner potential minus the outer potential,
Since ,
The field energy is
These are the standard coaxial cylindrical capacitor formulas.
The function is odd, so only sine coefficients occur. For ,
Integration by parts gives
and
The terms of order cancel, leaving
Thus
The Parseval identity gives
Direct integration yields
Therefore
as recorded in the Fourier series of x cubed minus pi squared x.
Suppose first that is connected and is continuous. Its image is connected by the continuous image of a connected space, but is discrete, so its only connected nonempty subsets are singletons. Hence is constant.
Conversely, if is a disconnection into nonempty disjoint open sets, the function equal to zero on and one on is continuous and nonconstant. This proves the integer-valued function criterion for connectedness.
Now let be continuous under the hypotheses on the family . Each restriction is constant because is connected. If , a point of shows that their two constants agree. Since the sets cover , is constant on , and the criterion proves that is connected. This is the pairwise-intersecting connected cover argument.
Finally, fix . For each , the set
is connected: its two connected pieces meet at . The sets cover and any two share . The preceding result proves that is connected, giving the product of connected spaces result.
For
the parity condition is preserved by componentwise addition, negation, and multiplication, and is the identity. Thus is a ring.
It is not an integral domain, since and are nonzero elements of whose product is zero. It is also not a product of two nontrivial rings. Indeed, an idempotent in has each coordinate in , and the parity condition leaves only and . The proved equivalence then excludes a nontrivial product decomposition.

There are unlisted articles, also show them or only show them.