For the constant monomial , the binomial theorem gives . For , the binomial coefficient identity gives
Thus , including by evaluation of the polynomials.
For and , substitute the preceding coefficient identity into the Bernstein polynomial sum and write . This yields the Bernstein monomial recurrence
The coefficients are nonnegative and sum to ; and the others tend to zero. The weights in any Bernstein polynomial sum are nonnegative and sum to , so . Induction on therefore gives : the term has that limit and the other finitely many terms vanish. In fact, the same estimate in the supremum norm proves uniform convergence on .
As an independent quantitative bound, take a binomial distribution variable with parameters . Then . On , factoring the difference of powers gives ; the Cauchy-Schwarz inequality and the variance of give
For the error is exactly zero. Finally the requested sum equals , so
For nilpotent elements of the commutative ring, choose positive integers with . The binomial theorem gives
each term has either or . Also , , and for every . Thus is an additive subgroup stable under multiplication by arbitrary ring elements:
Commutativity is essential to the simple binomial argument; an arbitrary sum of nilpotent elements in a noncommutative ring need not be nilpotent.
An exact finite mixture model follows from the binomial theorem:
Define positive mixture weights
Here is the Beta function, so the component probability distributions are . All coefficients are computable from the observed integer counts.
Use inverse transform sampling with the supplied to choose : writing and , take . Then recycle its position inside that interval,
Recycling a uniform random variable after discrete sampling makes uniform independently of , since . It is also independent of all supplied random variables with gamma distributions. Transform these by the probability integral transform:
They are independent random variables with uniform distributions because has a unit-rate exponential distribution.
Conditional on , put and . Form the values and return their th order statistic. This uses at most the supplied random variables with gamma distributions, since . The uniform order statistic formula gives
Averaging these component probability density functions with weights recovers exactly the normalized posterior density. Unused inputs can be discarded. When , , , and the output is , as required. Interval endpoints and ties have probability zero; any consistent convention there is harmless. Exactness here concerns the mathematical algorithm; finite-precision arithmetic can be stabilized with logarithmic mixture weights.
By independence and the binomial theorem,
Therefore .
For a fixed occupancy , let be the per-flow rate on every active route, so feasibility means . A proportionally fair allocation is a feasible allocation satisfying, for every other feasible ,
The sum counts the proportional changes over individual flows. By the first-order condition for a concave function, it is exactly the allocation solving
This is weighted logarithmic utility optimization, and its negative objective is a strictly convex function, which gives unique rates on active routes. Routes with have no per-flow rate to determine.
Index the four routes by , , , , and let be each route's total service. Write
The four capacity constraints say , , , and . Equivalently,
For fixed maxima , every active route in the first group optimally takes total service , and every active route in the second takes , because its logarithmic objective is increasing. Up to the constant , the objective therefore becomes with . Its maximizer is , when , with the evident endpoint choices when one group is empty. Hence the proportionally fair allocation on a four-cycle is
Set on inactive routes. If , all service totals are zero. In particular, for , , as required. Two disjoint active routes in the same group can each receive the same total service; service totals need not sum to one over the entire network.
With independent document arrivals given by Poisson processes of rates and independent unit-mean exponential distributions for document sizes, each of the active documents has completion rate . The flow-level network model is consequently a continuous-time Markov chain with
At all downward rates are zero. The total departure rate is at most four, so the bounded total jump rate ensures no explosion.
The original PDF's displayed factor is a binomial coefficient, not the plain quotient produced by the TeX extraction. The candidate stationary distribution for this reversible four-cycle flow model is
Use . For and ,
so . For the corresponding ratio is . Thus detailed balance for a continuous-time Markov chain holds for every adjacent pair, proving the displayed stationary distribution whenever .
For completeness, its existence condition can be made explicit. Put and . At fixed ,
Therefore the sum over states with is at most , using the binomial theorem. This is summable if . Conversely, restricting to the single maximizing route in each group leaves the series , which diverges if . Hence
These are exactly the four strict resource-load inequalities. With positive arrival rates the Markov chain is irreducible, so the normalized stationary distribution is unique.
Let . For , express in the Bernstein basis as , where . Its precomputed coefficients are
with the ratio for interpreted as one. The identity follows from , obtained by the binomial theorem.
At this level solve the linear program
There are exactly inequalities. Equivalently, must have nonnegative coefficients in the unnormalized basis; its coefficients are . Since the basis functions are nonnegative and sum to one, every feasible satisfies for all , so .
Degree elevation of Bernstein coefficients gives, for ,
with endpoint coefficients unchanged. These convex combinations imply .
To cover every positive index even when , put . For , use the one-inequality LP , giving . This is a lower bound on ; moreover the explicit coefficient formula has all its factorial ratios in , so . Thus the transition to level is also monotone and every level respects the requested bound of at most inequalities. Constants are handled by the main formula at all positive indices.
Finally, for every , is strictly positive on the interval. Part (c) supplies a nonnegative-coefficient representation at some degree, and degree elevation preserves it at every higher degree. Hence eventually . Combining with the upper bound proves the Bernstein linear programming hierarchy for polynomial minimization:
Let . Using the convention
the discrete Fourier transform of the supplied sequence follows from the binomial theorem:
The orthogonality of roots of unity gives
Since both lie between zero and , it follows that
On every open set , define . In characteristic of a ring , the binomial theorem gives , so these are ring homomorphisms; they commute with restrictions and hence define a morphism of sheaves of rings.
On an affine chart , the inverse image of a prime ideal under the Frobenius endomorphism is
by primality. The induced continuous map is therefore the identity. These local morphisms agree on overlaps, giving the Absolute Frobenius morphism . Its action on the underlying space and on every local section was prescribed, so the morphism is unique.
A filtration on a group is a function satisfying
It is a p-valuation when it is separated and, for ,
Let be odd and let
For , define . Matrix multiplication and the identity
give the two filtration inequalities. Since , only the p-power condition remains. The binomial theorem gives
The first term has valuation , while every other term has strictly larger valuation because is odd and . Hence , so this is a p-valuation.
Finally, if are p-valuations, put . Taking minima preserves both filtration inequalities and the strict lower bound, while
If , both original valuations force . Therefore the pointwise minimum of two p-valuations is again a p-valuation.
For events , the probabilistic inclusion-exclusion principle is
To prove it, fix an outcome lying in exactly events. Its total coefficient on the right is
by the binomial theorem; outcomes in no event contribute zero. Taking expectations of this pointwise indicator identity proves the formula. Truncating after the pair terms gives the Bonferroni inequalities
For the final bound, let and . The intersection assumption gives
The Cauchy-Schwarz inequality applied to yields . Therefore
so the required universal constant may be taken as . This is a second moment method estimate.
Put . The odd integer is an Euler pseudoprime to the coprime base when
where is the Jacobi symbol.
Let be the unit group of residue classes modulo , and partition it into the set of bases satisfying the displayed congruence and the set of Euler witnesses that do not. If , multiplication by maps injectively into : indeed, if and also lay in , then the multiplicativity of the Jacobi symbol would give
Cancelling the invertible congruence for would say that , a contradiction. Hence , so at least half of the coprime bases are witnesses.
It remains to construct one witness for every odd composite number . If is not squarefree, choose an odd prime number with . The Chinese remainder theorem gives a unit such that for the full power and modulo every other prime-power factor. The binomial theorem gives
Since , this is neither nor modulo , whereas the Jacobi symbol is always or . Thus is a witness.
If is squarefree and composite, choose distinct primes . By the Chinese remainder theorem, choose to be a quadratic nonresidue modulo and to satisfy modulo every other prime divisor of . Then , while , so the Euler congruence again fails. This proves the existence of an Euler witness for every odd composite integer.
The binomial theorem states
The required sum is the coefficient of in
There is no term when is odd. When is even, the relevant term has exponent and coefficient . Hence
The special binomial theorem
follows by mathematical induction. Multiplication of the formula for by and collection of the coefficient of uses Pascal's identity from part (a).
Termwise integration from to gives
Replacing by gives
Finally,
Writing and using the finite geometric series,
turns this into
The motion is isentropic before a shock forms, and the perfect-gas relations give
Writing and applying the generalized binomial expansion,
Several microstates can have the same extension. If denotes their state degeneracy, grouping equal terms in the state sum gives
For the one-dimensional freely jointed chain, a macrostate with positive links and negative links has
Hence
The binomial theorem now gives the fixed-tension partition function of a one-dimensional chain
The binomial theorem gives
The central binomial coefficient is the largest of these nonnegative binomial coefficients, so
For the upper bound, fix a prime number . By Legendre formula,
Each summand is either zero or one. Hence the P-adic valuation satisfies
If , this implies
There are at most such prime numbers. If instead , then , so the P-adic valuation is at most one. Multiplying the prime-power contributions therefore yields
Because is a perfect field, for each choose a compatible sequence
and choose arbitrary lifts of . If , the binomial theorem and the fact that the residue characteristic is give
It follows that . Thus is Cauchy, and completeness defines
The same congruence shows that the limit is independent of all lift choices. Taking products before passing to the limit proves , and reduction gives .
For uniqueness, let be two multiplicative lifts. Given and any , choose with . Since , repeated powering yields
Completeness and separation force . This is the unique Teichmuller lift.
For , let be its residue and put . Repeat with . Induction gives
The remainder tends to zero, proving the Teichmuller expansion
Reduction after subtracting successive partial sums also proves uniqueness of the digits.
For a prime and , write . The binomial theorem shows is divisible by : the linear term contains the extra factor and every higher term contains at least . Iteration gives the displayed modular congruence for every , including . Applied to Fermat's little theorem, it yields .
For a three-dimensional strictly upper triangular matrix , the binomial theorem stops after . Over a finite field of odd prime characteristic , both coefficients and vanish, so every nonidentity matrix in has order . In characteristic two, a matrix with nonzero instead has order four.