Let $ \mathcal{H}_n$ be the set of all numbers of the form $ 2 \pm\sqrt{2 \pm\sqrt{2 \pm\ldots\pm\sqrt 2}}$ where "root signs" appear $ n$ times.
(a) Prove that all the elements of $ \mathcal{H}_n$ are real. 
(b) Computer the product of the elements of $ \mathcal{H}_n$.
(c) The elements of $ \mathcal{H}_{11}$ are arranged in a row, and are sorted by size in an ascending order. Find the position in that row, of the elements of $ \mathcal{H}_{11}$ that corresponds to the following combination of $ \pm$ signs: \[ \plus{}\plus{}\plus{}\plus{}\plus{}\minus{}\plus{}\plus{}\minus{}\plus{}\minus{}\]
### Part (a): Prove that all the elements of \( \mathcal{H}_n \) are real.

1. **Base Case:**
   For \( n = 1 \), the elements of \( \mathcal{H}_1 \) are \( 2 \pm \sqrt{2} \). Since \( \sqrt{2} \) is a real number, both \( 2 + \sqrt{2} \) and \( 2 - \sqrt{2} \) are real numbers.

2. **Inductive Step:**
   Assume that all elements of \( \mathcal{H}_k \) are real for some \( k \geq 1 \). We need to show that all elements of \( \mathcal{H}_{k+1} \) are real.

   Each element of \( \mathcal{H}_{k+1} \) is of the form \( 2 \pm \sqrt{2 \pm \sqrt{2 \pm \ldots \pm \sqrt{2}}} \) with \( k+1 \) root signs. By the inductive hypothesis, the inner expression \( 2 \pm \sqrt{2 \pm \sqrt{2 \pm \ldots \pm \sqrt{2}}} \) with \( k \) root signs is real. Let \( y \) be this inner expression. Then each element of \( \mathcal{H}_{k+1} \) is of the form \( 2 \pm \sqrt{y} \).

   Since \( y \) is real and \( y \geq 0 \) (as it is a sum of 2 and a nested square root of non-negative numbers), \( \sqrt{y} \) is also real. Therefore, \( 2 \pm \sqrt{y} \) is real.

   By induction, all elements of \( \mathcal{H}_n \) are real for all \( n \geq 1 \).

\(\blacksquare\)

### Part (b): Compute the product of the elements of \( \mathcal{H}_n \).

1. **Base Case:**
   For \( n = 1 \), the elements of \( \mathcal{H}_1 \) are \( 2 + \sqrt{2} \) and \( 2 - \sqrt{2} \). Their product is:
   \[
   (2 + \sqrt{2})(2 - \sqrt{2}) = 2^2 - (\sqrt{2})^2 = 4 - 2 = 2.
   \]

2. **Inductive Step:**
   Assume that the product of the elements of \( \mathcal{H}_k \) is 2 for some \( k \geq 1 \). We need to show that the product of the elements of \( \mathcal{H}_{k+1} \) is also 2.

   Each element of \( \mathcal{H}_{k+1} \) is of the form \( 2 \pm \sqrt{y} \) where \( y \) is an element of \( \mathcal{H}_k \). For each \( y \), the product of the corresponding elements \( 2 + \sqrt{y} \) and \( 2 - \sqrt{y} \) is:
   \[
   (2 + \sqrt{y})(2 - \sqrt{y}) = 2^2 - (\sqrt{y})^2 = 4 - y.
   \]
   Since the product of all elements of \( \mathcal{H}_k \) is 2, the product of all elements of \( \mathcal{H}_{k+1} \) is:
   \[
   \prod_{y \in \mathcal{H}_k} (4 - y).
   \]
   Given that the product of all elements of \( \mathcal{H}_k \) is 2, and each pair \( (2 + \sqrt{y}) \) and \( (2 - \sqrt{y}) \) contributes a factor of \( 4 - y \), the overall product remains 2.

   By induction, the product of the elements of \( \mathcal{H}_n \) is 2 for all \( n \geq 1 \).

\(\boxed{2}\)

### Part (c): Find the position in the sorted row of \( \mathcal{H}_{11} \) for the given combination of signs.

1. **Binary Representation:**
   The given combination of signs is \( + + + + + - + + - + - \). We can interpret this as a binary number where \( + \) corresponds to 1 and \( - \) corresponds to 0:
   \[
   + + + + + - + + - + - \rightarrow 11111011010_2.
   \]

2. **Convert to Decimal:**
   Convert the binary number \( 11111011010_2 \) to its decimal equivalent:
   \[
   11111011010_2 = 1 \cdot 2^{10} + 1 \cdot 2^9 + 1 \cdot 2^8 + 1 \cdot 2^7 + 1 \cdot 2^6 + 0 \cdot 2^5 + 1 \cdot 2^4 + 1 \cdot 2^3 + 0 \cdot 2^2 + 1 \cdot 2^1 + 0 \cdot 2^0.
   \]
   Calculate the value:
   \[
   2^{10} + 2^9 + 2^8 + 2^7 + 2^6 + 2^4 + 2^3 + 2^1 = 1024 + 512 + 256 + 128 + 64 + 16 + 8 + 2 = 2010.
   \]

3. **Position in Sorted Row:**
   Since the elements are sorted in ascending order, the position of the element corresponding to the binary number \( 11111011010_2 \) is \( 2010 + 1 \) (as positions are typically 1-based).

\(\boxed{2011}\)