# Sum of 2 normal numbers still normal?

by Liji.h
Tags: normal, numbers
 P: 8 Recently when I talked to a professor specialized in number theory, I learned about normal numbers. So the other day I asked myself, is the sum of two normal numbers still normal? I quickly realized if you take $$\sqrt{2}$$ and $$-\sqrt{2}$$ you get 0 so the answer is obviously no. But then I started to wonder, what if we know the sum is an irrational number? is it then normal? I am intuitively guessing that the answer is yes... Thanks in advance for any input!
 P: 986 This seems like a hard problem. But you can construct a strong hint that that it's false for numbers normal in any particular base (say, base 10). First of all, if x is normal, then so is $\lceil x \rceil - x$, where $\lceil x \rceil$ is the first integer larger than x. (It's decimal representaton consists entirely of 9's.) But their sum is clearly not normal. Now, all you have to do to disprove it, is to replace enough digits in $\lceil x \rceil$ to make it irrational, without making either of the two summands non-normal. It should be achievable, for example, by replacing the '9' at 10^n'th position with a '8' iff the colocated digit in x is <=8.
 Sci Advisor P: 1,670 Pick a normal number x. For each interval $$[2^k,2^{k+1})$$, reduce one of the non-zero digits between the $$2^k$$ (included) and $$2^{k+1}$$'th (not included) digit by 1. If all digits in this interval is 0 do nothing. Since it is normal you can do this infinitely many times. Let the resulting number be y. It shouldn't be too hard to prove that y is also normal, since we change x so "rarely" along its expansion ("exponentially"). However, x-y is obviously irrational, but certainly not normal (it only contains 1's and 0's).
HW Helper
P: 3,680

## Sum of 2 normal numbers still normal?

 Quote by Liji.h But then I started to wonder, what if we know the sum is an irrational number? is it then normal?
Suppose x is a transcendental (I assume this is what you meant when you wrote "irrational") normal number. Then y_b is normal, where y_b is x with its base-b digits d replaced by b - d (or 0, if d = 0). But if b > 2, x + y_b is clearly not normal since all of its base-b digits are 0 or 1. It remains to be proven that the sum is transcendental, but this seems clear (even if difficult). At the least it should be provable by density that such sums exist.
 P: 8 thanks for the replies. i noticed that all the counter-examples are irrationals that are constructed in a particular way. now let me make the question more specific. What if the numbers that we are adding up are the integer multiples of square roots of two non-perfect-square integers? for the sake of this question, we shall assume that the root of a non-perfect-square integer is a normal number. the reason i find this question fascinating is because, the non-constructed normal numbers that we see everyday, like $$\sqrt{2}$$, e and $$\pi$$ look very "random", so to me, they are normal in every way possible. however, if you construct a normal number, it may not be normal in another base, also constructed normal numbers have absolutely no "relationship" to an integer, where as, ($$\sqrt{2}$$)^2=2, Lim (1+1/n)^n=e, $$\pi$$/2=$$\frac{22446688...}{13355779}$$ etc.
 Sci Advisor HW Helper P: 3,680 I'm sure this is too hard to solve in general, since deciding if $$\sqrt2+\sqrt2$$ is normal would presumably determine whether $$\sqrt2$$ was normal.
P: 986
 Quote by Jarle Pick a normal number x. For each interval $$[2^k,2^{k+1})$$, reduce one of the non-zero digits between the $$2^k$$ (included) and $$2^{k+1}$$'th (not included) digit by 1. If all digits in this interval is 0 do nothing. Since it is normal you can do this infinitely many times. Let the resulting number be y. It shouldn't be too hard to prove that y is also normal, since we change x so "rarely" along its expansion ("exponentially"). However, x-y is obviously irrational, but certainly not normal (it only contains 1's and 0's).
Are you sure that you can prove that y is still normal in all bases (as opposed to the one base where you did the reducing)?