# Concoide de Nicomedes

La concoide de Nicomedes es una curva plana ideada por el matemático griego Nicomedes, que vivió aproximadamente al mismo tiempo que Arquímedes en el siglo II a. C. El nombre de concoide, procedente de la palabra griega "κογχοειδής", hace referencia a que la forma de la curva recuerda al perfil de una concha. Es un tipo de concoide cuyos radios vectores trazados desde un punto fijo cortan a una recta (denominada "base") a una distancia constante.
Dada una recta base paralela al eje polar situada a una distancia d del origen, y una distancia fija k que se sitúa sobre cada radio vector a partir del punto en el que cruza la recta base (tanto por detrás como por delante), la ecuación en coordenadas polares de la concoide de Nicomedes es:
    $\rho ={\frac {d}{cos\ \omega }}+k$
que, en coordenadas cartesianas toma la forma:
    $(x-d)^{2}(x^{2}+y^{2})=k^{2}x^{2}\,$
La relación entre los parámetros d y k determina el aspecto de las dos ramas de la curva.

## Construcción

Se fija un punto $O$ (llamado polo) y una línea recta $m$ distante $d$ de $O$. Se considera ahora una segunda línea recta genérica que pasa por $O$, que cruza la línea $m$ en $A$. En esta recta, en ambos lados con respecto a $A$ se añaden dos segmentos $AP=AP'$ cada uno de longitud $k$. El lugar geométrico de los puntos $P$ y $P'$ obtenidos al rotar la línea recta $m$ pasando por $O$ se denomina concoide de Nicomedes. La parte de la curva más alejada de $O$ (es decir, $P$) se denomina rama externa; y la otra parte recibe el nombre de rama interna.
Es inmediato comprobar que para un sistema de coordenadas polares, la ecuación de la concoide toma la forma
    $\rho ={\frac {d}{\cos \theta }}+k.$
Haciendo coincidir el punto $O$ con el origen de un sistema de ejes cartesianos $xOy$; y tomando una recta base paralela al eje $y$ a una distancia d del origen, y una distancia k a aplicar sobre los radios vectores, la ecuación cartesiana de la curva es:
    $(x^{2}+y^{2})(x-d)^{2}=k^{2}x^{2}.$
Por otro lado, las ecuaciones paramétricas toman la forma:
    ${\begin{cases}x=d+k\cos \theta \\y=d\tan \theta +k\sin \theta .\end{cases}}$

### Construcción de tangentes y normales

René Descartes incluyó en su obra "La Géométrie" (La Geometría) explica un método que permite dibujar la normal y, por lo tanto, la tangente de la concoide de Nicomedes.
Aquí se expone brevemente:
Se desea trazar la normal de una concoide de Nicomedes con polo A y módulo b en un punto C. La línea directriz de esta concoide se llamará (BH), donde B es tal que (AB) y (CH) son perpendiculares a (BH).
* Dibujar el segmento [CE] de modo que E sea la intersección entre las líneas (BH) y (CA).
* Colocar el punto F de manera que F pertenezca a [CE] y CF=CH.
* Colocar el punto G en la línea perpendicular a (BH) y pasando por F de modo que FG=EA.
* La línea (CG) es entonces la normal a la curva en C.

## Trisección de un ángulo

La curva se puede utilizar para resolver el problema de la trisección del ángulo. Sea AÔB un ángulo arbitrario. Desde un punto cualquiera $L$ del lado $OB$ se traza la perpendicular $LD$ al lado $OA$, y se considera la concoide construida sobre la recta $LD$ con respecto al polo $O$ de constante $k=2OL$. La recta paralela a $OA$ trazada desde $L$ se encuentra con la rama externa de la concoide en $C$. Uniendo $C$ con $O$, entonces se tiene que
    AÔC = ${1 \over 3}$ AÔB
El inconveniente de este procedimiento es que obligaría a trazar una concoide a medida de cada ángulo que se desea trisecar, aunque basta utilizar el método neusis para ajustar una regla con dos marcas (situadas al doble de la distancia OL), entre las rectas $m$ y $l$; que además debe pasar por el origen. Esto no sucede con otras trisectrices (como por ejemplo, la trisectriz de Maclaurin), que permiten trisecar cualquier ángulo con la misma curva.

#### Demostración

Sean $N$ el punto de intersección de $OC$ con $LD$ y $M$ el punto medio de $CN$. Por la definición de concoide, se tiene que:
    $CN=k=2OL$
y por lo tanto
    $CM=MN=OL={k \over 2}.$
Por otro lado, $NLC$ es un ángulo recto, luego $LM$, como la mediana relativa a la hipotenusa $CN$ del triángulo rectángulo $CLN$, es la mitad de la hipotenusa en sí, es decir
    LM = NM = OL.
De ello se deduce que los triángulos $LOM$, $LMC$ y $LMN$ son isósceles y por tanto:
    LÔM = NML = 2 LĈM
Pero LCM = COA porque son ángulos alternos internos y por lo tanto LÔM = 2 CÔA o también
    BÔA = LÔA = 3 CÔA
como queda demostrado.

## Duplicación del cubo

