Los Teoremas de Haga (I parte)

Hace algunos meses, cuando me met en el tema de la Miura Ken Rose de Robert Lang tuve el coraje de escribirle un correo, para mostrarle mi humilde resolucin del CP
de esta hermosa rosa, la que ya se encuentra diagramada en el libro de la Convencin anual de Origami USA 2007, as como tambin en el libro de la 12a Convencin
JOAS, y su respuesta me llen de alegra, no slo me autorizaba a publicar mi pobre doc sino que adems me regal sugerencias y buenos consejos.

Una de estas sugerencias fue la versin Junior de la Miura Ken Rose, descrita por l como la construccin de una grilla de divisiones horizontales en 12/54, 25/54, y 39/54,
cada uno de ellos despus divididos a la mitad, junto con divisiones verticales de 1/9 cada una. Entonces me vi enfrentado a este asunto de las divisiones un poco extraas
y a primera vista un poco antojadizas, porque, quin en pleno uso de sus facultades mentales se podra poner a doblar mitades hasta llegar a 54 :D ? La cosa no es tan
as, obviamente, si pensamos que 6/54 son 1/9 y que dos veces eso hacen la primera de las divisiones horizontales sugeridas por el Maestro Lang. Adems, si dividimos el
papel en estas unidades de 6/54 (o 1/9), 6 unidades y media completan los 39/54 de la parte inferior, y dividir una de esas unidades a la mitad no suena como algo tan
terrible.

Entonces, cmo consegumos 1/9 al doblar una hoja de papel? Todo un problema, si puedo decirlo. La bsqueda de una respuesta me llev a los Teoremas de Haga,
descritos fantsticamente en el sitio de la Japan Origami Academic Society, por alguien identificado como Koshiro. La idea entonces ahora es mostrar como funcionan y en
qu se basan sus resultados.

El Primer Teorema de Haga dice ms o menos as: "Si llevamos una esquina de un cuadrado hasta una marca de divisin par en su lado opuesto, indicar una divisin impar
conocida en su lado adyacente". Para visualizarlo tomaremos el caso ms simple de dividir un lado en dos y llevar la esquina opuesta hasta ella, y ver que obtenemos del
otro lado.

Como vemos, se obtiene una indicacin de 2/3 sobre el lado derecho de este cuadrado. La explicacin viene del mundo de las matmaticas (cmo no?), los triangulos SAP
y PBT estn relacionados, se dice que son "similares" o proporcionales, es decir el segundo es igual al primero pero proporcionalmente ms grande, la demostracin de
esto est en sus ngulos interiores; existe un teorema clsico de la geometra (y aqu utilizo la palabra "clsico" para excusarme de no demostrarlo :) ) que dice que si un
tringulo cualquiera posee cada uno de sus lados perpendiculares a los lados del otro, entonces los ngulos interiores de ambos tringulos son iguales y por tanto ellos son
proporcionales o similares entre s. En este caso es evidente que el lado SA es perpendicular a PB (segmento de la lnea AB), que el lado AP es perpendicular a BT y que SP
lo es respecto de PT.

Entonces SA=c*PB, AP=c*BT y SP=c*PT y conocemos AP=PB=1/2 y que SA+SP=1, queremos saber cuanto mide BT. Si los tringulos son proporcionales, AP/SA=BT/PB

AP/SA=BT/(1-AP) o sea (1/2)/SA=BT/(1/2) y as BT=1/(4*SA)

cuanto vale SA entonces? Por pitgoras sabemos que

y por lo tanto SA = (1-1/4)/2 = (3/4)/2 = 3/8

y BT = 1/(4*3/8) =1/(3/2) = 2/3

Ahora bien, en el caso general tenemos

generndose la siguiente tabla, que podra ser nuestro caballo de batalla a la hora de crear grillas de divisiones arbitrarias:

en una futura entrada podramos revisar las otras formas que existen para obtener estas divisiones, conocidas como los Teoremas Segundo y Tercero de Haga, si hay
inters, claro :P
Hoy voy a tratar de explicarles el Teorema de Haga

