Problem

Source:

Tags: geometry, inradius, paper folding, folding, square



Miguel has a square piece of paper $ABCD$ that he folded along a line $EF$, $E$ on $AB$, and $F$ on $CD$. This fold sent $A$ to point $A'$ on $BC$, distinct from $B$ and $C$. Also, it brought $D$ to point $D'$. $G$ is the intersection of $A'D'$ and $DC$. Prove that the inradius of $GCA'$ is equal to the sum of the inradius of $D'GF$ and $A'BE$.