Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Affine Angles via Area Cross Ratio and Isoptic Hyperbolas

Masanori Nakazato

Abstract

Affine geometry is usually regarded as a framework in which metric notions such as distance and angle are absent. However, just as projective geometry produces various metric geometries by introducing additional structures on the line at infinity, affine geometry can also serve as a natural basis for an angular geometry once certain directions at infinity are fixed. In this paper we introduce an affine angle determined by two fixed directions on the line at infinity and defined via an area cross ratio. This quantity is invariant under affine transformations preserving the chosen directions. We show that the locus of points from which a fixed segment is seen under a constant affine angle is a hyperbola whose asymptotes are parallel to the chosen directions. This provides an affine analogue of the classical fact that in Euclidean geometry the isoptic curve of a segment is a circle. Furthermore, we establish that this angle arises as a parabolic degeneration of the Cayley--Klein angle, and that the same quantity naturally appears in a power theorem associated with hyperbolas. These results provide a unified perspective linking affine angles, isoptic hyperbolas, and hyperbolic power through the area cross ratio.

Affine Angles via Area Cross Ratio and Isoptic Hyperbolas

Abstract

Affine geometry is usually regarded as a framework in which metric notions such as distance and angle are absent. However, just as projective geometry produces various metric geometries by introducing additional structures on the line at infinity, affine geometry can also serve as a natural basis for an angular geometry once certain directions at infinity are fixed. In this paper we introduce an affine angle determined by two fixed directions on the line at infinity and defined via an area cross ratio. This quantity is invariant under affine transformations preserving the chosen directions. We show that the locus of points from which a fixed segment is seen under a constant affine angle is a hyperbola whose asymptotes are parallel to the chosen directions. This provides an affine analogue of the classical fact that in Euclidean geometry the isoptic curve of a segment is a circle. Furthermore, we establish that this angle arises as a parabolic degeneration of the Cayley--Klein angle, and that the same quantity naturally appears in a power theorem associated with hyperbolas. These results provide a unified perspective linking affine angles, isoptic hyperbolas, and hyperbolic power through the area cross ratio.
Paper Structure (18 sections, 27 theorems, 169 equations, 10 figures)

This paper contains 18 sections, 27 theorems, 169 equations, 10 figures.

Table of Contents

  1. Introduction
  2. Motivation
  3. Main Results
  4. Position of the Affine Angle
  5. The Affine Plane as a Geometric Platform
  6. Affine Angle
  7. Validity of the Affine Angle
  8. Verification of A1--A4
  9. Verification of A5 and Interpretation as a Cayley--Klein Angle
  10. Transformation Group
  11. Isoptic Loci
  12. Affine Plane with Reference Directions
  13. Hyperbolic Nature of the Isoptic Locus under Normalization
  14. Isoptic Hyperbolas and Selection of Admissible Regions (Connected Components)
  15. The Power Theorem for Hyperbolas
  16. ...and 3 more sections

Key Result

Lemma 1

The set $\Lambda\setminus\{P_U,P_V\}$ is divided into three connected components, and the sign of $\sigma_\Lambda(L)$ is constant on each component. More precisely:

Figures (10)

  • Figure 1:
  • Figure 3: (a) Affine angle represented on the line at infinity. (b) Affine plane with fixed directions $u$ and $v$ defining the angle.
  • Figure 4: (a) Definition of the $\Lambda$-area ratio. (b) Case $\sigma_\Lambda(L) > 0$. (c) Case $\sigma_\Lambda(L) < 0$.
  • Figure 5:
  • Figure 7: (a) Normalized configuration for the proof of the isoptic property, with fixed reference directions $u$ and $v$ and a point $P=(p,q)$. (b) Normalized isoptic curve obtained in the proof, given by $p^2-(q+\beta)^2=1-\beta^2$.
  • ...and 5 more figures

Theorems & Definitions (51)

  • Definition 1: $\Lambda$-Area Ratio
  • Lemma 1: Sign of $\sigma_\Lambda(L)$
  • Definition 2: Area Cross Ratio
  • Theorem 2.1: $CR_{\mathrm{area}}$ is independent of $\Lambda$
  • Theorem 2.2: Affine invariance of $CR_{\mathrm{area}}$
  • Theorem 2.3
  • Definition 3: Affine Angle via the Area Cross Ratio
  • Remark 1
  • Proposition 1: Reality of the $(u,v)$-affine angle
  • Remark 2
  • ...and 41 more