Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The Fourth Geometry I: Difference--Angle Geometry Beyond Euclid, Hyperbolic, and Elliptic

Masanori Nakazato

TL;DR

This paper develops Difference–Angle Geometry (DA geometry), a projective-grounded framework in which angles are primitive and defined as the difference of slopes relative to a fixed reference structure. It builds an axiomatic system, a DA norm, and a cascade of results—DA triangles, bisectors, and Miquel-type theorems—uncovering both Euclidean-like results and novel parabolic phenomena. By exploiting singular lines and a parabolic limit, the work derives new DA-specific theorems (e.g., DA bisector collinearity, parabolic Miquel quadrilateral) and shows how some DA results export to classical geometry, enriching the landscape of geometric configurations. The study also lays a foundation for a hierarchical notion of similarity and congruence within DA geometry, including side-length norms, angle-based similarity, and SAS± equivalences, signaling a robust, autonomous geometric theory that may serve as a fourth geometry beyond Euclidean, hyperbolic, and elliptic.

Abstract

In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the fundamental question ``What is an angle?'', and shows that an angle can be defined independently of circles or rotations, as a primary geometric notion. Within this geometry, one can define difference-angle triangles, norms, bisectors, perpendiculars, and inner products. Several characteristic properties not seen in existing geometries emerge, together with behaviors analogous to those in Euclidean geometry: the triangle inequality always holds with equality, the sum of the interior angles of any triangle is $0$, and a Miquel point exists even for parabolas. In particular, the concurrency of the parabolic Miquel configuration was suggested by Weiss and Odehnal, and our main theorem provides the first explicit and rigorous confirmation of this assertion. We also point out that many classical Euclidean configurations (including Brocard-type configurations) naturally reappear in the setting of difference-angle geometry. These results indicate that difference-angle geometry is a promising candidate for a ``Fourth Geometry'' following the Euclidean, hyperbolic, and elliptic geometries.

The Fourth Geometry I: Difference--Angle Geometry Beyond Euclid, Hyperbolic, and Elliptic

TL;DR

This paper develops Difference–Angle Geometry (DA geometry), a projective-grounded framework in which angles are primitive and defined as the difference of slopes relative to a fixed reference structure. It builds an axiomatic system, a DA norm, and a cascade of results—DA triangles, bisectors, and Miquel-type theorems—uncovering both Euclidean-like results and novel parabolic phenomena. By exploiting singular lines and a parabolic limit, the work derives new DA-specific theorems (e.g., DA bisector collinearity, parabolic Miquel quadrilateral) and shows how some DA results export to classical geometry, enriching the landscape of geometric configurations. The study also lays a foundation for a hierarchical notion of similarity and congruence within DA geometry, including side-length norms, angle-based similarity, and SAS± equivalences, signaling a robust, autonomous geometric theory that may serve as a fourth geometry beyond Euclidean, hyperbolic, and elliptic.

Abstract

In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the fundamental question ``What is an angle?'', and shows that an angle can be defined independently of circles or rotations, as a primary geometric notion. Within this geometry, one can define difference-angle triangles, norms, bisectors, perpendiculars, and inner products. Several characteristic properties not seen in existing geometries emerge, together with behaviors analogous to those in Euclidean geometry: the triangle inequality always holds with equality, the sum of the interior angles of any triangle is , and a Miquel point exists even for parabolas. In particular, the concurrency of the parabolic Miquel configuration was suggested by Weiss and Odehnal, and our main theorem provides the first explicit and rigorous confirmation of this assertion. We also point out that many classical Euclidean configurations (including Brocard-type configurations) naturally reappear in the setting of difference-angle geometry. These results indicate that difference-angle geometry is a promising candidate for a ``Fourth Geometry'' following the Euclidean, hyperbolic, and elliptic geometries.

Paper Structure

This paper contains 34 sections, 61 theorems, 156 equations, 72 figures, 3 tables.

Table of Contents

  1. Introduction
  2. Motivation
  3. Structure of the Main Theorems
  4. Philosophical Foundations of DA Geometry
  5. Projective Geometry and the Problem of Angle
  6. Undefined Terms and Primitive Notions
  7. Axiomatic System
  8. Definitions
  9. Preparation: The nature of angle — difference of slopes (coordinate-free definition)
  10. Invariance and coordinate representation.
  11. System of Definitions for the Difference Angle
  12. Well-definedness of the Difference Angle and Isoptic Curve
  13. Difference-Angle Norm.
  14. DA Triangles
  15. DA Bisectors, the Incenter, and Surrounding Results
  16. ...and 19 more sections

Key Result

Proposition 1

On the Euclidean plane $\mathbb{R}^2$, if segment congruence is taken to be the usual one induced by the Euclidean distance and angle congruence is defined as “equality of Euclidean angle measure,” then ax:CONG1ax:CONG2ax:CONG3 hold, whereas ax:CONG5 does not hold in general (in particular, for angl

Figures (72)

  • Figure 1: Projective gauge $(\ell,d)$ with projection.
  • Figure 2: Axiom A2 (additivity) and A1 (antisymmetry).
  • Figure 3: Slope of a line and the definition of the difference angle.
  • Figure 4: Fundamental notions related to the parabolic power.
  • Figure 5: Definition of the difference angle.
  • ...and 67 more figures

Theorems & Definitions (132)

  • Remark 1: Reason for adopting A5(ii)
  • Remark 2: Choice of Boundary Policy
  • Definition 1: Secondary Length Structure
  • Remark 3: Relation to Hilbert's System
  • Proposition 1: Independence of (P1--P6)
  • Proposition 2: Independence of PAR and A
  • Proposition 3: Independence of CONG5
  • Remark 4
  • Remark 5
  • Remark 6: Assumption on coordinate systems
  • ...and 122 more