definition A.658 The orbit function

open in the book · appendices/A-long-proofs.tex:32125 · p. 3113

ground object -- no derivation owed

Rests on

depends_on equation 27.30 eq:cfs-binet-u ¶
- step_from equation 27.29 eq:cfs-binet-phidot ¶
- step_from equation 27.16 eq:cfs-polar-acceleration ¶
depends_on equation 19.4 eq:newt-fma ¶
depends_on proposition 27.23 Binet equation ¶
- depends_on equation 27.20 eq:cfs-angular-momentum-polar ¶
- depends_on equation 27.16 eq:cfs-polar-acceleration ¶ ↺
- proves proof ch:10-central-forces-statics@proof-14 ¶

Supports

depends_on definition A.659 Circular orbit and its index ¶
- depends_on lemma A.660 The index in terms of the force ¶
  - depends_on proposition A.661 The first-order narrowing ¶
    - depends_on theorem A.664 Bertrand's condition ¶

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:cfs-binet-u	declared	appendices/A-long-proofs.tex:32139
`depends_on`	→	eq:newt-fma	declared	appendices/A-long-proofs.tex:32139
`depends_on`	→	Binet equation	declared	appendices/A-long-proofs.tex:32139
`depends_on`	←	Circular orbit and its index	declared	appendices/A-long-proofs.tex:32159