Looking for Pythagoras: Problem 5.2 Summary