la_16能尺规作出的点集就是：另一个与尺规可作性相关的概念是规矩数。设formula_42是从集合formula_43开始，尺规可作点的集合：formula_44 那么规矩数定义为formula_42中的点的横坐标和纵坐标表示的数。可以证明，有理数集formula_50是所有规矩数构成的集合的子集，而formula_51又是实数集formula_52的子集。另外，为了在复数集formula_53内讨论问题，也会将平面formula_15看作复平面formula_53，同时定义一个复数formula