proposition 19.36 Work of a torque
open in the book ·
parts/03-classical-mechanics/02-newtonian-dynamics.tex:1060
· p. 745
Rests on
-
depends_on
definition 19.34
Work
¶
- depends_on definition 18.3 Particle ¶
-
depends_on
postulate 19.8
Newton's second law
¶
-
depends_on
definition 19.5
Linear momentum
¶
-
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
postulate 19.6
Newton's first law
¶
-
depends_on
definition 18.8
Inertial frame of reference
¶
- depends_on definition 18.7 Frame of reference ¶
- depends_on definition 18.6 Free particle ¶
- depends_on definition 19.5 Linear momentum ¶ ↺
-
depends_on
definition 18.8
Inertial frame of reference
¶
-
depends_on
definition 19.5
Linear momentum
¶
- depends_on equation 19.15 eq:newt-torque-force ¶
- proves proof ch:02-newtonian-dynamics@proof-11 ¶
Supports
- depends_on corollary 19.37 Rotational power ¶
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 |
→ | Work | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1073 |
depends_on |
→ | eq:newt-torque-force | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1073 |
depends_on |
← | Rotational power | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1121 |
proves |
← | ch:02-newtonian-dynamics@proof-11 | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1076 |