Maths WorkshopMaths problems with full solutions
Exercise 59Number theory › IrrationalityHigh schoolAdded 3 Nov 2026

Irrationality of log₂ 3

#logarithm#irrationality#base change

Statement

Show that log⁡23\log_2 3 is irrational.

Hint

If log⁡23=p/q\log_2 3=p/q, then 2p=3q2^p=3^q.

Show solutionHide solution

Solution

Assume. log⁡23=p/q\log_2 3=p/q with p,q∈N∗p,q\in\mathbb{N}^*.

Then. 2p/q=32^{p/q}=3, so 2p=3q2^p=3^q.

Contradiction. Unique factorization: a power of 22 cannot equal a power of 33 (unless both are 11, but p,q>0p,q>0).

Conclusion. log⁡23\log_2 3 is irrational.