Dividir un segmento o un ngulo en 2, 4, 8, 16 o, en general, en 2 partes iguales es sencillo. Sin embargo, la triseccin exacta de ngulos y segmentos
dista de ser una operacin intuitiva.

No todo es biseccin en papiroflexia. Muchos modelos, especialmente entre aquellos que llamamos "geomtricos", tales como cajas, poliedros, etc,
requieren de trisecciones o divisiones entre otros nmeros naturales de ngulos y segmentos.

En la "nube de papiroflexia" que Thoki Yenn dej flotando en el espacio electrnico de La Red tras irse de este mundo, encontramos hermosos ejemplos
de modelos con trisecciones o divisiones ms complejas. Al escribir estas lneas, la nube de Thoki Yenn se encontraba aqu.

A continuacin vamos a presentar una sencilla construccin que triseca con exactitud el lado de un cuadrado o bien, con algunas operaciones
adicionales, cualquier segmento. Se trata del llamado "primer teorema de Haga". No nos ocupamos en lo sucesivo delas divisiones de ngulos. Nos
despedimos de ese problema, que podra ser objeto de un futuro artculo, con una fuerte afirmacin:

La triseccin de un ngulo no es, en el caso general, un problema resoluble con regla y comps. Mediante plegados, puede trisecarse cualquier ngulo
contenido en una hoja de papel.

El primer teorema de Haga puede enunciarse en los siguientes trminos:

Sea un cuadrado de vrtices A, B, C, D. Si se pliega el cuadrado sobre s mismo llevando el vrtice A al punto medio del lado BC , entonces el lado AD
cortar al lado CD en un punto G tal que la distancia entre C y G es igual a las dos terceras partes del lado del cuadrado.

Este teorema fue originalmente enunciado por el Dr. Koji Fusimi (Mathematics Seminar, enero 1979) con el nombre de "Teorema de Haga". Ms tarde el
propio Kazuo Haga aadi el ordinal tras descubrir otras dos construcciones geomtricas estrechamente relacionadas con la anterior, a las que llam
segundo y tercer teoremas, respectivamente, que llevan al mismo resultado y que se incluyen a modo de ilustracin.

Demostremos el primer teorema.

Como paso previo, observemos que los tringulos BEA, CAG y DFG son semejantes.

En efecto, los tres son tringulos rectngulos en B, C y D respectivamente, por ser esos tres puntos vrtices del cuadrado.CAG y DFG son semejantes
por ser ambos rectngulos y tener el mismo ngulo en el vrtice comn G. BEA y CAG son semejantes por ser rectngulos y tener ngulos
complementarios en el vrtice comn A.
Comprobemos que no slo son semejantes sino, adems, notables y entraables. Se trata de tringulos rectngulos con lados de longitudes relativas 3,
4 y 5, que los egipcios usaban en la antigedad para construir pirmides y los profesores de secundaria usan en la actualidad para construir problemas
de gratificante solucin.

En efecto,si hacemos unitario al lado para simplificar los clculos sin perder generalidad, observamos que BA=1/2 (la mitad de un lado) y que BE+EA=1
(un lado). El teorema de Pitgoras nos permite calcular las longitudes de los tres lados del tringulo BEA: (BE) + (1/2) = (1 - BE), de donde BE=3/8,
BA=4/8 y EA=5/8.

Por tanto, los lados del tringulo BEA son proporcionales a 3, 4 y 5 respectivamente. Lo mismo puede afirmarse de CAG y DFG por su semejanza con
BEA.

La demostracin del primer teorema de Haga es ahora inmediata, si observamos la semejanza del tringulo BEA, las longitudes de cuyos lados
acabamos de calcular, con el tringulo CAG: CG es a BA como AC es a EB. En otros trminos, CG/(1/2) =(1/2)/(3/8), de donde CG = 2/3, como se
quera demostrar.