9 Periods and Kepler’s Third Law
We define period, prove that one period sweeps the full ellipse area, and derive the period law. Lean proves that one configuration period traces the ellipse exactly once.
We define period, prove that one period sweeps the full ellipse area, and derive the period law. Lean proves that one configuration period traces the ellipse exactly once.