# Círculos de Villarceau

En Geometría, los círculos de Villarceau son un par de círculos generados en un toro al cortar de forma oblicua con un plano que pasa por su centro. Reciben el nombre del astrónomo y matemático francés Yvon Villarceau.(1813–1883). Dado un punto arbitrario sobre el toro, es posible trazar cuatro círculos que pasan por él. En un toro la existencia de dos primeros grupos de círculos es clara: 1) un grupo (meridional) se puede crear rotando un círculo coplanario con el eje del toro girándolo alrededor de este 2) el segundo grupo (paralelo) se puede crear cortando el toro con planos perpendiculares a dicho eje. Los círculos de Villarceau forman otro par de grupos de círculos menos evidentes. Estos círculos se pueden generar por parejas cortando mediante planos que son doblemente tangentes al toro (véase la imagen). Mannheim (1903) demostró que los círculos de Villarceau cortan a todas las secciones circulares del toro con el mismo ángulo.

## Descripción del toro

Un toro puede representarse mediante la introducción de unas coordenadas adecuadas, de manera que el eje de rotación sea el eje z y el punto medio sea el origen. Supongamos un círculo meridiano de radio r en el plano xz y centrado en (R, 0, 0)
    $0=(x-R)^{2}+z^{2}-r^{2}\,\!$
El movimiento de rotación consiste en reemplazar x por (x$^2$ + y$^2$)$^{1/2}$, lo que, elimiando las raíces, conduce a ecuación cuártica.
    $(x^{2}+y^{2}+z^{2}+R^{2}-r^{2})^{2}-4R^{2}(x^{2}+y^{2})=0$
que describe finalmente al toro.

## Planos doblemente tangentes

El plano $\varepsilon$, que contiene al eje x y es tangente Meridiane in der y-z-Ebene berührt (véase la imagen), es tangente (por razones de simetría)
Puesto que $\varepsilon$ es tangente al toro en dos puntos, al plano $\varepsilon$ se le denomina plano doblemente tangente. El ángulo $\alpha$ de inclinación de dicho plano cumple que $\sin \alpha =r/R$. Si se rota el plano $\varepsilon$ alrededor del eje z, se crea así la totalidad de los círculos de ambos grupos.

## Generación de los círculos de Villarceau
### Proposición

    El corte del plano $\varepsilon$ con el toro consiste en dos círculos de puntos medios $M_{1}=(r,0,0),\;M_{2}=(-r,0,0)$ y de radio $R$.

## Demostración

Para la demostración, se gira el sistema de referencia alrededor del eje x un ángulo $\alpha$ fijando la nueva tercera coordenada $\zeta$ como cero.
    Rotación $:\;x=\xi ,\;y=\eta \cos \alpha +\zeta \sin \alpha ,\;z=-\eta \sin \alpha +\zeta \cos \alpha$ y $\zeta =0$ conduce a
    $y=\eta {\sqrt {R^{2}-r^{2}}}/R,\;z=-\eta r/R$.
Sustituyendo en la ecuación del toro, resulta la ecuación de la curva de corte:
    $(\xi ^{2}+\eta ^{2}+R^{2}-r^{2})^{2}-4R^{2}(\xi ^{2}+\eta ^{2})+4r^{2}\eta ^{2}=0\;.$
Eliminando los paréntesis y comparando el resultado con
* $((\xi -r)^{2}+\eta ^{2}-R^{2})\cdot ((\xi +r)^{2}+\eta ^{2}-R^{2})=0$,
se descubre que ambas ecuaciones describen la misma curva, esto es, el corte consiste en círculos de ecuaciones
    $(\xi -r)^{2}+\eta ^{2}=R^{2}$ y $(\xi +r)^{2}+\eta ^{2}=R^{2}$.

## Representación paramétrica de los círculos de Villarceau

