Superegg¶

A superegg is the solid of revolution formed by rotating an elongated superellipse of exponent greater than two about its long axis.

Version: v1 · 2026-09-28 · History
Domain-specific #: 7771
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Geometry → Mathematics

Core Idea¶

A superegg is the solid of revolution produced by rotating an elongated superellipse with exponent \(p>2\) about its longest axis.^[1] With horizontal radius \(R\) and half-height \(h\), the solid is described by

\[ \left|\frac{\sqrt{x^2+y^2}}{R}\right|^p+ \left|\frac{z}{h}\right|^p\leq1. \]

Its horizontal sections are circles, and the exponent controls the flattening at the equator and tips.^[2] Using equality rather than inequality selects only the boundary surface; the inequality includes the three-dimensional interior.^[3]

The exponent condition is not decorative. At \(p=2\) the equation gives an ellipsoid, whereas \(p>2\) produces the flatter-ended superellipsoidal profile associated with a superegg.^[4] Zero curvature at its tips enables an elongated superegg to stand upright on a flat surface, a behavior unavailable to the corresponding elongated ellipsoid.^[5]

The abstraction is therefore determined by both its generating operation and parameter regime: an elongated superellipse is revolved around its long axis, and the superelliptic exponent remains above two. An egg-like solid lacking that rotational construction, or a general superellipsoid without circular horizontal sections, is not sufficient.^[6]

Structural Signature¶

Sig role-phrases:

the elongated profile — a superellipse with a distinct long axis supplies the two-dimensional generating curve.
the revolution axis — rotation occurs about the profile's longest axis, enforcing axial symmetry and circular horizontal sections.
the exponent regime — the superelliptic exponent satisfies p > 2, producing flatter equatorial and tip regions than the ellipsoidal boundary case.
the scale parameters — horizontal radius R and half-height h set the ideal solid's size and elongation.
the solid inequality — points satisfying |(√(x²+y²))/R|^p + |z/h|^p ≤ 1 constitute the filled three-dimensional body.
the section guarantee — every horizontal slice inside the allowed height is a circle whose radius follows from the same defining relation.
the surface branch — replacing the inequality with equality retains the boundary surface while excluding the solid interior.
the ellipsoidal boundary — setting p = 2 yields an ellipsoid rather than a superegg in the stipulated exponent regime.
the tip consequence — the ideal elongated shape has zero curvature at its tips, permitting upright balance on a flat surface.
the family boundary — an egg-like silhouette, a nonrevolved superellipsoid, or a body without circular horizontal sections does not satisfy the superegg construction.
the physical-realization limit — material density, manufacturing error, and mass distribution can affect an object's actual balance without changing the classification of the ideal geometric solid.

What It Is Not¶

Not any egg-shaped solid. Visual resemblance does not establish the generating operation: the profile must be an elongated superellipse revolved about its long axis.
Not an ellipsoid. Setting the exponent to (p=2) reaches the ellipsoidal boundary, whereas the stipulated superegg regime has (p>2).
Not every superellipsoid. A general superellipsoid need not arise by the required axial revolution or possess circular horizontal sections.
Not merely the boundary surface. Equality in the displayed relation selects the surface; the superegg as a solid uses the inequality and includes the three-dimensional interior.
Not defined by upright balance alone. Zero tip curvature explains why the ideal elongated form can stand, but a manufactured object may balance for unrelated reasons without satisfying the geometric construction.
Not a guarantee about a physical specimen's stability. Material density, mass distribution, surface irregularity, and manufacturing error can prevent an exact or approximate superegg from exhibiting the ideal balancing consequence.

Scope of Application¶

Superegg operates within geometry and exact shape realization wherever an elongated superellipse with exponent p > 2 is revolved about its long axis, producing an axially symmetric solid with circular horizontal sections. The map requires that construction and parameter regime: a merely egg-like body, an ellipsoid at p = 2, or a general superellipsoid lacking the revolution structure lies outside it.

