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.

Version: v1 · 2026-09-28 · History
Domain-specific #: 10295
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Projective Geometry → Mathematics
Aliases: Laguerre angle formula

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.

Structural Signature¶

Sig role-phrases:

real line directions — Provide the pair whose acute angle is sought and their corresponding ideal points. It is constitutive. Counterfactual: One line or coincident ideal directions cannot supply the stated four-point construction without qualification.
absolute conic — Supplies the two complex ideal intersections that encode Euclidean metric structure in the projective setting. It is constitutive. Counterfactual: An arbitrary reference conic does not carry the same angle relation.
four-point cross-ratio — Combines conic intersections and line ideal points in a projectively preserved quantity. It is constitutive. Counterfactual: An arbitrary four-point ratio lacks the specified angular identity.
complex logarithm and branch — Converts the cross-ratio's phase into a real acute-angle magnitude under the principal-value convention. It is constitutive. Counterfactual: Ignoring log branch and absolute value can return a different oriented or multivalued angle.
projection context — Explains where invariant image geometry can support the relation while not promising uncalibrated angle recovery. It is boundary. Counterfactual: A random retinal-plane quadrilateral does not reveal the absolute conic by itself.

What It Is Not¶

A dot-product identity. It uses ideal points and a cross-ratio instead of directly comparing Euclidean direction vectors.
Any four-point cross-ratio. The particular absolute-conic and line-at-infinity points are load-bearing.
Raw image angle. Pixel-plane appearance need not preserve a scene's Euclidean angle.
Unrestricted complex logarithm. The principal branch and magnitude select the stated acute result.
Closest near-miss. Two projected lines may look measurable in a single image, but an ordinary apparent pixel angle is not the Laguerre angle unless the metric-bearing absolute-conic relation is available.

Scope of Application¶

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 P1/P2 as line ideal points and I1/I2 as the absolute conic's intersections, then take their cross-ratio in the specified order. The principal logarithm turns e^{±2iφ} into an angular value; magnitude yields the acute result. This is not a formula for any image quadrilateral or a license to read scene angles directly from pixels.

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.

Examples¶

Canonical¶

For two proper real lines whose acute separation is φ, form their ideal points and the corresponding absolute-conic intersections. The source's derivation identifies the cross-ratio with e^{±2iφ}; the principal logarithm and absolute-value convention recover the acute magnitude.

Mapped back: real line directions → two distinct proper real lines; absolute conic → their ideal-line complex intersections; four-point cross-ratio → Cr(I1,I2,P1,P2)=e^{±2iφ}; complex logarithm and branch → principal Log followed by |1/(2i)·|; projection context → projective construction before imaging.

Applied / In Practice¶

A computer-vision image preserves the relevant cross-ratio under projection, making the angle relation useful when the image of the absolute conic is accounted for. Measuring the raw pixel intersection angle alone does not instantiate the formula.

Mapped back: real line directions → scene-line directions represented by ideal points; absolute conic → metric-bearing image of the absolute conic; four-point cross-ratio → invariant under the stated projection; complex logarithm and branch → acute-angle recovery under chosen convention; projection context → camera image with required geometry.

Structural Tensions¶

T1 — Projective Invariance versus Metric Dependence. Cross-ratio survives projection while angle requires the special absolute-conic reference that encodes Euclidean metric information.

Diagnostic: Where did the metric structure enter an otherwise projective calculation?

T2 — Complex Expression versus Real Acute Result. The intermediate cross-ratio and logarithm are complex but the prescribed branch and magnitude yield the target real angle under domain restrictions.

Diagnostic: Was the proper branch and angular range retained?

Structural–Framed Character¶

The approved DAG parent is Representation: an acute real-line angle is encoded by a projective cross-ratio and decoded through a branch-constrained complex logarithm. Absolute-conic points anchor the metric; not every formula qualifies by name alone.

Evaluative weight: Low; branch and calibration determine valid interpretation. Human-practice-bound: Low formally, though geometric conventions are chosen. Institutional origin: Projective geometry established the formula; invariance alone is not enough. Vocabulary travels: Camera geometry may use it when absolute conic and branch are retained. Import versus recognize: Recognize the angle relation by ideal points, metric anchor, and log rule; an arbitrary four-point cross-ratio imports no recoverable angle.

Its character: A formal representational subtype with portable invariant-surrogate mapping and exact metric decoding.

Structural Core vs. Domain Accent¶

Skeletal core. A target quantity is encoded in an invariant surrogate and recovered by an interpretation rule.

Domain-bound accent. The target is an acute Euclidean line angle; the surrogate uses ideal points and absolute conic, decoded by a complex logarithm.

Why not prime. Representation is general; without the conic anchor or branch convention this named formula fails.

This entry is a kind of Representation.

Strict parent — representation. The angle is the target; the cross-ratio is a surrogate medium; the absolute-conic and logarithm supply mapping and interpretation conditions, with a stated acute-angle fidelity limit.
Related — cross-ratio. The projective invariant is a constitutive ingredient but is not alone the full Laguerre angle formula.

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 (45^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Coordinate Systems & Spatial Measures (29 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Dot-product angle. Tell: Are the lines represented by ideal points and absolute-conic data?
Cross-ratio alone. Tell: Are the metric-bearing conic points and logarithm still present?
Image-plane angle. Tell: Is apparent pixel geometry being mistaken for scene geometry?
Complex branch. Tell: Which angular range and logarithm convention produce the reported result?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Laguerre_formula (revision 1140749509).
Preserved source candidate: https://books.google.com/books?id=F_NP8Kub2XYC&pg=PA342
Preserved source candidate: https://books.google.com/books?id=LZ4QAgAAQBAJ&pg=PA148

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.