|
The Poincaré disc model for
 is the disc
 in which a point is similar to the Euclidean point and a line must be one of the following:
The Poincaré disc model has the drawback that lines in the model do not necessarily resemble Euclidean lines; however, it has the advantage that it is angle preserving. That is, the Euclidean measure of an angle within the model is the angle measure in hyperbolic geometry. For this reason, this model is also referred to as the conformal disc model. (See the entry conformal for more details.)
Some points outside of the Poincaré disc model are important for constructions within the model. The following is an example of such:
Let  be a line in the Poincaré disc model that is not a diameter of the circle. The pole of  is the intersection of the Euclidean lines that are tangent to the circle at the endpoints of  .
{2} \psline{<->}(-... ...rput[b](-2,-2){.} \rput[b](-2.7172,5){.} \rput[b](2.828,0.18){.} \end{pspicture}](http://images.planetmath.org:8080/cache/objects/9416/l2h/img7.png "\begin{pspicture}(-3,-2)(3,5) \pscircle[linestyle=dashed](0,0){2} \psline{<->}(-... ...rput[b](-2,-2){.} \rput[b](-2.7172,5){.} \rput[b](2.828,0.18){.} \end{pspicture}")
Note that this matches the definition of pole for the Beltrami-Klein model. Also, poles are important for the same reason that they are important in the Beltrami-Klein model: Given a line  that is not a diameter of the Poincaré disc model, one constructs a line perpendicular to  by considering Euclidean lines passing through  . Thus, two disjointly parallel lines  and  that are not diameters of the Poincaré disc model, one constructs their common perpendicular by connecting their poles. It is actually much easier to do this construction by finding the poles of the two lines, finding the common perpendicular with respect to the Beltrami-Klein model, then converting the common perpendicular to the Poincaré disc model. See the entry on converting between the Beltrami-Klein model and the Poincaré disc model for more details.
In all pictures in this entry from this point on, blue segments are lines in the Beltrami-Klein model, and red arcs are lines in the Poincaré disc model.
Below is a picture of two disjointly parallel lines  and  in the Poincaré disc model, neither of which is a diamter of the unit circle:
Their poles can be found:
The common perpendicular with respect to the Beltrami-Klein model can be found:
From this, the common perpendicular  with respect to the Poincaré disc model can be found:
| 
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
{2} \psarc{o-o}(-2,4.828){4.828}{270}{315} \end{pspicture}](http://images.planetmath.org:8080/cache/objects/9416/l2h/img3.png "\begin{pspicture}(-2,-2)(2,2) \pscircle[linestyle=dashed](0,0){2} \psarc{o-o}(-2,4.828){4.828}{270}{315} \end{pspicture}")
{2} \psarc[linecol... ...[l](-2,0){.} \rput[a](0,2){.} \rput[r](2,0){.} \rput[b](0,-2){.} \end{pspicture}](http://images.planetmath.org:8080/cache/objects/9416/l2h/img15.png "\begin{pspicture}(-2,-2)(2,2) \pscircle[linestyle=dashed](0,0){2} \psarc[linecol... ...[l](-2,0){.} \rput[a](0,2){.} \rput[r](2,0){.} \rput[b](0,-2){.} \end{pspicture}")
{2} \psline{<->}... ...rput[b](-2,-3){.} \rput[b](-2.7172,5){.} \rput[b](2.828,0.18){.} \end{pspicture}](http://images.planetmath.org:8080/cache/objects/9416/l2h/img16.png "\begin{pspicture}(-3,-3)(3,5.1) \pscircle[linestyle=dashed](0,0){2} \psline{<->}... ...rput[b](-2,-3){.} \rput[b](-2.7172,5){.} \rput[b](2.828,0.18){.} \end{pspicture}")
{2} \psline{<->}... ...845) \psline[linecolor=blue]{o-o}(-1.19,1.6055)(-0.1465,-1.9946) \end{pspicture}](http://images.planetmath.org:8080/cache/objects/9416/l2h/img17.png "\begin{pspicture}(-3,-3)(3,5.1) \pscircle[linestyle=dashed](0,0){2} \psline{<->}... ...845) \psline[linecolor=blue]{o-o}(-1.19,1.6055)(-0.1465,-1.9946) \end{pspicture}")
{2} \psline{<->}... ...{o-o}(-5.265,-1.6187){5.1963}{-4.2}{38.35} \rput[b](0,-0.3){$n$} \end{pspicture}](http://images.planetmath.org:8080/cache/objects/9416/l2h/img19.png "\begin{pspicture}(-6,-3)(3,5.1) \pscircle[linestyle=dashed](0,0){2} \psline{<->}... ...{o-o}(-5.265,-1.6187){5.1963}{-4.2}{38.35} \rput[b](0,-0.3){$n$} \end{pspicture}")