Is $\ln\sqrt{2}$ irrational?

Not only is $\ln(\sqrt{2})$ irrational, but it's also transcendental!

Proof: $$\Large \ln(\sqrt{2})=\ln(2^{1/2})=\frac{1}{2} \underbrace{\ln(2)}_{\in \mathbb{T}}$$ which is transcendental. $\square$

To see why the product of a transcendental number and a non-zero algebraic number is transcendental, see this .

---

For reference, $\mathbb{T}$ is the set of transcendental numbers.

If you already know that the log of a positive algebraic number is transcendental, then all you need to realize is that $\sqrt2$ is a positive algebraic number. $\sqrt2$ is a root of $x^2-2=0$.

Therefore, $\log(\sqrt2)$ is transcendental $\implies$ $\log(\sqrt2)$ is irrational.