Ver el código de «Triángulo de Schwarz»

En [[geometría]], un '''triángulo de Schwarz''', llamado así por el matemático alemán [[Hermann Schwarz]] (1843-1921), es un [[trigonometría esférica|triángulo esférico]] que se puede usar para [[Teselado|teselar]] una [[esfera]] (es decir, permite formar un [[poliedro esférico|teselado esférico]]) mediante sucesivas reflexiones respecto a sus lados, con la posibilidad de superposición. Fueron clasificados por {{harvsp|Schwarz|1873}}.

Se pueden definir de manera más general como teselaciones de la esfera, el [[Plano (geometría)|plano euclídeo]] o el [[geometría hiperbólica|plano hiperbólico]]. Cada triángulo de Schwarz en una esfera define un [[grupo finito]], mientras que en el plano euclídeo o hiperbólico definen un grupo infinito.

Un triángulo de Schwarz está representado por tres [[números racionales]] {{nowrap|{{math|(''p'' ''q'' ''r'')}}}}, cada uno de los cuales corresponde al ángulo en uno de sus tres vértices. El valor {{math|{{frac|''n''|''d''}}}} significa que el ángulo del vértice es {{math|{{frac|''d''|''n''}}}} del semicírculo. El valor "2" implica un [[triángulo rectángulo]]. Cuando se trata de números enteros, el triángulo se denomina '''triángulo de Möbius''' y corresponde a un teselado "no" superpuesto, y el grupo de simetría se denomina [[grupo triangular]]. En la esfera hay tres triángulos de Möbius más una familia de un parámetro; en el plano hay tres triángulos de Möbius; mientras que en el espacio hiperbólico hay una familia de triángulos de Möbius de tres parámetros y ningún [[objeto excepcional]].

==Espacio solución==
Un triángulo de dominio fundamental {{math|(''p q r'')}}, con ángulos de vértice {{math|{{frac|π|''p''}}}}, {{math|{{frac|π|''q''}}}} y {{math|{{frac|π|''r''}}}}, puede existir en diferentes espacios, dependiendo del valor de la suma de los recíprocos de estos números enteros:

: <math>
\begin{align}
\frac 1 p + \frac 1 q + \frac 1 r & > 1 \text{: Esfera} \\[8pt]
\frac 1 p + \frac 1 q + \frac 1 r &= 1 \text{: Plano euclídeo} \\[8pt]
\frac 1 p + \frac 1 q + \frac 1 r & < 1 \text{: Plano hiperbólico}
\end{align}
</math>

Esta es simplemente una forma de decir que en el [[espacio euclídeo]] los ángulos interiores de un triángulo suman &Pi;, mientras que en una esfera suman un ángulo mayor que &Pi;, y en el espacio hiperbólico suman menos.

==Representación gráfica==
Un '''triángulo de Schwarz''' se representa gráficamente mediante un [[Grafo completo|grafo triangular]]. Cada nodo representa un lado (especular) del triángulo de Schwarz. Cada arista está etiquetada por un valor racional correspondiente al orden de reflexión, siendo este valor π/[[ángulo verticial]].

{|class=wikitable
|[[File:Schwarz triangle on sphere.png|280px]]<br />Triángulo de Schwarz (''p'' ''q'' ''r'') sobre una esfera
|[[File:Schwarz triangle graph.png]]<br />Grafo del triángulo de Schwarz
|}

Los bordes de valor 2 representan espejos perpendiculares (ángulo &Pi;/2 = 90°), que se pueden ignorar en este diagrama. El [[diagrama de Coxeter-Dynkin]] representa este gráfico triangular con las aristas de orden 2 ocultas.

Se puede usar un [[grupo de Coxeter]] para manejar una notación más simple, como (''p'' ''q'' ''r'') para gráficos cíclicos, y (''p'' ''q'' 2) = [''p'',''q''] para (triángulos rectángulos), y (''p'' 2 2) = [''p'']&times;[] para triángulos esféricos con dos ángulos rectos.

==Lista de triángulos de Schwarz==

===Triángulos de Möbius para la esfera===
{|class="wikitable floatright"
![[File:Sphere symmetry group d2h.png|120px]]<br />(2 2 2) o [2,2]
![[File:Sphere symmetry group d3h.png|120px]]<br />(3 2 2) o [3,2]
!...
|-
![[File:Sphere symmetry group td.png|120px]]<br />(3 3 2) o [3,3]
![[File:Sphere symmetry group oh.png|120px]]<br />(4 3 2) o [4,3]
![[File:Sphere symmetry group ih.png|120px]]<br />(5 3 2) o [5,3]
|}

Los triángulos de Schwarz con números enteros, también llamados '''triángulos de Möbius''', incluyen una familia de 1 parámetro y tres casos [[objeto excepcional|excepcionales]]:

# [''p'',2] o (''p'' 2 2) – [[Grupo diedral]], {{DCD|node|p|node|2|node}}
# [3,3] o (3 3 2) – [[Simetría tetraédrica]], {{DCD|node|3|node|3|node}}
# [4,3] o (4 3 2) – [[Simetría octaédrica]], {{DCD|node|4|node|3|node}}
# [5,3] o (5 3 2) – [[Simetría icosaédrica]], {{DCD|node|5|node|3|node}}

===Triángulos de Schwarz para la esfera por densidad===
Los triángulos de Schwarz (''p'' ''q'' ''r''), agrupados por su [[Densidad (politopo)|densidad]] son:

{|class=wikitable style="text-align:center;"
!Densidad
!Diédrico
!Tetraédrico
!Octaédrico
!Icosaédrico
|-
|''d''||('''2''' '''2''' ''n''/''d'')||||||
|-
|1||||('''2''' 3 3)||('''2''' 3 4)||('''2''' 3 5)
|-
|2||||(3/2 3 3)||(3/2 4 4)||(3/2 5 5), (5/2 3 3)
|-
|3||||('''2''' 3/2 3)||||('''2''' 5/2 5)
|-
|4||||||(3 4/3 4)||(3 5/3 5)
|-
|5||||('''2''' 3/2 3/2)||('''2''' 3/2 4)||
|-
|6||||(3/2 3/2 3/2)||||(5/2 5/2 5/2), (3/2 3 5), (5/4 5 5)
|-
|7||||||('''2''' 3 4/3)||('''2''' 3 5/2)
|-
|8||||||||(3/2 5/2 5)
|-
|9||||||||('''2''' 5/3 5)
|-
|10||||||||(3 5/3 5/2), (3 5/4 5)
|-
|11||||||('''2''' 3/2 4/3)||('''2''' 3/2 5)
|-
|13||||||||('''2''' 3 5/3)
|-
|14||||||(3/2 4/3 4/3)||(3/2 5/2 5/2), (3 3 5/4)
|-
|16||||||||(3 5/4 5/2)
|-
|17||||||||('''2''' 3/2 5/2)
|-
|18||||||||(3/2 3 5/3), (5/3 5/3 5/2)
|-
|19||||||||('''2''' 3 5/4)
|-
|21||||||||('''2''' 5/4 5/2)
|-
|22||||||||(3/2 3/2 5/2)
|-
|23||||||||('''2''' 3/2 5/3)
|-
|-
|26||||||||(3/2 5/3 5/3)
|-
|27||||||||('''2''' 5/4 5/3)
|-
|29||||||||('''2''' 3/2 5/4)
|-
|32||||||||(3/2 5/4 5/3)
|-
|34||||||||(3/2 3/2 5/4)
|-
|38||||||||(3/2 5/4 5/4)
|-
|42||||||||(5/4 5/4 5/4)
|}

===Triángulos para el plano euclídeo===
{|class="wikitable" align=right style="text-align:center;"
|[[File:Tile 3,6.svg|120px]]<br />(3 3 3)
|[[File:Tile V488 bicolor.svg|120px]]<br />(4 4 2)
|[[File:Tile V46b.svg|120px]]<br />(6 3 2)
|}

Densidad 1:

# (3 3 3) – 60-60-60 ([[Triángulo equilátero|equilátero]]), {{DCD|branch|split2|node}}
# (4 4 2) – [[triángulo rectángulo especial|45-45-90]] (isósceles rectángulo), {{DCD|node|4|node|4|node}}
# (6 3 2) – [[triángulo rectángulo especial|30-60-90]], {{DCD|node|6|node|3|node}}
<!--#(2 2 ∞) - triángulo 90-90-0 *** grupo de Frieze, grupo diedro infinito, no compacto-->

Densidad 2:

# (6 6 3/2) - triángulo 120-30-30

Densidad ∞:

# (4 4/3 ∞)
# (3 3/2 ∞)
# (6 6/5 ∞)

===Triángulos para el plano hiperbólico===
{|class="wikitable" align=right
|- align=center
|[[File:3-7 kisrhombille.svg|120px]]<br />(7 3 2)
|[[File:H2-8-3-kisrhombille.svg|120px]]<br />(8 3 2)
|[[File:H2-5-4-kisrhombille.svg|120px]]<br />(5 4 2)
|- align=center
|[[File:Uniform dual tiling 433-t012.png|120px]]<br />(4 3 3)
|[[File:Uniform dual tiling 443-t012.png|120px]]<br />(4 4 3)
|[[File:Infinite-order triangular tiling.svg|120px]]<br />(∞ ∞ ∞)
|- align=center
|colspan=3|Dominios fundamentales de los triángulos (''p'' ''q'' ''r'')
|}
Densidad 1:

* (2 3 7), (2 3 8), (2 3 9) ... (2 3 ∞)
* (2 4 5), (2 4 6), (2 4 7) ... (2 4 ∞)
* (2 5 5), (2 5 6), (2 5 7) ... (2 5 ∞)
* (2 6 6), (2 6 7), (2 6 8) ... (2 6 ∞)
* (3 3 4), (3 3 5), (3 3 6) ... (3 3 ∞)
* (3 4 4), (3 4 5), (3 4 6) ... (3 4 ∞)
* (3 5 5), (3 5 6), (3 5 7) ... (3 5 ∞)
* (3 6 6), (3 6 7), (3 6 8) ... (3 6 ∞)
* ...
* (∞ ∞ ∞)

Densidad 2:

* (3/2 7 7), (3/2 8 8), (3/2 9 9) ... (3/2 ∞ ∞)
* (5/2 4 4), (5/2 5 5), (5/2 6 6) ... (5/2 ∞ ∞)
* (7/2 3 3), (7/2 4 4), (7/2 5 5) ... (7/2 ∞ ∞)
* (9/2 3 3), (9/2 4 4), (9/2 5 5) ... (9/2 ∞ ∞)
* ...

Densidad 3:

* (2 7/2 7), (2 9/2 9), (2 11/2 11)...

Densidad 4:

* (7/3 3 7), (8/3 3 8), (3 10/3 10), (3 11/3 11)...

Densidad 6:

* (7/4 7 7), (9/4 9 9), (11/4 11 11)...
* (7/2 7/2 7/2), (9/2 9/2 9/2)...

Densidad 10:

* (3 7/2 7)

El triángulo de Schwarz (2 3 7) es el triángulo de Schwarz hiperbólico más pequeño y, como tal, es de particular interés. Su grupo triangular (o más precisamente, el [[grupo triangular]] de isometrías que conservan la orientación) es el [[ (2,3,7) triangle group]], que es el grupo universal para todos los [[grupo Hurwitz|grupos de Hurwitz]], grupos máximos de isometrías de la [[superficie de Riemann]]. Todos los grupos de Hurwitz son cocientes del grupo de triángulos (2,3,7), y todas las superficies de Hurwitz están cubiertas por el triángulo de Schwarz (2,3,7). El grupo de Hurwitz más pequeño es el grupo simple de orden 168, el segundo [[grupo simple]] no abeliano más pequeño, que es isomorfo a [[ PSL(2,7)]], y la superficie de Hurwitz asociada (del género 3) es la [[cuártica de Klein]].

El triángulo (2 3 8) tesela la [[superficie de Bolza]], una superficie altamente simétrica (pero no de Hurwitz) de género 2.

Los triángulos con un ángulo no entero, enumerados anteriormente, fueron clasificados por [[Anthony W. Knapp]].<ref>A. W. Knapp, ''Doubly generated Fuchsian groups'', [[ Michigan Mathematical Journal]] 15 (1968), no. 3, 289–304</ref> <!-- Is this the same A W Knapp? --> Una lista de triángulos con múltiples ángulos no enteros está disponible en un texto de Klimenko y Sakuma.<ref>Klimenko and Sakuma, ''Two-generator discrete subgroups of Isom( H 2 ) containing orientation-reversing elements'', [[Geometriae Dedicata]]; October 1998, Volume 72, Issue 3, pp 247-282</ref>

==Teselado del semiplano hiperbólico a partir de un triángulo de Schwarz==

