提供: Internet Web School

2015年3月21日 (土) 08:43時点における版 (ソースを表示) Moderator (トーク | 投稿記録) (→仕事エネルギー定理（Work-energy theorem)) ←前の差分		2015年3月21日 (土) 14:37時点における版 (ソースを表示) Moderator (トーク | 投稿記録) (→仕事エネルギー定理（Work-energy theorem)) 次の差分→
320 行:		320 行:
	補題の証明終わり。		補題の証明終わり。
	*[[Wikipedia_ja:線積分 |ウィキペディア(線積分)]]		*[[Wikipedia_ja:線積分 |ウィキペディア(線積分)]]
-
-	===保存力と位置エネルギー===
-	====力の場====
-	質点がどこにあろうが、その場所$\vec x$に応じて力$\vec{F}(\vec x)$が作用するとする(注１）。<br/>
-	このような空間を'''力の場'''という。<br/>
-
-	命題；力の場のなす仕事<br/>
-	質点が連続な力の場から力$\vec{F}(\vec x)$を受け、<br/>
-	点$P$から点$Q$ まで曲線Ｃに沿って移動したとする。<br/>
-	この軌跡(曲線Ｃに、点$P$から点$Q$へむけた向きをいれたもの)が、<br/>
-	実数のある閉区間$I=[a,b]$上で定義された、<br/>
-	滑らかなベクトル値関数$\vec x=\vec{x}(p),(a\leq p \leq b)$で表せるならば、<br/>
-	力のなす仕事$W=\int_{C}\vec{F}(\vec x)\cdot{d \vec x}$は、<br/>
-	$W=\int_{a}^{b}\vec{F}(\vec x(p))\cdot \frac{d \vec x(p)}{dp}dp$<br/>
-	(注）滑らかな関数とは、$I=[a,b]$上で連続で、<br/>
-	開区間$I^{\circ}=(a,b)$で微分可能で導関数が連続なもの。<br/>
-	我々が経験するすべての曲線は、<br/>
-	曲線を表示するための、パラメータ区間上のベクトル値関数あらわせる。<br/>
-	この関数が滑らかというのが、この命題の課す制約である。<br/>
-	証明；<br/>
-	仕事・エネルギー定理のⅰ）と全く同じように証明できる。<br/>
-	無限小を用いた直観的証明を参考までに以下に記す。<br/>
-	曲線表示用パラメータが$a$から$p$まで増加する間に<br/>
-	力の行う仕事を$W(p)$と書く。$W(b)=W,W(a)=0$である。<br/>
-	曲線表示用パラメータが$p$から無限小の$dp$だけ増加する間に<br/>
-	力の行う仕事は<br/>
-	$dW(p)=W(p+dp)-W(p)$<br/>
-	$=\vec{F}(\vec{x}(p))\cdot (\vec{x}(p+dp)-\vec{x}(p)$<br/>
-	$= \vec{F}(\vec{x}(p))\cdot \frac{d\vec{x}(p)}{dp}) dp$<br/>
-	上式を$a$から$b$まで積分すると<br/>
-	$\int_{a}^{b}dW(p)=\int_{a}^{b}\vec{F}(\vec{x}(p))\cdot \frac{d\vec{x}(p)}{dp}) dp$<br/>
-	また、
-	$\int_{a}^{b}dW(p)
-	=\int_{a}^{b}\frac{dW(p)}{dp}dp$<br/>
-	$=[W(p)]_{a}^{b}=W(b)-W(a)=W$<br/>
-	故に<br/>
-	$W= \int_{a}^{b}\vec{F}(\vec{x}(p))\cdot \frac{d\vec{x}(p)}{dp}) dp$
-	====保存力と保存力場====
-	力の場$\vec{F}(\vec x)$から力を受け
-	質点が任意の点$P$から任意の点$Q$ まで動くとき、<br/>
-	力の行う仕事が移動経路に関係なく２点$P$、$Q$だけで決まるならば、<br/>
-	この力の場を'''保存力場'''という。<br/>
-	保存力場の力を'''保存力'''(conservative force ) という。<br/>
-
-	移動経路としては、区分的に滑らかな曲線(注２参照）に限定する。<br/>
-	（注１）例えば、地球からの万有引力が作用する空間など。<br/>
-	（注２）曲線$\vec{C}$を、<br/>
-	$[0,1]$で定義された連続で、しかも<br/>
-	有限個の点を除いて微分可能で導関数が連続な<br/>
-	ベクトル値関数の軌跡で表すことが出来ることをいう。<br/>
-
-
-	====位置エネルギー　====
-	保存力は次のように言いかえることができる。<br/>
-	物体にかかる力 $\vec{F}(\vec x)$　に逆らって、<br/>
-	力 $-\vec{F}(\vec x)+\delta$を加えて、<br/>
-	物体をQ点からP点に非常にゆっくり動かす時、<br/>
-	この力$-\vec{F}(\vec x)$の行う仕事が<br/>
-	移動経路に関係なく２点の位置だけで決まる時、<br/>
-	力 $\vec{F}$を保存力という。<br/>
-	ここで力 $-\vec{F}$は、物体に作用する力 $\vec{F}$とつり合いをとるための力であり、<br/>
-	力 $\delta$は、力がつりあって静止している物体を、<br/>
-	移動経路に沿って、Ｑ点からＰ点まで<br/>
-	無限にゆっくりと動かすのに必要な、無限に小さい力である。<br/>
-	このため $\delta$ のなす仕事は零とみなせる。<br/>
-
-	この時、力 $-\vec{F}$がなす仕事を、<br/>
-	Q 点を基準とした P 点でのこの物体の<br/>
-	'''ポテンシャルエネルギー'''(potential energy)（あるいは位置エネルギー)と言う。<br/>
-	記号では、基準点も分かるように$U_{Q}(P)$などと書く。<br/>
-	これは、場の力が物体をＰ点からＱ点まで動かす時の、<br/>
-	場の力の行う仕事と等しい。<br/>
-	$U_{Q}(P)$は、力の場の定義されている領域中の任意の2点Ｑ、Ｐにたいして決まるので<br/>
-	$U$は、この領域上の2変数関数である。保存力場$\vec{F}$からきまるポテンシャル関数と呼ぼう。
-	*[[wikipedia_ja:ポテンシャル|ウィキペディア（ポテンシャル）]]の保存力の項
-	*[[wikipedia_ja:位置エネルギー|ウィキペディア（位置エネルギー）]]
-	*[[wikipedia:Potential_energy|ウィキペディア（Potential_energy）]] in English
-	を参照のこと。<br/>
-	命題；ポテンシャル関数の性質<br/>
-	保存力場の異なる任意の3点$P,Q,R$を考える。<br/>
-	各点からみた他の点のポテンシャルエネルギーには次の関係が常に成り立つ。<br/>
-	ⅰ）$U_{P}(Q)+U_{Q}(R)=U_{P}(R)$<br/>
-	ⅱ）$U_{P}(Q)=-U_{Q}(P)$<br/>
-	証明は、図のような経路にそって力の行う仕事の<br/>
-	間の関係を考えれば、簡単に出来る。<br/>
-
-	==== 力の場が保存的である必要十分条件 ====
-	命題<br/>
-	$\Omega$を空間${\bf R^3}$から有限個の点を除いた領域(注参照）とする。<br/>
-	領域$\Omega$の一点$O$を原点にした、直交座標系$O-x_{1}x_{2}x_{3}$を決める。<br/>
-	次の2条件は同値である。<br/>
-	(１）$\Omega$の連続な力の場<br/>
-	$\vec{F}(\vec x),(\vec x\in \Omega)$が<br/>
-	保存力場である。<br/>
-	（２）$\Omega$上で定義され実数に値を取る$C^1$級関数$U(\vec x)$が存在して<br/>
-	$\vec{F}_i=-\frac{\partial U}{\partial x_i} ,(i=1,2,3)　　\qquad \qquad (1)$<br/>
-	が$\Omega$上で成り立つ。<br/>
-	記述を簡略化するため、Uの勾配(gradient）<br/>
-	$\mathrm{grad}U(\vec x):=(\frac{\partial U}{\partial x_1}(\vec x),
-	\frac{\partial U}{\partial x_2}(\vec x),\frac{\partial U}{\partial x_3}(\vec x))$<br/>
-	を導入すると、<br/>
-	$\vec{F}=-\mathrm{grad}U$が$\Omega$上で成り立つ。<br/>
-
-	ここで$\frac{\partial U}{\partial x_1}(\vec x)$は、
-
-	$U(\vec x)$を、独立変数の第1成分 $x_1:=(\vec x)_1$の関数とみるため<br/>
-	他の変数は固定して、$V_1(x_1):=U(x_1,x_2,x_3)$という実変数で実数値の関数を考え、<br/>
-	$x_1$で微分したものを表す。記号で表示すると、<br/>
-	$\frac{\partial U}{\partial x_1}(\vec x):=\frac{dV_1}{dx_1}(x_1)$<br/>
-	関数Ｕの$\vec x$  における第１座標$x_1$に関する偏微分係数という。<br/>
-	他の座標に関する偏微分係数も同様に定義する。<br/>
-	関数$\frac{\partial U}{\partial x_i}$は<br/>
-	変数$\vec x$に、その点の$x_i$についての偏微分係数$\frac{\partial U}{\partial x_i}(\vec x)$を対応させるもので、<br/>
-	$x_i$についての偏導関数と呼ばれる。<br/>
-	$U(\vec x)$が$C^1$級とは、<br/>
-	全ての偏導関数$\frac{\partial U}{\partial x_i}、(i=1,2,3)$が存在し、<br/>
-	しかも連続関数となることをいう。<br/>
-	多変数関数の連続性や微分については、<br/>
-	「第8章　物理数学」の「極限と微分」で要点を説明してある。<br/>
-	(注）空間が力の場となるには、それを作り出す物体が必要。<br/>
-	例えば、地球の周りに出来る重力場は、地球が作りだしている。<br/>
-	この重力場は3次元空間から、地球の存在する場所を除いた空間部分に出来る。<br/>
-	この部分を領域と呼ぶことにする。<br/>
-	地球は地球周辺の物体より、質量が桁違いに大きいので、<br/>
-	物体と引きあっても殆ど動かないため、<br/>
-	重力場の領域は時間に関係なく定まる。<br/>
-
-
-	証明；<br/>
-	（１）ならば（２）を示す。<br/>
-
-	この領域の任意の点$P(x_1,x_2,x_3)$(x_iはＰの座標)の、原点からみた、ポテンシャルエネルギー<br/>
-	$U(P)=\int_{C(O \to P)}-\vec{F}(\vec y)\cdot \vec{dy}$<br/>
-	を定める。この値は経路$C(O\to P)$に関係なくきまる。<br/>
-	１）$\frac{\partial U}{\partial x_1}(\vec x)=-{\vec F}_{1}(\vec x)$を示す。<br/>$\vec{e_1}:=(1,0,0)$とおき、Uの偏微分を定義に従って計算する。<br/>
-	$\frac{\partial U}{\partial x_1}(\vec x)
-	=\lim_{\delta \to 0,\delta\neq 0}\frac{U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)}{\delta}$<br/>
-	ここで、<br/>
-	$U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)$<br/>
-	は、その経路に無関係にさだまるので、<br/>
-	質点を力$-\vec F$で第一座標に平行に$\delta$動かすときの仕事に等しい。
-	この向き付き経路を、ベクトル値関数で表示すると$\{{\vec x}(t)=\vec x+t\vec{e_1}\mid 0\leq t\leq \delta\}$である。<br/>
-	すると、力の場の命題で述べたように、この仕事は<br/>
-	$-\int_{0}^{\delta}{\vec F}(\vec{x}(t))\cdot \frac{d\vec{x}(t)}{dt}dt$<br/>
-	に等しい。<br/>
-	$\frac{d\vec{x}(t)}{dt}=\vec{e_1}$であり、<br/>
-	${\vec F}(\vec{x}(t))\cdot \frac{d\vec{x}(t)}{dt}={\vec F}_1(\vec{x}(t))$となるので<br/>
-	$=-\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt$<br/>
-	故に、$U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)
-	=-\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt$<br/>
-
-	$\lim_{\delta \to 0,\delta\neq 0}\frac{U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)}{\delta}=-\frac{1}{\delta}\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt$<br/>
-	ここで、${\vec F}_1(\vec x+t\vec{e_1})$はtの連続関数なので、<br/>
-	$|t|$が十分小さければ、${\vec F}_1(\vec x)$にいくらでも近くなる。<br/>
-	そこで、区間$[0,\delta]$での平均値<br/>
-	$\frac{1}{\delta}\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt$は、<br/>
-	$\delta$が零に収束するとき、${\vec F}_1(\vec x)$に収束する。<br/>
-	これで（２）が証明できた。<br/>
-	（２）を仮定して(1)を示す。<br/>
-	任意の2点$P,Q\in \Omega$に対し、それを結ぶPからQへの区分的に滑らかな曲線<br/>
-	${\vec C}:=\{{\vec x}(t)\mid 0\leq t\leq 1\},{\vec x}(0)=P,{\vec x}(1)=Q$<br/>
-	を選んだとき、これに沿って力の成す仕事<br/>
-	$W_{\vec C}=\int_{\vec C}{\vec F}(\vec x) \cdot \vec{dx}
-	=-\int_{\vec C}\mathrm{grad}U(\vec x)\cdot \vec{dx}  \qquad \qquad (2)$<br/>
-	が、曲線に依存しないことを示せば良い。<br/>
-	${\vec C}:=\{{\vec x}(t)\mid 0\leq t\leq 1\}$ なので
-	式（２）$=-\int_{0}^{1}\mathrm{grad}U(\vec x(t))\cdot \frac{d\vec{x}(t)}{dt}dt$ <br/>
-	補題；<br/>
-	$\frac{dU(\vec x(t))}{dt}=\mathrm{grad}U(\vec x(t))\cdot \frac{d\vec{x}(t)}{dt}$<br/>
-	これは、多変数の場合の合成関数の微分公式である。本テキストの「8章　物理数学」
-	で説明してある。<br/>
-	これを用いると、
-	式（２）$=-\int_{0}^{1}\frac{dU(\vec x(t))}{dt}dt$ <br/>
-	$\frac{dU(\vec x(t))}{dt}$の原始関数は$U(\vec x(t))$なので、<br/>
-	この定積分は<br/>
-	$=-[U(\vec x(t))]_{0}^{1}=-U(\vec x(1))+U(\vec x(0))=-U(Q)+U(P)$<br/>
-	この値は経路に依存しないので、保存力であることが示された。<br/>
-	証明終わり。<br/>
-
-
-	====　保存力の十分条件　====
-	万有引力で作られる力の場などは、保存力場である。<br/>
-	これを示すため、もう少し一般の力の場が、保存力場であることを示す命題を述べる。<br/>
-
-	命題；<br/>
-	領域$\Omega$を3次元空間から原点を取り除いた領域とする。<br/>
-	この領域で定義された力の場<br/>
-	${\vec F}(\vec x)=h(\|\vec x\|)\frac{\vec x}{\|\vec x\|}$<br/>
-	は保存力場である。但し、関数$h$は、実変数の実数値連続関数とする。<br/>
-	証明；<br/>
-	ｈは連続関数なので、<br/>
-	任意の正数ｘに対して、定積分$\int_{0}^{x}h(x)dx$が存在する。<br/>
-	そこで関数$H(x):=\int_{0}^{x}h(x)dx$を導入する。<br/>
-	この関数Hを微分すると関数ｈが得られる。<br/>
-	$U(\vec x):=-H(\|x\|)$という多変数関数を定義すると,<br/>
-	合成関数の微分公式より、<br/>
-	$\frac{\partial U}{\partial x_i}$
-	$=-\frac{dH}{dy}(\|\vec{x} \|)\frac{\partial \|\vec{x}\|}{\partial x_i}$<br/>
-	$=-h(\|\vec x\|)\frac{x_i}{\|\vec x\|}=-{\vec F}_i(\vec x)$<br/>
-	すでに証明した「力の場が保存的である必要十分条件」中の命題により、<br/>
-	保存力場であることが証明された。<br/><br/>
-
-	==力学的エネルギーと力学的エネルギー保存則==
-	力学的エネルギーは、運動エネルギーと位置エネルギー（ポテンシャル・エネルギー）の総称である。<br/><br/>
-	力学的エネルギー保存則(kinetic energy and conservation of kinetic energy )<br/>
-	保存力場から力をうけて運動している質点mの<br/>
-	運動エネルギーと（任意の固定した基準点Oからみた）ポテンシャル・エネルギーの和は<br/>
-	保存される。<br/>
-	証明。<br/>
-	任意の時刻$t_1$から時刻 $t_2 (>0)$の間に力の行う仕事は<br/>
-	仕事エネルギー定理から<br/>
-	$W(t_1,t_2)=\frac{m\|\vec v(t_2)\|^2}{2}-\frac{m\|\vec v(t_1)\|^2}{2}$<br/>
-	他方で、この力は保存力なので、<br/>
-	この仕事は、この場から決まるポテンシャル関数Ｕを用いて、<br/>
-	$W(t_1,t_2)=U_{\vec{x}(t_2)}(\vec{x}(t_1))$<br/>
-	この式の右辺は、ポテンシャル関数の命題を適用すると、<br/>
-	任意の固定した基準点Ｏからのポテンシャル・エネルギーを用いて、<br/>
-	$=U_{O}(\vec{x}(t_1))-U_{O}(\vec{x}(t_2))$<br/>
-	故に<br/>
-	$\frac{m\|\vec{v}(t_2)\|^2}{2}-\frac{m\|\vec{v}(t_1)\|^2}{2}
-	=U_{O}(\vec{x}(t_1))-U_{O}(\vec{x}(t_2))$<br/>
-	式を整頓すると、<br/>
-	$\frac{m\|\vec{v}(t_2)\|^2}{2}+U_{O}(\vec{x}(t_2))
-	=\frac{m\|\vec{v}(t_1)\|^2}{2}+U_{O}(\vec{x}(t_1))$<br/>
-	証明終わり。<br/>
-
-	*[[wikipedia_ja:力学的エネルギー|ウィキペディア（力学的エネルギー）]]
-	*[[wikipedia:Kinetic_energy|ウィキペディア（Kinetic_energy）]] in English
-	*[[wikipedia_ja:力学的エネルギー保存の法則|ウィキペディア（力学的エネルギー保存の法則）]]
-	*[[wikipedia:Conservation_of_energy#Mechanics|ウィキペディア（Conservation_of_energy#Mechanics）]] in English
-
-	==運動量と保存則==
-
-	===運動量と力積 (momentum or linear momentum and Impulse) ===
-	質点に力$\vec{F}(t)$が作用しているとする。<br/>
-	運動の第２法則$\vec{F}(t)=\frac{d\vec{p}(t)}{dt}$ の両辺を<br/>
-	時間に関して$t_1$から $t_2$まで積分してみよう。ここで$\vec{p}(t)=m\vec{v}(t)$は質点の運動量。<br/>
-	すると、<br/>
-	$\int_{t_1}^{t_2}\vec{F}(t)dt=\vec{p}(t_2)-\vec{p}(t_1)$<br/>
-	となる。<br/>
-	質点に作用する力を時間で積分した$\int_{t_1}^{t_2}\vec{F}(t)dt$を力積と呼ぶ。<br/>
-	力積は、運動量の変化に等しい。
-
-	*[[wikibooks_ja:高等学校理科 物理II 力と運動|ウィキブックス（高等学校理科 物理Ⅱ）]] の1.1.2 運動量と力積<br/>
-	ｎ個の質点を持つ質点系の運動量は、各質点の運動量の和で定義する。<br/>
-	この場合にも質点系への力積は質点系の運動量の変化に等しいことが、<br/>
-	運動の第２法則から導ける。
-
-	===運動量保存則( law of conservation of momentum )===
-	質点の場合、外力がなければ、その運動量は保存される(一定である)。<br/>
-	質点系(質点の集まり)の場合でも、<br/>
-	質点系に作用する外力のベクトル和が零ならば、<br/>内力(質点系内の質点間に働く力)があっても、運動量が保存されることが示せる。(注参照）<br/>
-	これを'''運動量保存則'''とよぶ。
-	*[[wikipedia_ja:運動量保存の法則|ウィキペディア（運動量保存の法則）]]
-	（注）質点系の各質点の位置を$\vec{r_i}$、質量を$m_i$とし、<br/>
-	質点$m_i$ に作用する外力を$\vec{f_i}$、<br/>
-	$m_i$ に、質点系の他の質点$m_j$から作用する内力を$\vec{f_{ij}}$とする($i,j=1 \ldots N$)。<br/>
-	すると、各質点に対して、運動の第２法則により、<br/>
-	$\frac{d\vec{p}_i(t)}{dt}=\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}}$　 <br/>
-	各ベクトルを自由ベクトルとみなして,上の式を$i=1 \ldots N$について加え合わせると、<br/>
-	$\sum_i{\vec{f_i}}=0 \qquad  \vec{f_{ij}}+\vec{f_{ji}}=0$(作用反作用の法則)なので、<br/>
-	$\frac{d}{dt} \sum_i{\vec{p}_i(t)} =0$    <br/>
-	が得られる。ゆえに、$\sum_i{\vec{p}_i(t)}$は保存される。<br/>
	==保存則の応用==		==保存則の応用==

---

2015年3月21日 (土) 14:37時点における版

目次 [非表示] 1 エネルギーと保存則 1.1 エネルギー 1.1.1 運動エネルギー(kinetic energy) 1.1.1.1 仕事エネルギー定理（Work-energy theorem) 1.2 保存則の応用 1.2.1 衝突の問題 1.2.1.1 2質点の衝突 1.3 力学に必要な物理量（時間、距離、速度、加速度、質量、力）の単位と単位変換

