# Existence Theorem

Pronunciation: /ɪgˈzɪs.təns ˈθɪər.əm/ Explain

An existence theorem is a theorem that proves the existence of an entity or entities without telling how many entities there are or how to find them. One example of an existence theorem is that for all continuous polynomials, if a value of the polynomial is positive for one value of x, and negative for another value of x, then the value of the polynomial must be zero somewhere in between the two values of x.

In figure 1, the points (-2.5, 0.875) and (-1, -4) are plotted. Since f(-2.5) is positive, and f(-1) is negative, then for some value of x, -2.5 < x < -1, f(x) = 0. Notice that this theorem does not tell is for how many values of x that f(x) is zero, nor how to find the value of f(x). Figure 1
1. McAdams, David E.. All Math Words Dictionary, existence theorem. 2nd Classroom edition 20150108-4799968. pg 75. Life is a Story Problem LLC. January 8, 2015. Buy the book
2. Cupillari, Antonella. Nuts and Bolts of Proof: An Introduction to Mathematical Proofs. 3rd edition. pp 58-60. Academic Press. August 15, 2005. Last Accessed 7/9/2018. Buy the book
3. Daniel J. Velleman. How to Prove It: A Structured Approach. 2nd edition. pp 146-153. Cambridge University Press. January 16, 2006. Last Accessed 7/9/2018. Buy the book

McAdams, David E. Existence Theorem. 4/20/2019. All Math Words Encyclopedia. Life is a Story Problem LLC. https://www.allmathwords.org/en/e/existencetheorem.html.

### Revision History

4/20/2019: Updated expressions and equations to match new format. (McAdams, David E.)
12/21/2018: Reviewed and corrected IPA pronunication. (McAdams, David E.)