En esta sección se analizan las teselaciones del semiplano hiperbólico superior a partir de un triángulo de Schwarz utilizando métodos elementales. Para triángulos sin "cúspides" (es decir, sin ángulos iguales a cero; o lo que es lo mismo, sin vértices en el infinito) o vértices equivalentes en el eje real, se seguirá el enfoque elemental de {{harvtxt|Carathéodory|1954}}. Para triángulos con una o dos cúspides (véase [[triángulo hiperbólico#Triángulos con vértices ideales|''vértices ideales de un triángulo hiperbólico'']]) se utilizarán argumentos elementales de {{harvtxt|Evans|1973}}, simplificando el planteamiento de {{harvtxt|Hecke|1935}}: en el caso de un triángulo de Schwarz con un ángulo cero y otro un [[ángulo recto]], el subgrupo que conserva la orientación del grupo de reflexión del triángulo es un [[grupo modular]]. Para un triángulo ideal en el que todos los ángulos sean cero, de modo que todos sus vértices estén sobre el eje real, la existencia del teselado se establecerá relacionándolo con la [[sucesión de Farey]] descrita en {{harvtxt|Hardy|Wright|2008}} y {{harvtxt|Series|2015}}. En este caso la teselación se puede considerar como la asociada a tres círculos que se tocan en la [[esfera de Riemann]], caso límite de las configuraciones asociadas a tres círculos disjuntos no anidados y sus grupos de reflexión, los denominados "[[grupo de Schottky|grupos de Schottky]]", descritos en detalle en {{harvtxt|Mumford|Series|Wright|2015}}. Alternativamente, al dividir el triángulo ideal en seis triángulos con ángulos 0, &Pi;/2 y &Pi;/3, la teselación de triángulos ideales se puede entender en términos de teselaciones de triángulos con una o dos cúspides.

===Triángulos sin cúspides===
[[File:H2checkers 445.png|thumb|upright|Teselado a partir de un triángulo con ángulos &Pi;/4, &Pi;/4 y &Pi;/5]]
[[File:H2checkers 357.png|thumb|upright|Teselado a partir de un triángulo con ángulos &Pi;/3, &Pi;/5 y &Pi;/7]]
[[File:H2checkers 444.png|thumb|upright|Teselado a partir de un triángulo equiláteros con ángulos &Pi;/4]]

Supóngase que el [[triángulo hiperbólico]] Δ tiene ángulos &Pi;/''a'', &Pi;/''b'' y &Pi;/''c'' con ''a'', ''b'', ''c'' enteros mayores que 1. El área hiperbólica de Δ es igual a &Pi; – &Pi;/''a'' – &Pi;/''b'' – &Pi;/''c'', de modo que

:<math>\frac1a + \frac1b + \frac1c < 1.</math>

La construcción de un teselado se realizará en primer lugar para el caso de que ''a'', ''b'' y ''c'' sean mayores que 2.<ref>{{harvnb|Carathéodory|1954|pages=177–181}}</ref>

El triángulo original Δ da un polígono convexo ''P''<sub>1</sub> con 3 vértices. En cada uno de los tres vértices, el triángulo puede reflejarse sucesivamente a través de las aristas que emanan de los vértices para producir 2''m'' copias del triángulo donde el ángulo en el vértice es &Pi;/''m''. Los triángulos no se superponen excepto en los bordes, la mitad de ellos tienen su orientación invertida y encajan entre sí para teselar un entorno del punto. La unión de estos nuevos triángulos junto con el triángulo original componen una forma conexa ''P''<sub>2</sub>. Está formado por triángulos que solo se intersecan en las aristas o vértices, forma un polígono convexo con todos los ángulos menores o iguales a &Pi; y cada lado es la arista de un triángulo reflejado. En el caso de que un ángulo de Δ sea igual a &Pi;/3, un vértice de ''P''<sub>2</sub> tendrá un ángulo interior de &Pi;, pero esto no afecta a la convexidad de ''P''<sub>2</sub>. Incluso en este caso degenerado cuando surge un ángulo de &Pi;, los dos bordes colineales todavía se consideran distintos para los propósitos de la construcción.

La construcción de ''P''<sub>2</sub> se puede entender más claramente al notar que algunos triángulos o ''fichas'' se agregan dos veces, como los tres triángulos que tienen un lado en común con el triángulo original. El resto tienen solo un vértice en común. Una forma más sistemática de realizar el teselado es primero agregar una tesela a cada lado (el reflejo del triángulo en ese borde) y luego rellenar los espacios en cada vértice. Esto da como resultado un total de 3 + (2''a'' – 3) + (2''b'' - 3) + (2''c'' - 3) = 2(''a'' + ''b'' + ''c'') - 6 nuevos triángulos. Los nuevos vértices son de dos tipos: los que son vértices de los triángulos unidos a los lados del triángulo original, y aquellos que están conectados a 2 vértices de Δ. Cada uno de estos se encuentra en tres nuevos triángulos que se cruzan en ese vértice. Los restantes están conectados a un único vértice de Δ y pertenecen a dos nuevos triángulos que tienen una arista en común. Así, se forman 3 + (2''a'' – 4) + (2''b'' - 4) + (2''c'' - 4) = 2(''a'' + ''b'' + ''c'') - 9 nuevos vértices. Por construcción no hay superposición. Para comprobar que ''P''<sub>2</sub> es convexo, basta con ver que el ángulo entre los lados que se encuentran en un nuevo vértice forman un ángulo menor o igual que &Pi;. Pero los nuevos vértices se encuentran en dos o tres nuevos triángulos, que convergen en ese vértice, por lo que el ángulo en ese vértice no es mayor que 2&Pi;/3 o &Pi;, según se requiera.

Este proceso se puede repetir para ''P''<sub>2</sub> y a continuación obtener ''P''<sub>3</sub> agregando primero teselas en cada borde de ''P''<sub>2</sub> y luego rellenando los teselados alrededor de cada vértice de ''P''<sub>2</sub>. Entonces el proceso puede repetirse desde ''P''<sub>3</sub>, para obtener ''P''<sub>4</sub> y así de manera repetida, produciendo sucesivamente ''P''<sub>''n''</sub>  a partir de ''P''<sub>''n'' – 1</sub>. Se puede verificar inductivamente que en todas las iteraciones se forman siempre polígonos convexos, con teselados que no se superponen.

De hecho, como en el primer paso del proceso, hay dos tipos de teselas en la construcción de ''P''<sub>''n''</sub> a partir de ''P''<sub>''n'' – 1</sub>: las unidas a un borde de ''P''<sub>''n'' – 1</sub> y las unidas a un solo vértice. Del mismo modo, hay dos tipos de vértices, aquellos en los que se encuentran dos nuevas teselas; y aquellos en los que se encuentran tres teselas. Entonces, siempre que no se superpongan teselas, el argumento anterior muestra que los ángulos en los vértices no son mayores que &Pi; y, por lo tanto, ''P''<sub>''n''</sub> es un polígono convexo. {{efn|1=Como en el caso de ''P''<sub>2</sub>, si un ángulo de Δ es igual a &Pi;/3, los vértices donde el ángulo interior es &Pi; permanecen marcados, ya que los vértices y las aristas colineales no se fusionan.}}

Por lo tanto, hay que comprobar que al construir ''P''<sub>''n''</sub> a partir de ''P''<sub>''n'' − 1</sub>:<ref>{{harvnb|Carathéodory|1954|pages=178−180}}</ref>

{{quote box|align=left|
(a) Los nuevos triángulos no se superponen con ''P''<sub>''n'' − 1</sub> excepto como ya se ha descrito.

(b) Los nuevos triángulos no se superponen entre sí excepto como ya se ha descrito.

(c) La geodésica desde cualquier punto en Δ hasta un vértice del polígono ''P''<sub>''n''–1</sub> forma un ángulo ≤ 2&Pi;/3 con cada una de las aristas del polígono en ese vértice.}}
{{clear|left}}

Para probar la condición (a), obsérvese que por convexidad, el polígono ''P''<sub>''n'' − 1</sub> es la intersección de los semiespacios convexos definidos por los arcos circulares completos que definen su límite. Así, en un vértice dado de ''P''<sub>''n'' − 1</sub> hay dos arcos circulares que definen dos sectores: un sector contiene el interior de ''P''<sub>''n'' − 1</sub>, y el otro contiene los interiores de los nuevos triángulos agregados alrededor del vértice dado. Esto se puede visualizar mediante el uso de una transformación de Möbius para aplicar el semiplano superior sobre el disco unidad y el vértice al origen; el interior del polígono y cada uno de los nuevos triángulos se encuentran en diferentes sectores del disco unitario. Así (a) está probado.

Antes de probar (c) y (b), se puede utilizar una transformación de Möbius para aplicar el semiplano superior al disco unitario y un punto fijo en el interior del Δ al origen.

La prueba de (c) se realiza por inducción. Nótese que el radio que une el origen a un vértice del polígono ''P''<sub>''n'' − 1</sub> forma un ángulo menor que 2&Pi;/3 con cada una de las aristas del polígono en ese vértice si exactamente dos triángulos de ''P''<sub>''n'' − 1</sub> se encuentran en el vértice, ya que cada uno tiene un ángulo menor o igual a &Pi;/3 en ese vértice. Para comprobar que esto es cierto cuando tres triángulos de ''P''<sub>''n'' − 1</sub> se encuentran en el vértice, digamos ''C'', supóngase que el triángulo del medio tiene su base en un lado ''AB'' de ''P''<sub>''n'' − 2</sub>. Por inducción, los radios ''OA'' y ''OB'' forman ángulos menores o iguales a 2&Pi;/3 con la arista ''AB''. En este caso, la región en el sector entre los radios ''OA'' y ''OB'' fuera del borde ''AB'' es convexa como la intersección de tres regiones convexas. Por inducción, los ángulos en ''A'' y ''B'' son mayores o iguales a &Pi;/3. Así, las geodésicas a ''C'' desde ''A'' y ''B'' comienzan en la región; y por convexidad, el triángulo ''ABC'' se encuentra completamente dentro de la región. El cuadrilátero ''OACB'' tiene todos sus ángulos menores que &Pi; (dado que ''OAB'' es un triángulo geodésico), por lo que es convexo. Por lo tanto, el radio ''OC'' se encuentra dentro del ángulo del triángulo ''ABC'' cerca de ''C''. Por lo tanto, los ángulos entre ''OC'' y los dos bordes de {{math|''P''<sub>''n'' – 1</sub>}} que se encuentran en ''C'' son menores o iguales a &Pi;/3 + &Pi;/3 = 2&Pi;/3, como se afirma.

Para demostrar (b), se debe verificar cómo se intersecan los nuevos triángulos en ''P''<sub>''n''</sub>.

Primero considérense las teselas añadidas a los bordes de ''P''<sub>''n'' – 1</sub>. Adoptando una notación similar a (c), sea ''AB'' la base de la tesela y ''C'' el tercer vértice. Entonces, los radios ''OA'' y ''OB'' forman ángulos menores o iguales a 2&Pi;/3 con la arista ''AB'' y el razonamiento en la prueba de (c) se aplica para demostrar que el triángulo ''ABC'' se encuentra dentro del sector definido por los radios ''OA'' y ''OB''. Esto es cierto para cada borde de ''P''<sub>''n'' – 1</sub>. Dado que los interiores de los sectores definidos por bordes distintos son disjuntos, los nuevos triángulos de este tipo solo se cruzan como se afirma.

A continuación, considérense las teselas adicionales agregadas para cada vértice de ''P''<sub>''n'' – 1</sub>. Tomando el vértice como ''A'', tres de ellas poseen dos aristas ''AB''<sub>1</sub> y ''AB''<sub>2</sub> de ''P''<sub>''n'' – 1</sub> que se encuentran en ''A''. Sean ''C''<sub>1</sub> y ''C''<sub>2</sub> los vértices adicionales de las teselas agregadas a estos bordes. Ahora las teselas adicionales añadidas en ''A'' se encuentran en el sector definido por los radios ''OB''<sub>1</sub> y ''OB''<sub>2</sub>. El polígono con vértices ''C''<sub>2</sub> ''O'', ''C''<sub>1</sub>, y luego los vértices de las teselas adicionales tiene todos sus ángulos internos menores que &Pi; y por lo tanto es convexo. En consecuencia, está completamente contenido en el sector definido por los radios ''OC''<sub>1</sub> y ''OC''<sub>2</sub>. Dado que los interiores de estos sectores son todos disjuntos, esto implica todas las afirmaciones sobre cómo se intersecan las teselas añadidas.

[[File:H2checkers 237.png|thumb|upright|Teselado a partir de un triángulo con ángulos &Pi;/2, &Pi;/3 y &Pi;/7]]
[[File:H2checkers 245.png|thumb|upright|Teselado a partir de un triángulo con ángulos &Pi;/2, &Pi;/4 y &Pi;/5]]

Finalmente queda probar que el teselado formado por la unión de los triángulos cubre la totalidad del semiplano superior. Cualquier punto ''z'' cubierto por el teselado se encuentra en un polígono ''P''<sub>''n''</sub> y, por lo tanto, en un polígono ''P''<sub>''n'' +1 </sub>. Por lo tanto, se encuentra en una copia del triángulo original Δ, así como en una copia de ''P''<sub>2</sub> contenida en su totalidad en ''P''<sub>''n'' +1 </sub>. La distancia hiperbólica entre Δ y el exterior de ''P''<sub>2</sub> es igual a ''r'' > 0. Por lo tanto, la distancia hiperbólica entre ''z'' y los puntos no cubiertos por el teselado es al menos ''r''. Dado que esto se aplica a todos los puntos del teselado, el conjunto cubierto por el teselado está cerrado. Por otro lado, el teselado es abierto, ya que coincide con la unión de los interiores de los polígonos ''P''<sub>''n''</sub>. Por conectividad, el teselado debe cubrir la totalidad del semiplano superior.

Para ver cómo manejar el caso cuando un ángulo de Δ es un ángulo recto, debe tenerse en cuenta que la desigualdad

:<math>\frac1a + \frac1b + \frac1c < 1</math>.

implica que si uno de los ángulos es un ángulo recto, como por ejemplo, ''a'' = 2, entonces tanto ''b'' como ''c'' son mayores que 2 y uno de ellos, póngase por caso ''b'', debe ser mayor que 3. En este caso, reflejando el triángulo sobre el lado AB se obtiene un triángulo hiperbólico isósceles con ángulos &Pi;/''c'', &Pi;/''c'' y 2&Pi;/''b''. Si 2&Pi;/''b'' ≤ &Pi;/3, es decir, ''b'' es mayor que 5, y entonces todos los ángulos del triángulo reflejado son menores o iguales a &Pi;/3. En ese caso, la construcción de la teselación anterior a través de polígonos convexos crecientes se adapta literalmente a este caso excepto en que alrededor del vértice con ángulo 2&Pi;/''b'', solo ''b''—y no 2''b''— se requieren copias del triángulo para teselar un entorno del vértice. Esto es posible porque el triángulo duplicado es isósceles. La teselación del triángulo duplicado produce la del triángulo original al cortar todos los triángulos más grandes por la mitad.<ref name="Cara1954">{{harvnb|Carathéodory|1954|pages=181–182}}</ref>

Queda por tratar el caso cuando ''b'' es igual a 4 o 5. Si ''b'' = 4, entonces ''c'' ≥ 5: en este caso si ''c'' ≥ 6, entonces ''b'' y ''c'' se pueden cambiar y se aplica el argumento anterior, dejando el caso ''b'' = 4 y ''c'' = 5. Si ''b'' = 5, entonces ''c'' ≥ 4. El caso ''c'' ≥ 6 puede manejarse intercambiando ''b'' y ''c'', de modo que el único caso adicional sea ''b'' = 5 y ''c'' = 5. En este último caso, el triángulo isósceles es la versión duplicada del primer triángulo excepcional, por lo que solo se debe considerar el triángulo Δ<sub>1</sub>, con ángulos &Pi;/2, &Pi;/4 y &Pi;/5 y área hiperbólica &Pi;/20 (véase más adelante).{{harvtxt|Carathéodory|1954}} maneja este caso mediante un método general que funciona para todos los triángulos rectángulos en los que los otros dos ángulos son menores o iguales que &Pi;/4. El método anterior para construir ''P''<sub>2</sub>, ''P''<sub>3</sub>, ... se modifica agregando un triángulo adicional cada vez que surge un ángulo 3&Pi;/2 en un vértice. El mismo razonamiento se aplica para demostrar que no hay superposición y que el teselado cubre el semiplano superior hiperbólico.<ref name="Cara1954" />

Por otro lado, la configuración dada genera un grupo de triángulos aritméticos. Estos fueron estudiados por primera vez en {{harvtxt|Fricke|Klein|1897}} y han dado lugar a una extensa bibliografía. En 1977 Takeuchi obtuvo una clasificación completa de grupos de triángulos aritméticos (solo hay un número finito) y determinó cuándo dos de ellos son conmensurables. El ejemplo particular está relacionado con la [[curva de Bring]] y la teoría aritmética implica que el grupo de triángulos para Δ<sub>1</sub> contiene el grupo de triángulos para el triángulo Δ<sub>2</sub> con ángulos &Pi;/4, &Pi;/4 y &Pi;/5 como un subgrupo no normal de índice 6.<ref>Véase:
*{{harvnb|Takeuchi|1977a}} 
*{{harvnb|Takeuchi|1977b}}
*{{harvnb|Weber|2005}}
</ref>

Duplicando los triángulos Δ<sub>1</sub> y Δ<sub>2</sub>, esto implica que debe haber una relación entre 6 triángulos Δ<sub>3</sub> con ángulos &Pi;/2, &Pi;/5 y &Pi;/5 y área hiperbólica &Pi;/10 y un triángulo Δ<sub>4</sub> con ángulos &Pi;/5, &Pi;/5 y &Pi;/10 con área hiperbólica 3&Pi;/5.{{harvtxt|Threlfall|1932}} estableció tal relación directamente por medios geométricos completamente elementales, sin referencia a la teoría aritmética: de hecho, como se ilustra en la quinta imagen que figura a continuación, el cuadrilátero obtenido reflejando a través de un lado de un triángulo de tipo Δ<sub>4</sub> se puede teselar con 12 triángulos de tipo Δ<sub>3</sub>. La teselación por triángulos del tipo Δ<sub>4</sub> se puede manejar por el método principal descrito en esta sección; lo que prueba la existencia de la teselación a partir de un triángulo de los tipos Δ<sub>3</sub> y Δ<sub>1</sub>.<ref>Véase:
*{{harvnb|Threlfall|1932|pages=20–22}}, Figura 9
*{{harvnb|Weber|2005}}
</ref>

{{gallery|width=300
|File:H2checkers 255.png|<small>Teselado a partir de un triángulo con ángulos &Pi;/2, &Pi;/5 y &Pi;/5</small>
|File:H2-5-4-rhombic.svg|<small>Teselado obtenido por coalescencia de parejas de triángulos</small>
|File:Threlfall-245.jpeg|<small>Teselado con pentágonos formados cada uno por 10 triángulos (2,5,5)</small>
|File:Threlfall-245-a.jpeg|<small>Ajuste al teselado a partir de un triángulo con ángulos &Pi;/5, &Pi;/10 y &Pi;/10</small>
|File:Threlfall-245-b.jpeg|<small>Teselado con 2 triángulos (5,10,10) y 12 triángulos (2,5,5)</small>
}}
{{clear}}

===Triángulos con una o dos cúspides===
En el caso de un triángulo de Schwarz con una o dos cúspides, el proceso de teselado se vuelve más simple; pero es más fácil usar un método diferente volviendo a [[Erich Hecke|Hecke]] para demostrar que estos triángulos recubren el semiplano superior hiperbólico.

En el caso de una cúspide y ángulos distintos de cero &Pi;/''a'', &Pi;/''b'' con ''a'' y ''b'' enteros mayores que uno, el teselado puede preverse en el disco unitario cuyo vértice tiene el ángulo &Pi;/''a'' en el origen. El teselado comienza agregando 2''a'' – 1 copias del triángulo en el origen por reflexiones sucesivas. Esto da como resultado un polígono ''P''<sub>1</sub> con cúspides de 2''a'' y entre cada dos vértices de 2''a'' cada uno con un ángulo &Pi;/''b''. Por lo tanto, el polígono es convexo. Para cada vértice no ideal de ''P''<sub>1</sub>, el triángulo único con ese vértice puede reflejarse de manera similar alrededor de ese vértice, agregando así 2''b'' – 1 triángulos nuevos, 2''b'' – 1 nuevo puntos ideales y 2 ''b'' – 1 nuevos vértices con ángulo &Pi;/''a''. El polígono resultante ''P''<sub>2</sub> está formado por 2''a''(2''b'' – 1) cúspides y el mismo número de vértices cada uno con un ángulo de &Pi;/''a'', también es convexo. El proceso se puede continuar de esta forma para obtener polígonos convexos ''P''<sub>3</sub>, ''P''<sub>4</sub> y así sucesivamente. El polígono ''P''<sub>''n''</sub> tendrá vértices con ángulos alternados entre 0 y &Pi;/''a'' para ''n'' pares y entre 0 y &Pi;/''b'' para ''n'' impares. Por construcción, los triángulos solo se superponen en los bordes o vértices, por lo que forman un teselado.<ref>{{harvnb|Carathéodory|1954|page=183}}</ref>

{{gallery|width=300
|File:H2checkers 35i.png|<small>Teselado a partir de un triángulo con ángulos 0, &Pi;/3, &Pi;/5</small>
|File:H2checkers 25i.png|<small>Teselado a partir de un triángulo con ángulos 0, &Pi;/5, &Pi;/2</small>
|File:H2checkers 5ii.png|<small>Teselado a partir de un triángulo con ángulos 0, 0, &Pi;/5</small>}}

El caso en el que el triángulo tiene dos vértices y un ángulo distinto de cero &Pi;/''a'', se puede reducir al caso de una cúspide observando que el triángulo es el doble de un triángulo con una cúspide y ángulos distintos de cero &Pi; /''a'' y &Pi;/''b'' con ''b'' = 2. El teselado se genera entonces como antes.<ref>{{harvnb|Carathéodory|1954|page=184}}</ref>

Para probar que estos supuestos generan teselados, es más conveniente trabajar en el semiplano superior. Ambos casos pueden tratarse simultáneamente, ya que el caso de dos cúspides se obtiene duplicando un triángulo con una cúspide y ángulos distintos de cero &Pi;/''a'' y &Pi;/2. En consecuencia, se considera el triángulo geodésico en el semiplano superior con ángulos 0, &Pi;/''a'', &Pi;/''b'' con números enteros ''a'', ''b'' mayores que uno. El interior de tal triángulo se puede realizar como la región ''X'' en el semiplano superior que se encuentra fuera del disco unitario |''z''| = 1 y entre dos líneas paralelas al eje imaginario a través de los puntos ''u'' y ''v'' en el círculo unitario. Sea Γ el grupo triangular generado por las tres reflexiones en los lados del triángulo.

Para probar que las reflexiones sucesivas del triángulo recorren el semiplano superior, basta con demostrar que para cualquier ''z'' en el semiplano superior existe una ''g'' en Γ tal que ''g''( ''z'') se encuentra en {{overline|''X''}}. Esto se sigue mediante un argumento de {{harvtxt|Evans|1973}}, simplificado de la teoría de [[Grupo modular|grupos modulares]]. Sean λ = Re ''a'' y µ = Re ''b'' de modo que, sin pérdida de generalidad, λ < 0 = µ. Las tres reflexiones en los lados están dadas por

:<math>R_1(z)= \frac1\overline{z},\ R_2(z)= -\overline{z} + \lambda,\ R_3(z)= -\overline{z} + \mu.</math>

Así ''T'' = ''R''<sub>3</sub>°''R''<sub>2</sub> es una traslación de valor µ - λ. Se sigue que para cualquier ''z''<sub>1</sub> en el semiplano superior, existe un elemento ''g''<sub>1</sub> en el subgrupo Γ<sub>1</sub> de Γ generado por ''T'' tal que ''w''<sub>1</sub> = ''g''<sub>1</sub>(''z''<sub>1</sub>) satisface que λ = Re ''w''<sub>1</sub> = µ, es decir, esta tira es un [[dominio fundamental]] para el grupo de traslación Γ<sub>1</sub>. Si |''w''<sub>1</sub>| = 1, entonces ''w''<sub>1</sub> está en ''X'' y el resultado está probado. De lo contrario, sea ''z''<sub>2</sub> = ''R''<sub>1</sub>(''w''<sub>1</sub>); entonces debe encontrarse ''g''<sub>2</sub>
Γ<sub>1</sub> tal que ''w''<sub>2</sub> = ''g''<sub>2</sub>(''z''<sub>2</sub>) satisface que λ = Re ''w''<sub>2</sub> = µ. Si |''w''<sub>2</sub>| = 1 entonces el resultado está probado. Continuando de esta manera, o bien algún ''w''<sub>''n''</sub> satisface que |''w''<sub>''n''</sub>| = 1, en cuyo caso se prueba el resultado; o bien |''w''<sub>''n''</sub>| < 1 para todo ''n''. De esta manera, ''g''<sub>''n'' + 1</sub> está en Γ<sub>1</sub> y |''w''<sub>''n''</sub>| < 1, y entonces

:<math>
\operatorname{Im} g_{n+1}(z_{n+1})
= \operatorname{Im} z_{n+1}
= \operatorname{Im} \frac{w_n}{|w_n|{}^2}
= \frac{\operatorname{Im} w_n}{|w_n|{}^2}.
</math>

En particular

:<math>\operatorname{Im} w_{n+1} \ge \operatorname{Im} w_n</math>

y

:<math>\frac{\operatorname{Im} w_{n+1}}{\operatorname{Im} w_n}=|w_n|^{-2} \ge 1.</math>

Así, de la desigualdad anterior, se deduce que los puntos (''w''<sub>''n''</sub>) se encuentran en el conjunto compacto |''z''| = 1,  λ = Re ''z'' = µ e Im ''z'' = Im ''w''<sub> 1</sub>. De ello se deduce a su vez que |''w''<sub>''n''</sub>| tiende a 1; pues en caso contrario, habría un ''r'' < 1 tal que |''w''<sub>''m''</sub>| = ''r'' para infinitos ''m'' y entonces la última ecuación anterior implicaría que Im ''w''<sub>''n''</sub> tiende a infinito, produciéndose una contradicción.

Sea ''w'' un punto límite de ''w''<sub>''n''</sub>, tal que |''w''| = 1. Así, ''w'' se encuentra en el arco del círculo unitario entre ''u'' y ''v''. Si ''w'' ≠ ''u'', ''v'', entonces ''R''<sub>1</sub> ''w''<sub>''n''</sub> estaría en ''X'' para ''n'' lo suficientemente grande, al contrario de la suposición realizada. Por lo tanto ''w'' = ''u'' o ''v''; y en consecuencia, para ''n'' suficientemente grande ''w''<sub>''n''</sub> se encuentra cerca de ''u'' o ''v'' y, por lo tanto, debe estar en una de las reflexiones del triángulo sobre el vértice ''u'' o ''v'', ya que estos rellenan los entornos de ''u'' y ''v''. De aquí se infiere que hay un elemento ''g'' en Γ tal que ''g''(''w''<sub>''n''</sub>) se encuentra en {{overline|''X''}}. Dado que, por construcción, ''w''<sub>''n''</sub> está en la órbita Γ de ''z''<sub>1</sub>, se deduce que hay un punto en esta órbita que se encuentra en {{overline|''X''}}, tal como se requiere.<ref>Véase:
*{{harvnb|Evans|1973|pages=108−109}}
*{{harvnb|Berndt|Knopp|2008|pages=16−17}}</ref>

===Triángulos ideales===
El teselado para un [[triángulo ideal]], es decir, aquel que tiene todos sus vértices en el círculo unitario y por lo tanto todos sus ángulos son 0, puede considerarse como un caso especial de la teselación para un triángulo con una cúspide y dos ángulos &Pi;/3 y &Pi;/2 (que pasan a ser cero). De hecho, el triángulo ideal está formado por seis copias de un triángulo de una cúspide obtenido reflejando el triángulo más pequeño sobre el vértice con un ángulo &Pi;/3.

{{gallery|width=300
|File:H2checkers_23i.png|<small>Teselado a partir de un triángulo con ángulos 0, &Pi;/3 y &Pi;/2</small>
|File:H2chess_23ib.png|<small>Teselado a partir de un triángulo ideal</small>
|File:Ideal-triangle hyperbolic tiling line-drawing.svg|<small>Dibujo alámbrico del teselado a partir de un triángulo ideal</small>}}
[[File:Pappusharmonic.svg|thumb|upright=0.8|''D'' es el conjugado armónico de ''C'' con respecto a ''A'' y ''B'']]
[[File:Ideal-Triangle-Reflection.jpg|thumb|Reflexión de un triángulo ideal en uno de sus lados]]

Sin embargo, cada paso del teselado está determinado únicamente por las posiciones de las nuevas cúspides en el círculo, o de manera equivalente, el eje real; y estos puntos pueden entenderse directamente en términos de una [[sucesión de Farey]] según {{harvtxt|Series|2015}},{{harvtxt|Hatcher|2013|pages=20–32}} y {{harvtxt|Hardy|Wright|2008|pages=23–31}}. El proceso parte del paso básico que genera el teselado, el reflejo de un triángulo ideal en uno de sus lados. La reflexión corresponde al proceso de [[inversión (geometría)|inversión]] en [[geometría proyectiva]], tomando la [[cuaterna armónica]] (que se puede definir en términos de la [[razón anarmónica]]). De hecho, si ''p'', ''q'', ''r'', ''s'' son puntos distintos en la esfera de Riemann, entonces hay una única transformación compleja de Möbius que envía ''g'' ''p'', ''q'' y ''s'' a 0, ∞ y 1 respectivamente. La relación cruzada (''p'', ''q''; ''r'', ''s'') se define como ''g''(''r'') y viene dada por la fórmula:

:<math>(p, q; r, s)= \frac{(p-r)(q-s)}{(p-s)(q-r)}.</math>

Por definición, es invariante bajo las transformaciones de Möbius. Si ''a'', ''b'' se encuentran en el eje real, el conjugado armónico de ''c'' con respecto a ''a'' y ''b'' se define como el único número real ''d'' tal que (''a'', ''b''; ''c'', ''d'') = -1. Entonces, por ejemplo, si ''a'' = 1 y ''b'' = –1, el conjugado de ''r'' es 1/''r''. En general, la invariancia de Möbius se puede utilizar para obtener una fórmula explícita para ''d'' en términos de ''a'', ''b'' y ''c''. De hecho, trasladando el centro ''t'' = (''a'' + ''b'')/2 del círculo con [[diámetro]] que tiene extremos ''a'' y ''b'' a 0, (''d'' – ''t'') es el conjugado armónico de (''c'' – ''t'') con respecto a (''a'' - ''t'') y (''b'' – ''t''). El radio del círculo es ρ = (''b'' – ''a'')/2, siendo (''d'' - ''t'')/ρ el conjugado armónico de {{math|(''c'' – ''t'')/ρ}} con respecto a 1 y -1. De este modo

:<math>\frac{d-t}\rho= \frac\rho{c-t}</math>

de manera que

:<math>d= \frac{\rho^2}{r-t} + t= \frac{(c-a)b + (c-b)a}{(c-a) + (c-b)}.</math>

A continuación se demuestra que existe una parametrización de tales triángulos ideales dada por números racionales en forma reducida

:<math>a= \frac{p_1}{q_1},\ b= \frac{p_1 + p_2}{q_1 + q_2},\ c= \frac{p_2}{q_2}</math>

con ''a'' y ''c'' satisfaciendo la "condición de vecindad" ''p''<sub>2</sub>''q''<sub>1</sub> - ''q''<sub>2</sub>''p''<sub>1</sub> = 1.

El término medio ''b'' se llama ''suma de Farey'' o ''[[Mediante (matemáticas)|mediante]]'' de los términos externos y se escribe

:<math>b= a \oplus c.</math>

La fórmula para el triángulo reflejado da

:<math>d= \frac{p_1 + 2p_2}{q_1 + 2q_2}= a \oplus b.</math>

De manera similar, el triángulo reflejado en el segundo semicírculo da un nuevo vértice ''b'' ⊕ ''c''. Inmediatamente se verifica que ''a'' y ''b'' satisfacen la condición de vecindad, al igual que ''b'' y ''c''.

Ahora bien, este procedimiento se puede utilizar para realizar un seguimiento de los triángulos obtenidos al reflejar sucesivamente el triángulo básico Δ con vértices 0, 1 e ∞. Basta considerar la franja con 0 = Re z = 1, ya que la misma imagen se reproduce en franjas paralelas aplicando reflejos en las rectas Re ''z'' = 0 y 1. El triángulo ideal con vértices 0, 1, ∞ se refleja en el semicírculo con base [0,1] en el triángulo con vértices ''a'' = 0, ''b'' = 1/2, ''c'' = 1. Así ''a'' = 0 /1 y ''c'' = 1/1 son vecinos y ''b'' = ''a'' ⊕ ''c''. El semicírculo se divide en dos semicírculos más pequeños con bases [''a'', ''b''] y [''b'', ''c'']. Cada uno de estos intervalos se divide en dos intervalos por el mismo proceso, dando como resultado 4 intervalos. Continuando de esta manera, los resultados se subdividen en intervalos de 8, 16, 32, etc. En la etapa ''n'', hay 2<sup>''n''</sup> intervalos adyacentes con 2<sup>''n''</sup> + 1 puntos finales. La construcción anterior muestra que los puntos finales sucesivos satisfacen la condición de vecindad, de modo que los nuevos puntos finales resultantes de la reflexión vienen dados por la fórmula de la suma de Farey.

Para probar que el teselado cubre todo el plano hiperbólico, basta con demostrar que todo racional en [0,1] finalmente se presenta como un punto final. Hay varias formas de ver esto. Uno de los métodos más elementales se describe en {{harvtxt|Graham|Knuth|Patashnik|1994}} en su desarrollo, sin el uso de [[fracción continua|fracciones continuas]], de la teoría de los [[Árbol de Stern-Brocot|árboles de Stern-Brocot]], que codifica los nuevos extremos racionales que aparecen en la etapa ''n''. Dan una prueba directa de que todo racional aparece. De hecho, a partir de 0/1,1/1, se introducen extremos sucesivos en el nivel ''n''+1 agregando sumas de Farey o mediante {{math|(''p''+''r'')/(''q''+''s'')}} entre todos los términos consecutivos {{math|''p''/''q''}}, {{math|''r''/''s''}} en el nivel ''n'' (como se describió anteriormente). Sea {{math|1=''x''= ''a''/''b''}} un racional entre 0 y 1 con {{math|''a''}} y {{math|''b''}} coprimos. Supóngase que en algún nivel {{math|''x''}} está intercalado entre términos sucesivos {{math|''p''/''q'' < ''x'' < ''r''/''s''}}. Estas desigualdades obligan a que {{math|''aq'' – ''bp'' ≥ 1}} y a que {{math|''br'' – ''as'' ≥ 1}}, y por lo tanto, dado que {{math|1=''rp'' – ''qs''= 1}},

:<math>a + b= (r+s)(ap-bq) + (p+q)(br -as) \ge p+q+r+s.</math>

Esto pone un límite superior a la suma de los numeradores y denominadores. Por otro lado, se puede introducir la ''mediante'' {{math|(''p''+''r'')/(''q''+''s'')}} y o bien igualar a {{math|''x''}}, en cuyo caso el racional {{math|''x''}} aparece en este nivel; o la mediante proporciona un nuevo intervalo que contiene {{math|''x''}} con una suma de numerador y denominador estrictamente mayor. Por lo tanto, el proceso debe terminar como máximo después de {{math|''a'' + ''b''}} pasos, lo que demuestra que aparece {{math|''x''}}.<ref>{{harvnb|Graham|Knuth|Patashnik|1994|page=118}}</ref>

Un segundo enfoque se basa en el [[grupo modular]] ''G'' = SL(2,'''Z''').<ref>{{harvnb|Series|2015}}</ref> El algoritmo euclídeo implica que este grupo es generado por las matrices

:<math>S=\begin{pmatrix} 0 & 1\\ -1 & 0 \end{pmatrix},\,\,\, T=\begin{pmatrix} 1 & 1\\ 0 & 1 \end{pmatrix}.</math>

De hecho, sea ''H'' el subgrupo de ''G'' generado por ''S'' y ''T''. Sea

:<math>g=\begin{pmatrix} a & b\\ c & d\end {pmatrix}</math>

siendo un elemento de SL(2,'''Z'''). Así ''ad'' - ''cb'' = 1, por lo que ''a'' y ''c'' son coprimos. Sea ahora

:<math>v=\begin{pmatrix}a\\ c\end{pmatrix},\,\,\, u= \begin{pmatrix}1\\ 0\end{pmatrix}.</math>

Aplicando ''S'' si es necesario, se puede suponer que |''a''| > |''c''|
(la igualdad no es posible por su condición de coprimos). En consecuencia, ''a'' = ''mc'' + ''r'' con 0 = ''r'' = |''c''|. Pero entonces

:<math>T^{-m}\begin{pmatrix} a\\ c \end{pmatrix}= \begin{pmatrix} r\\ c\end{pmatrix}.</math>

Este proceso puede continuar hasta que una de las entradas sea 0, en cuyo caso la otra es necesariamente ±1. Aplicando una potencia de ''S'' si es necesario, se sigue que ''v'' = ''h'' ''u'' para algún ''h'' en ''H''. Por eso:

:<math>h^{-1}g=\begin{pmatrix}1 & p\\ 0 & q\end{pmatrix}</math>

con ''p'' y ''q'' números enteros. Claramente, ''p'' = 1, por lo que ''h''<sup>−1</sup>''g'' = ''T''<sup>''q''</sup>. Así ''g'' = ''h'' ''T''<sup>''q''</sup> se encuentra en ''H'' como se requiere.

Para probar que todos los racionales se pueden localizar en [0,1], es suficiente mostrar que ''G'' asigna Δ a los triángulos de la teselación. Esto se sigue observando primero que ''S'' y ''T'' llevan Δ a dichos triángulos: de hecho, como transformaciones de Möbius, ''S''(''z'') = –1/''z'' y ''T''(''z'') = ''z'' + 1, por lo que dan reflexiones de Δ en dos de sus lados. Pero entonces ''S'' y ''T'' conjugan las reflexiones en los lados del Δ en reflexiones en los lados de ''S''Δ y ''T''Δ, que se encuentran en Γ. Así ''G'' normaliza Γ. Dado que los triángulos en el teselado son exactamente aquellos de la forma ''g''Δ con ''g'' en  Γ, se deduce que ''S'' y ''T'', y por lo tanto todos los elementos de ''G'', permutan triángulos en el teselado. Como todo racional tiene la forma ''g''(0) para ''g'' en ''G'', todo racional en [0,1] es el vértice de un triángulo en el teselado.

El grupo de reflexión y la teselación de un triángulo ideal también se pueden considerar como un caso límite del [[grupo de Schottky]] para tres círculos disjuntos no anidados en la esfera de Riemann. Nuevamente este grupo es generado por reflexiones hiperbólicas en los tres círculos. En ambos casos los tres círculos tienen un círculo común que los corta ortogonalmente. Usando una transformación de Möbius, se puede suponer que es el círculo unitario o, de manera equivalente, el eje real en el semiplano superior.<ref>Véase:
*{{harvnb|McMullen|1998}}
*{{harvnb|Mumford|Series|Wright|2015}}</ref>

===Aproximación de Siegel===
En esta [[Subsección alpina|subsección]] se describe el enfoque de [[Carl Ludwig Siegel]] al teorema del teselado a partir de un triángulo. El enfoque menos elemental de Siegel no utiliza la convexidad, sino que se basa en la teoría de la [[superficie de Riemann]], [[espacio recubridor|espacios de recubrimiento]] y una versión del [[teorema de monodromía]] para recubrimientos. Se ha generalizado para dar pruebas del teorema del polígono de Poincaré más general (nótese que el caso especial de teselado por 'n'-gonos regulares con ángulos interiores 2&Pi;/''n'' es una consecuencia inmediata del teselado por triángulos de Schwarz con ángulos &Pi;/''n'', &Pi;/''n'' y &Pi;/2.)<ref>{{harvnb|Siegel|1971|pages=85–87}}</ref><ref>Para pruebas del teorema del polígono de Poincaré, consúltese
*{{harvnb|Maskit|1971}}
*{{harvnb|de Rham|1971}}
*{{harvnb|Beardon|1983|pages=242–249}}
*{{harvnb|Iversen|1992|pages=200–208}}
*{{harvnb|Epstein|Petronio|1994}}
*{{harvnb|Berger|2010|pages=616–617}}</ref>

Sea Γ el [[producto libre de grupos|producto libre]] '''Z'''<sub>2</sub> * '''Z'''<sub>2</sub> * '''Z'''<sub>2</sub>. Si Δ = ''ABC'' es un triángulo de Schwarz con ángulos &Pi;/''a'', &Pi;/''b'' y &Pi;/''c'', donde ''a'', ''b'' , ''c'' = 2, entonces hay una aplicación natural de Γ sobre el grupo generado por reflexiones en los lados de Δ. Los elementos de Γ se describen mediante un producto de los tres generadores donde no hay dos generadores adyacentes iguales. En los vértices ''A'', ''B'' y ''C'' el producto de las reflexiones en los lados que se encuentran en el vértice definen rotaciones por ángulos 2&Pi;/''a'', 2&Pi;/''b'' y 2&Pi;/''c''. Sean ''g''<sub>''A''</sub>, ''g''<sub>''B''</sub> y ''g''<sub>''C''</sub> los productos correspondientes de generadores de Γ = '''Z'''<sub>2</sub> * '''Z'''<sub>2</sub> * '''Z'''<sub>2</sub>. Sea Γ<sub>0</sub> el subgrupo normal de índice 2 de Γ, formado por elementos que son producto de un número par de generadores; y sea Γ<sub>1</sub> el subgrupo normal de Γ generado por (''g''<sub>''A''</sub>)<sup>''a''</sup>, (''g''<sub>''B''</sub>)<sup>''b''</sup> y (''g''<sub>''C''</sub>)<sup>''c''</sup>. Estos actúan trivialmente sobre Δ. Sean {{overline|Γ}} = Γ/Γ<sub>1</sub> y {{overline|Γ}}<sub>0</sub> = Γ<sub>0</sub>/Γ<sub>1</sub>.

La unión disjunta de copias de {{overline|Δ}} indexadas por elementos de {{overline|Γ}} con identificaciones de borde tiene la estructura natural de una superficie de Riemann Σ. Para los puntos interiores de un triángulo existe una correspondencia obvia. Como punto del interior respecto a una arista, la aplicación se obtiene reflejando el triángulo en la arista. En un vértice de un triángulo de ángulo interior &Pi;/''n'', la aplicación se obtiene a partir de las 2''n'' copias del triángulo obtenidas al reflejarlo sucesivamente alrededor de ese vértice. El grupo {{overline|Γ}} actúa mediante transformaciones de recubrimiento de Σ, con elementos en {{overline|Γ}}<sub>0</sub> actuando como aplicaciones holomorfas y elementos que no están en {{overline|Γ}}<sub>0</sub> actuando como aplicaciones antiholomorfas.

Existe una aplicación natural ''P'' de Σ en el plano hiperbólico. El interior del triángulo identificado con la etiqueta ''g'' en {{overline|Γ}} se lleva a ''g''(Δ), las aristas se llevan a las aristas y los vértices a los vértices. También es fácil comprobar que una vecindad de un punto interior de una arista se lleva a una vecindad de la imagen; y lo mismo para los vértices. Por lo tanto, ''P'' es localmente un homeomorfismo y, por lo tanto, lleva conjuntos abiertos a conjuntos abiertos. La imagen ''P''(Σ), es decir, la unión de las traslaciones ''g''({{overline|Δ}}), es por lo tanto un subconjunto abierto del semiplano superior. Por otro lado, este conjunto también es cerrado. De hecho, si un punto está lo suficientemente cerca de {{overline|Δ}}, debe estar en una traslación de {{overline|Δ}}. De hecho, una vecindad de cada vértice se completa con las reflexiones de {{overline|Δ}} y si un punto se encuentra fuera de estas tres vecindades pero todavía está cerca de {{overline|Δ}}, debe estar en las tres reflexiones de {{overline|Δ}} en sus lados. Por lo tanto, existe un δ > 0 tal que si ''z'' se encuentra a una distancia menor que δ de {{overline|Δ}}, entonces ''z'' se encuentra en una traslación {{overline|Γ}} de {{overline|Δ}}. Dado que la distancia hiperbólica es {{overline|Γ}}-invariante, se deduce que si ''z'' se encuentra a una distancia menor que δ de Γ({{overline|Δ}}), en realidad se encuentra en Γ({{overline|Δ}}), por lo que esta unión es cerrada. Por conectividad se sigue que ''P''(Σ) es todo el semiplano superior.

Por otro lado, ''P'' es un homeomorfismo local, por lo que es un recubrimiento. Dado que el semiplano superior es simplemente conexo, se deduce que ''P'' es una correspondencia uno-a-uno y, por lo tanto, la traslación de Δ tesela el semiplano superior. Esto es una consecuencia de la siguiente versión del teorema de monodromía para recubrimientos de superficies de Riemann: si ''Q'' es un mapa de cobertura entre las superficies de Riemann Σ<sub>1</sub> y Σ<sub>2</sub>, entonces cualquier camino en Σ<sub>2</sub> puede elevarse a una ruta en Σ<sub>1</sub> y dos rutas homotópicas cualesquiera con los mismos puntos finales se elevan a rutas homotópicas con los mismos puntos finales; un corolario inmediato es que si Σ<sub>2</sub> es simplemente conexo, ''Q'' debe ser un homeomorfismo.<ref>{{harvnb|Beardon|1984|pages=106–107, 110–111}}</ref> Para aplicar esto, sea Σ<sub>1</sub> = Σ, sea Σ<sub>2</sub> el semiplano superior y sea ''Q'' = ''P''. Por el corolario del teorema de monodromía, ''P'' debe ser una correspondencia uno-a-uno.

También se sigue que ''g''(Δ) = Δ si y solo si ''g'' pertenece a Γ<sub>1</sub>, de modo que el homomorfismo de {{overline|Γ}}<sub>0</sub> en el grupo de Möbius es fiel.

===Grupos hiperbólicos de reflexión===
{{See also|Teselados uniformes en el plano hiperbólico}}

La teselación de los triángulos de Schwarz puede verse como una generalización de la teoría de los [[Grupo de Coxeter|grupos de Coxeter]] infinitos, siguiendo la teoría de los [[diagrama de Coxeter-Dynkin|diagramas de Coxeter-Dynkin]] desarrollada algebraicamente por [[Jacques Tits]].<ref>Véase:
*{{harvnb|Tits|2013}}
*{{harvnb|Bourbaki|1981}}
*{{harvnb|Humphreys|1990}}</ref> y geométricamente por [[ Ernest Vinberg]].<ref>See:
*{{harvnb|Vinberg|1971}}
*{{harvnb|Vinberg|1985}}
*{{harvnb|Shvartsman|Vinberg}}</ref> En el caso de [[Geometría hiperbólica|Lobachevsky]] (la [[geometría hiperbólica]]), las ideas se originan en el trabajo del {{siglo|XIX||s}} de [[Henri Poincaré]] y [[Walther von Dyck]]. Como ha señalado [[Joseph Lehner]] en ''[[Mathematical Reviews]]'', sin embargo, las pruebas rigurosas de que los reflejos de un triángulo de Schwarz generan una teselación a menudo han sido incompletas, siendo su propio libro de 1964 ''"Grupos discontinuos y formas automórficas"'', un ejemplo.<ref>{{harvnb|Lehner|1964}}</ref><ref>{{harvnb|Maskit|1971}}</ref> El tratamiento elemental de Carathéodory en su libro de texto de 1950 ''"Funktiontheorie"'', traducido al inglés en 1954, y el texto de Siegel de 1954 usando el principio de monodromía son pruebas rigurosas. Aquí se incluye el enfoque que utiliza los grupos de Coxeter, dentro del marco general de clasificación de los grupos de reflexión hiperbólicos.<ref>Véase:
*{{harvnb|Brown|1989}}
*{{harvnb|Humphreys|1990}}
*{{harvnb|Abremko|Brown|2007}}
*{{harvnb|Davis|2008}}</ref>

Sean {{mvar|''r''}}, {{mvar|''s''}} y {{mvar|''t''}} símbolos y sean {{mvar|''a''}}, {{mvar|''b''}}, {{mvar|''c''}} = 2 números enteros (incluso ∞), con

:<math>{1 \over a} + {1 \over b} + {1 \over c} < 1.</math>

Définase {{mvar|Γ}} como el [[Presentación de grupo|grupo con presentación]] que tiene generadores {{mvar|''r''}}, {{mvar|''s''}} y {{mvar|''t''}}, que son todos [[Involución (matemática)|involutivos]] y satisfacen que:

:({{mvar|''st''}})<sup>{{mvar|''a''}}</sup> = 1,
:({{mvar|''tr''}})<sup>{{mvar|''b''}}</sup> = 1 y 
:({{mvar|''rs''}})<sup>{{mvar|''c''}}</sup> = 1.

Si uno de los enteros es infinito, entonces el producto tiene orden infinito. Los generadores {{mvar|''r''}}, {{mvar|''s''}} y {{mvar|''t''}} se denominan ''reflexiones simples''.

Ahora, se debe establecer que {{mvar|''A''}} = (cos &Pi; / {{mvar|''a''}}) si {{mvar|''a''}} ≥ 2 es finito y cosh {{mvar|''x''}} con {{mvar|''x''}} > 0; de lo contrario; establecer de manera similar que {{mvar|''B''}} = cos &Pi; / {{mvar|''b''}} o cosh {{mvar|''y''}} y {{mvar|''C''}} = cos &Pi; / {{mvar|''c''}} o cosh {{mvar|''z''}}.{{sfn|Heckman|2017}} Sean '''e'''<sub>{{var|''r''}}</sub>, '''e'''<sub>{{mvar|''s''}}</sub> y '''e'''<sub>{{mvar|''t''}}</sub> una base para un [[espacio vectorial]] real tridimensional {{mvar|''V''}} con forma bilineal simétrica {{mvar|Λ}} tal que {{mvar|Λ}}('''e'''<sub>{{mvar|''s''}}</sub>,'''e'''<sub>{{mvar|''t''}}</sub>) = - {{mvar|''A''}}, {{mvar|Λ}}('''e'''<sub>{{mvar|''t''}}</sub>,'''e'''<sub>{{mvar|''r''}}</sub>) = - {{mvar|''B''}} y {{mvar|Λ}}(''' e'''<sub>{{mvar|''r''}}</sub>,'''e'''<sub>{{mvar|''s''}}</sub>) = - {{mvar|''C''}}, con las tres entradas diagonales iguales a uno. La forma bilineal simétrica {{mvar|Λ}} no es degenerada con signatura (2,1). Definir {{mvar|ρ}}('''v''') = '''v''' - 2 {{mvar|Λ}}('''v''','''e'''<sub>{{mvar|''r''}}</sub>) '''e'''<sub>{{mvar|''r''}}</sub>, {{mvar|σ}} ('''v''') = '''v''' - 2 {{mvar|Λ}}('''v''','''e'''<sub>{{mvar|''s''}}</sub>) '''e'''<sub>{{mvar|''s''}}</sub> y {{mvar|τ}}('''v''') = '''v''' - 2 {{mvar|Λ}}('''v''','''e'''<sub>{{mvar|''t''}}</sub>) '''e'''<sub>{{mvar|''t''}}</sub>.

'''Teorema (representación geométrica)''': ''Los operadores'' {{mvar|ρ}}, {{mvar|σ}} ''y'' {{mvar|τ}} ''son involuciones sobre'' {{mvar|''V''}}, ''con respectivos autovectores'' '''e'''<sub>{{mvar|''r''}}</sub>,
'''e'''<sub>{{mvar|''s''}}</sub> ''y'' '''e'''<sub>{{mvar|''t''}}</sub> ''con valor propio simple'' -1. ''Los productos de los operadores tienen órdenes correspondientes a la presentación anterior (por lo que'' {{mvar|στ}} ''tiene orden'' {{mvar|''a''}}, ''etc). Los operadores'' {{mvar|ρ}}, {{mvar|σ}} ''y'' {{mvar|τ}} ''inducen una representación de'' {{mvar|Γ}} ''sobre'' {{mvar|''V''}} ''que conserva'' {{mvar|Λ}}.

La forma bilineal {{mvar|Λ}} para la base tiene la matriz:

:<math>M= \begin{pmatrix}
 1 & -C & -B\\
 -C & 1 & -A\\
 -B & -A & 1\\
\end{pmatrix},</math>

con determinante 1-{{mvar|''A''}}<sup>2</sup>-{{mvar|''B''}}<sup>2</sup>-{{mvar|''C''}}<sup>2</sup>-2{{mvar|''ABC''}}. Si, póngase por caso, {{mvar|''c''}} = 2, entonces los valores propios de la matriz son 1 y 1 ± ({{mvar|''A''}}<sup>2</sup>+{{mvar|''B''}}<sup>2</sup>)<sup>½</sup>. La condición {{mvar|''a''}}<sup>−1</sup> + {{mvar|''b''}}<sup>−1</sup> < ½ obliga inmediatamente a {{mvar|''A''}}<sup>2</sup>+{{mvar|''B''}}<sup>2</sup> > 1, por lo que Λ debe tener signatura (2,1). Entonces, en general, {{mvar|''a''}}, {{var|''b''}}, {{mvar|''c''}} = 3. Claramente, el caso en el que todos son iguales a 3 es imposible. Pero entonces el determinante de la matriz es negativo, mientras que su traza es positiva. Como resultado, dos valores propios son positivos y uno negativo, es decir, Λ tiene la signatura (2,1). Manifiestamente {{mvar|ρ}}, {{mvar|σ}} y {{mvar|τ}} son involuciones, preservándose {{mvar|Λ}} con los vectores propios asociados a -1 dados.

Para verificar el orden de los productos como {{mvar|''στ''}}, basta con tener en cuenta que:

# Las reflexiones {{mvar|''σ''}} y {{mvar|''τ''}} generan un [[grupo diedral]] finito o infinito.
# El tramo lineal bidimensional {{mvar|''U''}} de '''e'''<sub>{{mvar|''s''}}</sub> y '''e'''<sub>{{mvar|''t''}}</sub> es invariante bajo {{mvar|''σ''}} y {{mvar|''τ''}}, con la restricción de que {{mvar|Λ}} sea positivo-definido.
# {{mvar|''W''}}, el complemento ortogonal de {{mvar|''U''}}, es definido negativo sobre {{mvar|Λ}}, y {{mvar|''σ''}} y {{mvar|''τ''}} actúan trivialmente sobre {{mvar|''W''}}.

La condición (1) es clara, dado que si {{mvar|''γ''}} = {{mvar|''στ''}} se genera un subgrupo normal con {{mvar|''σγσ''}}<sup>−1</sup> = {{mvar|''γ''}}<sup>−1</sup>. Para (2), {{mvar|''U''}} es invariante por definición y la matriz es definida positiva ya que 0 < cos &Pi; / {{mvar|''a''}} < 1. Dado que {{mvar|''Λ''}} tiene la signatura (2,1), un vector distinto de cero {{mvar|''w''}} en {{mvar|''W''}} debe satisfacer que {{mvar|''Λ''}}({{mvar|''w''}} ,{{mvar|''w''}}) < 0. Por definición, {{mvar|''σ''}} tiene valores propios 1 y –1 en {{mvar|''U''}}, por lo que {{mvar|''w''}} debe ser fijado por {{mvar|''σ''}}. Análogamente, {{mvar|''w''}} debe ser fijado por {{mvar|''τ''}}, de modo que se prueba (3). Finalmente, en (1):

:<math> \sigma ({\mathbf e}_s)= -{\mathbf e}_s,\,\,\,\,\, \sigma({\mathbf e}_t)= 2 \cos(\pi / a) {\mathbf e}_s + {\mathbf e}_t,\,\,\,\,\, \tau({\mathbf e}_s)= 2 \cos(\pi / a) {\mathbf e}_s + {\mathbf e}_t,\,\,\,\,\, \tau({\mathbf e}_t)= -{\mathbf e}_t,</math>

de modo que, si {{mvar|''a''}} es finito, los autovalores de {{mvar|''στ''}} son -1, {{mvar|''ς''}} y {{mvar|''ς''}}<sup>−1</sup>, donde {{mvar|''ς''}} = exp {{mvar|''2πi''}} / {{mvar|''a''}}; y si {{mvar|''a''}} es infinito, los autovalores son -1, {{mvar|''X''}} y {{mvar|''X''}}<sup>−1</sup>, donde
{{mvar|''X''}} = exp {{mvar|''2x''}}. Además, un argumento de inducción directo muestra que si {{mvar|''θ''}} = {{mvar|''π''}} / {{mvar|''a''}} entonces:<ref>{{harvnb|Howlett|1996}}</ref>

:<math>(\sigma\tau)^m({\mathbf e}_s)= [\sin(2m+1)\theta/\sin\theta]{\mathbf e}_s + [\sin 2m\theta/\sin\theta]{\mathbf e}_t, </math>
:<math>\tau(\sigma\tau)^m({\mathbf e}_s)= [\sin(2m+1)\theta/\sin\theta]{\mathbf e}_s + [\sin (2m+2)\theta/\sin\theta]{\mathbf e}_t </math>

y si {{mvar|''x''}} > 0, entonces:

:<math> (\sigma\tau)^m({\mathbf e}_s)= [\sinh(2m+1)x/\sinh x]{\mathbf e}_s + [\sinh 2mx/\sinh x]{\mathbf e}_t,</math>
:<math>\tau(\sigma\tau)^m({\mathbf e}_s)= [\sinh(2m+1)x/\sinh x]{\mathbf e}_s + [\sinh (2m+2)x/\sinh x]{\mathbf e}_t.</math>{{efn|1=En el límite, como {{mvar|''x''}} tiende a 0, ({{mvar|''στ''}})<sup>{{mvar|''m''}}</sup>('''e'''<sub>{{mvar|''s''}}</sub>)= ({{mvar|''2m''}}+{{mvar|''1''}})'''e'''<sub>{{mvar|''s''}}</sub> + {{mvar|''2m''}}'''e'''<sub>{{mvar|''t''}}</sub> y {{mvar|''τ''}}({{mvar|''στ''}})<sup>{{mvar|''m''}}</sup>('''e'''<sub>{{mvar|''s''}}</sub>)= ({{mvar|''2m''}}+{{mvar|''1''}})'''e'''<sub>{{mvar|''s''}}</sub> + ({{mvar|''2m''}}+{{mvar|''2''}})'''e'''<sub>{{mvar|''t''}}</sub>.}}

Sea {{mvar|''Γ''}}<sub>{{mvar|''a''}}</sub> el subgrupo diédrico de {{mvar|''Γ''}} generado por {{mvar|''s''}} y {{mvar|''t''}}, con definiciones análogas para {{mvar|''Γ''}}<sub>{{mvar|''b''}}</sub> y {{mvar|''Γ''}}<sub>{{mvar|''c''}}</sub>. De manera similar, se define {{mvar|''Γ''}}<sub>{{mvar|''r''}}</sub> como el subgrupo cíclico de {{mvar|''Γ''}} dado por el grupo de dos elementos {1,{{mvar|''r''}}}, con definiciones análogas para {{mvar|''Γ''}}<sub>{{mvar|''s''}}</sub> y {{mvar|''Γ''}}<sub>{{mvar|''t''}}</sub>. De las propiedades de la representación geométrica, los seis de estos grupos actúan fielmente en {{mvar|''V''}}. En particular, {{mvar|''Γ''}}<sub>{{mvar|''a''}}</sub> se puede identificar con el grupo generado por {{mvar|''σ''}} y {{mvar|''τ''}}. Como anteriormente, se descompone explícitamente como una suma directa del subespacio bidimensional irreducible {{mvar|''U''}} y el subespacio unidimensional {{mvar|''W''}} con una acción trivial. Por tanto, existe un único vector '''w''' = '''e'''<sub>{{mvar|''r''}}</sub> + {{mvar|''λ''}} '''e'''<sub>{{mvar|''s''}}</sub> + {{mvar|''μ''}} '''e'''<sub>{{mvar|''t''}}</sub> en {{mvar|''W''}} que satisface que {{mvar|''σ''}}(''' w''') = '''w''' y {{mvar|''τ''}}('''w''') = '''w'''. Explícitamente {{mvar|''λ''}} = ({{mvar|''C''}} + {{mvar|''AB''}})/(1 – {{mvar|''A''}}<sup>2</sup>) y {{mvar|''μ''}} = ({{mvar|''B''}} + {{mvar|''AC''}})/(1 – {{mvar|''A''}}<sup>2</sup>).

'''Observación sobre las representaciones de los grupos diédricos''': Es bien sabido que, para espacios de productos interiores reales de dimensión finita, dos involuciones ortogonales {{mvar|''S''}} y {{mvar|''T''}} se pueden descomponer como una suma directa ortogonal de espacios invariantes de dos dimensiones o unidimensionales. Por ejemplo, esto se puede deducir de la observación de [[Paul Halmos]] y otros, que el operador autoadjunto positivo ({{mvar|''S''}} – {{mvar|''T''}})<sup>2</sup> conmuta tanto con {{math|''S''}} como con {{mvar|''T''}}. Sin embargo, en el caso anterior, donde la forma bilineal {{mvar|''Λ''}} ya no es un producto interno definido positivo, se debe dar un razonamiento "ad hoc" diferente.

'''Teorema (Tits)''': ''La representación geométrica del grupo de Coxeter es fiel.''

Este resultado fue probado por primera vez por Tits a principios de la década de 1960 y publicado por primera vez en el texto de {{harvtxt|Bourbaki|1968}} con numerosos ejercicios. En el texto, la ''[[Grupo de Weyl|cámara fundamental]]'' fue introducida mediante un argumento inductivo. El ejercicio 8 del §4 del Capítulo V fue ampliado por [[Vinay Deodhar]] para desarrollar una teoría de raíces positivas y negativas, y así acortar el argumento original de Tits.<ref>Véase:
*{{harvnb|Tits|2013}}
*{{harvnb|Bourbaki|1968}}
*{{harvnb|Steinberg|1968}}
*{{harvnb|Hiller|1980}}
*{{harvnb|Deodhar|1982}},{{harvnb|Deodhar|1986}}
*{{harvnb|Humphreys|1990}}
*{{harvnb|Howlett|1996}}
*{{harvnb|Heckman|2017}}
</ref>

Sea '''X''' el cono convexo de las sumas {{var|''κ''}}'''e'''<sub>{{mvar|''r''}}</sub> + {{mvar|''λ''}}'''e'''<sub>{{mvar|''s''}}</sub> + {{mvar|''μ''}}'''e'''<sub>{{mvar|''t''}}</sub> con coeficientes reales no negativos, no todos ellos cero. Para {{mvar|''g''}} en el grupo {{mvar|''Γ''}}, se define ℓ({{mvar|''g''}}), la '''[[problema de palabra para grupos|longitud de palabra]]''' o '''longitud''', el número mínimo de reflejos de {{mvar|''r''}}, {{mvar|''s''}} y {{mvar|''t''}} necesarios para escribir {{mvar|''g''}} como una composición ordenada de reflejos simples. Defínase una '''raíz positiva''' para que sea un vector {{mvar|''g''}}'''e'''<sub>{{mvar|''r''}}</sub>, {{mvar|''g''}}'''e'''<sub>{{mvar|''s''}}</sub> o {{mvar|''g''}}'''e'''<sub>{{mvar|''r''}}</sub> que se encuentre en '''X''', con {{mvar|''g''}} en {{mvar|''Γ''}}. {{efn|1=Aquí {{mvar|''Γ''}} se considera que actúa sobre {{mvar|''V''}} a través de la representación geométrica.}}

Es una rutina comprobar a partir de las definiciones que:<ref name="HHH">Véase:
* {{harvnb|Humphreys|1990}}
* {{harvnb|Howlett|1996}}
* {{harvnb|Heckman|2017}}</ref>

* Si |ℓ({{mvar|''gq''}}) – ℓ({{mvar|''g''}})| = 1 para una reflexión simple {{mvar|''q''}} y, si {{mvar|''g''}} ≠ 1, siempre hay una reflexión simple {{mvar|''q''}} tal que ℓ({{mvar|''g''}}) = ℓ({{mvar|''gq''}}) + 1.
* Para {{mvar|''g''}} y {{mvar|''h''}} en {{mvar|''Γ''}}, ℓ({{mvar|''gh''}}) = ℓ({{mvar|''g''}}) + ℓ({{mvar|''h''}}).

'''Proposición:''' ''Si'' {{mvar|''g''}} ''está en'' {{mvar|''Γ''}} ''y'' ℓ({{mvar|''gq''}}) = ℓ({{mvar|''g''}}) ± 1 ''para una reflexión simple'' {{mvar|''q''}}, ''entonces'' {{mvar|''g''}}'''e'''<sub>{{mvar|''q''}}</sub> ''se encuentra en'' ±'''X''', ''y es por tanto raíz positiva o negativa, según el signo.''

Reemplazando {{mvar|''g''}} por {{mvar|''gq''}}, solo se debe considerar el signo positivo. La afirmación se demostrará por inducción sobre l({{mvar|''g''}}) = {{mvar|''m''}}, siendo trivial para {{var|''m''}} = 0.

Supóngase que l({{mvar|''gs''}}) = l({{mvar|''g''}}) + 1. Si ℓ({{mvar|''g''}}) = {{mvar|''m''}} > 0, sin menos generalidad, se puede suponer que la expresión mínima para {{mvar|''g''}} termina en ... {{mvar|''t''}}. Dado que {{mvar|''s''}} y {{mvar|''t''}} generan el grupo diédrico {{mvar|''Γ''}}<sub>{{mvar|''a''}}</sub>, {{mvar|''g''}} se puede escribir como un producto {{mvar|''g''}} = {{mvar|''hk''}}, donde {{mvar|''k''}} = ({{mvar|''st''}})<sup>{{var|''n''}}</sup> o {{mvar|''t''}}({{mvar|''st''}})<sup>{{var|''n''}}</sup> y {{mvar|''h''}} tiene una expresión mínima que termina en ... {{mvar|''r''}}, pero nunca con {{mvar|''s''}} o {{mvar|''t''}}. Esto implica que ℓ({{mvar|''hs''}}) = ℓ({{mvar|''h''}}) + 1 y ℓ({{mvar|''ht''}}) = ℓ({{mvar|''h''}}) + 1. Como ℓ({{mvar|''h''}}) < {{mvar|''m''}}, la hipótesis de inducción muestra que tanto {{mvar|''h''}}'''e'''<sub>{{mvar|''s''}}</sub> como {{mvar|''h''}}'''e'''<sub>{{mvar|''t''}}</sub> se encuentran en '''X'''. Por lo tanto, basta mostrar que {{mvar|''k''}}'''e'''<sub>{{mvar|''s''}}</sub> tiene la forma {{mvar|λ}}'''e'''<sub>{{mvar|''s''}}</sub> + {{mvar|μ}}'''e'''<sub>{{mvar|''t''}}</sub> con {{mvar|λ}}, {{mvar|μ}} = 0, no ambos 0. Pero eso ya se ha verificado en las fórmulas anteriores.<ref name="HHH" />

'''Corolario (demostración del teorema de Tits):''' ''La representación geométrica es fiel.''

Basta demostrar que si {{mvar|''g''}} fija '''e'''<sub>{{mvar|''r''}}</sub>, '''e'''<sub>{{mvar|''s''}}</sub> y '''e'''<sub>{{mvar|''t''}}</sub>, entonces {{mvar|''g''}} = 1. Considerando una expresión mínima para {{mvar|''g''}} ≠ 1, la condición ℓ({{mvar|''gq''}}) = ℓ({{mvar|''g''}}) + 1 claramente no pueden ser satisfechas simultáneamente por las tres reflexiones simples {{mvar|''q''}}.

Debe tenerse en cuenta que, como consecuencia del teorema de Tits, los generadores {{mvar|''g''}} = {{mvar|''st''}}, {{mvar|''h''}} = {{mvar|''tr''}} y {{mvar|''k''}} = {{mvar|''rs''}} satisfacen {{mvar|''g''<sup>''a''</sup>}} = 1, {{mvar|''h''<sup>''b''</sup>}} = 1 y {{mvar|''k''<sup>''c''</sup>}} = 1 con {{mvar|''ghk''}} = 1. Esto da una presentación del subgrupo normal que preserva la orientación de índice 2 {{mvar|Γ<sub>1</sub>}} de {{mvar|Γ}}. La presentación corresponde al dominio fundamental obtenido al reflejar dos lados del triángulo geodésico para formar un [[paralelogramo]] geodésico (un caso especial del teorema del polígono de Poincaré).<ref>Véase: 
* {{harvnb|Magnus|Karrass|Solitar|1976}}
* {{harvnb|Magnus|1974}}
* {{harvnb|Iversen|1992}}
* {{harvnb|Ellis|2019}}</ref>

'''Otras consecuencias:''' ''Las raíces son la unión disjunta de las raíces positivas y las raíces negativas. La reflexión simple'' {{mvar|''q''}} ''permuta toda raíz positiva que no sea'' '''e'''<sub>{{mvar|''q''}}</sub>. ''Para'' {{mvar|''g''}} ''en'' {{mvar|''Γ''}}, ℓ({{mvar|''g''}}) ''es el número de raíces positivas que se vuelven negativas por'' {{mvar|''g''}}.

'''Dominio fundamental y cono de Tits'''<ref>Véase:
* {{harvnb|Tits|2013}}
* {{harvnb|Bourbaki|1968}}
* {{harvnb|Maxwell|1982}}
* {{harvnb|Abramenko|Brown|2007}}
* {{harvnb|Davis|2008}}
* {{harvnb|Heckman|2017}}</ref>

Sea {{mvar|''G''}} el subgrupo de Lie cerrado tridimensional de GL({{mvar|''V''}}) que conserva {{mvar|''Λ''}}. Como {{mvar|''V''}} se puede identificar con un espacio tridimensional de Lorentz o de Minkowski con signatura (2,1), el grupo {{mvar|''G''}} es isomorfo al [[grupo de Lorentz]] O(2,1) y por lo tanto SL<sub>±</sub>(2,'''R''') / ±{{mvar|''I''}}. {{efn|1=SL<sub>±</sub>(2,'''R''') es el subgrupo de GL(2,'''R''') con determinante ±1.}} Eligiendo '''e''' para que sea un vector raíz positivo en '''X''', el estabilizador de '''e''' es un subgrupo compacto maximal {{mvar|''K''}} de {{mvar|''G''}} isomorfo a O(2). El [[espacio homogéneo]] {{mvar|''X''}} = {{mvar|''G''}} / {{mvar|''K''}} es un [[espacio simétrico]] de curvatura negativa constante, que se puede identificar con el [[hiperboloide]] bidimensional o con el [[geometría hiperbólica|plano de Lobachevsky]] <math>\mathfrak{H}^2</math>. El grupo discreto {{mvar|''Γ''}} actúa discontinuamente sobre {{mvar|''G''}} / {{mvar|''K''}}: el espacio cociente {{nowrap|{{mvar|''Γ''}}  {{mvar|''G''}} / {{mvar|''K''}}}} es compacto si {{mvar|''a''}}, {{mvar|''b''}} y {{mvar|''c''}} son todos finitos, y de área finita en caso contrario. Los resultados sobre la cámara fundamental de Tits tienen una interpretación natural en términos del triángulo de Schwarz correspondiente, que se traducen directamente en las propiedades del teselado del triángulo geodésico a través del grupo de reflexión hiperbólica {{mvar|''Γ''}}. El paso de los grupos de Coxeter a la teselación se encuentra primero en los ejercicios del §4 del Capítulo V de {{harvtxt|Bourbaki|1968}}, debido a Tits, y en {{harvtxt|Iwahori|1966}}; actualmente se dispone de muchos otros tratamientos equivalentes, no siempre expresados directamente en términos de espacios simétricos.

===Enfoque de Maskit, de Rham y Beardon===

{{harvtxt|Maskit|1971}} dio una demostración general del teorema del polígono de Poincaré en el espacio hiperbólico; una prueba similar la dio  {{harvtxt|de Rham|1971}}. Al especializarse en el plano hiperbólico y los triángulos de Schwarz, esto se puede usar para brindar un enfoque moderno para establecer la existencia de teselaciones de triángulos de Schwarz, como se describe en {{harvtxt|Beardon|1983}} y {{harvtxt|Maskit|1988}}. Los matemáticos suizos {{harvtxt|de la Harpe|1990}} y [[André Haefliger|Haefliger]] han elaborado un texto introductorio, tomando la [[teoría geométrica de grupos]] como punto de partida.<ref>See:
*{{harvnb|Milnor|1975}}
*{{harvnb|Beardon|1983|pages=242–249}}
*{{harvnb|Iversen|1992|pages=200–208}}
*{{harvnb|Bridson|Haefliger|1999}}
*{{harvnb|Berger|2010|pages=616–617}}</ref>

==Véase también==
* [[Anexo:Poliedros uniformes por el triángulo de Schwarz]]
* [[Símbolo de Wythoff]]
* [[Construcción de Wythoff]]
* [[Poliedro uniforme]]
* [[Poliedro uniforme estrellado]]
* [[Densidad (politopo)]]
* [[Tetraedro de Goursat]]
* [[Teselado hiperbólico regular]]
* [[Teselados uniformes en el plano hiperbólico]]

==Referencias==
{{notelist|2}}

==Bibliografía==
{{listaref|2}}
{{refbegin}}
*{{citation|first=H.S.M.|last=Coxeter|author-link=H.S.M. Coxeter|title=[[ Regular Polytopes (book)|Regular Polytopes]]|edition=Third|year=1973|publisher=Dover Publications|isbn=0-486-61480-8}}, Tabla 3: Triángulos de Schwarz
* {{Citation|last1=Schwarz|first1=H. A.|title=Ueber diejenigen Fälle in welchen die Gaussichen hypergeometrische Reihe eine algebraische Function ihres vierten Elementes darstellt|url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002155206|year=1873|volume=1873|journal=[[Crelle (revista)]]|issue=75|issn=0075-4102|pages=292–335|doi=10.1515/crll.1873.75.292|s2cid=121698536 }} (Tenga en cuenta que Coxeter hace referencia a esto como "Zur Theorie der hypergeometrischen Reihe", que es el título abreviado utilizado en los encabezados de página de la revista).
* {{Citation
|publisher= CUP Archive
|isbn= 978-0-521-22279-2
|last= Wenninger
|first= Magnus J.
|title= Spherical models
|chapter= An introduction to the notion of polyhedral density
|pages= [https://books.google.com/books?id=Olc5AAAAIAAJ&pg=PA132 132–134]
|year= 1979
}}

* {{cite book|mr= 2439729|last1= Abramenko|first1=Peter|last2=Brown|first2=Kenneth S.|author2-link= Kenneth S. Brown|title=Buildings: Theory and Applications|series= Graduate Texts in Mathematics|volume= 248|publisher= [[Springer Science+Business Media]]|year= 2007|isbn= 978-0-387-78834-0}}
* {{citation|last=Beardon|first=Alan F.|author-link= Alan Frank Beardon|title=The Geometry of Discrete Groups|series=Graduate Texts in Mathematics|volume=91|publisher=Springer|year=1983|isbn=0-387-90788-2|pages= 242–252|chapter= Poincaré's Theorem}}
* {{citation|last=Beardon|first=Alan F.|author-link= Alan Frank Beardon|title=A primer on Riemann surfaces|journal=London Mathematical Society Lecture Note Series|volume=78|publisher=Cambridge University Press|year=1984|isbn=0521271045|url=https://archive.org/details/primeronriemanns0000bear }}
* {{citation|last=Berger|first=Marcel|author-link=Marcel Berger|title=Geometry revealed. A Jacob's ladder to modern higher geometry|traductor=Lester Senechal|publisher=Springer|year=2010|isbn=978-3-540-70996-1 }}
* {{citation|last1=Berndt|first1=Bruce C.|author-link=Bruce C. Berndt|last2=Knopp|first2=Marvin I.|author-link2=Marvin Knopp|title=Hecke's theory of modular forms and Dirichlet series|series=Monographs in Number Theory|volume=5|publisher=World Scientific|year=2008|isbn=978-981-270-635-5 }}
* {{cite book|mr=0240238|last=Bourbaki|first= Nicolas|author-link= Nicolas Bourbaki|series=Éléments de mathématique|title=Groupes et algèbres de Lie|chapter= Chapitre IV : Groupes de Coxeter et systèmes de Tits • Chapitre V : Groupes engendrés par des réflexions|publisher= Hermann|location= Paris|year= 1968|pages=1–56, 57–141|language= fr}} Reimpreso por Masson en 1981 como {{isbn|2-225-76076-4}}.
* {{cite book|mr=1744486|last1=Bridson|first1= Martin R.|author1-link= Martin Bridson|last2= Haefliger|first2= André|author2-link= André Haefliger|title= Metric spaces of non-positive curvature|series=Grundlehren der mathematischen Wissenschaften|volume= 319|publisher= [[Springer Science+Business Media]]|year= 1999 
|isbn= 3-540-64324-9|url= https://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf|chapter=I. Basic material on SL<sub>2</sub>(R), discrete subgroups, and the upper half-plane}}
* {{cite book|mr= 0969123|last= Brown|first= Kenneth S.|author-link= Kenneth S. Brown|title=Buildings|publisher= [[Springer Science+Business Media]]|year=  1989|isbn= 0-387-96876-8 }}
* {{citation|last=Carathéodory|first=Constantin|author-link=Constantin Carathéodory|title=Theory of functions of a complex variable|volume=2|traductor=F. Steinhardt|publisher=Chelsea|year=1954}}
* {{citation|last=Davis|first=Michael W.|title=The geometry and topology of Coxeter groups|series=London Mathematical Society Monographs|volume=32|publisher=[[Princeton University Press]]|year=2008|isbn=978-0-691-13138-2|chapter=Appendix D. The Geometric Representation|pages= 439–447 }}
* {{cite book|mr=1170367|last=de la Harpe|first= Pierre|chapter=An invitation to Coxeter groups|title= Group theory from a geometrical viewpoint (Trieste, 1990)|pages= 193–253|publisher= [[ World Scientific]]|year= 1991}}
* {{cite journal|mr=0647210|last=Deodhar|first= Vinay V.|author-link= Vinay Deodhar|title= On the root system of a Coxeter group|journal= [[ Comm. Algebra]]|volume= 10|year=1982|issue=6|pages= 611–630|
doi=10.1080/00927878208822738}}
* {{cite journal|url= https://www.e-periodica.ch/cntmng?var=true&pid=ens-001:1986:32::54|last=Deodhar|first= Vinay V.|author-link= Vinay Deodhar|journal= [[ Enseign. Math.]]|mr= 0850554|title=Some characterizations of Coxeter groups|volume= 32|year=1986|pages= 111–120 }}
* {{cite journal|last=de Rham|first= G.|author-link=Georges de Rham|title= Sur les polygones générateurs de groupes fuchsiens|language=fr|journal= [[ Enseign. Math.]]|volume= 17|year=1971|pages= 49–61|url= https://www.e-periodica.ch/cntmng?pid=ens-001%3A1971%3A17%3A%3A33}}
* {{cite book|last= Ellis|first= Graham|chapter= Triangle groups|isbn= 978-0-19-883298-0|mr= 3971587|pages= 441–444|publisher= [[Oxford University Press]]|title= An Invitation to Computational Homotopy|year= 2019}}
* {{cite journal|mr= 1279064|last1=Epstein|first1= David B. A.|author1-link=David B. A. Epstein|last2= Petronio|first2= Carlo|title=An exposition of Poincaré's polyhedron theorem|journal=[[ Enseign. Math.]]|volume= 40|year= 1994|pages= 113–170|url= https://www.e-periodica.ch/cntmng?pid=ens-001%3A1994%3A40%3A%3A49}}
* {{citation|last=Evans|first=Ronald|title=A fundamental region for Hecke's modular group|journal=[[ Journal of Number Theory]]|volume=5|year=1973|issue=2|pages=108–115|doi=10.1016/0022-314x(73)90063-2|bibcode=1973JNT.....5..108E}}
* {{citation|last1=Fricke|first1=Robert|author-link1=Robert Fricke|last2=Klein|first2=Felix|author-link2=Felix Klein|date=1897|title=Vorlesungen über die Theorie der automorphen Functionen. Erster Band; Die gruppentheoretischen Grundlagen|url=https://archive.org/details/vorlesungenber01fricuoft|publisher=B. G. Teubner|language=de|isbn=978-1-4297-0551-6|jfm=28.0334.01 }}
* {{citation|last1=Graham|first1=Ronald L.|author-link=Ronald Graham (mathematician)|last2=Knuth|first2=Donald E.|author-link2=Donald Knuth|last3=Patashnik|first3=Oren|author-link3=Oren Patashnik|year=1994|title=Concrete mathematics|edition=2nd|publisher=Addison-Wesley|isbn=0-201-55802-5|pages=116–118 }}
* {{citation|last1=Hardy|first1=G. H.|author-link=G. H. Hardy|last2=Wright|first2=E. M.|author-link2=E. M. Wright|title=An introduction to the theory of numbers|edition=6th|publisher=Oxford University Press|year=2008|isbn=978-0-19-921986-5 }}
* {{cite book|first=Allen|last=Hatcher|author-link=Allen Hatcher|title=Topology of Numbers|publisher=[[Universidad Cornell]]|year=2013|url=https://pi.math.cornell.edu/~hatcher/TN/TNbook.pdf 
|access-date=2022-02-25|chapter= 1. The Farey Diagram }}
* {{citation|title=Über die Bestimmung Dirichletscher Reihen durch ihre Funktionalgleichung|language=de|last=Hecke|first=E.|author-link=Erich Hecke|journal=[[Mathematische Annalen]]|volume=112|year=1935|pages=664–699|doi=10.1007/bf01565437}}
* {{cite web|last=Heckman|first= Gert J.|title= Coxeter Groups|year=2018|access-date= 2022-03-03|url= https://www.math.ru.nl/~heckman/CoxeterGroups.pdf|work= [[Universidad Radboud de Nimega]]}}
* {{cite book|mr= 0649068|last= Hiller|first=  Howard|title= Geometry of Coxeter groups|series=Research Notes in Mathematics|volume= 54|publisher= Pitman|year= 1982|isbn= 0-273-08517-4 }}
* {{cite book|first=Robert|last= Howlett|author-link= Robert Howlett|chapter= Introduction to Coxeter Groups|year= 1996|chapter-url= https://www.maths.usyd.edu.au/u/ResearchReports/Algebra/How/1997-6.html|
title= Australian National University Geometric Group Theory Workshop|location= [[Sídney]] }}
* {{cite book|mr=1066460|last=Humphreys|first= James E.|author-link=James E. Humphreys|title= Reflection groups and Coxeter groups|series= Cambridge Studies in Advanced Mathematics|volume= 29|publisher= [[Cambridge University Press]]|year= 1990|isbn= 0-521-37510-X}}
* {{citation|last=Iversen|first=Birger|title=Hyperbolic geometry|series=London Mathematical Society Student Texts|volume=25|publisher=Cambridge University Press|year=1992|isbn=0-521-43508-0 }}
* {{cite book|mr= 0217741|last=Iwahori|first= Nagayoshi|author-link= Nagayoshi Iwahori|chapter=On discrete reflection groups on symmetric Riemannian manifolds|year= 1966|title= Proc. U.S.-Japan Seminar in Differential Geometry (Kyoto, 1965)|pages= 57–62|publisher= Nippon Hyoronsha|location= Tokyo}}
* {{citation|last=Magnus|first=Wilhelm|author-link=Wilhelm Magnus|title=Noneuclidean tesselations and their groups|series=Pure and Applied Mathematics|volume=61|publisher=Academic Press|year=1974|url=
https://www.sciencedirect.com/bookseries/pure-and-applied-mathematics/vol/61/suppl/C}}
* {{cite book|mr= 0207802|last1= Magnus|first1= Wilhelm|author1-link= Wilhelm Magnus|last2= Karrass|first2= Abraham|last3= Solitar|first3= Donald|author3-link= Donald Solitar|title=Combinatorial group theory: Presentations of groups in terms of generators and relations|year=1976|
publisher= [[Dover Publications]]|edition= Second revised}}
* {{citation|last=Maskit|first=Bernard|author-link=Bernard Maskit|title=On Poincaré's theorem for fundamental polygons|journal=[[ Advances in Mathematics]]|volume=7|pages=219–230|year=1971|issue=3|doi=10.1016/s0001-8708(71)80003-8}}
* {{cite book|mr= 0959135|last= Maskit|first= Bernard|author-link= Bernard Maskit|title=Kleinian groups|series= Grundlehren der mathematischen Wissenschaften|volume= 287|publisher= [[Springer Science+Business Media]]|year= 1988|isbn= 3-540-17746-9|chapter= Poincaré's theorem}}
* {{cite journal|mr= 0679972|last=Maxwell|first=George|
title= Sphere packings and hyperbolic reflection groups|journal= [[ J. Algebra]]|volume= 79|year=1982|pages= 78–97|doi=10.1016/0021-8693(82)90318-0}}
* {{citation|last=McMullen|first=Curtis T.|author-link=Curtis McMullen|title=Hausdorff dimension and conformal dynamics. III. Computation of dimension|journal=American Journal of Mathematics|volume=120|year=1998|pages=691–721|doi=10.1353/ajm.1998.0031|s2cid=15928775 }}
* {{cite book|mr=0418127|last= Milnor|first= John|author-link= John Milnor|chapter= On the 3-dimensional Brieskorn manifolds M(p,q,r)|title= Knots, groups, and 3-manifolds (Papers dedicated to the memory of R. H. Fox)|pages= 175–225|series= Ann. of Math. Studies|volume=84|publisher= [[Princeton University Press]]|year= 1975}}
* {{citation|last1=Mumford|first1=David|author-link1=David Mumford|last2=Series|first2=Caroline|author-link2=Caroline Series|last3=Wright|first3=David|date=2015|title=Indra's pearls. The vision of Felix Klein|publisher=Cambridge University Press|isbn=978-1-107-56474-9 }}
* {{citation|last=Series|first=Caroline|author-link=Caroline Series|title=Continued fractions and hyperbolic geometry, Loughborough LMS Summer School|year=2015|url=http://homepages.warwick.ac.uk/~masbb/HypGeomandCntdFractions-2.pdf|access-date=2017-02-15}}
* {{citation|last=Siegel|first=C. L.|author-link=Carl Ludwig Siegel|title=Topics in complex function theory|volume=II. Automorphic functions and abelian integrals|traductor=A. Shenitzer; M. Tretkoff|publisher=Wiley-Interscience|year=1971|isbn=0-471-60843-2|pages=85–87}}
* {{cite book|mr= 0230728|last= Steinberg|first= Robert|author-link= Robert Steinberg|title= Endomorphisms of linear algebraic groups|series= [[ Memoirs of the American Mathematical Society]]|volume=  80|publisher=  [[American Mathematical Society]]|year= 1968|url= https://bookstore.ams.org/memo-1-80/9}}
* {{citation|last=Takeuchi|first=Kisao|title=Arithmetic triangle groups|journal=Journal of the Mathematical Society of Japan|volume=29|year=1977a|pages=91–106|doi=10.2969/jmsj/02910091}}
* {{citation|last=Takeuchi|first=Kisao|title=Commensurability classes of arithmetic triangle groups|journal=Journal of the Faculty of Science, the University of Tokyo, Section IA, Mathematics|volume=24|year=1977b|pages=201–212 }}
* {{citation|last=Threlfall|first=W.|author-link=William Threlfall|url=http://digital.slub-dresden.de/fileadmin/data/304910686/304910686_tif/jpegs/304910686.pdf|title=Gruppenbilder|journal=Abhandlungen der Mathematisch-physischen Klasse der Sachsischen Akademie der Wissenschaften|volume=41|pages=1–59|publisher=Hirzel|year=1932 }}
* {{cite book|last=Tits|first= Jacques|author-link= Jacques Tits|title= Œuvres/Collected works, Volume I|language=fr|editor1= F. Buekenhout|editor2= B. M. Mühlherr|editor3= J-P. Tignol|editor4= H. Van Maldeghem|series= Heritage of European Mathematics|url= https://www.ems-ph.org/books/book.php?proj_nr=168|
publisher= [[ European Mathematical Society]]|location= Zürich|year= 2013|isbn= 978-3-03719-126-2|
chapter= Groupes et géométries de Coxeter|pages= 803–817}} Este manuscrito fue el texto fundacional de la teoría de los grupos de Coxeter, utilizado para preparar el capítulo IV de los ''Groupes et Algèbres de Lie'' de Bourbaki; se publicó por primera vez en 2001.
* {{cite journal|first= Ernest B.|last= Vinberg|author-link= Ernest Vinberg|year=1971|
title= Discrete linear groups generated by reflections|journal= [[ Mathematics of the USSR-Izvestiya]]|
pages= 1083–1119|volume= 5|issue= 5|doi= 10.1070/IM1971v005n05ABEH001203|bibcode= 1971IzMat...5.1083V|traductor= P. Flor|mr= 0302779}}
* {{cite journal|first=Ernest B.|last= Vinberg|author-link= Ernest Vinberg|year= 1985|journal= [[ Russian Mathematical Surveys]]|volume= 40|pages= 31–75|url= https://iopscience.iop.org/article/10.1070/RM1985v040n01ABEH003527/pdf|publisher= [[London Mathematical Society]]|title= Hyperbolic reflection groups|issue=1|doi=10.1070/RM1985v040n01ABEH003527|bibcode=1985RuMaS..40...31V|s2cid=250912767|traductor= J. Wiegold}}
* {{cite book|mr=1254933|author1-link=Ernest Vinberg|last1=Vinberg|first1= Ernest B.|last2= Shvartsman|first2= O. V.|chapter= Discrete groups of motions of spaces of constant curvature|title= Geometry II: Spaces of Constant Curvature|pages= 139–248|series= Encyclopaedia Math. Sci.|volume= 29|publisher= [[Springer Science+Business Media]]|year= 1993|isbn= 3-540-52000-7}}
* {{citation|first=Matthias|last=Weber|title=Kepler's small stellated dodecahedron as a Riemann surface|journal=[[ Pacific Journal of Mathematics]]|volume=220|year=2005|pages=167–182|url=http://msp.org/pjm/2005/220-1/p09.xhtml|doi=10.2140/pjm.2005.220.167}}
{{refend}}

==Enlaces externos==
* {{mathworld|urlname= SchwarzTriangle|title= Schwarz triangle}}
* {{KlitzingPolytopes|../explain/pqr.htm|3D|The general Schwarz triangle (p q r) and the generalized incidence matrices of the corresponding polyhedra}}
{{Control de autoridades}}
[[Categoría:Trigonometría esférica]]
[[Categoría:Poliedros]]