給兩個變量\(\;x\;\)和\(\;y\;\)，若存在一非零常數\(\;k\;\)使 \[{y = kx}\color{black}{,}\] 我們便稱\(\;y\;\)隨\(\;x\;\)正變，或變量\(\;y\;\)與變量\(\;x\;\)成正比例。
我們稱\(\;y\;\)作因變量；\(\;x\;\)作自變量；\(\;k\;\)作變分常數。
如果\(\;y\;\)隨\(\;x\;\)正變，則：
\(\;x\;\) 隨\(\;y\;\)正變。
題解：
正變關係是有對稱性的。如果 \(y\) 隨 \(x\) 正變，則存在變分常數 \(k\neq 0\) 使得 \[y=kx\] 則有 \[x=\frac{y}{k}\] 我們把\(\;\displaystyle \frac{1}{k}\;\)設定為 \(K\)，顯然\(\;K\neq 0\;\)，且 \[x=Ky\] 即\(\;x\;\)隨\(\;y\;\)正變。
當\(\;y\;\)隨\(\;x\;\)正變：
我們也可以記作\(\;{y \propto x}\)。
如果 \(y\propto x\) 且 \(z\propto y\) ，則：
\(z\propto x\) 正確。
題解：
正變關係是有遞移性的。如果 \(y\propto x\) 且 \(z\propto y\)，則存在變分常數 \(k_1,k_2\neq 0\) 使得 \[y=k_1 x， z=k_2 y\] 則有 \[z=k_1k_2x\] 我們把 \(k_1k_2\) 設定為 \(K'\)，顯然\(K'\neq 0\)，且 \[z=K'x\] 即 \(z\propto x\)。
正變是一種等價關係。