ormula_4或formula_5。若两个变量的关系符合其中一个量是另一个量乘以一个常数（formula_6），或等价地表达为两变数之比率为一个常数（称为比值，formula_7），则称两者是成比例的。如果formula_1与formula_2是可通约的，亦即它们之间存在一个公测量（）formula_10使得formula_11，formula_12就相等于两个整数的比：formula_13，那么formula_12就称为可通约比（），formula_15称为一个分数，其比值称为有理数；否则，如果不存