Let $ABCD$ be a cyclic quadrilateral.$E$ is the midpoint of $(AC)$ and $F$ is the midpoint of $(BD)$ {$G$}=$AB\cap CD$ and {$H$}=$AD\cap BC$. a)Prove that the intersections of the angle bisector of $\angle{AHB}$ and the sides $AB$ and $CD$ and the intersections of the angle bisector of$\angle{AGD}$ with $BC$ and $AD$ are the verticles of a rhombus b)Prove that the center of this rhombus lies on $EF$
Problem
Source: Romanian 4th JBMO TST 2016
Tags: geometry, cyclic quadrilateral, angle bisector, rhombus