Mathematical proof

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. Proofs use basic assumptions called axioms and rules of inference to build a clear, step-by-step explanation of why something in math is true. Unlike guessing or testing many examples, a proof shows that a statement is true in all possible cases, leaving no doubt.

Proofs can be written using math symbols and words, making them both exact and easy to follow. Most math books use a mix of formal logic and everyday language to explain proofs. Some proofs are completely formal, written only in symbols, while others are more relaxed and use natural language.

The study of proofs helps us understand how math works and why certain ideas are connected. It also leads to deeper questions about how we use language and logic in mathematics. A statement that hasn’t been proven yet but is believed to be true is called a conjecture.

History and etymology

The word "proof" comes from the Latin word probare, meaning "to test." It is related to words like "probe" and "probability." Ancient Greek mathematicians were some of the first to develop strict mathematical proofs.

Euclid, who lived around 300 BCE, changed how proofs were done by starting with basic ideas called axioms and building up from there. His famous work, Euclid's Elements, taught many important math ideas for centuries. Later, mathematicians in Islamic countries also made big advances in how we prove mathematical facts.

Nature and purpose

A proof in mathematics is a clear and careful explanation that shows why a statement is true. It uses logic and facts we already know to convince us that something is correct. Over time, people have had different ideas about how detailed a proof should be.

Mathematicians also study proofs in a more exact way using special languages and rules. They even wonder if proofs tell us something new or just arrange what we already know in new ways. Some proofs are so smart and clean that mathematicians call them beautiful. One famous book, Proofs from THE BOOK, shares some of these special proofs.

Methods of proof

Mathematical proofs are ways to show that something in math is true. They use rules and facts we already know to make new discoveries.

One common method is direct proof, where we combine known facts step by step to reach our conclusion. For example, we can prove that adding two even numbers always gives another even number by using the definition of even numbers and basic math rules.

Another method is proof by mathematical induction. This is useful when we want to prove something is true for all whole numbers. We first show it is true for the first number, and then we show that if it is true for one number, it must also be true for the next. This step-by-step approach helps us prove things for infinitely many cases without checking each one individually.

Main article: Direct proof Main article: Mathematical induction Main article: Contraposition Main article: Proof by contradiction Main article: Proof by construction Main article: Proof by exhaustion Main article: Closed chain inference Main article: Probabilistic method Main article: Combinatorial proof Main article: Nonconstructive proof Main article: Statistical proof Main article: Computer-assisted proof

Undecidable statements

Some statements in math can't be proven true or false using certain basic rules called axioms. For example, the parallel postulate can't be proven or disproven using the other rules of Euclidean geometry.

Mathematicians have found many such statements in a common system called ZFC. Gödel's incompleteness theorem tells us that many important math systems will always have undecidable statements.

Main article: Gödel's (first) incompleteness theorem

Heuristic mathematics and experimental mathematics

Main article: Experimental mathematics

Early mathematicians like Eudoxus of Cnidus did not always use formal proofs, but from the time of Euclid onward, proofs became a key part of mathematics. In the 1960s, with the rise of computers, mathematicians began exploring new ways to study numbers and shapes through experiments, a field called experimental mathematics. These early explorers hoped that their discoveries would later fit into the traditional proof-based style of mathematics. One example is fractal geometry, which started with experiments but later became part of the standard proof-based approach.

Related concepts

A two-column proof is a way to organize a math proof in two columns. On the left side, you write statements, and on the right side, you explain why each statement is true, like using a rule or a fact you already know. This method is often used in geometry classes.

There are also special types of proofs, like statistical proofs that use data, and proofs that think about how we understand ideas in our minds.

Ending a proof

Main article: Q.E.D.

At the end of a mathematical proof, people sometimes write "Q.E.D." This short phrase stands for "quod erat demonstrandum," Latin words meaning "that which was to be demonstrated." Another common way to show the end of a proof is by using a special symbol, like a square (□) or a rectangle (∎), often called a "tombstone." These symbols help show that the proof is finished.