Demonstrações Matemáticas

Ver Todos os Exercícios

Teoria

Fala aêe! Seja muito bem vindo ao RespondeAí! Hoje vamos aprender por como se faz demonstrações matemáticas! 😉

Então se liga nesse vídeo que a gente preparou especialmente pra você! 👇

Ou, se você preferir, fica comigo, porque a gente também tem explicação em texto! Bora aprender como podemos fazer uma prova matemática!

Métodos de Demonstração Matemática

Antes de colocar a mão na massa, temos que ter em mente algumas regrinhas pra conseguirmos fazer a prova matemática.

  • Um número inteiro não nulo divide um número inteiro  se existe um inteiro , tal que: ;
  • Um número inteiro é dito par se  divide , ou seja, se existe número inteiro  tal que ;
  • Um número inteiro é dito ímpar se  não divide , nesse caso pode-se provar que existe um número inteiro  tal que ;
  • Um número real é dito racional se existirem números inteiros e , com , tal que ;
  • Um número real é dito irracional se não existirem inteiros e , com , tal que .

Agora sim, vamos ver os diferentes métodos de demonstração matemática!

Demonstração Direta

Nesse caso a demonstração matemática é estabelecida através da combinação lógica dos axiomas, definições e teoremas já existentes.

Exemplo:

Mostre que se são números ímpares,então é par.

Podemos organizar nossas informações da seguinte forma:

  • Hipótese 1: é ímpar
  • Hipótese 2: é ímpar
  • Tese: é par

Baseado nas hipóteses 1 e 2, podemos escrever:

Onde e são números inteiros.

Para provar a tese, somamos as duas equações acima:

Manipulando:

Podemos dizer que , onde é um número inteiro pois ele vem da soma de números inteiros. Dessa forma:

Considerando a definição de número par que falamos lá em cima, chegamos a conclusão que é um número par, logo e são ímpares!

Demonstração por Contradição

Essa demonstração matemática é muito famosa, também conhecida por demonstração por Redução ao absurdo. Já vou começar com um exemplo:

Demonstre que é irracional.

Nesse método o que a gente faz é justamente tentar provar o contrário disso e chegar numa contradição. Vamos lá!

Dizemos que é racional, pela definição de número racional podemos escrever:

Com e inteiros e . Onde e não são pares ao mesmo tempo. Isso é, um é par e outro é ímpar. Se os dois fossem pares, a gente poderia simplificar a fração até termos que pelo menos um dos termos da fração seja ímpar.

Elevando ambos os lados ao quadrado:

Logo:

Se é o dobro de , ele é par. Podemos substituir o por :

Chegamos então à conclusão de que é par, dado que é o dobro de . A gente no início supôs que e NÃO eram ambos pares, e logo, isso é um absurdo! Portanto, é irracional, como queríamos demonstrar.

Demonstração por Contraposição

O que a gente faz aqui é demonstrar algo equivalente ao que se pede!

Isto é, se pedirem pra você demonstrar algo do tipo , para ter a prova matemática você pode provar uma proposição equivalente a isso. Ou seja não não

Vamos a um exemplo:

Mostre que se é ímpar, então é ímpar

Vamos demonstrar usando o método da contraposição. Nosso caso atual é:

éíéí

A contraposição será:

éé

Podemos escrever então:

  • Hipótese: é par
  • Tese: é par

Então, a partir da hipótese, vamos tentar chegar na tese. Sabendo que é par, podemos escrever:

Onde é um número inteiro. Elevando ambos ao quadrado:

Se chamarmos :

Isto é, é par, Temos nossa prova matemática!

Demonstração de “se e somente se”

Esse é nada mais nada menos que o método direto, só que com duas proposições compostas! Se liga, você vai se deparar com uma demonstração do tipo:

E vamos dar a prova matemática que:

Exemplo:

Dois inteiros e , possuem paridades diferentes se, e somente se, é ímpar
Para provar isso, temos que provar:

  • Se e possuem paridades diferentes, então é ímpar
  • Se é ímpar, então e tem paridades diferentes.