Dado el vector de posición $(\pm r,0,0)^{T}$ del punto medio y la base ortonormal $(1,0,0)^{T},(0,\cos \alpha ,\sin \alpha )^{T}$ del plano de corte $\varepsilon$, los círculos de corte se pueden parametrizar como (ver elipse).
    ${\vec {x}}_{\pm }(\varphi )={\begin{pmatrix}\pm r\\0\\0\end{pmatrix}}+R{\begin{pmatrix}1\\0\\0\end{pmatrix}}\cos \varphi +R{\begin{pmatrix}0\\-\cos \alpha \\\sin \alpha \end{pmatrix}}\sin \varphi ,\quad 0\leq \varphi <2\pi ,$
La ecuación del plano de corte es$:\ y\sin \alpha +z\cos \alpha =0$ o, puesto que $\sin \alpha =r/R\;:$ $\ yr+z{\sqrt {R^{2}-r^{2}}}=0$
Una pareja arbitraria de círculos de Villarceau se consigue rotando el círculo anterior alrededor del eje z un ángulo $\sigma ,0\leq \sigma <2\pi$:
* ${\vec {x}}_{\pm }(\sigma ,\varphi )={\begin{pmatrix}\pm r\cos \sigma \\\pm r\sin \sigma \\0\end{pmatrix}}+R{\begin{pmatrix}\cos \sigma \\\sin \sigma \\0\end{pmatrix}}\cos \varphi +R{\begin{pmatrix}\cos \alpha \sin \sigma \\-\cos \alpha \cos \sigma \\\sin \alpha \end{pmatrix}}\sin \varphi ,\quad 0\leq \varphi <2\pi ,$
          $={\begin{pmatrix}\pm r\cos \sigma \\\pm r\sin \sigma \\0\end{pmatrix}}+R{\begin{pmatrix}\cos \sigma \\\sin \sigma \\0\end{pmatrix}}\cos \varphi +{\begin{pmatrix}{\sqrt {R^{2}-r^{2}}}\;\sin \sigma \\-{\sqrt {R^{2}-r^{2}}}\;\cos \sigma \\r\end{pmatrix}}\sin \varphi ,\quad 0\leq \varphi <2\pi ,$
El plano de corte tiene por ecuación $:\;-xr\sin \sigma +yr\cos \sigma +z{\sqrt {R^{2}-r^{2}}}=0\;.$

## Determinación de los círculos de Villarceau que pasan por un punto del toro

Sea $P_{0}=(x_{0},y_{0},z_{0})$ un punto determinado del toro, para buscar los dos círculso de Villarceau que pasan por $P_{0}$, se debe determinar el plano de corte del grupo mencionado que contiene a $P_{0}$, esto es, se debe determinar el valor de $\sigma$ tal que
    $-x_{0}r\sin \sigma +y_{0}r\cos \sigma +z_{0}{\sqrt {R^{2}-r^{2}}}=0\;.$
Mediante la substitución ${\color {red}u}=\cos \sigma ,\;{\color {red}v}=\sin \sigma$ este problema se transforma en el plano ${\color {red}u}$-${\color {red}v}$ en el problema de corte de la recta $y_{0}r{\color {red}u}-x_{0}r{\color {red}v}+z_{0}{\sqrt {R^{2}-r^{2}}}=0$ con el círculo unidad ${\color {red}u}^{2}+{\color {red}v}^{2}=1$ (véase intersección de una recta con un círculo). En general se obtienen así dos planos y en total cuatro círculos de Villarceau, de los cuales sólo dos contienen al punto $P_{0}$.

## Espacio lleno

El toro juega un papel esencial en la Fibración de Hopf de la 3-esfera, S$^3$, sobre la esfera ordinaria, S$^2$, la cual contiene círculos, S$^1$, tales como fibras. Cuando la 3-sphere se mapea al espacio euclídeo 3D por Proyección estereográfica, la imagen inversa de un círculo de latitud en S$^2$ bajo el mapa de fibras es un toro, y las fibras en sí son círculos de Villarceau. Banchoff (1990) exploró tal toro con CGI . Uno de los hechos inusuales sobre los círculos es que cada uno enlaza a todos los demás, no sólo en su propio toro, sino en la colección que rellena todo el espacio; Berger (1987) tiene una discusión con dibujos al respecto.