Search Results for ""

For a quadrilateral which is not cyclic, Ptolemy's theorem becomes an inequality: AB×CD+BC×DA>AC×BD. The Ptolemy inequality is still valid when ABCD is a triangular pyramid ...

The Taniyama-Shimura conjecture, since its proof now sometimes known as the modularity theorem, is very general and important conjecture (and now theorem) connecting topology ...

The W-polynomials obtained by setting p(x)=3x and q(x)=-2 in the Lucas polynomial sequence. The first few Fermat polynomials are F_1(x) = 1 (1) F_2(x) = 3x (2) F_3(x) = ...

The study of a finite group G using the local subgroups of G. Local group theory plays a critical role in the classification theorem of finite groups.

A Mersenne number is a number of the form M_n=2^n-1, (1) where n is an integer. The Mersenne numbers consist of all 1s in base-2, and are therefore binary repunits. The first ...

Let lambda_1, ..., lambda_n in C be linearly independent over the rationals Q, then Q(lambda_1,...,lambda_n,e^(lambda_1),...,e^(lambda_n)) has transcendence degree at least n ...

A sum which includes both the Jacobi triple product and the q-binomial theorem as special cases. Ramanujan's sum is ...

In nonstandard analysis, the transfer principle is the technical form of the following intuitive idea: "Anything provable about a given superstructure V by passing to a ...

A strong pseudoprime to a base a is an odd composite number n with n-1=d·2^s (for d odd) for which either a^d=1 (mod n) (1) or a^(d·2^r)=-1 (mod n) (2) for some r=0, 1, ..., ...

An abnormal number is a hypothetical number which can be factored into primes in more than one way. Hardy and Wright (1979) prove the fundamental theorem of arithmetic by ...