Vamos começar da implicação 1:

  • Hipótese: e tem paridades diferentes.
  • Tese: é ímpar

Baseado na hipótese, podemos dizer que é par e é ímpar, ou o contrário, não faz diferença!

Vamos somar os dois e verificar se a soma é ímpar ou não.

Fazendo :

Portanto, a implicação 1 é verdadeira.

Para provar a implicação 2, vamos usar o método de contraposição. Isto é, ao invés de provarmos “Se é ímpar,então e tem paridades diferentes”, vamos provar: Se e tem paridades iguais,então é par.

Se e tem paridades iguais, isso significa que ambos são pares ou ambos são ímpares.
Caso e pares:

Logo, é verdade!

Caso e ímpares:

Fazendo :

Logo, é verdade.
E portanto, as implicações e são verdadeiras, como queríamos demonstrar.

Perceba que nesse método de “se, e somente se”, a gente o desmembra em duas implicações. Para provarmos essas implicações, podemos usar os outros métodos que coloquei aqui, assim como acabei de fazer, usando o método da contraposição.

Bom, é isso! Agora vamos partir pros exercícios e arrebentar!!

Exercícios Resolvidos

Exercício Resolvido #1

Demonstre as seguintes afirmações:

( a ) Se a divide b e a divide c , então a divide b + c .

b Se m e n são números pares, então m + n é par.

Passo 1

FALAAAAA AÍ! Bom, sem muita conversa, vamos demonstrar essas afirmações, começando do começo:

a   S e   a   d i v i d e   b   e   a   d i v i d e   c ,   e n t ã o   a   d i v i d e   b + c

Vou escolher o método da demonstração direta para fazer estes, ok?

Hipótese 1 : a divide b

Hipótese 2 : a divide c

Tese: a divide b + c

Vamos lá, olhando a hipótese 1 , temos que se a divide b , então podemos escrever o seguinte:

b = a k 1

Onde k 1 é um número inteiro.

Olhando a hipótese 2 , temos que se a divide c , então podemos escrever o seguinte:

c = a k 2

Onde k 2 é um número inteiro.

Legal, agora vamos focar no que queremos provar: a divide b + c . Então poderíamos escrever que queremos chegar no seguinte:

b + c = a k 3

Onde k 3 é um número inteiro.

Passo 2

Show, dadas as relações que temos das hipóteses 1 e 2 :

b = a k 1

c = a k 2

Somando essas duas equações:

b + c = a k 1 + a k 2

Colocando o a em evidência:

b + c = a ( k 1 + k 2 )

Chamando k 1 + k 2 = k 3 :

b + c = a k 3

Onde k 3 é um número inteiro. Como queríamos demonstrar.

Passo 3

A próxima diz o seguinte:

b   S e   m   e   n   s ã o   n ú m e r o s   p a r e s ,   e n t ã o   m + n   é   p a r

Bora resolver essa questão linda. Dá uma olhada no que temos:

Hipótese 1 : m é par

Hipótese 2 : n é par

Tese: m + n é par

Baseado na hipótese 1 , temos que se m é par, podemos escrever que:

m = 2 k 1

Onde k 1 é um número inteiro.

Baseado na hipótese 2 , temos que se n é par, podemos escrever que:

n = 2 k 2

Onde k 2 é um número inteiro.

Agora, vamos focar no que queremos chegar, na tese. Ao dizermos que m + n é par, podemos escrever:

m + n = 2 k 3

Onde k 3 é um número inteiro. É nisso que queremos chegar, foca!!!

Passo 4

Dadas as relações que chegamos através das hipóteses 1 e 2 :

m = 2 k 1

n = 2 k 2

Somando as duas equações:

m + n = 2 k 1 + 2 k 2

Colocando 2 em evidência:

m + n = 2 k 1 + k 2

E tomando k 1 + k 2 = k 3 :

m + n = 2 k 3