Analytic solid definition — the inequality in radius and height coordinates specifies the filled three-dimensional body through R, h, and p.^[7]
Surface-of-revolution modeling — replacing the inequality by equality selects the boundary surface while preserving the same generating profile and axis.
Cross-section analysis — horizontal slices are derived as circles whose radii vary with height according to the defining relation.
Parameter-family comparison — R/h controls elongation and p controls flattening, allowing instances to vary without leaving the family while p > 2 remains satisfied.
Volume calculation — integration or equivalent generalized-trigonometric methods derive the solid's volume from the same profile and parameters.
Tip-curvature and balance analysis — zero curvature at the ideal tips explains how an elongated superegg can stand upright on a flat surface or another superegg.
Geometric design and manufacture — toys, models, and shaped objects literally instantiate the form when their geometry approximates the declared superegg construction, with material and mass distribution treated separately.
Family-boundary classification — comparisons with ellipsoids and other superellipsoids test whether exponent, axis of revolution, circular sections, and filled-versus-surface referent have been preserved.

Clarity¶

Naming a superegg distinguishes a particular solid of revolution from an object that merely looks egg-shaped. The generating profile must be an elongated superellipse, the rotation must be about its long axis, and the exponent must exceed two. This also locates the boundaries cleanly: \(p=2\) gives an ellipsoid, a general superellipsoid need not have circular horizontal sections, and replacing the defining inequality with equality denotes only the boundary surface rather than the filled solid.

The term gives a geometer a direct recognition question: Does the proposed shape arise from the specified superelliptic profile and parameter regime? Its ability to stand on a tip is a useful consequence of zero tip curvature, not a substitute for that construction. A manufactured ornament can balance upright for other reasons and still fail to be a superegg in the mathematical sense.

Manages Complexity¶

Rotationally symmetric egg-like solids could be described point by point or by a large mesh, but the superegg equation reduces the entire shape to three geometric parameters and one construction. The horizontal radius R and half-height h set scale and elongation; the exponent p controls how sharply the profile transitions between its equator and tips; revolution about the long axis guarantees circular horizontal sections. From this compact parameter set, a geometer can read the principal regimes: p = 2 returns the ellipsoidal boundary case, p > 2 produces the flatter-ended superegg family, and changing R/h varies proportion without changing the type.

The inequality/equality choice exposes another branch cleanly: the inequality denotes the filled solid, whereas equality retains only its boundary surface. Once those choices are fixed, cross-sections and volume can be derived from the same profile rather than reconstructed independently for every realization, and the zero-curvature tip explains the characteristic upright-balance behavior. The compression does not encode material, manufacturing tolerances, mass distribution, or imperfections that affect a physical object's stability. Nor does it cover general superellipsoids lacking the specified axis of revolution. It replaces spatial detail with the parameters that govern the ideal geometric family while keeping physical realization outside that boundary.

Abstract Reasoning¶

A classification move runs from a rotational solid's generating profile and axis to its geometric type. If the profile is an elongated superellipse, rotation is about its long axis, and the exponent satisfies p > 2, the result is a superegg. Circular horizontal sections support that diagnosis; an egg-like silhouette by itself does not, because an unrelated solid can have a similar outline without the required construction.

A parameter-to-shape move runs from R, h, and p to predicted geometric features. The ratio R/h controls proportion, while increasing p within the allowed regime changes the flattening at the equator and tips. The same defining relation lets a geometer derive cross-sections and volume rather than measuring each realization separately. For an ideal elongated superegg, zero curvature at the tips also predicts the characteristic possibility of upright balance, although a physical specimen's material and mass distribution can defeat that consequence.

A boundary-and-intervention move asks what follows when one defining choice changes. Setting p = 2 moves the profile to the ellipsoidal boundary; rotating a different profile or using an axis that does not yield circular horizontal sections exits the named family. Replacing the inequality by equality changes the referent from the filled three-dimensional solid to its boundary surface. These controlled changes identify which observed differences are parameter variation within the family and which constitute a change of geometric object.

