o覆盖O 1/3 的扇形,是理论层面的论述,可以说是引理:o要足够大,包括无穷大。
与实际构造没有关系,不存在你“故意”不让足够大的o覆盖住扇形的问题。
如果o不足够大,无论你怎么构造,o都覆盖不住扇形。
剩下的才是如何构造o, 使得o最小。o最小, O才最大。