求解Circle packing问题的相关推到证明,对于理解非常有帮助