Search Results for ""

There exists a positive integer s such that every sufficiently large integer is the sum of at most s primes. It follows that there exists a positive integer s_0>=s such that ...

The most common statement known as Steiner's theorem (Casey 1893, p. 329) states that the Pascal lines of the hexagons 123456, 143652, and 163254 formed by interchanging the ...

Let a Cevian PC be drawn on a triangle DeltaABC, and denote the lengths m=PA^_ and n=PB^_, with c=m+n. Then Stewart's theorem, also called Apollonius' theorem, states that ...

Szemerédi's theorem states that every sequence of integers that has positive upper Banach density contains arbitrarily long arithmetic progressions. A corollary states that, ...

Tarski's theorem says that the first-order theory of reals with +, *, =, and > allows quantifier elimination. Algorithmic quantifier elimination implies decidability assuming ...

Thomae's theorem, also called Thomae's transformation, is the generalized hypergeometric function identity (1) where Gamma(z) is the gamma function, _3F_2(a,b,c;e,f;z) is a ...

The following vector integrals are related to the curl theorem. If F=cxP(x,y,z), (1) then int_CdsxP=int_S(daxdel )xP. (2) If F=cF, (3) then int_CFds=int_Sdaxdel F. (4) The ...

A theorem of fundamental importance in spectroscopy and angular momentum theory which provides both (1) an explicit form for the dependence of all matrix elements of ...

The Wolstenholme numbers are defined as the numerators of the generalized harmonic number H_(n,2) appearing in Wolstenholme's theorem. The first few are 1, 5, 49, 205, 5269, ...

Dyson (1962abc) conjectured that the constant term in the Laurent series product_(1<=i!=j<=n)(1-(x_i)/(x_j))^(a_i) (1) is the multinomial coefficient ...