La construcción gráfica que permite determinar el valor de $a{\sqrt[{3}]{2}}$ necesario para resolver el problema de la duplicación del cubo, se puede generar mediante el procedimiento siguiente:
* Se parte de la medida dada de la arista del cubo a duplicar, denominada a
* Se construye el rectángulo OABC, cuya base OA mide a y cuya altura AB mide b=2a
* Se determina E, el punto medio de OA, por el que se traza una recta vertical
* Se traza la circunferencia (V) con centro en O y radio a, que interseca a OA en el punto H, y que corta a la recta vertical que pasa por E por debajo de OA en el punto G
* Se traza la recta (L), paralela a GH y que pasa por A
* Ahora, se construye la rama exterior de una concoide de Nicomedes con el punto G como polo, la recta (L) como recta base y la distancia a
* Se determina el punto P como la intersección de la concoide con la recta OA. La recta PB corta a la recta OC en el punto M
* Finalmente, se cumple que la distancia CM es $a{\sqrt[{3}]{2}}$
* Demostración
* Concoide de Nicomedes (azul)
* De acuerdo con la imagen de la derecha, sea $AD>AB$ y, por simplicidad, supóngase $AB=2a$ y $AD=2b.$
* Construir el rectángulo $ABCD$ según los datos dados (para la duplicación del cubo, $b=2a$); dividiendo $AD$ por la mitad se obtiene el punto medio $E$, que se une con $C;$ entonces, prolongar $CE$ hasta que encuentre en $F$ a la extensión de $AB.$ Desde $G,$ punto medio de $AB,$ trazar la perpendicular a $AB$ y con el centro en $B$ y el radio igual a $b$ (la mitad de $AD$) cortar con un arco de circunferencia dicha perpendicular en el punto $H,$ del lado de $AB$ en el que no se encuentra el rectángulo $ABCD.$. Unir $H$ con $F$ y desde $B$ se traza la recta $BI$ paralela a $HF.$. La concoide tiene $H$ como polo, $BI$ como recta base y una distancia igual a $b.$
* La concoide así descrita se encuentra con la línea recta $AB$ en un punto $K$ y las dos líneas rectas $AB$ y $BI$ identifican el segmento $HK$ en $MK=b.$
* Indicado con $L$ el punto de encuentro de la línea recta $CK$ con la línea recta $AD,$, se muestra que los dos segmentos $BK$ y $DL$ son las dos medias proporcionales buscadas. Efectivamente, definiendo $BK=x$ y $DL=y$, como consecuencia de las construcciones realizadas, se tiene que:
* $HG={\sqrt {b^{2}-a^{2}}}$
* $GK=a+x$
* y por lo tanto al unir $H$ con $K,$
* $HK={\sqrt {HG^{2}+GK^{2}}}={\sqrt {b^{2}-a^{2}+\left(a+x\right)^{2}}}={\sqrt {b^{2}+2ax+x^{2}}}.$
* Pero de los triángulos semejantes $BMK,FHK$ se deduce que $FK:BK=HK:MK,$ y observando que $MK=b$ y que $FK=4a+x,$ sustituyendo en la proporción anterior, se tiene que:
* ${\frac {4a+x}{x}}={\frac {\sqrt {b^{2}+2ax+x^{2}}}{b}}$
* A partir de aquí, se obtiene el cuadrado
* ${\frac {16a^{2}+8ax+x^{2}}{x^{2}}}={\frac {b^{2}+2ax+x^{2}}{b^{2}}}$
* y eliminando los denominadores
* $16a^{2}b^{2}+8ab^{2}x+b^{2}x^{2}=b^{2}x^{2}+x^{4}+2ax^{3}.$
* Al operar y reducir el resultado se llega a
* $x^{4}+2ax^{3}-8ab^{2}x-16a^{2}b^{2}=0$
* es decir,
* $x^{3}\left(x+2a\right)-8ab^{2}\left(x+2a\right)=0$
* a partir del cual
* $\left(x^{3}-8ab^{2}\right)\left(x+2a\right)=0$
* y siendo $\,x+2a$ diferente de cero (ya que $x$ y $2a$ son medidas de segmento) necesariamente resulta que
* $x^{3}-8ab^{2}=0$
* es decir
* $x^{3}=2a\left(2b\right)^{2}.$
* De la semejanza de los triángulos $LDC,BCK$ se tiene que $2a:y=x:2b$ y, por tanto,
* $xy=4ab$
* que permite escribir
* $y={\frac {4ab}{x}}$
* Elevando al cubo
* $y^{3}={\frac {4^{3}a^{3}b^{3}}{x^{3}}}$
* pero
* $x^{3}=2a\left(2b\right)^{2}$
* y por lo tanto
* $y^{3}={\frac {4^{3}a^{3}b^{3}}{2^{3}ab^{2}}}$
* simplificando se obtiene
* $y^{3}=2b\left(2a\right)^{2}$
* Entonces:
* $\left\{{\begin{matrix}xy=4ab\\x^{3}=2a\left(2b\right)^{2}\\y^{3}=2b\left(2a\right)^{2}\end{matrix}}\right.$
* La tercera y primera igualdad, divididas miembro por miembro, dan
* (1)  ${\frac {y^{2}}{x}}=2a$
* es decir
* $y^{2}=2ax.$
* A su vez, el segundo y el primer miembro divididos dan:
* (2)  ${\frac {x^{2}}{y}}=2b,$
* es decir
* $x^{2}=2by.$
* Finalmente, resulta:
* ${\frac {2a}{y}}={\frac {y}{x}}={\frac {x}{2b}}$
* En particular, si $2a=L,$ y $b=L,y$ es igual al lado del cubo, es el doble del que tiene $1$ por lado.
* De hecho, de (1) y (2) se sigue:
* ${\frac {y^{4}}{4a^{2}}}=2by$
* y por lo tanto
* $y^{3}=8a^{2}b$
* sustituyendo los valores de $a$ y $b$
* $y^{3}=2L^{3}$
* extrayendo la raíz cúbica
* $y=L{\sqrt[{3}]{2}}$
* y, si $L=1,$ es
* $y={\sqrt[{3}]{2}}.$