Deriving Area Formulas