Search Results for ""

If A, B, and C are three points on one line, D, E, and F are three points on another line, and AE meets BD at X, AF meets CD at Y, and BF meets CE at Z, then the three points ...

Every nonplanar graph contains either the utility graph K_(3,3) (i.e., the complete bipartite graph on two sets of three vertices) or the pentatope graph K_5 as a ...

Dual pairs of linear programs are in "strong duality" if both are possible. The theorem was first conceived by John von Neumann. The first written proof was an Air Force ...

The generalization of the Schönflies theorem to n dimensions. A smoothly embedded n-hypersphere in an (n+1)-hypersphere separates the (n+1)-hypersphere into two components, ...

In the classical quasithin case of the quasithin theorem, if a group G does not have a "strongly embedded" subgroup, then G is a group of Lie-type in characteristic 2 of Lie ...

Niven's theorem states that if x/pi and sinx are both rational, then the sine takes values 0, +/-1/2, and +/-1. Particular cases include sin(pi) = 0 (1) sin(pi/2) = 1 (2) ...

If the faces of a convex polyhedron were made of metal plates and the polyhedron edges were replaced by hinges, the polyhedron would be rigid. The theorem was stated by ...

If algebraic integers alpha_1, ..., alpha_n are linearly independent over Q, then e^(alpha_1), ..., e^(alpha_n) are algebraically independent over Q. The ...

The prime number theorem shows that the nth prime number p_n has the asymptotic value p_n∼nlnn (1) as n->infty (Havil 2003, p. 182). Rosser's theorem makes this a rigorous ...

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, ...