rmula_105的长度是formula_77 的一半。就边长而言，我们得出在第一个等式中formula_108为formula_109，长度formula_110，而formula_90为直径formula_112。对一个单位圆我们有着名的鲁道夫·范·科伊伦翻倍公式，现在如果我们外切一个正 "n" 边形，边为formula_114 平行于formula_71，那么formula_116和formula_117是相似三角形，得出formula_118。称外切边长为formula_119，那么form