rmula_15称为一个分数，其比值称为有理数；否则，如果不存在一个公测量，formula_12就称为不可通约比（），其比值称为无理数，亦即无法表达为分数的数。两个比例之间也可以互相比较。如果两个比例相等，亦即，它们的比值相同，这个相等关系称为一个等比关系，例如，formula_17是一个等比关系，其中formula_18。特别是，如果第二项等于第三项，例如formula_19，那么formula_20，formula_2称为formula_1与formula_23的几何平均数（）。Section: