# Plano de Laguerre

En matemáticas, un plano de Laguerre es uno de los tres tipos de plano de Benz, que son el plano de Möbius, el propio plano de Laguerre y el plano de Minkowski. Los planos de Laguerre llevan el nombre del matemático francés Edmond Laguerre (1834-1886).
El plano de Laguerre clásico es una estructura de incidencia que describe el comportamiento de incidencia de las curvas $y=ax^{2}+bx+c$, es decir, parábolas y rectas, en el plano afín real. Para simplificar la estructura, a cualquier curva $y=ax^{2}+bx+c$ se le suma el punto $(\infty ,a)$. Una ventaja adicional de esta terminación es que la geometría plana de las parábolas/rectas completadas es isomórfica con respecto a la geometría de las secciones de un cilindro (véase más abajo).

## El plano de Laguerre real clásico

Originalmente, el plano de Laguerre clásico se definió como la geometría de las líneas rectas y de las circunferencias orientadas en el plano euclídeo real. El presente artículo se ha centrado en el modelo de parábola del plano de Laguerre clásico.
Se define:
    ${\mathcal {P}}:=\mathbb {R} ^{2}\cup (\{\infty \}\times \mathbb {R} ),\ \infty \notin \mathbb {R} ,$ el conjunto de puntos,
    ${\mathcal {Z}}:=\{\{(x,y)\in \mathbb {R} ^{2}\mid y=ax^{2}+bx+c\}\cup \{(\infty ,a)\}\mid a,b,c\in \mathbb {R} \}$ el conjunto de ciclos.
La estructura de incidencia $({\mathcal {P}},{\mathcal {Z}},\in )$ se denomina plano de Laguerre clásico.
El conjunto de puntos es $\mathbb {R} ^{2}$ más una copia de $\mathbb {R}$ (véase la figura). Cualquier parábola/línea recta $y=ax^{2}+bx+c$ se considera que posee el punto adicional $(\infty ,a)$.
Los puntos con la misma coordenada x no pueden conectarse mediante curvas de la forma $y=ax^{2}+bx+c$. Por ello, se define que:
Dos puntos $A,B$ son paralelos ($A\parallel B$) si $A=B$ o no hay ningún ciclo que contenga a $A$ y a $B$.
Para la descripción del plano de Laguerre real clásico, dos puntos $(a_{1},a_{2}),(b_{1},b_{2})$ son paralelos si y solo si $a_{1}=b_{1}$. $\parallel$ es un relación de equivalencia, similar al paralelismo entre líneas rectas.
La estructura de incidencia $({\mathcal {P}},{\mathcal {Z}},\in )$ tiene las siguientes propiedades:
Lema:
   * Para tres puntos cualesquiera $A,B,C$, no paralelos dos a dos, hay exactamente un ciclo $z$ que contiene a $A,B,C$.
   * Para cualquier punto $P$ y cualquier ciclo $z$ existe exactamente un punto $P'\in z$ tal que $P\parallel P'$.
   * Para cualquier ciclo $z$, cualquier punto $P\in z$ y cualquier punto $Q\notin z$ que no sea paralelo a $P$ hay exactamente un ciclo $z'$ a $P,Q$ con $z\cap z'=\{P\}$, es decir, $z$ y $z'$ se tocan entre sí en $P$.
Similar al modelo de esfera del plano de Möbius clásico, existe un modelo de cilindro para el plano de Laguerre clásico:
    $({\mathcal {P}},{\mathcal {Z}},\in )$ es isomorfo a la geometría de secciones planas de un cilindro circular en $\mathbb {R} ^{3}$.
La aplicación $\Phi$ es una proyección con centro $(0,1,0)$ que hace corresponder el plano x-z en el cilindro con la ecuación $u^{2}+v^{2}-v=0$, eje $(0,{\tfrac {1}{2}},..)$ y radio $r={\tfrac {1}{2}}\ :$.
    $\Phi :\ (x,z)\rightarrow ({\frac {x}{1+x^{2}}},{\frac {x^{2}}{1+x^{2}}},{\frac {z}{1+x^{2}}})=(u,v,w)\ .$