エネルギーと保存則

質点や質点の集まりの運動を調べるときに有用な
各種の保存法則が、運動の法則から導かれる。
導出の仕方が理解できると、力学への理解が深まる。

エネルギー

物質の持っている仕事をする能力をエネルギーという。
この規定は抽象的で具体例を知らないと、良く分からないだろう。
その方たち向けに簡単に説明する。
人間が地表の石(質量ｍ)を、非常にゆっくりと高さｈまで持ち上げたとする。
この時、人間が石に行った仕事は、上向きの力(㎎＋無限に小さい正の力）でｈだけ動かしたのでmghとなる。 何故なら、上に移動させるため加えた小さい正の力は無限に小さく出来るので無視出来るから。
上に持ち上げられた物体は、支えをなくせば、引力㎎に引かれて落下運動する。
これを利用して、直接この石に仕事をさせることができる。
例えば、石に紐をつけ、延ばした紐の他端に動かしたい物体をつけて、石を自由にすれば、
石は物体を力㎎で引っ張りながら、地表まで落ちる。
この時物体はhだけ移動するので、石が物体に行う仕事はmghとなる。
このようにｈの高さに持ち上げられた石は、仕事をする能力を持つ。
その量はmghで、最初人間が石に対して行った仕事に等しい。
位置に依存して有する能力なので、石は、位置エネルギーを持つという。
仕事量も表したい時には、「石の位置エネルギーはmgh」と表現する。

また、地表からhの高さに持ち上げられた石は、
支えをなくして自由にすると落下運動を行う。
運動物体は仕事をする能力を持つ。
何故なら、運動している物体は他の物体に接触すると力を与えて動かし、
仕事をするからである。
速度が速いほど、この能力は増す。
この場合の「仕事する能力」は、運動に基因するので、運動エネルギーという。
従って、位置エネルギーは直接に仕事をする能力だけでなく、
運動エネルギーという形態に変化する能力ももつ。
石は落下するに従って位置エネルギーをへらし、運動エネルギーは増していく(速度が速くなるため）。
こうして人間の行った仕事は、
石の位置エネルギーになり、
それは仕事をしたり、
運動エネルギーなど他のエネルギーに変換され、
その後仕事にも変換できる。
これ等の過程でエネルギーは保存されるのか、
工夫したら、最初に人間の行った仕事より多くの仕事が得られのではないか。
この節では、このようなエネルギーの問題を調べる。

• エネルギー(ウィキペディア）の自然科学の項を参照のこと。

運動エネルギー(kinetic energy)

運動している粒子は、それを止めようとする物体に力を与え、動かすことが出来る。
運動している粒子は,運動に起因する何らかのエネルギーを持っていると考えられる。
止まった段階ではこのエネルギーは零になるので、
運動している粒子の持つエネルギーの量は、止まるまでに使った仕事で計れる。

質量$m$の粒子が速度$\vec v$で運動しているとき、
止まるまでになす仕事を求めてみる。
速度方向をｘ軸とする座標$O-x$をとる。
力が作用しなければ、粒子はｘ軸の上をｘ正方向にむかって、速さ$v:=\|\vec v\|$で等速直線運動を続ける。
この粒子が原点を通過する瞬間(t=0)から、ｘ軸方向の力$F=-f、f>0$(負の向き)を、止まるまで与え続ける。この間、粒子は、作用反作用の法則により、$F=f、f>0$の力で、止めようとする物体を押し返しながら、止まるまで仕事をし続ける。
止まるまでの距離を求めるため、運動法則を用いる。
この粒子の運動方程式は
$m\frac{d^2}{dt^2}x(t)=-f　\qquad (1)$,
ここで、$x(0)=0,v(0)=v$(初期条件)$\qquad (2)$
(1)式の両辺を$m$で割り、$v(t):=\frac{d}{dt}x(t)$を代入すると、
$\frac{d}{dt}v(t)=-\frac{f}{m}$
この方程式を満たし、初期条件(2)を満たす関数$v$は、
$v(t)=-\frac{f}{m}t+v \qquad \qquad (3)$
この式から、粒子が停止する時刻は
$t_1=\frac{mv}{f}$
このときの粒子の位置は、
$\frac{d}{dt}x(t)=-\frac{f}{m}t+v　\qquad (4)$
を解いて、停止時刻でのｘを求めればよい。
初期条件式(2)を満たす(4)式の解は
$x(t)=-\frac{f}{2m}t^2+vt　\qquad (4)$
故に、止まる位置は
$x(t_1)=-\frac{f}{2m}{t_1}^2+vt_1=\frac{mv^2}{2f}$
粒子が止まるまで,なした仕事は、
$W=f \frac{mv^2}{2f}= \frac{mv^2}{2}$
以上の考察より、粒子の運動エネルギーを次のように決める。
定義；
質量$m$、速度$\vec v$の質点の運動エネルギーを、
$\frac{mv^2}{2}$　　
で定める。

• ウィキペディア（運動エネルギー）
• ウィキペディア（Kinetic_energy） in English

仕事エネルギー定理（Work-energy theorem)

空間には適当に原点Oを定めておく。 必要ならば直交座標$O-x_{1}x_{2}x_{3}$をいれる。
仕事エネルギー定理
質量$m$の質点が力 $\vec F(t)$を受けて運動している（注参照のこと）。
力は時間に関して連続であるか、区分的に連続(不連続点が有限個しかない)と仮定する。
時刻$t$ の質点の位置を$\vec{x}(t)$で表し、 $\vec{v}(t)=\frac{d\vec{x}}{dt}(t)$とおく。
すると
ⅰ）時刻$t_1$から $t_2$までに力の行う仕事は
$W=\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt =\int_{t_1}^{t_2}(\vec{F}(t)\cdot \frac{d\vec{x}(t)}{dt}dt$
ここで$(\vec{F}\cdot \vec{v})(t):=\vec{F}(t)\cdot \vec{v}(t)$

ⅱ）$W=\frac{1}{2}m\|v(t_2)\|^2 - \frac{1}{2}m\|v(t_1)\|^2$
すなわち力がなした仕事は、運動エネルギーの変化量に等しい。

(注）万有引力や電磁気力は、場所によって変化するので、
位置ベクトル$\vec x$にいる質点の受ける力は$\vec{G}(\vec x)$である。
すると、時刻$t$に質点の受ける力は時間の関数$\vec{F}(t):=\vec{G}(\vec{x}(t))$となる。
人為的に時間により力を変えて物体の運動を制御することもある。
この場合にも適用できるような記述にした。

ⅰ）の証明；
2つの異なる方法で証明する。
第一の方法は、時刻ｔまでに力の行う仕事を$W(t)$と書き、
この実数値関数が微分可能で
$\frac{dW}{dt}(t)=(\vec{F}\cdot \vec{v})(t):=\vec{F}(t)\cdot \vec{v}(t)$
であることを導く。
次に実数値関数
$(\vec{F}\cdot \vec{v})(t)$
が積分可能であることを示す。
すると、
$\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt$の被積分関数$(\vec{F}\cdot \vec{v})(t)$の原始関数が$W(t)$になる。

「2.6 剛体の回転運動と釣合い」の「1.8.6 慣性モーメントの計算（2）原始関数を利用する方法」で証明した定理より、
$\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt=[W(t)]_{t_1}^{t_2}=W(t_2)-W(t_1)=W$
を得る。
（注）物理学では、数学的厳密性にとらわれず、
直観を利用した記号法を用いた計算をすることが多い。
無限小という架空の概念(0だが、完全な0ではない）を操つり計算を進める記号法である。参考までに紹介する。
$dt$を無限小と考えると、
$\frac{dW(t)}{dt}=\frac{W(t+dt)-W(t)}{dt}$
ここで$dt$は無限小なので、右辺の極限を取らなくても成立すると考えている。
両辺に$dt$を掛ける(この時は無限に小さいが0でないと考える)と、
$dW(t)=W(t+dt)-W(t)$
$dt$が無限小なので、その時間内の
その時間内の質点の軌跡は線分で、連続な力は$\vec{F}(t)$になるため、
この式の右辺は
$=\vec{F}(t)\cdot (\vec{x}(t+dt)-\vec{x}(t)$ ここで$dt$が無限小で、$\vec{x}(t+dt)-\vec{x}(t)=\vec{v}(t)dt$が成立するので、 $=\vec{F}(t)\cdot \vec{v}(t)dt$ 故に $dW(t)=\vec{F}(t)\cdot \vec{v}(t)dt$ が得られる。 時刻$t$を$t_1$から$t_2$まで寄せ集める（積分する）と $W(t_2)-W(t_1)=\int_{t=t_1}^{t_2}dW(t)=\int_{t=t_1}^{t_2}\vec{F}(t)\cdot \vec{v}(t)dt$

第二の方法は、
曲線にそった仕事の定義(「2.3 質点の運動」の仕事の項の説明)にしたがって、
質点の軌跡を細かく分割し、各小部分で力の行う仕事を求め、加え合わせて、 命題を証明する方法である。

第一の方法による証明：
力$\vec{F}(t)$は連続関数と仮定して良い。
なぜなら、有限個の点で不連続の場合は、 連続となる小区間ごとに考えればよいから。

独立変数$t\in [t_1,t_2]$に対して、
$W(t)=$時刻$t_1$から時刻$t$までの間に力の行った仕事
で、$[t_1,t_2]$上の関数$W$を定義する。この定義より、W(t_1)=0である。
時刻$t\in (t_1,t_2)$における、関数の微係数を求めよう。
$\frac{dW}{dt}(t) =\lim_{\delta \to 0,\delta \neq 0}\frac{W(t+\delta)-W(t)}{\delta} =\vec{F}(t)\cdot \vec{v}(t)$
であることを以下に示す。
$\delta$が極めて微小な正数と考える(負数の場合も同様に証明出来る）。
力が$[t,t+\delta]$の間に行う仕事 $W(t+\delta)-W(t)$の考察から始める。
この間、質点は$\vec x=\vec{x}(t)$に従って、
$\vec{x}(t)$から$\vec{x}(t+\delta)$まで移動する。
$\delta$がきわめて微小なので、
この軌跡は、ベクトル$\vec{x}(t+\delta)-\vec{x}(t)$
（の始点を、位置ベクトル$\vec{x}(t)$の終点にしたもの）とみなせる。
力は時間に関して連続なので、この微小時間中は$\vec{F}(t)$とみなした良い。
（みなすという処理は厳密さに欠けるが直観的理解を優先した）。 すると、$[t,t+\delta]$の間に力の行う仕事は、
$W(t+\delta)-W(t)=\vec{F}(t)\cdot \left(\vec{x}(t+\delta)-\vec{x}(t)\right)$
となる。図参照のこと。
ゆえに、
$\frac{dW}{dt}(t) =\lim_{\delta \to 0,\delta \neq 0}\frac{W(t+\delta)-W(t)}{\delta}$
$=\lim_{\delta \to 0,\delta \neq 0}\frac{\vec{F}(t)\cdot \left(\vec{x}(t+\delta)-\vec{x}(t)\right)}{\delta}$
$=\lim_{\delta \to 0,\delta \neq 0} \vec{F}(t)\cdot\frac{\left(\vec{x}(t+\delta)-\vec{x}(t)\right)}{\delta}$
$=\vec{F}(t)\cdot \vec{v}(t)\qquad \qquad (1)$
式（１）は$[t_1,t_2]$上の連続関数関数なので
積分可能である（8章物理数学の8.3積分参照）。
そこでこの区間上で積分すると
$\int_{t_1}^{t_2}\frac{dW}{dt}(t)dt=\int_{t_1}^{t_2}\vec{F}(t)\cdot \vec{v}(t)dt$
上式の左辺の被積分関数の原始関数は$W(t)$なので、
$\int_{t_1}^{t_2}\frac{dW}{dt}(t)dt=[W(t)]_{t_1}^{t_2}=W(t_2)-W(t_1)=W$
ゆえに、 $W=\int_{t_1}^{t_2}\vec{F}(t)\cdot \vec{v}(t)dt$

第二の方法による証明
時刻$t_1$から$t_2$までの質点の運動の軌跡は、向きのついた曲線
$\vec{C}:=\{\vec{x}(t) \mid t_1\leq t \leq t_2\}$
で表わせる。向きは時刻が進むときに進む方向にいれる。
時刻$t_1$から$t_2$までを、ｎ個の小区間
$[s^{n}_{i-1},s^{n}_i](i=1,2,,,n)$に分割する。ここで$(s^{n}_0=t_{1}<s^{n}_{1}<s^{n}_{2},,,,<s^{n}_{n}=t_2)$
この分割を$\Delta^{n}:=\{[s^{n}_{i-1},s^{n}_i]\mid i=1,2,3,,,n\}$と書く。
ｎ個の小区間の長さの最大値を$|\Delta^{n}|$と記す。$|\Delta^{n}|:=\max_{i}(s^{n}_i-s^{n}_{i-1})$
これに対応して軌跡$C$は、 ｎ個の小部分$\vec{C^{n}_i}=\{\vec{x}(t) \mid t \in [s^{n}_{i-1},s^{n}_i] \},(i=1,2,,,n)$に分割される。

$\vec{C^{n}_i}$の端点を$P^{n}_{i-1},P^{n}_i$とおくと、 $\vec{x}(s^{n}_{i-1})=\vec{OP^{n}_{i-1}}$ 、 $\vec{x}(s^{n}_i)=\vec{OP^{n}_i}$である 。
時間の分割数ｎを増やし、$\lim_{n\to \infty}|\Delta^{n}|=0$となるように分割する。
するとｎが十分大きい時、
各時間分割$[s^{n}_{i-1},s^{n}_i]$の間に質点はほぼ等速直線運動するので、
対応する軌跡Cの小部分$C^{n}_i$は、有向線分$\vec{P^{n}_{i-1}P^{n}_i}=\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1})$で近似できる。
力も時刻が$[s^{n}_{i-1},s^{n}_i]$の間、ほぼ一定である。

（注）この後の証明は少し難しい。
そこで、正確さに欠けるが直観的に、命題が成り立つ理由を書いてみる。
各時間分割$[s^{n}_{i-1},s^{n}_i]$の間に力が行う仕事$W^{n}_i$は
$W^{n}_i=\vec{F}(s^{n}_{i-1})\cdot \left(\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1})\right)$
にほぼ等しい。
ここで、$s^{n}_i- s^{n}_{i-1}$が小さいので、微分の定義から
$\frac{\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1})}{s^{n}_i)- s^{n}_{i-1}} \approx \frac{d\vec{x}}{dt} (s^{n}_{i-1})=\vec{v}(s^{n}_{i-1})$
そこで、
$\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1})$
$\approx \vec{v}(s^{n}_{i-1})(s^{n}_i)- s^{n}_{i-1})$
故に、
$W^{n}_i　\approx　\vec{F}(s^{n}_{i-1})\cdot\vec{v}(s^{n}_{i-1})(s^{n}_i)- s^{n}_{i-1})$
$=(\vec{F}\cdot\vec{v})((s^{n}_{i-1}) (s^{n}_i)- s^{n}_{i-1})$
力が時間$[t_1,t_2]$の間に行う仕事$W^n$は、
$W^n=\sum_{i=1}^{n}W^{n}_i$
$\approx \sum_{i=1}^{n}(\vec{F}\cdot\vec{v})((s^{n}_{i-1}) (s^{n}_i)- s^{n}_{i-1})$
この式は、ｎが大きくなるほど、等式に近くなる。
最後の項$\sum_{i=1}^{n}(\vec{F}\cdot\vec{v})((s^{n}_{i-1}) (s^{n}_i)- s^{n}_{i-1})$は、
$[t_1,t_2]$上で定義された区分的に連続な実数値関数
$f(t):=(\vec{F}\cdot\vec{v})(t)=\vec{F}(t)\cdot\vec{v}(t)$
の、時間分割$\Delta^{n}:=\{[s^{n}_{i-1},s^{n}_i]\mid i=1,2,3,,,n\}$に対応する リーマン和である。
そこで、ｎを無限に大きくしていくと、最後の式は
$W:=\lim_{n\to \infty}W^n=\int_{t_1}^{t_2}f(t)dt =\int_{t_1}^{t_2}(\vec{F}\cdot\vec{v})(t)$
$=\int_{t_1}^{t_2}\vec{F}(t)\cdot\vec{v}(t)dt$
に収束する（8章の8.3　積分に証明あり）。

