# Inequality of Product of Unequal Numbers

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$