postulate 19.61 Newton's third law, strong form
open in the book ·
parts/03-classical-mechanics/02-newtonian-dynamics.tex:1823
· p. 756
- ground object -- no derivation owed
Rests on
-
depends_on
corollary 19.14
Central pair forces are admissible
¶
-
depends_on
proposition 19.13
Which forces are admissible
¶
-
depends_on
definition 18.18
Galilean transformation
¶
-
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 postulate 18.14 Absolute time ¶
- depends_on postulate 18.16 Principle of Galilean relativity ¶
-
depends_on
definition 18.8
Inertial frame of reference
¶
-
depends_on
theorem 19.12
Galilean covariance of the second law
¶
- depends_on definition 18.18 Galilean transformation ¶ ↺
- depends_on equation 19.4 eq:newt-fma ¶
- depends_on postulate 18.14 Absolute time ¶ ↺
- proves proof ch:02-newtonian-dynamics@proof-3 ¶
- proves proof ch:02-newtonian-dynamics@proof-4 ¶
-
depends_on
definition 18.18
Galilean transformation
¶
-
depends_on
proposition 19.13
Which forces are admissible
¶
-
depends_on
postulate 19.48
Newton's third law
¶
- depends_on definition 19.2 Interaction ¶
-
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 19.5 Linear momentum ¶ ↺
-
depends_on
definition 19.5
Linear momentum
¶
Supports
-
depends_on
theorem 19.63
The spin obeys the same law about the centre of mass
¶
- depends_on phenomenon 19.65 Spin is conserved when no external torque acts ¶
- depends_on theorem 19.68 Conservation of angular momentum ¶
-
depends_on
theorem 19.62
Rotational second law for a system
¶
- depends_on theorem 19.68 Conservation of angular momentum ¶ ↺
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 |
→ | Central pair forces are admissible | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1832 |
depends_on |
→ | Newton's third law | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1832 |
depends_on |
← | The spin obeys the same law about the centre of mass | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1893 |
depends_on |
← | Rotational second law for a system | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1849 |