弹簧拉力随伸长长度变化函数解析式是什么?