How do I prove theorems about angles, sides, and special segments of triangles?