Что значит «не решают многочлен»
Речь не о том, что π или e нельзя вычислить или приблизить. Утверждение касается другого: не существует ненулевого многочлена с рациональными коэффициентами, который обращался бы в ноль при подстановке одного из этих чисел. Рациональные коэффициенты — это числа, которые можно записать дробями, например 3/4 или −2.
У √2 такое уравнение есть: x² − 2 = 0. Поэтому √2 — алгебраическое число. Числа, для которых подобного уравнения нет, называют трансцендентными. Иррациональность — более слабое свойство: она говорит лишь о том, что число нельзя записать обыкновенной дробью.
Почему это сильнее, чем бесконечная десятичная запись
У многочлена конечное число членов и конечные степени переменной. Даже уравнение высокой степени задаёт точное алгебраическое условие: подставленное число должно обнулить выражение. Трансцендентность означает, что π и e не удовлетворяют ни одному такому условию с рациональными коэффициентами — независимо от того, насколько длинный многочлен мы разрешим.
Бесконечность десятичной записи сама по себе этого не доказывает: иррациональные числа тоже имеют бесконечные непериодические записи, но некоторые из них, как √2, всё же являются корнями многочленов. Трансцендентность выявляют не по числу выписанных цифр, а математическим доказательством, исключающим целый класс возможных уравнений.
Что это меняет на практике
Из трансцендентности следует, что π нельзя получить как точное решение какого-либо алгебраического уравнения с рациональными коэффициентами. Это помогает понять ограничение классических построений циркулем и линейкой: такие построения дают алгебраические числа, поэтому ими нельзя точно построить отрезок длины π, если исходный отрезок принят за единицу. При этом вычислять π с нужной точностью можно: невозможность точной алгебраической записи не мешает получать всё более точные приближения.
