# non-archimedean absolute value (Ostrowski's theorem)

I'm reading the proof of Ostrowski's theorem in Gouvea's book on p-adic numbers and there is one step that I don't understand. Let $|\cdot|$ be a non-archimedean absolute value and $n=rp+s$ where $r,p,s$ are integers with $|rp|< 1$ and $|s|=1$. Then we conclude that $|n|=1$. I know that $|n|\leq 1$ because the absolute value is non-archimedean but I don't see why the other two values imply that it is not less than $1$.

$|n|\leq \operatorname{max}(|rp|,|s|)$ is $|n|\leq 1$ but we also have $s=n-rp$ which gives $|s|\leq \operatorname{max}(|n|,|rp|)$. Keeping in mind that $|rp|\lt 1$ we must have $|n|=|s|=1$. We could have seen that "geometrically". Every triangle is isosceles and the side $rp$ is smaller than $n$ so $|n|=|s|=1$