为什么把功的大小定义为力与距离的乘机?