Theorem (Kepler-third-law residual canonical): T^2 = 4 pi^2 a^3 / (G M_star) rearranges to T^2 G M_star / a^3 = 4 pi^2 exactly, so the residual T^2 G M_star / a^3 - 4 pi^2 = 0 vanishes identically. Canonical sympy pins: T_, GM, a =…
Theorem (Kepler-third-law residual canonical): T^2 = 4 pi^2 a^3 / (G M_star) rearranges to T^2 G M_star / a^3 = 4 pi^2 exactly, so the residual T^2 G M_star / a^3 - 4 pi^2 = 0 vanishes identically. Canonical sympy pins: T_, GM, a =…