Ver el código de «Transformaciones de Laguerre»


{{Distinguir|Transformada de Laguerre}}

Las '''transformaciones de Laguerre''' u '''homografías axiales''' son un análogo de la [[transformación de Möbius]] sobre los [[número dual (matemáticas)|números duales]].<ref name="yaglom">{{Cite book|last=Yaglom|first=Isaak Moiseevitch|author-link=Isaak Yaglom|title=Complex Numbers in Geometry|publisher=Academic Press|year=1968|url=https://archive.org/details/complex-numbers-in-geometry/ }} Originally published as ''Kompleksnye Chisla i Ikh Primenenie v Geometrii'' (in Russian). Moscow: Fizmatgiz. 1963</ref><ref name=BFK>{{Cite journal|last1=Bolt|first1=Michael|last2=Ferdinands|first2=Timothy|last3=Kavlie|first3=Landon|date=2009|title=The most general planar transformations that map parabolas into parabolas|url=https://projecteuclid.org/euclid.involve/1513799118|journal=Involve: A Journal of Mathematics|language=EN|volume=2|issue=1|pages=79–88|doi=10.2140/involve.2009.2.79|issn=1944-4176}}</ref><ref>{{Cite journal|last1=Fillmore|first1=Jay P.|last2=Springer|first2=Arthur|date=1995-03-01|title=New euclidean theorems by the use of Laguerre transformations — Some geometry of Minkowski (2+1)-space|journal=Journal of Geometry|language=en|volume=52|issue=1|pages=74–90|doi=10.1007/BF01406828|s2cid=122511184|issn=1420-8997}}</ref><ref>{{Cite journal|last1=Barrett|first1=David E.|last2=Bolt|first2=Michael|date=June 2010|title=Laguerre Arc Length from Distance Functions|url=https://projecteuclid.org/euclid.ajm/1294789786|journal=Asian Journal of Mathematics|language=EN|volume=14|issue=2|pages=213–234|doi=10.4310/AJM.2010.v14.n2.a3|issn=1093-6106}}</ref> Al estudiar estas transformaciones, los números duales a menudo se interpretan como representantes de [[Recta|lines]] orientado en el plano.<ref name="yaglom" /> Las transformaciones de Laguerre asignan líneas a líneas e incluyen en particular todas las [[Grupo euclídeo|isometries of the plane]].

Estrictamente hablando, estas transformaciones actúan sobre el [[Número dual (matemáticas)|
dual number projective line]], que une a los números duales un conjunto de puntos en el infinito. Topológicamente, esta línea proyectiva equivale a un cilindro. Los puntos de este cilindro están en un [[función biyectiva]] natural con líneas orientadas en el plano.

== Definición ==

Una transformación de Laguerre es una [[ linear fractional transformation]] <math>z\mapsto\frac{az + b}{cz + d}</math> donde <math>a,b,c,d</math> son todos números duales, <math>z</math> se encuentra en la línea proyectiva de números duales y <math>ad-bc</math> no es una [[divisor de cero]].

Un [[número dual (matemáticas)]] es un [[número hipercomplejo]] de la forma <math>x+y\varepsilon</math> donde <math>\varepsilon^2=0</math> pero <math>\varepsilon\neq0</math>. Esto se puede comparar con los [[número complejo]] que tienen la forma <math>x+yi</math> donde <math>i^2=-1</math>.

Los puntos de la '''línea proyectiva de números duales''' se pueden definir de manera equivalente de dos maneras:
# El conjunto habitual de números duales, pero con algunos "puntos en el infinito" adicionales. Formalmente, el conjunto es <math>\{x + y \varepsilon \mid x \in \mathbb R, y \in \mathbb R\} \cup \left\{\frac{1}{x \varepsilon} \mid x \in \mathbb R\right\}</math>. Los puntos en el infinito se pueden expresar como <math>\frac{1}{x \varepsilon}</math> donde <math>x</math> es un [[número real]] arbitrario. Diferentes valores de <math>x</math> corresponden a diferentes puntos en el infinito. Estos puntos son infinitos porque a menudo se entiende que <math>\varepsilon</math> es un número [[infinitesimal]] y, por lo tanto, <math>1/\varepsilon</math> es infinito.
# El [[coordenadas homogéneas]] [''x'' : ''y''] con números duales ''x'' e ''y'' tales que el [[Ideal (teoría de anillos)|ideal]] que generan es el anillo completo de números duales. El anillo se ve a través de la inyección ''x'' ↦ [''x'' : 1]. La línea proyectiva incluye puntos [1: ''y&epsilon;''].

== Coordenadas de línea ==
: {{see also|Line coordinates#With complex numbers}}

Una recta que forma un ángulo <math>\theta</math> con el eje x, y cuyo [[raíz de una función]] se denota <math>s</math>, se representa mediante el número dual
: <math> z= \tan(\theta/2)(1 + \varepsilon s).</math>

Lo anterior no tiene sentido cuando la línea es paralela al eje x. En ese caso, si <math>\theta= \pi</math> entonces configure <math>z= \frac{-2}{\varepsilon R}</math> donde <math>R</math> es el [[ y-intercept]] de la línea. Puede que esto no parezca válido, ya que se está dividiendo por un divisor cero, pero este es un punto válido en la línea dual proyectiva. Si es <math>\theta= 2\pi</math>, configure <math>z= \frac 1 2 \varepsilon R</math>.

Finalmente, observe que estas coordenadas representan líneas "orientadas". Una línea orientada es una línea ordinaria a la que se le atribuye una de dos orientaciones posibles. Esto se puede ver por el hecho de que si <math>\theta</math> se incrementa en <math>\pi</math>, entonces el número dual representativo resultante no es el mismo.

== Representaciones matriciales ==

Es posible expresar las coordenadas de la línea anterior como [[coordenadas homogéneas]] <math>z= \left[\sin\left(\frac{\theta + \varepsilon R} 2\right):\cos\left(\frac{\theta + \varepsilon R} 2\right)\right]</math> donde <math>R</math> es el [[ perpendicular distance]] de la línea desde el origen. Esta representación tiene numerosas ventajas: una ventaja es que no es necesario dividirla en diferentes casos, como paralelo al eje <math>x</math> y no paralelo. La otra ventaja es que estas coordenadas homogéneas se pueden interpretar como [[ vector (mathematics and physics)|vectors]], lo que nos permite multiplicarlas por matrices.

Cada transformación de Laguerre se puede representar como un [[Matriz (matemática)|matrix]] de 2 × 2 cuyas entradas son números duales. La representación matricial de <math>z \mapsto \frac{pz + q}{rz + s}</math> es <math>\begin{pmatrix} p & q \\ r & s\end{pmatrix}</math> (pero observe que cualquier múltiplo escalar no nilpotente de esta matriz representa la misma transformación de Laguerre). Además, siempre que el determinante de una matriz de 2 × 2 con entradas de números duales no sea [[nilpotente]], representa una transformación de Laguerre.

''(Tenga en cuenta que en lo anterior, representamos el vector homogéneo <math>[z:w]</math> como un vector de columna de la manera obvia, en lugar de como un vector de fila.)''

== Puntos, rectas orientadas y circunferencias orientadas ==
Las transformaciones de Laguerre no actúan sobre puntos. Esto se debe a que si tres líneas orientadas pasan por el mismo punto, sus imágenes bajo una transformación de Laguerre no tienen por qué encontrarse en un punto.

Se puede considerar que las transformaciones de Laguerre actúan tanto sobre círculos orientados como sobre líneas orientadas. Un círculo orientado es un círculo ordinario al que se le atribuye un valor binario, que es <math>1</math> o <math>-1</math>. La única excepción es un círculo de radio cero, que tiene una orientación igual a <math>0</math>. Un punto se define como un círculo orientado de radio cero. Si un círculo orientado tiene una orientación igual a <math>1</math>, entonces se dice que el círculo está orientado "[[sentido del reloj]]"; si tiene una orientación igual a <math>-1</math> entonces está orientada "[[sentido del reloj]]". El radio de un círculo orientado se define como el radio <math>r</math> del círculo no orientado subyacente multiplicado por la orientación.

La imagen de un círculo orientado bajo una transformación de Laguerre es otro círculo orientado. Si dos figuras orientadas (ya sean círculos o líneas) son tangentes entre sí, entonces sus imágenes bajo una transformación de Laguerre también son tangentes. Dos círculos orientados se definen como tangentes si sus círculos subyacentes son tangentes y sus orientaciones son iguales en el punto de contacto. La tangencia entre líneas y círculos se define de manera similar. Una transformación de Laguerre podría asignar un punto a un círculo orientado que ya no es un punto.

Un círculo orientado nunca se puede asignar a una línea orientada. Del mismo modo, una línea orientada nunca se puede asignar a un círculo orientado. Esto es opuesto a [[ Möbius geometry]], donde

Aquí las líneas y los círculos se pueden asignar entre sí, pero ninguno de ellos se puede asignar a puntos. Tanto la geometría [[ Möbius geometry]] como la de Laguerre son subgeometrías de [[ Lie sphere geometry]], donde los puntos y las líneas orientadas se pueden asignar entre sí, pero se conserva la tangencia.

Las representaciones matriciales de círculos orientados (que incluyen puntos pero no líneas) son precisamente las matrices de números duales <math>2 \times 2</math> [[matriz antihermitiana]] invertibles. Todos estos tienen la forma <math>H= \begin{pmatrix} \varepsilon a & b + c\varepsilon \\ -b + c\varepsilon & \varepsilon d \end{pmatrix}</math> (donde todas las variables son reales y <math>b \neq 0</math>). El conjunto de líneas orientadas tangentes a un círculo orientado viene dado por <math>\{v \in \mathbb{DP}^1 \mid v^* H v= 0\}</math> donde <math>\mathbb{DP}^1</math> denota la línea proyectiva sobre los números duales <math>\mathbb D</math>. Al aplicar una transformación de Laguerre representada por <math>M</math> al círculo orientado representado por <math>H</math> se obtiene el círculo orientado representado por <math>(M^{-1})^* H M^{-1}</math>. El radio de un círculo orientado es igual a la mitad de [[Traza (álgebra lineal)|trace]]. La orientación es entonces la [[signo]] de la traza.

== Perfil ==
[[Archivo:Opposite-circles-dilatating2.gif|alt=Two circles with opposite orientations undergoing axial dilatation|thumb|Figure 1: Two circles initially with opposite orientations undergoing axial dilation]]
''Tenga en cuenta que las figuras animadas a continuación muestran algunas líneas orientadas, pero sin ninguna indicación visual de la orientación de una línea (por lo que dos líneas que difieren solo en la orientación se muestran de la misma manera); Los círculos orientados se muestran como un conjunto de líneas tangentes orientadas, lo que da como resultado un cierto efecto visual.''

Lo siguiente se puede encontrar en ''Números complejos en geometría'' de [[Isaak Yaglom]] y en un artículo de Gutin titulado ''Generalizaciones de descomposición de valores singulares en matrices de números duales''.<ref name="yaglom" /><ref name=":1">{{Cite journal|last=Gutin|first=Ran|date=2021-03-23|title=Generalizations of singular value decomposition to dual-numbered matrices|journal=Linear and Multilinear Algebra|pages=1–8|doi=10.1080/03081087.2021.1903830|issn=0308-1087}}</ref>

=== Matrices unitarias ===
Las asignaciones de la forma <math>z \mapsto \frac{pz - q}{\bar q z + \bar p}</math> expresan movimientos de cuerpos rígidos (a veces llamados "isometrías euclidianas directas"). Las representaciones matriciales de estas transformaciones abarcan una subálgebra isomorfa de [[ dual-complex numbers|planar quaternions]].

El mapeo <math>z \mapsto -z</math> representa una reflexión sobre el eje x.

La transformación <math>z \mapsto 1/z</math> expresa una reflexión sobre el eje y.

Observe que si <math>U</math> es la representación matricial de cualquier combinación de las tres transformaciones anteriores, pero normalizada para tener [[determinante (matemática)]] <math>1</math>, entonces <math>U</math> satisface <math>UU^*= U^* U= I</math> donde <math>U^*</math> significa <math>\overline{U}^\mathrm{T}</math>. A estas las llamaremos matrices "unitarias". Sin embargo, tenga en cuenta que estos son [[Matriz unitaria|unitary]] en el sentido de números duales y no de números complejos. Las matrices unitarias expresan precisamente el [[Grupo euclídeo|Euclidean isometries]].

=== Matrices de dilatación axial ===
Una ''dilatación axial'' en unidades <math>t</math> es una transformación de la forma <math>\frac{z + (\varepsilon t/2)}{(-\varepsilon t/2) z + 1}</math>. Una dilatación axial en unidades <math>t</math> aumenta el radio de todos los círculos orientados en unidades <math>t</math> preservando sus centros. Si un círculo tiene orientación negativa, entonces su radio se considera negativo y, por lo tanto, para algunos valores positivos de <math>t</math>, el círculo en realidad se contrae. En la Figura 1 se muestra una dilatación axial, en la que dos círculos de orientaciones opuestas experimentan la misma dilatación axial.

En líneas, una dilatación axial por unidades <math>t</math> asigna cualquier línea <math>z</math> a una línea <math>z'</math> de modo que <math>z</math> y <math>z'</math> sean paralelas, y la distancia perpendicular entre <math>z</math> y <math>z'</math> sea <math>t</math>. Líneas que son paralelas pero tienen orientaciones opuestas se mueven en direcciones opuestas.

=== Matrices diagonales reales ===
[[Archivo:Mul-by-k.gif|thumb|Figure 2: A grid of lines undergoing <math>z \mapsto kz</math> for <math>k</math> varying between <math>1</math> and <math>10</math>.]]
[[Archivo:Opposite-circles-mul-by-k.gif|thumb|Figure 3: Two circles that initially differ ''only'' in orientation undergoing the transformation <math>z \mapsto kz</math> for <math>k</math> varying from <math>1</math> and <math>10</math>.]]
La transformación <math>z \mapsto k z</math> para un valor de <math>k</math> que es real conserva la intersección con el eje x de una línea, mientras cambia su ángulo con el eje x. Consulte la Figura 2 para observar el efecto en una cuadrícula de líneas (incluido el eje x en el medio) y la Figura 3 para observar el efecto en dos círculos que difieren inicialmente solo en la orientación (para ver que el resultado es sensible a la orientación).

=== Una descomposición general del ===
En conjunto, una transformación general de Laguerre en forma matricial se puede expresar como <math>U S V^*</math>, donde <math>U</math> y <math>V</math> son unitarios, y <math>S</math> es una matriz de la forma <math>\begin{pmatrix} a & 0 \\ 0 & b\end{pmatrix}</math> o <math>\begin{pmatrix} a & -b\varepsilon \\ b\varepsilon & a\end{pmatrix}</math>, donde <math>a</math> y <math>b</math> son números reales. Las matrices <math>U</math> y <math>V</math> expresan [[Grupo euclídeo|Euclidean isometries]]. La matriz <math>S</math> representa una transformación de la forma <math>z \mapsto k z</math> o una dilatación axial. El parecido con [[Descomposición en valores singulares|Singular Value Decomposition]] debería quedar claro.<ref name=":1" />

''Nota: En el caso de que <math>S</math> sea una dilatación axial, el factor <math>V</math> se puede establecer en la matriz de identidad. Esto se desprende del hecho de que si <math>V</math> es unitario y <math>S</math> es una dilatación axial, entonces se puede ver que <math>SV= \begin{cases} V S,& \det(V)= +1 \\ V S^\mathrm{T},& \det(V)= -1\end{cases}</math>, donde <math>S^\mathrm{T}</math> denota el [[matriz transpuesta]] de <math>S</math>. Entonces <math>USV^*= \begin{cases} (U V^*) S,& \det(V)= +1 \\ (U V^*) S^\mathrm{T},& \det(V)= -1\end{cases}</math>''.

== Otros sistemas numéricos y el [[quinto postulado de Euclides]] ==

=== Números complejos y geometría elíptica ===
Surge una pregunta: ¿Qué sucede si el papel de los números duales anteriores se cambia a los números complejos? En ese caso, los números complejos representan líneas orientadas en el [[geometría elíptica]] (el plano sobre el que toma lugar la geometría elíptica). Esto contrasta con los números duales, que representan líneas orientadas en el plano euclidiano. El plano elíptico es esencialmente una esfera (pero donde se identifican [[punto antipodal]]) y, por tanto, las líneas son [[gran círculo]]. Podemos elegir un gran círculo arbitrario como [[ecuador terrestre]]. El círculo máximo orientado que corta el ecuador en la longitud <math>s</math> y forma un ángulo <math>\theta</math> con el ecuador en el punto de intersección, puede representarse mediante el número complejo <math>\tan(\theta/2)(\cos(s) + i \sin(s))</math>. En el caso de <math>\theta= \pi</math> (donde la línea es literalmente la misma que el ecuador, pero orientada en la dirección opuesta a <math>\theta= 0</math>), la línea orientada

e se representa como <math>\infty</math>. Similar al [[ #A general decomposition|case of the dual numbers]], el [[matriz unitaria]] actúa como [[Grupo de rotación SO(3)|isometries of the elliptic plane]]. El conjunto de "transformaciones elípticas de Laguerre" (que son análogas a las transformaciones de Laguerre en este contexto) se pueden descomponer usando [[Descomposición en valores singulares|Singular Value Decomposition]] de matrices complejas, de manera similar a cómo descompusimos las transformaciones euclidianas de Laguerre usando un [[ #A general decomposition|''analogue of Singular Value Decomposition for dual-number matrices'']].

=== Números complejos divididos y geometría hiperbólica ===
[[Archivo:A hyperbolic Laguerre transformation that flattens space.gif|alt=An image of a hyperbolic Laguerre transformation flattening space.|thumb|An example of a sequence of hyperbolic Laguerre transformations that map a circle to a [[horociclo]] to a [[Circunferencia hiperbólica|hypercycle]] and converge towards a line. This uses the split-complex numbers.]]

Si el papel de los números duales o complejos se cambia al [[número complejo hiperbólico]], entonces se puede desarrollar un formalismo similar para representar líneas orientadas en el [[geometría hiperbólica]] en lugar de los planos euclidianos o elípticos: un número complejo dividido se puede escribir en la forma <math>(a,-b^{-1})</math> porque el álgebra en cuestión es isomorfa a <math>\mathbb R \oplus \mathbb R</math>. (Sin embargo, tenga en cuenta que, como [[*-álgebra]], a diferencia de un simple [[Álgebra sobre un cuerpo|álgebra]], los números complejos divididos no se pueden descomponer de esta manera). Los términos <math>a</math> y <math>b</math> en <math>(a,-b^{-1})</math> representan puntos en el límite del plano hiperbólico; son respectivamente los puntos inicial y final de una línea orientada. Dado que el límite del plano hiperbólico es [[homeomorfismo]] a [[recta proyectiva]] <math>\mathbb{RP}^1</math>, necesitamos que <math>a</math> y <math>b</math> pertenezcan a la línea proyectiva <math>\mathbb{RP}^1</math> en lugar de [[espacio afín]] <math>\mathbb R^1</math>. De hecho, esto sugiere que <math>(\mathbb R \oplus \mathbb R)\mathbb P^1 \cong \mathbb R \mathbb P^1\oplus \mathbb R\mathbb P^1</math>.

El análogo de las matrices unitarias sobre los números complejos divididos es el [[ Hyperbolic motion|isometries of the hyperbolic plane]]. Esto lo demuestra Yaglom.<ref name="yaglom" /> Además, el conjunto de transformaciones fraccionarias lineales se puede descomponer de una manera que se asemeja a la descomposición en valores singulares, pero que también la unifica con [[Forma canónica de Jordan|Jordan decomposition]].<ref>{{cite arXiv|last=Gutin|first=Ran|date=2021-05-17|title=Matrix decompositions over the split-complex numbers|class=math.RA|eprint=2105.08047}}</ref><ref name="yaglom" />

=== Resumen ===
Por lo tanto, tenemos una correspondencia entre los tres sistemas numéricos planos (números complejos, duales y complejos divididos) y los tres [[Geometría no euclidiana|non-Euclidean geometries]]. El sistema numérico que corresponde a [[Geometría euclidiana]] es el [[número dual (matemáticas)]].

== En dimensiones superiores ==

El espacio de Laguerre de n dimensiones es isomorfo a ''n'' + 1 [[Espacio-tiempo de Minkowski]]. Para asociar un punto <math>P=(x_1,x_2,\dotsc,x_n,r)</math> en el espacio de Minkowski a una hiperesfera orientada, interseque el cono de luz centrado en <math>P</math> con el hiperplano <math>t=0</math>. El grupo de transformaciones de Laguerre es isomorfo entonces al [[Grupo de Poincaré]] <math>\mathbb{R}^{n,1} \rtimes \operatorname{O}(n, 1)</math>. Estas transformaciones son exactamente aquellas que conservan una [[especie]] de distancia al cuadrado entre círculos orientados llamada [[Potencia de un punto|Darboux product]]. Las ''transformaciones directas de Laguerre'' se definen como el subgrupo <math>\mathbb{R}^{n,1} \rtimes \operatorname{O}^+(n, 1)</math>. En 2 dimensiones, las transformaciones directas de Laguerre se pueden representar mediante matrices de números duales de 2 × 2. Si se entiende que las matrices de números duales 2 × 2 constituyen el álgebra de Clifford <math>\operatorname{Cl}_{2,0,1}(\mathbb R)</math>, entonces son posibles representaciones algebraicas de Clifford análogas en dimensiones superiores.

Si incrustamos el espacio de Minkowski <math>\mathbb R^{n,1}</math> en el espacio proyectivo <math>\mathbb{RP}^{n+1}</math> manteniendo el mismo grupo de transformación, entonces los puntos en el infinito son planos orientados. Los llamamos "planos" porque su forma es plana. En 2 dimensiones, estas son las líneas orientadas.

Además, existen dos definiciones no equivalentes de una transformación de Laguerre: ya sea como [[ Lie sphere transformation]] que conserva los planos orientados o como una transformación de esfera de Lie que conserva el producto de Darboux. Usamos la última convención en este artículo. Tenga en cuenta que incluso en 2 dimensiones, el primer grupo de transformación es más general que el segundo: un [[homotecia]], por ejemplo, asigna líneas orientadas a líneas orientadas, pero en general no conserva el producto de Darboux. Esto se puede demostrar utilizando la homotecia centrada en <math>(0,0)</math> por unidades <math>t</math>. Ahora considere la acción de esta transformación en dos círculos: uno es simplemente el punto <math>(0,0)</math> y el otro es un círculo de raidus <math>1</math> centrado en <math>(0,0)</math>. Estos dos círculos tienen un producto Darboux igual a <math>-1</math>. Sus imágenes bajo la homotecia tienen un producto Darboux igual a <math>-t^2</math>. Por lo tanto, esto solo da una transformación de Laguerre cuando <math>t^2=1</math>.

== Interpretación conforme ==
''En esta sección interpretamos las transformaciones de Laguerre de manera diferente que en el resto del artículo. Cuando actúan sobre coordenadas lineales, las transformaciones de Laguerre "no" se entienden como conformes en el sentido aquí descrito. Esto se demuestra claramente en la Figura 2.''

Las transformaciones de Laguerre preservan los ángulos cuando se identifica el ángulo adecuado para el plano numérico dual. Cuando un rayo {{nowrap|1=''y''= ''mx''}}, {{nowrap|''x'' ≥ 0}} y el eje x positivo se toman como lados de un ángulo, [[pendiente (matemática)]] ''m'' es la magnitud de este ángulo.

Este número ''m'' corresponde al [[ signed area]] del [[triángulo rectángulo]] con base en el intervalo {{nowrap|[(√2,0), (√2, ''m'' √2)]}}. La línea {{mset|1 + ''aε'': ''a'' ∈ ℝ}}, con la multiplicación de números duales, forma un subgrupo de los números duales unitarios, siendo cada elemento un [[cizallamiento (geometría)]] cuando actúa en el plano numérico dual. Otros ángulos en el plano se generan mediante dicha acción y, dado que el mapeo de corte preserva el área, el tamaño de estos ángulos es el mismo que el original.

Tenga en cuenta que la inversión ''z'' a 1/''z'' deja invariante el tamaño del ángulo. Como la transformación general de Laguerre se genera mediante traslaciones, dilataciones, cortes e inversiones, y todas ellas dejan el ángulo invariante, la transformación general de Laguerre es conforme en el sentido de estos ángulos.<ref name=BFK/>{{rp|81}}

== Véase también ==
*[[Edmond Laguerre]]
*[[Plano de Laguerre]]
*[[Isaak Yaglom]]
*[[Coordenadas de la recta]]

== Referencias ==
{{listaref}}

== Enlaces externos ==
* [https://www.youtube.com/watch?v=QrXsRwop7C0&list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp&index=35 "Círculos orientados y geometría relativista 3D"] Un vídeo elemental que introduce conceptos en geometría de Laguerre. El vídeo se presenta desde la perspectiva [[trigonometría racional]].

{{Control de autoridades}}
[[Categoría:Grupos de Lie]]
[[Categoría:Funciones]]
[[Categoría:Geometría proyectiva]]
[[Categoría:Números hipercomplejos]]
[[Categoría:Geometría]]