Related papers: Pascal's Hexagon Theorem implies a Butterfly Theor…
This paper states and proves a generalization of the well-known Desargues involution theorem from plane projective geometry.
This article provides a new perspective on the geometry of a projective line, which helps clarify and illuminate some classical results about projective plane. As part of the same train of ideas, the article also provides a proof of the…
We discuss the theorem on the existence of six points on a convex closed plane curve in which the curve has a contact of order six with the osculating conic. (This is the ``projective version'' of the well known four vertices theorem for a…
We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting…
A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal…
The Newton line and the associated theorems by Newton and Gauss for tetragons and quadrilaterals are closely linked to some other theorems of Euclidean geometry: a theorem by Bocher on the existence of a nine-point conic of a quadrangle, a…
The goal of this paper is to formalize the notion of The Compositional Integral in The Complex Plane. We prove a convergence theorem guaranteeing its existence. We prove an analogue of Cauchy's Integral Theorem--and suggest an approach at…
In this article we will represent some ideas and a lot of new theorems in Euclidean plane geometry.
In Euclidean geometry, the Pythagorean theorem is presented as an equation involving three squares. This paper explores how analogous expressions may be identified in spherical and hyperbolic geometries.
Kapranov Theorem is a well known generalization of Newton-Puiseux theorem for the case of several variables. This theorem is stated mainly in the context of tropical geometry. We present a new, constructive proof, that also characterizes…
We propose an Euclidean geometric representation for the classical detection theory. The proposed representation is so generic that can be employed to almost all communication problems. The hypotheses and observations are mapped into R^N in…
We prove a truncated second main theorem in the projective plane for entire curves which cluster on an algebraic curve.
Pappus' Involution Theorem is a powerful tool for proving theorems about non-euclidean triangles and generalized triangles in Cayley-Klein models. Its power is illustrated by proving with it some theorems about euclidean and non-euclidean…
In this paper we present a variety of statements that are in the spirit of the famous theorem of Pascal, often referred to as the Mystic Hexagon. We give explicit equations describing the conditions for $d+4$ points to lie on rational…
We prove a complex polynomial plank covering theorem for not necessarily homogeneous polynomials. As the consequence of this result, we extend the complex plank theorem of Ball to the case of planks that are not necessarily centrally…
A slight modification to one of Tarski's axioms of plane Euclidean geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem. This change to the system of axioms…
One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…
Several incidence theorems of planar projective geometry are considered. It is demonstrated that generalizations of Pascal theorem due to M\"obius give rise to double cross-ratio equation and Hietarinta equation. The construction…
A generalization of classical theorems on the existence of sections of real, complex and quaternionic Stiefel manifolds is proved.
The famous Kepler conjecture has a less spectacular, two-dimensional equivalent: The theorem of Thue states that the densest circle packing in the Euclidean plane has a hexagonal structure. A common proof uses Voronoi cells and analyzes…