theorem 19.62 Rotational second law for a system

open in the book · parts/03-classical-mechanics/02-newtonian-dynamics.tex:1835 · p. 756

Rests on

depends_on equation 19.2 eq:newt-second-law ¶
depends_on equation 19.14 eq:newt-torque ¶
depends_on postulate 19.61 Newton's third law, strong form ¶
- 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 postulate 18.14 Absolute time ¶
      - depends_on postulate 18.16 Principle of Galilean relativity ¶
    - 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 postulate 19.48 Newton's third law ¶
  - depends_on definition 19.2 Interaction ¶
    - depends_on definition 18.3 Particle ¶
    - depends_on postulate 19.1 Inertia ¶
      - depends_on definition 18.8 Inertial frame of reference ¶ ↺
      - 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 19.3 Mass ¶
    - 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 ¶ ↺
proves proof ch:02-newtonian-dynamics@proof-21 ¶

Supports

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`	→	eq:newt-second-law	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:1849
`depends_on`	→	eq:newt-torque	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:1849
`depends_on`	→	Newton's third law, strong form	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:1849
`depends_on`	←	Conservation of angular momentum	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:2061
`proves`	←	ch:02-newtonian-dynamics@proof-21	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:1853