* Los puntos $(0,1,a)$ (líneas rectas del cilindro que pasan por el centro) no aparecen como imágenes.
* $\Phi$ proyecta la parábola/recta con ecuación $z=ax^{2}+bx+c$ en el plano $w-a=bu+(a-c)(v-1)$. Entonces, la imagen de la parábola/recta es la sección plana del cilindro con un plano no perpendicular y por lo tanto un círculo/elipse sin punto $(0,1,a)$. Las parábolas/rectas de la forma $z=ax^{2}+a$ se asignan a circunferencias (horizontales).
* Se asigna una línea recta (a=0) a un círculo/elipse que pasa por el centro $(0,1,0)$ y una parábola ($a\neq 0$) a una
circunferencia/elipse que no contiene a $(0,1,0)$.

## Axiomas de un plano de Laguerre

El lema anterior da lugar a la siguiente definición:
Sea ${\mathcal {L}}:=({\mathcal {P}},{\mathcal {Z}},\in )$ una estructura de incidencia con el conjunto de puntos ${\mathcal {P}}$ y el conjunto de ciclos ${\mathcal {Z}}$.
Dos puntos $A,B$ son paralelos ($A\parallel B$) si $A=B$ o no hay ningún ciclo que contenga $A$ y $B$.
${\mathcal {L}}$ se denomina plano de Laguerre si se cumplen los siguientes axiomas:
    B1: Para tres puntos cualesquiera $A,B,C$, no paralelos dos a dos, hay exactamente un ciclo $z$ que contiene $A,B,C$.
    B2: Para cualquier punto $P$ y cualquier ciclo $z$ existe exactamente un punto $P'\in z$ tal que $P\parallel P'$.
    B3: Para cualquier ciclo $z$, cualquier punto $P\in z$ y cualquier punto $Q\notin z$ que no sea paralelo a $P$ hay exactamente un ciclo $z'$ a $P,Q$ con $z\cap z'=\{P\}$,
    es decir, $z$ y $z'$ se tocan entre sí en $P$.
    B4: Cualquier ciclo contiene al menos tres puntos. Existe al menos un ciclo. Hay al menos cuatro puntos que no están en un ciclo.
Cuatro puntos $A,B,C,D$ son concíclicos si hay un ciclo $z$ que contiene a $A,B,C,D\in z$.
De la definición de la relación $\parallel$ y el axioma B2 se obtiene que
Lema:
   * La relación $\parallel$ es una relación de equivalencia.
Siguiendo el modelo cilíndrico del plano de Laguerre clásico, se introducen los términos siguientes:
    a) Para $P\in {\mathcal {P}}$ se configura ${\overline {P}}:=\{Q\in {\mathcal {P}}\|\ P\parallel Q\}$.
    b) Una clase de equivalencia ${\overline {P}}$ se denomina generador.
Para el plano clásico de Laguerre, un generador es una línea paralela al eje (modelo plano) o una línea en el cilindro (modelo espacial).
La conexión con la geometría lineal viene dada por la siguiente definición:
Para un plano de Laguerre ${\mathcal {L}}:=({\mathcal {P}},{\mathcal {Z}},\in )$ se define la estructura local
    ${\mathcal {A}}_{P}:=({\mathcal {P}}\setminus \{{\overline {P}}\},\{z\setminus \{{\overline {P}}\}\|\ P\in z\in {\mathcal {Z}}\}\cup \{{\overline {Q}}\|\ Q\in {\mathcal {P}}\setminus \{{\overline {P}}\},\in )$
valor denominado residuo en el punto P.
En el modelo plano del plano clásico de Laguerre, ${\mathcal {A}}_{\infty }$ es el plano afín real $\mathbb {R} ^{2}$.
En general, se obtiene que
Teorema:
   * Cualquier residuo de un plano de Laguerre es un plano afín.
Y la definición equivalente de plano de Laguerre:
Teorema:
   * Una estructura de incidencia junto con una relación de equivalencia $\parallel$ sobre ${\mathcal {P}}$ es un plano de Laguerre si y solo si para cualquier punto $P$ el residuo ${\mathcal {A}}_{P}$ es un plano afín.

## Planos finitos de Laguerre

La siguiente estructura de incidencia es un modelo mínimo de un plano de Laguerre:
    ${\mathcal {P}}:=\{A_{1},A_{2},B_{1},B_{2},C_{1},C_{2}\}\ ,$
    ${\mathcal {Z}}:=\{\{A_{i},B_{j},C_{k}\}\|\ i,j,k=1,2\}\ ,$
    $A_{1}\parallel A_{2},\ B_{1}\parallel B_{2},\ C_{1}\parallel C_{2}\ .$
Por eso
    $|{\mathcal {P}}|=6$ y $|{\mathcal {Z}}|=8\ .$
Para planos de Laguerre finitos, es decir $|{\mathcal {P}}|<\infty$, se obtiene:
Lema:
   * Para cualquier ciclo $z_{1},z_{2}$ y cualquier generador ${\overline {P}}$ de un plano de Laguerre finito ${\mathcal {L}}:=({\mathcal {P}},{\mathcal {Z}},\in )$, se tiene que:
       $|z_{1}|=|z_{2}|=|{\overline {P}}|+1$.
Para un plano de Laguerre finito ${\mathcal {L}}:=({\mathcal {P}},{\mathcal {Z}},\in )$ y un ciclo $z\in {\mathcal {Z}}$, el número entero $n:=|z|-1$ se denomina orden de ${\mathcal {L}}$.
De la combinatoria se obtiene que
Lema:
    Sea ${\mathcal {L}}:=({\mathcal {P}},{\mathcal {Z}},\in )$ un plano de orden de Laguerre $n$. Entonces
       a) Cualquier residuo ${\mathcal {A}}_{P}$ es un plano afín de orden $n$
       b) $|{\mathcal {P}}|=n^{2}+n,$ c) $|{\mathcal {Z}}|=n^{3}.$

