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.^[1]​ Es un tipo de concoide cuyos radios vectores trazados desde un punto fijo cortan a una recta (denominada "base") a una distancia constante.^[2]​

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:

que, en coordenadas cartesianas toma la forma:

La relación entre los parámetros d y k determina el aspecto de las dos ramas de la curva.^[3]​

Se fija un punto ${displaystyle O}$ (llamado polo) y una línea recta ${displaystyle m}$ distante ${displaystyle d}$ de ${displaystyle O}$. Se considera ahora una segunda línea recta genérica que pasa por ${displaystyle O}$, que cruza la línea ${displaystyle m}$ en ${displaystyle A}$. En esta recta, en ambos lados con respecto a ${displaystyle A}$ se añaden dos segmentos ${displaystyle AP=AP'}$ cada uno de longitud ${displaystyle k}$. El lugar geométrico de los puntos ${displaystyle P}$ y ${displaystyle P'}$ obtenidos al rotar la línea recta ${displaystyle m}$ pasando por ${displaystyle O}$ se denomina concoide de Nicomedes. La parte de la curva más alejada de ${displaystyle O}$ (es decir, ${displaystyle 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

Haciendo coincidir el punto ${displaystyle O}$ con el origen de un sistema de ejes cartesianos ${displaystyle xOy}$; y tomando una recta base paralela al eje ${displaystyle 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:

Por otro lado, las ecuaciones paramétricas toman la forma:^[4]​

René Descartes incluyó en su obra "La Géométrie" (La Geometría)^[5]​ 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).

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 ${displaystyle L}$ del lado ${displaystyle OB}$ se traza la perpendicular ${displaystyle LD}$ al lado ${displaystyle OA}$, y se considera la concoide construida sobre la recta ${displaystyle LD}$ con respecto al polo ${displaystyle O}$ de constante ${displaystyle k=2OL}$. La recta paralela a ${displaystyle OA}$ trazada desde ${displaystyle L}$ se encuentra con la rama externa de la concoide en ${displaystyle C}$. Uniendo ${displaystyle C}$ con ${displaystyle O}$, entonces se tiene que

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 ${displaystyle m}$ y ${displaystyle 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.

Sean ${displaystyle N}$ el punto de intersección de ${displaystyle OC}$ con ${displaystyle LD}$ y ${displaystyle M}$ el punto medio de ${displaystyle CN}$. Por la definición de concoide, se tiene que:

y por lo tanto

Por otro lado, ${displaystyle NLC}$ es un ángulo recto, luego ${displaystyle LM}$, como la mediana relativa a la hipotenusa ${displaystyle CN}$ del triángulo rectángulo ${displaystyle CLN}$, es la mitad de la hipotenusa en sí, es decir

De ello se deduce que los triángulos ${displaystyle LOM}$, ${displaystyle LMC}$ y ${displaystyle LMN}$ son isósceles y por tanto:

Pero LCM = COA porque son ángulos alternos internos y por lo tanto LÔM = 2 CÔA o también

como queda demostrado.

La construcción gráfica que permite determinar el valor de ${displaystyle a{sqrt[{3}]{2}}}$ necesario para resolver el problema de la duplicación del cubo, se puede generar mediante el procedimiento siguiente:^[6]​

De acuerdo con la imagen de la derecha, sea ${displaystyle AD>AB}$ y, por simplicidad, supóngase ${displaystyle AB=2a}$ y ${displaystyle AD=2b.}$

Construir el rectángulo ${displaystyle ABCD}$ según los datos dados (para la duplicación del cubo, ${displaystyle b=2a}$); dividiendo ${displaystyle AD}$ por la mitad se obtiene el punto medio ${displaystyle E}$, que se une con ${displaystyle C;}$ entonces, prolongar ${displaystyle CE}$ hasta que encuentre en ${displaystyle F}$ a la extensión de ${displaystyle AB.}$ Desde ${displaystyle G,}$ punto medio de ${displaystyle AB,}$ trazar la perpendicular a ${displaystyle AB}$ y con el centro en ${displaystyle B}$ y el radio igual a ${displaystyle b}$ (la mitad de ${displaystyle AD}$) cortar con un arco de circunferencia dicha perpendicular en el punto ${displaystyle H,}$ del lado de ${displaystyle AB}$ en el que no se encuentra el rectángulo ${displaystyle ABCD.}$. Unir ${displaystyle H}$ con ${displaystyle F}$ y desde ${displaystyle B}$ se traza la recta ${displaystyle BI}$ paralela a ${displaystyle HF.}$. La concoide tiene ${displaystyle H}$ como polo, ${displaystyle BI}$ como recta base y una distancia igual a ${displaystyle b.}$

La concoide así descrita se encuentra con la línea recta ${displaystyle AB}$ en un punto ${displaystyle K}$ y las dos líneas rectas ${displaystyle AB}$ y ${displaystyle BI}$ identifican el segmento ${displaystyle HK}$ en ${displaystyle MK=b.}$

Indicado con ${displaystyle L}$ el punto de encuentro de la línea recta ${displaystyle CK}$ con la línea recta ${displaystyle AD,}$, se muestra que los dos segmentos ${displaystyle BK}$ y ${displaystyle DL}$ son las dos medias proporcionales buscadas. Efectivamente, definiendo ${displaystyle BK=x}$ y ${displaystyle DL=y}$, como consecuencia de las construcciones realizadas, se tiene que:

y por lo tanto al unir ${displaystyle H}$ con ${displaystyle K,}$

Pero de los triángulos semejantes ${displaystyle BMK,FHK}$ se deduce que ${displaystyle FK:BK=HK:MK,}$ y observando que ${displaystyle MK=b}$ y que ${displaystyle FK=4a+x,}$ sustituyendo en la proporción anterior, se tiene que:

A partir de aquí, se obtiene el cuadrado

y eliminando los denominadores

Al operar y reducir el resultado se llega a

es decir,

a partir del cual

y siendo ${displaystyle ,x+2a}$ diferente de cero (ya que ${displaystyle x}$ y ${displaystyle 2a}$ son medidas de segmento) necesariamente resulta que

es decir

De la semejanza de los triángulos ${displaystyle LDC,BCK}$ se tiene que ${displaystyle 2a:y=x:2b}$ y, por tanto,

que permite escribir

Elevando al cubo

pero

y por lo tanto

simplificando se obtiene

Entonces:

La tercera y primera igualdad, divididas miembro por miembro, dan

es decir

A su vez, el segundo y el primer miembro divididos dan:

es decir

Finalmente, resulta:

En particular, si ${displaystyle 2a=L,}$ y ${displaystyle b=L,y}$ es igual al lado del cubo, es el doble del que tiene ${displaystyle 1}$ por lado. De hecho, de (1) y (2) se sigue:

y por lo tanto

sustituyendo los valores de ${displaystyle a}$ y ${displaystyle b}$

extrayendo la raíz cúbica

y, si ${displaystyle L=1,}$ es

---