Cuadratriz de Hipias

Imagen fija: Punto S de la cuadratriz (color rojo), en el momento que E y F han completado el 60% de sus movimientos

La cuadratriz o trisectriz de Hipias (también llamada cuadratriz de Dinóstrato) es una curva que se crea mediante un movimiento uniforme. Es uno de los ejemplos más antiguos de una curva cinemática, creada a través del movimiento. Su descubrimiento se atribuye al sofista griego Hipias de Élide, quien la usó alrededor del año 420 a.Plantilla:EsdC. para determinar la trisección de un ángulo (de ahí el nombre de trisectriz). Posteriormente, alrededor del año 350 a.Plantilla:EsdC., Dinóstrato la usó para cuadrar el círculo (de ahí el nombre de cuadratriz).

Definición

Cuadratriz como una curva plana (a=1)

Cuadratriz como una función (a=1)

Considérese un cuadrado ABCD con un cuarto de círculo inscrito centrado en A, de modo que el lado del cuadrado sea el radio del círculo. Sea E un punto que se desplaza con una velocidad constante en el cuarto de círculo de D a B, y sea F un punto que se desplaza con una velocidad constante de D a A sobre el segmento Plantilla:Overline, de tal manera que F y E comienzan el movimiento en D en el mismo momento. Además E llega a B al mismo tiempo que F llega a A. Entonces, la cuadratriz se define como el lugar geométrico de la intersección de la paralela a Plantilla:Overline trazada por el punto F, que por tanto se va trasladando con el movimiento de F, con el segmento Plantilla:Overline, que igualmente va girando alrededor del centro A según se traslada el punto E.

Si se coloca dicho cuadrado ABCD con longitud de lado a en el primer cuadrante de un sistema de coordenadas cartesianas con el lado Plantilla:Overline en el eje x y el vértice A en el origen, entonces la cuadratriz se describe mediante una curva plana $\gamma :(0,\frac{\pi }{2}]\to {ℝ}^2$ con:

$\gamma (t)=\left(\begin{array}{c}x(t)\\ y(t)\end{array}\right)=\left(\begin{array}{c}\frac{2a}{\pi }t\cot (t)\\ \frac{2a}{\pi }t\end{array}\right)$

Si el dominio de $x(t)$ y $y(t)$ se extiende para incluir la recta real completa (excepto los puntos donde $cot(t)$ es infinito), estas ecuaciones describen una familia de curvas. El dominio de $x(t)$ puede ampliarse aún más para incluir t=0 porque $\underset{t\to 0}{\lim }(t\cot (t))=1$. Si se define $x(0)=1$, la curva es continua para $(-\pi <t<\pi )$.

Para describir la cuadratriz como una función simple en lugar de como una curva plana, es ventajoso cambiar el eje y y el eje x, es decir, colocar el lado Plantilla:Overline en el eje y en lugar de en el eje x. Entonces la cuadratriz viene dada por la siguiente función:

$f(x)=x\cdot \cot (\frac{\pi }{2a}\cdot x)$

Trisección angular

Compás para dibujar una cuadratriz

Trisección de un ángulo

La trisección de un ángulo arbitrario usando solo regla y compás es imposible. Sin embargo, si se permite utilizar la cuadratriz como una herramienta adicional, es posible dividir un ángulo arbitrario en n segmentos iguales, y por lo tanto, es posible efectuar una trisección (para n = 3). En términos prácticos, la cuadratriz se puede dibujar con la ayuda de una plantilla o un compás cuadratriz (véase el dibujo).

Dado que, según la definición de la cuadratriz, el ángulo atravesado es proporcional al segmento atravesado del lado de los cuadrados asociados que divide ese segmento del lado en n partes iguales, análogamente produce una partición del ángulo asociado también. Y dividir el segmento en n partes iguales con regla y compás es posible como se comprueba el teorema de Tales.

Para un ángulo dado BAE ( ≤ 90°) constrúyase un cuadrado ABCD sobre uno de sus lados Plantilla:Overline. El otro tramo del ángulo interseca la cuadratriz del cuadrado en un punto G y la línea paralela al tramo Plantilla:Overline a través de G cruza el lado Plantilla:Overline del cuadrado en F. Ahora el segmento Plantilla:Overline corresponde al ángulo BAE y debido a la definición de la cuadratriz cualquier división del segmento Plantilla:Overline en n partes equidistantes produce una división correspondiente del ángulo BAE en n partes de igual tamaño. Para dividir el segmento Plantilla:Overline en n partes equidistantes, procédase de la siguiente manera. Dibújese un rayo a con origen en A y luego dibújense n segmentos equidistantes (de longitud arbitraria) sobre él. Conéctese el punto final O del último segmento con F y dibujar líneas paralelas a Plantilla:Overline a través de todos los puntos finales de los n − 1 segmentos restantes en Plantilla:Overline. Estas líneas paralelas dividen el segmento Plantilla:Overline en Plantilla:Overline en n segmentos equidistantes. Ahora, dibújense rectas paralelas a Plantilla:Overline a través de los puntos finales de esos segmentos en Plantilla:Overline. Estas líneas paralelas intersecarán a la trisectriz. Al conectar esos puntos de intersección con A se obtiene una partición del ángulo BAE en n partes de igual tamaño.

Como no todos los puntos del trisectriz pueden construirse solo con regla y compás, es realmente necesario como una herramienta adicional junto a estas anteriormente nombradas. Sin embargo, es posible construir un subconjunto denso de la trisectriz con regla y compás, por lo que si bien no puede asegurarse una división exacta de un ángulo en n partes sin una trisectrix dada, puede construir una aproximación arbitrariamente cercana de este modo.

Cuadratura del círculo

