Miquel's point

Miquel and Steiner's quadrilateral theorem

Let four lines made four triangles of a complete quadrilateral. In the diagram these are $\triangle ABC, \triangle ADE, \triangle CEF, \triangle BDF.$

Prove that the circumcircles of all four triangles meet at a single point.

Proof

Let circumcircle of $\triangle ABC$ circle $\Omega$ cross the circumcircle of $\triangle CEF$ circle $\omega$ at point $M.$

Let $AM$ cross $\omega$ second time in the point $G.$

$CMGF$ is cyclic $\implies \angle BCM = \angle MGF.$

$AMCB$ is cyclic $\implies \angle BCM + \angle BAM = 180^\circ \implies$

$\angle BAG + \angle AGF = 180^\circ \implies AB||GF.$

$CMGF$ is cyclic $\implies \angle AME = \angle EFG.$

$AD||GF \implies \angle ADE + \angle DFG = 180^\circ \implies \angle ADE + \angle AME = 180^\circ \implies$

$ADEM$ is cyclic and circumcircle of $\triangle ADE$ contain the point $M.$

Similarly circumcircle of $\triangle BDF$ contain the point $M$ as desired.

vladimir.shelomovskii@gmail.com, vvsss

Circle of circumcenters

Let four lines made four triangles of a complete quadrilateral. In the diagram these are $\triangle ABC, \triangle ADE, \triangle CEF, \triangle BDF.$

Prove that the circumcenters of all four triangles and point $M$ are concyclic.

Proof

Let $\Omega, \omega, \Omega',$ and $\omega'$ be the circumcircles of $\triangle ABC, \triangle CEF, \triangle BDF,$ and $\triangle ADE,$ respectively.