2021-06-15 00:49:18 -07:00
---
id: 5900f4051000cf542c50ff18
2021-11-09 10:15:00 -08:00
title: 'Problema 153: Investigação de números inteiros gaussianos'
2021-06-15 00:49:18 -07:00
challengeType: 5
forumTopicId: 301784
dashedName: problem-153-investigating-gaussian-integers
---
# --description--
2021-11-09 10:15:00 -08:00
Como todos sabemos, a equação $x^2 = -1$ não tem soluções para $x$ real.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Se, no entanto, introduzirmos o número imaginário $i$, esta equação tem duas soluções: $x = i$ e $x = -i$.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Se formos mais longe, a equação ${(x - 3)}^2 = -4$ tem duas soluções complexas: $x = 3 + 2i$ e $x = 3 - 2i$, que são chamados de complexos conjugados um do outro.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Os números na forma $a + bi$ são chamados de números complexos.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Em geral, $a + bi$ e $a - bi$ são os conjugados complexos um do outro. Um número inteiro gaussiano é um número complexo $a + bi$, tal que $a$ e $b$ são números inteiros.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Os números inteiros regulares também são números inteiros gaussianos (com $b = 0$).
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Para distingui-los de números inteiros gaussianos com $b ≠ 0$ chamamos esses inteiros de "inteiros racionais".
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Um número inteiro gaussiano é chamado de divisor de um número inteiro racional $n$ se o resultado também for um número inteiro gaussiano.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Se, por exemplo, dividirmos 5 por $1 + 2i$, podemos simplificar da seguinte maneira:
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Multiplicar o numerador e o denominador pelo conjugado complexo de $1 + 2i$, ou seja, $1 - 2i$.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
O resultado é:
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
$$\frac{5}{1 + 2i} = \frac{5}{1 + 2i} \frac{1 - 2i}{1 - 2i} = \frac{5(1 - 2i)}{1 - {(2i)}^2} = \frac{5(1 - 2i)}{1 - (-4)} = \frac{5(1 - 2i)}{5} = 1 - 2i$$
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Assim sendo, $1 + 2i$ é um divisor de 5.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Observe que $1 + i$ não é um divisor de 5, pois:
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
$$\frac{5}{1 + i} = \frac{5}{2} - \frac{5}{2}i$$
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
Observe também que se o número inteiro gaussiano ($a + bi$) for um divisor de um número inteiro racional $n$, então seu conjugado complexo ($a - bi$) também será um divisor de $n$. De fato, 5 tem seis divisores, sendo que a parte real é positiva: {1, 1 + 2i, 1 - 2i, 2 + i, 2 - i, 5}.
2021-06-15 00:49:18 -07:00
2021-11-09 10:15:00 -08:00
A seguir, vemos uma tabela de todos os divisores para os primeiros cinco números inteiros racionais positivos:
| n | Números inteiros gaussianos divisores com parte real positiva | Soma s(n) destes divisores |
| - | ------------------------------------------------------------- | -------------------------- |
| 1 | 1 | 1 |
| 2 | 1, 1 + i, 1 - i, 2 | 5 |
| 3 | 1, 3 | 4 |
| 4 | 1, 1 + i, 1 - i, 2, 2 + 2i, 2 - 2i, 4 | 13 |
| 5 | 1, 1 + 2i, 1 - 2i, 2 + i, 2 - i, 5 | 12 |
Para divisores com partes reais positivas, então, temos: $\displaystyle\sum_{n=1}^5 s(n) = 35$.
Para $1 ≤ n ≤ {10}^5$, $\displaystyle\sum_{n = 1}^{{10}^5} s(n) = 17924657155$.
Qual é $\displaystyle\sum_{n=1}^{{10}^8} s(n)$?
2021-06-15 00:49:18 -07:00
# --hints--
2021-11-09 10:15:00 -08:00
`sumGaussianIntegers()` deve retornar `17971254122360636` .
2021-06-15 00:49:18 -07:00
```js
2021-11-09 10:15:00 -08:00
assert.strictEqual(sumGaussianIntegers(), 17971254122360636);
2021-06-15 00:49:18 -07:00
```
# --seed--
## --seed-contents--
```js
2021-11-09 10:15:00 -08:00
function sumGaussianIntegers() {
2021-06-15 00:49:18 -07:00
return true;
}
2021-11-09 10:15:00 -08:00
sumGaussianIntegers();
2021-06-15 00:49:18 -07:00
```
# --solutions--
```js
// solution required
```