力の平行四辺形のソースを表示

{{翻訳直後|1=[https://en.wikipedia.org/w/index.php?title=Parallelogram_of_force&oldid=945313809 英語版"Parallelogram of force" 04:17, 13 Mar 2020 (UTC)]|date=2020年4月}}
[[Image:Vector parallelogram.PNG|thumb|200px|{{anchors|図1}}図1: 力を表す（平行でない）ベクトルの組による平行四辺形の作図。対角線が合力を表す。]]

'''力の平行四辺形'''（ちからのへいこうしへんけい、{{lang-en-short|parallelogram of force}}）は、[[物体]]に2つの[[力 (物理学)|力]]の[[加法]]によって得られる[[平行四辺形]]である。力の平行四辺形は、2つの力の合力を図示するためにしばしば用いられる。

2つより多くの力のなす図形はもはや平行四辺形ではなくなるが、それらの合力がなす図として同様に平行四辺形を作図できる。例えば、[[#図1|図1]]では、{{math|'''F'''<sub>2</sub>}} の始点が {{math|'''F'''<sub>1</sub>}} の終点と一致するように {{math|'''F'''<sub>2</sub>}} を移動させるのと、{{math|'''F'''<sub>1</sub>}} の始点と {{math|'''F'''<sub>2</sub>}} の終点を結ぶベクトルを正味の力とするのとでは同じ結果になる。3つのベクトル {{math2|'''F'''<sub>1</sub>, '''F'''<sub>2</sub>, '''G'''}} の合力の場合も同様に、{{math|1='''F'''<sub>net</sub> = '''F'''<sub>1</sub> + '''F'''<sub>2</sub>}} と {{math|'''G'''}} のなす平行四辺形として作図できる（結果は和の順序に依存しない）。

== ニュートンの証明 ==
[[File:Parallelogram CDA eq BAC.svg|thumb|図2: 速度の平行四辺形]]

=== 準備: 速度の平行四辺形 ===
与えられた時間（例えば1[[秒]]）で[[粒子]]がAからBへの線（図2）に沿って一定の速度で移動し、同時に線ABがABの位置からDCの位置に一様に移動し、終始元の方向と平行なままであるとする。両方の運動を考慮すると、粒子は線ACをたどる。与えられた時間内の変位は[[速度]]の尺度なので、ABの長さはABに沿った粒子の速度の尺度であり、ADの長さはADに沿った線の速度の尺度であり、ACの長さはACに沿った粒子の速度の尺度である。粒子の運動はACに沿って単一の速度で移動した場合と同じである<ref>
{{cite book
|url=https://archive.org/details/atreatiseonanal00routgoog
|title=A Treatise on Analytical Statics
|first=Edward John
|last=Routh
|year=1896
|publisher=Cambridge University Press
|page=[https://archive.org/details/atreatiseonanal00routgoog/page/n22 6]}}, at [https://books.google.com/books Google books]</ref>。

=== 力の平行四辺形のニュートンの証明 ===
図1の原点（[[空間ベクトル|ベクトル]]の「尾」）にある[[粒子]]に2つの[[力 (物理学)|力]]が作用したとする。ベクトル'''F'''<sub>1</sub>と'''F'''<sub>2</sub>の長さは2つの力がある時間作用することにより粒子に生じる速度を表し、それぞれの方向はそれが作用する方向を表している。それぞれの力は独立に作用し、他の力が作用するかしないかにかかわらず特定の速度を作り出す。与えられた時間の終わりでは、粒子は両方の速度を持っている。上記の証明により、これは1つの速度'''F'''<sub>net</sub>と等価である。[[ニュートン力学|ニュートンの第2法則]]により、このベクトルはその速度を生み出す力の尺度でもあり、したがって、2つの力は1つの力と等価である<ref>
Routh (1896), p. 14</ref>。

[[Image:Parallelogram of forces - ball on slope.pdf|thumb|平行四辺形を用いてなめらかな斜面上の粒子に作用する力を加える。予想通り、結果として生じる力（頭が2つの矢印）が斜面の下向きに作用し、粒子がその方向に加速することが分かる。]]

== 垂直なベクトルに対するベルヌーイの証明 ==
<!--A version of the proof provided in Spivak attributed to Bernoulli-->
<!--TODO: This section could use nice graphics -->

力をユークリッドベクトルもしくは<math> \mathbb{R}^2 </math>の要素としてモデル化する。最初の仮定は2つの力の合力が実際には別の力であるというものである。すなわち、任意の2つの力<math> \mathbf{F}, \mathbf{G} \in \mathbb{R}^2 </math>に対して、<math> \mathbf{F} \oplus \mathbf{G} \in \mathbb{R}^2 </math>が存在する。
<!-- Delete comment tags if used.
We assume commutativity, as these are forces being applied concurrently, so the order shouldn't matter <math> \mathbf{F} \oplus \mathbf{G} = \mathbf{G} \oplus \mathbf{F}  </math>.
-->
最後の仮定は2つの力の合力が回転しても変化しないことである。<math> R: \mathbb{R}^2\to \mathbb{R}^2</math>を任意の回転（<math> \det R = 1</math>である<math> \mathbb{R}^2 </math>の通常のベクトル空間構造の任意の直交写像）とすると、任意の力<math> \mathbf{F}, \mathbf{G}\in \mathbb{R}^2 </math>に対し<math>R</math>は

<math display="block"> R \left( \mathbf{F} \oplus \mathbf{G} \right) = R \left(\mathbf{F} \right) \oplus R \left(\mathbf{G} \right) </math>

を満たす。2つの力<math> \mathbf{F}_1 </math>と<math> \mathbf{F}_2 </math>は垂直で、<math> \mathbf{F}_1 </math>の長さを<math> a </math>、<math> \mathbf{F}_2 </math>の長さを<math> b </math>、および<math> \mathbf{F}_1 \oplus \mathbf{F}_2 </math>の長さを<math> x </math>と仮定する。
<math> \mathbf{G}_1 := \tfrac{a^2}{x^2} \left( \mathbf{F}_1\oplus \mathbf{F}_2 \right)</math>および<math> \mathbf{G}_2 := \tfrac{a}{x} R(\mathbf{F}_2)</math>として、<math> R </math>を<math> \mathbf{F}_1 </math>と<math> \mathbf{F}_1 \oplus \mathbf{F}_2 </math>の間の回転とすると<math>\mathbf{G_1} = \tfrac{a}{x} R \left(\mathbf{F}_1 \right) </math>である。回転が不変の下では

<math display="block">\mathbf{F}_1=\frac{x}{a}R^{-1} \left(\mathbf{G}_1 \right) = \frac{a}{x}R^{-1} \left(\mathbf{F}_1\oplus\mathbf{F}_2 \right)=\frac{a}{x}R^{-1} \left(\mathbf{F}_1 \right)\oplus\frac{a}{x}R^{-1} \left(\mathbf{F}_2 \right)=\mathbf{G}_1 \oplus \mathbf{G}_2  </math>

を得る。同様に、さらに2つの力<math> \mathbf{H}_1 := -\mathbf{G}_2,\quad \mathbf{H}_2 := \tfrac{b^2}{x^2} \left( \mathbf{F}_1 \oplus \mathbf{F}_2 \right) </math>を考える。<math> T </math>を<math> \mathbf{F}_1 </math>から<math> \mathbf{H}_1 </math>への回転とすると<math> \mathbf{H}_1 = \tfrac{b}{x} T\left(\mathbf{F}_1\right) </math>であり、これにより<math> \mathbf{H}_2 =\tfrac{b}{x} T\left(\mathbf{F}_2\right) </math>となる。

<math display="block"> \mathbf{F}_2 = \frac{x}{b}T^{-1}\left(\mathbf{H}_2\right) = \frac{b}{x}T^{-1}\left(\mathbf{F}_1\oplus\mathbf{F}_2\right)=\frac{b}{x}T^{-1}\left(\mathbf{F}_1\right)\oplus\frac{b}{x}T^{-1}\left(\mathbf{F}_2\right)=\mathbf{H}_1\oplus\mathbf{H_2}</math>

これら2つの方程式より

<math display="block"> \mathbf{F}_1\oplus \mathbf{F}_2 = \left(\mathbf{G}_1 \oplus \mathbf{G}_2 \right) \oplus \left(\mathbf{H}_1\oplus \mathbf{H_2} \right) = \left(\mathbf{G}_1 \oplus \mathbf{G}_2 \right) \oplus \left(-\mathbf{G}_2\oplus \mathbf{H}_2 \right) = \mathbf{G}_1 \oplus \mathbf{H}_2</math>

を得る。<math> \mathbf{G}_1 </math>と<math> \mathbf{H}_2 </math>はどちらも<math> \mathbf{F}_1 \oplus \mathbf{F}_2 </math>に沿っているため、長さ<math> x</math>は<math>\left|\mathbf{F}_1 \oplus \mathbf{F}_2 \right| = \left|\mathbf{G}_1 \oplus \mathbf{H}_2 \right|= \tfrac{a^2}{x}+\tfrac{b^2}{x} </math>に等しく、

<math display="block"> x = \sqrt{a^2+b^2} </math>

である。このことは<math> \mathbf{F}_1 \oplus \mathbf{F}_2 = a \mathbf{e}_1 \oplus b \mathbf{e}_2 </math>が長さ<math> \sqrt{a^2+b^2} </math>を持ち、これは<math> a \mathbf{e}_1 + b \mathbf{e}_2 </math>の長さであることを示している。したがって、<math> \mathbf{F}_1 </math>と<math> \mathbf{F}_2 </math>が垂直である場合、<math> \mathbf{F}_1 \oplus \mathbf{F}_2 = \mathbf{F}_1 + \mathbf{F}_2 </math>である。ここで、2つの補助の力を組み合わせるとき、<math> \oplus </math>の[[結合法則|結合性]]を用いた。以下の証明にもこの追加の仮定を使用する<ref name="Spivak">
{{cite book
 | last = Spivak
 | first = Michael
 | author-link = Michael Spivak
 | title = Mechanics I
 | publisher = Publish or Perish, Inc.
 | series = Physics for Mathematicians
 | date = 2010
 | pages= 278–282
 | isbn = 0-914098-32-2}}
</ref>
<ref>
{{cite book
  | title=Examen principiorum mechanicae et demonstrationes geometricae de compositione et resolutione virium
  | last = Bernoulli
  | first = Daniel
  | date = 1728
  | author-link = ダニエル・ベルヌーイ
}}
</ref>。

==力の平行四辺形の代数的証明==
力をユークリッドベクトルもしくは<math> \mathbb{R}^2 </math>の要素としてモデル化する。最初の仮定は2つの力の合力が実際には別の力であるというものである。そのため、2つの力<math> \mathbf{F}, \mathbf{G} \in \mathbb{R}^2 </math>には、別の力<math> \mathbf{F} \oplus \mathbf{G} \in \mathbb{R}^2 </math>が存在する。可換性を仮定する。これらは同時に加えられる力なので、順序は重要ではなく、<math> \mathbf{F} \oplus \mathbf{G} = \mathbf{G} \oplus \mathbf{F}  </math>である。

写像
<math display="block> (a,b) = a \mathbf{e}_1 + b \mathbf{e}_2 \mapsto a \mathbf{e}_1 \oplus b \mathbf{e}_2</math>
を考える。
<math> \oplus </math>が結合的であるならば、この写像は線形である。<math> \mathbf{e}_1 </math>を<math> \mathbf{e}_1 </math>に、<math> \mathbf{e}_2 </math>を<math> \mathbf{e}_2 </math>に写すため、恒等写像である必要もある。よって<math> \oplus </math>は通常のベクトル加算演算子と同等でなければならない<ref name="Spivak"/><ref>
{{cite book |last=Mach |first=Ernest |date=1974 |title=The Science of Mechanics |publisher=Open Court Publishing Co. |author-link=エルンスト・マッハ  | pages= 55–57}}
</ref>。

==論争==
力の平行四辺形の数学的証明は、数学的に妥当であると一般に認められていない。さまざまな証明が開発され（主にDuchaylaと[[シメオン・ドニ・ポアソン|ポアソン]]のもの）、これらも反論を引き起こした。力の平行四辺形が真実であるかどうかは疑問視されなかったが、なぜ真実であったのであろうか。今日、力の平行四辺形は経験的事実として受け入れられており、ニュートンの第1原理に還元することはできない<ref name="Spivak"/><ref>
{{cite web
|url=http://philosophy.unc.edu/files/2013/10/tale-of-two-vectors-published.pdf
|title=A Tale of Two Vectors
|first=Marc
|last=Lange
|year=2009
|work=Dialectica, 63
|pages=397–431
|accessdate=2020-04
}}</ref>。

== 脚注 ==
{{Reflist}}

==関連項目==
*[[s:The Mathematical Principles of Natural Philosophy (1729)/Axioms, or Laws of Motion|Newton's ''Mathematical Principles of Natural Philosophy'', Axioms or Laws of Motion, Corollary I]], at [[s:Main Page|Wikisource]]
*[[空間ベクトル]]
*[[合力]]

{{DEFAULTSORT:ちからのへいこうしへんけい}}
[[Category:力 (自然科学)]]
[[Category:ベクトル解析]]