WikiDer > Постоянная проблема

Эта статья может быть сбивает с толку или неясно читателям. Пожалуйста, помоги нам прояснить статью. Возможно обсуждение этого вопроса на страница обсуждения. (Август 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В математика, то постоянная проблема это проблема решение равно ли данное выражение нуль.

Проблема

Эта проблема также упоминается как проблема идентичности^[1] или метод нулевые оценки. Он не имеет формального заявления как такового, но относится к общей проблеме, преобладающей в трансцендентная теория чисел. Часто доказательства в теории трансцендентности доказательства от противного. В частности, они используют некоторые вспомогательная функция создать целое число п ≥ 0, что, как показано, удовлетворяет п <1. Ясно, что это означает, что п должен иметь нулевое значение, и возникает противоречие, если можно показать, что на самом деле п является нет нуль.

Во многих доказательствах трансцендентности, доказывающих, что п ≠ 0 очень сложно, и поэтому была проделана большая работа по разработке методов, которые можно использовать для доказательства того, что некоторые выражения не равны нулю. Сама общность проблемы - вот что затрудняет доказательство общих результатов или разработку общих методов ее решения. Число п что возникает, может включать интегралы, пределы, многочлены, Другой функции, и детерминанты из матрицы.

Результаты

В некоторых случаях существуют алгоритмы или другие методы для доказательства того, что данное выражение не равно нулю, или для демонстрации того, что проблема неразрешимый. Например, если Икс₁, ..., Икс_п находятся действительные числа, то есть алгоритм^[2] для определения, есть ли целые числа а₁, ..., а_п такой, что

${displaystyle a_ {1} x_ {1} + cdots + a_ {n} x_ {n} = 0 ,.}$

Если интересующее нас выражение содержит осциллирующую функцию, такую ​​как синус или косинус функция, то было показано, что проблема неразрешима, результат известен как Теорема Ричардсона. В общем, требуются методы, специфичные для изучаемого выражения, чтобы доказать, что оно не может быть нулем.

Смотрите также

• Алгоритм целочисленного отношения

Рекомендации