El diagrama planar muestra los puntos $A, B, C, D$ (no tienen que ser los vértices de algún tipo particular de cuadrilátero) y cuatro círculos: $\text{C}_{AB}$ con diámetro $AB$, $\text{C}_{BC}$ con diámetro $BC$, $\text{C}_{CD}$ con diámetro $CD$ y $\text{C}_{DA}$ con diámetro $DA$.
$\text{C}_{AB}$ y $\text{C}_{CD}$ son disjuntos (sin puntos en común; ninguno está dentro del otro).
$\text{C}_{BC}$ y $\text{C}_{DA}$ son disjuntos.
¿Es esto posible?
No creo que sea posible. De hecho, el diagrama muestra cuatro elipses. Cuando dibujo cuatro círculos, no puedo hacer que los pares de círculos sean disjuntos. Pero no sé cómo probar que esto es imposible. He estado tratando con la prueba por contradicción, pero la contradicción se me escapa.
Contexto: He estado intentando resolver otra pregunta, y mis esfuerzos me llevaron a esta pregunta.