202 research outputs found
Cevian operations on distributive lattices
We construct a completely normal bounded distributive lattice D in which for
every pair (a, b) of elements, the set {x D | a b x} has a
countable coinitial subset, such that D does not carry any binary operation -
satisfying the identities x y (x-y),(x-y)(y-x) = 0, and x-z
(x-y)(y-z). In particular, D is not a homomorphic image of the
lattice of all finitely generated convex {\ell}-subgroups of any (not
necessarily Abelian) {\ell}-group. It has \lambda\infty\lambda$-elementary equivalence.Comment: 23 pages. v2 removes a redundancy from the definition of a Cevian
operation in v1.In Theorem 5.12, Idc should be replaced by Csc (especially on
the G side
Synthetic foundations of cevian geometry, I: Fixed points of affine maps in triangle geometry
We give synthetic proofs of many new results in triangle geometry, focusing
especially on fixed points of certain affine maps which are defined in terms of
the cevian triangle of a point with respect to a given triangle
, as well as the cevian triangle of the isotomic conjugate of
with respect to . We prove a formula for the cyclocevian map in terms of
the isotomic and isogonal maps using an entirely synthetic argument, and show
that the complement of the isotomic conjugate has many interesting
properties. If is the affine map taking to , we show
synthetically that is the unique ordinary fixed point of when is
any point not lying on the sides of triangle , its anti-complementary
triangle, or the Steiner circumellipse of . We also show that
if is the complement of , and that the affine map is
either a homothety or a translation which always has the -ceva conjugate of
as a fixed point. Finally, we show that lies on the Steiner
circumellipse if and only if , where is the complement
map for . This paper forms the foundation for several more papers to
follow, in which the conic on the 5 points is studied and its
center is characterized as a fixed point of the map .Comment: 25 pages, 6 figure
Synthetic foundations of cevian geometry, III: The generalized orthocenter
In this paper, the third in the series, we define the generalized orthocenter
corresponding to a point , with respect to triangle , as the unique
point for which the lines are parallel, respectively, to , where is the cevian triangle of and is the
of , both with respect to . We prove a generalized
Feuerbach Theorem, and characterize the center of the cevian conic
, defined in Part II, as the center of the affine map , where is the unique affine
map for which ; is defined similarly for the isotomic
conjugate of ; and is the complement map. The affine map
fixes and takes the nine-point conic for the
quadrangle (with respect to the line at infinity) to the inconic
, defined to be the unique conic which is tangent to the sides of
at the points . The point is therefore the point where the
nine-point conic and the inconic touch. This
theorem generalizes the usual Feuerbach theorem and holds in all cases where
the point is not on a median, whether the conics involved are ellipses,
parabolas, or hyperbolas, and also holds when is an infinite point. We also
determine the locus of points for which the generalized orthocenter
coincides with a vertex of ; this locus turns out to be the union of three
conics minus six points. All our proofs are synthetic, and combine affine and
projective arguments.Comment: 34 pages, 7 figure
On Routh-Steiner Theorem and Generalizations
Following Coxeter we use barycentric coordinates in affine geometry to prove
theorems on ratios of areas. In particular, we prove a version of Routh-Steiner
theorem for parallelograms.Comment: 11 pages, 4 figure
- …