## Planos de Laguerre miquelianos

A diferencia de los planos de Möbius, la generalización formal del modelo de un plano de Laguerre clásico, es decir, reemplazar $\mathbb {R}$ por un campo arbitrario $K$, siempre conduce a un ejemplo de plano de Laguerre.
Teorema:
    Para un cuerpo $K$ y
       ${\mathcal {P}}:=K^{2}\cup$ $(\{\infty \}\times K),\ \infty \notin K$,
       ${\mathcal {Z}}:=\{\{(x,y)\in K^{2}\|\ y=ax^{2}+bx+c\}\cup \{(\infty ,a)\}\|\ a,b,c\in K\}$ la estructura de incidencia
       ${\mathcal {L}}(K):=({\mathcal {P}},{\mathcal {Z}},\in )$ es un plano de Laguerre con la siguiente relación paralela: $(a_{1},a_{2})\parallel (b_{1},b_{2})$ si y solo si $a_{1}=b_{1}$.
De manera similar a un plano de Möbius, la versión de Laguerre del Teorema de Miquel sostiene que:
Teorema de Miquel:
    Para el plano de Laguerre ${\mathcal {L}}(K)$ se cumple lo siguiente:
       Si 8 puntos $P_{1},\ldots ,P_{8}$ no paralelos dos a dos se pueden asignar a los vértices de un cubo, de modo que los puntos en 5 caras correspondan a cuádrupletes concíclicos, entonces el sexto cuádruplete de puntos también es concíclico (para disponer de una mejor visión general de la figura, se han dibujado circunferencias en lugar de parábolas).
La importancia del Teorema de Miquel se demuestra en el siguiente teorema, que se debe a Waerden, Smid y Chen:
Teorema:
    Solo un plano de Laguerre ${\mathcal {L}}(K)$ satisface el teorema de Miquel.
Debido a este último teorema, ${\mathcal {L}}(K)$ se denomina plano de Laguerre miqueliano.
El modelo mínimo de un plano de Laguerre es miqueliano. Es isomorfo al plano de Laguerre ${\mathcal {L}}(K)$ con $K=GF(2)$ (campo $\{0,1\}$).
Una proyección estereográfica adecuada muestra que ${\mathcal {L}}(K)$ es isomorfo a la geometría de las secciones planas de un cilindro cuádrico sobre el campo $K$.

## Planos de Laguerre ovoidales

Hay muchos planos de Laguerre que no son miquelianos (véase el enlace web que figura más abajo). La clase que más se parece a los planos de Laguerre miquelianos son los planos ovoidales de Laguerre. Un plano ovoidal de Laguerre es la geometría de las secciones planas de un cilindro que se construye utilizando un óvalo en lugar de una cónica no degenerada. Un óvalo es un conjunto cuadrático, y tiene las mismas propiedades geométricas que una cónica no degenerada en un plano proyectivo: 1) una recta corta a un óvalo en cero, uno o dos puntos y 2) en cualquier punto existe una tangente única. Se puede construir un óvalo simple en el plano real pegando dos mitades adecuadas de elipses diferentes, de modo que el resultado no sea una cónica. Incluso en el caso finito, existen óvalos adecuados (véase conjunto cuadrático).