This is showing a^2 + b^2 + 2ab (left image) = c^2 + 2ab (right image), since they both have area (a + b)^2. This implies that a^2 + b^2 = c^2, since 2ab is constant across sides.