Teoria de números/Equações diofantinas: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
intro + teorema |
demonstração (começo) |
||
Linha 19: | Linha 19: | ||
{{Teorema|texto= |
{{Teorema|texto= |
||
Dados <math>a,b \in \mathbb{Z}\,\!</math>, existem <math>x,y \in \mathbb{Z}\,\!</math> tais que <math>ax+by = n\,\!</math> se, e somente se, <math>(a,b)|n\,\!</math>. |
Dados <math>a,b \in \mathbb{Z}\,\!</math>, existem <math>x,y \in \mathbb{Z}\,\!</math> tais que <math>ax+by = n\,\!</math> se, e somente se, <math>(a,b)|n\,\!</math>. |
||
Além disso, se <math>(x_0,y_0)\,\!</math> é solução, então todas as soluções são da forma: |
|||
<math>x = x_0 - b't\,\!</math> e <math>y = y_0 +a't\,\!</math>, onde <math>a=a'd\,\!</math> e <math>b=b'd\,\!</math>. |
|||
}} |
}} |
||
{{Demonstração |
{{Demonstração| |
||
Suponha que <math>(x,y)\,\!</math> e <math>(x_0,y_0)\,\!</math> são soluções, ou seja que: |
|||
:<math>n = ax+by=ax_0+by_0\,\!</math> |
|||
Então <math>a(x-x_0)+b(y-y_0)=0\,\!</math>, ou seja, <math>a(x-x_0)=-b(y-y_0)\,\!</math>. |
|||
Se <math>d=(a,b)\,\!</math>, então é possível escrever |
|||
* <math>a=a'd\,\!</math> |
|||
* <math>b=b'd\,\!</math> |
|||
Donde: |
|||
:<math>a'(x-x_0)=-b'(y-y_0)\,\!</math> |
|||
Claramente <math>(a',b')=1\,\!</math> e <math>a|-b'(y-y_0)\,\!</math>. |
|||
Logo |
|||
:<math>a'|(y-y_0)\,\!</math> |
|||
ou seja, existe <math>t \in \mathbb{Z}\,\!</math> tal que |
|||
:<math>a't=y-y_0\,\!</math> |
|||
Portanto, <math>y=y_0+a't\,\!</math> |
|||
Usando essa expressão em |
|||
:<math>a'(x-x_0) = -b'(y-y_0)\,\!</math> |
|||
resulta |
|||
:<math>a'(x-x_0) = -b'(y_0+a't-y_0) = -b'a't\,\!</math> |
|||
Disto se conclui que <math>x=x_0-b't\,\!</math>. |
|||
}} |
}} |
Revisão das 20h24min de 15 de janeiro de 2008
Neste capítulo serão estudados certos problemas cuja solução envolve conceitos da teoria de números que foram tratados nos capítulos anteriores.
Considere o seguinte problema:
Se existem notas de 2 e de 5 reais, quais são os valores que podem ser obtidos combinando algumas dessas notas?
Matemáticamente, o que se quer saber é:
Quais os valores de , para os quais a solução possui alguma solução inteira?
Em geral, as equações que surgem no contexto da teoria de números devem ser resolvidas no conjunto dos números inteiros. Este tipo de equação é conhecido como equação diofantina.
As equações diofantinas lineares
A equação que surgiu do exemplo apresentado no início do capítulo é apenas um caso particular da seguinte: . Aqui, os inteiros e são fixados.
Quando é que tal equação possui solução?
O próximo teorema responde exatamente essa pergunta.
- Teorema
Insira o enunciado do teorema.
Demonstração |
---|
Suponha que e são soluções, ou seja que: Então , ou seja, . Se , então é possível escrever Donde: Claramente e . Logo ou seja, existe tal que Portanto, Usando essa expressão em resulta Disto se conclui que . |