Search Results for ""

An elongated square pyramid is a solid formed by attaching a square pyramid atop a square prism. Such a solid might also be termed an obelisk (although that term is also used ...

The envelope of a one-parameter family of curves given implicitly by U(x,y,c)=0, (1) or in parametric form by (f(t,c),g(t,c)), is a curve that touches every member of the ...

A version of the liar's paradox, attributed to the philosopher Epimenides in the sixth century BC. "All Cretans are liars... One of their own poets has said so." This is not ...

The center of an inner Soddy circle. It has equivalent triangle center functions alpha = 1+(2Delta)/(a(b+c-a)) (1) alpha = sec(1/2A)cos(1/2B)cos(1/2C)+1, (2) where Delta is ...

Two statements in logic are said to be equipollent if they are deducible from each other. Two sets A and B are said to be equipollent iff there is a one-to-one correspondence ...

An equivalence class is defined as a subset of the form {x in X:xRa}, where a is an element of X and the notation "xRy" is used to mean that there is an equivalence relation ...

A generalization of Turán's theorem to non-complete graphs.

The Euler points are the midpoints E_A, E_B, E_C of the segments which join the vertices A, B, and C of a triangle DeltaABC and the orthocenter H. They are three of the nine ...

For p an odd prime and a positive integer a which is not a multiple of p, a^((p-1)/2)=(a/p) (mod p), where (a|p) is the Legendre symbol.

A generalization of Fermat's little theorem. Euler published a proof of the following more general theorem in 1736. Let phi(n) denote the totient function. Then a^(phi(n))=1 ...