在数学中，比例是两个非零数量formula_1与formula_2之间的比较关系，记为formula_3，在计算时则更常写为formula_4或formula_5。若两个变量的关系符合其中一个量是另一个量乘以一个常数（formula_6），或等价地表达为两变数之比率为一个常数（称为比值，formula_7），则称两者是成比例的。如果formula_1与formula_2是可通约的，亦即它们之间存在一个公测量（）formula_10使得formula_11，formula_12就相等于两个整数的比：for