remark 22.12 The hypothesis, stated sharply

open in the book · parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:321 · p. 808

remark -- no derivation owed by its kind

Rests on

depends_on equation 21.74 eq:lag-kinetic-metric ¶
depends_on proposition 22.11 Hamiltonian and total energy ¶
- depends_on equation 22.1 eq:ham-hamiltonian ¶
- depends_on proposition 21.38 Energy in generalized coordinates ¶
  - depends_on equation 21.44 eq:lag-energy ¶
  - depends_on equation 21.7 eq:lag-gct ¶
  - depends_on equation 21.45 eq:lag-jacobi-integral ¶
  - proves proof ch:04-lagrangian-mechanics@proof-9 ¶
- proves proof ch:05-hamiltonian-mechanics@proof-5 ¶

Supports

Nothing declares a dependency on this node yet.

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	eq:lag-kinetic-metric	declared	parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:343
`depends_on`	→	Hamiltonian and total energy	declared	parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:343