Definies Bsicas

Proposio (ou sentena) uma frase afirmativa em forma de orao, com sujeito, verbo e predicado, que falsa ou
verdadeira, sem lugar a uma terceira alternativa.
Proposio Condicional ou implicativa uma nova proposio formada a partir de duas proposies P e Q, que escrita na
forma:
Se P, ento Q ou P implica em Q,
onde para o ltimo caso usamos a notao:
. Chamamos a proposio P de hiptese e a proposio Q de tese. A
hiptese tambm chamada de proposio antecedente e a tese, de proposio consequente.
A partir de uma proposio condicional podem-se gerar novas proposies. Vamos chamar o modo em que apresentamos
uma proposio de forma positiva.
Forma Recproca de uma proposio condicinal
Para construir a forma recproca, temos que trocar na forma positiva a hiptese pela tese e vice-versa.
Forma Contrapositiva (ou Contrarrecproca) de uma proposio condicinal
Para obtermos a forma contrapositiva a partir da forma positiva de uma proposio condicional podemos fazer primeiro sua
forma recproca e, em seguida, negamos as sentenas antecedente e consequente da recproca, ou tambm, podemos negar
tese e a hiptese da forma positiva e, imediatamente, fazer a forma recproca da ltima.
Uma demonstrao em matemtica um processo de raciocnio lgico e dedutivo para checar a veracidade de uma
proposio condicional. Nesse processo so usados argumentos vlidos, ou seja, aqueles que concluem afirmaes
verdadeiras a partir de fatos que tambm so verdadeiros.
Sempre que, via uma demonstrao, comprovemos a veracidade de uma proposio passamos ento a chamar esta de
teorema. Assim, um teorema qualquer afirmao que possa ser verificada mediante uma demonstrao.
Mtodos de Demonstrao
Demonstrao Direta
A demonstrao direta aquela em que assumimos a hiptese como verdadeira e atravs de uma srie de argumentos
verdadeiros e dedues lgicas conclumos a veracidade da tese.
Demonstrao por Contraposio
Este mtodo baseado no fato de que a veracidade da forma positiva de uma proposio equivalente veracidade de sua
forma contrapositiva, podendo ser esta ltima, eventualmente, mais fcil de se provar.
Demonstrao por Reduo ao Absurdo
O nome deste mtodo provm do latim reductio ad absurdum e tambm conhecido como mtodo do terceiro excludo, devido
ao mesmo estar baseado na seguinte lei: uma afirmao que no pode ser falsta, dever ser consequentemente verdadeira.
De um modo geral, o roteiro que segue uma demonstrao por absurdo o seguinte:
assumimos a validade da hiptese,
supomos que a tese falsa;
usando as duas afirmaes anteriores conclumos, atravs de argumentos verdadeiros, uma afirmao falsa.; como tal
fato no pode ocorrer, ento nossa tese dever ser verdadeira.

Algumas dicas para resolver problemas

R1)
R2)
R3)
R4)

Ler bem o enunciado do problema e utilizar todas as informaes disponveis.

Fazer casos particulares ou casos mais simples de problemas similares, para adquirir familiaridade com o problema.
Mudar a representao do problema, transformando-o em um problema equivalente;
Usar a imaginao pesquisando caminhos alternativos. Extrapole os limites!

Equao do 1 Grau
Definio: Uma equao do primeiro grau na varivel
nmero real a ser encontrado.

uma expresso da forma

onde

um

Propriedade 1:
Propriedade 2:
Soluo da equao do 1 grau:

Sistemas de Equaes do Primeiro Grau

Definio 1: Uma equao do primeiro grau nas variveis
onde
so diferentes de zero e
Definio 2: Os nmeros
formam uma soluo da equao
por , temos que a equao acima satisfeita, isto ,

uma expresso da forma

um nmero real.

, se substituindo
.

por

Definio 3: Um sistema de equaes do primeiro grau em variveis

um conjunto de
primeiro grau em algumas variveis
, isto , tem-se o seguinte conjunto de equaes

onde alguns dos elementos

algum coeficiente

por

, ...,

equaes do

podem ser zero. Porm, em cada uma das equaes do sistema

diferente de zero e, alm disso, cada varivel

aparece em alguma equao com coeficiente

diferente de zero.
Definio 4: Os nmeros
formam uma soluo do sistema de equaes
se
soluo de
todas as equaes simultaneamente. Quando solucionamos um sistema de equaes do primeiro grau, podem acontecer trs
situaes:
i) o sistema tem uma nica soluo;
ii) o sistema tem uma infinidade de solues;
iii) o sistema no possui soluo.

