Алексей Яковлевич Канель-Белов

Всем говорят в школе, что число $\pi$ иррационально и даже — трансцендентно, т. е. не является корнем многочлена с целыми коэффициентами. Имеется изящное и вполне элементарное доказательство Эрмита иррациональности числа $\pi$ (требующее только знания интегрирования по частям — понимания как вычислить интеграл $\int_a^b x^k\sin(x)dx$).

Наша цель — доказательство теоремы Линдемана–Веерштрасса (если $\alpha_i$ линейно независимые над $\mathbb Q$ алгебраические числа, то $e^{\alpha_i}$ алгебраически независимы), а также теоремы Гельфонда (если числа $\alpha\ne 0,1;\beta\notin{\mathbb Q}$ алгебраические, то $\alpha^\beta$ есть число трансцендентное).