Inequality of Product of Unequal Numbers

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $a, b, c, d \in \R$.


Then:

$0 < a < b \land 0 < c < d \implies 0 < a c < b d$


Proof

\((1):\quad\) \(\displaystyle \) \(\) \(\displaystyle 0 < a < b\)
\((2):\quad\) \(\displaystyle \) \(\leadsto\) \(\displaystyle 0 < b\) Ordering is transitive


\((3):\quad\) \(\displaystyle \) \(\) \(\displaystyle 0 < c < d\)
\((4):\quad\) \(\displaystyle \) \(\leadsto\) \(\displaystyle 0 < c\) Ordering is transitive


\(\displaystyle \) \(\leadsto\) \(\displaystyle 0 < a c < b c\) $(1)$ and $(4)$: Real Number Axioms: $\R O 2$: Usual ordering is compatible with multiplication
\(\displaystyle \) \(\) \(\displaystyle 0 < b c < b d\) $(2)$ and $(3)$: Real Number Axioms: $\R O 2$: Usual ordering is compatible with multiplication
\(\displaystyle \) \(\leadsto\) \(\displaystyle 0 < a c < b d\) Ordering is transitive

$\blacksquare$