Rigorous Derivations of the Planar Impact Dynamics Equations in the Center-of-Mass Frame · wovepaper