Hacker News Reader

In case it's not obvious, you can drag the points in the diagram to change the size of triangles and the associated squares.

Also, if you hover over the geometric objects in the proof (like an AB or ABC), the corresponding object is highlighted in the figure.

Excellent! I did want different-sized squares.