Product of Real Number with Quotient

From ProofWiki
Jump to navigation Jump to search

Theorem

$\forall a, x \in \R, y \in \R_{\ne 0}: \dfrac {a \times x} y = a \times \dfrac x y$


Proof

\(\ds \frac {a \times x} y\) \(=\) \(\ds \paren {a \times x} \times \frac 1 y\) Definition of Real Division
\(\ds \) \(=\) \(\ds a \times \paren {x \times \frac 1 y}\) Real Number Axioms: $\R \text M 1$: Associativity
\(\ds \) \(=\) \(\ds a \times \frac x y\) Definition of Real Division

$\blacksquare$


Sources