Search Results for ""

In predicate calculus, an existential formula is a prenex normal form formula (i.e., a formula written as a string of quantifiers and bound variables followed by a ...

An existential sentence is a statement claiming the existence of an object with given properties. In the language of set theory it can be formulated as follows, exists x in U ...

Draw a triangle DeltaA_1A_2A_3, and let A_1^' be the intersection of the parallel to A_3A_1 through A_2 (the A_2-exmedian) and the parallel to A_1A_2 through A_3 (the ...

The expectation value of a function f(x) in a variable x is denoted <f(x)> or E{f(x)}. For a single discrete variable, it is defined by <f(x)>=sum_(x)f(x)P(x), (1) where P(x) ...

The exponential factorial is defined by the recurrence relation a_n=n^(a_(n-1)), (1) where a_0=1. The first few terms are therefore a_1 = 1 (2) a_2 = 2^1=2 (3) a_3 = ...

The exponential transform is the transformation of a sequence a_1, a_2, ... into a sequence b_1, b_2, ... according to the equation ...

The radius of an excircle. Let a triangle have exradius r_A (sometimes denoted rho_A), opposite side of length a and angle A, area Delta, and semiperimeter s. Then r_1 = ...

Given triangle DeltaABC, there are four lines simultaneously tangent to the B- and C-excircles (with centers J_B and J_C, respectively). Of these, three correspond to the ...

The extangents circle is the circumcircle of the extangents triangle. Its center function is a complicated 9th-order polynomial and its circle function is a complicated ...

The triangle T that is externally tangent to the excircles and forms their triangular hull is called the extangents triangle (Kimberling 1998, p. 162). It is homothetic to ...