|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
Moved from the article
Angles and orthogonality
Given two intersecting lines in the Cayley–Klein model, which are intersecting chords in the unit disk, we can find the angle between the lines by mapping the chords, expressed as parametric equations for a line, to parametric functions in the Poincaré disk model, finding unit tangent vectors, and using this to determine the angle.
We may also compute the angle between the chord whose ideal point endpoints are and , and the chord whose endpoints are and , by means of a formula. Since the ideal points are the same in the Cayley–Klein model and the Poincaré disk model, the formulas are identical for each model.
If both chords are diameters, so that and , then we are merely finding the angle between two unit vectors, and the formula for the angle is
If but not , the formula becomes, in terms of the wedge product,
If both chords are not diameters, the general formula obtains
Determining angles is greatly simplified when the question is to determine or construct right angles in the hyperbolic plane. A line in the Poincaré disk model corresponds to a circle orthogonal to the unit disk boundary, with the corresponding Cayley–Klein model line being the chord between the two points where this intersects the boundary. The tangents to the intersection at the two endpoints intersect in a point called the pole of the chord. Any line drawn through the pole, which is the center of the Poincaré model circle, will intersect the Poincaré model circle orthogonally, and hence the line segments intersect the chord in the Cayley–Klein model, which corresponds to the circle, as perpendicular lines.
Restating this, a chord intersecting a given chord of the Cayley–Klein model, which when extended to a line passes through the pole of the chord , is perpendicular to . This fact can be used to give an easy proof of the ultraparallel theorem.