Solve , . Since , differentiation gives . To see why the Lax equation preserves the spectrum, direct differentiation gives
Thus is an orthogonal similarity, so all eigenvalues and all coefficients of its characteristic polynomial are first integrals.
A -dimensional Hamiltonian system is Liouville integrable when it has functionally independent first integrals, including the Hamiltonian, whose pairwise Poisson brackets vanish, on an open dense regular region.
For the three-particle periodic Toda lattice, take . The proposed Hamiltonian has
which are exactly the equations of motion. Differentiating the new variables gives
The transformation is not canonical. For example
rather than canonical coordinate brackets. Moreover , so the map forgets the common translation of all the and is not an invertible coordinate change on the six-dimensional phase space.
Multiplication of the displayed matrices gives diagonal entries and off-diagonal entries in . Therefore they form the required Lax pair. The three characteristic coefficients are
They are independent first integrals, as permitted without proof. Equivalently one may take
Indeed , and . Their mutual Poisson commutation also follows directly: generates the common translation, and because is conserved.
A real square matrix is an orthogonal matrix when . The planar rotation
obeys by the Pythagorean trigonometric identity.
For , the off-diagonal entry of is . Thus
If , equivalently ; if is scalar, every angle works.
Because is an orthogonal similarity, its diagonal entries are the eigenvalues
The matrix has eigenvalues along . Raising its orthogonal diagonalization to the even power gives
For symmetric , apply at stage the same reflection on both sides, choosing it to zero entries below the first subdiagonal in column . Orthogonal similarity preserves symmetry, so the corresponding row entries vanish too and previous zeros remain. After finitely many stages is symmetric tridiagonal. Constructing each reflector uses only arithmetic and one square root.
Starting with , suppose columns have already been reduced to tridiagonal form. Let be the part of column in rows . A Householder reflection on these coordinates can map to . Extend it by the identity on the first coordinates and call the resulting orthogonal matrix .
The update
zeros every entry below row in column . Because it is an orthogonal similarity, it preserves eigenvalues; because the same transformation is applied on both sides, it preserves symmetry and zeros the corresponding row entries without disturbing earlier columns. After such steps,
is symmetric and tridiagonal and has the same eigenvalues as . Every reflector is obtained from finitely many matrix entries using finitely many arithmetic operations and a square root, so this is a finite construction.