Que, pela hipótese, nos é permitido substituir uma porção da expressão acima: [tex]= x (x^m - y^m) + (x-y) \cdot y^m\\= x^{m+1} - xy^m + xy^m - y^{m+1}\\= x^{m+1} - y^{m+1}[/tex]
Expressão que está no formato desejado.
Como [tex]p(1)[/tex] é válido e [tex]p(m) \Longrightarrow p(m+1)[/tex], se pode afirmar que a proposição é válida para todo número natural.
3 votes Thanks 4
Lukyo
Para aparecer em cima você pode usar \displaystyle no início da sua equação (não necessariamente antes do somatório)
Lukyo
Apareceram quase todos, só o somatório de para n = 1 que ainda está bugado. O primeiro da resposta
Lukyo
E na hipótese de indução, p(m) é uma igualdade: x^m - y^m = (x - y) * ...
Lista de comentários
Verified answer
Verifiquemos se a proposição é válida com [tex]n = 1[/tex] :
[tex]x^1 - y^1 = (x-y) \sum\limits_{k=1}^{1} x^{1-k}y^{k-1}\\\\x - y = (x-y) x^0y^0\\x-y = x-y[/tex]
[tex]p(1)[/tex] é válida.
Hipótese de indução: supor que dado um [tex]m \geq 1[/tex] inteiro qualquer, vale [tex]p(m)[/tex] :
[tex]x^m - y^m = (x-y) \sum\limits_{k=1}^{m} x^{m-k}y^{k-1}[/tex]
Passo indutivo: demonstrar que é válido também para [tex]p(m+1)[/tex] :
[tex](x-y) \sum\limits_{k=1}^{m+1} x^{m+1-k}y^{k-1}\\\\\\= (x-y) (\sum\limits_{k=1}^{m} x^{m+1-k}y^{k-1} + x^{m+1 - (m+1)}y^{(m+1) - 1})\\\\\\= (x-y) (\sum\limits_{k=1}^{m} x \cdot x^{m-k}y^{k-1} + y^m)\\\\\\= (x-y)(x(\sum\limits_{k=1}^{m} x^{m-k}y^{k-1}) + y^m)\\\\\\= x (x-y) (\sum\limits_{k=1}^{m} x^{m-k}y^{k-1}) + (x-y) \cdot y^m[/tex]
Que, pela hipótese, nos é permitido substituir uma porção da expressão acima:
[tex]= x (x^m - y^m) + (x-y) \cdot y^m\\= x^{m+1} - xy^m + xy^m - y^{m+1}\\= x^{m+1} - y^{m+1}[/tex]
Expressão que está no formato desejado.
Como [tex]p(1)[/tex] é válido e [tex]p(m) \Longrightarrow p(m+1)[/tex], se pode afirmar que a proposição é válida para todo número natural.