Related papers: Theorems of Euclidean Geometry through Calculus
Hyperbolic geometry is developed in a purely algebraic fashion from first principles, without a prior development of differential geometry. The natural connection with the geometry of Lorentz, Einstein and Minkowski comes from a projective…
We present a complete system of inequalities for the inradius, circumradius, and diameter in the $3$-dimensional Euclidean space. To do so, we prove quasiconcavity of the inradius evaluated over $n$-simplices with a common facet…
We formulate a number of new results in Algebraic Geometry and outline their derivation from Theorem 2.12 which belongs to Algebraic Combinatorics.
The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from…
We give detailed exposition of modern differential geometry from global coordinate independent point of view as well as local coordinate description suited for actual computations. In introduction, we consider Euclidean spaces and different…
In this work, we develop Extraction Theorems for classes of geometric objects with small extraction numbers. These classes include intervals, axis-parallel segments, axis-parallel rays, and octants. We investigate these classes of objects…
Motivated by the geometrical structures of quantum mechanics, we introduce an almost-complex structure $J$ on the product $M\times M$ of any parallelizable statistical manifold $M$. Then, we use $J$ to extract a pre-symplectic form and a…
Some basic notions of classical algebraic geometry can be defined in arbitrary varieties of algebras $\Theta.$ For every algebra $H$ in $\Theta$ one can consider algebraic geometry in $\Theta$ over $ H.$ Correspondingly, algebras in…
This article describes an entirely algebraic construction for developing conformal geometries, which provide models for, among others, the Euclidean, spherical and hyperbolic geometries. On one hand, their relationship is usually shown…
Calculus of Variation combined with Differential Geometry as tools of modelling and solving problems in image processing and computer vision were introduced in the late 80's and the 90s of the 20th century. The beginning of an extensive…
Conics in the Euclidean space have been known for their geometrical beauty and also for their power to model several phenomena in real life. It usually happens that when thinking about the conics in a semi-Riemannian manifold, the equations…
We consider here a generalization of a well known discrete dynamical system produced by the bisection of reflection angles that are constructed recursively between two lines in the Euclidean plane. It is shown that similar properties of…
In the first two sections of this paper we provide a brief account of the Cayley-Dickson algebras and prove that the radius on these algebras is given by the Euclidean norm. With this observation we resort to three related topics: a variant…
We develop a theory for quotients of geometries and obtain sufficient conditions for the quotient of a geometry to be a geometry. These conditions are compared with earlier work on quotients, in particular by Pasini and Tits. We also…
The Descartes circle theorem states that if four circles are mutually tangent with disjoint intersion, then their curvatures (or "bends) b_j = 1/r_j satisfy the relation (b_1 + b_2 + b_3 + b_4)^2 = 2(b_1^2 + b_2^2 + b_3^2 + b_4^2). We show…
We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the…
We address the issue of angular measure, which is a contested issue for the International System of Units (SI). We provide a mathematically rigorous and axiomatic presentation of angular measure that leads to the traditional way of…
Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build…
It is shown that each continuous transformation $h$ from Euclidean $m$-space ($m>1$) into Euclidean $n$-space that preserves the equality of distances (that is, fulfils the implication $|x-y|=|z-w|\Rightarrow|h(x)-h(y)|=|h(z)-h(w)|$) is a…
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…