::不可能性的证明. \mathrm{E}_n.</math>另一个与尺规可作性相关的概念是规矩数。设是从集合={(0,0), (0,1)}开始，尺规可作点的集合：formula_7 那么规矩数定义为中的点的横坐标和纵坐标表示的数。可以证明，有理数集formula_8是所有规矩数构成的集合的子集，而又是实数集formula_9的子集。另外，为了在复数集formula_10内讨论问题，也会将平面formula_11看作复平面formula_10，同时定义一个复数是（复）规矩数当且仅当点是中的一个点。