Show that all norm $\vert\vert .\vert\vert$ in $\mathbb{R}$ is of the form $\vert\vert x\vert\vert=a\cdot\vert x\vert$, where $a>0$ is a constant and $\vert x\vert$ is the absolute value of $x$.
Is obvious that all norm in $\mathbb{R}$ is of the form $a\vert x\vert$, but how I can formalized this?? I think I should define the function $f(x)=\vert\vert x\vert\vert-a\cdot\vert x\vert$, and maybe think in inner product to show that $f(x)\equiv 0$. Any hint pls!