Constant problem

---

title: "Constant problem" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["analytic-number-theory", "undecidable-problems"] description: "Problem of deciding whether an expression equals zero" topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Constant_problem" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Problem of deciding whether an expression equals zero ::

In mathematics, the constant problem is the problem of deciding whether a given expression is equal to zero.

The problem

This problem is also referred to as the identity problem or the method of zero estimates. It has no formal statement as such but refers to a general problem prevalent in transcendental number theory. Often proofs in transcendence theory are proofs by contradiction. Specifically, they use some auxiliary function to create an integer n ≥ 0, which is shown to satisfy n

In many transcendence proofs, proving that n ≠ 0 is very difficult, and hence a lot of work has been done to develop methods that can be used to prove the non-vanishing of certain expressions. The sheer generality of the problem is what makes it difficult to prove general results or come up with general methods for attacking it. The number n that arises may involve integrals, limits, polynomials, other functions, and determinants of matrices.

Results

In certain cases, algorithms or other methods exist for proving that a given expression is non-zero, or of showing that the problem is undecidable. For example, if x1, ..., x**n are real numbers, then there is an algorithm for deciding whether there are integers a1, ..., a**n such that

: a_1 x_1 + \cdots + a_n x_n = 0,.

If the expression we are interested in contains an oscillating function, such as the sine or cosine function, then it has been shown that the problem is undecidable, a result known as Richardson's theorem. In general, methods specific to the expression being studied are required to prove that it cannot be zero.

References

References

1. Richardson, Daniel. (1968). "Some Unsolvable Problems Involving Elementary Functions of a Real Variable". [[Journal of Symbolic Logic]].
2. Bailey, David H.. (January 1988). "Numerical Results on the Transcendence of Constants Involving π, e, and Euler's Constant". [[Mathematics of Computation]].

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::