Key techniques include line collinearity, cyclic quadrilateral and angle chasing. A Geogebra demonstration is provided to discuss a more generalized case.