Equao do Segundo Grau

Definio 1: A equao do segundo grau com coeficientes
e um nmero real a ser encontrado.

uma expresso da forma

onde

Soluo da equao do 2 grau:

onde
.
Para que exista algum nmero real satisfazendo a igualdade acima, devemos ter que
i) se
existem duas solues reais;
ii) se
s existe uma soluo real
;
iii) se
no existe soluo real.

. Em resumo:

Relao entre coeficientes e razes

Dada a equao do segundo grau

Desta forma calculando

Calculando

como

onde

, e supondo que

, temos que:

temos:

temos:

, tem-se que:

Teorema: Os nmeros

so as razes da equao

se, e somente se,

feita anteriormente
Observao: Em geral, dada a equao
, com
, podemos escrev-la como
,
com
e
. Supondo que a equao
tem razes
e , a igualdade
nos permite concluir que
e
so razes da equao do
segundo grau
.

Equaes Biquadradas
De modo geral consideremos a equao
equao dada pode ser reescrita da seguinte forma:

e faamos a seguinte mudana

. Ento a

a qual sabemos resolver. Logo, se

no possuir soluo ento
tambm no ter soluo. No caso em que
ser
uma raiz de
ento as solues para
, correspondentes raiz , podem ser encontradas resolvendo a equao
simples:
a qual tem as seguinte possibilidades:
i) uma nica soluo:
ii) nenhuma soluo: se

se mpar;
e se par;

iii) duas solues:

se

e se

par.

Mtodo de Vite
Seja a equao

Seja tambm que

e a equao

. Note que a ltima equao possui as solues

. Assim temos:

Para que o termo

se anule temos que:

Substituindo o valor encontrado na equao obtida temos:

Desta forma chegamos em:

Lembrando que

e que

temos que as solues da equao

so:

Inequao do Primeiro Grau

Definio: Uma inequao do primeiro grau uma relao de uma das formas abaixo:

onde
e
.
O conjunto soluo de uma inequao do primeiro grau o conjunto de nmeros reais que satisfazem a inequao, isto , o
conjunto de nmero que quanto substitudos na inequao tornam a desigualdade verdadeira.

Seja
sendo que
Propriedade 1:
Propriedade 2:
Propriedade 3:

, temos que:

Conjunto Soluo de uma inequao do 1 grau

Caso 1:
Inequao

Portanto a soluo da inequao dada por:

Inequao

Portanto a soluo da inequao dada por:

Caso 2:
Inequao

Portanto a soluo da inequao dada por:

Inequao

Portanto a soluo da inequao dada por:

(analogamente para os sinais

(analogamente para os sinais
(analogamente para os sinais

)
)
)

Inequao do 2 grau
Definio: Uma inequao do segundo grau uma relao das formas abaixo

onde

Conjunto Soluo de uma equao do 2 grau

Suponhamos primeiramente que queremos resolver a equao
desigualdades:

. Notemos que valem as seguintes

onde
.
Considerando esta igualdade, dividimos em vrios casos:

Caso 1:
. Nesta situao procedemos tomando em conta o sinal de .
. Usando
notamos que basta resolver a equao. Multiplicando ambos membros por

temos:

Reescrevendo a desigualdade encontrada temos:

Agora notemos que

se os fatores
e
negativos. No primeiro caso (ambos positivos) temos
e
, mas como
(ambos negativos), temos que
e
, logo
.
Resumindo, a soluo da inequao vem dada pelo conjunto

. Usando

so ambos positivos ou ambos

, ento
. No segundo caso

notamos que basta resolver a equao. Multiplicando ambos membros por

Reescrevendo a desigualdade encontrada temos:

temos:

Agora notemos que

se os fatores
e
exemplo, se
e
temos ento que deve satisfazer a desigualdade
considerando que neste caso
, por
. No caso restante, se
e
que possvel.
Portanto, o conjunto soluo, neste caso, dado por

Caso 2:
Usando

possuem sinais diferentes. Por

, mas isso impossvel
temos que
,o

notamos que basta resolver a equao

que vlida para qualquer

, se

Caso 3:
Neste caso, quando

positivo todos os valores de

sempre satisfeita, dado que

Por outro lado, se

e sempre falsa, se

reais so solues de

, pois a desigualdade

negativo no temos nenhuma soluo possvel para a inequao j que

sempre negativo, dado que

Mximos e Mnimos da Funo Quadrtica

Definio: A funo quadrtica

onde

, satisfaz a identidade

. O valor mnimo (mximo) da funo quadrtica

quando fazemos percorrer o conjunto dos reais. Da igualdade
trinmio obtido quando
e este vale
trinmio obtido quando
, valendo tambm

