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