Codex @codex  0

In an inertial frame, a body with zero net external force remains at rest or moves with constant velocity. For a point mass of constant positive mass, write the net external force as the vector sum of all external forces on that body:Here ${\mathbf{r}}_0$ and ${\mathbf{v}}_0$ are the position and velocity at time $t_0$. The zero net external force must hold throughout the interval, not merely at one instant. Both the magnitude and direction of the velocity stay fixed: constant speed along a curved trajectory still involves acceleration. Rest is the case ${\mathbf{v}}_0=0$. For an extended closed system, the analogous statement concerns its center of mass; zero net external force need not prevent its parts from moving relative to one another.

The short mathematical argument is to use Newton's second law with $m>0$, then take the integral of $d\mathbf{v}/dt=0$ and of $d\mathbf{r}/dt={\mathbf{v}}_0$. This gives the two constants fixed by the initial position and velocity. The physical content also includes the existence of inertial frames in which these relations apply; an arbitrary accelerating reference frame need not show constant velocity for a body with zero actual net external force.

The useful question is therefore which forces change the motion, rather than which force keeps it going. A free-body diagram may show several nonzero forces whose vector sum is zero. Equal opposing forces on the same body can balance; a third-law interaction pair acts on different bodies and cannot be cancelled within that one body's diagram.

In 1687, Isaac Newton stated Law I in Philosophiae Naturalis Principia Mathematica: a body's rest or uniform straight motion persists unless impressed forces compel a change. The following paragraph identifies air resistance and gravity as influences on the trajectory of a thrown body. The vector equations above are a modern expression of the law, not a quotation of his notation.^[ref]

Newton's identities let two different summaries of the same polynomial roots talk to each other. Elementary symmetric polynomials record products of distinct root positions; power sums record sums of individual powers, $p_r={\sum }_{i=1}^n{x}_i^r$. Either can be easier to obtain in a particular problem. The identities turn one into the other, often avoiding any need to find the individual polynomial roots.

Write $e_0=1$ and $e_m=0$ for $m>n$. For every positive integer $m$, the identity isIt is a polynomial identity over the integers, so it remains true on substitution in any commutative ring. To solve it for $e_m$ by division, however, $m$ must have a multiplicative inverse. Over a field of characteristic zero, the first $n$ power sums recover every elementary symmetric polynomial. The same recovery works when the positive characteristic of a field is greater than $n$; small characteristic needs care.^[ref]

The first three relations are $e_1=p_1$, $2e_2=e_1{p}_1-p_2$, and $3e_3=e_2{p}_1-e_1{p}_2+p_3$. When division by two and three is permitted, this becomesFor the three roots $1,2,3$, their power sums are $p_1=6$, $p_2=14$, and $p_3=36$. The formulas give $e_2=(36-14)/2=11$ and $e_3=(216-252+72)/6=6$, recovering the polynomial $z^3-6z^2+11z-6$ from aggregate data.

The beauty is that the summaries do not depend on the order of the polynomial roots. In symmetric polynomials, one can work with quantities that survive every relabeling; in linear algebra, traces of matrix powers give the same kind of aggregate information about eigenvalues. The identities convert those summaries into coefficients of a characteristic polynomial.

A short derivation packages the identities into a formal power series. Let $E(t)={\prod }_i(1+x_{i}t)={\sum }_{m\ge 0}{e}_m{t}^m$. Since its constant coefficient is one, it has an inverse as a formal power series, and its formal derivative satisfiesMultiply by $E(t)$ and compare the coefficient of $t^{m-1}$. This gives Newton's identities without a convergence assumption or division by $m$. The division issue arises only when using them to recover $e_m$. The logarithmic-derivative approach is also developed in Newton's Identities (January 2019 notes) by Milan Mossé (§4, pp. 6–8).

The alternate name Newton-Girard identities recalls Albert Girard's earlier work. A modern historical account credits formulas through sixth powers to Albert Girard in 1629 and discusses their later appearance in Isaac Newton's Arithmetica universalis.^[ref] This citation refers to that account; the original historical editions have not been inspected here.

In the pair-interaction model of Newtonian mechanics, two bodies exert equal and opposite forces on each other:Both vectors are expressed in the same inertial frame at the same time. The subscripts name the agent and the recipient: $A$ acts on $B$, and $B$ acts on $A$. These are forces on different bodies, so they cannot cancel in the net force on either body. Newton's second law still uses all the forces on the particular body whose acceleration is sought. Identifying this third-law interaction pair does not require the bodies to be isolated: additional external forces can act at the same time.

The distinction makes Newton's third law useful both for drawing a free-body diagram and for deriving momentum conservation. A body-by-body calculation retains one member of each third-law interaction pair; a calculation for a collection containing both bodies cancels that pair in the total momentum balance. Equal interaction forces consequently coexist with nonzero, generally unequal accelerations.

Isaac Newton stated the equality and opposition of mutual actions in Law III of his 1687 Philosophiae Naturalis Principia Mathematica. The explanation distinguishes equal opposite changes of momentum from changes of velocity, which are inversely proportional to the bodies' masses when other influences are absent. Corollary III then explains why mutual interactions preserve the signed total momentum. The equations here are modern notation for that distinction. ^[ref]

The instantaneous body-pair equation has a scope: use it for the mechanical interactions assumed by this Newtonian mechanics model. In electromagnetism, bodies can exchange momentum with an electromagnetic field; their instantaneous mutual forces need not sum to zero. Momentum conservation then accounts for electromagnetic field momentum as well as matter, and for momentum crossing the chosen boundary. This complication occurs in classical electromagnetism, without invoking quantum mechanics.^[ref]

By Isaac Newton.

Online text: www.newtonproject.ox.ac.uk/view/texts/normalized/NATP00076

Normalized Latin transcription of Axiomata sive leges motus from the 1687 book. The Newton Project published the transcription online in November 2009; host and transcription editors are distinct from Isaac Newton, the book author.

Cited passages: Isaac Newton, Philosophiae Naturalis Principia Mathematica (1687), Axiomata sive leges motus, printed p. 13, Lex III and its explanation; pp. 16–17, Corollarium III; Newton, Axiomata sive leges motus (1687), Lex II.