Um número inteiro é um número que pode ser escrito sem um componente fracional. Por exemplo, 21, 4, 0, e −2048 são números inteiros, enquanto 9.75, 52, e √2 não são. O conjunto dos números inteiros é representado pelo símbolo
, cuja letra é originada da palavra alemã Zahlen ([ˈtsaːlən], "números").[1][2]
|
Conjuntos de números |
![{\displaystyle \mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} \subset \mathbb {C} \subset \mathbb {H} \subset \cdots }](//wikimedia.org/api/rest_v1/media/math/render/svg/732e95003e763760b0f84db054b6dc6e46c82801)
![{\displaystyle \mathbb {I} \subset \mathbb {R} \subset \mathbb {C} \subset \mathbb {H} \subset \cdots }](//wikimedia.org/api/rest_v1/media/math/render/svg/9feb18f9b160bf251490ff2711ec5e9b72e4d5fa)
|
|
![{\displaystyle \mathbb {Z} =\{\ldots ,-3,-2,-1,0,1,2,3,\ldots \}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b478642bc05c63d43125dd5e16bdd02813e6e92c)
Os inteiros (juntamente com a operação de adição) formam o menor grupo que contém o monoide aditivo dos números naturais. Como os números naturais, os inteiros formam um conjunto infinito contável.
Os números inteiros podem ser simétricos, quando os números têm sinais opostos, ou pode existir também o valor absoluto de um número inteiro, que é a distância entre a origem e o número.
Conjunto dos inteiros não nulos ![{\displaystyle =\mathbb {Z} -\{0\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5b3a3e899827f506254c6249e9d908caf651bcbe)
+
Conjunto dos inteiros não negativos ![{\displaystyle =\{0,1,2,3,...\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f128b594dac79f9f116422793abf7443597e52b5)
+
Conjunto dos inteiros não negativos, excluindo zero ![{\displaystyle =\{1,2,3,...\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a99633682a0a5d07b0db8a06a5ce4f4846395202)
-
Conjunto dos inteiros não positivos ![{\displaystyle =\{...-3,-2,-1,0\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/25146cd5489e6955ba1ca78ab7b6a163863e928a)
-
Conjunto dos inteiros não positivos, excluindo zero ![{\displaystyle =\{...,-3,-2,-1\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/955f99c7f3b63530b3a413d171521df82e0ab4ee)
Há diversos campos numéricos verificando as propriedades abaixo. Dizemos que eles têm uma mesma estrutura algébrica, a qual é chamada de anel de integridade. O campo dos inteiros,
, é o mais simples e conhecido dos anéis de integridade, e tem o seguinte conjunto de propriedades básicas:
Para todos
:
Fechamento das operações
![{\displaystyle a+b\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/6d39d32649d4f48f8b2efea91dd67653a760b977)
[a operação
é fechada]
![{\displaystyle a\cdot b\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/31b1c9e20ff2275d5dadc4a2cfe8865e438eee66)
[a operação
é fechada]
Associatividade das operações
![{\displaystyle a+(b+c)=(a+b)+c}](//wikimedia.org/api/rest_v1/media/math/render/svg/44038eb287a7d11c82ecf1642362bff63a012b2f)
[associatividade da
]
![{\displaystyle a\cdot (b\cdot c)=(a\cdot b)\cdot c}](//wikimedia.org/api/rest_v1/media/math/render/svg/4be34a5bcecdbbd7f3d5a983e34f00bf0b80c5f6)
[associativa da
]
Existência de elemento neutro
![{\displaystyle a+0=a}](//wikimedia.org/api/rest_v1/media/math/render/svg/4564e28f0f8274644ca4e58664c0593ed48de541)
[0 é o elemento neutro da
]
![{\displaystyle a\cdot 1=a}](//wikimedia.org/api/rest_v1/media/math/render/svg/f3e5c8aeb598f9dadf4767a03328e05849f37035)
[1 é o elemento neutro da
]
Comutatividade
![{\displaystyle a+b=b+a}](//wikimedia.org/api/rest_v1/media/math/render/svg/684f43b5094501674e8314be5e24a80ee64682e3)
[comutatividade da
]
![{\displaystyle a\cdot b=b\cdot a}](//wikimedia.org/api/rest_v1/media/math/render/svg/0a4b7dede7493e0231b3ad6ff9b54f4eae954108)
[comutatividade da
]
Existência de inverso na adição
tal que ![{\displaystyle a+a'=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/b359ee664b07767eafcc4c6d4edf528bc7f90cca)
[
é o simétrico de
]
Distributividade da multiplicação
![{\displaystyle a\cdot (b+c)=(a\cdot b)+(a\cdot c)}](//wikimedia.org/api/rest_v1/media/math/render/svg/0969d65db9f1f1097aa4f72bcddac8c46f1ca6ef)
[distributividade da
]
Sendo
e
números inteiros:
![{\displaystyle \forall c\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/2c74e0ddb348e434f362b14a619137f6d29ed177)
Observe que, para
e ![{\displaystyle z\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/89579fe9cb330174ba72262b85764c9bcd827b57)
Logo temos,
(vem da definição de soma em
)
Agora podemos provar:
![{\displaystyle \qquad a+c=b+c}](//wikimedia.org/api/rest_v1/media/math/render/svg/db609ab0193ce22fdf5167a9b08b6d6952ce87b8)
![{\displaystyle \qquad \Rightarrow (a+c)+(-c)=(b+c)+(-c)}](//wikimedia.org/api/rest_v1/media/math/render/svg/44948aa83bf4097fcda712bdb77522878ed379da)
[Associatividade]
![{\displaystyle \qquad \Rightarrow a+0=b+0}](//wikimedia.org/api/rest_v1/media/math/render/svg/11a309f9fb57f900078b64b98bec69bc58ed8778)
![{\displaystyle \qquad \Rightarrow a=b}](//wikimedia.org/api/rest_v1/media/math/render/svg/53ab554ad1b8c3542c46b12e9c6cd56dd2b999a5)
Sendo
e
números inteiros
![{\displaystyle \forall c\neq 0}](//wikimedia.org/api/rest_v1/media/math/render/svg/b2e1cec031361d24ce73226a4494b98428b6aaa0)
![{\displaystyle \qquad \Rightarrow ac-bc=bc-bc}](//wikimedia.org/api/rest_v1/media/math/render/svg/42500342fd1907855a2a3c62a9816f5b8c8aa77c)
[Comutatividade]
[Distributiva]
Logo
ou
, como
, por hipótese temos:
![{\displaystyle \qquad a-b=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/9a5ffe2b079fc368664f548dd64f43ecdb4f2e4d)
![{\displaystyle \qquad \Rightarrow a-b+b=0+b}](//wikimedia.org/api/rest_v1/media/math/render/svg/6e2a90efde5fead4c58efe6b2a8bc1561aba0c9f)
![{\displaystyle \qquad a+0=0+b}](//wikimedia.org/api/rest_v1/media/math/render/svg/5d7ec172c7b05240d7637f213695f4e47b323ccb)
![{\displaystyle \qquad a=b}](//wikimedia.org/api/rest_v1/media/math/render/svg/05020e5d5b43ba432c1613bde87b81d1807390b3)
Temos que se
ou
isso significa que ![{\displaystyle a-b>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/339d548bacc61bd395f85d85a587ea0bd5b9f85d)
Com isso os números inteiros ficam divididos em:
Inteiros não negativos
![{\displaystyle \qquad x\in \mathbb {Z} :x\geq 0}](//wikimedia.org/api/rest_v1/media/math/render/svg/e340759a465c2739dac8eb76f5fcac5b03d66754)
Inteiros não positivos
![{\displaystyle \qquad x\in \mathbb {Z} :x\leq 0}](//wikimedia.org/api/rest_v1/media/math/render/svg/9ddaa48c2154326b956cd7ca3feb3ee36da1ca81)
Inteiros positivos
![{\displaystyle \qquad x\in \mathbb {Z} :x>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/4ebc7b4add1693e6e2d0896448e8746abed43bdf)
Inteiros negativos
![{\displaystyle \qquad x\in \mathbb {Z} :x<0}](//wikimedia.org/api/rest_v1/media/math/render/svg/8c9120e80155efb7adc7c62a26c63ec3ad378c62)
Observação: temos
no caso particular
, temos
, somente se ![{\displaystyle a\in \{1,2,3,...\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/fd63ae1183823c69a2f90d525f8ba5fc827f7822)
Notação:![{\displaystyle {\begin{cases}a\geq b(a>b\quad ou\quad a=b)\\a\leq b(a<b\quad ou\quad a=b)\\\end{cases}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5868abc7285b89123369b105e41923bbf6a6fb7d)
As relações
e
são compatíveis com a adição e a multiplicação, conforme os resultados:
Proposição:
Sendo ![{\displaystyle a,b,c\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/f75bbcddb8e6be5b4825aeda775edf3ebe76fa94)
A relação de ordem é preservada na adição:
![{\displaystyle *\quad a<b\Leftrightarrow a+c<b+c,\quad \forall c\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/76042af9a29f3d5121baf468eac8011e0daa3bfc)
![{\displaystyle a<b\Rightarrow b-a>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/4e22dcfa35f17c8db65b19b0da386358062c5f7a)
![{\displaystyle \qquad \Rightarrow b-a+c-c>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/6a2b61f92384b29412a251e3f3bc1afbdb1fba8d)
![{\displaystyle \qquad \Rightarrow b+c-a-c>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/ab95cc833828c443b5deb9775e17d435584e3eca)
![{\displaystyle \qquad \Rightarrow (b+c)-(a+c)>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/5cc3c777b847e00e5dc2bad075b673d0a2c49174)
![{\displaystyle \qquad \Rightarrow a+c<b+c}](//wikimedia.org/api/rest_v1/media/math/render/svg/a664cf6b7a5c00110b9152d8547ec9a52ab2969d)
![{\displaystyle a+c<b+c\Rightarrow a<b}](//wikimedia.org/api/rest_v1/media/math/render/svg/b75fbfe9cbb92d1d9cf7fb5de7318c7645e2d38a)
![{\displaystyle \qquad \qquad \quad \Rightarrow (b+c)-(a+c)>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/a44585ad12fd05752f41002d10105ffbc8c7cfb1)
![{\displaystyle \qquad \qquad \quad \Rightarrow b+c-a-c>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/62034cd988a1976c3065c6537f940c9598add2d5)
![{\displaystyle \qquad \qquad \quad \Rightarrow (b-a)+(c-c)>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/8264aa78e9fbb02b2a917d08bef5c965ee226034)
![{\displaystyle \qquad \qquad \quad \Rightarrow b-a>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/b8bb7481950fe75be5a1f19b1f579491c9c65c29)
![{\displaystyle \qquad \qquad \quad \Rightarrow a<b}](//wikimedia.org/api/rest_v1/media/math/render/svg/cc229550e2f4f89e7e95b5a4994099e726db367a)
![{\displaystyle *\quad a\leq b\Leftrightarrow a+c\leq b+c,\quad \forall c\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/e42b88a8f90c6555728decb943748cd96c7b89e5)
Esta demonstração é de forma análoga à anterior.
A relação de ordem é preservada na multiplicação por inteiros positivos:
![{\displaystyle *\quad a<b\Leftrightarrow a\cdot c<b\cdot c,\quad \forall c\in \mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/b554b58b1cbde931d69d7c8374cc42bb9c22042b)
Observe que quando ![{\displaystyle n>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/27a6a5d982d54202a14f111cb8a49210501b2c96)
para
, ou seja, ![{\displaystyle 3n>2n>n>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/ccb2825ba7241a1d754a958099371252012ded6e)
![{\displaystyle a<b\Rightarrow b-a>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/4e22dcfa35f17c8db65b19b0da386358062c5f7a)
![{\displaystyle \qquad \Rightarrow c(b-a)>0\quad \qquad c>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/165c2ffa51fa13ab11ab8b9941f7d07a2e51a6d7)
![{\displaystyle \qquad \Rightarrow cb-ca>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/88ebaf866e2b0f303c9198bc96ec0b4a5b5d30ce)
![{\displaystyle \qquad \Rightarrow ca<cb}](//wikimedia.org/api/rest_v1/media/math/render/svg/80869fbaa2d1b70e2b10795281305455735bbbef)
![{\displaystyle ca<cb\Rightarrow a<b}](//wikimedia.org/api/rest_v1/media/math/render/svg/ae185a64c1e2992c447f98394a8ce83aea76487a)
![{\displaystyle \qquad \quad \Rightarrow ca-cb>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/d844324146d3f1ba7207210421bcfe1433808a0e)
![{\displaystyle \qquad \quad \Rightarrow c(b-a)>0\quad \qquad c>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/95769be45b1e0d983389396e476ddcce2cdf6673)
![{\displaystyle \qquad \quad \Rightarrow b-a>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/ce8d54649bdc954b9a8fdee0f06ab2f2b8956ebb)
![{\displaystyle \qquad \quad \Rightarrow a<b}](//wikimedia.org/api/rest_v1/media/math/render/svg/73fa528919b7b662956c4802928597316d4ddcc1)
para
, ou seja, ![{\displaystyle -3n<-2n<-n<0}](//wikimedia.org/api/rest_v1/media/math/render/svg/33978f9eb79c1c06135cc4545ab49ef9d7c60292)
![{\displaystyle a<b\Rightarrow b-a>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/4e22dcfa35f17c8db65b19b0da386358062c5f7a)
![{\displaystyle \qquad \Rightarrow c(b-a)<0\quad \qquad c<0}](//wikimedia.org/api/rest_v1/media/math/render/svg/6841b3a529c19d5de4b14362a0f82bcdf86c4b5d)
![{\displaystyle \qquad \Rightarrow cb-ca<0}](//wikimedia.org/api/rest_v1/media/math/render/svg/5f4527b4c195a60effb66a3c48b572403bec7070)
![{\displaystyle \qquad \Rightarrow cb<ca}](//wikimedia.org/api/rest_v1/media/math/render/svg/285d22e55422e729efa101268dca24e2190fc454)
![{\displaystyle a<b\Rightarrow ca>cb}](//wikimedia.org/api/rest_v1/media/math/render/svg/7a472f4ef6b3e99672b388c8ea4bdb69c3a8b5d6)
![{\displaystyle \qquad \Rightarrow cb-ca<0}](//wikimedia.org/api/rest_v1/media/math/render/svg/5f4527b4c195a60effb66a3c48b572403bec7070)
![{\displaystyle \qquad \Rightarrow c(b-a)<0\quad \qquad c<0}](//wikimedia.org/api/rest_v1/media/math/render/svg/6841b3a529c19d5de4b14362a0f82bcdf86c4b5d)
![{\displaystyle \qquad \Rightarrow b-a>0}](//wikimedia.org/api/rest_v1/media/math/render/svg/99849d4be0d0dfc3e7e3412da586058781cfbf55)
![{\displaystyle \qquad \Rightarrow a<b}](//wikimedia.org/api/rest_v1/media/math/render/svg/010d81b2a6b20e07b5f8884dd2f0dd2d26581920)
O valor absoluto de um número inteiro
é a distância modular, e é definido como a distância do número até a origem(0):
![{\displaystyle |b|={\begin{cases}b\ se\ b\geq 0\\-b\ se\ b<0\\\end{cases}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/4bf11aaf05c16fe5f20af90384d471ed86634a22)
Tomar o valor absoluto de um número inteiro consiste basicamente em deixá-lo inalterado se o número for positivo ou nulo, e apagar seu sinal, caso ele seja negativo.
Exemplo:
,
![{\displaystyle |0|=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/550214d956a5bde2719eccd73a8e90cb72a4f1fd)
O divisor de um número inteiro
, é todo inteiro
capaz de transformar o inteiro
num produto de inteiros:
(para algum número inteiro
).
Sempre que
for divisor de
, também costuma-se empregar as seguintes terminologias alternativas, sinônimas:
"o inteiro
divide
", o que pode ser abreviado com a notação:
;
"o inteiro
é múltiplo de
"
Exemplo:
Os divisores de
são ![{\displaystyle b=-2,-1,1,2}](//wikimedia.org/api/rest_v1/media/math/render/svg/aa846c628d6ab96b696d38a43ae4e17723e09f64)
Todos eles são não-nulos, e temos respectivamente:
![{\displaystyle 4=(-2)\cdot (-2),\quad 4=(-1)\cdot (-4),\quad 4=1\cdot 4,\quad 4=2\cdot 2}](//wikimedia.org/api/rest_v1/media/math/render/svg/9c0637e84a9f1c3d0ccd00696b5a96286805d543)
Atenção:
- zero só é divisor de si mesmo;
- todos os inteiros são divisores de zero.
Como
sempre são divisores de cada número inteiro
, dizemos que eles são os divisores triviais, ou os divisores impróprios, de
.
Nos casos em que
e
, temos exatamente dois divisores triviais. Contudo, em todos os demais casos de
, temos exatamente quatro divisores triviais.
Número primo é todo inteiro
cujos divisores são todos triviais. Isto equivale a dizer que um número primo é todo inteiro
com exatamente quatro divisores:
.
Número composto é todo inteiro
que tem ao menos um divisor não trivial. Isto equivale a dizer que um número composto é todo inteiro
com cinco ou mais divisores.
Chamamos de divisor comum de dois ou mais números inteiros, todo inteiro que seja divisor de cada um desses inteiros.
Exemplo:
Os divisores de
são
, enquanto que os divisores de
são
. Assim, os divisores comuns de
e
são
.
Dizemos que dois números inteiros são relativamente primos, ou primos entre si se tiverem como divisores comuns apenas os divisores triviais
e
.
Proposição: todo número primo que não dividir um inteiro
dado, é relativamente primo com
.
Demonstração: Sendo
um primo dado e
um número inteiro. Temos que os divisores de
são
,
,
e
, como
não divide
, seus únicos divisores comuns serão
e
.
Chamamos de máximo divisor comum de dois ou mais números inteiros, o maior dos divisores comuns desses inteiros. A notação
indicará o máximo divisor comum dos inteiros
,
.
Exemplo:
Temos
, pois os divisores comuns de
e
são
e
.
Note que:
- o
sempre existe, a menos que
.
![{\displaystyle mdc(0,b)={\begin{Bmatrix}(b),se\quad b\neq 0\\\nexists \quad se\quad b=0\end{Bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c8a9596c63c590691e702e3d20751ac0a3704d8c)
- o conjunto de divisores comuns de qualquer conjunto de dois ou mais números inteiros nunca é vazio (pois
sempre são divisores comuns deles) e é finito (pois os divisores de
estão entre
e
).
- o
, em particular, sempre é positivo.
.
- Dizer que dois números
e
são primos entre si, é o mesmo que dizer que
.
Fatoração: sendo
, com
inteiros, dizemos que
são fatores de
e que
é uma fatoração desse
.
Ex: ![{\displaystyle 18=2\cdot 9=3\cdot 6=1\cdot 18=2\cdot 3\cdot 3}](//wikimedia.org/api/rest_v1/media/math/render/svg/8114737d704d9720dcc3beb1be59c1387053e10a)
O mdc também pode ser calculado a partir do Algoritmo de Euclides.
Este teorema afirma que os números primos funcionam como base para a construção de todo e qualquer número inteiro (exceto
e
), fazendo apenas multiplicações. Este teorema tem uma importância tão grande que é chamado de Teorema Fundamental da Aritmética.
A fatoração em primos de um inteiro
,
pode ser escrita de diversas maneiras, como por exemplo:
- Existem primos
possivelmente repetidos, tais que
.
- Existem primos
tais que
.
- Existem primos distintos
, e respectivos inteiros positivos
, tais que
.
Assim, por exemplo,
![{\displaystyle \qquad \qquad -40=-2\cdot 2\cdot 2\cdot 5}](//wikimedia.org/api/rest_v1/media/math/render/svg/c556444afd0b677595d508259c3172f49571f3b8)
![{\displaystyle \qquad \qquad -40=-2^{3}\cdot 5}](//wikimedia.org/api/rest_v1/media/math/render/svg/3eba53583d46064b11e63b7fe88fa6a509e39220)
![{\displaystyle \qquad \qquad 63=3\cdot 3\cdot 7}](//wikimedia.org/api/rest_v1/media/math/render/svg/d0668c7e6ad3c77cbef927e4abd8a583035ca480)
![{\displaystyle \qquad \qquad 63=3^{2}\cdot 7}](//wikimedia.org/api/rest_v1/media/math/render/svg/ba258e063039a30b4195dbb673f7738a8bf1d6f3)
Dois inteiros admitem relações binárias como =, > e <.
A ordem de Z é dada por ... < −2 < −1 < 0 < 1 < 2 < ... e faz de Z uma ordenação total sem limite superior ou inferior. Chama-se de inteiro positivo os inteiros maiores que zero; o próprio zero não é considerado um positivo. A ordem é compatível com as operações algébricas no seguinte sentido:
- se a < b e c < d, então a + c < b + d
- se a < b e 0 < c, então ac < bc
Inteiro é frequentemente um tipo primitivo em linguagem de programação, normalmente com 1, 2, 4, ou 8 bytes de comprimento (8, 16, 32, ou 64 bits). Observe, porém, que um computador pode apenas representar um subconjunto dos inteiros com estes tipos, já que os inteiros são infinitos e uma quantidade de bits fixa limita a representação a um máximo de 2 à potência do número de bits (
para bytes,
para arquiteturas de 32 bits, etc). No entanto, o uso de técnicas de inteligência artificial permitem que computadores representem e raciocinem sobre o conjunto dos inteiros.
RSA
O RSA é o mais conhecido dos métodos de criptografia de chave pública. Ele foi criado em 1978 por R. L. Rivest, A. Shamir e L. Adleman, que na época trabalhavam no MIT e é o mais usado em aplicações comerciais atualmente. A construção deste sistema é baseada nas propriedades da Teoria dos Números e suas principais características são: simplicidade, chave pública e extrema dificuldade em violar o código.
Ripoll, Cydara Cavedon (2011). Números Racionais, Reais e Complexos Ed. 2. [S.l.]: UFRGS. ISBN 9788538601289