Combining the independent standard normal variable with the independent chi-squared variable gives
the Student's t-distribution with degrees of freedom.
The sample mean is
Write the Gaussian sample vector as its orthogonal projection onto the span of plus its projection onto the orthogonal complement. These two Gaussian projections are independent. Their squared standardized lengths give Cochran's theorem:
Let be the distinct real roots of . The Gauss-Hermite quadrature rule is
where is the weighted integral of the th Lagrange interpolation polynomial. Equivalently,
The orthogonality of makes the rule exact for every polynomial of degree at most
The probabilists' Hermite polynomials satisfy
which follow by differentiating the Rodrigues formula. Thus
so and .
For the squared norm, substitute the Rodrigues formula and integrate by parts times. All boundary terms vanish under the Gaussian weight, and , giving
Inductively, is monic of degree , because the leading term of comes only from . Assume are mutually orthogonal. The definitions give
Using the preceding recurrence in the form
gives
so by the definition of . If , then lies in the span of , all orthogonal to , and the remaining recurrence terms are also orthogonal to . Hence . Induction proves that the recurrence defines monic orthogonal polynomials.
Bilinearity and symmetry follow from the corresponding properties of the integral. Since ,
If this integral is zero, the nonnegative continuous integrand must vanish everywhere, so . Therefore the displayed formula is a real inner product on .
If everywhere, compactness makes the integral negative, so . For every triangulation, again yields the general identity
Since and ,
This supplies bounds depending only on the surface.
A geodesic triangulation of a closed smooth surface decomposes it into finitely many triangular discs whose edges are geodesic arcs and whose intersections are common faces. Its Euler number is
The Gauss-Bonnet theorem for a closed surface states
For any triangulation of a closed surface, each triangular face has three edges and every edge belongs to two faces, so . The sum of all vertex valencies is . Hence the average valency is
The torus has Euler characteristic . Using gives , so and
A local form of the Picard-Lindelöf theorem is as follows. Let be continuous on a rectangle about and uniformly Lipschitz in there. Then some interval about admits a unique continuously differentiable solution of
The solution is the unique fixed point of the associated integral operator. If is continuous on and globally Lipschitz in with one constant, the solution exists uniquely throughout .
Factor the equation in the Eisenstein integers:
Let . Its norm is , and
so is a unit times . Suppose , say . Since ,
The first term is divisible by and the second has discrete valuation exactly one, so . Conjugation gives as well. Consequently
But is divisible by three, a contradiction. Hence
Every Euclidean domain is a principal ideal domain: in a nonzero ideal choose an element of least positive Euclidean value and divide every other element by it; minimality forces every remainder to vanish. Every principal ideal domain is a unique factorization domain: the ascending-chain condition supplies factorizations into irreducibles, and Euclid lemma follows because every irreducible generates a prime ideal. Therefore
The Eisenstein integers are , where . Their multiplicative algebraic norm is
Given , choose an Eisenstein integer nearest to the complex number . The hexagonal lattice has covering radius , so
With , multiplicativity gives
Thus division with remainder decreases the nonnegative integer norm, proving that .
For any action , decompose the posterior expected quadratic loss around the posterior mean:
The unique minimizer is therefore the Bayes estimator under squared error loss. Using the mean of the posterior Beta distribution gives
Under repeated sampling at parameter value , has the binomial distribution with expected value . Consequently
so its bias of an estimator is .
Let be the number of heads. The likelihood function for the Bernoulli distribution sample is proportional to . A uniform distribution prior on is the distribution, so Beta-binomial conjugacy gives the posterior distribution

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