運動エネルギーの差は仕事　導出