El resultado se obtendrá si tomamos un escalado particular en el que la longitud XY es 2. Lo planteamos utilizando números complejos para los puntos, y el hecho de que cuatro números complejos no colineales a,b,c,d están en un círculo si y sólo si la relación cruzada R(a,b,c,d)=(a−c)(b−d)(a−d)(b−c) es un número real (parte imaginaria cero).
Configure las cosas de modo que X=−1, Y=1, M1=i, Z=t donde −1<t<1 para que Z es un punto real interior al segmento XY . Entonces tenemos también M=0 et M2=t−12+t+12i, M3=t+12+1−t2i. El punto T puede con algo de trabajo (basado en que está en ambos |z|=1 y en el círculo C a través de los tres Mj ), se demuestre que T=2tt2+1+1−t2t2+1i. Diremos algo sobre cómo esto necesita más trabajo después de que se determinen las relaciones cruzadas. Ahora calculamos las relaciones cruzadas y encontramos R(M,M3,M1,M2)=2t+1, un número real, de modo que estos cuatro están en un círculo C y también R(M,Z,M3,M1)=−t2−1t−1, real y poner Z también en C y por último R(M,Z,T,M1)=t2+11−t, de nuevo real y poniendo T en círculo C. Así pues, los seis puntos M,Z,M1,M2,M3,T se encuentran en el círculo C .
NOTA: He encontrado la expresión para el número complejo T suponiendo que se encuentra en C y en el círculo unitario. Es necesario seguir trabajando para demostrar que esta T es el punto de tangencia del círculo centrado en O en el diagrama con el círculo unitario. Esto puede ser complicado; lo único que se me ocurre ahora es que podemos encontrar las distancias de O a los centros de los dos círculos menores, y así determinar una expresión para O entonces se necesitarían más cálculos para mostrar el círculo centrado en O de radio adecuado es en realidad tangente a los tres semicírculos. Así que en realidad esta respuesta sólo muestra que cinco de los seis puntos (excluyendo T ) se encuentran en el círculo C . Encontré que las ecuaciones no eran simples que mostrarían correctamente T tiene la propiedad de tangencia requerida con respecto al círculo centrado en O .