A theorem is a proven idea in mathematics. Theorems are proved using logic and other theorems that have already been proved. A theorem that someone must prove so that he/she can prove another theorem is called a lemma. Theorems are made of two parts, there are hypotheses and conclusions.
Some theorems are trivial, they directly follow from the propositions. Other theorems are called "deep", their proof is long and difficult. Sometimes, such proofs involve other areas of mathematics or show connections between different areas. A theorem might be simple to state and yet be deep. An excellent example is Fermat's Last Theorem, and there are many other examples of simple yet deep theorems in number theory and combinatorics, among other areas.
There are other theorems for which a proof is known, but it cannot easily be written down. Among the best examples are the four color theorem and the Kepler conjecture. Both of these theorems are only known to be true by reducing them to a computational search which is then verified by a computer program. At first, many mathematicians did not accept this form of proof, but it has become more widely accepted in recent years. The mathematician Doron Zeilberger has even gone so far as to claim that these are possibly the only nontrivial results that mathematicians have ever proved. Many mathematical theorems can be reduced to more straightforward computation, including polynomial identities, trigonometric identities and hypergeometric identities.
- For full text of 2nd edition of 1940, see Elisha Scott Loomis. "The Pythagorean proposition: its demonstrations analyzed and classified, and bibliography of sources for data of the four kinds of proofs" (PDF). Education Resources Information Center. Institute of Education Sciences (IES) of the U.S. Department of Education. Retrieved 2010-05-04. Originally published in 1940 and reprinted in 1968 by National Council of Teachers of Mathematics.
- However, both theorems and theories are investigations. See Heath 1897 Introduction, The terminology of Archimedes, p. clxxxii:"theorem (θεὼρνμα) from θεωρεἳν to investigate"
- See Deep Theorem, cited below.
- Opinion 51
- Petkovsek et al. 1996.
- Heath, Sir Thomas Little (1897), The works of Archimedes, Dover, retrieved 2009-11-15
- Hoffman, P. (1998). The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. Hyperion, New York.
- Petkovsek, Marko; Wilf, Herbert; Zeilberger, Doron (1996). "A = B". A.K. Peters, Wellesley, Massachusetts. External link in
|title=(help)CS1 maint: multiple names: authors list (link)