O documento discute o Teorema de Church-Rosser, que estabelece que se duas expressões-λ podem ser reduzidas a termos iguais, então existe um termo comum a que ambas podem ser reduzidas. Isso significa que a ordem das substituições em um polinômio não afeta o resultado final. O teorema garante a consistência do cálculo-λ ao assegurar que diferentes caminhos de redução levam ao mesmo resultado.
O documento define Progressão Aritmética (PA) como uma sequência numérica onde cada termo subsequente é igual ao anterior somado a uma constante chamada de razão. Fornece as fórmulas para calcular o termo geral, soma dos termos e exemplos de como utilizar as fórmulas para encontrar termos, razões e primeiros termos de PAs.
O documento discute uma dúvida sobre termos primos em uma progressão aritmética (PA). A solução mostra que para todos os termos de uma PA serem primos, a razão deve ser zero, o que significa que a PA é constante. O documento também pergunta quantos termos de uma sucessão específica de números são primos.
1. O documento introduz os conceitos básicos da lógica proposicional, incluindo proposições, conectivos lógicos, tabelas verdade e diagramas lógicos.
2. As proposições podem ser simples ou compostas e são combinadas usando conectivos como "e", "ou", "se...então".
3. As tabelas verdade definem as regras para determinar o valor de verdade de proposições compostas usando os valores das proposições componentes.
Lógica e Matemática Computacional - Exercícios 02thomasdacosta
O documento apresenta os conceitos básicos de lógica proposicional, incluindo tabelas verdade, conectivos lógicos e suas representações simbólicas. Exemplos são fornecidos para ilustrar como construir tabelas verdade e traduzir proposições para a linguagem simbólica. Exercícios são propostos para que os alunos apliquem os conceitos aprendidos.
- O documento apresenta um resumo de uma aula sobre Lógica Matemática, incluindo implicação lógica, regras de inferência e aviso sobre a avaliação da disciplina.
Raciocínio Lógico básico com tabela verdade: Conjunção, Disjunção, Negação, Implicação e Bi-Implicação. Conceitos básicos de raciocínio lógico. Explicação clara e objetiva com exercícios resolvidos sobre o tema abordado.
A história da soma dos termos de uma P.A.Lucas Azevedo
O documento descreve como o matemático Carl Friedrich Gauss, ainda criança, foi capaz de somar rapidamente os números de 1 a 100 pedidos pelo seu professor. Ele percebeu que esses números formavam uma progressão aritmética e desenvolveu um método geral para calcular a soma de qualquer progressão aritmética finita.
O documento discute o Teorema de Church-Rosser, que estabelece que se duas expressões-λ podem ser reduzidas a termos iguais, então existe um termo comum a que ambas podem ser reduzidas. Isso significa que a ordem das substituições em um polinômio não afeta o resultado final. O teorema garante a consistência do cálculo-λ ao assegurar que diferentes caminhos de redução levam ao mesmo resultado.
O documento define Progressão Aritmética (PA) como uma sequência numérica onde cada termo subsequente é igual ao anterior somado a uma constante chamada de razão. Fornece as fórmulas para calcular o termo geral, soma dos termos e exemplos de como utilizar as fórmulas para encontrar termos, razões e primeiros termos de PAs.
O documento discute uma dúvida sobre termos primos em uma progressão aritmética (PA). A solução mostra que para todos os termos de uma PA serem primos, a razão deve ser zero, o que significa que a PA é constante. O documento também pergunta quantos termos de uma sucessão específica de números são primos.
1. O documento introduz os conceitos básicos da lógica proposicional, incluindo proposições, conectivos lógicos, tabelas verdade e diagramas lógicos.
2. As proposições podem ser simples ou compostas e são combinadas usando conectivos como "e", "ou", "se...então".
3. As tabelas verdade definem as regras para determinar o valor de verdade de proposições compostas usando os valores das proposições componentes.
Lógica e Matemática Computacional - Exercícios 02thomasdacosta
O documento apresenta os conceitos básicos de lógica proposicional, incluindo tabelas verdade, conectivos lógicos e suas representações simbólicas. Exemplos são fornecidos para ilustrar como construir tabelas verdade e traduzir proposições para a linguagem simbólica. Exercícios são propostos para que os alunos apliquem os conceitos aprendidos.
- O documento apresenta um resumo de uma aula sobre Lógica Matemática, incluindo implicação lógica, regras de inferência e aviso sobre a avaliação da disciplina.
Raciocínio Lógico básico com tabela verdade: Conjunção, Disjunção, Negação, Implicação e Bi-Implicação. Conceitos básicos de raciocínio lógico. Explicação clara e objetiva com exercícios resolvidos sobre o tema abordado.
A história da soma dos termos de uma P.A.Lucas Azevedo
O documento descreve como o matemático Carl Friedrich Gauss, ainda criança, foi capaz de somar rapidamente os números de 1 a 100 pedidos pelo seu professor. Ele percebeu que esses números formavam uma progressão aritmética e desenvolveu um método geral para calcular a soma de qualquer progressão aritmética finita.
1) O documento discute implicação lógica e equivalência lógica, definindo-as como relações entre proposições que ocorrem quando certas condicionais são tautologias.
2) Explica propriedades como reflexividade, transitividade e fornece exemplos de implicação e equivalência lógica usando tabelas-verdade.
3) Discutem regras de inferência como adição disjuntiva, simplificação conjuntiva e modus ponens.
O documento descreve os conceitos básicos da lógica proposicional, incluindo variáveis proposicionais, proposições simples e compostas, conectivos lógicos como "e", "ou", "se...então" e "se e somente se", e os princípios da identidade, contradição, não contradição e terceiro excluído.
O documento apresenta conceitos básicos sobre números primos, incluindo suas propriedades e testes de primalidade. Também discute a densidade dos números primos entre os inteiros e conjecturas famosas sobre eles.
1) O documento descreve progressões geométricas, que são sucessões de números obtidos multiplicando o número anterior por uma quantidade fixa chamada razão;
2) A fórmula para o termo geral de uma progressão geométrica é an = a1 x qn-1, onde a1 é o primeiro termo e q é a razão;
3) A soma dos n primeiros termos de uma progressão geométrica é dada por Sn = a1(1 - qn)/(1 - q).
O documento discute o cálculo proposicional, definindo variáveis proposicionais como letras para representar proposições. Ele explica proposições simples e compostas, com exemplos, e introduz os conectivos lógicos and, or, if-then, if-and-only-if e not.
O documento apresenta o binômio de Newton, que fornece uma fórmula para calcular a potência de um binômio (a + b)n de forma sistemática. A fórmula utiliza coeficientes binomiais, que são organizados no triângulo de Pascal. A fórmula geral para o desenvolvimento do binômio de Newton é (a + b)n = ΣCnapnbn-p, onde Cnp são os coeficientes binomiais e o somatório varia de p = 0 até p = n.
(1) O documento discute técnicas de prova de teoremas em matemática, como prova direta e prova por redução ao absurdo. (2) A prova direta assume a hipótese e tenta deduzir a conclusão, enquanto a prova por redução ao absurdo assume a negação da conclusão e tenta deduzir uma contradição. (3) Um exemplo ilustra cada técnica, provando que se x é par, então x+5 é ímpar.
1) Uma tautologia é uma proposição composta que tem apenas valores lógicos V na tabela verdade. Uma contradição tem apenas valores F e uma contingência tem valores V e F.
2) Exemplos de tautologias incluem p -> p e p <-> p. Exemplos de contradições incluem p ^ ~p.
3) O princípio da substituição tautológica diz que se P(p,q,r) for uma tautologia, então P(Po,Qo,Ro) também será, onde Po, Qo e Ro são proposições
A história da soma dos termos de uma P.A.Lucas Azevedo
Em 1777, o menino Carl Friedrich Gauss surpreendeu seu professor ao somar rapidamente os números de 1 a 100 sem mostrar cálculos. Ele percebeu que esses números formavam uma progressão aritmética e usou um método para somar os termos de qualquer PA finita. Esse método de Gauss foi posteriormente generalizado e o tornou um dos maiores matemáticos de todos os tempos.
O documento apresenta os conceitos básicos dos números inteiros:
1) Define os números inteiros a partir de propriedades axiomáticas das operações de adição e multiplicação;
2) Apresenta a ordenação dos inteiros através de axiomas, definindo os números positivos e a relação de ordem;
3) Prova que a raiz quadrada de 2 é irracional usando a propriedade da boa ordenação dos inteiros positivos.
O documento descreve técnicas criativas de medição usando proporções matemáticas do corpo humano e sombras. Explica como medir aproximadamente a altura de um prédio medindo a própria sombra e a sombra do prédio e calculando as proporções entre elas.
O documento discute como aproximar o logaritmo natural de 2 (ln(2)) com precisão de 10^-3 usando expansões de McLaurin. Sua solução sugere usar as expansões de ln(1+x) e ln(1-x) para obter ln((1+x)/(1-x)) = 2*(x + x^3/3 + ...) e igualar a (1+x)/(1-x) = 2 para obter x = 1/3 e assim aproximar ln(2) = 0,693.
Em geral, as crianças adoram os quebra-cabeças. Com cores fortes, formas desafiadoras, com muitas peças que variam entre si… são tantas as razões para essa atração que seria desnecessário discorrer sobre elas. Essa observação, entretanto, serve para chamar atenção para a potencialidade educacional deste material – especialmente para a educação infantil. Mas qual a relação entre quebra-cabeças e o conhecimento matemático?
Neste documento, um candidato responde uma pergunta sobre probabilidade em uma eleição municipal com 4 candidatos (A, B, C e D) com probabilidades de vitória de 0,4, 0,3, 0,2 e 0,1, respectivamente. Ao saber que o candidato C não pode mais vencer, a probabilidade do candidato B vencer é igual a 1 - e^(-1), que é aproximadamente 0,632.
O documento descreve um jogo chamado "Jogo do Câmbio" que pode ser usado por professores da educação infantil para ensinar matemática de forma lúdica. O jogo envolve o uso de moedas coloridas com valores decimais atribuídos e trocas entre os alunos. Ao final de cada transação, o professor explica o que aconteceu para ajudar os alunos a avaliarem melhor as propostas nas próximas rodadas.
Uma pessoa perguntou se os auto-espaços associados a autovalores distintos de uma transformação linear sempre são ortogonais. O resposta explicou que isso não é verdade, a menos que a transformação seja autoadjunta, caso em que os auto-espaços são ortogonais um ao outro. Um exemplo mostrou auto-espaços não ortogonais para uma transformação cuja multiplicidade algébrica dos autovalores era 1.
O documento discute erros comuns no estudo e possíveis soluções. Ele aborda que apenas ler não é suficiente para aprender, sendo necessário resumir ou resolver problemas. Também fala que estudar usando apenas um lado do cérebro não é eficaz, sendo melhor ouvir música ou se envolver em artes. Por fim, diz que revisar conteúdos antigos é importante para não esquecê-los.
Chamamos nota de corte o grau mínimo para ingressar no curso e na universidade de sua escolha. Assim, para identificá-la, procuramos o aproveitamento do último aprovado nos diferentes cursos para os quais foram abertas vagas no Enem do ano passado. Os dados ajudam você a projetar seu futuro no exame deste ano.
O documento discute círculos ortogonais e como calcular o comprimento da corda comum entre eles. Círculos ortogonais são aqueles cujas tangentes nos pontos de interseção são perpendiculares. O autor mostra que para círculos de raios 10 e 8 unidades, o comprimento da corda comum é 80/raiz(41) unidades.
O estudo da lógica estrutura a ciência matemática. De fato, o desenvolvimento de nossa disciplina se deu em compasso com o aprofundamento dos estudos da lógica. Nesse sentido, uma ferramenta básica da ciência da lógica é de conhecimento necessário para a evolução do saber matemático. Trata-se do estudo das proposições. Você sabe o que são elas?
1) O documento discute implicação lógica e equivalência lógica, definindo-as como relações entre proposições que ocorrem quando certas condicionais são tautologias.
2) Explica propriedades como reflexividade, transitividade e fornece exemplos de implicação e equivalência lógica usando tabelas-verdade.
3) Discutem regras de inferência como adição disjuntiva, simplificação conjuntiva e modus ponens.
O documento descreve os conceitos básicos da lógica proposicional, incluindo variáveis proposicionais, proposições simples e compostas, conectivos lógicos como "e", "ou", "se...então" e "se e somente se", e os princípios da identidade, contradição, não contradição e terceiro excluído.
O documento apresenta conceitos básicos sobre números primos, incluindo suas propriedades e testes de primalidade. Também discute a densidade dos números primos entre os inteiros e conjecturas famosas sobre eles.
1) O documento descreve progressões geométricas, que são sucessões de números obtidos multiplicando o número anterior por uma quantidade fixa chamada razão;
2) A fórmula para o termo geral de uma progressão geométrica é an = a1 x qn-1, onde a1 é o primeiro termo e q é a razão;
3) A soma dos n primeiros termos de uma progressão geométrica é dada por Sn = a1(1 - qn)/(1 - q).
O documento discute o cálculo proposicional, definindo variáveis proposicionais como letras para representar proposições. Ele explica proposições simples e compostas, com exemplos, e introduz os conectivos lógicos and, or, if-then, if-and-only-if e not.
O documento apresenta o binômio de Newton, que fornece uma fórmula para calcular a potência de um binômio (a + b)n de forma sistemática. A fórmula utiliza coeficientes binomiais, que são organizados no triângulo de Pascal. A fórmula geral para o desenvolvimento do binômio de Newton é (a + b)n = ΣCnapnbn-p, onde Cnp são os coeficientes binomiais e o somatório varia de p = 0 até p = n.
(1) O documento discute técnicas de prova de teoremas em matemática, como prova direta e prova por redução ao absurdo. (2) A prova direta assume a hipótese e tenta deduzir a conclusão, enquanto a prova por redução ao absurdo assume a negação da conclusão e tenta deduzir uma contradição. (3) Um exemplo ilustra cada técnica, provando que se x é par, então x+5 é ímpar.
1) Uma tautologia é uma proposição composta que tem apenas valores lógicos V na tabela verdade. Uma contradição tem apenas valores F e uma contingência tem valores V e F.
2) Exemplos de tautologias incluem p -> p e p <-> p. Exemplos de contradições incluem p ^ ~p.
3) O princípio da substituição tautológica diz que se P(p,q,r) for uma tautologia, então P(Po,Qo,Ro) também será, onde Po, Qo e Ro são proposições
A história da soma dos termos de uma P.A.Lucas Azevedo
Em 1777, o menino Carl Friedrich Gauss surpreendeu seu professor ao somar rapidamente os números de 1 a 100 sem mostrar cálculos. Ele percebeu que esses números formavam uma progressão aritmética e usou um método para somar os termos de qualquer PA finita. Esse método de Gauss foi posteriormente generalizado e o tornou um dos maiores matemáticos de todos os tempos.
O documento apresenta os conceitos básicos dos números inteiros:
1) Define os números inteiros a partir de propriedades axiomáticas das operações de adição e multiplicação;
2) Apresenta a ordenação dos inteiros através de axiomas, definindo os números positivos e a relação de ordem;
3) Prova que a raiz quadrada de 2 é irracional usando a propriedade da boa ordenação dos inteiros positivos.
O documento descreve técnicas criativas de medição usando proporções matemáticas do corpo humano e sombras. Explica como medir aproximadamente a altura de um prédio medindo a própria sombra e a sombra do prédio e calculando as proporções entre elas.
O documento discute como aproximar o logaritmo natural de 2 (ln(2)) com precisão de 10^-3 usando expansões de McLaurin. Sua solução sugere usar as expansões de ln(1+x) e ln(1-x) para obter ln((1+x)/(1-x)) = 2*(x + x^3/3 + ...) e igualar a (1+x)/(1-x) = 2 para obter x = 1/3 e assim aproximar ln(2) = 0,693.
Em geral, as crianças adoram os quebra-cabeças. Com cores fortes, formas desafiadoras, com muitas peças que variam entre si… são tantas as razões para essa atração que seria desnecessário discorrer sobre elas. Essa observação, entretanto, serve para chamar atenção para a potencialidade educacional deste material – especialmente para a educação infantil. Mas qual a relação entre quebra-cabeças e o conhecimento matemático?
Neste documento, um candidato responde uma pergunta sobre probabilidade em uma eleição municipal com 4 candidatos (A, B, C e D) com probabilidades de vitória de 0,4, 0,3, 0,2 e 0,1, respectivamente. Ao saber que o candidato C não pode mais vencer, a probabilidade do candidato B vencer é igual a 1 - e^(-1), que é aproximadamente 0,632.
O documento descreve um jogo chamado "Jogo do Câmbio" que pode ser usado por professores da educação infantil para ensinar matemática de forma lúdica. O jogo envolve o uso de moedas coloridas com valores decimais atribuídos e trocas entre os alunos. Ao final de cada transação, o professor explica o que aconteceu para ajudar os alunos a avaliarem melhor as propostas nas próximas rodadas.
Uma pessoa perguntou se os auto-espaços associados a autovalores distintos de uma transformação linear sempre são ortogonais. O resposta explicou que isso não é verdade, a menos que a transformação seja autoadjunta, caso em que os auto-espaços são ortogonais um ao outro. Um exemplo mostrou auto-espaços não ortogonais para uma transformação cuja multiplicidade algébrica dos autovalores era 1.
O documento discute erros comuns no estudo e possíveis soluções. Ele aborda que apenas ler não é suficiente para aprender, sendo necessário resumir ou resolver problemas. Também fala que estudar usando apenas um lado do cérebro não é eficaz, sendo melhor ouvir música ou se envolver em artes. Por fim, diz que revisar conteúdos antigos é importante para não esquecê-los.
Chamamos nota de corte o grau mínimo para ingressar no curso e na universidade de sua escolha. Assim, para identificá-la, procuramos o aproveitamento do último aprovado nos diferentes cursos para os quais foram abertas vagas no Enem do ano passado. Os dados ajudam você a projetar seu futuro no exame deste ano.
O documento discute círculos ortogonais e como calcular o comprimento da corda comum entre eles. Círculos ortogonais são aqueles cujas tangentes nos pontos de interseção são perpendiculares. O autor mostra que para círculos de raios 10 e 8 unidades, o comprimento da corda comum é 80/raiz(41) unidades.
O estudo da lógica estrutura a ciência matemática. De fato, o desenvolvimento de nossa disciplina se deu em compasso com o aprofundamento dos estudos da lógica. Nesse sentido, uma ferramenta básica da ciência da lógica é de conhecimento necessário para a evolução do saber matemático. Trata-se do estudo das proposições. Você sabe o que são elas?
O documento discute a importância da ordem correta de operações matemáticas. A equação 2 + 5 x 3 + 4 deve ser resolvida primeiro fazendo as multiplicações, resultando em 21, e não 25 se fizer as somas primeiro. A sigla PEMDAS mostra a ordem correta de cálculo para evitar erros.
O documento discute como converter um vetor expresso em coordenadas cilíndricas para coordenadas cartesianas. O vetor em questão é H = 20ap -10ao +3az. A resposta fornecida é que as coordenadas cartesianas de H em relação ao ponto P(5,2,-1) são Hx = 22,3, Hy = -1,875 e Hz = 3.
O documento explica como provar que se uma equação quadrática com coeficientes reais e complexos admite uma raiz real, então o produto dos coeficientes reais e da parte imaginária do termo independente é igual à soma dos quadrados da parte imaginária do termo independente e do produto do coeficiente real pelo coeficiente complexo do termo linear. A solução separa em dois casos: quando o coeficiente complexo do termo linear é nulo e quando não é nulo.
O documento apresenta três axiomas para resolver problemas: 1) considerar todos os dados fornecidos e verificar cada etapa da solução; 2) simplificar ao invés de complicar; e 3) começar por questões mais fáceis em provas ou tentar outro problema se estiver empacado, pois o subconsciente continua trabalhando.
O documento fornece a solução para o problema de quantos modos 3 casais podem se sentar ao redor de uma mesa circular de forma que marido e mulher não fiquem juntos. A solução divide o problema em casos mutuamente exclusivos e calcula o número de ocorrências de cada caso, somando no final para obter a resposta de 32 modos possíveis.
O documento discute uma dúvida sobre congruência modular. A solução mostra que (x^y)==(x^( y mod(p-1)*(q-1) ))(mod n) se p e q forem primos e n=p*q. Além disso, apresenta outras relações congruentes como x^(p*q) + x == x^p + x^q (mod p*q).
Caderno de Resumos XVIII ENPFil UFU, IX EPGFil UFU E VII EPFEM.pdfenpfilosofiaufu
Caderno de Resumos XVIII Encontro de Pesquisa em Filosofia da UFU, IX Encontro de Pós-Graduação em Filosofia da UFU e VII Encontro de Pesquisa em Filosofia no Ensino Médio
Slides Lição 10, Central Gospel, A Batalha Do Armagedom, 1Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 10, Central Gospel, A Batalha Do Armagedom, 1Tr24, Pr Henrique, EBD NA TV, Revista ano 11, nº 1, Revista Estudo Bíblico Jovens E Adultos, Central Gospel, 2º Trimestre de 2024, Professor, Tema, Os Grandes Temas Do Fim, Comentarista, Pr. Joá Caitano, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique
Egito antigo resumo - aula de história.pdfsthefanydesr
O Egito Antigo foi formado a partir da mistura de diversos povos, a população era dividida em vários clãs, que se organizavam em comunidades chamadas nomos. Estes funcionavam como se fossem pequenos Estados independentes.
Por volta de 3500 a.C., os nomos se uniram formando dois reinos: o Baixo Egito, ao Norte e o Alto Egito, ao Sul. Posteriormente, em 3200 a.C., os dois reinos foram unificados por Menés, rei do alto Egito, que tornou-se o primeiro faraó, criando a primeira dinastia que deu origem ao Estado egípcio.
Começava um longo período de esplendor da civilização egípcia, também conhecida como a era dos grandes faraós.
Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)Centro Jacques Delors
Estrutura de apresentação:
- Apresentação do Centro de Informação Europeia Jacques Delors (CIEJD);
- Documentação;
- Informação;
- Atividade editorial;
- Atividades pedagógicas, formativas e conteúdos;
- O CIEJD Digital;
- Contactos.
Para mais informações, consulte o portal Eurocid:
- https://eurocid.mne.gov.pt/quem-somos
Autor: Centro de Informação Europeia Jacques Delors
Fonte: https://infoeuropa.mne.gov.pt/Nyron/Library/Catalog/winlibimg.aspx?doc=48197&img=9267
Versão em inglês [EN] também disponível em:
https://infoeuropa.mne.gov.pt/Nyron/Library/Catalog/winlibimg.aspx?doc=48197&img=9266
Data de conceção: setembro/2019.
Data de atualização: maio-junho 2024.
Atividade letra da música - Espalhe Amor, Anavitória.Mary Alvarenga
A música 'Espalhe Amor', interpretada pela cantora Anavitória é uma celebração do amor e de sua capacidade de transformar e conectar as pessoas. A letra sugere uma reflexão sobre como o amor, quando verdadeiramente compartilhado, pode ultrapassar barreiras alcançando outros corações e provocando mudanças positivas.
Atividade letra da música - Espalhe Amor, Anavitória.
ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - PROBLEMA INTERESSANTE DE PA
1. ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES
PUC-RIO - PROBLEMA INTERESSANTE DE PA
ClAudio Buffara – Rio de Janeiro
2. Na publicação de hoje veremos a resolução de um problema bem interessante
publicado na lista PUC-RIO.
3. DÚVIDA
Encontrar a condição necessária e suficiente que deve ser verificada para que
qualquer termo de uma progressão aritmética infinita seja a soma de dois
termos, da mesma progressão.
4. SOLUÇÃO
Condição necessária e suficiente: 0 pertence à PA.
Se 0 pertence à PA, então, de duas uma:
a PA é constante (razão = 0)
ou
a razão será igual ao menor termo positivo.
Em todo caso, os termos da PA serão da forma n*r (r = razão) e, portanto, todo
termo será soma de dois termos (por exemplo, n*r = (n-1)*r + 1*r).
5. Por outro lado, se cada termo é igual a soma de dois outros termos, então,
pondo:
a = menor termo não-negativo da PA, temos que, dado um inteiro n, vão existir
inteiros x e y tais que:
a + n*r = (a + x*r) + (a + y*r) ==>
a = (n - x - y)*r ==>
r | a ==>
r <= a.
Se r < a, então a - r pertence à PA e é positivo ==>
contradição, pois a é o menor termo não-negativo da PA ==>
r = a ==>
0 = a - r pertence à PA.
Confira a discussão completa em:
http://www.mat.puc-rio.br/~obmlistas/obm-l.200407/msg00026.html