Parallelogram of force

From KYNNpedia

The parallelogram of forces is a method for solving (or visualizing) the results of applying two forces to an object.

Figure 1: Parallelogram construction for adding vectors

When more than two forces are involved, the geometry is no longer parallelogrammatic, but the same principles apply. Forces, being vectors are observed to obey the laws of vector addition, and so the overall (resultant) force due to the application of a number of forces can be found geometrically by drawing vector arrows for each force. For example, see Figure 1. This construction has the same result as moving F2 so its tail coincides with the head of F1, and taking the net force as the vector joining the tail of F1 to the head of F2. This procedure can be repeated to add F3 to the resultant F1 + F2, and so forth. Alternatively, a polygon of forces can be used.

Newton's proof

Figure 2: Parallelogram of velocity

Preliminary: the parallelogram of velocity

Suppose a particle moves at a uniform rate along a line from A to B (Figure 2) in a given time (say, one second), while in the same time, the line AB moves uniformly from its position at AB to a position at DC, remaining parallel to its original orientation throughout. Accounting for both motions, the particle traces the line AC. Because a displacement in a given time is a measure of velocity, the length of AB is a measure of the particle's velocity along AB, the length of AD is a measure of the line's velocity along AD, and the length of AC is a measure of the particle's velocity along AC. The particle's motion is the same as if it had moved with a single velocity along AC.<ref> Routh, Edward John (1896). A Treatise on Analytical Statics. Cambridge University Press. p. 6., at Google books</ref>

Newton's proof of the parallelogram of force

Suppose two forces act on a particle at the origin (the "tails" of the vectors) of Figure 1. Let the lengths of the vectors F1 and F2 represent the velocities the two forces could produce in the particle by acting for a given time, and let the direction of each represent the direction in which they act. Each force acts independently and will produce its particular velocity whether the other force acts or not. At the end of the given time, the particle has both velocities. By the above proof, they are equivalent to a single velocity, Fnet. By Newton's second law, this vector is also a measure of the force which would produce that velocity, thus the two forces are equivalent to a single force.<ref> Routh (1896), p. 14</ref>

Using a parallelogram to add the forces acting on a particle on a smooth slope. We find, as we'd expect, that the resultant (double headed arrow) force acts down the slope, which will cause the particle to accelerate in that direction.

Bernoulli's proof for perpendicular vectors

We model forces as Euclidean vectors or members of <math> \mathbb{R}^2 </math>. Our first assumption is that the resultant of two forces is in fact another force, so that for any two forces <math> \mathbf{F}, \mathbf{G} \in \mathbb{R}^2 </math> there is another force <math> \mathbf{F} \oplus \mathbf{G} \in \mathbb{R}^2 </math>. Our final assumption is that the resultant of two forces doesn't change when rotated. If <math> R: \mathbb{R}^2\to \mathbb{R}^2</math> is any rotation (any orthogonal map for the usual vector space structure of <math> \mathbb{R}^2 </math> with <math> \det R = 1</math>), then for all forces <math> \mathbf{F}, \mathbf{G}\in \mathbb{R}^2 </math>

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

Consider two perpendicular forces <math> \mathbf{F}_1 </math> of length <math> a </math> and <math> \mathbf{F}_2 </math> of length <math> b </math>, with <math> x </math> being the length of <math> \mathbf{F}_1 \oplus \mathbf{F}_2 </math>. Let <math> \mathbf{G}_1 := \tfrac{a^2}{x^2} \left( \mathbf{F}_1\oplus \mathbf{F}_2 \right)</math> and <math> \mathbf{G}_2 := \tfrac{a}{x} R(\mathbf{F}_2)</math>, where <math> R </math> is the rotation between <math> \mathbf{F}_1 </math> and <math> \mathbf{F}_1 \oplus \mathbf{F}_2 </math>, so <math>\mathbf{G_1} = \tfrac{a}{x} R \left(\mathbf{F}_1 \right) </math>. Under the invariance of the rotation, we get

<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>

Similarly, consider two more forces <math> \mathbf{H}_1 := -\mathbf{G}_2</math> and <math> \mathbf{H}_2 := \tfrac{b^2}{x^2} \left( \mathbf{F}_1 \oplus \mathbf{F}_2 \right) </math>. Let <math> T </math> be the rotation from <math> \mathbf{F}_1 </math> to <math> \mathbf{H}_1 </math>: <math> \mathbf{H}_1 = \tfrac{b}{x} T\left(\mathbf{F}_1\right) </math>, which by inspection makes <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>

Applying these two equations

<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>

Since <math> \mathbf{G}_1 </math> and <math> \mathbf{H}_2 </math> both lie along <math> \mathbf{F}_1 \oplus \mathbf{F}_2 </math>, their lengths are equal <math> x= \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>

which implies that <math> \mathbf{F}_1 \oplus \mathbf{F}_2 = a \mathbf{e}_1 \oplus b \mathbf{e}_2 </math> has length <math> \sqrt{a^2+b^2} </math>, which is the length of <math> a \mathbf{e}_1 + b \mathbf{e}_2 </math>. Thus for the case where <math> \mathbf{F}_1 </math> and <math> \mathbf{F}_2 </math> are perpendicular, <math> \mathbf{F}_1 \oplus \mathbf{F}_2 = \mathbf{F}_1 + \mathbf{F}_2 </math>. However, when combining our two sets of auxiliary forces we used the associativity of <math> \oplus </math>. Using this additional assumption, we will form an additional proof below.<ref name="Spivak"> Spivak, Michael (2010). Mechanics I. Physics for Mathematicians. Publish or Perish, Inc. pp. 278–282. ISBN 978-0-914098-32-4. </ref> <ref> Bernoulli, Daniel (1728). Examen principiorum mechanicae et demonstrationes geometricae de compositione et resolutione virium. </ref>

Algebraic proof of the parallelogram of force

We model forces as Euclidean vectors or members of <math> \mathbb{R}^2 </math>. Our first assumption is that the resultant of two forces is in fact another force, so that for any two forces <math> \mathbf{F}, \mathbf{G} \in \mathbb{R}^2 </math> there is another force <math> \mathbf{F} \oplus \mathbf{G} \in \mathbb{R}^2 </math>. 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>.

Consider the map <math display="block> (a,b) = a \mathbf{e}_1 + b \mathbf{e}_2 \mapsto a \mathbf{e}_1 \oplus b \mathbf{e}_2</math>

If <math> \oplus </math> is associative, then this map will be linear. Since it also sends <math> \mathbf{e}_1 </math> to <math> \mathbf{e}_1 </math> and <math> \mathbf{e}_2 </math> to <math> \mathbf{e}_2 </math>, it must also be the identity map. Thus <math> \oplus </math> must be equivalent to the normal vector addition operator.<ref name="Spivak"/><ref> Mach, Ernest (1974). The Science of Mechanics. Open Court Publishing Co. pp. 55–57. </ref>

Controversy

The mathematical proof of the parallelogram of force is not generally accepted to be mathematically valid. Various proofs were developed (chiefly Duchayla's and Poisson's), and these also caused objections. That the parallelogram of force was true was not questioned, but why it was true. Today the parallelogram of force is accepted as an empirical fact, non-reducible to Newton's first principles. <ref name="Spivak"/> <ref> Lange, Marc (2009). "A Tale of Two Vectors" (PDF). Dialectica, 63. pp. 397–431.</ref>

See also

References

<references group="" responsive="1"></references>