Matemática elementar/Logaritmos: diferenças entre revisões

[edição verificada][edição verificada]
Conteúdo apagado Conteúdo adicionado
Sem resumo de edição
Linha 89:
 
== Operações com logaritmos ==
Existem várias regras que visam facilitar a resolução de logaritmos. Para as demonstrações a seguir, consideraremos '''log<sub>c</sub>a = x''', e '''log<sub>c</sub>b = y'''. Assim, '''c<sup>x</sup> = a''', e '''c<sup>y</sup> = b'''.
 
=== Soma e subtração ===
{{ênfase|A soma de logaritmos de mesma base é igual ao logaritmo do produto de seus logaritmandos:
:<math>\log_{c}a + \log_{c}b = \log_{c}(a \cdot b)</math>}}
 
Demonstração:
<math>\log_{c}a + \log_{c}b = \log_{c}(a \cdot b)</math>
 
*Podemos utilizar a propriedade do produto de potências:
<math>\log_{c}a - \log_{c}b = \log_{c}(a / b)</math>
: <math>a \cdot b = c^x \cdot c^y = c^{(x + y)}\,</math>
*Convertemos o último resultado de potência para logaritmo:
: <math>\log_c (c^x \cdot c^y) = x + y\,</math>
*Como c<sup>x</sup> = a, c<sup>y</sup> = b, log<sub>c</sub>a = x e log<sub>c</sub>b = y, substiuímos termos correspondentes:
: <math>\log_c (a \cdot b) = \log_c a + \log_c b\,</math>
 
=== Multiplicação por constante ===
{{ênfase|O produto de um logaritmo por uma constante (ou qualquer função real) é o logaritmo do logaritmando elevado a esta constante:
:<math>k \cdot \log_{c}a = \log_{c}a^k</math>}}
 
Demonstração:
<math>k \cdot \log_{c}a = \log_{c}a^k</math>
 
*A partir de:
=== Mudança de base ===
: <math>a^k = {(c^x)}^k = c^{(k \cdot x)}\,</math>
*Transformamos o último resultado em logaritmo:
: <math>\log_c {(c^x)}^k = k \cdot x\,</math>
*Substituindo os termos correspondentes:
: <math>\log_c a^k = k \cdot \log_c a\,</math>
 
=== Subtração ===
<math>\log_{b}a = \frac{\log_{c}a}{\log_{c}b}</math>, para qualquer que seja a base <math>c</math> (obedecendo, obviamente, às restrições de domínio apresentadas acima).
{{ênfase|A diferença de logaritmos de mesma base é igual ao quociente de seus logaritmandos:
:<math>\log_{c}a - \log_{c}b = \log_{c} \frac{a}{b}</math>}}
 
Demostração:
=== Demonstrações ===
 
*Podemos transformar a expressão na seguinte forma:
Sejam:
: <math>x\log_{c}a =- \log_clog_{c}b = \log_{c}a + (-1 \,log_{c}b)</math>
*Assim, temos uma soma de logaritmos, sendo que um deles está multiplicado por uma constante (-1). Aplicaremos, então, a propriedade do produto por uma constante:
: <math>y = \log_c b\,</math>
:<math>\log_{c}a + (-1 \log_{c}b) = \log_{c}a + \log_{c}b^{-1}</math>
*Utilizado a propriedade do expoente negativo, teremos:
:<math>\log_{c}a + \log_{c}b^{-1} = \log_{c}a + \log_{c} \frac {1}{b}</math>
*Considerando a propriedade da soma de logaritmos:
:<math>\log_{c}a + \log_{c} \frac {1}{b} = \log_{c}a \cdot \frac {1}{b}</math>
*Portanto:
:<math>\log_{c} \frac {a}{b} = \log_{c}a - \log_{c}b</math>
 
=== Mudança de base ===
Então:
{{ênfase|Um logaritmo A qualquer é igual a uma fração de dois logaritmos de mesma base, na qual o logaritmando do denominador é igual ao logaritmando de A, e o logaritmando do numerador é igual a base de A:
: <math>c^x = a\,</math>
: <math>c^yA = \log_{b}a = \,frac{\log_{c}a}{\log_{c}b}</math>
Sendo que c>0.}}
 
Aplicando propriedades da exponenciação:
: <math>c^x \cdot c^y = c^{(x + y)}\,</math>
: <math>c^x / c^y = c^{(x - y)}\,</math>
: <math>{(c^x)}^k = c^{(k \cdot x)}\,</math>
: <math>(c^y)^{(x/y)} = c^x\,</math>
 
* ''Log do produto''
Da expressão
: <math>c^x \cdot c^y = c^{(x + y)}\,</math>
concluímos que:
: <math>\log_c (c^x \cdot c^y) = x + y\,</math>
portanto:
: <math>\log_c (a \cdot b) = \log_c a + \log_c b\,</math>
 
* ''Log da fração''
Analogamente, de:
: <math>c^x / c^y = c^{(x - y)}\,</math>
concluímos que:
: <math>\log_c (c^x / c^y) = x - y\,</math>
portanto:
: <math>\log_c (a / b) = \log_c a - \log_c b\,</math>
 
* ''Log da potência''
A partir de:
: <math>{(c^x)}^k = c^{(k \cdot x)}\,</math>
chegamos a:
: <math>\log_c {(c^x)}^k = k \cdot x\,</math>
ou seja:
: <math>\log_c a^k = k \cdot \log_c a\,</math>
 
*Consideraremos os valores para a demonstração:
* ''Mudança de base''
:<math>\log_c a = x \to c^x = a</math> (I)
Da última expressão:
: <math>(\log_c b = y \to c^y)^{(x/y)} = b \to c = b^x{ \,frac {1} {y}}</math> (II)
chega-se a:
: <math>b^{(x/y)} = a\,</math>
: <math>a = b^{(x/y)}\,</math>
ou seja:
: <math>\log_b a = x / y\,</math>
e, finalmente:
: <math>\log_b a = \frac{\log_c a}{\log_c b}\,</math>
 
Demonstração:
E temos demonstrações para as quatro propriedades básicas dos logaritmos.
*Para chegar ao resultado da expressão, tomamos o seguinte valor inicial:
:<math> b^1 = b \to \log_b b = 1 </math>
*Multiplicaremos as duas últimas equações por x/y:
:<math> \frac {x} {y} \log_b b = \frac {x} {y} </math>
*Aplicaremos a propriedade da multiplicação por constante na primeira equação:
:<math> \log_b b^{\frac {x} {y}} = \frac {x} {y} </math>
*Usaremos a propriedade da potência de uma potência (multiplicação de expoentes):
:<math> \log_b (b^{ \frac {1} {y}})^{x} = \frac {x} {y} </math>
*Substituímos com o resultado em (II):
:<math> \log_b c^x = \frac {x} {y} </math>
*Sabemos c<sub>x</sub> em (I):
:<math> \log_b a = \frac {x} {y}</math>
*Substituimos x pela primeira equação de (I) e y pela primeira equação de (II):
:<math> \log_b a = \frac {\log_c a} {\log_c b}</math>
Que prova a igualdade da propriedade.
 
== Equações envolvendo logaritmos ==