Square root of 2
The square root of 2 (approximately 1.4142) is a positive real number that, when multiplied by itself or squared, equals the number 2. It may be written in mathematics as or . It is an algebraic number, and therefore not a transcendental number. Technically, it should be called the principal square root of 2, to distinguish it from the negative number with the same property.
"Pythagoras's constant" redirects here. Not to be confused with Pythagoras number.Representations
1.4142135623730950488...
Geometrically, the square root of 2 is the length of a diagonal across a square with sides of one unit of length; this follows from the Pythagorean theorem. It was probably the first number known to be irrational.[1] The fraction 99/70 (≈ 1.4142857) is sometimes used as a good rational approximation with a reasonably small denominator.
Sequence A002193 in the On-Line Encyclopedia of Integer Sequences consists of the digits in the decimal expansion of the square root of 2, here truncated to 65 decimal places:[2]
Proofs of irrationality[edit]
Proof by infinite descent[edit]
One proof of the number's irrationality is the following proof by infinite descent. It is also a proof of a negation by refutation: it proves the statement " is not rational" by assuming that it is rational and then deriving a falsehood.
Representations[edit]
Series and product[edit]
The identity cos π/4 = sin π/4 = 1/√2, along with the infinite product representations for the sine and cosine, leads to products such as