This page is under construction. You can help us by adding examples of what you think should be on this page.
This page was the subject of a [wiki collaboration party].
A real number is one whose square is positive.
(https://docs.google.com/spreadsheets/d/1t6AckNp5MJ115DJ6Wo7kifqVGUkvzx6NEpSu_Fk1nQE/edit#gid=133220531) at #mathematics, on 20 September 02.30am UTC.
The above equation is a very common question that has misled many people over years. It even got a lengthy Wikipedia page. Is it true? They are two different numbers, no?
Surprisingly, it is true! You might have known this popular problem and hence memorized the answer. But do you know why this is true? More surprisingly, we can make this equation false! If we work on something other than the real numbers, that is. The above equation hinges on a very important property of the real numbers.
Let . Show that there exists an integer such that and an integer such that .
Suppose that are two real numbers satisfying . Show that there exist such that and
, being a number represented in decimal form, has the value . This is a consequence of any number that is represented in decimal: if the number is where is an integer and the value of any such number is by definition. So we'd like to compute the value of .
A geometric sequence is a sequence of real numbers that satisfies the property for some real number and all positive integers . It can be shown by simple induction that if forms a geometric sequence, there exist real numbers and such that for all positive integers . (Here we take .) A geometric series (or geometric progression) is a series whose elements form a geometric sequence, i.e. a series in the form . Observe that is a geometric sequence with .
To compute the value of this series, we can take a look at its partial sums . This form is called a finite geometric series. Being the sum of a finite number of real numbers, we can apply the commutative and associative properties of addition and the distributive property of multiplication over addition, to manipulate the sum as such:
By definition, the value of the series is simply the limit of its partial sums. Thus we'd like to compute , or
It's an easy exercise to show that if is a sequence of real numbers that converges to a limit and is a constant, then and . Since and are constants, applying these properties gives:
Our problem has been reduced to determining .
For the purpose of proving , it suffices to restrict our attention to . It is simple induction again to show that for all positive integers . From the fact that , we know that the sequence is monotonically decreasing, and thus converges to a limit by monotone convergence theorem. From the fact that , cannot be less than ; if , then simply take , and now there is no element of that lies in (because ). Hence there can be no where for all (the condition necessary for a convergent sequence to converge to the limit).
todo: show that is impossible
Thus we have shown that and lead to a contradiction. The Archimedean property tells us that cannot be infinitesimal either, since there is no non-zero infinitesimal in the real numbers. The remaining option is thus .
Hence, , or ; the geometric series, for , gives the value .
But is a geometric series, with . Since , we can apply the result we obtained above to get . This proves that .
Density of Q in R