[Math] Is $\ln\sqrt{2}$ irrational

Question

I know that the natural log of any positive algebraic number is transcendental, as a consequence of the Lindemann-Weierstrass theorem, but what about the natural log of the square root of two (which is irrational).

Is this rational or irrational?

Answer 1

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.