试推导弹性力作功的表达式。