Search Results for ""

For elliptic curves over the rationals Q, the group of rational points is always finitely generated (i.e., there always exists a finite set of group generators). This theorem ...

Suppose a,b in N, n=ab+1, and x_1, ..., x_n is a sequence of n real numbers. Then this sequence contains a monotonic increasing (decreasing) subsequence of a+1 terms or a ...

A theorem that classifies planar regular closed curves up to regular homotopy by their contour winding numbers (Whitney 1937). In his thesis, S. Smale generalized this result ...

The Pratt certificate is a primality certificate based on Fermat's little theorem converse. Prior to the work of Pratt (1975), the Lucas-Lehmer test had been regarded purely ...

If a points A^', B^', and C^' are marked on each side of a triangle DeltaABC, one on each side (or on a side's extension), then the three Miquel circles (each through a ...

The only whole number solution to the Diophantine equation y^3=x^2+2 is y=3, x=+/-5. This theorem was offered as a problem by Fermat, who suppressed his own proof.

The graph complement of a perfect graph is itself perfect. Originally known as the weak perfect graph conjecture (Fulkerson 1971), the result was subsequently proved by ...

Specifying two adjacent side lengths a and c of a triangle (with a<c) and one acute angle A opposite a does not, in general, uniquely determine a triangle. If sinA<a/c, there ...

Pythagoras's theorem states that the diagonal d of a square with sides of integral length s cannot be rational. Assume d/s is rational and equal to p/q where p and q are ...

If del xF=0 (i.e., F(x) is an irrotational field) in a simply connected neighborhood U(x) of a point x, then in this neighborhood, F is the gradient of a scalar field phi(x), ...