In concave Quadrilateral $ABCD$, prove that $AB=BC$.

contest-matheuclidean-geometrygeometrytrigonometry

This is a problem I found on Facebook (the original source is mentioned within the picture). There is a concave quadrilateral ABCD such that $\angle ABD=18^\circ$, $\angle BAD=12^\circ$, $\angle CBD=54^\circ$, $\angle BCD=24^\circ$. We are asked to prove $AB=BC$.
enter image description here

The task is fairly simple, we need to prove that $AB=BC$, but it is trickier than it looks. On my first attempt, I tried to "complete the triangle" by joining $A$ and $C$, and then attempted to solve it by chasing some angles. However that did not lead anywhere.

I'm going to share my successful approach as an answer below. Please share your own way of proving this if you discover one!

Best Answer

Here's my solution:

enter image description here

With $AB$ as a side, construct equilateral triangle $\triangle AEB$, such that $AB=EB=AB$. Notice that $\angle ADB=150^\circ$, this means that $E$ is the circumcenter of $\triangle ADB$, this implies that $AE=EB=ED=AB$. This also means that $\angle DEB=24^\circ$ and $\angle DEA=36^\circ$.

We know that $\angle DBE=78^\circ$, which means that $\angle BDE=78^\circ$ as well. Lastly, notice that $\angle BDC=102^\circ$, which means that points $E$, $D$ and $C$ are collinear. Since $\angle BEC=\angle BCE=24^\circ$, we know that $BE=BC$ which proves that $AB=BC$.