# Definition:Proportion/Inverse

Two real variables $x$ and $y$ are inversely proportional if and only if their product is a constant:
$\forall x, y \in \R: x \propto \dfrac 1 y \iff \exists k \in \R, k \ne 0: x y = k$