Let $ABC$ be a triangle. The tangent in $A$ of the circumcircle of $ABC$ cuts the line $(BC)$ in $X$. Let $A'$ be the symetric of $A$ by $X$ and $C'$ the symetric of $C$ by the line $(AX)$ Prove that the points $A, C', A'$ and $B$ are concyclic.
Source: Moroccan TST 2019 P6
Tags: geometry, circumcircle
Let $ABC$ be a triangle. The tangent in $A$ of the circumcircle of $ABC$ cuts the line $(BC)$ in $X$. Let $A'$ be the symetric of $A$ by $X$ and $C'$ the symetric of $C$ by the line $(AX)$ Prove that the points $A, C', A'$ and $B$ are concyclic.