Encontré este precioso resultado en el cuaderno de Pepe Chapuzas. Cuando toca revisión de cuadernos, es el suyo el primero (y el último) que "reviso". Venía sin demostración... ¿Te atreves...?
SOLUCIÓN
Nina Guindilla se imaginó que estaba en el plano complejo. Así, los puntos del plano real eran números complejos...
Mire, profe. Para simplificar los cálculos puedo suponer, sin perder generalidad, que esta es la circunferencia unidad (centrada en 0 y de radio r = 1). Puedo suponerlo porque la forma de los triángulos no cambian con semejanzas ni traslaciones. Los extremos de las cuerdas se pueden escribir en coordenadas polares así:
1A y 1B
1B+60º y 1C
1C+60º y 1A–60º
Y los puntos medios de las cuerdas son:
0,5A + 0,5B
0,5B+60º + 0,5C
0,5C+60º + 0,5A–60º
Y para probar que son vértices de un triángulo equilátero:
( 0,5A + 0,5B ) + 1 120º · ( 0,5B+60º + 0,5C ) + 1–120º · ( 0,5C+60º + 0,5A–60º ) =
= 0,5A + 0,5B + 0,5B+180º + 0,5C+120º + 0,5C–60º + 0,5A–180º =
= 0,5A + 0,5B – 0,5B + 0,5C+120º – 0,5C+120º – 0,5A = 0
Nina ha utilizado el siguiente resultado de Geometría del plano complejo: los puntos a, b y c son vértices en sentido antihorario de un triángulo equilátero si y solo si se cumple la igualdad a + 1120º · b + 1–120º · c = 0. Pruébalo.
Demuestra también el siguiente resultado: si a, b y c son vértices de un triángulo y a', b' y c' son tales que los triángulos a-b-c', b-c-a' y c-a-b' son semejantes, entonces los triángulos a-b-c y a'-b'-c' comparten baricentro.
RESOLUCIÓN
Mire, profe. El triángulo de vértices a, b y c, en sentido antihorario, es equilátero si y solo si el lado a – b es el lado c – b rotado 60º, esto es, (a – b)/(c – b) = 160º . (El número 160º es un versor.)
a – b = 160º · (c – b) = 160º · c – 160º · b,
a + ( 160º + 1180º ) · b – 160º · c = 0,
a + 1120º · b + 1–120º · c = 0.
Yoyó Peluso siguió operando con números complejos de la siguiente manera...
Profe, mire. Como los tres triángulos verdes son semejantes habrá un número complejo d tal que (c' – a)/(b – a) = (b' – c)/(a – c) = (a' – b)/(c – b) = d, por lo que...
a' = cd – bd + b
b' = ad – cd + c
c' = bd – ad + a
Sumando las tres igualdades nos queda a'+b'+c' = a+b+c por lo tanto el baricentro de los dos triángulos es común: g = (a+b+c)/3 = (a'+b'+c')/3.