Search Results for ""

Let the circles c_2 and c_3^' used in the construction of the Brocard points which are tangent to A_2A_3 at A_2 and A_3, respectively, meet again at D_A. The points D_AD_BD_C ...

The Gergonne line is Oldknow's (1996) term for the perspectrix of a contact triangle DeltaDEF and its reference triangle DeltaABC. It is determined by the Nobbs points D^', ...

The first and second isodynamic points of a triangle DeltaABC can be constructed by drawing the triangle's angle bisectors and exterior angle bisectors. Each pair of ...

Consider a reference triangle DeltaABC and externally inscribe a square on the side BC. Now join the new vertices S_(AB) and S_(AC) of this square with the vertex A, marking ...

Given a curve C and O=(x_0,y_0) a fixed point called the pedal point, then for a point P on C, draw a line perpendicular to OP. The envelope of these lines as P describes the ...

A set of four points, one of which is the orthocenter of the other three. In an orthocentric system, each point is the orthocenter of the triangle of the other three, as ...

The Spieker center is the center Sp of the Spieker circle, i.e., the incenter of the medial triangle of a reference triangle DeltaABC. It is also the center of the excircles ...

A congruence of the form f(x)=0 (mod n) where f(x) is an integer polynomial (Nagell 1951, p. 73).

For an algebra A, the associator is the trilinear map A×A×A->A given by (x,y,z)=(xy)z-x(yz). The associator is identically zero iff A is associative.

The symbol ^ which is used to denote partial conjunction in symbolic logic. It also appears in several other contexts in mathematics and is sometimes called a "wedge". In ...