Heronian mean

The symmetric mean of two nonnegative numbers equal to one third of their sum plus their geometric mean.

Version

v2 · 2026-09-19 · History

Domain-specific #

4864

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Mathematical Means → Mathematics

Core Idea

For A,B≥0 the Heronian mean is (A+sqrt(AB)+B)/3, lying between the geometric and arithmetic means and arising in frustum-volume formulas. Symmetric averaging combines the endpoints with their multiplicative midpoint, preserving homogeneity, monotonicity, and idempotence. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

The load-bearing residual is not the broad topic of mathematical means. It is the domain-specific identity determined by inputs are nonnegative and the output follows the declared two-variable Heronian formula.

How would you explain it like I'm…

Three-Way Fair Share

Say you have two numbers, like 4 and 9. First you find a special in-between number, 6, because 6 times 6 is the same as 4 times 9. Then you put 4, 6 and 9 together and share them out evenly into three equal parts. That fair share is the Heronian mean.

Square-Root Middle Average

The Heronian mean is a way of finding a 'middle' value for two numbers that are zero or bigger. You add three things: the first number, the second number, and the square root of the two numbers multiplied together. Then you divide the total by 3. The answer always lands between two other kinds of average: the plain average and the 'multiplying' average (the square root of the product). It shows up when you work out the volume of a bucket shape whose top and bottom are different sizes.

Endpoints-Plus-Geometric-Mean Average

For two nonnegative numbers A and B, the Heronian mean is (A + √(AB) + B)/3. The term √(AB) is the geometric mean, a kind of 'multiplicative midpoint,' so the formula averages the two endpoints together with that midpoint. The result always lies between the geometric mean √(AB) and the arithmetic mean (A+B)/2. It behaves like a sensible mean. If A = B, you get A back. Making either input bigger never makes the result smaller. Scaling both inputs by the same factor scales the result by that factor. It appears in the formula for the volume of a frustum, a cone or pyramid with its top sliced off.

 

The Heronian mean of A, B ≥ 0 is H(A, B) = (A + √(AB) + B)/3. It averages the two endpoints together with their geometric mean. It satisfies GM ≤ H ≤ AM, sitting between √(AB) and (A + B)/2. Its key properties are symmetry in A and B; homogeneity, H(tA, tB) = tH(A, B); monotonicity in each argument; and idempotence, H(A, A) = A. It arises naturally in frustum-volume formulas, where the two base areas play the roles of A and B. Two conditions make something the Heronian mean: the inputs must be nonnegative, and the output must follow exactly this two-variable formula. Other means that also fall between the geometric and arithmetic means do not qualify.

Scope of Application

Heronian mean belongs to mathematical means and is useful where the analyst can specify the typed mathematical means carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets, then evaluate inputs are nonnegative and the output follows the declared two-variable Heronian formula. The scope is broad within that domain but bounded by the need for inputs are nonnegative and the output follows the declared two-variable Heronian formula. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity

The abstraction clarifies a crowded vocabulary by making inputs are nonnegative and the output follows the declared two-variable Heronian formula the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Heronian mean can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Heronian mean. Heronian mean compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed mathematical means carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express inputs are nonnegative and the output follows the declared two-variable Heronian formula independently of one notation or implementation. This step prevents the canonical example from becoming the definition.

Knowledge Transfer

Knowledge transfers strongly among subfields of mathematical means because they reuse the typed mathematical means carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets, Symmetric averaging combines the endpoints with their multiplicative midpoint, preserving homogeneity, monotonicity, and idempotence., and type the carrier, state every parameter and convention in the definition, test that inputs are nonnegative and the output follows the declared two-variable Heronian formula, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Heronian mean Domain-specific

Parents (1) — outgoing typed relations

• Heronian mean is a kind of Measurement Prime

  What makes it its own entry: the domain-specific identity determined by inputs are nonnegative and the output follows the declared two-variable Heronian formula.

Hierarchy path (1) — routes to 1 parentless root

• Heronian mean → is a kind of Measurement

Neighborhood in Abstraction Space

Heronian mean sits in a moderately populated region (46^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Sampling, Monte Carlo & Estimation (23 abstractions)

Nearest neighbors

• Exchangeable random variables — 0.86
• Weight function — 0.86
• Control variates — 0.86
• Interchange of limiting operations — 0.86
• Error analysis (mathematics) — 0.86

Computed from structural-signature embeddings · 2026-10-25