Search Results for ""

Jung's theorem states that the generalized diameter D of a compact set X in R^n satisfies D>=Rsqrt((2(n+1))/n), where R is the circumradius of X (Danzer et al. 1963). This ...

Consider a reference triangle DeltaABC with circumcenter O and orthocenter H, and let DeltaA^*B^*C^* be its reflection triangle. Then Musselman's theorem states that the ...

The so-called generalized Fourier integral is a pair of integrals--a "lower Fourier integral" and an "upper Fourier integral"--which allow certain complex-valued functions f ...

Let alpha(x) be a monotone increasing function and define an interval I=(x_1,x_2). Then define the nonnegative function U(I)=alpha(x_2)-alpha(x_1). The Lebesgue integral with ...

There are two theorems commonly known as Feuerbach's theorem. The first states that circle which passes through the feet of the perpendiculars dropped from the polygon ...

If X is a locally compact T2-space, then the set C_ degrees(X) of all continuous complex valued functions on X vanishing at infinity (i.e., for each epsilon>0, the set {x in ...

A theorem that can be stated either in the language of abstract algebraic curves or transcendental extensions. For an abstract algebraic curve, if x and y are nonconstant ...

The principal theorem of axonometry, first published without proof by Pohlke in 1860. It states that three segments of arbitrary length a^'x^', a^'y^', and a^'z^' which are ...

If A is a class of recursively enumerable sets, then the set of Gödel numbers of functions whose domains belong to A is called its index set. If the index set of A is a ...

Tutte's wheel theorem states that every polyhedral graph can be derived from a wheel graph via repeated graph contraction and edge splitting. For example, the figure above ...