为formula_69的圆内接正formula_17边形，其中一条边为formula_71是圆的一条弦。设formula_72为圆周上formula_73的对径点，从而formula_74是一条直径，formula_75是直径上的一个圆内接三角形。由泰勒斯定理，这是一个直角三角形，角formula_76 是直角。设formula_77长formula_78，我们称为formula_69的补；从而formula_80。设formula_4平分弧formula_71，设formula_83为formula_4