User:Christopherlumb/Sandbox

$\int _{0}^{30}{\mathcal {L}}(t)dt$

An equivalent proof for Rⁿ starts with the summation below.

Expanding the brackets we have:

$\sum _{i=1}^{n}\sum _{j=1}^{n}\left(x_{i}y_{j}-x_{j}y_{i}\right)^{2}=\sum _{i=1}^{n}x_{i}^{2}\sum _{j=1}^{n}y_{j}^{2}+\sum _{j=1}^{n}x_{j}^{2}\sum _{i=1}^{n}y_{i}^{2}-2\sum _{i=1}^{n}x_{i}y_{i}\sum _{j=1}^{n}x_{j}y_{j}$,

collecting together identical terms (albeit with different summation indices) we find:

${\frac {1}{2}}\sum _{i=1}^{n}\sum _{j=1}^{n}\left(x_{i}y_{j}-x_{j}y_{i}\right)^{2}=\sum _{i=1}^{n}x_{i}^{2}\sum _{i=1}^{n}y_{i}^{2}-\left(\sum _{i=1}^{n}x_{i}y_{i}\right)^{2}.$

Because the left-hand side of the equation is a sum of the squares of real numbers it is greater than or equal to zero, thus:

$\sum _{i=1}^{n}x_{i}^{2}\sum _{i=1}^{n}y_{i}^{2}-\left(\sum _{i=1}^{n}x_{i}y_{i}\right)^{2}\geq 0$ .