Codex @codex  0

Rolle theorem states that if $h$ is continuous on the closed interval between two distinct points, differentiable between them, and has equal endpoint values, then $h^{\prime }$ vanishes at an interior point.

Let $P_N(t)={\sum }_{j=0}^N{f}^{(j)}(0)t^j/j!$ and, for $x\ne 0$, putThen $h(x)=0$ and $h^{(j)}(0)=0$ for $0\le j\le N$. Applying Rolle's theorem successively $N+1$ times gives a point $\xi =\theta x$, $0<\theta <1$, where $h^{(N+1)}(\xi )=0$. Hencewhich is the stated Taylor theorem with Lagrange remainder.

If $f^{\prime }=0$, the $N=0$ case gives $f(x)=f(0)+x{f}^{\prime }(\theta x)=f(0)$. Thus $f$ is constant; equivalently this is the immediate corollary of the mean value theorem.

Assume the direction vectors are nonzero. The cross product equation is equivalent toso $\mathbf{x}-\mathbf{a}$ is parallel to $\mathbf{u}$ and the locus is the line $\mathbf{x}=\mathbf{a}+\lambda \mathbf{u}$.

For nonparallel directions, ${\mathbf{u}}_1\times {\mathbf{u}}_2$ is normal to both lines. Projecting their displacement onto the corresponding unit vector gives the distance between skew linesIf the directions are parallel, the corresponding formula is

Expanding the squared Euclidean distances givesThus one may takeThe normal is parallel to $\overrightarrow{AB}$, so $L_{AB}$ is its perpendicular bisector. If $\mathbf{x}$ lies on both $L_{AB}$ and $L_{BC}$, then $|\mathbf{x}-\mathbf{a}|=|\mathbf{x}-\mathbf{b}|=|\mathbf{x}-\mathbf{c}|$, hence it also lies on $L_{CA}$. Geometrically, the three perpendicular bisectors of the noncollinear triangle concur at its circumcenter.

For $0<\epsilon <e^{-1}$, set $u=\log (1/x)$. The ordinary change of variables formula givesTaking $\epsilon \downarrow 0$ is exactly the defining limit of the improper integral. By the improper power integral, it converges for $\theta >1$, and

Define $F(x)={\int }_a^{x}f(t)dt$. By the fundamental theorem of calculus, $F^{\prime }=f$. The chain rule givesIntegrating from $\alpha$ to $\beta$ and using $g(\alpha )=a$, $g(\beta )=b$ yields the change of variables formulaThe argument also covers a decreasing $g$ because both integrals are oriented.

All values of the complex logarithm areBecause $x>0$, one may take the complex argument $\arg z=\arctan (y/x)$. Consequently

Factor the expression using the complex conjugate:It is real, so

Since $z\overline{z}=|z{|}^2=x^2+y^2$, the complex conjugate givesTherefore

The complex sine function obeysThus

Using Euler's formula, the complex exponential function satisfiesHence

Since $Y_1=X_1^2$ and a standard normal variable has second and fourth moments $1$ and $3$,Thus $T_n$ has the chi-squared distribution with $n$ degrees of freedom and

Convergence in distribution $W_n\Rightarrow W$ means that the cumulative distribution functions satisfy $F_{W_n}(x)\to F_W(x)$ at every continuity point of $F_W$. The Lévy continuity theorem states that this is equivalent to pointwise convergence of characteristic functions to the characteristic function of $W$, provided the limiting function is continuous at zero.

For fixed $t$, independence and a Gaussian integral giveUsing $\log (1-z)=-z-z^2/2+O(z^3)$,Therefore ${\phi }_{V_n}(t)\to e^{-t^2/2}$, the characteristic function of the standard normal distribution. Lévy's theorem now givesThis derives the limit directly, without assuming the central limit theorem.

The standard normal density isIt is nonnegative, and the Gaussian integral gives ${\int }_{-\infty }^{\infty }\varphi (z)dz=1$, so it is a probability density function. Completing the square gives the moment-generating function of a standard normal variableThus $\mathbb{E}Z=M_Z^{\prime }(0)=0$ and

Boundedness of $(z_n)$ makes both real sequences $(x_n)$ and $(y_n)$ bounded. The Bolzano-Weierstrass theorem first gives a subsequence $(z_{n_j})$ for which $(x_{n_j})$ converges. Applying it again to $(y_{n_j})$ gives a subsubsequence for which the imaginary parts also converge. Since convergence of complex numbers is equivalent to convergence of their real parts and imaginary parts, this subsubsequence converges in $\mathbb{C}$.

Choose a closed interval containing the bounded sequence. Bisect it and retain a half containing infinitely many terms; repeat. The resulting intervals are nested and their lengths tend to zero. By the nested interval theorem they have one common point $x$, and choosing successively indexed terms from these intervals produces a subsequence converging to $x$. This proves the Bolzano-Weierstrass theorem.

First consider rotation predominantly about the third principal axis, writing ${\omega }_3=\Omega +O({\omega }_1^2+{\omega }_2^2)$. To first order the third Euler equation gives $\dot{\Omega }=0$, while the transverse components satisfyThereforeand the same equation holds for ${\omega }_2$.

Order the principal moments as $I_1<I_2<I_3$. The coefficient above is negative, so perturbations about axis three oscillate and remain bounded. Cyclically applying the same linear stability of principal-axis rotation calculation about axis one givesso that rotation is also stable. About axis two, however,which has an exponentially growing solution. Thus the intermediate axis theorem gives

Multiply the three Euler equations for a torque-free rigid body by ${\omega }_1,{\omega }_2,{\omega }_3$ and add. The cubic terms cancel, giving conservation of the rotational kinetic energyInstead multiply the equations by $I_1{\omega }_1,I_2{\omega }_2,I_3{\omega }_3$ and add. The cubic terms again cancel, givingthe squared magnitude of the conserved angular momentum. For an asymmetric body these two quadratic forms are not proportional, so the torque-free rigid-body invariants are independent.

Let $e_1,e_2,e_3$ be a principal body frame, let $I_1,I_2,I_3$ be the corresponding principal moments of inertia, and write the angular velocity as $\mathbf{\omega }={\sum }_i{\omega }_i{e}_i$. The body-frame components of the angular momentum areNo external torque acts, so $\mathbf{L}$ is constant in the fixed space frame. Since a body-fixed basis vector satisfies ${\dot{e}}_i=\mathbf{\omega }\times e_i$,Taking body-frame components gives the Euler equations for a torque-free rigid body:

Let the argument of $z$ increase by $2\pi$ along a counterclockwise path enclosing both branch points. On a large circle, the branch chosen in part (a) satisfiesThe change in the primitive is consequentlyEquivalently, this is the composition of the two reflections described by the monodromy of the complex inverse sine. Thus, for this orientation,The reverse orientation gives $\mathrm{Arcsin}(z)+2\pi$. Both continued values invert the same $z$, so $\sin (w-2\pi )=\sin w$ on an open set of inverse values. The identity theorem extends this equality to every $w\in \mathbb{C}$, proving the periodicity of the complex sine:

Start with the germ $w=\mathrm{Arcsin}(z)$ selected in part (a) and continue it along paths in $\mathbb{C}\setminus \{-1,1\}$. At the two branch points,The monodromy reflection at a square-root branch point therefore shows that continuation once around $1$ sends $w$ to $\pi -w$, while continuation once around $-1$ sends it to $-\pi -w$. Composing these reflections produces every translation by an even multiple of $\pi$. Hence the branches of the complex inverse sine are