Knowledge Transfer¶

Within geometry, the superegg transfers literally across analytic descriptions, cross-section calculations, solid modeling, and physical realizations. The same construction carries from an ideal equation to a manufactured object: choose an elongated superellipse with p > 2, revolve it about its long axis, and preserve circular horizontal sections. The parameters R, h, and p, the equality-versus-inequality distinction, and the diagnostic boundary at p = 2 let geometers compare scale, elongation, flattening, surface, and solid without confusing a visual resemblance with membership in the family.

Beyond this family, the strongest reach is (B) a shared abstract mechanism under transformation: a lower-dimensional profile generates a higher-dimensional object by revolution, and a small parameter change selects a qualitative shape regime. That construction is reusable in geometric design, but the particular superelliptic profile, long-axis rotation, circular sections, and p > 2 condition remain home-bound to the superegg. Physical balancing supplies a consequence and possible diagnostic, not a portable definition; material and mass distribution can alter it. Describing an egg-shaped building, capsule, or ornament as a superegg is only (A) analogy unless its geometry satisfies the construction. The transfer stops at general superellipsoids, ellipsoids, or meshes that lack the required rotational and exponent structure.

Examples¶

Canonical¶

Piet Hein's parameter choice gives a canonical member: take exponent p = 2.5 and proportion R/h = 6/5, then revolve the corresponding elongated superellipse about its long axis.^[8] In cylindrical radius r = √(x²+y²), the filled body consists of points satisfying |r/R|^2.5 + |z/h|^2.5 ≤ 1. At a fixed height z, the allowed points form a circular disk; changing ≤ to = retains only the boundary surface.^[9] Setting p = 2 would instead produce an ellipsoid.^[10]

Mapped back: The generating curve is the elongated profile, its long axis is the revolution axis, and p = 2.5 satisfies the exponent regime. The proportion R/h = 6/5 instantiates the scale parameters, the displayed relation is the solid inequality, and its circular slices demonstrate the section guarantee. The equality alternative is the surface branch, while p = 2 marks the ellipsoidal boundary.

Applied / In Practice¶

Superegg novelties, including brass examples sold in the 1960s, turn the ideal construction into a physical object intended to stand upright on one tip.^[11] The geometric explanation is the ideal form's zero curvature at the tip, not simply its egg-like appearance. A manufactured piece may nevertheless fail to balance if its density, mass distribution, surface, or machining departs from the model, so successful standing is a consequence to test rather than the definition.^[12]

Mapped back: The shaped object approximates the elongated profile, the revolution axis, and the exponent regime of the ideal body. Its ability to stand exhibits the tip consequence; judging the object by construction rather than silhouette preserves the family boundary, and separating ideal geometry from density and manufacturing error preserves the physical-realization limit.

Structural Tensions¶

T1: Exact construction versus visual resemblance (generated identity and egg-like appearance). The superegg's analytic definition makes membership independent of whether an observer finds a solid convincingly egg-shaped. That precision protects the category, but a physical realization is usually only an approximation to the ideal profile. Classifying by appearance admits unrelated solids; demanding literal pointwise equality excludes the manufactured objects for which the form became recognizable. The useful boundary lies in whether the object's geometry is intentionally and adequately governed by the elongated superellipse and long-axis revolution. Diagnostic: Is the shape supported by the specified generating profile and exponent regime, or is “superegg” being inferred only from an egg-like silhouette?

T2: Continuous parameter change versus categorical boundary (nearby shapes across p = 2). Varying p, R, and h gives a continuous family of proportions and flattenings, yet the stipulated name begins only for an elongated profile with p > 2; at p = 2 the construction is ellipsoidal. Treating the threshold as visually dramatic misrepresents a continuous geometric change; erasing it makes the defining regime meaningless. The mathematical family therefore has a crisp classificatory boundary even when nearby shapes look nearly indistinguishable. Diagnostic: Is the claim about a continuous change in form or about membership in the named p > 2 family, and has the exponent actually crossed that boundary?

