theorem 19.12 Galilean covariance of the second law

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

Rests on

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.3 Particle ¶
  - depends_on definition 18.6 Free particle ¶
    - depends_on definition 18.3 Particle ¶ ↺
- depends_on postulate 18.14 Absolute time ¶
- depends_on postulate 18.16 Principle of Galilean relativity ¶
depends_on equation 19.4 eq:newt-fma ¶
depends_on postulate 18.14 Absolute time ¶ ↺
proves proof ch:02-newtonian-dynamics@proof-3 ¶

Supports

depends_on proposition 19.13 Which forces are admissible ¶
- depends_on corollary 19.14 Central pair forces are admissible ¶
  - depends_on postulate 19.61 Newton's third law, strong form ¶
    - 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 ¶ ↺
depends_on theorem 19.25 Galilean covariance of the rotational second law ¶

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`	→	Galilean transformation	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:304
`depends_on`	→	eq:newt-fma	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:304
`depends_on`	→	Absolute time	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:304
`depends_on`	←	Which forces are admissible	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:354
`depends_on`	←	Galilean covariance of the rotational second law	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:712
`proves`	←	ch:02-newtonian-dynamics@proof-3	declared	parts/03-classical-mechanics/02-newtonian-dynamics.tex:308