[math-fun] (Corollary of) Kepler's 3rd Law:

The orbital period of a planet depends only on its major axis. gosper.org/4planets.gif . Does anybody feel like proving that with this phasing, these planets are collinear only twice per period? —rwg