Geometry Expressions is an application that lets you visualize geometry and formulate symbolic expressions by constructing a sketch.
Simply sketch your geometry, add symbolic constraints, and then automatically output symbolic measurements and expressions.