严格证明动能定理一定要用微积分吗?