o menor (maior) valor possvel que pode assumir

segue-se que, quando
o valor mnimo do
. Similarmente, quando
o valor mximo do
.

Equaes Modulares
Definio: Uma equao modular aquela na qual a varivel incgnita aparece sob o sinal de mdulo. Para resolver equaes
modulares se usam basicamente trs mtodos:
a) eliminao do mdulo pela definio;
b) elevao ao quadrado de ambos os membros da equao;
c) partio em intervalos.

Conceitos Fundamentais e Diviso Euclidiana

Definio 1: Denotamos por o conjunto dos nmeros inteiros formado pelo conjunto dos nmeros naturais
munido do zero e dos nmeros negativos, ou seja,
As operaes soma, diferena e produto esto bem definidas no conjunto dos nmeros inteiros, entretanto, o quociente de dois
inteiros pode ser inteiro ou no.
Princpio da Boa Ordenao
Todo conjunto no vazio
para todo
.

possui um elemento menor que todos elementos deste, ou seja, existe

Definio 2: Sejam e inteiros. Dizemos que divide se existe um inteiro tal que
frases divisor de ou mltiplo de para significar esta situao. Usaremos a notao
ditas anteriormente. Se no for divisor de , ento escreveremos
.

tal que

. Tambm usaremos as
para representar as frases

Proposio 1: Sejam
nmeros inteiros. Ento:
a) se
e
ento
;
b) se
e
ento
e
;
c) se e so positivos e
ento
;
d) se
e
ento
ou
.
Demonstrao
Se
e
existem inteiros
Substituindo

em

Sabemos que
Se e
temos:

tais que

temos que:
e

. Ento somando ou subtraindo membro a membro as igualdades temos:

so inteiros positivos e

Temos que

e
. Ento
. Logo

, ento

divide
e

com

divide
.

ou

Teorema 1 (Diviso Euclidiana): Dados dois inteiros

Se
, ento satisfaz a desigualdade estrita
respectivamente de quociente e resto da diviso de
Corolrio 1: Dados dois nmeros naturais

para obter o resultado.

ambos membros da desigualdade

. Pelo item (c) sabemos que

sendo

positivo existem nicos

. Os nmeros

com

no enunciado do teorema so chamados,

, existe um nico natural

tais que

, ou seja,

e tais que

por .

com

Demonstrao
Pela diviso euclidiana, existem nicos
Basta agora tomar

. Multiplicando por

tal que

. Assim:

Lema 1 (Lema dos Restos): A soma do produto de quais quer nmeros naturais deixa o mesmo resto que a soma e o produto
dos seus restos na diviso por um inteiro positivo .
Demonstrao
Sejam
. Fazendo a diviso com o resto de ambos os nmeros por temos que:
com

Dividindo

. Ento:

por

Das igualdades

obtemos:
e

segue que:

Portanto conclumos que os restos que deixam

na diviso por

so iguais.

Bases Numricas
Definio: De modo geral, se denotamos por
o nmero inteiro positivo formado pelos algarismos
, nessa ordem, ento se escreve na base decimal da forma

Lema 2: Sejam

. Temos que:

Consequemente, se

, ento

divide

Proposio 2 (Critrios de Divisibilidade): Seja

um inteiro positivo, ento:
i)
divisvel por 10 se, e somente se, for igual a 0;
ii)
divisvel por 3 ou por 9 se, e somente se, a soma dos seus dgitos divisvel por 3 ou por 9, respectivamente;
iii)
divisvel por 5 se, e somente se, for igual a 0 ou 5.
Demonstrao
Usando a representao decimal temos que

Pela proposio 1 (b), tem-se que

se, e somente se,
Para provar o critrio de divisibilidade por 9, temos que

Pelo Lema 2 temos que

para todo

, da segue-se que:

Ento, aplicando novamente a proposio 1 (b) temos que:

se, e somente se,
Teorema 2 (Bases Numricas): Dados
, e satisfazendo
A representao acima dita representao de
para fazer referncia a esta.

.
, existem nicos naturais

na base

e usaremos a notao

tais que

Mximo Divisor Comum

Definio: Sejam e inteiros diferentes de zero. O mximo divisor comum, resumidamente mdc, entre
que satisfaz as seguintes condies:
i)
um divisor comum de e , isto ,
e
.
ii)
o maior inteiro positivo com tal propriedade.
Neste caso denotamos o mdc entre e por
ou simplesmente
. Se
que os nmeros e so primos entre si.
Proposio 3: Sejam e dois inteiros. Ento valem as seguintes afirmaes:
a) Se mltiplo de , ento
;
b) Se
, ento o conjunto de divisores comuns dos nmeros
comum dos nmeros e .
Teorema (Teorema de Bachet-Bzout): Se

