Abstract:A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and three medial parallelograms, which will be referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to $n$-dimensional simplices for all $n > 3$. Part III explains how, for $n = 3$, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to $\mathbb Z_2^4$, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank $3$ chirotope, aka affine oriented matroid.

On the Closed-Form Solution to the Interior Goat Problem in One Dimension

A Mathematical Model of Go Upstairs and Its Solving

Happy Ending: An Empty Hexagon in Every Set of 30 Points

The algebraic matroid of the Heron variety

Differential Equations and Exact Solutions in the Moving Sofa Problem

An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros

Formal Verification of the Empty Hexagon Number

Interior point solutions of variational problems and global inverse function theorems

On the Number of Zeros of Abelian Integrals: A Constructive Solution of the Infinitesimal Hilbert Sixteenth Problem

A General Method to Determine Limiting Optimal Shapes for Edge-Isoperimetric Inequalities

On infinite versions of the prisoner problem

A lower bound for Heilbronn's triangle-problem

Integer Solutions, Rational solutions of the equations x^4+y^4+z^4 -2(x^2)(y^2)-2(y^2)(z^2)-2(z^2)(x^2)=n and x^2+y^4+z^4-2x(y^2)-2x(z^2)-2(y^2)(z^2)=n; And Crux Mathematicorum Contest problem CC24

On Double-One Matrices and Double-Zero Matrices

On Solutions of the One-Dimensional Goldshtik Problem

A geometry in the set of solutions to ill-posed linear problems with box constraints: Applications to probabilities on discrete sets

A Note on High-dimensional D. H. Lehmer Problem

On a problem posed by Bjorn Poonen

The Onsager conjecture in 2D: a Newton-Nash iteration

The 3x+1 Problem: An Overview

An Extremal Graph Problem on a Grid and an Isoperimetric Problem for Polyominoes