>>970
力と仕事の定義から導かれてる
それは１つめの式があろうがなかろうが成り立つ式だ。