proposition 21.22 Determinacy of the first-kind system
open in the book ·
parts/03-classical-mechanics/04-lagrangian-mechanics.tex:465
· p. 780
Rests on
- depends_on equation 21.12 eq:lag-constraint-hypothesis ¶
- depends_on equation 21.21 eq:lag-constraints-fk ¶
- depends_on equation 21.22 eq:lag-first-kind ¶
- proves proof ch:04-lagrangian-mechanics@proof-4 ¶
Supports
- depends_on proposition 21.25 Departure from a smooth sphere ¶
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-constraint-hypothesis | declared | parts/03-classical-mechanics/04-lagrangian-mechanics.tex:489 |
depends_on |
→ | eq:lag-constraints-fk | declared | parts/03-classical-mechanics/04-lagrangian-mechanics.tex:489 |
depends_on |
→ | eq:lag-first-kind | declared | parts/03-classical-mechanics/04-lagrangian-mechanics.tex:489 |
depends_on |
← | Departure from a smooth sphere | declared | parts/03-classical-mechanics/04-lagrangian-mechanics.tex:593 |
proves |
← | ch:04-lagrangian-mechanics@proof-4 | declared | parts/03-classical-mechanics/04-lagrangian-mechanics.tex:493 |