On the Equal Division of the Ellipse

——A Geometric Axiomatization Based on Keplerian Area Sweeping

Abstract

The geometric equal division of a circle possesses a natural uniqueness: equal division by angle, by arc length, and by central sector area are completely equivalent to one another. This is precisely the geometric foundation upon which Gauss's theory of cyclotomy was built. The ellipse, however, as an asymmetric generalization of the circle, admits no elementary, self-consistent system of arc-length equal division, and traditional geometric research has never clearly established a standard paradigm for elliptical equal division. Departing from the entrenched mindset of arc-length division, this paper starts from the natural measures of geometric structure and puts forward a core thesis: the essential equal division of the ellipse is equal division by focal sector area, not by arc length. At the same time, it strips Kepler's area law of its physical-dynamical attributes and reconstructs it as a purely geometric axiom of elliptical equal division, establishing an independent and self-consistent theory of elliptical equal division. This paper further proves that, in the limit as the eccentricity e → 0, this analytical system naturally degenerates into Gauss's theory of cyclotomy, revealing the deep unity, at the level of measure, between algebraic discrete symmetry and continuous area sweeping.

Keywords: elliptical equal division; cyclotomy; area equal division; Kepler's equation; geometric axiomatization; natural measure

I. Introduction

The greatness of Gauss's theory of cyclotomy lies in its unification of constructible regular polygons, unit-root equations, and period decomposition within the symmetric structure of the circle. Its underlying geometric premise is crucial: in the Euclidean plane, dividing the central angle of the unit circle uniformly necessarily accomplishes both equal arc-length division and equal sector-area division at the same time. This triple equivalence allows the equal division of the circle to be transformed directly into the problem of solving purely algebraic equations, forming a complete, closed, and recursively structured system of cyclotomy.

For a long time, geometric research has attempted to transplant the logic of circular equal division onto elliptical geometry, but has consistently fallen into theoretical difficulties. The core contradiction is this: past research has always habitually taken arc-length equal division as the criterion for elliptical equal division. Because elliptical arc length depends on elliptic integrals of the second kind and admits no elementary closed-form solution and no radical decomposition structure, elliptical equal division has long lacked a unified and generally accepted standard, and no complete geometric system comparable to cyclotomy could be formed.

Based on the essential geometric differences between the circle and the ellipse, this paper proceeds from structural naturalness and measure compatibility, reconstructs the definitional paradigm of elliptical equal division, establishes the central position of focal-area equal division, and completes the systematic construction of a theory of elliptical equal division.

II. The Triple Equivalence of Circular Equal Division: The Geometric Foundation of Cyclotomy

The circle is a highly symmetric centrally and axially symmetric conic with perfect geometric duality, and its equal division possesses an inseparable triple equivalence:

1. Equal division of the central angle: the full angle is divided uniformly with the center as vertex;

2. Equal division of arc length: the circumference is divided uniformly, with every equal arc segment having the same length;

3. Equal division of central sector area: the sectors bounded by the center and points on the circumference have equal areas.

The three are in complete one-to-one correspondence and absolutely equivalent. It is precisely this property that allows the geometric "construction by equal division" to be transformed directly into the algebraic "solution of unit-root equations." Gauss's hierarchical decomposition of periods and the criterion for the constructibility of Fermat primes are all built upon this natural equivalence.

In short: the circle does not require a human-defined standard of equal division; its geometric symmetry carries within itself a unique and natural paradigm of equal division. This is a geometric privilege unique to the circle, one that the ellipse does not possess, and it is the most fundamental dividing line between the two systems of equal division.

III. The Principle of Natural Geometric Measure and the Paradigm Reconstruction of Elliptical Equal Division

In geometry and physics, many "natural divisions" do not arise from human convention but are determined by structure itself. Geodesics are naturally given by the metric structure of a manifold, and the principle of least action shows that true motion often makes some action functional stationary. Similarly, the uniformity of area revealed by Kepler's second law is not merely a physical description of planetary motion but a natural manifestation of the ellipse's focal structure under the area measure.

The reason circular equal division possesses uniqueness is that its extreme symmetry makes the three measures—angle, arc length, and central sector area—coincide completely on the problem of equal division. The ellipse, by contrast, thoroughly breaks this high degree of coincidence: the division points yielded by arc length, parametric angle, central area, and focal area deviate from one another and are mutually incompatible.

Therefore, the key to elliptical equal division lies not in forcibly retaining the arc-length standard suited to the circle, but in selecting a natural measure highly compatible with the ellipse's own core geometric structure. Focal-sector-area equal division takes the defining core of the ellipse—the focus—as its vertex and generates an ordered sequence of points by uniform area increments; it both circumvents the transcendental difficulty of elliptical arc-length integrals and corresponds directly to the ellipse's primordial geometric definition. It is the natural mode of equal division suited to elliptical structure.

3.1 The Essential Failure of Arc-Length Equal Division

The ellipse is an eccentric conic with unequal major and minor axes, and its curvature varies continuously along the trajectory. Elliptical arc length is defined by an elliptic integral of the second kind:

s(φ) = ∫₀^φ √(a²cos²t + b²sin²t) dt

This integral has no elementary closed-form solution and cannot give rise to an algebraic recursive structure analogous to cyclotomic polynomials; it cannot achieve hierarchical degree reduction or radical solution.

From geometric intuition: elliptical curvature is polarized between two extremes—large near the periapsis, where arc segments are compact, and small near the apoapsis, where arc segments are stretched out. If equal arc length is forcibly pursued, the resulting division points exhibit no symmetric regularity, no algebraic structure, and no self-similarity, and thus do not qualify as a standard geometric equal division.

