ソースを表示

[[物理]]
＞ [[物理/力学|力学]]
＞ [[物理/剛体と回転力|剛体と回転力]]

= 剛体と回転力  =
この節では、硬くて形を変えない質点系である剛体を回転させる力について考察する。

==  剛体の運動と回転==
===  剛体===

剛体(Rigid body)とは、<br/>
質点系であって、それらの、どの2質点の間の距離も変わらない,特殊な質点系のことを言う。<br/>
どの2質点の間の距離も変わらなければ変形は起こらない。<br/>
固くて変形しにくい物体を理想化した概念である。<br/>

===  剛体の運動　===
剛体は変形しない質点系なので、その運動は、重心の運動と、重心の周りの回転運動を合成したものになる。<br/>
重心の運動は前の節で説明したように、質点の運動と同じように簡単に扱える。<br/>
重心の周りの回転運動について解析するには、少し難しい数学が必要になる。<br/>
*[[wikipedia_ja:剛体の力学|ウィキペディア（剛体の力学）]]を参照のこと。
このテキストでは、固定軸の周りの回転運動を中心に、 剛体運動の初歩と釣合の条件について学ぶ。<br/>

===固定軸のまわりの回転運動　===

剛体が、剛体の中を通る固定軸の周りを回転する運動（車輪の回転など）を考える。<br/>
応用も考え、回転軸は重心を通らなくてもよいように一般化しておく。<br/>
（注）なお、軸が動かないようにするためには軸受が必要である。<br/>
工夫しても回転時に軸は軸受から多少の摩擦力を受け、回転にブレーキがかかる。<br/>
しかし、これは無視出来るほど小さいと仮定する。<br/>
すると軸が受ける力は、軸の変動を防ぎ、固定軸の周りの運動に限定させる作用を持ち、<br/>
回転を遅める作用は持たないことになる。
====回転運動の表示法　====
固定軸まわりの剛体の運動はどのように表示したらよいだろうか。<br/>
・剛体の位置を表す変数；回転角<br/>
剛体が幾ら回転したか分かるように、剛体の、回転軸上にない一点$P_s$に印を付ける。<br/>
次に、角度を測る基準線をきめるため、座標系を決めよう。<br/>
$P_s$から固定軸へ垂線をひき、その足を原点$O$とし,固定軸をｚ座標とする(静止した)３次元直交座標$O-xyz$を考える。<br/>
剛体が固定軸の周りを回転すると、印$P_s$はxy平面上を、原点$O$を中心に円を描いて動くことになる。<br/>
その位置ベクトル$\vec{OP_s}$がx軸の正方向となす角度$\phi$を、回転角と呼ぶ。図参照。<br/>
但し、x軸から反時計回りの角を正にする。<br/>
また一回転した後ならば、一回転の角$2\pi$を加え、逆周りに一回転した後なら$2\pi$を引き、<br/>
角度だけでなく回転数も分かるようにする。<br/>
回転角が指定されると、点$P_s$の位置が決まる。<br/>
それだけでなく剛体は変形しないので、剛体のすべての点の位置がきまる。<br/>
そこで回転角$\phi$の時間変化$\phi=\phi (t)$を明らかにすれば、剛体の回転運動は定まる。<br/>
固定軸のまわりの回転運動において回転角の果たし役割は、質点の運動において質点の位置が果たし役割に対応していることが分かる。<br/>
・回転の角速度と角加速度<br/>
$\phi=\phi (t)$を時間で微分した$d\phi (t)/dt$を回転の角速度と呼ぶ。<br/>
直観的には、時刻$t$の瞬間の、回転の速さ（回転角の時間に対する変化率）を表す。<br/>
さらにもう一回時間微分した$d^2\phi (t)/dt^2$を回転の角加速度と呼ぶ。<br/>

