Teorema Chinês dos Restos
{ x ≡ 5 1 x ≡ 7 3 x ≡ 9 5 \left\{ \begin{aligned}
x \equiv_5 \quad 1\\
x \equiv_7 \quad 3\\
x \equiv_9 \quad 5
\end{aligned} \right. ⎩ ⎨ ⎧ x ≡ 5 1 x ≡ 7 3 x ≡ 9 5
Inverso
a ~ ∈ Z ã \in \Z a ~ ∈ Z é o inverso de a ∈ Z a \in \Z a ∈ Z , para o módulo n ∈ N 1 n \in \N_1 n ∈ N 1 , se
a ~ × a = a × a ~ ≡ n 1 ã\times a = a\times ã \equiv_n 1 a ~ × a = a × a ~ ≡ n 1
NOTA
Só há inverso se a ⌢ n = 1 a \frown n = 1 a ⌢ n = 1 (a a a primo com n n n )
1 1 1 e − 1 -1 − 1 são os seus próprios inversos, para qualquer módulo.
Não existe apenas só um inverso, mas vários. A expressão que dá todos os inversos a ~ ã a ~ de um número a a a módulo n n n , é dada por:
a ~ = a ~ 0 + n t , t ∈ Z a ~ 0 → um inverso de a m o ˊ dulo n qualquer ã = ã_0 + nt, t \in \Z\\
ã_0 \rightarrow \text{um inverso de }a \text{ módulo } n\text{ qualquer} a ~ = a ~ 0 + n t , t ∈ Z a ~ 0 → um inverso de a m o ˊ dulo n qualquer
Como Calcular o Inverso
Queremos saber ( a × a ~ ) ≡ n 1 (a\times ã) \equiv_n 1 ( a × a ~ ) ≡ n 1 , e sabe-se a a a e n n n .
Verificar se dá para fazer mentalmente
Para fazer mentalmente, tenta-se encontrar k 0 k_0 k 0 e k 1 k_1 k 1 , tal que
( a × k 0 ) − ( n × k 1 ) = 1 ou ( − 1 ) (a\times k_0) - (n \times k_1) = 1 \text{ ou } (-1) ( a × k 0 ) − ( n × k 1 ) = 1 ou ( − 1 )
No primeiro caso, ( = 1 ) (=1) ( = 1 ) , k 0 = a ~ k_0=ã k 0 = a ~ , k 0 k_0 k 0 é um inverso.
No segundo caso, a ~ = k 0 ( − 1 ) = − k 0 ã= k_0 (-1)=-k_0 a ~ = k 0 ( − 1 ) = − k 0
Se quisermos uma solução positiva, podemos recorrer à Solução Geral .
Não dá para fazer mentalmente
Resolve-se a equação diofantina
( a × k 0 ) + ( n × k 1 ) = 1 (a\times k_0) + (n \times k_1) = 1 ( a × k 0 ) + ( n × k 1 ) = 1
E k 0 k_0 k 0 será o inverso
Exemplo Calcular 22 k 0 ≡ 25 1 22k_0 \equiv_{25} 1 22 k 0 ≡ 25 1 , inverso de 22 22 22 módulo 25 25 25 .
Usando o método manual,
( 7 × k 0 ) + ( 8 × k 1 ) = 1 , k 0 ? (7\times k_0) + (8 \times k_1) = 1,\quad k_0? ( 7 × k 0 ) + ( 8 × k 1 ) = 1 , k 0 ? Pelo Algoritmo de Euclides (estendido)
i a i q i d i m i 0 25 1 0 1 22 1 0 1 2 3 7 1 − 1 3 1 − 7 8 4 0 25 ( − 7 ) + 22 ( 8 ) = 1 \begin{array}{c|c|c|c|}
i & a_i & q_i & d_i & m_i\\
\hline
0 & 25 & & 1 & 0\\
1 & 22 & 1 & 0 & 1\\
2 & 3 & 7 & 1 & -1\\
3 & 1 & & -7 & 8\\
4 & 0 & & &
\end{array}\\
25(-7) + 22(8) = 1\\ i 0 1 2 3 4 a i 25 22 3 1 0 q i 1 7 d i 1 0 1 − 7 m i 0 1 − 1 8 25 ( − 7 ) + 22 ( 8 ) = 1 Ou seja,
k 0 = 8 ✓ k_0 = 8 \quad \checkmark k 0 = 8 ✓ A solução geral é dada por:
λ = 8 + 25 t , t ∈ Z \lambda = 8 + 25t, \quad t \in \Z λ = 8 + 25 t , t ∈ Z
Teoremas
Teorema 1
a 1 , … , a k ∈ Z a_1, \dots, a_k \in \Z a 1 , … , a k ∈ Z e m 1 , … , m k ∈ N 1 m_1,\dots,m_k \in \N_1 m 1 , … , m k ∈ N 1 , com estes últimos primos entre si 2 a 2.
O problema:
{ x ≡ m 1 a 1 x ≡ m 2 a 2 ⋮ x ≡ m k a k \left\{ \begin{aligned}
x & \equiv_{m_1} \quad a_1\\
x & \equiv_{m_2} \quad a_2\\
& \vdots\\
x & \equiv_{m_k} \quad a_k
\end{aligned} \right. ⎩ ⎨ ⎧ x x x ≡ m 1 a 1 ≡ m 2 a 2 ⋮ ≡ m k a k
Tem solução única Módulo M M M
M = ∏ i = 1 k m i M = \prod_{i=1}^k m_i M = i = 1 ∏ k m i
Teorema 2
a 1 , … , a k ∈ Z a_1, \dots, a_k \in \Z a 1 , … , a k ∈ Z e m 1 , … , m k ∈ N 1 m_1,\dots,m_k \in \N_1 m 1 , … , m k ∈ N 1 , com estes últimos não necessariamente primos entre si.
O problema,
{ x ≡ m 1 a 1 x ≡ m 2 a 2 ⋮ x ≡ m k a k \left\{ \begin{aligned}
x & \equiv_{m_1} \quad a_1\\
x & \equiv_{m_2} \quad a_2\\
& \vdots\\
x & \equiv_{m_k} \quad a_k
\end{aligned} \right. ⎩ ⎨ ⎧ x x x ≡ m 1 a 1 ≡ m 2 a 2 ⋮ ≡ m k a k
Tem solução única módulo M M M
M = m 1 ⌣ m 2 ⌣ ⋯ ⌣ m K a ⌣ b = m m c ( a , b ) M = m_1 \smile m_2 \smile \dots \smile m_K\\
a \smile b = mmc(a,b) M = m 1 ⌣ m 2 ⌣ ⋯ ⌣ m K a ⌣ b = mm c ( a , b )
SE E SÓ SE , ∀ i , j = 1 , … , k \forall i,j = 1,\dots, k ∀ i , j = 1 , … , k , tais que 1 ≤ i < j ≤ k 1 \leq i < j \leq k 1 ≤ i < j ≤ k ,
( m i ⌢ m j ) ∣ ( a i − a j ) (m_i \frown m_j)|(a_i-a_j) ( m i ⌢ m j ) ∣ ( a i − a j )
Teorema Chinês dos Restos
Módulos primos
{ x ≡ m 1 a 1 ⋮ x ≡ m k a k \left\{ \begin{aligned}
x & \equiv_{m_1} \quad a_1\\
& \vdots\\
x & \equiv_{m_k} \quad a_k
\end{aligned} \right. ⎩ ⎨ ⎧ x x ≡ m 1 a 1 ⋮ ≡ m k a k
m 1 , … , m k m_1,\dots,m_k m 1 , … , m k , primos entre si 2 a 2
Pelo Teorema 1 , há sempre solução
A Solução Geral é dada por
x = x 0 + M t , t ∈ Z x 0 = a 1 n 1 n ~ 1 + ⋯ + a k n k n ~ k x = x_0 + Mt, \quad t \in \Z\\
x_0 = a_1n_1ñ_1 + \dots + a_kn_kñ_k x = x 0 + Mt , t ∈ Z x 0 = a 1 n 1 n ~ 1 + ⋯ + a k n k n ~ k
Onde,
M = ∏ i = 1 k m i M = \prod_{i=1}^k m_i M = ∏ i = 1 k m i
n i = m 1 × ⋯ × m i − 1 × m i + 1 × ⋯ × m k = M m i n_i = m_1\times\dots\times m_{i-1} \times m_{i+1}\times \dots \times m_k = \frac M {m_i} n i = m 1 × ⋯ × m i − 1 × m i + 1 × ⋯ × m k = m i M
n ~ i ñ_i n ~ i é o inverso de n i n_i n i , módulo m i m_i m i
Exemplo { 3 x + 1 ≡ 7 6 x ≡ 9 2 x − 2 ≡ 4 1 \left\{ \begin{aligned}
3x+1 & \equiv_7 \quad 6\\
x & \equiv_9 \quad 2\\
x-2 & \equiv_4 \quad 1
\end{aligned} \right. ⎩ ⎨ ⎧ 3 x + 1 x x − 2 ≡ 7 6 ≡ 9 2 ≡ 4 1 4 4 4 ,7 7 7 e 9 9 9 são primos entre si, 2 a 2.
Colocar tudo na forma x ≡ n a x \equiv_n a x ≡ n a
3 x + 1 ≡ 7 6 3 x ≡ 7 5 3x +1 \equiv_7 6\\
3x \equiv_7 5 3 x + 1 ≡ 7 6 3 x ≡ 7 5 Agora queremos encontrar o inverso de 3 3 3 módulo 7 7 7 (3 ⌢ 7 = 1 3 \frown 7 = 1 3 ⌢ 7 = 1 ), pois, sendo k 7 k_7 k 7 esse inverso,
( 3 k 7 ) x ≡ 7 5 k 7 x ≡ 7 5 k 7 (3k_7)x \equiv_7 5k_7\\
x \equiv_7 5k_7 ( 3 k 7 ) x ≡ 7 5 k 7 x ≡ 7 5 k 7 De cabeça, verifica-se que ( 3 × 5 ) − ( 7 × 2 ) = 1 (3\times 5) -(7 \times 2) = 1 ( 3 × 5 ) − ( 7 × 2 ) = 1 , logo k 7 = 5 k_7 = 5 k 7 = 5 .
( 3 × 5 ) x ≡ 7 ( 5 × 5 ) x ≡ 7 25 x ≡ 7 4 ✓ (3\times5)x \equiv_7 (5\times5)\\
x \equiv_7 25 \\
x \equiv_7 4 \quad \checkmark ( 3 × 5 ) x ≡ 7 ( 5 × 5 ) x ≡ 7 25 x ≡ 7 4 ✓ x ≡ 9 2 ✓ x\equiv_9 2 \quad \checkmark x ≡ 9 2 ✓ x − 2 ≡ 4 1 x ≡ 4 3 ✓ x-2 \equiv_4 1\\
x \equiv_4 3 \quad \checkmark x − 2 ≡ 4 1 x ≡ 4 3 ✓ Para aprender a calcular inversos mais difíceis, consultar Cálculo de Inversos
{ x ≡ 7 4 x ≡ 9 2 x ≡ 4 3 \left\{ \begin{aligned}
x & \equiv_7 \quad 4\\
x & \equiv_9 \quad 2\\
x & \equiv_4 \quad 3
\end{aligned} \right.\\ ⎩ ⎨ ⎧ x x x ≡ 7 4 ≡ 9 2 ≡ 4 3 Temos,
a 1 = 4 , a 2 = 2 , a 3 = 3 m 1 = 7 , m 2 = 9 , m 3 = 4 a_1=4, a_2 = 2, a_3 = 3\\
m_1 = 7, m_2 = 9, m_3 = 4 a 1 = 4 , a 2 = 2 , a 3 = 3 m 1 = 7 , m 2 = 9 , m 3 = 4
Calcular módulo da Solução (M M M )
M = m 1 × m 2 × m 3 = 7 × 9 × 4 = 252 M = m_1\times m_2 \times m_3\\
= 7 \times 9 \times 4 = 252 M = m 1 × m 2 × m 3 = 7 × 9 × 4 = 252
Calcular os n i n_i n i (n i = M m i n_i = \frac M {m_i} n i = m i M )
{ n 1 = m 2 × m 3 = 9 × 4 = 36 n 2 = m 1 × m 3 = 7 × 4 = 28 n 3 = m 1 × m 2 = 7 × 9 = 63 \left\{ \begin{aligned}
n_1 = m_2 \times m_3 = 9 \times 4 = 36\\
n_2 = m_1 \times m_3 = 7 \times 4 = 28\\
n_3 = m_1 \times m_2 = 7 \times 9 = 63
\end{aligned} \right.\\ ⎩ ⎨ ⎧ n 1 = m 2 × m 3 = 9 × 4 = 36 n 2 = m 1 × m 3 = 7 × 4 = 28 n 3 = m 1 × m 2 = 7 × 9 = 63
Calcular os inversos de n i n_i n i módulo m i m_i m i (n ~ i ñ_i n ~ i )
36 n ~ 1 ≡ 7 1 , 36 ⌢ 7 = 1 36ñ_1 \equiv_7 1, \quad 36 \frown 7 = 1 36 n ~ 1 ≡ 7 1 , 36 ⌢ 7 = 1 Como ( 36 × 1 ) − ( 7 × 5 ) = 1 , n ~ 1 = 1 (36\times1) - (7 \times 5) = 1, ñ_1 = 1 ( 36 × 1 ) − ( 7 × 5 ) = 1 , n ~ 1 = 1
28 n ~ 2 ≡ 9 1 , 28 ⌢ 9 = 1 28ñ_2 \equiv_9 1, \quad 28 \frown 9 = 1 28 n ~ 2 ≡ 9 1 , 28 ⌢ 9 = 1 Como ( 28 × 1 ) − ( 9 × 3 ) = 1 , n ~ 2 = 1 (28\times1) - (9 \times 3) = 1, ñ_2 = 1 ( 28 × 1 ) − ( 9 × 3 ) = 1 , n ~ 2 = 1
63 n ~ 3 ≡ 4 1 , , 63 ⌢ 4 = 1 63ñ_3 \equiv_4 1, , \quad 63 \frown 4 = 1 63 n ~ 3 ≡ 4 1 ,, 63 ⌢ 4 = 1 Como ( 63 × 3 ) − ( 4 × 47 ) = 1 , n ~ 3 = 3 (63 \times 3) - (4 \times 47)=1, ñ_3 = 3 ( 63 × 3 ) − ( 4 × 47 ) = 1 , n ~ 3 = 3
Solução Particular e Geral
Solução Geral é dada por,
x = x 0 + 252 t , t ∈ Z x = x_0 +252t, \quad t \in \Z x = x 0 + 252 t , t ∈ Z x 0 = a 1 n 1 n ~ 1 + a 2 n 2 n ~ 2 + a 3 n 3 n ~ 3 = ( 4 × 36 × 1 ) + ( 2 × 28 × 1 ) + ( 3 × 63 × 3 ) = 144 + 56 + 567 = 767 x_0 = a_1n_1ñ_1+a_2n_2ñ_2+a_3n_3ñ_3\\
= (4\times36\times1)+(2\times28\times1)+(3\times63\times3)\\
= 144 + 56 + 567\\
= 767 x 0 = a 1 n 1 n ~ 1 + a 2 n 2 n ~ 2 + a 3 n 3 n ~ 3 = ( 4 × 36 × 1 ) + ( 2 × 28 × 1 ) + ( 3 × 63 × 3 ) = 144 + 56 + 567 = 767 x = 767 + 252 t x = 11 + 252 t , t ∈ Z x=767+252t\\
x=11 + 252t, \quad t \in \Z x = 767 + 252 t x = 11 + 252 t , t ∈ Z
Módulos não primos
{ x ≡ m 1 a 1 ⋮ x ≡ m k a k \left\{ \begin{aligned}
x & \equiv_{m_1} \quad a_1\\
& \vdots\\
x & \equiv_{m_k} \quad a_k
\end{aligned} \right. ⎩ ⎨ ⎧ x x ≡ m 1 a 1 ⋮ ≡ m k a k
m 1 , … , m k m_1,\dots,m_k m 1 , … , m k , não necessariamente primos entre si.
Pelo Teorema 2 , há solução, se ∀ i , j = 1 , … , k \forall i,j = 1,\dots, k ∀ i , j = 1 , … , k , tais que 1 ≤ i < j ≤ k 1 \leq i < j \leq k 1 ≤ i < j ≤ k ,
( m i ⌢ m j ) ∣ ( a i − a j ) (m_i \frown m_j)|(a_i-a_j) ( m i ⌢ m j ) ∣ ( a i − a j )
Se a condição se verificar, a Solução Geral é dada por
x = x 0 + M t , t ∈ Z x 0 = a 1 n 1 n ~ 1 + ⋯ + a k n k n ~ k x = x_0 + Mt, \quad t \in \Z\\
x_0 = a_1n_1ñ_1 + \dots + a_kn_kñ_k x = x 0 + Mt , t ∈ Z x 0 = a 1 n 1 n ~ 1 + ⋯ + a k n k n ~ k
Onde,
M = ∏ i = 1 k c i M = \prod_{i=1}^k c_i M = ∏ i = 1 k c i
c i c_i c i é tal que: c i ∣ m i c_i|m_i c i ∣ m i e c 1 × ⋯ × c k = m 1 ⌣ ⋯ ⌣ m k = M c_1 \times \dots \times c_k = m_1 \smile \dots \smile m_k = M c 1 × ⋯ × c k = m 1 ⌣ ⋯ ⌣ m k = M
(com o exemplo fica claro)
c 1 , … , c k c_1,\dots,c_k c 1 , … , c k são primos 2 a 2.
n i = c 1 × ⋯ × c i − 1 × c i + 1 × ⋯ × c k = M c i n_i = c_1\times\dots\times c_{i-1} \times c_{i+1}\times \dots \times c_k = \frac M {c_i} n i = c 1 × ⋯ × c i − 1 × c i + 1 × ⋯ × c k = c i M
n ~ i ñ_i n ~ i é o inverso de n i n_i n i , módulo c i c_i c i
Exemplo { x ≡ 12 10 x ≡ 8 2 x ≡ 5 2 ⇔ { x ≡ 12 10 x ≡ 8 2 x ≡ 5 2 \left\{ \begin{aligned}
x &\equiv_{12} \quad &10\\
x &\equiv_8 \quad &2\\
x &\equiv_5 \quad &2
\end{aligned} \right.
\quad \Leftrightarrow \quad
\left\{ \begin{aligned}
x &\equiv_{12} \quad &10\\
x &\equiv_8 \quad &2\\
x &\equiv_5 \quad &2
\end{aligned} \right. ⎩ ⎨ ⎧ x x x ≡ 12 ≡ 8 ≡ 5 10 2 2 ⇔ ⎩ ⎨ ⎧ x x x ≡ 12 ≡ 8 ≡ 5 10 2 2 Já está tudo na forma x ≡ n a ✓ x \equiv_n a \quad \checkmark x ≡ n a ✓
Repare-se que 12 12 12 e 8 8 8 não são primos entre si.
Verificar se existe solução
m 1 ⌢ m 2 = 12 ⌢ 8 = 4 , a 1 − a 2 = 10 − 2 = 8 4 divide 8 ✓ m 1 ⌢ m 3 = 12 ⌢ 5 = 1 , a 1 − a 3 = 10 − 2 = 8 1 divide 8 ✓ m 2 ⌢ m 3 = 8 ⌢ 5 = 1 , a 2 − a 3 = 2 − 2 = 0 1 divide 0 ✓ m_1 \frown m_2 = 12 \frown 8 = 4, \qquad a_1-a_2=10-2=8\\
4 \textnormal{ divide } 8 \quad \checkmark \\
m_1 \frown m_3 = 12 \frown 5 = 1, \qquad a_1-a_3=10-2=8\\
1 \textnormal{ divide } 8 \quad \checkmark \\
m_2 \frown m_3 = 8 \frown 5 = 1, \qquad a_2-a_3=2-2=0\\
1 \textnormal{ divide } 0 \quad \checkmark \\ m 1 ⌢ m 2 = 12 ⌢ 8 = 4 , a 1 − a 2 = 10 − 2 = 8 4 divide 8 ✓ m 1 ⌢ m 3 = 12 ⌢ 5 = 1 , a 1 − a 3 = 10 − 2 = 8 1 divide 8 ✓ m 2 ⌢ m 3 = 8 ⌢ 5 = 1 , a 2 − a 3 = 2 − 2 = 0 1 divide 0 ✓
Calcular os c i c_i c i e M M M
m 1 = 2 2 × 3 , m 2 = 2 3 , m 3 = 5 m 1 ⌣ m 2 ⌣ m 3 = 2 3 × 3 × 5 = ∏ i = 1 3 c i m_1 = 2^2 \times 3, \quad m_2 = 2^3, \quad m_3=5\\
m_1 \smile m_2 \smile m_3 = 2^3 \times 3 \times 5 = \prod_{i=1}^3c_i m 1 = 2 2 × 3 , m 2 = 2 3 , m 3 = 5 m 1 ⌣ m 2 ⌣ m 3 = 2 3 × 3 × 5 = i = 1 ∏ 3 c i Relembrar: No cálculo do m m c mmc mm c , escolhemos todos os fatores primos, mas, se houver repetições, escolhemos o de maior expoente.
Como c i ∣ m i c_i|m_i c i ∣ m i ,
c 1 = 3 , c 2 = 2 3 , c 3 = 5 c_1 = 3, \quad c_2 = 2^3, \quad c_3 = 5 c 1 = 3 , c 2 = 2 3 , c 3 = 5 M = 2 3 × 3 × 5 = 120 M = 2^3 \times 3 \times 5 = 120 M = 2 3 × 3 × 5 = 120
Calcular os n i n_i n i
{ n 1 = c 2 × c 3 = 8 × 5 = 40 n 2 = c 1 × c 3 = 3 × 5 = 15 n 3 = c 1 × c 2 = 3 × 8 = 24 \left\{ \begin{aligned}
n_1 = c_2 \times c_3 = 8 \times 5 = 40\\
n_2 = c_1 \times c_3 = 3 \times 5 = 15\\
n_3 = c_1 \times c_2 = 3 \times 8 = 24
\end{aligned} \right.\\ ⎩ ⎨ ⎧ n 1 = c 2 × c 3 = 8 × 5 = 40 n 2 = c 1 × c 3 = 3 × 5 = 15 n 3 = c 1 × c 2 = 3 × 8 = 24
Calcular os n ~ i ñ_i n ~ i
40 n ~ 1 ≡ 3 1 40ñ_1 \equiv_3 1 40 n ~ 1 ≡ 3 1 Como ( 40 × 1 ) − ( 3 × 13 ) = 1 , n ~ 1 = 1 (40\times1) - (3 \times 13) = 1, ñ_1 = 1 ( 40 × 1 ) − ( 3 × 13 ) = 1 , n ~ 1 = 1
15 n ~ 2 ≡ 8 1 15ñ_2 \equiv_8 1 15 n ~ 2 ≡ 8 1 Como ( 15 × 1 ) − ( 8 × 2 ) = − 1 , n ~ 2 = − 1 ( 1 ) = − 1 (15\times1) - (8 \times 2) = -1,\quad ñ_2 = -1(1) = -1 ( 15 × 1 ) − ( 8 × 2 ) = − 1 , n ~ 2 = − 1 ( 1 ) = − 1
Atenção : Podemos igualar a − 1 -1 − 1 , em vez de 1 1 1 . Nestes casos, o inverso do número n n n é ( − 1 × k ) (-1 \times k) ( − 1 × k ) , onde n k ≡ n − 1 nk \equiv_n -1 nk ≡ n − 1 . Para mais esclarecimentos, consultar Cálculo de Inversos
24 n ~ 3 ≡ 5 1 24ñ_3 \equiv_5 1 24 n ~ 3 ≡ 5 1 Como ( 24 × 1 ) − ( 5 × 5 ) = − 1 , n ~ 3 = − 1 ( 1 ) = − 1 (24 \times 1) - (5 \times 5)=-1,\quad ñ_3 = -1(1) = -1 ( 24 × 1 ) − ( 5 × 5 ) = − 1 , n ~ 3 = − 1 ( 1 ) = − 1
Solução Geral e Particular
x = x 0 + 120 t , t ∈ Z x = x_0 +120t, \quad t \in \Z x = x 0 + 120 t , t ∈ Z x 0 = a 1 n 1 n ~ 1 + a 2 n 2 n ~ 2 + a 3 n 3 n ~ 3 = ( 1 × 40 × 1 ) + ( 2 × 15 × − 1 ) + ( 2 × 24 × − 1 ) = 40 − 30 − 48 = − 38 x_0 = a_1n_1ñ_1+a_2n_2ñ_2+a_3n_3ñ_3\\
= (1\times40\times1)+(2\times15\times-1)+(2\times24\times-1)\\
= 40 - 30 - 48\\
= -38 x 0 = a 1 n 1 n ~ 1 + a 2 n 2 n ~ 2 + a 3 n 3 n ~ 3 = ( 1 × 40 × 1 ) + ( 2 × 15 × − 1 ) + ( 2 × 24 × − 1 ) = 40 − 30 − 48 = − 38 x = − 38 + 120 t x = 82 + 120 t , t ∈ Z x=-38+120t\\
x=82 + 120t, \quad t \in \Z x = − 38 + 120 t x = 82 + 120 t , t ∈ Z