Mathematical proof

A mathematical proof is a way to show that a mathematical statement is true. It uses axioms, which are basic ideas we accept as true, and logic to build a step-by-step explanation. A proof shows that something in math is true in all cases, not just some.

Proofs can be written with math symbols and words. This makes them clear and exact. Most math books mix formal logic with everyday language when explaining proofs. Some proofs use only symbols, while others use more everyday words.

Studying proofs helps us understand math better. It shows why some math ideas are connected. A statement that might be true but hasn’t been proven yet 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 explanation that shows why a statement is true. It uses logic and facts we already know to prove that something is correct. Over time, people have had different ideas about how detailed a proof should be.

Mathematicians study proofs using special languages and rules. They also think about whether proofs tell us something new or just organize what we already know in new ways. Some proofs are very smart and clean, and 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. In this method, 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.

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 very important in mathematics. In the 1960s, with the rise of computers, mathematicians found new ways to study numbers and shapes. They used experiments, in a field called experimental mathematics. These mathematicians hoped their discoveries would later fit into the traditional proof-based style of mathematics. One example is fractal geometry. It 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. 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 math proof, people sometimes write "Q.E.D." These letters stand for words in a special language called Latin, meaning "that which was to be shown." Another way to show the end of a proof is by using a special symbol, like a square (□) or a rectangle (∎). These symbols help show that the proof is done.