Mathematical proof

Math helps us find truths.

We do not just guess. We use rules to be sure. This is called a proof. A proof shows why a thing is always true. It works for every case. It is not just a guess. Some people think proofs can be beautiful. They might even be elegant.

Long ago, people used math to measure land. This helped them make proofs. We still use these ideas today.

How can we be sure a math rule is always true?

We use a mathematical proof to be sure. A proof is a set of steps. These steps use logic to show a truth. It is not just a good guess. A guess is called a conjecture. A proof must work for every single case. It cannot just work for a few examples.

Ancient Greek thinkers helped start this way of thinking. A man named Euclid changed math forever. He used axioms to build his proofs. Axioms are simple ideas that we know are true. He wrote a famous book called the Elements. People studied his book for a very long time. Other math experts also made big steps. Al-Hashimi worked with numbers to prove new ideas. Al-Karaji used a special way called induction. Induction proves a rule for one number. Then it shows the rule works for the next one. This can prove a rule for all numbers! Some people think great proofs are beautiful. They call these proofs elegant.

How can we be certain a math rule is always true?

We do not rely on guesses or just a few examples. A guess is called a conjecture or a hypothesis. To be sure, mathematicians use a mathematical proof. A proof is a logical argument that shows a statement must be true. It uses rules of reasoning to connect ideas together. It must work for every possible case, not just some. This creates a sense of logical certainty that is very strong.

There are many different ways to build a proof. A direct proof uses definitions and known rules to reach a conclusion. One way is called proof by contradiction. In this method, you pretend a statement is false. Then, you show that this idea leads to an impossible result. This proves the original statement must actually be true. Another way is called proof by induction. You prove one starting case is true. Then, you show that if one case works, the next one must too. This can prove a rule for all numbers in a sequence.

History shows us how these ideas grew over time. The idea of proving things likely began with geometry. Ancient Greek thinkers were the first to develop strict proofs. Thales and Hippocrates of Chios gave some of the earliest known proofs. Later, Euclid revolutionized math around 300 BCE. He created the axiomatic method, which we still use today. He started with axioms, which are simple ideas assumed to be true. His famous book, the Elements, was used by educated people for centuries.

Many different people added to this work through the ages. In the 10th century, the Iraqi mathematician Al-Hashimi worked with numbers. He proved ideas about multiplication and division using numbers as lines. Later, Al-Karaji introduced an inductive proof in the year 1000. He used this to show properties of Pascal's triangle. In more modern times, mathematicians study proof theory. This field looks at how we use symbols to write proofs. Some proofs are so clever that people call them elegant. The mathematician Paul Erdős spoke of a special, imaginary book. This book would hold only the most beautiful proofs ever found.

Proofs are different from how we learn things in science. In science, we often use observations to find what is likely. In math, a proof shows what is absolutely certain. You can see this when you study shapes or numbers. For example, you can prove a square has four sides. You can also prove that certain numbers never end. These proofs use both math symbols and regular language. While language can sometimes be unclear, math logic stays very strict. This helps us build a solid foundation for all math.

A mathematical proof is a deductive argument for a mathematical statement. It shows that specific assumptions logically guarantee a conclusion. This process creates logical certainty, which is different from empirical arguments. Empirical arguments rely on observation to create a reasonable expectation. In contrast, a proof must demonstrate that a statement is true in all possible cases. Showing many examples where a statement holds is not enough. If a proposition is believed to be true but lacks a proof, it is called a conjecture. If it is used as an assumption for more work, it is called a hypothesis.

To build a proof, mathematicians use logic expressed through symbols and natural language. Most mathematical literature uses rigorous informal logic. This means it uses words to guide the reader through the reasoning. Purely formal proofs use only symbolic language without natural language. This specialized study is known as proof theory. A formal proof is a sequence of formulas. Each formula must be a logical consequence of the ones before it. This structure allows the concept of proof to be studied as a mathematical object itself.

There are several distinct methods used to establish mathematical truth. A direct proof establishes a conclusion by combining axioms, definitions, and previously proven theorems. For example, one can prove the sum of two even integers is even by using the definition of even numbers. Another method is proof by contraposition. This method proves the statement "if p, then q" by proving its logically equivalent version: "if not q, then not p." Proof by construction involves building a concrete example to show that something with a specific property exists. For instance, Joseph Liouville proved the existence of transcendental numbers by constructing an explicit example.

Other methods are used to handle complex or infinite scenarios. Proof by contradiction, or reductio ad absurdum, assumes a statement is false to show this leads to an impossible result. A famous use of this is proving the square root of two is irrational. Proof by mathematical induction is a deductive method used for sequences. It requires proving a single "base case" and an "induction rule." The rule must show that if one case is true, the next case is also true. This allows mathematicians to prove properties for infinitely many cases without checking each one individually.

Finally, proof by exhaustion divides a problem into a finite number of cases. Each case must be proven separately to reach the conclusion. The first proof of the four color theorem used this method. It required checking 1,936 different cases. This specific proof was controversial because a computer program checked most of them. The development of mathematical proof is tied to the history of ancient Greece. It likely began with geometry and practical land measurement. Thales and Hippocrates of Chios provided some of the earliest known proofs of geometric theorems.

Euclid revolutionized the field around 300 BCE with the axiomatic method. This method starts with axioms, which are propositions assumed to be self-evidently true. From these axioms, mathematicians prove theorems using deductive logic. Euclid's Elements was a foundational text for centuries. It covered geometry and number theory, including proofs about prime numbers. Later, in the 10th century, the Iraqi mathematician Al-Hashimi worked with numbers as "lines." He used them to prove algebraic propositions about multiplication and division. In the year 1000, Al-Karaji introduced an inductive proof for arithmetic progressions. This helped prove the binomial theorem and properties of Pascal's triangle.

Modern mathematics continues to explore the nature of these logical structures. Proof theory has discovered that almost all axiomatic systems can generate undecidable statements. These are statements that cannot be proved within that specific system. Philosophers also debate whether proofs are analytic or synthetic. The mathematician Paul Erdős famously admired elegant proofs. He spoke of "The Book," a hypothetical collection of the most beautiful proofs. In 2003, a book titled "Proofs from THE BOOK" was published. It contains 32 proofs that editors found particularly pleasing.