Pythagorean theorem (check with ATP)

This applet demonstrates how GeoGebra can verify the Pythagorean theorem by using automated theorem proving in the background.
Use the Navigation Bar to create the construction:
  1. Create the first leg, side a.
  2. Draw a perpendicular in C to side a, ensuring that the triangle will be right.
  3. Create the second leg, side b.
  4. Create the hypothenuse, side c.
  5. Verify the theorem numerically.
  6. Check the theorem using automated theorem proving. In this case, the proof is a very long algebraic derivation by using analytical geometry and a huge equation system, but they are not shown.
By double-clicking on the "equality" on the left in the Algebra View, the formula may be changed.