Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.14452

Signed Quantities and Quadrilaterals: Geometry without Cases

George-Rubin Thomas
View original source ↗Read source document ↗Export metadata ↓

Abstract

Ordinary angles and unsigned areas discard orientation, and much of the case analysis in plane geometry is the price of that loss. Signed quantities (directed angles, oriented areas and directed distances) keep the signs and so let one argument serve for every configuration. We illustrate this with results that hold uniformly for convex, concave and crossed quadrilaterals: the diagonal area formula, an identity expressing one diagonal in terms of the sides and the other diagonal, a test for a pair of parallel sides, a theorem on equidiagonal quadrilaterals (such a quadrilateral has a pair of equal opposite sides if and only if it has a pair of parallel opposite sides), and a single ratio of directed distances that decides whether the vertices lie on an ellipse, only on hyperbolas, or on a circle.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

George-Rubin Thomas. 2026-10-10. Signed Quantities and Quadrilaterals: Geometry without Cases. https://arxiv.org/abs/2610.14452

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Ramanujan Pell K3 Surface and Cube Representations

A negative Pell equation produces positive integers with $a_n^3+b_n^3+c_n^3=561N_n^3+(-1)^{n+1}$. We classify all positive solutions satisfying the natural linear constraints of the construction and prove an exact pairwise coprimality law, with exceptional factor $137$ in one class modulo $68$. The associated sextic $K=(1-13u+26u^2)^3+(6+182u^2)^3$ defines an elliptic K3 surface with six type-IV fibres. Its genus-four cubic cover has a geometrically simple Prym threefold; exact good-reduction arithmetic establishes simplicity over every finite extension of the residue field. We determine the full geometric Mordell-Weil group, the integral Neron-Severi and transcendental lattices, and the arithmetic Picard lattice over $\mathbb{Q}$, which is $U\oplus\langle-4\rangle^{\oplus4}$. Every two-cube representation by rational functions over $\mathbb{Q}$ is obtained from a multiple of one section, with numerator degrees $2m^2$ and denominator degree $2m^2-2$. Polynomial rigidity follows without a degree assumption. Along the specified Pell orbit all specialized points are nontorsion, their heights are $\frac{4}{3}|n|\log(8+\sqrt{65})+O(1)$, and infinitely many rational cubic-twist classes occur. We also identify the local zeta function at $19$ and the generic rank and rank-jump criterion for the corresponding two-parameter base-change family.

math.GM↗
arXiv2026

Squircular Calculations

The Fernandez-Guasti squircle is a plane algebraic curve that is an intermediate shape between the circle and the square. It has qualitative features that are similar to the more famous Lamé curve. However, unlike the Lamé curve which has unbounded exponents, the Fernandez-Guasti squircle is a low degree quartic curve. This makes it more amenable to algebraic manipulation and simplification. In this paper, we will analyze this squircle and derive formulas for its area, arc length, and polar form. We will also provide several parametric equations of this squircle. Finally, we extend the Fernandez-Guasti squircle to three dimensions by coming up with an analogous surface that is an intermediate shape between the sphere and the cube.

math.GM↗
arXiv2026

A Survey on Lawvere's Fixed-Point Theorem

Lawvere's fixed-point theorem organizes self-reference around a representation hypothesis and a diagonal calculation. This survey develops its set-theoretic, finite-product, and cartesian closed formulations while distinguishing representation on points from equality of whole morphisms. Detailed applications include Cantor's theorem, arithmetic diagonalization, a truth-schema obstruction, an incompleteness consequence with explicit assumptions, the halting problem, and Kleene's recursion theorem. A powerset dcpo supplies a nontrivial positive representation of continuous maps and illustrates the difference between fixed-point existence, a uniform operator, and a least fixed point. Further sections compare parameterized recursion and trace, substructural and relational generalizations, constructive witness data, and topological variants. Throughout, the relevant maps, equality relations, and additional hypotheses are kept explicit. Worked examples use finite tables, Boolean equations, numerical function codes, factorial approximations, and self-output programs. The survey is intended for readers beginning category theory who wish to understand both the common diagonal mechanism and the work required in its applications.

math.GM↗