|San José State University|
& Tornado Alley
There are two parts to this proposition. One part is that there is no rational number such that its square is equal to 2. Second there is a mathematical system in which the square root of 2 makes sense. The second part is fulfilled in geometry. A right triangle with unit sides has a hypotenuse that can be identified as √2.
The positive integers arrive naturally in the human experience. From there the notion of fractions of the form 1/2, 1/3 and so forth arose. It was another step to identify fractions of the 2/3, 3/4, 7/8 and so forth. Still another step led to fractions such as 3/2 and 4/3. Then there was the insight that 6/4 was the same number as 3/2. Thus a rational number is the set of fractions of the form kn/m where k is an integer and n and m are integers with no common divisor. The set is represented by n/m. Addition and multiplication is easily defined for these rational numbers.
Somewhere along the line humans became conscious of zero as being a number. Still further along humans recognized negative integers and hence also negative rational numbers.
Consider the arithmetic of remainders upon division by 7. This is called arithmetic modulo 7. (Usually modulo is abbreviated as mod.) Thus 1, 8, 15, 22 … are all equal modulo 7 became they all have a remainder of 1 upon division by 7. In this system 5+4 equal 2 modulo 7, and 3*5 equal 1 modulo 7.
Arithmetic modulo 7 is a logically consistent system. Note that 4*4=16=2 modulo 7 so 4 is the square of 2 modulo 7. So √2 is not only a rational number modulo 7, it is integral.
Assume that such a rational number exists. Let it be denoted by n/m where n and m have no common divisor. Then
Thus n² is an even number. The integer n must also be an even number because if it were odd, say 2k+1, then its square would be (4k² + 4k +1), which is 2(2k²+2k)+1, an odd number. But if n=2j, then
This would mean that &msup2; and also m are even numbers, contrary to the assumption that n and m have no common divisor. Thus no such n/m can exist.
Richard Dedekind formulated a model for the real numbers that can be represented as partitions of the rational numbers. For a description of that system see Dedekind.
HOME PAGE OF Thayer Watkins