正確な証明に戻る；
任意の時刻${\xi}_i\in [s^{n}_{i-1},s^{n}_i]$を代表点として選び、
この区間上の力を$\vec{F}({\xi}_i)$で近似する。
この近似を用いると、仕事の定義から、力が$C_i$で行う仕事は
$W_i(\Delta^n,{\xi}_i)= \vec F({\xi}_i)\cdot \vec{P_{i-1}P_i} =\vec F({\xi}_i)\cdot(\vec{x}(s^{n}_i)-\vec{x}(s^{n}_{i-1})$
故に、時間をｎ分割したときの仕事Ｗの近似値は、
$W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})=\sum_{i=1}^{n} W_i(\Delta^n,{\xi}_i)$
$=\sum_{i=1}^{n} \vec F({\xi}_i)\cdot(\vec{x}(s^{n}_i)-\vec{x}(s^{n}_{i-1})\qquad (1)$

ここで、
$\vec{x}(s^{n}_i)-\vec{x}(s^{n}_{i-1}) =\int_{s^{n}_{i-1}}^{s^{n}_i}\frac{d\vec{x}(t)}{dt}dt =\int_{s^{n}_{i-1}}^{s^{n}_i}\vec{v}(t)dt$
$=\int_{s^{n}_{i-1}}^{s^{n}_i} \left(\vec{v}({\xi}_i)+(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt$
$=\vec{v}({\xi}_i)(s^{n}_i-s^{n}_{i-1}) +\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)$
この式を（１）式に代入すると、
$W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})$
$=\sum_{i=1}^{n} (\vec{F}\cdot \vec{v})({\xi}_i)(s^{n}_i-s^{n}_{i-1}) +\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot \int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt \qquad (2)$

