Uma [i]identidade[/i] é uma equação que é satisfeita para todos os valores de suas variáveis. Um exemplo simples é a identidade [br][br][center][math](x+y)^2=x^2+2xy+y^2[/math][/center][br]conhecida como o [i]quadrado da soma, [/i]que vale para todos os valores de [math]x[/math] e [math]y[/math]. Por exemplo, se [math]x=1[/math] e [math]y=2[/math], temos do lado esquerdo da equação (também conhecido como [i]primeiro membro[/i] da equação) o valor[br][br][center][math](1+2)^2=3^2=9[/math][/center][br]enquanto do lado direito (o [i]segundo membro[/i] da equação) temos o valor [br][br][center][math]1^2+2\cdot 1\cdot 2 +2^2=1+4+4=9.[/math][/center][br]Que essa equação vale para qualquer valor das variáveis é algo que deve ser demonstrado, como podemos ver abaixo:[br]

Quando provamos uma identidade, podemos usá-la sempre que necessário para substituir uma expressão que tenha a mesma forma do primeiro membro por outra que tenha a mesma forma do segundo, ou vice-versa, o que pode nos ajudar a resolver determinado problema. Por exemplo, se [math]a+b=11[/math] e [math]ab=28[/math], quanto vale [math]a^2+b^2[/math]? Ora, pela identidade do quadrado da soma, [br][br][center][br][math](a+b)^2=a^2+2ab+b^2[/math][/center][br]donde[br][br][center][br][math]11^2=a^2+2\cdot 28+b^2[/math][/center][br][br]ou seja, [math]a^2+b^2=11^2-2\cdot 28=121-56=65[/math]. [br]Note que para resolver o problema, não precisamos nem descobrir os valores de [math]a[/math] e [math]b[/math]. Só precisamos nos lembrar que há uma identidade que envolve [math]a+b[/math], [math]ab[/math] e [math]a^2+b^2[/math]. [i]Portanto, quanto maior for nosso conhecimento das identidades, maior a nossa chance de aplicá-las em problemas[/i]. Antes de vermos mais algumas identidades, vejamos alguns exemplos de [i]não-identidades[/i] que, infelizmente, alguns insistem ainda em utilizar. [br][br][b]Antiexemplos: [/b][br][list=1][br][*] [math](a+b)^2=a^2+b^2 [/math][br][/*][*] [math]\sqrt{a+b}=\sqrt{a}+\sqrt{b} [/math][br][/*][*] [math]\frac1{a+b}=\frac1{a}+\frac1{b} [/math][br][/*][/list]Nenhuma dessas equações é uma identidade, pois é possível encontrar valores para [math]a[/math] e [math]b[/math] que não resultam em valores iguais nos dois membros. Por exemplo, [math](1+1)^2=4\neq 2=1^2+1^2[/math], [math]\sqrt{1+1}=\sqrt{2}\neq 2=\sqrt{1}+\sqrt{1}[/math] e [math]\frac{1}{1+1}=\frac{1}{2}\neq 2=\frac11+\frac11[/math].[br][br]Voltando às identidades de verdade, utilizando o quadrado da soma, podemos demonstrar uma identidade para o [i]cubo da soma:[/i]

Essa identidade possui uma interessante interpretação geométrica. Manipule a figura abaixo para entender o que acontece.

Qual é a expansão de [math]\left(x+y\right)^n[/math] quando [math]n>3[/math]? Existe um padrão simples para os coeficientes que aparecem na expansão de [math]\left(x+y\right)^n[/math], conhecido como [i]Triângulo de Pascal[/i]. Manipule a figura abaixo para descobrir o padrão.

Em geral, pode-se provar que [br][center][math]\left(x+y\right)^n=\binom{n}{0}x^n+\binom{n}{1}x^{n-1}y+\binom{n}{2}x^{n-2}y^2+\cdots+\binom{n}{n-1}xy^{n-1}+\binom{n}{n}y^n[/math],[/center][br]onde [center][math][br]\binom{n}{i}=\frac{n!}{(n-i)!i!}[br][/math][/center]é chamado [i]número binomial. [/i]Esse resultado é conhecido como [i]binômio de Newton[/i].[br]Lembrando que [math][br]\binom{n}{i}[/math] conta o número de subconjuntos com [math]i[/math] elementos no conjunto [math]\{1,2,3,\cdots,n\}[/math], podemos entender este resultado. Considere o coeficiente de [math]xy^2[/math] em[br][center][math][br]{{\begin{aligned}(x+y)^{3}&=(x+y)(x+y)(x+y)\\&=xxx+xxy+xyx+{\underline {xyy}}+yxx+{\underline {yxy}}+{\underline {yyx}}+yyy\\&=x^{3}+3x^{2}y+{\underline {3xy^{2}}}+y^{3}.\end{aligned}}} [br][/math][/center][br]Ele é igual a [math]{{\tbinom {3}{2}}=3} [/math] porque existem três parcelas envolvendo [math]x[/math] e [math]y[/math] com exatamente 1 [math]x[/math] e 2 [math]y[/math]'s, quais sejam,[br][center][math][br]{\displaystyle xyy,\;yxy,\;yyx,}[br][/math][/center][br]correspondendo aos três subconjuntos de [math]\{ 1, 2, 3 \}[/math] com dois elementos, [br][center][math][br]{\{2,3\},\;\{1,3\},\;\{1,2\},} [br][/math][/center][br]onde cada subconjunto especifica as posições dos [math]y[/math]'s nos termos correspondentes.

Outra identidade importante é a [i]diferença de quadrados:[br][center][math]x^2-y^2=\left(x-y\right)\left(x+y\right)[/math][/center][/i]ou a [i]diferença de quadrados é o produto da soma pela diferença[/i]. Acompanhe a demonstração abaixo.

De maneira semelhante, podemos obter a [i]diferença de cubos[/i] e a [i]diferença de potências:[/i]

Observando o que acontece no exemplo acima, podemos entender o que acontece em geral para [math]n>2[/math]. Quando multiplicamos [math]\left(x-y\right)[/math] por uma expressão da forma [br][center][math][br]x^n+x^{n-1}y+x^{n-2}y^2+\cdots+xy^{n-1}+y^n[br][/math][/center][br](note que as potências do [math]x[/math] decrescem e as potências do [math]y[/math] crescem), [br]as parcelas que contém [math]x[/math] e [math]y[/math] se cancelam, sobrando apenas [br][center][math][br]x^{n+1}-y^{n+1}.[br][/math][/center][br] Assim, para [math]n=3[/math] temos que[br][center][math]x^4-y^4=(x-y)(x^3+x^2y+xy^2+y^3)[/math][/center][br]

A partir das identidades básicas acima, podemos obter muitas outras através de [i]substituição de variáveis[/i]. Por exemplo, fazendo [math]x=u^2[/math] e [math]y=v^2[/math] e substituindo essas variáveis na identidade da diferença de quadrados temos que[br][center][math](u^2)^2-(v^2)^2=(u^2-v^2)(u^2+v^2)[/math][/center][br]donde concluímos que[br][center][math]u^4-v^4=(u-v)(u+v)(u^2+v^2)[/math][/center][br]que é outra identidade envolvendo a diferença de quartas potências.[br][br]Por outro lado, se fizermos [math]x=\sqrt{u}[/math] e [math]y=\sqrt{v}[/math] e substituirmos na mesma identidade da diferença de quadrados, obtemos que[br][center][math](\sqrt{u})^2-(\sqrt{v})^2=(\sqrt{u}-\sqrt{v})(\sqrt{u}+\sqrt{v})[/math][/center][br]donde concluímos que[br][center][math]u-v=(\sqrt{u}-\sqrt{v})(\sqrt{u}+\sqrt{v})[/math].[/center]Entretanto, perceba que a equação não é mais válida para quaisquer valores de [math]u[/math] e [math]v[/math], mas apenas quando [math]u\ge0[/math] e [math]v\ge0[/math], pois só podemos extrair a raiz quadrada de números não-negativos. Portanto, a equação acima é uma identidade apenas se considerarmos que as variáveis [math]u[/math] e [math]v[/math] são maiores ou iguais a zero. Muitas vezes essas condições adicionais sobre as variáveis são assumidas implicitamente. [br]

Mostre as seguintes identidades:[br][list=1][br][*][math] (a-b)^2=a^2-2ab+b^2[/math][/*][br][*][math] a^3+b^3=(a+b)(a^2-ab+b^2)[/math][/*][br][*][math] x^2+bx=\left(x+\frac{b}{2}\right)^2-\frac{b^2}{4}[/math][/*][br][*][math] (u-1)=(\sqrt[3]{u}-1)(\sqrt[3]{u^2}+\sqrt[3]{u}+1)[/math][/*][br][*][math] (a+b+c)^2=a^2+b^2+c^2+2ab+2ac+2bc[/math][/*][br][*][math] a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-ac-bc)[/math][/*][br][/list]