Laguerre Formula¶
A projective-geometry formula recovering the acute angle between two real lines from the cross-ratio of their ideal points and absolute-conic intersections.
Core Idea¶
The Laguerre formula converts a geometric angle question into a projective cross-ratio calculation. Two real line directions determine ideal points; the absolute conic contributes two complex intersections on their joining ideal line. The cross-ratio of those four points, followed by a principal complex logarithm and magnitude, gives the acute angle between the lines in the frozen source's convention. The absolute conic is not ornamental: it imports the metric information that a generic projective ratio lacks.
The source's short derivation obtains a cross-ratio of e^{±2iφ}; that relation explains why a logarithm extracts an angle while the absolute value removes the orientation sign. In computer vision, projection can preserve cross-ratio and the image of the absolute conic supplies an invariant reference. This does not mean an arbitrary image pixel angle is the scene angle or that calibration can be omitted. Degenerate directions and branch choices require care; this entry states the formula's conceptual structure rather than a full projective-geometry proof.
Scope of Application¶
These uses require the absolute conic and the formula's angular branch convention.
- Projective geometry. Relate Euclidean angle to conic-referenced ideal-point data.
- Computer-vision theory. Explain how projection-invariant cross-ratio can interact with metric calibration.
- Formula interpretation. Track the complex intermediate and real angular output without hiding branch choices.
- Geometric comparison. Distinguish a scene-line angle from its apparent image-plane angle.
Clarity¶
Identify the two real line directions, their ideal points, and the absolute conic's two intersections before forming the ordered cross-ratio. Inclusion: The source's e^{±2iφ} relation yields the acute angle under the principal-log and magnitude convention. Exclusion: An arbitrary four-point ratio or raw pixel angle does not. Nearest boundary: A projected image preserves cross-ratio, but scene-angle recovery still needs its metric-bearing absolute-conic reference. Branch and degenerate-direction limits remain explicit.
Manages Complexity¶
Four projective points compress metric angle information into a quantity preserved by image projection. The simplification depends on keeping track of a non-obvious special conic, point ordering, complex logarithm, and angular range; hiding any of those can make an invariant-looking but wrong calculation.
Abstract Reasoning¶
- Identify the two proper real lines and their ideal directions.
- Locate the absolute conic and its intersections with the joining ideal line.
- Form the ordered four-point cross-ratio.
- Use the principal complex logarithm and magnitude under the acute-angle convention.
- In an image application, separate projection invariance from the need to know the metric-bearing conic image.
Knowledge Transfer¶
The target–surrogate–mapping relation transfers from projective angle derivation to camera geometry only with the absolute conic and branch conventions preserved. Cross-ratio invariance alone does not make arbitrary scene angles recoverable from an uncalibrated image or from unrelated point quadruples.
Relationships to Other Abstractions¶
Current abstraction Laguerre Formula Domain-specific
Parents (1) — more general patterns this builds on
-
Laguerre Formula is a kind of Representation Prime
Laguerre's formula represents a Euclidean line angle through an absolute-conic cross-ratio and a branch-constrained logarithmic decoding.
Hierarchy path (1) — routes to 1 parentless root
- Laguerre Formula → Representation → Abstraction
Neighborhood in Abstraction Space¶
Laguerre Formula sits in a moderately populated region (45th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Coordinate Systems & Spatial Measures (29 abstractions)
Nearest neighbors
- Rational Normal Scroll — 0.87
- Macbeath Region — 0.87
- Mass Point Geometry — 0.86
- Piola transformation — 0.86
- Rational normal curve — 0.86
Computed from structural-signature embeddings · 2026-10-08