Related papers: Area Inside A Circle: Intuitive and Rigorous Proof…
Analogy has received attention as a form of inductive reasoning in the empirical sciences. However, its role in pure mathematics has received less consideration. This paper provides an account of how an analogy with a more familiar…
We study the packing of a large number of congruent and non--overlapping circles inside a regular polygon. We have devised efficient algorithms that allow one to generate configurations of $N$ densely packed circles inside a regular polygon…
Part 1 : For more than two millennia, ever since Euclid's geometry, the so called Archimedean Axiom has been accepted without sufficiently explicit awareness of that fact. The effect has been a severe restriction of our views of space-time,…
We prove an integral formula for continuous paths of rectangles inscribed in a piecewise smooth loop. We then use this integral formula to show that (with a very mild genericity hypothesis) the number of rectangle coincidences, informally…
The generalization of the area theorem is derived for the case of a pulse circulating inside a ring laser cavity. In contrast to the standard area theorem, which is valid for a single pass of a traveling pulse through a resonant medium, the…
We study some properties of a triad of circles associated with a triangle. Each circle is inside the triangle, tangent to two sides of the triangle, and externally tangent to the circle on the third side as diameter. In particular, we find…
We answer the question: who first proved that $C/d$ is a constant? We argue that Archimedes proved that the ratio of the circumference of a circle to its diameter is a constant independent of the circle and that the circumference constant…
We present a geometric way of describing the irrationality of a number using the area of a circular sector $A(r)$. We establish a connection between this and the continued fraction expansion of the number, and prove bounds for $A(r)$ as…
New condition is found for the set of points in the plane, for which the locus is a circle. It is proved: the locus of points, such that the sum of the $(2m)$-th powers $S_n^{(2m)}$}of the distances to the vertexes of fixed regular…
Often some interesting or simply curious points are left out when developing a theory. It seems that one of them is the existence of an upper bound for the fraction of area of a convex and closed plane area lying outside a circle with which…
The general validity of the area law for black holes is still an open problem. We first show in detail how to complete the usually incompletely stated text-book proofs under the assumption of piecewise $C^2$-smoothness for the surface of…
We study the geometry of the space of rational curves on smooth complete intersections of low degree, which pass through a given set of points on the variety. The argument uses spreading out to a finite field, together with an adaptation to…
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…
Mathematicians judge proofs to possess, or lack, a variety of different qualities, including, for example, explanatory power, depth, purity, beauty and fit. Philosophers of mathematical practice have begun to investigate the nature of such…
In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence.…
The recent non-calculus proof of Kepler's first law succeeds because of an obscure, but valid property of the ellipse.
Cyclic proof theory breaks tradition by allowing certain infinite proofs: those that can be represented by a finite graph, while satisfying a soundness condition. We reconcile cyclic proofs with traditional finite proofs: we extend abstract…
A significant amount of research has considered mathematical proofs, the students who learn them, and the instructors that teach them, from a variety of perspectives. This paper considers this topic from four main perspectives: students'…
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 book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Classical theorems are revisited, with a new flavour, and become…