Using the circumcenter of a triangle to find segment lengths