SMS dit: Proofs and generalizations of the pythagorean theorem