postulate 19.19 Newton's first law, rotational case
open in the book ·
parts/03-classical-mechanics/02-newtonian-dynamics.tex:490
· p. 739
- ground object -- no derivation owed
Rests on
-
depends_on
definition 19.18
Angular momentum
¶
- depends_on definition 18.3 Particle ¶
-
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 7.16 Limit ¶
- depends_on definition 7.9 Real function ¶
-
depends_on
definition 18.9
Position
¶
- depends_on definition 18.7 Frame of reference ¶
- depends_on definition 18.3 Particle ¶ ↺
- depends_on definition 13.9 Tangent vector to a curve ¶
-
depends_on
definition 7.26
Derivative of a function at a point
¶
- 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 19.5 Linear momentum ¶ ↺
Supports
- depends_on phenomenon 19.21 Equal areas in equal times ¶
-
depends_on
proposition 20.13
Eastward deflection of a body dropped from rest
¶
- depends_on remark 20.14 Why the elementary argument gives three halves of this ¶
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 |
→ | Angular momentum | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:494 |
depends_on |
→ | Newton's first law | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:494 |
depends_on |
← | Equal areas in equal times | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:545 |
depends_on |
← | Eastward deflection of a body dropped from rest | declared | parts/03-classical-mechanics/03-exp-projectile-motion.tex:743 |