Related papers: Area Inside A Circle: Intuitive and Rigorous Proof…
Recent analyses of Brahmagupta's discourse on the cyclic quadrilateral, and of Baudh\=ayana's approximate quadrature of the circle, have shown that it is useful to submit mathematical texts to a form of literary analysis. Several passages…
In decision theoretic estimation of parameters in Euclidean space $\mathbb{R}^p$, the action space is chosen to be the convex closure of the estimand space. In this paper, the concept has been extended to the estimation of circular…
Regions in the Euclidean plane surrounded by circles are fundamental geometric and combinatorial objects. Related studies have been done and we cannot explain them precisely, or roughly, well. We study such regions whose Poincar\'e-Reeb…
An elementary proof of Kepler's first law, i.e. that bounded planetary orbits are elliptical, is derived without the use of calculus. The proof is similar in spirit to previous derivations, in that conservation laws are used to obtain an…
An arrangement of pseudocircles is a collection of simple closed curves on the sphere or in the plane such that any two of the curves are either disjoint or intersect in exactly two crossing points. We call an arrangement intersecting if…
We study six pedal-like curves associated with the ellipse which are area-invariant for pedal points lying on one of two shapes: (i) a circle concentric with the ellipse, or (ii) the ellipse boundary itself. Case (i) is a corollary to…
This is the full version of a paper submitted to the Computability in Europe (CiE 2023) conference, with all proofs omitted there. In 2012 P. D. Azar and S. Micali introduced a new model of interactive proofs, called "Rational Interactive…
This article supports the epistemological claim that sound human reasoning about ultimate knowledge is either foundational or circularly justified. In particular, questions which naturally arise in theology, philosophy, and related…
In this paper, I aim to articulate and investigate the philosophical implications and inherent symbolism surrounding the mathematical properties of Ouroboros spaces and their respective functions. Initially, I provide a brief historical…
Regions-based theories of space aim -- among others -- to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed,…
We study triangles and quadrilaterals which are inscribed in a circle and circumscribed about a parabola. Although these are particular cases of the celebrated Poncelet's Theorem, in this paper we {\it do not assume} the theorem but prove…
Intellectual space is defined as the set of all proofs of mathematical logic, contained in The Book conceived by Erdos. Physical and intellectual spaces are visualized, making use of concepts from intuitive set theory.
Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of…
In this paper we give an elementary proof of the local sum conjecture in two dimensions. In a remarkable paper [CMN, arXiv:1810.11340], this conjecture has been established in all dimensions using sophisticated, powerful techniques from a…
This paper revisits the foundations of mathematical proof through the lens of Aristotle's threefold conception of truth: sensory evidence, axiomatic definition, and syllogistic deduction. I argue that modern mathematics has too often…
An almost forgotten gem of Gauss tells us how to compute the area of a pentagon by just going around it and measuring areas of each vertex triangles (i.e. triangles whose vertices are three consecutive vertices of the pentagon). We give…
We briefly show how the use of topological spaces and $\sigma$-algebras in physics can be rederived and understood as the fundamental requirement of experimental verifiability. We will see that a set of experimentally distinguishable…
The area method is a decision procedure for geometry developed by Chou et al. in the 1990's. The method aims to reduce the specified hypothesis to an algebraically verifiable form by applying elimination lemmas. The order in which the…
We study loop near-rings, a generalization of near-rings, where the additive structure is not necessarily associative. We introduce local loop near-rings and prove a useful detection principle for localness.
We derive algebraic equations on the coefficients of the implicit equation to characterize all Dupin cyclides passing through a fixed circle. The results are applied to solve the basic problems in CAGD about blending of Dupin cyclides along…