The Euler-Lagrange equations are
The coordinate is a cyclic coordinate, so its conjugate momentum
is conserved. Substitution into the first equation gives
Multiplying by shows that
Thus is conserved. Since , is the squared speed on the unit sphere, equivalently twice the kinetic energy.
The hyperbolic lines and are both perpendicular to . They are therefore ultraparallel hyperbolic lines, and is their unique common perpendicular of ultraparallel hyperbolic lines.
The common perpendicular realizes the minimum hyperbolic distance between two ultraparallel lines. This follows directly in the Poincaré half-plane model after a Möbius transformation sends the two lines to concentric semicircles: the supplied distance formula is minimized along their common radial geodesic. The segment also joins the two lines, but it is different from in a nondegenerate quadrilateral. Hence
A topological space is connected if it is not the union of two disjoint nonempty open sets, or equivalently has no nontrivial subset that is both an open set and a closed set.
Let be the union of all connected subspaces containing . A union of connected subsets with a common point is connected: if a separation of a topological space existed, every member containing would lie wholly in the same side. Hence is connected and contains every connected subspace through , so it is the connected component of .
If , their union is connected and maximality gives . Otherwise they are disjoint. Since every belongs to , the connected components partition .
Put . If , take the inner product with the unit vector . Then
by the Cauchy-Schwarz inequality; the case is immediate. This is the triangle inequality for a vector-valued integral.
Equality in the Euclidean argument requires for every : the nonnegative continuous difference has integral zero. Equality in Cauchy-Schwarz inequality then says with . Conversely, if for one fixed and a continuous , then for every norm,
Thus these nonnegative-ray functions, including , are exactly the required functions.
Under the null hypothesis that treatment and recovery are independent, estimate each expected cell count by
and form the Pearson chi-squared test of independence statistic . For a table its asymptotic null law is a chi-squared distribution with one degree of freedom. A second-order Taylor expansion of the generalized likelihood-ratio test statistic around the fitted counts gives this Pearson statistic, which explains its asymptotic null distribution.
Writing the four residuals over their fitted counts and simplifying gives
For ,
whose one-degree-of-freedom p-value is about . There is no evidence of an effect. One fitted count is only , however, so the chi-squared approximation is questionable; Fisher's exact test would be preferable.
Repeated integration by parts in
produces the first terms of the Taylor polynomial and leaves , proving the integral remainder in Taylor theorem
Apply the linear functional to this identity. It annihilates the Taylor polynomial, and commuting it with integration gives the Peano kernel theorem
For the midpoint quadrature rule on , , so . Its Peano kernel is
For , the formula gives
agreeing with .
Let be the signed air speed along the straw towards the bubble. Conservation of mass in a pipe for the incompressible plug flow gives
The unsteady Bernoulli equation along the straw, whose open end is at atmospheric pressure, gives
by the Young–Laplace equation. Substitution yields
Set . Since , the chain rule gives . The initial condition implies
Writing and integrating gives the implicit solution
At disappearance and , so
Take the dot product of Ampère-Maxwell equation with and of Faraday's law with . The divergence of a cross product identity
then gives the local Poynting theorem
Integration and the divergence theorem produce the stated equation. Its terms are the rate of change of electromagnetic energy, the work per unit time done on charges, and the outward flux of the Poynting vector .
Let the plate separation be and their radius be , so . Between the plates,
For a circular Amperian loop of radius , the displacement current in the Ampère-Maxwell equation gives
Therefore
which points radially outward. Its flux through the cylindrical side is , exactly for the stored capacitor energy .
The expectation value is the mean outcome over many identically prepared measurements of the observable. For real , positivity of the norm in the Hilbert space gives
This real quadratic has nonpositive quadratic discriminant, so
Apply this to the centered observables and to obtain the Robertson uncertainty principle
For the quantum harmonic oscillator, and
The arithmetic-geometric mean inequality and now give

There are unlisted articles, also show them or only show them.