Onde k 3 é um número inteiro. Como queríamos demonstrar.

Resposta

Método de demonstração direta.

Exercício Resolvido #2

Demonstre as seguintes proposições usando o método da redução ao absurdo:

( a ) Não existem soluções inteiras e positivas para y 2 - x 2 = 10 .

b Dados a , b e c números inteiros, mostre que se a não divide b c , então a não divide b .

Passo 1

Olááá, meu anjo! Está indo tudo bem?

Bom, vamos começar do início:

a   N ã o   e x i s t e m   s o l u ç õ e s   i n t e i r a s   e   p o s i t i v a s   p a r a   y 2 - x 2 = 10

Como vamos demonstrar por redução ao absurdo, a primeira coisa que temos que fazer é dizer que EXISTEM soluções inteiras e positivas para y 2 - x 2 = 10 e depois chegarmos à conclusão de que isso é um absurdo.

Vamos reescrever essa equação assim:

y 2 - x 2 = 10

y - x y + x = 10

Agora vamos pensar em números que multiplicados dão 10 :

1.10 = 10

- 1 - 10 = 10

2.5 = 10

- 2 - 5 = 10

Vamos testar cada caso!

Passo 2

Se:

y - x = 1 y + x = 10

Então:

y = 11 2 x = 9 2

O que contraria nossa hipótese, já que essas são soluções não inteiras.

Se:

y - x = - 1 y + x = - 10

Então:

y = - 11 2 x = - 9 2

O que contraria nossa hipótese, já que essas são soluções não inteiras e negativas.

Se:

y - x = 2 y + x = 5

Então:

y = 7 2 x = 3 2

O que contraria nossa hipótese, já que essas são soluções não inteiras.

Se:

y - x = - 2 y + x = - 5

Então:

y = - 7 2 x = - 3 2

O que contraria nossa hipótese, já que essas são soluções não inteiras e negativas.

Ou seja, todos os nossos testes foram reduzidos ao absurdo. Logo, não existem soluções inteiras e positivas para y 2 - x 2 = 10 , como queríamos demonstrar.

Passo 3

Dá uma olhada na próxima:

b   D a d o s   a , b   e   c   n ú m e r o s   i n t e i r o s ,   m o s t r e   q u e   s e   a   n ã o   d i v i d e   b c ,   e n t ã o   a   n ã o   d i v i d e   b

Bom, temos uma proposição composta do tipo:

p ⇒   q

Negando isso:

p   e   n ã o   q

Então vamos trabalhar com a seguinte proposição:

D a d o s   a , b   e   c   n ú m e r o   i n t e i r o s ,   a   n ã o   d i v i d e   b c   e   a   d i v i d e   b

Da frase “ a divide b ”, podemos escrever:

b = a k 1

Onde k 1 é número inteiro.

Se multiplicarmos por c em ambos os lados:

b c = a k 1 c

E vou escrever k 1 c = k 2 :

b c = a k 2

MAAAAAAAAAAAS, da frase “ a não divide b c ”, temos que NÃO CONSEGUIMOS ESCREVER:

b c = a k 2

Com k 2 número inteiro.

Portanto, isso é um absurdo.

Resposta

Demonstração por redução ao absurdo.

Exercício Resolvido #3

Prove cada uma das seguintes proposições pelo método de contraposição:

( a ) Se x e y são dois números inteiros cujo produto é par, então pelo menos um dos dois deve ser par.

( b ) Se a e b são números reais tais que o produto a b é um número irracional, então ou a ou b deve ser um número irracional.

Passo 1

Oiiiii aluno mais engajado do mundo! Bora demonstrar essas afirmações pelo método de contraposição. Você lembra como é?

É assim, você se depara com uma proposição da forma:

p ⇒   q

E o que provaremos é algo que é equivalente a ela, ou seja:

n ã o   q ⇒   n ã o   p

Bora ver o primeiro item:

