ソースを表示

= 質点の運動 =

運動の3法則、万有引力の法則と力の法則を用いると、分子から銀河まであらゆる物体の運動を求めることが出来きる。<br/>

その正しさは地上の物体や人工衛星、惑星の運動などで確かめられている。<br/>
しかし、もっとはるかかなたの宇宙でもこれ等の法則は正しいのだろうか。<br/>
天体観測は、世界各地で行われ、年々新しい発見がされているが、現在のところ、この理論が間違っていることを示す観測結果は、得られていない。<br/>
そこで、これらの法則は宇宙の全体を支配しているものと、現在は信じられている。<br/>

運動の３法則からはエネルギー保存則や運動量保存則などの重要な保存則を導く事が出来る。<br/>
これらの保存則は、色々な運動を調べるとき、大変役立つ。これらについては次節で学ぶ。

==  質点の色々な運動==
最初に最も簡単な運動から考える。<br/>
それは質点とみなせる物体の運動である。

===  質点の落体運動===
地球上の物体は高いところから落とすと、時間とともに速度を増しながら落下する。<br/>
質点とみなせる物体の落下運動を、運動法則と力の法則を用いて、解析しよう。<br/>
質点の質量を$m$とすると、そこに作用する[[物理/力学(2)_力と運動の法則#.E3.80.80.E5.9C.B0.E7.90.83.E3.81.AE.E9.87.8D.E5.8A.9B.E3.81.A8.E9.87.8D.E5.8A.9B.E5.8A.A0.E9.80.9F.E5.BA.A6.E3.80.80|重力による力]]は、<br/>
真下（厳密には地球の[[wikipedia_ja:重心|重心]]；後で学ぶ）の方向・向きに大きさ$Mg$である。<br/>
落下の向きを負にした落下方向の一次元座標を考えると、重力加速度は$-g$で、質点$m$に作用する力は$-mg$である。<br/>
落下の加速度を$\alpha$と置くと、運動の第２法則より$m\alpha=-mg$.<br/>
ゆえに質点の落下加速度$\alpha$は負の重力加速度$-g$に等しい。<br/>
$t$で微分して$-g$となる関数は$-gt+c$なので、質点の速度は$-gt+c$である。<br/>
ここでcは定数で、初期時刻０における質点の速度であり、初期速度と呼ばれる。<br/>
微分して$-gt+c$となる関数を求めれば質点の位置$x(t)=-\frac{1}{2}gt^{2}+ ct + d$が得られる。<br/>
ここで、$d$は定数で初期時刻０での質点の位置(高さ)である。<br/>
これはガリレオが明らかにした落体法則である。<br/>
参考文献；
*[[wikibooks_ja:高等学校理科_物理I_運動とエネルギー#.E3.83.8B.E3.83.A5.E3.83.BC.E3.83.88.E3.83.B3.E6.96.B9.E7.A8.8B.E5.BC.8F|ウィキブックス（高等学校理科 物理I 運動とエネルギーの2.4.1 ニュートン方程式）]]
*[[wikibooks_ja:高等学校理科_物理I_運動とエネルギー#.E7.AD.89.E5.8A.A0.E9.80.9F.E5.BA.A6.E7.9B.B4.E7.B7.9A.E9.81.8B.E5.8B.95|ウィキブックス（高等学校理科 物理I 運動とエネルギーの1.8 等加速度直線運動）]]

===  投射体の運動===
質点を地面に対して角度$\theta$（ラジアン）、速さ$u$で投げたときの、質点はどのような運動を行うだろうか。<br/>
ガリレオは、慣性法則と落体の法則を組み合わせて利用して、放物線を描いて飛ぶことを発見した。<br/>
ニュートン力学を用いれば、運動の第２法則と質点に働く力(重力)から、以下のように、この運動を導ける。<br/>
====適切な座標系をいれる====
質点が投げ出された場所を原点とし、飛んでいく方向に地面と水平に引いた半直線をx軸の正の側に、地面と直角で上方に向かう半直線をｙ軸の正の側とする座標を定める。図参照。
====質点に作用する力を求める====
空気抵抗を無視すれば、質点に作用する力は、地球からの重力だけである。この力は、質点の質量を$M$,重力加速度を$g$とすると、質点の位置に関係なく常に、$\vec F=(o,-Mg)$である。

====運動の第２法則から質点の運動方程式をつくる====
質点の位置ベクトルを$\vec r=(x,y)$で表すと<br/>
運動方程式は、$M(d^2/dt^2)\vec{r(t)}=\vec F$である。<br/>
座標成分表示すると<br/>
$M(d^2/dt^2)x(t)=0$,$\quad$  $M(d^2/dt^2)y(t)=-Mg$
====運動の初期状態の指定====
投げ上げた瞬間を時刻$t=0$とおくと、質点の初期位置は$\vec{r}(0)=(0,0)$,$\quad$ 初期速度は$\vec{v}(0)=(u\cos{\theta},u\sin{\theta})$

====運動方程式を初期状態を使って解く====
（１）ｘ成分の式を解く<br/>
$M(d^2/dt^2)x(t)=0$は、$M(d/dt)v_{x}(t)=0$なので$(d/dt)v_{x}(t)=0$。$\quad$ 　tで微分して零となるtの関数は定数なので$a$と書くと、$v_{x}(t)=a$<br/>
速度の定義より、$(d/dt)x(t)=v_{x}$なので、$(d/dt)x(t)=a$.$\quad$ $ｔ$で微分して$a$となるのは$at+b$（bは未知定数）なので、$x(t)=at+b$<br/>
初期条件から、$a=v_{x}(0)=u\cos{\theta}$,$\quad$ また$x(0)=a0+b=0$なので$b=0$。<br/>
故に、$x(t)=(u\cos{\theta})t$

（２）ｙ成分の式を解く　　　<br/>
$M(d^2/dt^2)y(t)=-Mg$は、$(d/dt)v_{y}(t)=-g$ $\quad$ tで微分して$-g$となる関数は$-gt+c$（ｃは未知定数）なので、<br/>
$v_{y}(t)=-gt+c$ $\quad$故に$(d/dt)y(t)=-gt+c$  <br/>
tで微分して$-gt+c$となる関数は、$-\frac{1}{2}gt^2+ct+d$なので、$y(t)=-\frac{1}{2}g^2t+ct+d$　　　<br/>
初期速度の条件から、$c=-g0+c=v_{y}(0)=u\sin{\theta}$ $\quad$ $d=-\frac{1}{2}g0+c0+d=y(0)=0$　　　<br/>
故に、$y(t)=-\frac{1}{2}gt^2+(u\sin{\theta})t$<br/>

（３）運動の軌跡（xとyとの関係式）を求める　　　<br/>
$x(t)$の式から$t=x(t)/(u\cos{\theta})$   <br/>
これを$y(t)=-\frac{1}{2}gt^2+(u\sin{\theta})t$に代入すると<br/>
$y(t)=(-g/2u^2\cos^2{\theta})x^2(t)+(\tan{\theta})x(t)$<br/>
これは上に凸な[[wikipedia_ja:放物線|放物線]]である。<br/>
参考文献は
*[[wikibooks_ja:高等学校理科 物理I 運動とエネルギー|ウィキブックス（高等学校理科 物理I 運動とエネルギー）]]の2.4.1 ニュートン方程式

===  惑星運動===
前述のようにケプラーは、火星と太陽の観測データをユークリッド幾何学を巧みに利用して分析し次の惑星運動の３法則を発見した。
*[[wikipedia_ja:ケプラーの法則|ウィキペディア（ケプラーの３法則）]]
====惑星運動の３法則を運動の第２法則と万有引力の法則から導く====
この３法則は、運動の第２法則と万有引力の法則から導くことが出来るが少し難しい数学が必要である。大学で学ぶ。<br/>
惑星の軌道を太陽を中心とする円運動に限定すると、高校の数学の知識で３法則を導ける。<br/>
この場合ケプラーの第一法則は、仮定から、明白なので、第二法則から始める。
=====ケプラーの第2法則の導出　=====
[[File:GENPHY00010004 fig4-0d.jpg|right|frame|図　惑星の位置座標]]


第二法則は、太陽と惑星を結ぶ動径の単位時間に掃く面積が一定であることを主張する。円運動のばあい、これは等速円運動であることと同じである。<br/>
そこで等速円運動であることを導こう。<br/>
太陽と惑星は質点として扱い、質量をそれぞれ$M,m$とする。<br/>

惑星の軌道面をxy平面にし、太陽をその原点にとる。円運動の半径を$r$,
太陽と時刻$t$における惑星を結ぶ線分が、x軸となす角度を$\theta =\theta(t)$とおく。


惑星Pの位置；$\vec{r}(t)=r(\cos\theta(t),\sin\theta(t))$  <br/>
惑星の速度；$\vec{v}(t)=d\vec{r}(t)/dt=r(d\cos\theta(t)/dt,d\sin\theta(t)/dt)$   <br/>
$=r(- \sin\theta(t)\frac{d\theta(t)}{dt},\cos\theta(t)\frac{d\theta(t)}{dt})$
=$ r \frac{d\theta(t)}{dt}(- \sin\theta(t), \cos\theta(t)) $ <br/>

惑星の加速度；$\vec{\alpha}(t)=d\vec{v}(t)/dt=r(d^2\theta(t)/dt^2)(-\sin\theta(t),\cos\theta(t))$   <br/>
$+r(d\theta(t)/dt)(-\cos\theta(t)\frac{ d\theta(t)}{dt},-\sin\theta(t)\frac{ d\theta(t)}{dt} )$  <br/>
$= r(d^2\theta(t)/dt^2)(-\sin\theta(t),\cos\theta(t))-r( \frac{d\theta(t)}{dt})^2( \cos\theta(t), \sin\theta(t)) $ <br/>
惑星に働く力；万有引力の法則より、太陽の方向に向いた、大きさ$GMm/r^2$の力なので<br/>
$\vec{F}(t)=-(GMm/r^2)(\cos\theta(t),\sin\theta(t))$  <br/>
と表せる。<br/>
この力が、惑星の運動を変化させ、上述の加速度を生じさせたのだから、運動の第2法則$\quad m\vec{\alpha}(t)=\vec{F}(t)\quad$より、<br/>
$mr(d^2\theta(t)/dt^2)(-\sin\theta(t),\cos\theta(t))-mr( \frac{d\theta(t)}{dt})^2( \cos\theta(t), \sin\theta(t)$  <br/>
$ =-(GMm/r^2)(\cos\theta(t),\sin\theta(t))$  <br/>
変形すると、<br/>
$mr(d^2\theta(t)/dt^2)(-\sin\theta(t),\cos\theta(t))$  <br/>
$ =(mr(\frac{d\theta(t)}{dt})^2-GMm/r^2)( \cos\theta(t), \sin\theta(t))　\qquad ------ \qquad    (1)$  <br/>

$(-\sin\theta(t),\cos\theta(t))$ と$( \cos\theta(t), \sin\theta(t))$は直交するベクトルなので、(1)式が成立する必要十分条件は、 <br/>
$d^2\theta(t)/dt^2=0 \qquad ------ \qquad    (2)$, <br/>
$mr(\frac{d\theta(t)}{dt})^2-GMm/r^2=0  \qquad ------ \qquad    (3)$ <br/>
である。<br/>
(2)式から、角速度$\omega(t)=\frac{d\theta(t)}{dt}=\omega_{0}$（定数）が<br/>
(3)式から、$mr(\frac{d\theta(t)}{dt})^2=GMm/r^2$が<br/>
得られる。<br/>
これらより、惑星は等角速度<br/>
$\Large{\omega_{0}=\pm\sqrt{GM/r^3}}$  $\qquad ------ \qquad $   (4)<br/>
で太陽の周りを回転することが分かり、ケプラーの第2法則が得られた。

=====ケプラーの第３法則の導出　=====
惑星が太陽の周りを一周する時間$T$（周期という）は、$T=2\pi/\omega_0$なので、(4)式より、<br/>
$T=2\pi/\sqrt{GM/r^3}=2\pi\sqrt{r^3/GM}$,<br/>
故に$T^2=4\pi^2r^3/GM$,
$T^2/r^3=4\pi^2/GM$<br/>
これは軌道が円の場合のケプラーの第3法則である。

====万有引力の法則を,ケプラーの法則と運動の第2法則から導く====
惑星が太陽の周りを円運動しているとき、太陽が惑星に及ぼしている力を計算する。<br/>
ケプラーの第２法則より、円運動する惑星は角速度一定である。これを$\omega_0$とする。<br/>
太陽の位置を原点とし円の半径を$r$とすると、この惑星の加速度は$\vec{\alpha}(t)=-r( d\theta(t)/dt)^2( \cos\theta(t), \sin\theta(t)) =-r\omega_0^2( \cos\theta(t), \sin\theta(t))$ 。これは、太陽にむかう大きさ$r\omega_0^2$のベクトル。<br/>
運動の第2法則より、惑星に働く力$\vec F$は、太陽の方向に、大きさ$mr\omega_0^2$  <br/>
ここで、$m$ は惑星の慣性質量である。<br/>
$\omega_0^2$を$r$の関数で表すためケプラーの第3法則と用いる。<br/>
惑星の公転周期$T$と円の半径$r$の間には$T^2/r^3=C,\quad C$；定数<br/>
$T=2\pi/\omega_0$なので
$(2\pi/\omega_0)^2/r^3=C \quad $∴$\omega_0^2=4\pi^2/(Cr^{3})$<br/>
それゆえ、力の大きさは<br/>
$mr\omega_0^2=\frac{4\pi^2}{C} \frac{m}{r^2}$<br/>
さらに、太陽の質量$M$が$k$倍になると、質量$M$の太陽が$k$個あり、それぞれが惑星に上記の力を与えると考えられる。<br/>
すると惑星に働く力は$k$倍になるので力の比例部分$\frac{4\pi^2}{C}$は太陽の質量$M$に比例することが分かる。<br/>
比例定数を$G$とおくと、$\frac{4\pi^2}{C}=GM$     <br/>
従って惑星に働く力の大きさは、太陽の方向に、
$GM\frac{m}{r^2}=G\frac{mM}{r^2}$<br/>
これは万有引力の法則である。<br/>
（注）この式は万有引力の法則の式と同じだが、質量$m$は、慣性質量であり、対称性から太陽の質量$M$も慣性質量と考えられる。<br/>
しかしニュートンは重力を生む質量は、慣性質量と完全には一致しない可能性もあると考え、重力質量という概念を生みだしと思われる。<br/>
既述のように、多くの実験の結果、両質量は同一であると考えられている。<br/>
重量質量を使わず、慣性質量だけを用いても、ニュートン力学を構成することが出来る。これを提唱する物理学者もいる。<br/>
それには万有引力の法則のかわりに、次の法則を採用すればよい。<br/>
外力が働かないときは、どんな２質点も、お互いに相手に向かって,
加速度運動して近ずく。両者の加速度は、両者の距離の２乗$r^2$に反比例し、それぞれの慣性質量の比に反比例する。<br/>
式で書くと、<br/>
質点１の慣性質量と加速度の大きさを$m_1$,$\alpha_1$　　<br/>
質点２の慣性質量と加速度の大きさを$m_2$,$\alpha_2$　<br/>
とすると、$m_1\alpha_1=m_2\alpha_2$、$m_1\propto 1/r^2$,$m_2 \propto 1/r^2$　<br/>
この法則と運動法則により２質点間に働く力(万有引力)を求めると、<br/>
ニュートンの万有引力の法則と同じ式だが、質量は慣性質量になり、<br/>
重量質量を用いずニュートン力学が構成できる。<br/>

===  振り子と単振動 ===

*[[wikipedia_ja:自由振動|ウィキペディア（単振動）]]の「振り子」の項を見てください。

===  質点のつり合い===
質点に力Ｆ１，，Ｆｎが作用し、質点が静止したまま（あるいは等速直線運動）であるとき、それらの力は釣り合っているという。<br/>
釣り合いの条件は、F1+    +Fn=0です(運動の第2法則と力の合成則から導出できる）。

==  質点系の運動==
2個以上の質点が集まって出来ている系を質点系という。<br/>
質点系というときは、各質点は密集していても、離れ離れでも良い。互いに固着しようが、自由に動けようが構わない。<br/>
すべての物質は、分子の集合と考えたり、細分化して極小部分に分け、それらの集合と考えれば、十分な精度で、質点系とみなすことができる。<br/>
そのため質点系の運動の法則を、ニュートンの運動法則から導出すれば、その応用範囲は非常に広い。
===  質点系の運動と重心===

系の任意の２つの質点間には相互に及ぼしあう力が働いていてもよい。<br/>
この相互作用力は作用・反作用の法則から、<br/>
大きさと方向は同じで向きは逆である。
この力を質点系の”内力”という。　　<br/>
質点系の各質点に外部から力（外力という）が加わる時、この質点系はどんな運動をするだろうか。<br/>
質点系の各質点の位置を$\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/>
$d (m_i \vec{v_i})/dt=\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}} $　 $\qquad$ ここで$\vec{v_i}=d\vec{r_i}/dt$、<br/>
各ベクトルを自由ベクトルとみなして$i=1 \ldots N$について加え合わせると、$\vec{f_{ij}}+\vec{f_{ji}}=0$なので、<br/>
$\frac{d^2}{dt^2} \sum_i{ m_i \vec{r_i}} =\frac{d}{dt} \sum_i{ m_i \vec{v_i}} =\sum_i{\vec{f_i}}   $    <br/>
が得られる。<br/>
質点系の全質量$M= \sum_i{m_i} $と質点系に働く全外力$\vec{F}= \sum_i{\vec{f_i}} $を用いて書きなおすと、<br/>
$M\frac{d^2}{dt^2}(\sum_i{ m_i \vec{r_i}}/M)= \vec{F} $  <br/>
質点系の重心$\vec{R}$を $\quad　\vec{R}=\sum_i{ m_i \vec{r_i}}/M $ で定義すると、<br/>
$M\frac{d^2}{dt^2}\vec R= \vec{F} $  <br/>
この式は、力$\vec{F}$をうける質量$M$の質点の運動方程式と同じである。<br/>
以下の解説も参考にしてください。
*[[wikipedia_ja:質点|ウィキペディア(質点系の力学)]]
====複雑にみえる運動も重心の運動をみれば簡単である　　====
体操選手の運動は、跳躍などで空中をまいながら、回転や体の屈伸、ひねりなどを行う。大変複雑で美しい。<br/>
しかし、導出した質点系の重心の運動法則から、体の重心の運動は、投射体の運動であり、放物線をえがいて移動することが分かる。<br/>
空中に飛び出た瞬間の重心の位置と速度(速さと方向・向き）で、その軌跡は完全に決まってしまうのである。

==ガリレイ変換とガリレイの相対性原理==
どのような慣性座標系で観測しても力学の法則は同じであるという原理。<br/>
一つの慣性系にたいして等速度並進運動（注）する観測系を考えると、<br/>
力の働いてない物体はやはり、等速度運動するので慣性系であり、<br/>
運動の第２、第３法則、万有引力の法則、力の合成則が成立することを主張している。<br/>
(注)　座標系$S'(O'-x'_{1}x'_{2}x'_{3})$の任意の点$(x'_1,x'_2,x'_3)$が、
座標系$S(O-x_{1}x_{2}x_{3})$からみると、<br/>
すべて同じ速度($\frac{d\vec{OO'}}{dt}(t)$で移動すること。<br/>
言い換えると、Ｓ'系の各座標軸上の点(1,0,0),(0,1,0),(0,0,1)が、<br/>
Ｓ系からみると皆、同じ速度($\frac{d\vec{OO'}}{dt}(t)$で移動すること。<br/>
*[[wikipedia_ja:ガリレイ変換|ウィキペディア(ガリレイ変換とガリレイの相対性原理)]]
重要な原理なので、詳しく考察しよう。
=== ガリレイ変換        === 
観測座標系$S(O-x_{1}x_{2}x_{3})$からみて、観測座標系$S'(O'-x'_{1}x'_{2}x'_{3})$が<br/>
並進運動しているとする。<br/>

====ニュートン力学での時間・空間とガリレイ変換　====
ニュートン力学では<br/>
時間は全ての観測系で同一であると考える(絶対時間の存在)。<br/>
空間の任意の点Ｐを、<br/>
ある時刻ｔで座標系S,S'から観測したときの位置ベクトルを、それぞれ$\vec r,\vec{r'}$とする。<br/>
ニュートン力学では<br/>
空間の点Pから、他の点Qに向けた有向線分$\vec{PQ}$は、<br/>
どの観測系からみても、同一であると考える(空間の均質性）。<br/>
するとS'系で観測した、点O'から点Ｐまでの有向線分$\vec{r'}$は、<br/>
S系で観測するO'から点Ｐまでの有向線分でもある。<br/>
このようにみなして、Ｓ系での有向線分の和をとると、<br/>

$\vec{r}=\vec{OO'}(t)+\vec{r'}\qquad \qquad (1)$<br/>

図参照のこと。<br/>
式(1)を、S系とS'系の観測値を関係づける、'''ガリレイ変換'''と呼ぶ。<br/>

次にある質点ｍの運動を観測する。<br/>
時刻ｔにおいて質点を、<br/>
互いに並進運動する２つの系S,S'から見たときの位置ベクトルを、それぞれ、<br/>
$\vec{r}=\vec{r}(t)$、$\vec{r'}=\vec{r'}(t)$と書く。<br/>
これらの位置ベクトルの関係は、式(１）から、<br/>

$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t) \qquad \qquad (2)$<br/>

====ガリレイ変換の座標表示====
Ｓ'座標系$O'-x'_{1}x'_{2}x'_{3}$の座標軸が、<br/>
Ｓ系の対応する座標軸と平行を保ちながら並進運動する場合には、<br/>
ガリレイ変換式（２）は、座標成分表示(注参照）できる。<br/>

(注）ベクトルの座標成分表示（詳しくは「2.1.2 質点の運動を数式で表すにはどうするか？」を参照）<br/>
「2.1.2 」節で説明したように、<br/>
$x_{i}$軸上の、長さ１で正方向のベクトルを$\vec{e}_i$と書き、Sの第ｉ基底という。<br/>
任意のベクトル$\vec r$は,この基底を用いて、<br/>
$\vec r=\sum_{i=1}^{3}r_{i}\vec{e}_i$<br/>
と表せる。<br/>
ここで、$r_{i}:=\vec{r} \cdot \vec{e}_i$は、<br/>
位置ベクトル$\vec r$の点から、第ｉ直交軸に下ろした垂線の足の座標である。
図参照。<br/>
$(r_1,r_2,r_3)$をベクトル$\vec r$の座標成分表示と呼ぶ。<br/>
同様に、座標系Ｓ'の第ｉ基底$\vec{e'}_i$が定義でき、<br/>
Ｓ'系の任意のベクトル$\vec r'$は<br/>
$\vec r'=\sum_{i=1}^{3}r'_{i}\vec{e'}_i$<br/>
と表せる。<br/>
注の終わり。<br/><br/>

両系の対応する座標軸が平行と仮定しているので<br/>
対応する基底は長さと方向・向きが等しくなり、ベクトルとして一致する。<br/>
$\vec{e}_i=\vec{e'}_i,\quad (i=1,2,3)$<br/>
すると次の命題が成り立つ。<br/>


命題１<br/>
系ＳとＳ'の各座標系が平行とする。<br/>
ガリレイ変換式(2)における、<br/>
$\vec{r}(t)$の座標成分を、$(r_{1}(t),r_{2}(t),r_{3}(t))$<br/>
$\vec{r'}(t)$の座標成分を、$(r'_{1}(t),r'_{2}(t),r'_{3}(t))$<br/>
$\vec{OO'}(t)$の(Ｓ座標系からみた）座標成分を、$(O'_{1}(t),O'_{2}(t),O'_{3}(t))$<br/>
とする。このときガリレイ変換（２）は<br/>
$r_{i}(t)=O'_{i}(t)+r_{i}(t)、 \quad (i=1,2,3)$<br/>
証明<br/>
座標表示の定義から、<br/>
$\vec{r}(t)=\sum_{i=1}^{3}r_{i}(t)\vec{e}_i$<br/>
$\vec{OO'}(t)=\sum_{i=1}^{3}O'_{i}(t)\vec{e}_i$<br/>
$\vec{r'}(t)=\sum_{i=1}^{3}r'_{i}(t)\vec{e'}_i$<br/>
命題の仮定から、$\vec{e}_i=\vec{e'}_i,\quad (i=1,2,3)$なので<br/>
$\vec{r'}(t)=\sum_{i=1}^{3}r'_{i}(t)\vec{e}_i$<br/>
これらの式を、ガリレイ変換式、<br/>
$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t) \qquad \qquad (2)$<br/>
に代入して<br/>
$\sum_{i=1}^{3}r_{i}(t)\vec{e}_i
=\sum_{i=1}^{3}O'_{i}(t)\vec{e}_i +\sum_{i=1}^{3}r'_{i}(t)\vec{e}_i$<br/>
$=\sum_{i=1}^{3}(O'_{i}(t)+r'_{i}(t))\vec{e}_i$<br/>
座標表示は唯一つしかないので、上式の左辺と右辺を比較して<br/>
$r_{i}(t)=O'_{i}(t)+r'_{i}(t),(i=1,2,3)$<br/>
を得る。証明終わり。<br/>

====２質点の相対的位置と相対速度は、観測系によらず一定　====
ＳとＳ'を、それぞれ原点をＯとＯ'とする観測系とする。<br/>
時刻ｔに質点$m_{1}$を、<br/>
Ｏからみた位置ベクトルを$\vec{r^1}(t)$、<br/>
O'からみた位置ベクトルを$\vec{r'^1}(t)$<br/>
時刻ｔに質点$m_{2}$を、<br/>
両系からみた位置ベクトルを$\vec{r^1}(t)$、$\vec{r'^1}(t)$とする。<br/>
すると次の命題が成り立つ。<br/>
命題２<br/>
$\vec{r^{2}}(t)-\vec{r^{1}}(t)=\vec{r'^{2}}(t)-\vec{r'^{1}}(t)$<br/>
$\vec{v^{2}}(t)-\vec{v^{1}}(t)=\vec{v'^{2}}(t)-\vec{v'^{1}}(t)$<br/>
ここでｒとｖはS系からみた質点の位置と速度、ｒ'とｖ'はS'系からみた質点の速度である。<br/>
さらにＯを原点とする座標系$S(O-x_{1}x_{2}x_{3})$と、
それと平行な座標軸をもつＯ'を原点とする座標系$S'(O'-x'_{1}x'_{2}x'_{3})$を
定めると,上の式は座標成分表示でき、
${r^{2}_i}(t)-{r^{1}_i}(t)={r'^{2}_i}(t)-{r'^{1}_i}(t),\qquad (i=1,2,3)$<br/>
証明<br/>
ガリレイ変換式(2)より、<br/>
$\vec{r^{2}}-\vec{r^{1}}
=(\vec{OO'}+\vec{r'^{2}})-(\vec{OO'}+\vec{r^{1}})
=\vec{r'^2}-\vec{r'^1}$<br/>
後半の証明は、命題１と同じようにできるので省略する。<br/>
補題の証明終わり。<br/>

=== 観測座標系が慣性系となる条件        === 
命題３<br/>
慣性座標系$S(O-x_{1}x_{2}x_{3})$と、<br/>
同じ原点を持つ座標系$S'(O-x'_{1}x'_{2}x'_{3})$を考える。<br/>
このとき、<br/>
座標系Ｓ'が慣性系になる必要十分条件は<br/>
Ｓ'の3つの座標軸が、時間が経過してもＳ系からみると動かないこと。<br/>
証明：<br/>
（＝＞）Ｓ'が慣性系とする。<br/>
Ｓ'系の座標軸が時間とともに動くこともあると仮定すると矛盾が起きることを示そう。<br/>
慣性系Ｓからみて原点以外の場所に静止している質点を考える。<br/>
位置ベクトルを$\vec r$とする。<br/>
この質点に働く力は零であり、自由運動である。<br/>
どの慣性系からみても自由運動は等速度運動に見えるので、<br/>
この質点を慣性系Ｓ'でみても、等速度運動をする。<br/>
他方、Ｓ'系の座標軸が動くとすると、原点はＯに固定されているので、<br/>
原点周りの回転をすることになる。<br/>
回転していく座標からＳ系で静止している質点の位置を観測すると、<br/>
位置ベクトルは長さを変えず、移動して見える。<br/>
すなわち、原点Ｏを中心とする半径$\|\vec r\|$の球面状を移動する。図参照<br/>
これは等速度運動（直線運動になる）と矛盾する。<br/>
（＜＝）<br/>
Ｓ'の3つの座標軸が、時間が経過してもＳ系からみると動かないとする。<br/>
すると、$S'(O-x'_{1}x'_{2}x'_{3})$の基底$\vec{e'}_i,\quad (i=1,2,3)$は<br/>
時不変のベクトルになる。<br/>
このとき、自由運動する質点の運動が、Ｓ'系からみても等速度運動になることを示せばよい。<br/>
この質点を慣性系Ｓから観測すれば、等速度運動をするので、<br/>
質点の位置ベクトル$\vec{r}(t)$は、<br/>
$\frac{d\vec r}{dt}(t)=\vec v=constant$(等速度）<br/>
これを、Ｓ'系から観測すると、その位置ベクトルと速度ベクトルは、<br/>
$O=O'$なのでガリレイ変換式により、<br/>
$\vec{r}(t)=\vec{r'}(t) $<br/>
両辺を時間で微分して、<br/>
$\vec{v}(t)=\vec{v'}(t) =\vec v$<br/>
Ｓ'系の座標軸は時不変なので、速度ベクトル$\vec v$の座標成分<br/>
$\vec v \cdot \vec{e'}_i \quad $(i=1,2,3)<br/>
は一定値になり、等速度運動になる。証明終わり。<br/>

命題４<br/>
Ｓ系(原点O)は慣性系とし、<br/>
Ｓ'系(原点O')はＳ系からみて原点Ｏ'が等速度で並進運動をする。<br/>
このとき、S'系は慣性系である。<br/>
証明；<br/>
仮定から、$\frac{\vec{OO'}}{dt}(t)=\vec{w}　)$と書ける。<br/>
自由運動がＳ'系からみても等速直線運動になることを示せば良い。<br/>
慣性系Ｓからみた自由運動$\vec{r}(t)$は等速直線運動になる。<br/>
そこで、ある速度ベクトル$\vec{v}$を用いて$\vec v(t)=\frac{dr}{dt}(t)=\vec{v}$と書ける。<br/>
ガリレイ変換式
$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t)  $
の両辺を時間ｔで微分すると<br/>

$\vec{v}=\vec{w}+\vec v'(t)   $<br/>

移項すると、<br/>
$\vec v'(t)=\vec{v}-\vec{w}$<br/>
Ｓ’系は並進運動するのでその座標の３つの基底は時間が経過しても不変なので、<br/>
、速度$\vec{v}-\vec{w}$の座標成分は一定値になる。<br/>
自由運動する質点は座標系Ｓ'からみても速度一定であることが示せた。証明終わり。<br/><br/>



命題４の逆命題も成り立つ。<br/>
命題５<br/>
慣性座標系$S(O-x_{1}x_{2}x_{3})$と、<br/>
座標系$S'(O'-x'_{1}x'_{2}x'_{3})$を考える。<br/>
もしＳ'が慣性系ならば、<br/>
S'系の原点Ｏ'は系Ｓで観測すると等速度で、Ｓ'は並進運動をする。<br/>
証明：<br/>
自由運動する質点は、どちらの系Ｓ，Ｓ'からみても、等速直線運動する。<br/>
そこで、それらの速度をそれぞれ<br/>
$\vec v=\frac{dr}{dt}(t)\quad $,$\vec{v'}=\frac{dr'}{dt}(t)$と書く。<br/>
ガリレイ変換式（２）の両辺を時間ｔで微分すると、<br/>
$\vec{v}=\frac{\vec{OO'}}{dt}(t)+\vec{v'}$<br/>
移項すると、<br/>
$\frac{\vec{OO'}}{dt}(t)=\vec{v'}-\vec{v}$<br/>
ゆえに、Ｏ'はＳ系からみて、等速直線運動する。<br/>
次にＳ'系は並進運動であることを示す。<br/>
Ｓ'系が並進運動していないとする。<br/>
Ｓ’系の原点Ｏ’を原点とし、並進運動する座標系$\tilde{S}(O'-\tilde{x}_1 \tilde{x}_2 \tilde{x}_3)$をとる。<br/>
すると$\tilde{S}$系は、命題４から、慣性系になる。<br/>
この慣性系からみると、Ｓ'系は原点が同じで、その座標系が時間とともに回転する。<br/>
すると命題３により、Ｓ'系は、慣性系にはなりえない。<br/>
これはＳ'が慣性系であることと矛盾する。したがってＳ'は並進運動することが示せた。証明終わり。<br/><br/>

命題６<br/>
慣性座標系ＳとＳ'を考える。<br/>
運動する質点の加速度は、どちらの系で観測してもベクトルとして同一である。<br/>
両方の座標系が平行ならば、座標成分も等しくなる。<br/>
証明；<br/>
命題５から<br/>
Ｓ'系は、Ｓ系からみて、ある速度$\vec{w}$で、等速度並進運動する。<br/>
すると、ガリレイ変換の式$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t)$の両辺を
ｔで微分して<br/>
$\vec{v}(t)=\vec{w}+\vec v'(t) $<br/>
この式の両辺をｔで微分すれば、<br/>
$\vec{\alpha}(t)=\vec{\alpha'}(t) $<br/>
２つの座標系が平行の場合、両者の基底は、ベクトルとして同一になり、<br/>
$\vec{\alpha}(t),\vec{\alpha'}(t) $の座標成分表示も等しくなる。

===ガリレイの相対性原理の証明===
力学の第一法則（慣性法則）により、この宇宙には慣性系は存在する。<br/>
実際、太陽系の重心を原点にし、遠方の恒星で座標系を決めれば、<br/>
これが慣性系Ｓになることが経験的に確かめられている。<br/>
この慣性系では、多くの経験や実験から、<br/>
力学の基本法則(力の合成則と運動の第2法則、第3法則、万有引力の法則)<br/>
が成立するとすることが判明している。<br/>
このとき、ガリレイの相対性原理は、<br/>
全ての慣性系で、力学の基本法則が成立する<br/>
と主張する。<br/>
この原理は、<br/>
2つの慣性系からの位置の観測値の間にガリレイ変換の関係が成り立ち、<br/>
質量と力の観測値が、どの慣性系からみても同じならば、<br/>
次のように証明できる。<br/>
慣性系Ｓで、力学の基本法則がすべて成立すると仮定する。<br/>
(１)。Ｓ'系で、運動の第2法則は成り立つことを示す。<br/>
力$\vec F$が作用して、質点ｍが運動しているとする。<br/>
S系で、運動の第2法則は成り立つので、<br/>
$\vec F=m\alpha:=m\frac{d\vec v}{dt}(t)$<br/>
命題６から、Ｓ系で観測した加速度$\alpha$は、Ｓ'系で観測した加速度$\alpha'$に等しい。<br/>
ゆえに、
$\vec F=m\alpha'$<br/>
mとＦは、仮定により、Ｓ'系で観測した質点の質量とそれに作用する力でもあるので、<br/>
Ｓ'系でも運動の第2法則が成り立つことが示せた。<br/>
（２)。力の合成法則がＳ'系でも成立。<br/>
質点ｍに、ｎ個の力$\vec{F}_i,(i=1,2,,,n)$が同時に作用しているとする。<br/>
Ｓ系では、力の合成法則がなりたつので、<br/>
質点はひとつの合力$\vec F:=\sum_{i=1}^{n}\vec{F}_i$を受けた質点ｍと同じく<br/>
$\vec F=m\alpha$<br/>
に従って運動する。<br/>
ところが、この質点の加速度をＳ'から観測しても変わらないので<br/>
$\vec F=m\alpha'$<br/>
質量と力は慣性系によらず一定なので、<br/>
ｍと$\vec F$は、Ｓ'系で観測した質点の質量と合力でもある。<br/>
したがって、Ｓ'系でも、ｎ個の力が同時に作用する質点の運動は、<br/>
それらの合力が作用する運動と同一になる。力の合成則が示せた。<br/>
（３)。力は両系で共通なので明らかにＳ'系でも作用反作用の法則(第３法則)が成立。<br/>
（４)。万有引力の法則がＳ'系で成立する。<br/>
命題２から、<br/>
2つの質点$m_{1},m_{2}$を、観測系SとS'から観測すると、<br/>
$\vec{r_{2}}(t)-\vec{r_{1}}(t)=\vec{r'_{2}}(t)-\vec{r'_{1}}(t)$<br/>
この関係と質量不変、力の不変の性質から、Ｓ系で成立する万有引力の法則の式は、<br/>
Ｓ'系の万有引力の法則の式になっていることが分かる。


=== ガリレイの相対性原理から質量と力の不変性を導く ===
前節では、２つの慣性系の位置ベクトルの間にガリレイ変換の関係が成り立つとき、<br/>
質量と力が慣性系の取り方によらずに決まるならば、相対性原理が成立することを示した。<br/>
この節では、逆にガリレイの相対性原理から、<br/>
質量と力が慣性座標系に依存しないことを示そう。
====作用する力を質量で割ったものは、どの慣性系からみても同一====
２つの慣性系S,Ｓ'をとる。原点をそれぞれO,O'とする。<br/>
前項で証明したように、<br/>
ある速度ベクトル$\vec{v}$が存在して、$\frac{d\vec{OO'}}{dt}(t)=\vec{v}$<br/>
質点に力が作用し、運動するのを、2つの慣性系S,S'から観測する。<br/>
系Sからみた質点の質量をｍ、作用する力を$\vec F$とする。<br/>
すると運動の第2法則から$m\frac {dv}{dt}(t)=\vec F$<br/>

ゆえに、$\frac {dv}{dt}(t)=\vec F/m \qquad \qquad (1)$<br/>

同様に、系S'からみた質点の質量を$m'$、作用する力を$\vec F'$とすると<br/>

$\frac {dv'}{dt}(t)=\vec F'/m'\qquad \qquad (2)$<br/>

命題３から$\frac {dv}{dt}(t)= \frac {dv'}{dt}(t)|\qquad \qquad (3)$<br/>

式(1)(2）(3)から<br/>

$\vec F/m=\frac {dv}{dt}(t)=\frac {dv'}{dt}(t)=\vec F'/m'\qquad \qquad (4)$<br/>
所望の結論が得られた。
====質量は、どの慣性系からみても同一====
2つの質点が万有引力で引き合って、運動しているのを、系SとS'から観測する。<br/>
S系の観測値は、2つの質点の質量が$m_1,m_2$,位置ベクトルが$\vec r_{1},\vec r_{2}$、<br/>
S'系の観測値は、質量$m'_1,m'_2$,位置ベクトル$\vec r'_{1},\vec r'_{2}$<br/>
であるとする。<br/>
第1の質点が第2の質点から受ける万有引力は、S系では、<br/>
$\vec{F_{1,2}}=G\frac{m_{1}m_{2}}{\|\vec{r_2}-\vec{r_1}\|^2}
\frac{\vec{r_2}-\vec{r_1}}{\|\vec{r_2}-\vec{r_1}\|}$<br/>
同じくＳ'では、<br/>
$\vec{F'_{1,2}}=G\frac{m'_{1}m'_{2}}{\|\vec{r'_2}-\vec{r'_1}\|^2}
\frac{\vec{r'_2}-\vec{r'_1}}{\|\vec{r'_2}-\vec{r'_1}\|}$<br/>
前項で証明した式（４)により<br/>
$\vec F_{1,2}/m_{1}=\vec F'_{1,2}/m'_{1}$なので、上の式から<br/>
$G\frac{m_{2}}{\|\vec{r_2}-\vec{r_1}\|^2}
\frac{\vec{r_2}-\vec{r_1}}{\|\vec{r_2}-\vec{r_1}\|}
=G\frac{m'_{2}}{\|\vec{r'_2}-\vec{r'_1}\|^2}
\frac{\vec{r'_2}-\vec{r'_1}}{\|\vec{r'_2}-\vec{r'_1}\|}\qquad \qquad (5)$<br/>
ガリレイ変換の節の命題１により、
$\vec{r_2}-\vec{r_1}=\vec{r'_2}-\vec{r'_1}$なので式(5)から<br/>
$m_{2}=m'_{2}$<br/>
同様にして、第2の質点が第１の質点から受ける万有引力の式から、$m_{1}=m'_{1}$<br/>所望の結論が得られた。<br/>

====力はどの慣性系からみても同一====
$\vec F/m= F'/m'\qquad \qquad (4)$<br/>
と$m= m'$から、明らか。<br/><br/>

===ガリレイの相対性原理の余話　　　　===
ガリレイの相対性原理は、<br/>
力学だけでなく、古典力学のすべての領域で成立するという原理に拡張され、<br/>長い間物理学の指導原理となっていた。<br/>
ところが電磁気学の基本法則のマクスウェル方程式は、<br/>
ガリレイ変換で、形をかえてしまい、相対性原理は成立しない。<br/>
マクスウェル方程式が正しければ、<br/>
ガリレイの相対性原理やその根底にあるニュートン力学的世界観が<br/>
現実には成立しないことになるので大きな問題になった。<br/>
２０世紀になって、この原理はアインシュタインによって修正された。<br/>
これについては本テキストでは扱わない。

==質量、運動量、力の単位==

質量は基本単位で、SI国際単位系では、キログラム（ｋｇ＝１０００ｇ）が採用されている。<br/>
１ｋｇは当初、水1リットルの質量であった。<br/>
その後、この１キログラムの定義に合わせた白金製の原器(国際キログラム原器）が作製された。
*[[wikipedia_ja:キログラム |ウィキペディア(キログラム)]]
運動量$\vec P$の単位は、その定義式$\vec P=m\vec v$　の単位の関係から、<br/>
運動量の単位＝質量の単位*速度の単位＝ｋｇ*$m/s$である。<br/>
SI単位系ではこの単位には名前がつけられていない。<br/>

力の単位は、運動の第2法則$\vec F=m\frac{d\vec v(t)}{dt}$によって、基本単位の時間、長さ、質量を用いて、組み立てられる。<br/>
第2法則によってきまる単位の関係式は、力の単位＝質量の単位*加速度の単位＝ｋｇ*
$m/s^2$である。<br/>
この組立単位をニュートン(N)と呼ぶ。N=kg*m$/s^2$である。詳しくは、
*[[wikipedia_ja:ニュートン |ウィキペディア(ニュートン)]]

==仕事==
物体に力を加えて動かす時、力はこの物体に仕事をするという。<br/>
仕事(の量)は力の大きさと動かした距離の積に比例する。<br/>
正確には、加えられる力$\vec F$　が一定で、<br/>
力の向きに対して角度$\theta$[rad] だけ傾いている直線上を $\vec s$ 移動したとき、<br/>
''仕事W'' は、<br/>
$W=\|\vec F\|\|\vec s\| \cos\theta$　　　　<br/> 
で定義する。<br/>
ここで任意のヴェクトル$\vec a$に対して、$\|\vec{a}\|$はその大きさ$\sqrt{\sum_{i}a_i^2}$を表す。<br/>


特に、この式において$\theta=0$（すなわち $\cos\theta = 1$）とすると<br/>
「加えられる力が一定であり力の方向が運動の方向と一致している場合」になり、<br/>
$W=\|\vec F\|\|\vec s\| $　である。<br/>
また、$\theta=\pi/2$（$\cos\theta = 0$）のとき、$W = 0$となる。<br/>
すなわち、力が運動の方向と直角方向にはたらいている場合、その力は仕事をしない。 <br/>

$W=\|\vec F\|(\|\vec s\| \cos\theta)$と表現すると、<br/>
仕事は、力の方向に$\|\vec s\| \cos\theta$だけ動かしたときの仕事に等しいことが分かる。<br/> 

$W=(\|\vec F\| \cos\theta)\|\vec s\|$と表現すると、<br/>
仕事は、<br/>
大きさ$\|\vec F\| \cos\theta$　の$\vec s$方向の力(力$\vec F$の$\vec s$方向成分)を加えて、<br/>
$\vec s$だけ動かしたときの仕事に等しいことが分かる。


*[[wikipedia_ja:仕事 (物理学)|ウィキペディア（仕事）]]を参照のこと。<br/>

===仕事の内積を用いた表現=== 
内積は、仕事の記述や計算に便利な数学の概念である。
====内積の定義と仕事の内積表現====
ベクトル$\vec a,\vec b$の内積$ \vec a \cdot \vec b $は、$\|\vec{a}\|\|\vec{b}\|
\cos\theta$で定義する。<br/>
ここで、$\theta$は、ベクトル$\vec a,\vec b$のなす角($0\le \theta \le \pi$ )である。

*[[wikibooks_ja:高等学校数学B ベクトル|ウィキブックス（高等学校数学B ベクトル）]] の1.1.6～ 1.1.8を参照のこと。<br/>
ウィキブックスでは２次元のベクトルを中心にして説明しているが、<br/>
３次元ベクトルの場合にも、成り立つように修正することは容易である。<br/>
例えば、ベクトル$\vec a = (a _1,a _2,a_3)$の長さは、$\|\vec a\|= \sqrt {a _1^2 +a _2^2+a _3^2}$,<br/>
ベクトルの内積は、この長さを使えば、全く同じ式で良い。
===== 内積を使った 仕事の表現=====

内積 $\cdot $を用いると、<br/>
物体に力$\vec{F}$を加えて、$\vec{PQ}$(P点からQ点まで）動かした時の力のなす仕事は、<br/>
$ W=\vec{F}\cdot\vec{PQ} $と表せる。<br/>

======  内積の性質======
仕事は前述のように内積で表現できるので、<br/>
内積の性質を調べておくと、仕事について考察する時に役立つ。<br/>
以下では、<br/>
$\vec a,\vec b,\vec c$は、すべて同じ次元（２か３）のベクトルとし、 $\alpha$は実数とする。<br/>
座標成分表示が必要な命題では、直交座標系表示を用いる。

（１）$\vec a \cdot \vec b =\vec b \cdot \vec a$ <br/>
（２）$\vec a \cdot \vec b =\sum_{i}a_ib_i$ 、<br/>
ここで$a_1,b_1$はそれぞれ$\vec a,\vec b$のx座標成分、同様に、添え字２はy座標成分、３はz座標成分<br/>
直交座標系はどんなものでも良い。しかしすべてのベクトルは同じ座標系で座標成分表示しなければならない。<br/>
（３）$(\vec a +\vec b) \cdot \vec c =\vec a \cdot \vec c+\vec b \cdot \vec c$　　　<br/>
　　　$\vec a \cdot(\vec b+\vec c) =\vec a \cdot \vec b+\vec a \cdot \vec c$　　　<br/>
（４）$(\alpha \vec a)\cdot \vec b =\vec a \cdot (\alpha \vec b)=\alpha (\vec a \cdot \vec b)$ <br/>
が成り立つ。 <br/>
（５）$\|\vec a \cdot \vec b\| \leq \|\vec a\|\|\vec b\|$<br/>
（６）ノルムの性質；$\|\vec a + \vec b\| \leq \|\vec a\| + \|\vec b\|$<br/><br/>
証明は、本テキストの「8章　物理数学の8.1平面と空間のベクトル」にある。

====力が変動したり、物体の移動が曲線であるときの仕事==== 
物体に作用する万有引力は、<br/>
物体の位置により決まる。

=====力の場=====
質点がどこにあろうが、
その位置$\vec x$に応じて力$\vec{F}(\vec x)$が作用する空間を'''力の場'''という。<br/>
万有引力は位置$\vec x$についての連続なベクトル値関数である。<br/>

=====力の場の力のおこなう仕事の近似値　　=====
この力を受けて運動する物体は曲線を描いて運動することが多い（彗星、惑星の運動など）。<br/>
物体がさまざまな理由で運動を拘束され曲線を描いて動くときもある。<br/>
こうした場合、力のなす仕事をどのように決めたらよいだろうか。<br/>

運動の軌跡(向きつき曲線C)を、細かく区切って<br/>
n個の向きつき小曲線部分${C^n}_i$に分ける(i=1,2,,,n)。<br/>
各小部分${C^n}_i$の両端の位置ベクトルを、${\vec{x}^n}_{i-1},{\vec{x}^n}_i$と書く。図参照のこと。<br/>
この分割に名前を付け$\Delta^n =\{{C^n}_i \mid i=1,2,,,n\}$と書く。<br/>
nを増やして分割を細かくすると、<br/>
連続的に変化する力は、各小部分${C^n}_i$上でほぼ一定となる。<br/>
${C^n}_i$の形状もほぼ線分とみなせるようになる。<br/>
そこで、ｉ番目の小部分上の一点${\xi}^{n}_i$を選び、<br/>
この小部分上では、力を$\vec{F}({\xi}^{n}_i)$で近似する。<br/>
また、ｉ番目の小部分を向きつき線分<br/>
${\vec{x}^n}_i-{\vec{x}^n}_{i-1}$<br/>
で近似する。<br/>
すると、この小部分の移動で力の行う仕事は<br/>
$ W_{i}({\Delta}^n,{\xi}^{n}_i)
=\vec{F}({\xi}^{n}_i)\cdot ({\vec{x}^n}_i-{\vec{x}^n}_{i-1})$　<br/>
で近似できる。<br/>
これをすべて加えた<br/>
$W({\Delta}^n,\{{\xi}^{n}_i\}_{i=1}^{n})
=\sum_{i=1}^{n}W_{i}({\Delta}^n,{\xi}^{n}_i) $<br/>
$=\sum_{i=1}^{n}\vec{F}({\xi}^{n}_i)\cdot ({\vec{x}^n}_i-{\vec{x}^n}_{i-1})\qquad (1)$            <br/>
は、力のなした仕事の近似値を与えると考えられる。<br/>
===== 線積分可能性の定義  =====
ある数Ｗが存在して、<br/>
分割数ｎをどんどん増やし、小部分の長さを零に近づくて行く。<br/>
この時、分割の仕方$\Delta^n$や$\{{\xi}^{n}_i\}_{i=1}^{n}$の選び方によらず<br/>
$W=\lim_{n\to \infty}W({\Delta}^n,  \{{\xi}^{n}_i\}_{i=1}^{n})$<br/>
となるとき、<br/>
ベクトル値関数$\vec{F}(\vec x)$は、曲線Ｃに沿って線積分可能という。<br/>
このとき、Ｗのことを、$\vec{F}(\vec x)$の曲線Ｃに沿った線積分といい、<br/>
$W=\int_{C}\vec{F}(\vec x)\cdot{d \vec x}$　<br/>　　
と記す。　

===== 曲線に沿った仕事の定義  =====
力$\vec{F}(\vec x)$が、向きつき曲線Ｃに沿って線積分可能であるとき、<br/>
$W=\lim_{n\to \infty}W({\Delta}^n,  \{{\xi}^{n}_i\}_{i=1}^{n})=\int_{C}\vec{F}(\vec x)\cdot{d \vec x}$<br/>
を、力$\vec{F}(\vec x)$によって質点をＣに沿って動かすときの、<br/>
力の行う行う仕事と定義する。<br/>


どのような条件があると線積分が可能になるか、とか、<br/>
この計算をこれ以上具体的に進めるには、<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$から$b$までを、ｎ個の小区間<br/>
$[p^{n}_{i-1},p^{n}_i](i=1,2,,,n)$に分割する。ここで$(p^{n}_0=a<p^{n}_{1}<p^{n}_{2},,,,<p^{n}_{n}=b)$<br/>
この分割を$\Delta^{n}:=\{[p^{n}_{i-1},p^{n}_i]\mid i=1,2,3,,,n\}$と書く。<br/>
ｎ個の小区間の長さの最大値を$|\Delta^{n}|$と記す。$|\Delta^{n}|:=\max_{i}(p^{n}_i-p^{n}_{i-1})$<br/>
$\vec x^{n}_i:=\vec{x}(p^{n}_i)$(i=1,2,,,,,n)をＣの分割の分点とすることで、<br/>
Ｃのｎ分割$C^{n}_i,(i=1,2,,,n)$が得られる。これを$\Delta'^n$と書く。<br/>
任意の$\eta^{n}_i \in [p^{n}_{i-1},p^{n}_i]$を選び<br/>
$\xi^{n}_i:=\vec{x}(\eta^{n}_i)$<br/>
を、$C^{n}_i$上の力の代表点とする。<br/>

$W({\Delta'}^n,\{{\xi}^{n}_i\}_{i=1}^{n})
=\sum_{i=1}^{n}W_{i}({\Delta'}^n,{\xi}^{n}_i) $<br/>
$=\sum_{i=1}^{n}\vec{F}({\xi}^{n}_i)\cdot ({\vec{x}^n}_i-{\vec{x}^n}_{i-1})$
$=\sum_{i=1}^{n}\vec{F}(\vec{x}(\eta^{n}_i))\cdot (\vec{x}(p^{n}_i)-\vec{x}(p^{n}_{i-1}))$
が、パラメータの分割を細かくしていくと、<br/>
分割$\Delta$ や $\eta^{n}_i$の選び方に無関係な定数に収束することを示せばよい。

$p^{n}_i- p^{n}_{i-1}$が小さいので、微分の定義から<br/>
$\frac{\vec{x}(p^{n}_i)- \vec{x}(p^{n}_{i-1})}{p^{n}_i)- p^{n}_{i-1}}
\approx \frac{d\vec{x}}{dp} (p^{n}_{i-1})$<br/>
そこで、<br/>
$\vec{x}(p^{n}_i)- \vec{x}(p^{n}_{i-1})$<br/>
$\approx 
\frac{d\vec{x}}{dp} (p^{n}_{i-1})(p^{n}_i)- p^{n}_{i-1})$<br/>
故に、<br/>
$W^{n}_i　\approx　\vec{F}(p^{n}_{i-1})\cdot \frac{d\vec{x}}{dp} (p^{n}_{i-1})(p^{n}_i)- p^{n}_{i-1})$<br/>
$=(\vec{F}\cdot\frac{d\vec{x}}{dp})(p^{n}_{i-1}) (p^{n}_i)- p^{n}_{i-1})$<br/>
力がパラメータ区間$[a,b]$の間に行う仕事$W^n$は、<br/>
$W^n=\sum_{i=1}^{n}W^{n}_i $<br/>
$\approx 
\sum_{i=1}^{n}(\vec{F}\cdot \frac{d\vec{x}}{dp})((p^{n}_{i-1}) (p^{n}_i)- p^{n}_{i-1})$<br/>
この式は、ｎが大きくなるほど、等式に近くなる。<br/>
最後の項$\sum_{i=1}^{n}(\vec{F}\cdot\frac{d\vec{x}}{dp})((p^{n}_{i-1}) (p^{n}_i)- p^{n}_{i-1})$は、<br/>
$[a,b]$上で定義された連続な実数値関数<br/>
$f(p):=(\vec{F}\cdot\frac{d\vec{x}}{dp})(p)=\vec{F}(p)\cdot\frac{d\vec{x}}{dp}(p)$<br/>
の、パラメータ区間の分割$\Delta^{n}:=\{[p^{n}_{i-1},p^{n}_i]\mid i=1,2,3,,,n\}$に対応する
リーマン和である。<br/>
そこで、ｎを無限に大きくしていくと、最後の式は<br/>
$W:=\lim_{n\to \infty}W^n=\int_{a}^{b}f(p)dp
=\int_{a}^{b}(\vec{F}\cdot\frac{d\vec{x}}{dp})(p)$<br/>
$=\int_{a}^{b}\vec{F}(p)\cdot \frac{d\vec{x}}{dp}(p)dp$<br/>
に収束する（8章の8.3　積分に証明あり）。<br/><br/>
（注）この証明は、<br/>
「この式は、ｎが大きくなるほど、等式に近くなる」<br/>
ことの証明がないので、不正確である。<br/>
きちんとした証明は、８章物理数学の８．３積分で与える。<br/>

====仕事の単位　====
仕事の定義$W=\|\vec F\|\|\vec s\| \cos\theta$から、仕事の単位は、力の大きさ$\|\vec F\|$の単位と長さ$\|\vec s\|$の単位を掛けたものになる($ \cos\theta$ は無単位なので )。<br/>
MKSA単位系では、力の大きさの単位は$N$(ニュートン）、長さの単位は$m$（メートル）なので、仕事の単位は$Nm$　となる。<br/>
これを$J$(ジュール）と呼ぶ。$J=Nm$である。
*[[wikipedia_ja:ジュール|ジュール(ウィキペディア）]]