In mathematics, the irrational numbers are all the real numbers that are not rational numbers; that is, irrational numbers are those that cannot be expressed as the ratio of two integers. Geometrically, when the ratio of lengths of two line segments is an irrational number, the line segments are also described as being incommensurable, meaning that they share no "measure" in common; that is, there is no length ("the measure"), no matter how short, that could be used to express the lengths of both of the two given segments as integer multiples of itself. Among irrational numbers are the ratio π of a circle's circumference to its diameter, Euler's number e, the golden ratio φ, and the square root of two. In fact, all square roots of natural numbers, other than of perfect squares, are irrational. Like any real number, an irrational number can be expressed in positional notation; however, it does not terminate or end with a repeating sequence. For example, the decimal representation of π starts with 3.14159, but no finite number of digits can represent π exactly, nor does it repeat. Conversely, a decimal expansion that terminates or repeats must be a rational number. These are provable properties of rational numbers and positional number systems and are not used as definitions in mathematics. Irrational numbers can also be expressed as non-terminating continued fractions (which in some cases are periodic), and in many other ways. As a consequence of Cantor's proof that the real numbers are uncountable and the rationals countable, it follows that almost all real numbers are irrational.
History
Ancient Greece The first proof of the existence of irrational numbers is attributed to a Pythagorean (possibly Hippasus of Metapontum), who probably discovered them while identifying sides of the pentagram. The Pythagorean method would have claimed that there must be some sufficiently small, indivisible unit that could fit evenly into one of these lengths as well as the other. Hippasus in the 5th century BC, however, was able to deduce that there was no common unit of measure, and that the assertion of such an existence was a contradiction. He did this by demonstrating that if the hypotenuse of an isosceles right triangle was indeed commensurable with a leg, then one of those lengths measured in that unit of measure must be both odd and even, which is impossible. His reasoning is as follows:
… excerpt ends here. Continue reading the full article.




