Compute the length of the segment tangent from the origin to the circle that passes through the points (3, 4), (6, 8), and (5, 13).
The center of the circle is (5/2,15/2), and the radius is 5/sqrt(2). So by power of a point, the length of the tangent is 7*sqrt(3).
