<正>二维的Shimixu-Leutbecher定理,是判断平面上一个包含抛物元素的M(?)bius群是否离散的重要条件,也是著名的ζφrgen-son不等式......

本文中的研究表明：初等几何问题法化研究中的一个重要问题所涉及的著名 的Ｓｔｅｉｎｅｒ－Ｌｅｈｍｕｓ定理之题图，是可以用尺规作图完成的。......