Search Results for ""

Let ABCD be a quadrilateral with perpendicular polygon diagonals. The midpoints of the sides (a, b, c, and d) determine a parallelogram (the Varignon parallelogram) with ...

Two unit-speed plane curves which have the same curvature differ only by a Euclidean motion.

Let K be a finite complex, let h:|K|->|K| be a continuous map. If Lambda(h)!=0, then h has a fixed point.

Any cubic curve that passes through eight of the nine intersections of two given cubic curves automatically passes through the ninth.

Let f:D(z_0,r)\{z_0}->C be analytic and bounded on a punctured open disk D(z_0,r), then lim_(z->z_0)f(z) exists, and the function defined by f^~:D(z_0,r)->C f^~(z)={f(z) for ...

In 1638, Fermat proposed that every positive integer is a sum of at most three triangular numbers, four square numbers, five pentagonal numbers, and n n-polygonal numbers. ...

The absence of contradiction (i.e., the ability to prove that a statement and its negative are both true) in an Axiomatic system is known as consistency.

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

As Lagrange showed, any irrational number alpha has an infinity of rational approximations p/q which satisfy |alpha-p/q|<1/(sqrt(5)q^2). (1) Furthermore, if there are no ...

If the random variates X_1, X_2, ... satisfy the Lindeberg condition, then for all a<b, lim_(n->infty)P(a<(S_n)/(s_n)<b)=Phi(b)-Phi(a), where Phi is the normal distribution ...