==剛体に作用する力の回転力(トルク）　==
質点の運動に倣って、剛体に作用する力によって、その位置(＝回転角）がどう変化するかの法則を導出したい。<br/>
しかし、剛体の回転の場合、ある方向の力は、剛体の回転に全く関係しない。
例えば、回転軸から放射状にでる半直線方向の力は全く回転の変化に寄与しない。<br/>
そこで剛体の回転を変化させる力とはなにかという問題から考察する必要が起こる。<br/>
質点運動における力の定義(力と運動量の変化の関係）や力と仕事の関係など力の係っている式のなかから、<br/>
剛体の回転運動に容易に拡張出来るものを選び、その式から、回転に関する力を求めることを試みる。<br/>
力の定義からは、回転運動への拡張を、推測することは難しい。<br/>
力と仕事の関係の考察をしてみよう。

===力と仕事の関係からの考察　===
適当な直交座標系をさだめ、ベクトルは、座標成分で表示する。<br/>
質点に、一定の力$\vec F=(F_x,F_y,F_z)$を作用させて、x軸方向に変位させる。<br/>
質点はこの軸の上でしか動けないように拘束され、摩擦はないと仮定する。<br/>
質点の変位ベクトルは一次元の変数$x$を使って$\vec s=(x,0,0)$と表せる。<br/>
すると力のなす仕事は、$W=\vec F \cdot (x,0,0)=F_{x}x$である。　<br/>
逆に物体に一定の力を加え、x軸上で$x$だけ変位させた時の仕事$W$が分かれば、質点を動かした力は<br/>
$F_x=W/x$<br/>で求められる。<br/>
$F_y,F_z$は、質点をx軸上で動かすことには全く寄与せず、<br/>
x軸に拘束された質点を動かす力は、$F_x$なのである。<br/>
固定軸まわりの回転もその変位は一次元の変数である回転角度で表わせるので、<br/>
これに倣って、<br/>
$W/$回転した角度　<br/>
を、回転にかんする力であると考える。これを回転力と呼ぶ。'''トルク'''ともいう。<br/>

この方針を実行して回転力を具体的に求めよう。<br/>

===剛体に力を加え微小角動かす時の、力のなす仕事の算出　===
図4.1のように剛体の任意の一点$P(x,y,z)$を考える。<br/>
z座標の上方からxy平面を見下ろしているので、ｚ座標は点になり$O$と書いてある。<br/>

[[File:GENPHY00010004 fig4-1.jpg|right|frame|図4.1 ☆☆キャプションはココに書いて下さい☆☆]]

まず一点$P(x,y,z)$に力$\vec F=(F_{x},F_{y},F_{z})$が作用して、z座標軸を回転軸として微小角$\Delta\theta$だけ回転したときの<br/>
仕事$\Delta W$を計算し回転力を求めよう。<br/>
$P$点から回転軸（ｚ軸）に垂線を下ろし、その足を$O'=(0,0,z)$とする。<br/>
$\vec{O'P}$の長さを$r$、x軸となす角を$\theta$(ラジアン)と置く。<br/>
この角度は、<br/>
剛体につけた印の位置ベクトル$\vec{OP_s}$がｘ軸となす回転角$\phi$と<br/>
このベクトルと$\vec{O'P}$（をｘｙ平面に平行移動したベクトル）の間の角の和である。<br/>
後者は、剛体なので、運動しても変わらない定数である。そこで、$\theta=\phi+$定数,と書ける。<br/>
剛体がｚ軸の周りを微小角$\Delta\theta$回転して、点$P$が図の点$Q$に移動したとする。<br/>
すると角$\angle OPQ$はほぼ直角（=$\pi /2$）で$\vec{PQ}$の長さ$PQ$は、$PQ\approx r(\Delta\theta)$。<br/>

$\vec{PQ}$のｘ成分とｙ成分は、図4－１中に示したように、それぞれ、$-QR\approx -PQ*y/r$、$PR\approx  PQ*x/r$。<br/>
$PQ\approx r(\Delta\theta)$を代入すると、<br/>
$\vec{PQ}_x\approx   -y(\Delta\theta)$、
$\vec{PQ}_y\approx x(\Delta\theta)$、
$\vec{PQ}_z\approx 0$<br/>
故に、<br/>
$\vec{PQ}\approx  (-y(\Delta\theta),x(\Delta\theta),0)\qquad\qquad  (1)
　　$<br/>
点$P(x,y,z)$に作用する力$\vec{F}=(F_{x},F_{y},F_{z})$が、物体を$\vec{PQ}$だけ動かしたので、<br/>
その仕事は、$\Delta W=\vec{F} \cdot \vec{PQ}$（内積）。<br/>
この右辺を内積の性質を用いて座標成分で表すと、<br/>
$F_{x}*(-y)\Delta\theta+F_{y} x\Delta\theta+F_{z}* 0$<br/>
$=(xF_{y}-yF_{x})*\Delta\theta$ <br/>

===ｚ軸まわりの回転力の導出　===
ゆえに、力$\vec{F}$のｚ軸まわりの回転力（トルク）$T_\vec{e_z}$は$\Delta W/\Delta\theta=xF_{y}-yF_{x}$
に等しい。<br/>
これより、$\Delta W=T_\vec{e_z}\Delta\theta$が得られる。<br/>
この式と、直線上に拘束された質点の運動における、力と仕事の関係式(　　節　　項）と対比させると、<br/>
$T_\vec{e_z}$　は、拘束された直線の上を動かすときに、働いた力の成分が対応し、<br/>
$\Delta\theta$　は、変位量　　　に対応していることが分かる。<br/>

===ｚ軸まわりの回転力（トルク）の性質===

(1)力$\vec{F}$のｚ軸まわりの回転力は,$\vec{F}_z$には関係しない。<br/>
言いかえるとz軸を固定軸とする剛体にｚ軸の方向の力を加えても、ｚ軸の周りの回転は起こらない。<br/>
(2)剛体の１点$P(x,y,z)$に作用する力$\vec F$を考える。<br/>
点$P(x,y,z)$からｚ軸に下ろした垂線の足を$O'(0,0,z)$と書く。
力$\vec F$を、,
$\vec{O'P}$方向の成分$\vec F_r$と、<br/>
ｚ軸まわりの回転により$P$の描く、$O'$を中心とする回転円の（左回りの）接線方向の成分$\vec F_t$<br/>
および、これら２成分に直交する成分(ｚ軸と平行)<br/>
に分解する(図参照）。この時、<br/>
・力$\vec F_r$のｚ軸まわりの回転力は、零である。<br/>
すなわち、動径方向の力は回転に寄与しない。　　<br/>
・力$\vec F$のｚ軸まわりの回転力は、$\vec F_t$のｚ軸まわりの回転力に等しい。<br/>
数式で表すと、$xF_{y}-yF_{x}=x(F_t)_{y}-y(F_t)_{x}$<br/>
(3)剛体に作用する力の作用点を、力の作用線上で動かす限り、回転力は変化しない。<br/>
ここで、力の作用線とは、力の作用点を通り、力の方向と重なる直線のこと。<br/>
<br/>これらはいずれも直観と合致する。<br/>
証明は、試みてほしい。

===他の軸の周りの回転力===
力$\vec{F}$のｘ軸、y軸まわりの回転力も同様に計算できる。結果は、<br/>
x軸まわりの回転力；$yF_{z}-zF_{y}=y(F_t)_{z}-z(F_t)_{y}$<br/>
y軸まわりの回転力；$zF_{x}-xF_{z}=z(F_t)_{x}-x(F_t)_{z}$


===原点まわりの力のモーメント===
位置ベクトル$\vec r=(x,y,z)$の剛体の点$P$に作用する力$\vec F$の原点まわりの力のモーメントを、<br/>
$\vec N=($x軸まわりのトルク、y軸まわりのトルク、z軸まわりのトルク$)$で定義する。<br/>
数式で書くと、<br/>
$\vec N=(yF_{z}-zF_{y},zF_{x}-xF_{z},xF_{y}-yF_{x})$,<br/>

===ベクトル積と回転による変位と力のモーメントのベクトル積表示===
以上の結果は、ベクトル積（vector product)を用いると簡潔、正確に表現でき、<br/> 
回転運動の性質を調べるのが容易になる。<br/><br/>
'''定義　ベクトル積'''<br/>
3次元ベクトル$\vec a,\vec b$ のベクトル積　$\vec a \times \vec b$　とは、<br/> 
(1) 3次元ベクトルであり,<br/>
(2) 大きさは　$\vec a,\vec b$ を2辺とする平行四辺形の面積に等しい。<br/>
(3) 方向はこの四辺形に垂直で、向きは、$(\vec a,\vec b,\vec a \times \vec b)$が右手系をなすように定めたものである。<br/>
$\vec a　と　\vec b$ 　のなす角を　$\theta$　とかくと、（２）の条件は、<br/>
$\|\vec a \times \vec b\| = \| \vec a \| \| \vec b \|\, |\sin{\theta} | $<br/>
と書ける。<br/><br/>
ベクトル積はクロス積あるいは外積とも呼ばれる。<br/>
ベクトル積に関して以下の8つの命題が成り立つ。<br/>

====ベクトル積にかんする命題　　　　====
以下に述べる全ての命題で、<br/>
$ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル<br/>
$\alpha$は実数とする。<br/>
命題１．<br/>
$ \quad \vec{a} $ を, $\vec{c} $と垂直な成分$ \vec{a_\perp}$ と,平行な成分$\vec{a_\parallel}$ の和に分解するとき、 <br/>
$\quad \vec{a} \times \vec{c}= \vec{a_\perp} \times \vec{c}$  <br/>
$\quad \vec{a_\parallel} \times \vec{c}= 0$  <br/><br/>

命題２．<br/>
$ \quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$  <br/>
<br/>
命題３ <br/>
$(\alpha\vec{a})\times \vec{b}= \alpha(\vec{a} \times \vec{b})= \vec{a}\times (\alpha\vec{b})$　<br/>

命題４．<br/>
$ \quad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$　<br/><br/>
命題４の系　　<br/>　　
$ \quad \vec{a} \times (\vec{b}+ \vec{c})= \vec{a} \times \vec{b} + \vec{a} \times \vec{c}$<br/>
$ \quad (\vec{a}+ \vec{b}+\vec{c})\times \vec{d}=\vec{a}\times \vec{d}+\vec{b}\times \vec{d}+\vec{c}\times \vec{d}$<br/><br/>

命題５．　<br/>
$\quad (\vec{e_1},\vec{e_2}, \vec{e_3})$ を<br/>
それぞれ大きさ(長さ)１で互いに直交し、[[wikipedia_ja:右手系|右手系]]をなす、ベクトル(右手系をなす正規直交基底)とする。<br/>
この時、<br/>
$ \quad  \vec{e_1} \times \vec{e_2} = \vec{e_3}, \quad
\vec{e_2} \times \vec{e_3} = \vec{e_1}, \quad
\vec{e_3} \times \vec{e_1} = \vec{e_2}$<br/>　<br/>

命題６．<br/>
ベクトル$\vec a, \vec b$を,命題５で用いた基底$ (\vec{e_1},\vec{e_2}, \vec{e_3})$ で決まる座標の座標成分で表示しておく。<br/>
すると$\vec a \times \vec b=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)$　<br/>
<br/>

命題７．<br/>
$(\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b} =(\vec{b} \times \vec{c})\cdot\vec{a}$  <br/>

命題８． <br/>
$ \quad \vec{a(t)} $ と $\vec{b(t)} $を,$t$にかんして微分可能な、ベクトルに値をとる関数とする。すると、<br/>
$ \quad \vec{a(t)} \times \vec{b(t)}$ は、$t$にかんして微分可能で、<br/>
$ \quad \frac{d}{dt}(\vec{a(t)} \times \vec{b(t)}) =(\frac{d}{dt}\vec{a(t)} )\times \vec{b(t)}+\vec{a(t)}\times (\frac{d}{dt}\vec{b(t)})$<br/><br/>

これらの証明は、
[http://ja.iwschool.org/wiki/%E7%89%A9%E7%90%86/%E5%B9%B3%E9%9D%A2%E3%81%A8%E7%A9%BA%E9%96%93%E3%81%AE%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB#.E3.83.99.E3.82.AF.E3.83.88.E3.83.AB.E7.A9.8D.E3.80.80|８章 物理数学の1.4節(ベクトル積)]で扱う。<br/>
ベクトル積に関しては以下を参照のこと。
*[[wikipedia_ja:クロス積|ウィキペディア（クロス積）]

====$\quad$軸周りの微小回転による変位のベクトル積表示　====
補題<br/>
剛体がｚ軸の周りを微小角$\Delta\theta$回転して、点$P(x,y,z)$が$Q$に移動したとする。<br/>
すると<br/>
$\vec{PQ}\approx \Delta\theta \vec{e_z} \times \vec{r}$<br/>
ここで、$\vec{r}:=(x,y,z)$;点Pの位置ベクトル<br/><br/>
何故ならば、<br/>
「剛体に力を加え微小角動かす時の、力のなす仕事の算出」の項の式（１）から、<br/>
$\vec{PQ}\approx(-y(\Delta\theta),x(\Delta\theta),0)$<br/>
ベクトル積の定義から、所望の結果を得る。<br/>
同様にして、x軸まわりとｙ軸周りの微小回転による変位は、それぞれ、<br/>
$\Delta\theta \vec{e_x} \times \vec{r} \quad $、$\Delta\theta \vec{e_y} \times \vec{r}$<br/>
で近似できる。

====　力のモーメントのベクトル積表示　　　====
ベクトル積の命題６を用いると、<br/>
位置ベクトル$\vec r$の点に作用する$\vec F$ の<br/>
原点まわりの力のモーメントは、$\vec N = \vec r \times \vec F$    <br/>
x軸まわりの回転力(トルク）は、$\vec N \cdot \vec e_x $ と表せることが分かる。<br/>
ｙ軸とｚ軸周りの回転力も、それぞれ　<br/>
$\vec N \cdot \vec e_y $ ,$\quad \vec N \cdot \vec e_z $で
表せる。
====2次元の場合のベクトル積====
平面上の物体のＰ点に、平面内の力を作用させ、この平面内の一点Ｏの周りを回転させる問題を考える。 <br/>
この平面にＯを原点とする2次元の直交右手座標をいれる。 <br/>
力の作用点Ｐの位置ベクトルを$\vec{OP}=(x,y)$、力を$\vec F=(f_1,f_2)$と座標表示する。 <br/>
すでに説明したように、 <br/>
Ｏ点周りの、力$\vec F$の回転力は$\quad xf_2-yf_1\quad$である。 <br/>
そこで、$\quad (x,y)\times (f_1,f_2):=xf_2-yf_1 \quad$と定義する。 <br/>
すると、 3次元のベクトル積の命題から<br/>
$\left((x,y,0)\times (f_1,f_2,0)\right)_3=(x,y)\times (f_1,f_2)$ <br/>
という関係が成り立つことが分かる。<br/>
定義；2次元ベクトルのベクトル積<br/>
２つの2次元ベクトル$\vec{a}(a_1,a_2),\quad \vec{b}(b_1,b_2)$のベクトル積$\vec{a}\times \vec{b}$とは、<br/>
$\left((a_1,a_2,0)\times (b_1,b_2,0)\right)_3=a_1b_2-a_2b_1$<br/>
のことである。<br/>
3次元ベクトルの場合はベクトル積は再び3次元ベクトルになるが、2次元ベクトルのベクトル積は2次元でなく１次元であることが異なる。<br/>
しかし、2次元ベクトル積に対しても、3次元のベクトル積のもつ多くの性質が成り立つ。<br/>
命題；2次元ベクトル積の性質<br/>
任意の2次元ベクトル$\vec{a}(a_1,a_2),\quad \vec{b}(b_1,b_2),\quad \vec{c}(c_1,c_2)$と<br/>
任意の実数$\alpha$に対して、以下の性質が成り立つ。<br/>
性質１．<br/>
$ \quad \vec{a} $ を, $\vec{c} $と垂直な成分$ \vec{a_\perp}$ と,平行な成分$\vec{a_\parallel}$ の和に分解するとき、 <br/>
$\quad \vec{a} \times \vec{c}= \vec{a_\perp} \times \vec{c}$  <br/>
$\quad \vec{a_\parallel} \times \vec{c}= 0$  <br/><br/>
性質２．<br/>
$ \quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$  <br/>
<br/>
性質３ <br/>
$\quad (\alpha\vec{a})\times \vec{b}= \alpha(\vec{a} \times \vec{b})= \vec{a}\times (\alpha\vec{b})$　<br/>
性質４．<br/>
$ \quad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$　<br/><br/>
性質４の系　　<br/>　　
$ \quad \vec{a} \times (\vec{b}+ \vec{c})= \vec{a} \times \vec{b} + \vec{a} \times \vec{c}$<br/>
$ \quad (\vec{a}+ \vec{b}+\vec{c})\times \vec{d}=\vec{a}\times \vec{d}+\vec{b}\times \vec{d}+\vec{c}\times \vec{d}$<br/><br/>
性質５．　<br/>
$\quad (\vec{e_1},\vec{e_2}$ を<br/>
それぞれ大きさ(長さ)１で互いに直交し、[[wikipedia_ja:右手系|右手系]]をなす、ベクトル(右手系をなす正規直交基底)とする。<br/>
この時、<br/>
$ \quad  \vec{e_1} \times \vec{e_2} = 1$　<br/>
性質６． <br/>
$ \quad \vec{a(t)} $ と $\vec{b(t)} $を,$t$にかんして微分可能な、ベクトルに値をとる関数とする。すると、<br/>
$ \quad \vec{a(t)} \times \vec{b(t)}$ は、$t$にかんして微分可能で、<br/>
$ \quad \frac{d}{dt}(\vec{a(t)} \times \vec{b(t)}) 
=(\frac{d}{dt}\vec{a(t)} )\times \vec{b(t)}+\vec{a(t)}\times (\frac{d}{dt}\vec{b(t)})$<br/><br/>

=== 力のモーメントの性質    ===
もっと一般に、どんな軸の周りの回転力も、$\vec N$　から得られる。<br/>
定理；<br/>
$\vec e$を、原点を始点とする大きさ１の任意のベクトルとする。<br/>
すると、<br/>
$\quad$    $\vec N \cdot \vec e$は、力$\vec{F}$の$\vec e$軸の周りの回転力になる。式で書くと、$T_{\vec e}=\vec N \cdot \vec e $　<br/>
この式を、回転力の定義に基づいて言い換えると、<br/>
力$\vec{F}$のもとで、剛体を$\vec e$軸の右まわりに角度$\phi$だけ回転させたとき、
$\vec{F}$のなす仕事$W$は、$W=T_{\vec e} \phi=(\vec N \cdot \vec e) \phi$ <br/>
証明；<br/>
９つに分けて示す。<br/>
ⅰ）準備　<br/>
図のように、剛体の点　$P$　から、$\vec e$　軸に垂線を下ろし、その足を　$Q$　とする。<br/>
力　$\vec F$　のもとで、剛体が　$\vec e$　を固定軸にして、<br/>
微小時間に、微小角$\delta \phi$ だけ回転したとする。<br/>
このとき、$P$　が移った先を、$P'$ とする。<br/>
ⅱ）回転角　$\delta \phi$　が微小なので、<br/>
この回転中の　$P$　の軌跡(円弧の微小部分）は、有向線分$\vec{PP'}$ で精度高く、近似できる。<br/>
ⅲ）この間に力　$\vec F$　がなした仕事　$\delta W$　は、$\delta W=\vec{PP'} \cdot \vec F$    <br/>
この仕事を、回転角$\delta \phi$で割ると、力の　$\vec e$　軸周りの回転力が得られる。そこで、$\vec{PP'}$　を、この定理で与えられている諸量を使って表現し、これを用いて、仕事を計算しよう。<br/>
ⅳ）有向線分$\vec{PP'}$の方向を求める。<br/>
$\vec{PP'}$　は、$\vec e$　軸と垂直で$Q$　を通る平面$H$上にあり、<br/>
$Q$を中心とする円の弧の微小部分をなすので、線分$QP$ と直交する。$\vec{PP'}\perp QP$
<br/>
また、$\vec e$　軸と垂直で$Q$　を通る平面$H$上にあるので、
$\vec{PP'}$は$\vec e$　軸とも直交し、従って線分$OQ$と直交する。$\vec{PP'}\perp OQ$
<br/>
ゆえに、$\vec{PP'}$　は、３点O,Q,Pを通る平面　$OQP$　と直交する。<br/>
すると、$\vec{PP'}$　は、平面　$OQP$　上のすべての線分と直交する。<br/>
ゆえに、$\vec{PP'}\perp \vec e$,$\quad \vec{PP'}\perp \vec{OP}$　<br/>
これで、$\vec{PP'}$　の方向は、求まった。<br/>
ⅴ）有向線分$\vec{PP'}$　の向き　<br/>
点　$P$　は、$\vec e$　軸の周りを右周りに回転するので、その向きは、
$\vec e \times \vec{OP}$ と同じ向きである。<br/>
ⅵ）$\vec{PP'}$　の大きさ。<br/>
$\vec{PP'}$は、　$Q$　を中心とする、半径　$\| \vec{QP} \|$ の円弧の一部なので、
その中心角$\delta \phi$　を用いて、$\| \vec{PP'}\|=\|\vec{QP}\|\delta \phi$   <br/>
ⅶ）ⅳ）、ⅴ）、ⅵ）から　
$\vec{PP'}=\frac {\vec e \times \vec r}{\|\vec e \times \vec r \|}\|\vec{QP}\|\delta \phi$    <br/>   
ⅷ）$\vec{PP'}=\vec e \times \vec r \delta \phi$が成り立つ。<br/> 
なぜなら、<br/>
$\|\vec e \times \vec r \|= \|\vec e \|\|\vec r \|\sin \theta =\|\vec r \|\sin \theta =\| \vec{QP} \| $ ,ここで　$\theta$　は$\vec e$ と$\vec r$　の間の角。
<br/>
この式をⅶ)で得られた式に代入すれば、所望の結果が得られる。<br/>
ⅸ）$\delta W=\vec{PP'} \cdot \vec F
=(\vec e \times \vec r \delta \phi) \cdot \vec F
=(\vec e \times \vec r) \cdot \vec F \delta \phi
=(\vec r \times \vec F)\cdot \vec e \delta \phi$  <br/>
ⅹ）$ T_\vec e = \frac{\delta W}{\delta \phi} =(\vec r \times \vec F)\cdot \vec e =\vec N \cdot \vec e $   <br/>
定理の証明終わり。<br/> <br/>
（注）剛体が固定軸の周りでなく、自由に回転するときでも、<br/>
ある瞬間には、ある軸の周りの回転になっている。<br/>
力のモーメントは、どんな軸周りの回転力の情報も含んでいることが証明されたので、<br/>　
回転運動一般に有効な概念であることが分かる。<br/>

====剛体の複数個所に作用する力の回転力とベクトル積表示　====
次に剛体の多くの点に力を加えたときの回転力を求めよう。<br/>
力の作用点を$P_i(x_i,y_i,z_i)$、その位置ベクトルを$\vec{r_i}$、力を$\vec{F^i}\quad (i=1,2,,,n)$とする。<br/>
これらの力のもとで剛体がz軸まわりを$\Delta\theta$だけ微小回転するときの、各力のなす仕事の合計は、<br/>
$(\sum_{i=1}^{n}(x_{i}(\vec F^i)_{y}-y_{i}(\vec F^i)_{x})*\Delta\theta$ <br/>
従って、作用点$P_i(x_i,y_i,z_i)$の力$\vec{F^i}\quad (i=1,2,,,n)$の全体がもつz軸まわりの回転力は、<br/>
$T_\vec{e_z}=\sum_{i=1}^{n}T^i_{\vec e_z} =\sum_{i=1}^{n}(x_{i}(F_{i})_{y}-y_{i}(F_{i})_{x}) \quad $ ここで$T^i_\vec{e_z}$は力$\vec F^i $のｚ軸まわりの回転力。<br/>

同様に、x軸まわりとy軸まわりの回転力も、それぞれ<br/>
$T_{\vec e_x}=\sum_{i=1}^{n}T^i_{\vec e_x} =\sum_{i=1}^{n}(y_{i}(F^i)_{z}-z_{i}(F^i)_{y})$ <br/>
$T_{\vec e_y}=\sum_{i=1}^{n}T^i_{\vec e_y} =\sum_{i=1}^{n}(z_{i}(F^i)_{x}-x_{i}(F^i)_{z})$ <br/>
力$\vec F^i $の原点周りに力のモーメント$\vec N^i$は$\vec N^i=(T^i_{\vec e_x},T^i_{\vec e_y},T^i_{\vec e_z})$で定義した。<br/>
全ての力の原点周りの力のモーメントも、同様に<br/>
$\vec N=(T_{\vec e_x},T_{\vec e_y},T_{\vec e_z})$で定義する。すると、<br/>
$\vec N=(\sum_{i=1}^{n}T^i_{\vec e_x},\sum_{i=1}^{n}T^i_{\vec e_y},\sum_{i=1}^{n}T^i_{\vec e_z})=\sum_{i=1}^{n}N^i
=\sum_{i=1}^{n}\vec{r_i}\times \vec{f^i}$<br/>
全ての力の原点周りの力のモーメント$\vec N$も、上述の定理と同様の定理(定理の系と呼ぶ）が成り立つ。<br/>
定理の系 <br/>
$\vec N$を剛体に作用する全ての力のモーメントとし、<br/>
$\vec e$を、原点を始点とする大きさ１の任意のベクトルとする。<br/>
すると、<br/>
$\quad$    $\vec N \cdot \vec e$は、力$\vec{F}$の$\vec e$軸の周りの回転力になる。<br/>
式で書くと、$T_{\vec e}=\vec N \cdot \vec e $　<br/>
この式を、回転力の定義に基づいて言い換えると、<br/>
力$\vec{F^i}\quad (i=1,2,,, n) $のもとで、剛体を$\vec e$軸の右まわりに角度$\phi$だけ回転させたとき、<br/>
これらの力のなす仕事$W$は、$W=T_{\vec e} \phi=(\vec N \cdot \vec e) \phi$ <br/><br/>
この系は、内積の性質を使えば、定理から、容易に導かれる。<br/>
===== 質点系に作用する重力のモーメント    =====
質点に作用する重力を表示するため、次のような'''重力ベクトル$\vec g$'''を導入する。<br/>
$\vec g$の方向・向きは鉛直下方で
大きさは、$\|\vec g\|:=g$(gは重力加速度)。<br/>
すると質量ｍの質点に作用する重力は$m\vec g$で表せる。<br/>
ｎ個の質点系を考える。<br/>
空間の任意の点Ｏを原点に定める。<br/>
第ｉ質点の質量を$m_i$、点Ｏから見た位置ベクトルを$\vec{r_{i}}$とする。<br/>
この質点系に作用する重力の原点周りのモーメント$\vec N$を求めよう。<br/>
命題　<br/>
質点系$m_i,(i=1,2,,,n)$に作用する重力の原点周りのモーメント$\vec N$は、<br/>
その重心$\vec R$に全質量$M:=\sum_{i=1}^{n}m_i$が集まったときの重力$M\vec g$の原点周りのモーメントに等しい。<br/>
式で書くと、<br/>
$\vec N:=\sum_{i=1}^{n}\vec{r_{i}}\times m_{i}\vec g=\vec R \times
M\vec g$<br/>
証明；<br/>
第ｉ質点に働く重力は、$\vec{f^{i}}=m_{i}\vec g $
なので、<br/>
$\vec N=\sum_{i=1}^{n}\vec{r_{i}} \times \vec{f^{i}}
=\sum_{i=1}^{n}\vec{r_{i}} \times m_{i}\vec g$<br/>
$=\sum_{i=1}^{n}m_{i}\vec{r_{i}} \times \vec g 
=(\sum_{i=1}^{n}m_{i}\vec{r_{i}}) \times \vec g$<br/>
すでに学んだことから、この質点系の重心は、<br/>
$\vec{R}=\frac{\sum_{i=1}^{n}m_{i}\vec{r_{i}}}{M}$ <br/>
であった。ここで、 $M=\sum_{i=1}^{n}m_{i}$　。<br/>
これを用いて、モーメントを書きなおすと、<br/>
$\vec N=M \vec{R} \times \vec{g} =\vec{R} \times M\vec{g} $<br/>
となる。証明終わり。<br/>

==  てこの原理と剛体の釣り合い==
図のように剛体の棒の中間に支点$O$があり、<br/>
この点をとおり、図面に垂直な軸の周りを自由に回転する装置を梃子(てこ）と呼ぶ。<br/>
てこは、重いものをもちあげる道具として紀元前5000年ころから使われていた。<br/>

=== てこの原理 ===
てこの棒の太さは、(長さに比べ非常に小さく)無視でき、<br/>
単位長さあたりの質量は一定で、$\rho$とする。<br/>
このてこが<br/>
支点から距離$l_1$にある棒の端$P_1$に力$\vec{f_1}$を受け、<br/>
支点から距離$l_2$にある反対側の端$P_2$に力$\vec{f_2}$を受けて、<br/>
つりあっている(水平に静止し続ける)。<br/>

竿の両端$P_1、P_2\quad$を通り、$P_1$から$P_2$にむけた向きをつけた地面と水平な数直線を$x_1$軸(x軸のこと)とし、<br/>
回転軸を$x_2$軸(y軸のこと）にとり、支点Ｏを通る鉛直線に、下方に向かう向きをいれ、$x_3$軸（ｚ軸のこと）にする。<br/>
$x_2$軸(y軸)の向きは、直交座標系$O-x_{1}x_{2}x_{3}$が右手系になるようにとる。図参照。<br/>
次の命題が成立する。<br/>
'''命題。てこの原理'''<br/>
$l_1 (\vec{f_1})_3+\frac{l_1}{2}l_1\rho g=l_2 (\vec{f_2})_3+\frac{l_2}{2}l_2\rho g
\quad (1)　$    <br/>
竿の重さを無視できるときは<br/>
$l_1 (\vec{f_1})_3=l_2 (\vec{f_2})_3  \qquad \qquad (2)$ <br/>
が成り立つ。<br/>
この式から、<br/>
もし$l_1<<l_2$ならば、
$P_2$に加える小さな力$(\vec{f_2})_3$が、$P_1$では非常に大きな力$(\vec{f_1})_3$になることが分かる。<br/>
*[[wikipedia_ja:てこ|ウィキペディ（てこ）]]
も参照のこと。<br/>
経験から、てこの原理(式(2)）は相当昔から知られていたと思われる。<br/>
ギリシャ時代には、<br/>
[[wikipedia_ja:アリストテレス |アリストテレス]]や
[[wikipedia_ja:アルキメデス |アルキメデス]]が、<br/>
この原理を述べ、論証を試みている。<br/>

アリストテレスは動力学的に論証したが、<br/>
当時の動力学は現代からみると間違いで、てこの原理の証明も誤っている。<br/>
アルキメデスは、<br/>
てこがつりあう条件の中から最も単純で直感的にも明らかと思われる性質をいくつか取り出し、<br/>
それらを正しいと仮定した。そしてこれらの性質だけを用いて梃子の原理を厳密に証明した。<br/>
現代でもこの方法で、てこの原理を証明する本が多い。<br/>
しかし、力学の基本法則以外の仮定が付加されるので、
本テキストではこの方法は採用しない。<br/>

=== てこの原理の証明 ===
今までの回転力の議論から、梃子がつりあっているときは、<br/>
$x_2$(y)軸まわりの回転力が零であることが予想される。<br/>
このことをまづ論証する。<br/>
その準備のため、<br/>
剛体を膨大な個数Nの質点が互いに強固に結合した質点系と考える。<br/>
それらの質点に<br/>
以下に説明するように番号(i=0,1,2,,,N-1)をふり、第i番目の質点の質量を$m_i$、位置ベクトルを$\vec{r_i}$とおく。<br/>
梃子がつりあっているときは、各質点は静止している。<br/>
ニュートンの第2法則と力の合成則により、<br/>
各質点に作用する外部力と内部力のベクトル和は零である。<br/>
（１）質点に働く外力<br/>
てこの両端$P_1,P_2$と支点に作用する力と重力が外力となる。<br/>
点$P_1$の質点に番号１をふり、その質量を$m_1$と書く。<br/>
質点$m_1$に力$\vec{f_1}$が作用する。<br/>
その位置ベクトル$\vec{OP_1}$を$\vec{r_1}$と記す。<br/>
力$\vec{f_2}$が作用する質点を$m_2$とおく。<br/>
その位置ベクトルを$\vec{OP_2}=\vec{r_2}$とする。<br/>
梃子の支点が梃子に及ぼす力$\vec{f}_0$が作用する質点を$m_0$とする。<br/>
その位置ベクトルは、$\vec{r_0}=\vec 0$である。<br/>

その他の質点には、適当に番号(３からN-1まで）を振る。<br/>
質点$m_i,(i=3,4,,,N-1)$の位置ベクトルを$\vec{OP_i}=\vec{r_i}$とおく。<br/>
また各質点$m_i$に作用する重力は${m_i}g\vec{e_3}={m_i}g(0,0,1)$である。<br/>

（２）内部力<br/>
質点$m_i$が、質点$m_j$から受ける内部力を$\vec{f_{i,j}}$と書く。$(i,j=0,1,,,N-1.i\neq j)$。<br/>
質点$m_i$と$m_j$の間の相互力にも作用・反作用の法則が成り立つので、$\vec{f_{i,j}}=-\vec{f_{j,i}}$。<br/>
さらに剛体では、その２質点間に働く力は、両質点を結ぶ直線の方向に働くと仮定してよい。言い換えると$\vec{f_{i,j}} \parallel \vec{P_iP_j}=(\vec{r_j}-\vec{r_i})$。<br/>

（３）各質点に働く力の合力<br/>
各質点$m_i$に作用する力の総和を$\vec{F}_i$と置くと、<br/>
次の式が成り立つ。<br/>
$\vec 0=\vec{F}_i
=\vec{f}_i+m_{i}g\vec{e_3}
+\sum_{j=0,1,,,N-1,j\neq i}\vec{f_{i,j}},(i=0,1,2)   \quad \quad (3)$<br/>
$\vec 0=\vec{F}_i
=m_{i}g\vec{e_3}
+\sum_{j,j\neq i}\vec{f_{i,j}},(i=3,,,,N-1 )  \quad \quad (4)$<br/>
(4) 仮想仕事の原理<br/>
釣りあっている梃子に無限に小さい力を加え、<br/>
てこを回転軸($x_2$軸)まわりに微小角$\delta \theta$動かす時の<br/>
各質点の外力のなす仕事の総和は零である。<br/>

各質点の変位ベクトルを$\delta \vec{r_i}$とかくと、<br/>
$0=\sum_{i=0}^{N-1}(\vec{f_i}+m_{i}g\vec{e_3})\cdot\delta \vec{r_i}$<br/>
$=\sum_{i=0}^{N-1}
(\vec{f_i}+m_{i}g\vec{e_3})\cdot \left( \delta \theta \vec{e_2}\times \vec{r_i}
\right)$<br/>
$=\delta \theta \sum_{i=0}^{N-1}\vec{e_2}\cdot 
\left(\vec{r_i}\times (\vec{f_i}+m_{i}g\vec{e_3})\right)\qquad \qquad (5)$<br/>

ここで、$\vec{f_i}=0,\quad (i=3,4,,,,N-1)$<br/>
証明；<br/>
各質点に作用する合力$\vec{F_i}$　はすべて零ベクトルなので、<br/>
$0=\sum_{i=0}^{N-1}\vec{F_i}\cdot \delta \vec{r_i}$<br/>
合力を（３）に従って表現すると、<br/>
$=\sum_{i=0}^{N-1}
(\vec{f_i}+m_{i}g\vec{e_3}+\sum_{j\neq i}\vec{f_{i,j}})\cdot\delta \vec{r_i}$<br/>
なので、$\sum_{i=0}^{N-1}\sum_{j\neq i}\vec{f_{i,j}}\cdot\delta \vec{r_i}=0$を示せば,式（５）の最初の等式が示せる。<br/>
$x_2$軸まわりに微小角$\delta \theta$動かす時のてこの点P(位置ベクトル$\vec{OP}=\vec r$)の変位$\quad \delta \vec r$は「1.2.7.2 軸周りの微小回転による変位のベクトル積表示」の命題により、<br/>
$\delta \vec r=\delta \theta \vec{e_2} \times \vec{r}$<br/>
なので、<br/>
$\sum_{i=0}^{N-1}\sum_{j\neq i}\vec{f_{i,j}}\cdot \delta \vec{r_i}
=\sum_{i=0}^{N-1}\sum_{j\neq i}\vec{f_{i,j}}\cdot 
(\delta \theta \vec{e_2} \times \vec{r_i})$<br/>
$=\delta \theta \left(\sum \sum_{i<j}
 \vec{f_{i,j}}\cdot ( \vec{e_2} \times \vec{r_i}) 
+\sum \sum_{i>j}　
\vec{f_{i,j}}\cdot ( \vec{e_2} \times \vec{r_i}) \right)\quad (6)$<br/>
和をとるときに使う変数は、どの変数名を使っても、和は同じになるので、<br/>
上式の括弧(　）内の第2項の変数名$\quad i,\quad j \quad $を
$\quad j ',\quad i ' \quad $に置き換えると、<br/>
$\sum \sum_{i>j}　
\vec{f_{i,j}}\cdot ( \vec{e_2} \times \vec{r_i}) 
=\sum \sum_{j '>i '}　
\vec{f_{j ',i '}}\cdot ( \vec{e_2} \times \vec{r_{j '}}) $<br/>
$=\sum \sum_{i'<j'}　
\vec{f_{j',i'}}\cdot ( \vec{e_2} \times \vec{r_{j'}}) $<br/>
内部力が作用反作用の法則を満たすことから<br/>
$=\sum \sum_{i'<j'}　
(-\vec{f_{i',j'}})\cdot ( \vec{e_2} \times \vec{r_{j'}}) $<br/>
内積とベクトル積のスカラー倍の性質を使って変形すると、<br/>
$=-\sum \sum_{i'<j'}
\vec{f_{i',j'}}\cdot ( \vec{e_2} \times \vec{r_{j'}}) 
=\sum \sum_{i'<j'}
\vec{f_{i',j'}}\cdot \left( \vec{e_2} \times (-\vec{r_{j'}}) \right)
$<br/>
変数 i'、 j' を変数 i、j に変えると<br/>
$=\sum \sum_{i<j}　
\vec{f_{i,j}}\cdot \left( \vec{e_2} \times (-\vec{r_j})\right) $<br/>
故に<br/>
$\sum \sum_{i>j}　
\vec{f_{i,j}}\cdot ( \vec{e_2} \times \vec{r_i})
=\sum \sum_{i<j}　
\vec{f_{i,j}}\cdot  \left( \vec{e_2} \times (-\vec{r_j})\right) $<br/>

この式を式（6）に代入し、内積とベクトル積の性質を使って整頓すると、<br/>
$\sum_{i=0}^{N-1}\sum_{j\neq i}\vec{f_{i,j}}\cdot \delta \vec{r_i}
=\delta \theta \sum \sum_{i<j}
\vec{f_{i,j}}\cdot \left( \vec{e_2} \times (\vec{r_i}-\vec{r_j})\right)$<br/>
ベクトル積の命題７から、<br/>
$=\delta \theta \sum \sum_{i<j}
\vec{e_2} \cdot \left( (\vec{r_i}-\vec{r_j})\times \vec{f_{i,j}}\right)$<br/>
$\vec{f_{i,j}} \parallel (\vec{r_i}-\vec{r_j})$なので<br/>
$(\vec{r_i}-\vec{r_j})\times \vec{f_{i,j}}=0$<br/>
故に、<br/>
$\sum \sum_{i>j}　
\vec{f_{i,j}}\cdot ( \vec{e_2} \times \vec{r_i})=0$<br/>
所望の結果がえられたので、式(5)の最初の等式<br/>
$0=\sum_{i=0}^{N-1}
(\vec{f_i}+m_{i}g\vec{e_3})\cdot\delta \vec{r_i}\quad $が証明できた。<br/>

$\delta \vec{r_i}=\delta \theta \vec{e_2} \times \vec{r_i}$を代入すると<br/>
$0=\sum_{i=0}^{N-1}
(\vec{f_i}+m_{i}g\vec{e_3})\cdot \left( \delta \theta \vec{e_2} \times \vec{r_i} \right)$<br/>
が得られる。<br/>
さらに、内積とベクトル積の性質を使い、変形すると<br/>
$0=\delta \theta \sum_{i=0}^{N-1}
\vec{e_2} \cdot \left(\vec{r_i} \times (\vec{f_i}+m_{i}g\vec{e_3}) \right)$<br/>これで式（５）をすべて示した。仮想仕事の原理の証明終わり。<br/>
(注1）ここまでの議論は、梃子の形状や各質点に働く外力$\vec{f_i}=0,\quad (i=3,4,,,N-1)$という仮定は、全く使用していない。<br/>
従ってこの命題は任意の剛体で成り立つ。<br/>
(注２）静止している剛体では、$\sum_{i=0}^{N-1}(\vec{r_i} \times (\vec{f_i}+m_{i}g\vec{e_3})=0$であることが、仮想仕事の原理を使わず、直接証明できる。後述する。
<br/>

(5)てこの原理 の証明<br/>

仮想仕事の原理から<br/>
$0=\sum_{i=0}^{N-1}\vec{e_2}\cdot 
\left(\vec{r_i}\times (\vec{f_i}+m_{i}g\vec{e_3})\right)$<br/>
内積とベクトル積の性質を利用して<br/>
$=\sum_{i=0}^{N-1}\vec{e_2}\cdot (\vec{r_i}\times \vec{f_i})
+\sum_{i=0}^{N-1}\vec{e_2}\cdot (\vec{r_i}\times m_{i}g\vec{e_3})$<br/>
この式に$\vec{r_0}=\vec 0,\vec{f_i}=\vec 0(i=3,4,,,N-1)$を
代入し変形すると<br/>
$=\sum_{i=1}^{2}\vec{e_2}\cdot (\vec{r_i}\times \vec{f_i})
+\sum_{i=0}^{N-1}\vec{e_2}\cdot (\vec{r_i}\times m_{i}g\vec{e_3})$
故に、
$0=\sum_{i=1}^{2}\vec{e_2}\cdot (\vec{r_i}\times \vec{f_i})
+\sum_{i=0}^{N-1}\vec{e_2}\cdot (gm_{i}\vec{r_i}\times \vec{e_3}) \qquad (7)$
<br/>
上式の第２項を、ベクトル積の性質７を用いて変形すると、<br/>
$\sum_{i=0}^{N-1}\vec{e_2}\cdot (gm_{i}\vec{r_i}\times \vec{e_3})
=\sum_{i=0}^{N-1}\left(gm_{i}\vec{r_i}\cdot (\vec{e_3}\times \vec{e_2})\right)$<br/>
$=-\sum_{i=0}^{N-1}(gm_{i}\vec{r_i}\cdot \vec{e_1})
=-g(\sum_{i=0}^{N-1}m_{i}\vec{r_i})\cdot \vec{e_1}$<br/>
これを式（７）も右辺に代入すると
$0=\sum_{i=1}^{2}\vec{e_2}\cdot (\vec{r_i}\times \vec{f_i})
-g(\sum_{i=0}^{N-1}m_{i}\vec{r_i})\cdot \vec{e_1} \qquad \qquad (8)$<br/>
上式の第２項の和 $\sum_{i=0}^{N-1}m_{i}\vec{r_i}$ を、<br/>
支点からみて、<br/>
$P_1$側の質点についての和$\sum_{i,\vec{r_i})_1<o}$と、<br/>
$P_2$側の質点についての和$\sum_{i, (\vec{r_i})_1>o}$と
真上にある質点についての和　$\sum_{i, (\vec{r_i})_1=o}$　に分ける。<br/>
すると、<br/>
$\sum_{i=0}^{N-1}m_{i}\vec{r_i}
=\sum_{i, (\vec{r_i})_1<o}m_{i}\vec{r_i}
+\sum_{i, (\vec{r_i})_1>o}m_{i}\vec{r_i}
+\sum_{i, (\vec{r_i})_1=o}m_{i}\vec{r_i}$<br/>
この右辺の第１項は、支点からみて梃子の$P_1$側の部分の質量$M_{-}$と<br/>
その部分の重心
$\vec{R_{-}}:=\frac{\sum_{i,(\vec{r_i})_1<o}m_{i}\vec{r_i}}{M_{-}}$を用いて<br/>
$\sum_{i,(\vec{r_i})_1<o}m_{i}\vec{r_i}=M_{-}\vec{R_{-}}$<br/>
同様に、第２項は、支点からみて梃子の$P_2$側の部分の質量$M_{+}$と<br/>
その部分の重心$\vec{R_{+}}$　を用いて、<br/>
$\sum_{i,(\vec{r_i})_1>o}m_{i}\vec{r_i}=M_{+}\vec{R_{+}}$<br/>
となる。梃子の真上の部分の質量は無視できるので、第3項は０としてよい。<br/>
故に<br/>
$\sum_{i=0}^{N-1}m_{i}\vec{r_i}=M_{-}\vec{R_{-}}+M_{+}\vec{R_{+}}$<br/>
この式を式（８）に代入すると、<br/>
$0=\sum_{i=1}^{2}\vec{e_2}\cdot (\vec{r_i}\times \vec{f_i})
-g(M_{-}\vec{R_{-}}+M_{+}\vec{R_{+}})\cdot \vec{e_1} $<br/>
$P_2$　側の部分を左辺に移行すると、
$-\vec{e_2}\cdot (\vec{r_2}\times \vec{f_2})+gM_{+}\vec{R_{+}}\cdot \vec{e_1}
=\vec{e_2}\cdot (\vec{r_1}\times \vec{f_1})-gM_{-}\vec{R_{-}}\cdot \vec{e_1} 
\quad  (9)$
<br/>
これまでは<br/>
天秤の棒の条件（太さは無視でき、単位長さ当たりの質量は一定で$\rho$）<br/>
を使わず議論してきたが、ここでこの条件を使う。<br/>
すると、<br/>
$\vec{r_1}=(-l_1,0,0),\quad \vec{r_2}=(l_2,0,0)$<br/>
$M_1=\rho l_1,\quad \vec{R_{-}}=(-\frac{l_1}{2},0.0)$<br/>
$M_2=\rho l_2,\quad \vec{R_{+}}=(\frac{l_2}{2},0.0)$<br/>
ここで均質な棒の重心はその中点になる事実を用いた。<br/>
これらを式（９）に代入して、ベクトル積と内積の計算を実行すると、<br/>
$l_2 (\vec{f_2})_3+\frac{l_2}{2}l_2\rho g =
l_1 (\vec{f_1})_3+\frac{l_1}{2}l_1\rho g$    <br/>
を得る。<br/>
梃子の原理の証明終わり。

=== 剛体の釣り合い ===
剛体は、静止しているか、等速度で並進運動しているとき、釣り合っているという。<br/>
剛体を膨大な数の質点$m_i, (i=1,2,,,,N)$が、強固に結合した質点系と考えると、<br/>釣り合い条件とは、<br/>
すべての質点が静止しているか、すべての質点が同じ速度で直線運動していることを意味する。<br/>
この時次の命題が成立する。<br/>
'''命題  剛体の釣り合いの必要条件'''<br/>
剛体がつりあっているならば、剛体に作用するすべての外力のベクトル和は零で、<br/>
剛体に作用するすべての外力の、任意の点の周りの力のモーメントは零である。<br/>
この条件を式で書こう。<br/>
剛体を質点系$\{m_i\}_{i=1}^{n} $とみなし、<br/>
各質点$m_i$の位置ベクトルを$\vec{r_i}$、<br/>
それに作用する外力の合力を$\vec{f_i}$とすると、<br/>
$\sum_{i=1}^{n}\vec{f_i}=\vec 0　　　\qquad \qquad (10)$<br/>
$\vec N:=\sum_{i=1}^{n}\vec{r_i} \times \vec{f_i}=\vec 0\qquad \qquad (11)$<br/>
証明<br/>
剛体の各質点は静止(あるいは全てが等速直線運動）しているので、<br/>
各質点$m_i$に作用する力の合力$\vec{F_i}$は零でなければならない。<br/>
式（１０）を示そう。<br/>
$\vec 0=\sum_{i=1}^{n}\vec{F_i}$<br/>
$\vec{F_i}=\vec{f_i}+\sum_{j, j\neq i}\vec{f_{i,j}}$を代入すると、<br/>
$=\sum_{i=1}^{n}\vec{f_i} + \sum_{i=1}^{n}\sum_{j, j\neq i}\vec{f_{i,j}}$<br/>
$=\sum_{i=1}^{n}\vec{f_i} + \sum \sum_{i<j}(\vec{f_{i,j}}+\vec{f_{j,i}})$<br/>
作用・反作用の法則により$\vec{f_{i,j}}+\vec{f_{j,i}}=\vec 0$なので、<br/>
$=\sum_{i=1}^{n}\vec{f_i}$<br/>
式（１０）が証明できた。<br/>
式（１１）をしめそう。<br/>
$\vec{F_i}=\vec{f_i}+\sum_{j, j\neq i}\vec{f_{i,j}}=\vec 0$<br/>
すると、<br/>
$\sum_{i=1}^{n}\vec{r_i}\times \vec{F_i}=\vec 0$<br/>
$\vec{F_i}=\vec{f_i}+\sum_{j, j\neq i}\vec{f_{i,j}}$を代入して、ベクトル積の性質を使うと、<br/>
$\vec 0=\sum_{i=1}^{n}\vec{r_i}\times \vec{f_i} 
+\sum_{i=1}^{n}\vec{r_i}\times \vec{f_{i,j}}$<br/>
$=\vec N + \sum_{i=1}^{n}\vec{r_i}\times \vec{f_{i,j}}$<br/>
この式の第2項が零であれば、$\vec N =\vec 0$ が証明される。<br/>
すでに前節で示したように、<br/>
$\sum_{i=1}^{n}\vec{r_i}\times \vec{f_{i,j}}
=(\sum \sum_{i<j}+\sum \sum_{i>j})\vec{r_i}\times \vec{f_{i,j}}$<br/>
$=\sum \sum_{i<j}\vec{r_i}\times \vec{f_{i,j}}
+\sum \sum_{i<j}\vec{r_j}\times \vec{f_{j,i}}$<br/>
$\vec{f_{j,i}}=-\vec{f_{i,j}}$を第２項に代入すると、<br/>
$=\sum \sum_{i<j}\vec{r_i}\times \vec{f_{i,j}}
-\sum \sum_{i<j}\vec{r_j}\times \vec{f_{i,j}}
=\sum \sum_{i<j}(\vec{r_i}-\vec{r_j})\times \vec{f_{i,j}}$<br/>
$(\vec{r_i}-\vec{r_j}) \parallel \vec{f_{i,j}}$なので、ベクトル積の性質から、<br/>
$=\vec 0$<br/>
故に$\sum_{i=1}^{n}\vec{r_i}\times \vec{f_{i,j}}=\vec 0$　が示せた。<br/>
命題の証明終わり。<br/>
次節(2.6 剛体の回転運動と釣合い）で、この命題の逆も正しいことを示す。<br/>
'''命題の系'''<br/>
命題において、質点$m_i$に作用する外力が、重力とその他の力の和<br/>
$\vec{f_i}=m_{i}\vec g+\vec{F_i}$で表せるとき<br/>
剛体の釣合の条件は<br/>
$\sum_{i=1}^{n}\vec{F_i}=-M\vec g$、<br/>
$\sum_{i=1}^{n}\vec{r_i}\times \vec{F_i}=-\vec{R}\times M\vec{g}$<br/>
である。<br/>
証明は簡単なので省略する。