In Chapter 5, we use this method to show that the convex hull area of a circle, a line and a rectangle (perimeter 1) is at most 0.1005. There are two files:
maincodethm2_2 is a code to prove that the lower bound of convex hull area of a circle, an equilateral triangle, and a rectangle is at most 0.1005.
codecvhul2_2 is a function to find area of convex hull.