Related papers: Area Inside A Circle: Intuitive and Rigorous Proof…
The inscribed angle theorem, a famous result about the angle subtended by a chord within a circle, is well known and commonly taught in school curricula. In this paper, we present a generalisation of this result (and other related circle…
The fixed-point theory and its applications to various areas of science are well known. In this paper we present some existence and uniqueness theorems for fixed circles of self-mappings on metric spaces with geometric interpretation. We…
We investigate regions formed by cylinders of circles of fixed radii. We investigate graphs obtained by collapsing each level set of the functions represented by the natural projections of them to the $1$-dimensional line. Some specific…
Starting from any given rational-sided, right triangle, for example the $(3,4,5)$-triangle with area $6$, we use Euclidean geometry to show that there are infinitely many other rational-sided, right triangles of the same area. We show…
In this paper we study the inversion in an ellipse and some properties, which generalizes the classical inversion with respect to a circle. We also study the inversion in an ellipse of lines, ellipses and other curves. Finally, we…
Implicit locus equations in GeoGebra allow the user to do experiments with generalization of the concept of ellipses, namely with $n$-ellipses. By experimenting we obtain a geometric object that is very similar to a set of two circles.
We present a sequent-style proof system for provability logic GL that admits so-called circular proofs. For these proofs, the graph underlying a proof is not a finite tree but is allowed to contain cycles. As an application, we establish…
Advances in natural language processing have resulted in increased capabilities with respect to multiple tasks. One of the possible causes of the observed performance gains is the introduction of increasingly sophisticated text…
This paper studies how spatial thinking interacts with simplicity in [informal] proof, by analysing a set of example proofs mainly concerned with Ferrers diagrams (visual representations of partitions of integers, and comparing them to…
It is shown here how prior estimates on the local shape of the universe can be used to reduce, to a small region, the full parameter space for the search of circles in the sky. This is the first step towards the development of efficient…
This paper is a brief and informal presentation of cirquent calculus, a novel proof system for resource-conscious logics. As such, it is a refinement of sequent calculus with mechanisms that allow to explicitly account for the possibility…
In his treatise addressed to Dositheus of Pelusium, Archimedes of Syracuse obtained the result of which he was the most proud: a sphere has two-thirds the volume of its circumscribing cylinder. At his request a sculpted sphere and cylinder…
We prove the filling area conjecture in the hyperelliptic case. In particular, we establish the conjecture for all genus 1 fillings of the circle, extending P. Pu's result in genus 0. We translate the problem into a question about closed…
Integrals related to the surface area of arbitrary ellipsoids are derived, evaluated, and compared with each other and existing integrals found in the literature. We clarify the literature on the ellipsoid area problem, which dates back to…
We propose two new proofs of the Pythagorean theorem via area rearrangement arguments starting from very simple geometric configurations. The constructions depend on an angular parameter, each choice of which yields a proof. For specific…
In this paper, an efficient algorithm to find the center of the biggest circle inscribed in a given polygon is described. This work was inspired by the publication of Daniel Garcia-Castellanos & Umberto Lombardo and their algorithm used to…
This article has been written for an educational magazine whose target audience consists of students and teachers of mathematics in universities, colleges and schools. It concerns a notion of duality between rectangles. A proof is given…
We consider the electromagnetic field in a cavity with a periodically oscillating perfectly reflecting boundary and show that the mathematical theory of circle maps leads to several physical predictions. Notably, well-known results in the…
We discuss the understanding of geometry of the circle in ancient India, in terms of enunciation of various principles, constructions, applications etc. during various phases of history and cultural contexts.
We use the classical definitions (i) $\pi$ is the ratio of area to the square of the radius of a circle; (ii) $\pi$ is the ratio of circumference to the diameter of a circle, to prove $\pi$'s existence within the purview of Euclidean…