I think there is a simpler dissection solution to the problem. Using the figure you posted as reference, we observe that DCG is congruent to EMF. Hence area(DEFG) = area(DEMC). Since length(AB) = length(EM), it follows
area(ABCD) = area(DEMC),
therefore S2 = S1. So we need only the additional point M for the proof.