phenomenon 19.33 Mechanical energy is conserved
open in the book ·
parts/03-classical-mechanics/02-newtonian-dynamics.tex:943
· p. 744
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
- depends_on equation 19.19 eq:newt-conservative ¶
-
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.5 Linear momentum ¶
- depends_on postulate 19.6 Newton's first law ¶
-
depends_on
definition 19.29
Kinetic energy
¶
-
depends_on
definition 18.10
Velocity
¶
- depends_on definition 7.26 Derivative of a function at a point ¶
- depends_on definition 18.9 Position ¶
- depends_on definition 13.9 Tangent vector to a curve ¶
- depends_on definition 19.3 Mass ¶
-
depends_on
definition 18.10
Velocity
¶
-
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:02-newtonian-dynamics@proof-10 ¶
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 |
|---|---|---|---|---|
cites |
→ | Discorsi e dimostrazioni matematiche intorno a due nuove scienze | derived | parts/03-classical-mechanics/02-newtonian-dynamics.tex:951 |
depends_on |
→ | eq:newt-conservative | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:956 |
depends_on |
→ | Conservation of energy | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:956 |
proves |
← | ch:02-newtonian-dynamics@proof-10 | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:959 |