Occurrence in geometry
Irrational numbers first entered the thinking of ancient Greek mathematicians because they arise in geometry. One of the simplest examples is the ratio of the length of the diagonal of a square to the length of the side of the square. By the Pythagorean theorem, that length of the diagonal is times the length of the side. It is possible to demonstrate that is an irrational number.
Proofs that √2 is irrational
Because of the negative nature of the definition of the concept of irrational number (an irrational number is a number that does not have a particular property), any proof that is an irrational number must be by reductio ad absurdum: assume it is rational and deduce contradictory conclusions.
it follows that
Since 2n2 is an even number, m2 is an even number. If m were odd, then m2 would be odd, so m must be even. Consequently m2 must be a multiple of 4. Therefore 2n2 must be a multiple of 4, and so n2 must be even. Then the same reasoning that told us m must be even now tells us that n must be even. But this contradicts our earlier conclusion that m and n are not both even.
If is rational, it can be expressed as a fraction m / n in lowest terms. The numerator and denominator may be taken to be positive, since we can make them so if necessary by multiplying both by −1. A bit of algebra shows that if m and n are positive numbers and
and 2n − m and m − n are smaller positive numbers than m and n respectively. This contradicts the earlier conclusion that the fraction m / n is in lowest terms.
A frequently cited example of an irrational number occurring in geometry is π = 3.14159..., the ratio of a circle's circumference to its diameter, or of the circle's area to the area of the square on its radius. This number is frequently approximated by 22/7 = 3.142857142957... But 22/7 is a rational number, so this cannot be exact.
Although the ancient Greeks worked with the number π, and in particular Archimedes showed that
no one at that time knew whether π is rational or irrational. That is a considerably more difficult problem than showing that √2 is irrational. It was not done until the 18th century. In the 20th century, a proof that π is irrational that requires no knowledge beyond integral calculus was discovered.
The numbers most easily proved to be irrational are certain logarithms. Suppose log2 3 is rational. That implies that it can be expressed as a fraction m / n, where m and n are integers. Since log2 3 > 0, we may take m and n to be positive, again if necessary by multiplying both the numerator and the denominator by −1. If
but that is impossible because 2m is even and 3n is odd.