# Parallelogram of force

The parallelogram of forces is a method for solving (or visualizing) the results of applying two forces to an object. When more than two forces are involved, the geometry is no longer a parallelogram, but the same principles apply to a polygon of forces.
The resultant force due to the application of a number of forces can be found geometrically by drawing arrows for each force. The parallelogram of forces is a graphical manifestation of the addition of vectors.

## Newton's proof
### 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.

### 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 F$_1$ and F$_2$ 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, F$_{net}$. 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.

## Bernoulli's proof for perpendicular vectors

We model forces as Euclidean vectors or members of $\mathbb {R} ^{2}$. Our first assumption is that the resultant of two forces is in fact another force, so that for any two forces $\mathbf {F} ,\mathbf {G} \in \mathbb {R} ^{2}$ there is another force $\mathbf {F} \oplus \mathbf {G} \in \mathbb {R} ^{2}$.
Our final assumption is that the resultant of two forces doesn't change when rotated. If $R:\mathbb {R} ^{2}\to \mathbb {R} ^{2}$ is any rotation (any orthogonal map for the usual vector space structure of $\mathbb {R} ^{2}$ with $\det R=1$), then for all forces $\mathbf {F} ,\mathbf {G} \in \mathbb {R} ^{2}$
$R\left(\mathbf {F} \oplus \mathbf {G} \right)=R\left(\mathbf {F} \right)\oplus R\left(\mathbf {G} \right)$
Consider two perpendicular forces $\mathbf {F} _{1}$ of length $a$ and $\mathbf {F} _{2}$ of length $b$, with $x$ being the length of $\mathbf {F} _{1}\oplus \mathbf {F} _{2}$. Let $\mathbf {G} _{1}:={\tfrac {a^{2}}{x^{2}}}\left(\mathbf {F} _{1}\oplus \mathbf {F} _{2}\right)$ and $\mathbf {G} _{2}:={\tfrac {a}{x}}R(\mathbf {F} _{2})$, where $R$ is the rotation between $\mathbf {F} _{1}$ and $\mathbf {F} _{1}\oplus \mathbf {F} _{2}$, so $\mathbf {G_{1}} ={\tfrac {a}{x}}R\left(\mathbf {F} _{1}\right)$. Under the invariance of the rotation, we get
$\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}$
Similarly, consider two more forces $\mathbf {H} _{1}:=-\mathbf {G} _{2}$ and $\mathbf {H} _{2}:={\tfrac {b^{2}}{x^{2}}}\left(\mathbf {F} _{1}\oplus \mathbf {F} _{2}\right)$. Let $T$ be the rotation from $\mathbf {F} _{1}$ to $\mathbf {H} _{1}$: $\mathbf {H} _{1}={\tfrac {b}{x}}T\left(\mathbf {F} _{1}\right)$, which by inspection makes $\mathbf {H} _{2}={\tfrac {b}{x}}T\left(\mathbf {F} _{2}\right)$.
$\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}}$
Applying these two equations
$\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}$
Since $\mathbf {G} _{1}$ and $\mathbf {H} _{2}$ both lie along $\mathbf {F} _{1}\oplus \mathbf {F} _{2}$, their lengths are equal $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}}$
$x={\sqrt {a^{2}+b^{2}}}$
which implies that $\mathbf {F} _{1}\oplus \mathbf {F} _{2}=a\mathbf {e} _{1}\oplus b\mathbf {e} _{2}$ has length ${\sqrt {a^{2}+b^{2}}}$, which is the length of $a\mathbf {e} _{1}+b\mathbf {e} _{2}$. Thus for the case where $\mathbf {F} _{1}$ and $\mathbf {F} _{2}$ are perpendicular, $\mathbf {F} _{1}\oplus \mathbf {F} _{2}=\mathbf {F} _{1}+\mathbf {F} _{2}$. However, when combining our two sets of auxiliary forces we used the associativity of $\oplus$. Using this additional assumption, we will form an additional proof below.

## Algebraic proof of the parallelogram of force

We model forces as Euclidean vectors or members of $\mathbb {R} ^{2}$. Our first assumption is that the resultant of two forces is in fact another force, so that for any two forces $\mathbf {F} ,\mathbf {G} \in \mathbb {R} ^{2}$ there is another force $\mathbf {F} \oplus \mathbf {G} \in \mathbb {R} ^{2}$. We assume commutativity, as these are forces being applied concurrently, so the order shouldn't matter $\mathbf {F} \oplus \mathbf {G} =\mathbf {G} \oplus \mathbf {F}$.
Consider the map $(a,b)=a\mathbf {e} _{1}+b\mathbf {e} _{2}\mapsto a\mathbf {e} _{1}\oplus b\mathbf {e} _{2}$
If $\oplus$ is associative, then this map will be linear. Since it also sends $\mathbf {e} _{1}$ to $\mathbf {e} _{1}$ and $\mathbf {e} _{2}$ to $\mathbf {e} _{2}$, it must also be the identity map. Thus $\oplus$ must be equivalent to the normal vector addition operator.

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