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.