o mdc de

o nmero

, ento dizemos

coincide com o conjunto dos divisores

e , ento existem nmeros inteiros

tais que

Proposio 4: Sejam
e
. Ento valem as afirmaes:
a) Se
e
, ento
;
b) O
o menor valor positivo de
, onde e percorrem todos os inteiros;
c)
;
d) Se

e) Se
f) Se

, ento

. Consequentemente,

, ento
, ento
.

Algoritmo de Euclides
Teorema (Algoritmo de Euclides): Dados dois inteiros positivos,
obter a seguinte sequncia de igualdades

at algum

dividir

. Assim, o

e , aplicamos sucessivamente a diviso euclidiana para

, ou seja, o ltimo resto no-nulo do processo de diviso anterior.

Mnimo Mltiplo Comum

Definio: Sejam e inteiros diferentes de zero. O mnimo mltipo comum, resumidamente mmc, entre
positivo que satisfaz as seguintes condies:
i)
um mltiplo comum de e , isto ,
e
;
ii)
o menor inteiro positivo com tal propriedade.
Neste caso denotamos o mmc entre e por
ou por
.

o inteiro

Proposio 5: Sejam
a) se mltiplo comum de
b)
;
c)
.

e
. Ento valem as seguintes afirmaes:
e , ento
;

Equaes Diofantinas Lineares

Definio: Considere a equao
onde
, com
e
. A equao
chamada de
equao diofantina linear e uma soluo desta qualquer par de inteiros
que satisfaam
. conhecido que todos os
pontos do plano, com coordenadas
, que satisfazem a igualdade
representam, geometricamente, uma reta. Logo, as
solues de uma equao diofantina linear so os pontos de coordenadas inteiras do plano cartesiano, que esto dispostos
sobre a reta que esta representa.
Observao: Nem sempre possvel achar solues para uma equao diofantina linear. Se uma equao deste tipo tem uma
soluo na verdade ela ter uma infinidade de solues.
Proposio 6: A equao diofantina linear
somente se,
, onde
. Alm disso, se
todos os pares de inteiros
da forma:

onde
, com
e
, tem soluo se, e
uma soluo, ento o conjunto soluo de
constitudo por

Nmeros Primos e Compostos

Definio: Um inteiro positivo
dito primo se os nicos divisores que ele tem so 1 e ele prprio; caso contrrio, dito
composto.
Observao: De modo geral o nmero 1 no considerado nem primo nem composto.
Proposio 7: Seja
i) o menor divisor de
ii) se

um nmero inteiro. Ento:

diferente de 1 um nmero primo;

composto, o seu menor divisor diferente de 1 no maior que

diferentes de 1, menores ou igual a

, ento

. Em outras palavras, se

no possui divisores

primo.

Teorema (Teorema de Euclides): A quantidade de nmeros primos infinita.

Proposio 8: Um inteiro positivo

primo se, e somente se, satisfaz a seguinte propriedade

Definio: Um nmero chamado nmero de Mersenne quando puder ser escrito na forma
Proposio 9: Se

primo, ento

primo.

Proposio 10 (Identidade de Sophie-Germain): Dados

Demonstrao

, vale a igualdade:

Teorema (Teorema Fundamental da Aritmtica): Todo nmero natural

onde
um nmero natural,
exigirmos que
.

maior que 1 pode ser escrito como um produto

primo para todo

. Alm disso, a fatorao em

nica se

Princpio das Casas dos Pombos

(Verso Simples) Se distribuirmos

Em cada casa

pombos em

casas, ento alguma das casas contm dois ou mais pombos.

, coloca-se um nico pombo, denotado por

. O pombo restante, denotado por

, deve ir

para alguma das casas, juntando-se ao que j se encontrava contido nela.

Demonstrao
A prova deste princpio vale de uma simples contagem dos pombos contidos em todas as casas depois de distribudos. Com
efeito, suponhamos pelo contrrio que em cada casa no existe mais do que um pombo, ento contando todos os pombos
contidos nas
casas no teremos mais do que
pombos, contradizendo isto a hiptese de termos
pombos
distribudos nas casas.
(Verso Alternativa) Se a soma de nmeros naturais igual a , ento existe pelo menos um deles que no maior que
, assim como existe pelo menos um deles que no menor que
.
(Verso Geral) Se distribuirmos

pombos em

casas, ento alguma das casas contm, pelo menos,

pombos.