Proportion is Symmetric

From ProofWiki
Jump to navigation Jump to search


Proportion is a symmetric relation.

That is:

$\forall x, y \in \R: x \propto y \implies y \propto x$


Let $x, y$ be arbitrary.

Let $x$ be proportional to $y$:

$x \propto y$

Then by definition:

\(\ds \exists k \ne 0: \, \) \(\ds x\) \(=\) \(\ds k \times y\)
\(\ds \implies \ \ \) \(\ds y\) \(=\) \(\ds k^{-1} \times x\)

The result follows from the definition of symmetry and proportion.