a   S e   x   e   y   s ã o   d o i s   n ú m e r o s   i n t e i r o s   c u j o   p r o d u t o   é   p a r ,  

e n t ã o   p e l o   m e n o s   u m   d o s   d o i s   d e v e   s e r   p a r

A contrapositiva dessa proposição é:

S e   x   e   y   s ã o   i n t e i r o s   í m p a r e s ,   e n t ã o   o   p r o d u t o   é   í m p a r

Lembrando que a negação de “pelo menos um dos dois deve ser par” é “nenhum dos dois é par”, ou seja, “os dois são ímpares”.

Então vamos lá, a nossa hipótese é que x e y são inteiros ímpares, isto é, podemos escrevê-los da forma:

x = 2 k 1 + 1

y = 2 k 2 + 1

Onde k 1 e k 2 números são inteiros.

Passo 2

Queremos mostrar que o produto é ímpar, então vamos multiplicar essas duas equações ok?

x y = 2 k 1 + 1 2 k 2 + 1

Realizando as operações:

x y = 4 k 1 k 2 + 2 k 1 + 2 k 2 + 1

x y = 2 2 k 1 k 2 + k 1 + k 2 + 1

Chamando 2 k 1 k 2 + k 1 + k 2 = k 3 :

x y = 2 k 3 + 1

Onde k 3 é um número inteiro.

Portanto, o produto é um número ímpar, como queríamos demonstrar.

Passo 3

Se liga nessa próxima:

b   S e   a   e   b   s ã o   n ú m e r o s   r e a i s   t a i s   q u e   o   p r o d u t o   a b   é   u m   n ú m e r o   i r r a c i o n a l ,

e n t ã o   o u   a   o u   b   d e v e   s e r   u m   n ú m e r o   i r r a c i o n a l .

Como fica a contrapositiva dessa proposição? Dá uma olhada:

S e   a   e   b   s ã o   n ú m e r o s   r a c i o n a i s ,   e n t ã o   o   p r o d u t o   é   u m   n ú m e r o   r a c i o n a l

Bom, da hipótese podemos escrever que:

a = p q

b = x y

Onde p ,   x ,   y e q são números inteiros, tais que y ≠ 0 e q ≠ 0

Queremos que o produto a b seja racional, então vamos multiplicar essas duas equações:

a b = p . x q . y

Como são números inteiros, chamaremos p . x = p 1 e q . y = q 1 , onde ambos são inteiros:

a b = p 1 q 1

Portanto, o produto é racional, como queríamos demonstrar.

Resposta

Demonstração pelo método de contraposição.

Exercício Resolvido #4

Demonstre que dados dois inteiros a e b , o produto a b é um número par, se e somente se, pelo menos um dos números inteiros, a ou b , for par.

Passo 1

Olááá pessoa dedicada! Hahahaha tudo bem?

Bom, aqui precisamos demonstrar essa afirmação! Mas qual método utilizaremos?

Cara, normalmente eu diria pra você seguir o seu coração, entretanto, tem um “se e somente se” ali, então vamos usar esse método, ok?

D a d o s   d o i s   i n t e i r o s   a   e   b ,   o   p r o d u t o   a b   é   u m   n ú m e r o   p a r ,  

s e   e   s o m e n t e   s e ,   p e l o   m e n o s   u m   d o s   n ú m e r o s   i n t e i r o s ,   a   o u   b ,   f o r   p a r

Nesse tipo de demonstração, precisamos provar a ida e a volta. Provaremos então:

  1. D a d o s   d o i s   i n t e i r o s   a   e   b ,   s e   o   p r o d u t o   a b   é   p a r ,   e n t ã o   p e l o   m e n o s   u m   d e l e s   é   p a r
  2. D a d o s   d o i s   i n t e i r o s   a   e   b ,   s e   p e l o   m e n o s   u m   d e l e s   é   p a r ,   e n t ã o   o   p r o d u t o   é   p a r

Vamos começar do ínicio, provando 1 . Da hipótese podemos escrever:

a b = 2 k

