В математике постоянной проблемой является проблема определения того, равно ли данное выражение нулю .
Эту проблему еще называют проблемой тождества [1] или методом нулевых оценок . Оно не имеет формального утверждения как такового, но относится к общей проблеме, распространенной в теории трансцендентных чисел . Часто доказательства в теории трансцендентности являются доказательствами от противного . В частности, они используют некоторую вспомогательную функцию для создания целого числа n ≥ 0, которое, как показано, удовлетворяет условию n < 1. Очевидно, это означает, что n должно иметь нулевое значение, и поэтому возникает противоречие, если можно показать, что на самом деле n равно нулю. не ноль.
Во многих доказательствах трансцендентности доказать, что n ≠ 0, очень сложно, и поэтому была проделана большая работа по разработке методов, которые можно использовать для доказательства неисчезаемости определенных выражений. Сама общность проблемы — вот что затрудняет доказательство общих результатов или разработку общих методов ее решения. Возникающее число n может включать в себя интегралы , пределы , многочлены , другие функции и определители матриц .
В определенных случаях существуют алгоритмы или другие методы, позволяющие доказать, что данное выражение не равно нулю, или показать, что проблема неразрешима . Например, если x 1 , ..., x n — действительные числа , то существует алгоритм [2] определения того, существуют ли целые числа a 1 , ..., an такие , что
Если интересующее нас выражение содержит осциллирующую функцию, такую как синус или косинус , то было показано, что проблема неразрешима, и этот результат известен как теорема Ричардсона . Как правило, требуются методы, специфичные для изучаемого выражения, чтобы доказать, что оно не может быть нулевым.