Assign coordinates to vertices, compute lengths, gradients, etc., to prove properties (e.g., midpoints, concurrency).