I find that that's a terrible way of visualising the theorum, as it offers no indication of why the theorem is true. I much prefer the below picture: https://www.mathalino.com/sites/default/files/images/01-pyth...

It could be improved by putting -(ab/2) inside the triangles, but I'm on mobile, so making something is out of the question.