Therefore, this paper states explicitly: arc-length equal division is not applicable to the ellipse and cannot serve as the standard definition of elliptical equal division.

3.2 The Axiomatic Definition of Standard Elliptical Equal Division

Unlike the circle's centrally symmetric system, the ellipse's core geometric feature is its focal eccentric structure; the focus is the essential anchor that distinguishes it from the circle and defines the ellipse's geometric properties.

This paper establishes a purely geometric axiom:

The standard equal division of the ellipse is defined as the uniform division of sector areas with the ellipse's focus as the fixed vertex. This mode of equal division is not a division rule artificially imposed from without, but the natural unfolding of the ellipse's focal-area structure.

This definition thoroughly resolves the lack of a standard for elliptical equal division and achieves three breakthroughs:

1. It circumvents the transcendental difficulty of elliptical arc-length integrals and establishes a regular rule of equal division that is quantifiable, computable, and capable of sequence generation;
2. It anchors itself in the ellipse's essential geometric structure, conforms to the ellipse's eccentric symmetric properties, and possesses natural geometric rationality;
3. It can form a strict duality with the circular system of equal division, completing the symmetric closure of the theory of equal division for conics.

IV. The Purely Geometric Migration of Kepler's Principle: From Physical Law to Natural Geometric Axiom

Kepler's second law (the law of areas) was originally a dynamical law of celestial mechanics: a planet moving around a focus sweeps out equal focal sector areas in equal times.

Past research has always confined this principle to physical orbital motion and has never excavated its purely geometric ontological value. This paper accomplishes a de-physicalization and axiomatic reconstruction:

Stripping away time, velocity, dynamical causality, and other physical elements, only the underlying geometric core is retained: for any moving point on the ellipse, if it satisfies the condition of uniform incremental focal swept area, then the sequence of such moving points constitutes the natural standard sequence of equal-division points of the ellipse.

At this point, Kepler's principle is no longer an empirical law of physical motion but a geometric criterion of equal division exclusive to the ellipse and determined by its own structure.

Relying on Kepler's equation:

M = E − e sin E

the mean anomaly M increases linearly and uniformly, corresponding strictly to the uniform division of focal sector area. By solving for the eccentric anomaly E, all standard equal-division points of the ellipse can be precisely generated, forming a complete and self-consistent computational system for elliptical equal division.

V. Dualistic Comparison of the Circular and Elliptical Systems of Equal Division

Comparison Dimension Circle Ellipse

Geometric reference Center (perfect central symmetry) Focus (inherent eccentric symmetry)

Criterion of equal division Angle, arc length, and area—triple equivalence, naturally unique Measures dissociate and separate; the unnatural arc length is discarded, and focal-area equal division is taken as the sole natural paradigm

Theoretical tools Cyclotomic polynomials, Gauss periods, radical algebraic decomposition Kepler's geometric equation, focal-area sweep sequence

System attributes Algebraically solvable, recursively hierarchical, discretely symmetric Analytically self-consistent, continuously swept, structurally natural

The two are perfectly complementary, dissolving the logical incoherence brought about by directly transplanting the circular arc-length standard to the ellipse, and constructing a complete theoretical spectrum of equal division for conics.

VI. Limit Degeneration: Gauss's Theory of Cyclotomy as a Special Case of Kepler

The preceding sections constructed an axiom of elliptical equal division based on the focal-area measure. A profoundly deep theoretical duality now emerges: Gauss's theory of cyclotomy is in fact a natural special case of the elliptical equal division theory of this paper under limiting conditions.

Viewed through the analytical framework of this paper, Kepler's equation M = E − e sin E is the universal generator of elliptical equal division. When the eccentricity of the ellipse e → 0, the ellipse degenerates into a circle, and Kepler's equation degenerates into M = E. At this point, the mean anomaly (the area measure) and the eccentric anomaly (the angle measure) coincide completely, and area equal division naturally degenerates into central-angle equal division.

Algebraically, Gauss's unit-root equation zⁿ = 1 (based on the discrete symmetry of the complex exponential) can be regarded as the analytic projection of M = E in this paper onto the complex plane. In other words, Gauss's cyclotomic polynomials are merely the algebraic slice of the Keplerian area-sweeping equation at e = 0.

This discovery not only proves the absolute self-consistency of the theory of this paper but also reveals a hidden fact in the history of mathematics: algebraic cyclotomy (Gauss) and analytical sweeping (Kepler) are not two disjoint systems, but rather two unfolding forms of the same geometric ontology (natural measure) under different eccentricities. Gauss constructed the perfect algebraic endpoint of the circle, while this paper opens up the continuous analytical starting point of the ellipse.

VII. Conclusion and Academic Significance

1. This paper departs from the inertial cognition of traditional arc-length equal division and, proceeding from natural geometric measure and structural compatibility, establishes focal-sector-area equal division as the most intrinsic and natural standard paradigm of elliptical equal division;

2. It is the first to strip Kepler's area principle from the context of physical dynamics and elevate it to a purely geometric axiom of elliptical equal division, achieving a creative migration of a physical law into a foundational geometric theory;

3. It constructs a strict dual system of circle (central-symmetric area equal division)—ellipse (natural focal-area equal division), remedying the academic defect whereby traditional geometry possesses a complete theory of cyclotomy but a blank theory of elliptical equal division;

4. Through the limit of eccentricity, it proves that Gauss's theory of cyclotomy is a degenerate special case of this analytical system, completing the underlying unification of algebraic cyclotomy and continuous analytical sweeping.

In summary, the ellipse is no longer "a special curve incapable of regular equal division" but a standard conic possessing its own exclusive, independent, and structurally self-consistent natural rule of equal division, thereby achieving the complete closure of the geometric theory of equal division for conics.