。每个圆与大圆formula_2 的切点分别是formula_13。首先，根据勾股定理可以推出：对于任意的"i" 和"j"，都有接下来的思路是将这个公式右边的各个长度用formula_15 来表示。考虑三角形formula_16，根据三角形的余弦定理：由于每个圆formula_18 都和大圆相切，所以：设点formula_20 为大圆formula_2 上的任意一点，根据三角形的正弦定理，在三角形formula_22之中，有：所以，余弦式将以上formula_25 与formula