T3: Filled solid versus boundary surface (one equation, two geometric objects). The inequality specifies the three-dimensional body, whereas equality selects its two-dimensional boundary. Moving between them is analytically convenient because they share parameters and profile, but volume, interior membership, and surface properties answer different questions. Calling both simply “the superegg” can aid informal discussion while hiding which object a proof or model uses. Insisting on separate vocabulary at every mention can obscure their constructional relation. Diagnostic: Does the argument require interior points and volume, or only the boundary surface, and is the inequality/equality choice consistent with that requirement?

T4: Ideal tip geometry versus physical balance (mathematical possibility and material outcome). Zero curvature at an ideal tip explains why an elongated superegg can stand upright, making balance a striking consequence of the geometry. Actual stability also depends on mass distribution, surface contact, and manufacturing accuracy. Treating successful balance as the definition admits non-superegg objects that stand for other reasons; treating the ideal result as a guaranteed physical performance ignores realization error. The consequence is informative only when geometry and material conditions are kept distinct. Diagnostic: Is upright balance being derived from the ideal superegg profile, or observed in a specimen whose mass and contact conditions require separate evaluation?

T5: Superegg autonomy versus reduction to Superquadrics. Every qualifying superegg is a strict specialization of the immediate domain-specific parent abstraction Superquadrics (Superquadrics): it retains the signed-power geometry with positive scales and exponents while imposing equal horizontal radii, circular horizontal sections, long-axis revolution, an elongated profile, and p > 2. Reduction gains the broader in-domain family but loses the constraints that distinguish the superegg; treating the solid as wholly autonomous hides that complete family membership. The generating Transformation is a constituent operation, not the genus.
Diagnostic: Does the object merely satisfy the superquadric family equation, or does it also meet the superegg's circular-section, elongation, revolution, and exponent conditions?

Structural–Framed Character¶

Superegg is structural-leaning on the structural–framed spectrum: it is an exact geometric object generated by a formal operation, while its membership remains tied to a narrow superquadric parameter regime.

On evaluative_weight, the name classifies a solid without judging its beauty, novelty, or practical stability. On human_practice_bound, people choose notation and fabricate examples, but the ideal profile, revolution, circular sections, exponent regime, and curvature consequences do not depend on an ongoing practice. On institutional_origin, no authority constitutes the shape, although mathematical convention fixes whether the filled inequality or boundary equality is being named. On vocab_travels, rotation, axis, scale, exponent, section, solid, and surface have broad formal meanings, whereas superellipse, superquadric, circular horizontal section, and the p > 2 superegg regime are geometry-specific. On import_vs_recognize, the defining equation and generating construction reveal a superegg directly; upright balance or an egg-like silhouette alone imports the label without the required geometry.

The exact Superquadrics is the in-domain umbrella: it supplies the signed-power family, positive scale and exponent parameters, and surface-or-solid distinction. The smallest reviewed portable skeleton is Transformation, present as the constitutive operation that revolves a two-dimensional profile into a three-dimensional body while preserving its radial relation. That cross-domain reach belongs to the Transformation Prime, while equal horizontal radii, long-axis revolution, circular sections, elongation, and p > 2 remain home-bound.

Its character: a structural-leaning geometric solid whose generating transformation is portable but whose superquadric family membership and exponent-and-axis constraints determine the named form.

Structural Core vs. Domain Accent¶

This decomposition shows why Superegg is a domain-specific abstraction rather than a Prime.

What is skeletal (could lift toward a cross-domain prime). The exact in-domain umbrella is Superquadrics: a three-dimensional surface or solid is governed by a signed-power equation with positive scale and exponent parameters whose variation redistributes curvature. Superegg strictly specializes that complete family, while Transformation supplies only the constitutive operation that maps a two-dimensional generating profile into a body of revolution. Remove the superegg constraints and a superquadric remains; remove the signed-power carrier or the profile-to-solid transformation and the candidate cannot be constructed.

