# Trisectriz de Ceva

La trisectriz de Ceva, también conocida como cicloide de Ceva, es una curva plana que lleva el nombre de Tommaso Ceva (1648-1736), y que se puede utilizar para la trisección de un ángulo arbitrario (de ahí el nombre de trisectriz). El propio Ceva se refirió a la curva como cycloidum anomalarum.

## Definición geométrica

Para un punto $P_{1}$ de la circunferencia goniométrica se construye la línea recta $OP_{1}$ que conecta el punto con el origen $O$. Luego, se determina sobre el eje x el punto $P_{2}$, que tiene una distancia de 1 desde $P_{1}$. Finalmente, se determina entonces el punto $P_{3}$ como la intersección (distinta del punto $P_{1}$) de la línea recta $OP_{1}$ con la circunferencia de radio 1 y centro $P_{2}$. La cicloide de Ceva es ahora el lugar geométrico de los puntos $P_{3}$, que se obtiene rotando el punto $P_{1}$ y por lo tanto también la línea recta $OP_{1}$, alrededor del origen $O$.
El lugar geométrico consta de cuatro bucles axialmente simétricos en el origen, siendo los dos bucles del eje x significativamente más grandes que los dos del eje y. Si solo se usa la semirrecta $OP_{1}$ en lugar de la recta, entonces se omiten los dos pequeños bucles en el eje y.
Debido a su construcción, el ángulo entre la línea recta $OP_{1}$ y el eje x es exactamente un tercio del ángulo entre la línea $P_{2}P_{3}$ y el eje x (véase el dibujo). Debido a esta propiedad, la curva se puede utilizar como una trisectriz.
Si se continúa el proceso de construcción de los puntos $P_{1}$, $P_{2}$ y $P_{3}$ para otros puntos $P_{k}$, se obtienen $k$ curvas del lugar geométrico de $P_{k}$ que son sectrices de Ceva para $k$=impar.

## Forma de la ecuación y parámetro

La siguiente ecuación en coordenadas polares se puede deducir de la definición geométrica con la ayuda del teorema del coseno:
    $r=1+2\cos(2\varphi )$.
La siguiente representación se obtiene como la curva de parámetros $\gamma :[0,2\pi ]\rightarrow \mathbb {R} ^{2}$ en coordenadas cartesianas:
    $\gamma (t)={\begin{pmatrix}x(t)\\y(t)\end{pmatrix}}={\begin{pmatrix}2\cos(t)+\cos(3t)\\\sin(3t)\end{pmatrix}}$.
Además, la siguiente ecuación da como resultado coordenadas cartesianas, comprobándose que la cicloide de Ceva es una curva algebraica de sexto grado:
    $(x^{2}+y^{2})^{3}=(3x^{2}-y^{2})^{2}$.

## Trisección angular

La propiedad angular de las cicloides de Ceva descrita anteriormente proporciona la siguiente construcción para dividir un ángulo en tres partes iguales. En un ángulo dado $\angle CBA$, primero extender el cateto $AB$ y dibujar la cicloide con $AB$ como eje x. Luego, en el otro cateto $BC$, dibujar la línea $BD$ con longitud 1 y dibujar una paralela a $AB$ a través del punto $D$. Esta recta se cruza con la cicloide en el punto $P_{3}$. Ahora, conectar el punto $P_{3}$ con el centro de la cicloide $O$ (origen del sistema de coordenadas), luego la línea $OP_{3}$ con la extensión de $AB$ forma un ángulo cuya dimensión angular es exactamente un tercio de la dimensión angular del ángulo inicial $\angle CBA$. Téngase en cuenta que en el caso de ángulos agudos u obtusos, la paralela siempre se cruza con la cicloide en dos puntos, por lo que inicialmente hay dos puntos disponibles para determinar $P_{3}$. Si es un ángulo agudo ($\angle CBA<90^{\circ }$), la intersección más cercana al ángulo se selecciona como $P_{3}$. En el caso de un ángulo obtuso ($\angle CBA>90^{\circ }$) sin embargo, se elige el punto de intersección más distante como $P_{3}$.

## Tipos de curvas de Ceva

Cuando la trisectriz de Ceva se expresa con la forma polar:
    $\rho =1+b\sin {(2\theta -\pi /4)}$
variando el parámetro $b$, se obtienen una serie de curvas particulares:
* b=0 >> la curva resultante es una circunferencia
* b=1/8 >> la curva resultante recuerda a la forma de un pomelo
* b=1/4 >> la curva resultante recuerda a la forma de una gragea
* b=1/2 >> la curva resultante recuerda a la forma de un cacahuete
* b=3/4 >> la curva resultante recuerda a la forma de un antifaz
* b=1 >> la curva resultante recuerda a la forma de un doble huevo
* b=2 >> trisectriz de Ceva
* b=4 >> trébol de cuatro hojas iguales dos a dos
* b=16 >> trébol de cuatro hojas de la misma longitud

## Sectriz de Ceva

La curva de orden n, con ecuación polar:
    $\rho =a{\frac {\sin {(2n+1)\theta }}{\sin {\theta }}}$
es una $(2n+1)$-sectriz, y se denomina sectriz de Ceva.

## Historia

Tommaso Ceva (1648-1736), hermano de Giovanni Ceva (1647-1734), describió la curva en su obra Opuscula mathica publicada en 1699, obra en la que la curva apareció denominada como cycloidum anomalarum. La idea matemática en la que se basa la construcción de la curva se remonta a Arquímedes (287-212 a. C.), quien la utilizó para realizar la trisección del ángulo con la ayuda de una regla marcada.