Three Points in Ultrametric Space have Two Equal Distances/Corollary 5

Theorem
Let $\norm {\, \cdot \,}$ be a non-trivial non-Archimedean norm on the rational numbers $\Q$.

Let $a, b \in \Z_{\ne 0}$ be coprime:
 * $a \perp b$

Then:


 * $\norm a = 1$ or $\norm b = 1$

Proof
By Bézout's Identity then:
 * $\exists n, m \in \Z : m a + n b = 1$

By Norm of Unity:
 * $\norm {m a + n b} = 1$

By :
 * $\norm a, \norm b, \norm n, \norm m \le 1$

Let $\norm a < 1$.

By :
 * $\norm {m a} = \norm m \norm a < 1$

Hence:
 * $\norm {m a} < \norm {m a + n b}$

By :
 * $\norm {n b} = \norm {m a + n b} = 1$

By :
 * $\norm n \norm b = 1$

Hence:
 * $\norm b = 1$

The result follows.