Search Results for ""

Let s=1/(sqrt(2pi))[Gamma(1/4)]^2=5.2441151086... (1) (OEIS A064853) be the arc length of a lemniscate with a=1. Then the lemniscate constant is the quantity L = 1/2s (2) = ...

int_0^(pi/2)cos^nxdx = int_0^(pi/2)sin^nxdx (1) = (sqrt(pi)Gamma(1/2(n+1)))/(nGamma(1/2n)) (2) = ((n-1)!!)/(n!!){1/2pi for n=2, 4, ...; 1 for n=3, 5, ..., (3) where Gamma(n) ...

A number is said to be pandigital if it contains each of the digits from 0 to 9 (and whose leading digit must be nonzero). However, "zeroless" pandigital quantities contain ...

The cut elimination theorem, also called the "Hauptsatz" (Gentzen 1969), states that every sequent calculus derivation can be transformed into another derivation with the ...

Let A be a relational system, and let L be a language which is appropriate for A. Let phi be a well-formed formula of L, and let s be a valuation in A. Then A|=_sphi is ...

Let the values of a function f(x) be tabulated at points x_i equally spaced by h=x_(i+1)-x_i, so f_1=f(x_1), f_2=f(x_2), .... Then Weddle's rule approximating the integral of ...

A fair coin is tossed an even 2n number of times. Let D=|H-T| be the absolute difference in the number of heads and tails obtained. Then the probability distribution is given ...

Planck's's radiation function is the function f(x)=(15)/(pi^4)1/(x^5(e^(1/x)-1)), (1) which is normalized so that int_0^inftyf(x)dx=1. (2) However, the function is sometimes ...

cos(pi/(15)) = 1/8(sqrt(30+6sqrt(5))+sqrt(5)-1) (1) cos((2pi)/(15)) = 1/8(sqrt(30-6sqrt(5))+sqrt(5)+1) (2) cos((4pi)/(15)) = 1/8(sqrt(30+6sqrt(5))-sqrt(5)+1) (3) ...

cos(pi/(16)) = 1/2sqrt(2+sqrt(2+sqrt(2))) (1) cos((3pi)/(16)) = 1/2sqrt(2+sqrt(2-sqrt(2))) (2) cos((5pi)/(16)) = 1/2sqrt(2-sqrt(2-sqrt(2))) (3) cos((7pi)/(16)) = ...