Prove that the sum $ \sqrt{1001^2 + 1}+\sqrt{1002^2 + 1} \ + ... + \sqrt{2000^2 + 1}$ is irrational

Question

Prove that the sum $$ \sqrt{1001^2 + 1}+\sqrt{1002^2 + 1} \ + ... + \sqrt{2000^2 + 1}$$ is irrational.

The textbook has the solution too but I'm unable to understand it.

The strategy is divided into two parts:-

• Proving that the sum is not an integer
• Proving that it is a zero of a monic polynomial

First part is simple to understand and prove. $$n^2 +1 < n^2 +2 < n^2 + 2n\left(\frac{1}{n}\right) + \left(\frac{1}{n}\right)^2 = (n+\frac{1}{n})^2\,.$$ So $$S = 1001 +a_1 + 1002 + a_2 + \ ... \ +2000 + a_{1000}\,, $$ and $$0 <a_1 + a_2 + ...+a_{1000} < \frac{1}{1001} (1000) < 1\,.$$

But how is the second part going to help in proving the result?

Answer 1

Since $\sqrt{n^2+1}$ is an algebraic integer for $n=1001,\dots,2000$ and algebraic integers are closed under addition, it follows that $$S=\sqrt{1001^2 + 1}+\sqrt{1002^2 + 1} \ + ... + \sqrt{2000^2 + 1}$$ is algebraic integer too. Now use the fact that any rational algebraic integer IS an integer. This contradicts the fact that $S$ is NOT an integer (as you have already shown). Hence $S$ is not rational.

Answer 2

A root of a monic polynomial with integer coefficients is called an algebraic integer. For example, $\sqrt{n}$ is an algebraic integer, because it is a root of $X^2 - n$. An important result is that the algebraic integers form a ring, i.e. the sum and product of algebraic integers is an algebraic integer. See here for my favourite proof of this fact.