Prove the Equivalence of Two Definitions of Restitution Coefficient

• 恢复系数两种定义等价性的证明