Sylvester's triangle problem

Sylvester's theorem or Sylvester's formula describes a particular interpretation of the sum of three pairwise distinct

Consider three pairwise distinct vectors of equal length ${\displaystyle {\vec {u}}}$, ${\displaystyle {\vec {v}}}$ and ${\displaystyle {\vec {w}}}$ each of them acting on the same point ${\displaystyle O}$ thus creating the points ${\displaystyle A}$, ${\displaystyle B}$ and ${\displaystyle C}$. Those points form the triangle ${\displaystyle \triangle ABC}$ with ${\displaystyle O}$ as the center of its circumcircle. Now let ${\displaystyle H}$ denote the

${\displaystyle {\overrightarrow {OH}}}$

${\displaystyle {\overrightarrow {OH}}={\vec {u}}+{\vec {v}}+{\vec {w}}}$

Furthermore, since the points ${\displaystyle O}$ and ${\displaystyle H}$ are located on the Euler line together with the centroid ${\displaystyle S}$ the following equation holds:^[3]

${\displaystyle {\overrightarrow {OH}}=3\cdot {\overrightarrow {OS}}}$

Generalisation

If the condition of equal length in Sylvester's theorem is dropped and one considers merely three arbitrary pairwise distinct vectors, then the equation above does not hold anymore. However the relation with the centroid remains true, that is:^[3]

${\displaystyle 3\cdot {\overrightarrow {OS}}={\vec {u}}+{\vec {v}}+{\vec {w}}}$

This follows directly from the definition of the centroid for a finite set of points in ${\displaystyle \mathbb {R} ^{n}}$, which also yields a version for ${\displaystyle n}$ vectors acting on ${\displaystyle O}$:^[3]

${\displaystyle n\cdot {\overrightarrow {OS}}=\sum _{i=1}^{n}v_{i}}$

Here ${\displaystyle S}$ is the centroid of the vertices of the polygon generated by the ${\displaystyle n}$ vectors acting on ${\displaystyle O}$.^[4]

References