the envelope principle
平面内,以A、B为顶点的一条线段的一侧有若干个点,与A,B相连构成一个凸多边形,则该图形除AB外所有边之和大于AB;
若在该图形之外且在AB同侧有另外若干点与AB构成另一个凸多边形,则此多边形的周长大于上一图形的周长。
利用此原理,可证明一个圆的周长大于其内接凸多边形,小于其外切凸多边形,进而可以不断的缩小π的取值范围。
如图,点C、D、E、F均在AB同侧,由包络原理可知:AE+EF+FB>AD+DB>AC+CB>AB
对于弓形等带曲线的凸的图形来说,包络原理同样适用,如图:弧AB>AE+EF+FB