(2)式の右辺の第一項は、実数値関数
$(\vec{F}\cdot \vec{v})(t):=\vec{F}(t)\cdot\vec{v}(t)$
の、ｎ等分割と代表点$\{\xi_i\}_{i=1}^{n}$に対応するリーマン和
$I^{\vec{F}\cdot \vec{v} ,\Delta^n}(\xi_1,,,\xi_n)$である。
この関数は区分的に連続なので、
リーマン積分の定理(物理数学のリーマン積分参照）から、積分可能で
$W=\lim_{n\to \infty}W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})=\lim_{n\to \infty}\sum_{i=1}^{n} (\vec{F}\cdot \vec{v})({\xi}_i)(s^{n}_i-s^{n}_{i-1}) =\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt$
である。
補題；(2)式右辺の第2項は、ｎを無限にしていくと、０に収束する。
記号で書くと、
$\lim_{n\to \infty}\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot \int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt=0$

この補題を用いると、
$W=\lim_{n\to\infty}W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})=\int_{[t_1,t_2]}(\vec{F}\cdot \vec{v})(t)dt$
これで定理のⅰ）の証明はできた。
定理のⅱ）の証明
運動の第2法則から、$\vec{F}(t)=m\frac{d\vec v(t)}{dt}$なので、
$W=\int_{[t_1,t_2]}(\vec{F}\cdot \vec{v})(t)dt =\int_{[t_1,t_2]}(m\frac{d\vec v}{dt} \cdot \vec{v})(t)dt$
ここで、
$\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)=2(\frac{d\vec v}{dt} \cdot \vec{v})(t)$（「８章の8.3　積分」のベクトル値関数の微分参照のこと）なので
$=\frac{m}{2}\int_{[t_1,t_2]}\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)dt$
ここで、被積分関数$\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)$の
原始関数は$\vec{v} \cdot \vec{v}$なので、
$=\frac{m}{2}[(\vec{v} \cdot \vec{v})(t)]_{t_1}^{t_2}$
$=\frac{m}{2}\|\vec{v}(t_2)\|^2-\frac{m}{2}\|\vec{v}(t_1)\|^2$
ⅱ）の証明終わり。