What is domain-bound. Superegg fixes an elongated superellipse, revolves it about its longest axis, gives the two horizontal axes equal radius, requires circular horizontal sections, and restricts the exponent to p > 2. The inequality denotes the filled body and equality its surface; p = 2 is the ellipsoidal boundary. These are recognition conditions, not decorative descriptors: an egg-like silhouette, a nonrevolved superellipsoid, or a body that happens to balance upright does not qualify without the complete equation, axis, section, and exponent structure.

Why this does not clear the prime bar. The complete signed-power, elongated-superellipse, long-axis-revolution, circular-section, and p > 2 signature does not recur literally in three unrelated domains such as organizational governance, stellar astronomy, and language policy. Those domains may instantiate Transformation, but they do not instantiate Superegg; even geometric design transfers the name literally only when the same construction and parameter regime are preserved. Portable reach belongs to the profile-to-solid Transformation, while Superquadrics remains the in-domain umbrella. Removing the geometric accent leaves either a general superquadric or a transformation, not Superegg. Conversely, retaining egg, tip, or revolution vocabulary while removing the signed-power construction and exponent boundary leaves a resemblance or a different solid rather than the candidate-level abstraction.

This entry is a kind of Superquadrics.

Strictly instantiates — Superquadrics (Superquadrics). A superegg satisfies the superquadric family's signed-power, positive-scale, positive-exponent geometry: its horizontal axes share radius R, its vertical scale is h, and its equal exponent p > 2 produces the stipulated elongated solid or boundary. Superquadrics can instead be boxlike, pinched, noncircular in horizontal section, or use other exponent regimes, so the parent survives without the child's long-axis revolution, circular-section guarantee, and superegg boundary conditions. Those added constraints establish strict subsumption by the cataloged family.

Contains as a constitutive part — Transformation (Transformation). Rotating the elongated superellipse about its long axis is the generating operation that maps a two-dimensional profile into the three-dimensional body while preserving the profile-imposed radial relation. That transformation is necessary to Superegg's construction but is not the resulting solid itself, so it is a constituent operation rather than the child's genus.

Relationships to Other Abstractions¶

Current abstraction Superegg Domain-specific

Parents (1) — more general patterns this builds on

Superegg is a kind of Superquadrics Domain-specific

A superegg satisfies the superquadric family's signed-power, positive-scale, positive-exponent geometry: its horizontal axes share radius R, its vertical scale is h, and its equal exponent p > 2 produces the stipulated elongated solid or boundary.

Hierarchy path (1) — routes to 1 parentless root

Superegg → Superquadrics → Scale

Neighborhood in Abstraction Space¶

Superegg sits in a sparse region of the domain-specific corpus (78^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Superellipse. A superellipse is the two-dimensional profile whose axial revolution generates the superegg; it is an ingredient rather than the three-dimensional solid. Tell: inspect whether the object is a planar locus or the solid obtained by revolving that locus about its longest axis.
Ellipsoid. An ellipsoid is the (p=2) boundary case of the displayed family, whereas a superegg requires the flatter-ended regime (p>2). Tell: read the exponent in the normalized radial equation and classify (p=2) as ellipsoidal and (p>2) as the superegg regime.
Superellipsoid. A superellipsoid is the broader family of three-dimensional superquadric forms and need not have circular horizontal sections or arise from the required axial revolution. Tell: verify rotational symmetry about the long axis and circular cross-sections, not merely membership in a superquadric family.

References¶

[1] Eric W. Weisstein, Superegg, MathWorld—A Wolfram Resource (accessed 2026-09-13). registry ↩

[2] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[3] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[4] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[5] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[6] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[7] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[8] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[9] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[10] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[11] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[12] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