Podemos escrever k = k 1 k 2 , onde k 1 e k 2 são inteiros:

a b = ( 2 k 1 ) k 2

Ou seja, podemos ter que ou a = 2 k 1   e   b = k 2 ou a = k 2   e   b = 2 k 1 . Além disso, podemos ter que k 2 = 2 k 3 , isto é, ele pode ser par! Então teríamos:

a b = 2 k 1 2 k 3

E isso poderia ser a = 2 k 1   e   b = 2 k 3 . Não é uma regra, é apenas uma possibilidade.

Portanto, um deles deveria ser par.

Passo 2

Agora vamos provar o 2 . Da hipótese podemos escrever que:

b = 2 k ,     c a s o   a p e n a s   b   s e j a   p a r

a = 2 k ,     c a s o   a p e n a s   a   s e j a   p a r

b = 2 k   e   a = 2 p ,     c a s o   a   e   b   s e j a m   p a r e s

Bom, agora vamos ver cada caso.

Caso b é par e a não:

a . b = a . 2 k

Chamando a k = k 1 :

a b = 2 k 1

Ou seja, é par.

Caso a é par e b não:

a . b = 2 k . b

Chamando b k = k 2 :

a b = 2 k 2

Ou seja, é par.

Caso b é par e a é par:

a . b = 2 p . 2 k

Chamando 2 p k = k 3 :

a b = 2 k 3

Ou seja, é par.

Portanto, as duas proposições são verdadeiras, como queríamos demonstrar.

Resposta

Demonstração pelo método de se e somente se.

Exercício Resolvido #5

Mostre que um número inteiro de 4 dígitos é divisível por 3 se a soma dos seus dígitos for divisível por 3 .

Passo 1

Meu amooooor, esse tipo de questão é muito interessante e pode cair na sua prova, por exemplo, falando sobre a regrinha dos números divisíveis por 4 , sei lá. Então, pega a visão!

Para começar, um número inteiro de 4 dígitos pode ser representado da seguinte forma:

a b c d

Concorda comigo? Eu não sei quais são os dígitos, então coloco uma letra ao lado da outra.

Bom, para ser divisível por 3 , é necessário que eu consiga escrever esse número da seguinte forma:

a b c d = 3 k

Onde k é um número inteiro. LEMBRE-SE: a b c d NÃO é uma multiplicação dessas letras, mas sim um nome!

Passo 2

Vamos lá, finalmente colocar a mão na massa. Concorda comigo que podemos escrever:

12 = 1 × 2 + 10 × 1

123 = 1 × 3 + 10 × 2 + 100 × 1

a b c = 1 × c + 10 × b + 100 × a

1234 = 1 × 4 + 10 × 3 + 100 × 2 + 1000 × 1

a b c d = 1 × d + 10 × c + 100 × b + 1000 × a

É assim que escreveremos nosso número:

a b c d = 1 . d + 10 . c + 100 . b + 1000 . a

Agora olha o truque!!!

a b c d = d + c + 9 c + b + 99 b + a + 999 a

a b c d = a + b + c + d + 9 c + 99 b + 999 a

a b c d = a + b + c + d + 3 3 c + 33 b + 333 a

Cara, a gente já tem uma parcela de a b c d que é divisível por 3 . Porém, aquela parte:

a + b + c + d

A gente não sabe se é. Se ela for, significa que:

a + b + c + d = 3 k 1

E chamando 3 c + 33 b + 333 a = 3 k 2 :

a b c d = 3 k 1 + 3 k 2

E finalmente:

a b c d = 3 k 1 + k 2 → a b c d = 3 k 3

PORÉM, se a + b + c + d NÃO puder ser escrito como 3 k 1 , ou seja, se a soma dos algarismos não for divisível por 3 , então o número a b c d não é divisível por 3 .

Logo, a ÚNICA forma de a b c d ser divisível por 3 é se a soma dos algarismos também for, como queríamos demonstrar.

Resposta

Demonstração pelo método direto.