mula_2是可通约的，亦即它们之间存在一个公测量（）formula_10使得formula_11，formula_12就相等于两个整数的比：formula_13，那么formula_12就称为可通约比（），formula_15称为一个分数，其比值称为有理数；否则，如果不存在一个公测量，formula_12就称为不可通约比（），其比值称为无理数，亦即无法表达为分数的数。两个比例之间也可以互相比较。如果两个比例相等，亦即，它们的比值相同，这个相等关系称为一个等比关系，例如，formula_17是一个等比关