mensurable），而这特性则称为通约性。这意味着，存在一个非零的实数公测数 (common measure) formula_9，使得所以 或是 其中 formula_13，所以 formula_14。反之，如果该二数的除商是一个无理数，则称它们是不可通约的（incommensurable），亦即，formula_4 与 formula_5 之间不存在一个公测数 formula_17 使得
历史.毕达哥拉斯学派发现了不可通约数（无理数）formula_19，这