Principle of Stationary Action with Standard Lagrangian implies Newton's Laws of Motion

Theorem
Let $\mathcal M$ be an $n$-dimensional Euclidean manifold.

Let $P$ be a physical system composed of classical particles with inertial masses $m_i$ with $i \in \N$.

Let $\mathbf x = \map {\mathbf x} t$ be twice-differentiable vector-valued function embedded in $\mathcal M$.

Suppose ${\mathbf x}_i$ represents the position of the $i$-th particle of $P$.

Suppose, the action of $P$ is of the following form:


 * $\displaystyle S = \int_{t_0}^{t_1} L \rd t$

where $L$ is the standard Lagrangian.

Suppose, all (internal or external) forces ${\mathbf F}_i$ acting upon $P$ are of the form


 * ${\mathbf F}_i = \dfrac {\partial U}{\partial \mathbf x_i}$

where


 * $\displaystyle U = \map U {t, \set{\mathbf x_i} }$

is a differentiable real function, and $\set{\mathbf x_i}$ denotes dependence on the positions of all the particles.

Then, the stationary point of $S$ implies Newton's Laws of Motion.