Teorema de Miquel - Formulación alternativa
Se tienen tres circunferencias cA, cB y cC concurrentes en un punto P, y que se cortan dos a dos en los puntos D, E y F. Si por un punto A de cA se traza una recta que pasa por el punto F de su intersección con cB, distinto de P, sea B el otro punto de intersección con cB. Igualmente, sea C el otro punto de intersección de cC con la recta que pasa por B y el punto, distinto de P, en que se cortan cB y cC. Entonces los puntos A, E y C están alineados.
La otra formulación es: "Dados tres puntos uno en cada lado de un triángulo, o en sus prolongaciones, las tres circunferencias que pasan por un vértice del triángulo y los dos puntos en los lados adyacentes, concurren en un punto".
La demostración es inmediata. Basta unir el punto P con los puntos D, E y F para formar tres cuadriláteros cíclicos, cuyos ángulos opuestos son suplementarios. Entonces:
- ∠AEP y ∠AFP, ∠BFP y ∠BDP, ∠CDP y ∠CEP son suplementarios por ser opuestos en un cuadrilátero cíclico
- ∠AFP y ∠BFP, ∠BDP y ∠CDP son suplementarios por ser adyacentes