theorem 27.10 Lagrange–Dirichlet
open in the book ·
parts/03-classical-mechanics/10-central-forces-statics.tex:299
· p. 928
Rests on
- depends_on equation 27.9 eq:cfs-stationary-potential ¶
- depends_on equation 19.21 eq:newt-energy ¶
-
depends_on
theorem 21.43
Conservation of energy
¶
- depends_on equation 21.51 eq:lag-energy-dot-cons ¶
- depends_on equation 21.46 eq:lag-energy-h ¶
-
depends_on
theorem 19.32
Conservation of energy
¶
-
depends_on
definition 19.31
Energy
¶
-
depends_on
definition 19.30
Conservative force and potential energy
¶
- depends_on equation 19.2 eq:newt-second-law ¶
- depends_on postulate 19.8 Newton's second law ¶
- depends_on definition 19.29 Kinetic energy ¶
-
depends_on
definition 19.30
Conservative force and potential energy
¶
- depends_on equation 19.19 eq:newt-conservative ¶
- depends_on equation 19.4 eq:newt-fma ¶
- proves proof ch:02-newtonian-dynamics@proof-9 ¶
-
depends_on
definition 19.31
Energy
¶
- proves proof ch:04-lagrangian-mechanics@proof-11 ¶
- proves proof ch:10-central-forces-statics@proof-6 ¶
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:cfs-stationary-potential | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:304 |
depends_on |
→ | eq:newt-energy | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:304 |
depends_on |
→ | Conservation of energy | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:304 |
proves |
← | ch:10-central-forces-statics@proof-6 | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:308 |