相关论文: Proof of Descartes circle formula and its generali…
A formula for the radii and positions of four circles in the plane for an arbitrary linearly independent circle configuration is found. Among special cases is the recent extended Descartes Theorem on the Descartes configuration and an…
How was this proof overlooked for 181 years? We give a simple proof of Descartes's circle theorem using Cayley-Menger determinants.
We present a generalization of Descartes' theorem for the family of polytopal sphere packings arising from uniform polytopes. The corresponding quadratic equation is expressed in terms of geometric invariants of uniform polytopes which are…
We show that for certain triangulations of surfaces, circle packings realising the triangulation can be found by solving a system of polynomial equations. We also present a similar system of equations for unbranched circle packings. The…
Descartes' circle theorem relates the curvatures of four mutually externally tangent circles, three "petal" circles around the exterior of a central circle, forming a "$3$-flower" configuration. We generalise this theorem to the case of an…
A simple proof of Thue theorem on Circle Packing is given. The proof is only based on density analysis of Delaunay triangulation for the set of points that are centers of circles in a saturated circle configuration.
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…
This is an exposition of Gauss's proof of Descartes's rule of signs.
In this article I conduct a short review of the proofs of the area inside a circle. These include intuitive as well as rigorous analytic proofs. This discussion is important not just from mathematical view point but also because…
Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if…
Translation from the Latin of "Annotationes in locum quendam Cartesii ad circuli quadraturam spectantem" (1763). The passage Euler is referring to is the "Excerpta" in part 6, p. 6 of Descartes' 1701 "Opuscula posthuma". Before reading this…
From the viewpoint of the division by zero $(0/0=1/0=z/0=0)$ and the division by zero calculus, we will show that in the very beautiful theorem by Descartes on three touching circles is valid for lines and points for circles except for one…
We show that every irreducible integral Apollonian packing can be set in the Euclidean space so that all of its tangency spinors and all reduced coordinates and co-curvatures are integral. As a byproduct, we prove that in any integral…
Algebraic deformations of modules over a ring are considered. The resulting theory closely resembles Gerstenhaber's deformation theory of associative algebras.
We prove that the theory of all modules over the ring of algebraic integers is decidable.
We define spinors for pairs of tangent disks in the Euclidean plane and prove a number of theorems, one of which may be interpreted as a "square root of Descartes Theorem". In any Apollonian disk packing, spinors form a network. In the…
The aim of this paper is to generalize Apollonius' problem. The problem is to construct a circle that is tangent to three given circles in a plane. We find the maximum possible number of solution circles in the case of more than the three…
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we will show how various…
We provide a simpler proof of the hard Lefschetz Theorem for face rings of PL spheres: While the algebraic theory remains the same, we replace the geometric constructions by Pachner's Theorem. This simplifies the reasoning for an important…
This paper proves a deformation circle pattern theorem, which gives a complete description of those circle patterns with interstices in terms of the combinatorial type, the exterior intersections angles and the conformal structures of…