![](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png)
关于与「
通約性」標題相近或相同的条目页,請見「
可通約性」。
假若,兩個不等於零的实数
與
的除商
是一個有理數,或者說,
與
的比例相等於兩個非零整數
與
的比例:
,
| 此條目没有列出任何参考或来源。 (2023年3月25日) |
則稱它們是互相可通約的(commensurable),而這特性則稱為通約性。這意味著,存在一個非零的實數公約數(common measure)
,使得
,
所以
![{\displaystyle a:b=mp:mq=p:q}](//wikimedia.org/api/rest_v1/media/math/render/svg/e0dfdc14d3feae84cf7ae7dbf0e8a4580bd93e5c)
或是
,
其中
,所以
。
反之,如果該二數的除商是一個無理數,則稱它們是不可通約的(incommensurable),亦即,
與
之間不存在一個公約數
使得
。