Related papers: On some extensions of Morley's trisector theorem
There are proven few analogues of the Theorem of Moser using The Approximation Theorem of Artin.
The theorem of three circles in real algebraic geometry guarantees the termination and correctness of an algorithm of isolating real roots of a univariate polynomial. The main idea of its proof is to consider polynomials whose roots belong…
The geometric torsion conjecture asserts that the torsion part of the Mordell--Weil group of a family of abelian varieties over a complex quasiprojective curve is uniformly bounded in terms of the genus of the curve. We prove the conjecture…
In the paper we prove generalization of Schl\"omilch's and Zetel's theorems about concurrent lines in a triangle. This generalization is obtained as a corollary of sharp geometric inequality about the ratio of triangular areas which is…
We present here a simple proof of Brown's diagonalizability theorem for certain elements of the algebra of a left regular band, including probability measures.
We show that a weaker version of the well-known theorem of Morlaye and Joly on diagonal equations is a simple consequence of a restricted variable version of the Chevalley-Warning theorem. Moreover, we extend the result of Morlaye and Joly…
We prove a singular version of the Engel theorem. We prove a normal form theorem for germs of holomorphic singular Engel systems with good conditions on its singular set. As an application, we prove that there exists an integral analytic…
This is just a short proof of Kruskal's theorem regarding uniqueness of expressions for tensors, phrased in geometric language.
It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…
We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already,…
Newton's quadrilateral theorem can be phrased as follows. If H is a circle that is tangent to the four extended sides of a non-parallelogram quadrilateral Q, the center of H lies on the Newton line of Q. We prove that the theorem remains…
We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…
This note presents an elementary and direct proof for the convexity of the Choquet integral when the corresponding set function is submodular.
Classes of simple polynomial and simple trigonometric splines given by Fourier series are considered. It is shown that the class of simple trigonometric splines includes the class of simple polynomial splines. For some parameter values, the…
We develop Morse-Bott theory on posets, generalizing both discrete Morse-Bott theory for regular complexes and Morse theory on posets. Moreover, we prove a Lusternik-Schnirelmann theorem for general matchings on posets, in particular, for…
We give a descriptive construction of trees for multi-ended graphs, which yields yet another proof of Stallings' theorem on ends of groups. Even though our proof is, in principle, not very different from already existing proofs and it draws…
In this paper we prove a general theorem on the extensions of local nets which was inspired by recent examples of exotic extensions for Virasoro nets with central charge less than one and earlier work on cosets and conformal inclusions.…
We give sufficient conditions for the descent construction to be the universal central extension of a twisted form of a split simple Lie algebra over a ring. In particular, the universal central extensions of twisted multiloop Lie tori are…
Recent progress in generalised geometry and extended field theories suggests a deep connection between consistent truncations and dualities, which is not immediately obvious. A prime example is generalised Scherk-Schwarz reductions in…
Viviani's theorem states that the sum of distances from any point inside an equilateral triangle to its sides is constant. We consider extensions of the theorem and show that any convex polygon can be divided into parallel segments such…