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
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								```