Search Results for ""

If the trilinear polars of the polygon vertices of a triangle are distinct from the respectively opposite sides, they meet the sides in three collinear points.

_2F_1(a,b;c;1)=((c-b)_(-a))/((c)_(-a))=(Gamma(c)Gamma(c-a-b))/(Gamma(c-a)Gamma(c-b)) for R[c-a-b]>0, where _2F_1(a,b;c;x) is a (Gauss) hypergeometric function. If a is a ...

If T is a set of axioms in a first-order language, and a statement p holds for any structure M satisfying T, then p can be formally deduced from T in some appropriately ...

Every finite Abelian group can be written as a group direct product of cyclic groups of prime power group orders. In fact, the number of nonisomorphic Abelian finite groups ...

Draw an initial circle, and arrange six circles tangent to it such that they touch both the original circle and their two neighbors. Then the three lines joining opposite ...

The angle bisector of an angle in a triangle divides the opposite side in the same ratio as the sides adjacent to the angle.

If an infinite number of points in the plane are all separated by integer distances, then all the points lie on a straight line.

An arbitrary rotation may be described by only three parameters.

The vectors +/-a_1, ..., +/-a_n in a three-space form a normalized eutactic star iff Tx=x for all x in the three-space.

Two nonsingular forms are equivalent over the rationals iff they have the same determinant and the same p-signatures for all p.