Pythagorean theorem (check with ATP)

This applet demonstrates how GeoGebra can verify the Pythagorean theorem by using automated theorem proving in the background.