補題の証明；
$\|\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot \int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\|$
$\leq \sum_{i=1}^{n}\| \vec{F}({\xi}_i)\cdot \int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt \|$
$\leq \sum_{i=1}^{n}\| \vec{F}({\xi}_i)\|\|\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\|$
$M:=max_{t\in [t_1,t_2]}\|\vec{F}(t)\|$とおくと、
$\leq M\sum_{i=1}^{n}\int_{s^{n}_{i-1}}^{s^{n}_i}\|\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\|\qquad (3)$
$\vec{v}(t)-\vec{v}({\xi}_i)=\int_{{\xi}_i}^{t}\frac{d\vec{v}(s)}{ds}ds$
$=\int_{{\xi}_i}^{t}\frac{\vec{F}(s)}{m}ds$
なので、
$\|\vec{v}(t)-\vec{v}({\xi}_i)\| \leq \int_{{\xi}_i}^{t}\|\frac{\vec{F}(s)}{m}\|ds \leq \frac{M}{m}(s^{n}_i-s^{n}_{i-1}) \qquad \qquad (4)$
(4)式を(3)式に代入すると
$\|\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot \int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt \| \leq \frac{M^2}{m}\sum_{i=1}^{n}(s^{n}_i-s^{n}_{i-1})^2$
ここで、$s^{n}_i-s^{n}_{i-1}\leq |\Delta^n|,(i=1,2,,,n)$なので、
$\leq \frac{M^{2}(t_2-t_1)}{m}|\Delta^n|$
故に、
$\lim_{n\to\infty}\|\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot \int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\| \leq \frac{M^{2}(t_2-t_1)}{m}\lim_{n\to\infty}|\Delta^n| =0$
補題の証明終わり。

• ウィキペディア(線積分)

保存則の応用

衝突の問題

2質点の衝突

力学に必要な物理量（時間、距離、速度、加速度、質量、力）の単位と単位変換

• • ウィキペディア（物理単位）
  • wikibooks(High_School_Physics/Si_units) ,in English