Related papers: Yet another proof from the Book: the Gauss theorem…
About the relation between a counterexample in the theory of numbers constructible by ruler and compass, due to Ian Stewart, and Alhazen's problem concerning the circular mirror.
This is a detailed survey -- with rigorous and self-contained proofs -- of some of the basics of elementary combinatorics and algebra, including the properties of finite sums, binomial coefficients, permutations and determinants. It is…
This article presents a clear proof of the Riemann Mapping Theorem via Riemann's method, uncompromised by any appeals to topological intuition.
Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a…
We present a simple short proof of the Fundamental Theorem of Algebra, without complex analysis and with a minimal use of topology. It can be taught in a first year calculus class.
Exploring selected reductio ad absurdum proofs in Book 1 of the Elements, we show they include figures that are not constructed. It is squarely at odds with Hartshorne's claim that "in Euclid's geometry, only those geometrical figures exist…
We give an especially simple proof of a theorem in graph theory that forms the key part of the solution to a problem in commutative algebra, on how to characterize the integral closure of a polynomial ring generated by quadratic monomials.
We show how Cartesian method can be used in the proof of fundamental planimetric topics of the school course, such as introduction of trigonometric functions, equation of a line and similarity of triangles. This work also can be considered…
The manuscript presents a theoretical proof in conglomeration with new definitions on Inaccessibility and Inside for a point S related to a simple or self intersecting polygon P. The proposed analytical solution depicts a novel way of…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
We observe that a lemma used in the study of even sets of nodes on surfaces applies almost verbatim to prove a celebrated formula of Gauss on the 2-torsion of the class group of a quadratic field.
For a geodesic ball with non-negative Ricci curvature and almost maximal volume, without using compactness argument, we construct an $\epsilon$-splitting map on a concentric geodesic ball with uniformly small radius. There are two new…
In this note we prove a theorem concerning the sewing of even dimensional neighbourly polytopes. The theorem provides a fast algorithm for sewing in practice. We also give a description of the universal faces of a sewn $d$-polytope in terms…
There is no field with only one element, yet there is a well-defined notion of what projective geometry over such a field means. This notion is familiar to experts and plays an interesting role behind the scenes in combinatorics and…
A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green's and…
Conditions for Bayesian posterior robustness have been examined in recent literature. However, many of the proofs seem to be long and complicated. In this paper, we first summarize some basic lemmas that have been applied implicitly or…
In classical geometry, there is no such well-known and much-studied topic as the construction of conic sections (or briefly conics) from its five points. Its importance in many applications of mechanical engineering, civil engineering and…
A Gauss diagram (or, more generally, a chord diagram) consists of a circle and some chords inside it. Gauss diagrams are a well-established tool in the study of topology of knots and of planar and spherical curves. Not every Gauss diagram…
The basic results of a new theory of regular functions of a quaternionic variable have been recently stated, following an idea of Cullen. In this paper we prove the minimum modulus principle and the open mapping theorem for regular…