Let $ABC$ be a triangle and $D$ a point on the side $BC$. Point $E$ is the symmetric of $D$ with respect to $AB$. Point $F$ is the symmetric of $E$ with respect to $AC$. Point $P$ is the intersection of line $DF$ with line $AC$. Prove that the quadrilateral $AEDP$ is cyclic. (Malik Talbi)
Problem
Source: 2015 Saudi Arabia Pre-TST 1.1
Tags: geometry, Symmetric, cyclic quadrilateral, Concyclic