Search Results for ""

Let the squares square ABCD and square AB^'C^'D^' share a common polygon vertex A. The midpoints Q and S of the segments B^'D and BD^' together with the centers of the ...

The most general form of Lagrange's group theorem, also known as Lagrange's lemma, states that for a group G, a subgroup H of G, and a subgroup K of H, (G:K)=(G:H)(H:K), ...

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

Given any real number theta and any positive integer N, there exist integers h and k with 0<k<=N such that |ktheta-h|<1/N. A slightly weaker form of the theorem states that ...

For all n, there exists a k such that the kth term of the Goodstein sequence G_k(n)=0. In other words, every Goodstein sequence converges to 0. The secret underlying ...

An extended form of Bürmann's theorem. Let f(z) be a function of z analytic in a ring-shaped region A, bounded by another curve C and an inner curve c. Let theta(z) be a ...

Any n-dimensional Riemannian manifold can be locally embedded into an (n+1)-dimensional manifold with Ricci curvature Tensor R_(ab)=0. A similar version of the theorem for a ...

If two square n×n matrices A and B are simultaneously upper triangularizable by similarity transforms, then there is an ordering a_1, ..., a_n of the eigenvalues of A and ...

Let H be a Hilbert space and M a closed subspace of H. Corresponding to any vector x in H, there is a unique vector m_0 in M such that |x-m_0|<=|x-m| for all m in M. ...

Let the n×n matrix A satisfy the conditions of the Perron-Frobenius theorem and the n×n matrix C=c_(ij) satisfy |c_(ij)|<=a_(ij) for i,j=1, 2, ..., n. Then any eigenvalue ...