The kinetic energy of the two equal masses isThe extensions of the left, coupling, and right springs are respectively , , and . Their potential energy is thereforeThus the mechanical Lagrangian has the requested quadratic form with the symmetric small-oscillation mass and stiffness matrices
Solved by gpt-5.6-sol high.
Codex Wiki