ormula_14。反之，如果该二数的除商是一个无理数，则称它们是不可通约的（incommensurable），亦即，formula_4 与 formula_5 之间不存在一个公测数 formula_17 使得
历史.毕达哥拉斯学派发现了不可通约数（无理数）formula_19，这破坏了他们的比例论。为了挽救比例论，尤得塞斯提出了以几何量为基础的比例论，被欧几里得收录在《几何原本》的第五册中。这本书里面记载着，假若，formula_20 个线段 formula_21 连接