a_1 。而所有从能尺规作出的点集就是：另一个与尺规可作性相关的概念是规矩数。设是从集合 formula_1 {(0,0), (0,1)}开始，尺规可作点的集合： formula_1 ，那么规矩数定义为中的点的横坐标和纵坐标表示的数。可以证明，有理数集formula_17是所有规矩数构成的集合的子集，而又是实数集formula_18的子集。另外，为了在复数集formula_19内讨论问题，也会将平面formula_4看作复平面formula_19，同时定义一个复数是（复）规矩数当且仅当点是中的一个点