Search Results for ""

Let A = [B D; E C] (1) A^(-1) = [W X; Y Z], (2) where B and W are k×k matrices. Then det(Z)det(A)=det(B). (3) The proof follows from equating determinants on the two sides of ...

In the study of non-associative algebra, there are at least two different notions of what the half-Bol identity is. Throughout, let L be an algebraic loop and let x, y, and z ...

A q-analog of the Chu-Vandermonde identity given by where _2phi_1(a,b;c;q,z) is the q-hypergeometric function. The identity can also be written as ...

A hypergeometric identity discovered by Ramanujan around 1910. From Hardy (1999, pp. 13 and 102-103), (1) where a^((n))=a(a+1)...(a+n-1) (2) is the rising factorial (a.k.a. ...

For P, Q, R, and S polynomials in n variables [P·Q,R·S]=sum_(i_1,...,i_n>=0)A/(i_1!...i_n!), (1) where A=[R^((i_1,...,i_n))(D_1,...,D_n)Q(x_1,...,x_n) ...

sum_(k=0)^m(phi_k(x)phi_k(y))/(gamma_k)=(phi_(m+1)(x)phi_m(y)-phi_m(x)phi_(m+1)(y))/(a_mgamma_m(x-y),) (1) where phi_k(x) are orthogonal polynomials with weighting function ...

The identity F_n^4-F_(n-2)F_(n-1)F_(n+1)F_(n+2)=1, where F_n is a Fibonacci number.

This is proven in Rademacher and Toeplitz (1957).

sum_(n=0)^(infty)(-1)^n[((2n-1)!!)/((2n)!!)]^3 = 1-(1/2)^3+((1·3)/(2·4))^3+... (1) = _3F_2(1/2,1/2,1/2; 1,1;-1) (2) = [_2F_1(1/4,1/4; 1;-1)]^2 (3) = ...

The vector triple product identity Ax(BxC)=B(A·C)-C(A·B). This identity can be generalized to n dimensions,