Cuadratura de un cuarto de círculo de radio 1

Cuadrar el círculo solo con regla y compás es imposible. Sin embargo, si se permite utilizar la cuadratriz de Hipias como una herramienta de construcción adicional, la cuadratura del círculo se hace posible debido al teorema de Dinostrato, que permite convertir un cuarto de círculo en un cuadrado de la misma área. En consecuencia, un cuadrado con el doble de longitud de su lado tiene la misma área que el círculo completo.

Según el teorema de Dinóstrato, la cuadratriz divide uno de los lados del cuadrado asociado en una proporción de $\frac{2}{\pi }$. Para un cuarto de círculo dado con radio r se construye el cuadrado asociado ABCD con longitud de lado r. La cuadratriz se cruza con el lado Plantilla:Overline en J con $\left|\overline{AJ}\right|=\frac{2}{\pi }r$. Ahora se construye un segmento de línea Plantilla:Overline de longitud r que es perpendicular a Plantilla:Overline. Entonces, la línea a través de A y K interseca la extensión del lado Plantilla:Overline en L; y según el teorema de Tales se deduce que $\left|\overline{BL}\right|=\frac{\pi }{2}r$. Extendiendo Plantilla:Overline a la derecha por un nuevo segmento, $\left|\overline{BO}\right|=\frac{r}{2}$ produce el rectángulo BLNO con los lados Plantilla:Overline y Plantilla:Overline, cuya área coincide con el área del cuarto de círculo. Este rectángulo se puede transformar en un cuadrado de la misma área con la ayuda del teorema de la media geométrica. Ahora, se extiende el lado Plantilla:Overline mediante un segmento $\left|\overline{OQ}\right|=\left|\overline{BO}\right|=\frac{r}{2}$ y se dibuja un semicírculo a la derecha de Plantilla:Overline, que tiene Plantilla:Overline como diámetro. La extensión de Plantilla:Overline se encuentra con el semicírculo en R y debido al teorema de Tales, el segmento Plantilla:Overline es la altura del triángulo rectángulo QNR. Por lo tanto, se puede aplicar el teorema de la media geométrica, lo que significa que Plantilla:Overline forma el lado de un cuadrado OUSR con la misma área que el rectángulo BLNO, y por lo tanto, con la misma área que el cuarto de círculo.

Téngase en cuenta que el punto J, donde la cuadratriz se encuentra con el lado Plantilla:Overline del cuadrado asociado, es uno de los puntos de la cuadratriz que no se puede construir solo con regla y compás y ni siquiera con la ayuda del compás basándose en la cuadratriz en la definición geométrica original (véase el dibujo). Esto se debe al hecho de que las dos líneas que se mueven uniformemente coinciden y, por lo tanto, no existe un punto de intersección único. Sin embargo, confiar en la definición generalizada de la cuadratriz como una función o curva plana permite que J sea un punto de la cuadratriz.

Fuentes históricas

La cuadratriz se menciona en los trabajos de Proclo (412–485), Papo de Alejandría (siglos III y IV) y Jámblico (c. 240 - c. 325). Proclo nombra a Hipias como el inventor de una curva llamada cuadratriz y describe en otro lugar cómo Hipias había aplicado la curva al problema de la trisección. Papo solo menciona cómo Dinostrato, Nicomedes y otros utilizaron una curva llamada cuadratriz para cuadrar el círculo, pero no mencionan a Hipias ni atribuyen la invención de la cuadratriz a una persona en particular. Jámblico simplemente escribe en una sola línea, que Nicomedes utilizó una curva llamada cuadratriz para cuadrar el círculo.

Aunque basándose en el nombre utilizado por Proclo para denominar la curva, es concebible que el propio Hipias la usara para cuadrar el círculo o alguna otra figura curvilínea. La mayoría de los historiadores de las matemáticas asumen que Hipias inventó la curva, pero la usó solo para la trisección de ángulos. Su uso para cuadrar el círculo solo se produciría décadas después y se debió a matemáticos como Dinóstrato y Nicomedes. Esta interpretación de las fuentes históricas se remonta al matemático e historiador alemán Moritz Cantor.

Bibliografía

• Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics. MAA 2010, Plantilla:ISBN, pp. 146–147 (Plantilla:Google books)
• Felix Klein: Famous Problems of Elementary Geometry. Cosimo 2007 (Nachdruck), Plantilla:ISBN, pp. 57–58 (Plantilla:Google books) (complete online copy at archive.org)
• Audun Holme: Geometry: Our Cultural Heritage. Springer, 2010, Plantilla:ISBN, pp. 114–116 (Plantilla:Google books)
• Thomas Little Heath: A History of Greek Mathematics. Volume 1. From Thales to Euclid. Clarendon Press, 1921 (Nachdruck Elibron Classics 2006), pp. 225–230 (online copy at archive.org)
• Horst Hischer: Klassische Probleme der Antike – Beispiele zur "Historischen Verankerung" Klassische Probleme der Antike – Beispiele zur "Historischen Verankerung". In: Blankenagel, Jürgen & Spiegel, Wolfgang (Hrsg.): Mathematikdidaktik aus Begeisterung für die Mathematik — Festschrift für Harald Scheid. Stuttgart/Düsseldorf/Leipzig: Klett 2000, pp. 97 – 118 (alemán)
• Hans-Wolfgang Henn: Elementare Geometrie und Algebra. Vieweg+Teubner, 2003, pp. 45–48 "Die Quadratur des Kreises" (Plantilla:Google books) (alemán)

Enlaces externos

• Michael D. Huberty, Ko Hayashi, Chia Vang: Hippias 'Quadratrix' '
• Plantilla:MathWorld
• Plantilla:MacTutor Biography