Basic Theorems #5

Instruction

This shows the Pythagorean Theorem: a^2 + b^2 = c^2 holds for a 45-45-90 triangle (which is easy to make).