phenomenon 27.32 Kepler's first law: bound orbits are closed ellipses
open in the book ·
parts/03-classical-mechanics/10-central-forces-statics.tex:1041
· p. 937
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
- depends_on equation 27.28 eq:cfs-binet ¶
- depends_on equation 27.13 eq:cfs-central-force ¶
-
depends_on
theorem 27.30
Reduction of the two-body problem
¶
- depends_on equation 19.38 eq:newt-cm-position ¶
- depends_on equation 19.4 eq:newt-fma ¶
-
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
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:10-central-forces-statics@proof-18 ¶
- proves proof ch:10-central-forces-statics@proof-19 ¶
Supports
Nothing declares a dependency on this node yet.
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 |
|---|---|---|---|---|
cites |
→ | Philosophiæ Naturalis Principia Mathematica | derived | parts/03-classical-mechanics/10-central-forces-statics.tex:1052 |
depends_on |
→ | eq:cfs-binet | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:1053 |
depends_on |
→ | eq:cfs-central-force | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:1053 |
depends_on |
→ | Reduction of the two-body problem | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:1053 |
proves |
← | ch:10-central-forces-statics@proof-19 | declared | parts/03-classical-mechanics/10-central-forces-statics.tex:1057 |