Em matemática, existem muitas identidades logarítmicas. O seguinte é uma compilação dos notáveis destes, muitos dos quais são usados para fins computacionais.
Identidades triviais
| porque | |
| porque | |
Explicações
Por definição, sabemos que:
- ,
Onde? ou .
Configuração ,
podemos ver isso:
. Assim, substituindo esses valores na fórmula, vemos que:
O que nos traz a primeira propriedade.
Configuração ,
podemos ver isso:
. Assim, substituindo esses valores na fórmula, vemos que:
O que nos traz a segunda propriedade.
Muitas identidades matemáticas são chamadas de triviais , apenas porque são relativamente simples (normalmente da perspectiva de um matemático experiente).
Isso não quer dizer que chamar uma identidade ou fórmula de trivial significa que não é importante.
Cancelamento de exponenciais
Logaritmos e exponenciais com a mesma base se cancelam. Isso é verdade porque logaritmos e exponenciais são operações inversas – da mesma forma que multiplicação e divisão são operações inversas, e adição e subtração são operações inversas.
Ambos os acima são derivados das seguintes duas equações que definem um logaritmo:
(note que nesta explicação, as variáveis de e pode não estar se referindo ao mesmo número)
Olhando para a equação , e substituindo o valor para de
, temos a seguinte equação:
O que nos dá a primeira equação.
Outra maneira mais áspera de pensar sobre isso é que ,
e que isso "" .
Olhando para a equação , e substituindo o valor para de , temos a seguinte equação:
O que nos dá a segunda equação.
Outra maneira mais áspera de pensar sobre isso é que ,
e que algo "" .
Usando operações mais simples
Os logaritmos podem ser usados para facilitar os cálculos. Por exemplo, dois números podem ser multiplicados apenas usando uma tabela de logaritmos e adicionando. Estas são frequentemente conhecidas como propriedades logarítmicas, que estão documentadas na tabela abaixo. As três primeiras operações abaixo assumem que x = bc e/ou y = bd, então que logb(x) = c e < span class="texhtml">logb(y) = d. Derivações também usam as definições de log x = blogb (x) e x = logb sub>(bx).
|
because |
|
|
because |
|
|
because |
|
|
because |
|
|
because |
|
|
because |
|
Onde? , e são números reais positivos e e e são números reais.
As leis resultam do cancelamento de exponenciais e da lei apropriada dos índices. Começando com a primeira lei:
A lei das potências explora outra das leis dos índices:
A lei relativa aos quocientes é a seguinte:
Da mesma forma, a lei da raiz é derivada reescrevendo a raiz como uma potência recíproca:
Derivações de produto, quociente e regras de potência
Estas são as três principais leis/regras/princípios do logaritmo, a partir das quais as outras propriedades listadas acima podem ser provadas. Cada uma dessas propriedades logarítmicas corresponde à sua respectiva lei de expoente, e suas derivações/provas dependerão desses fatos. Existem várias maneiras de derivar/provar cada lei do logaritmo – este é apenas um método possível.
Logaritmo de um produto
Para declarar o logaritmo de uma lei de produto formalmente:
Derivação:
Vamos. , onde ,
e deixar . Queremos relacionar as expressões e . Isso pode ser feito mais facilmente por reescrever em termos de exponenciais, cujas propriedades já sabemos. Além disso, já que vamos nos referir a e muitas vezes, vamos dar-lhes alguns nomes variáveis para tornar o trabalho com eles mais fácil: Vamos. e deixar .
Reescrever estes como exponenciais, vemos que e . A partir daqui, podemos nos relacionar (i.e. ) e (i.e. ) utilizando leis exponentes como
Para recuperar os logaritmos, aplicamos para ambos os lados da igualdade.
O lado direito pode ser simplificado usando uma das propriedades de logaritmo de antes: sabemos que , dando
Agora resubstituímos os valores para e em nossa equação, então nossa expressão final é apenas em termos de , e .
Isso completa a derivação.
Logaritmo de um quociente
Para declarar a lei do logaritmo de um quociente formalmente:
Derivação:
Vamos. , onde ,
e deixar .
Queremos relacionar as expressões e . Isso pode ser feito mais facilmente por reescrever em termos de exponenciais, cujas propriedades já sabemos. Além disso, já que vamos nos referir a e muitas vezes, vamos dar-lhes alguns nomes variáveis para tornar o trabalho com eles mais fácil: Vamos. e deixar .
Reescrevendo estes como exponenciais, vemos que: e . A partir daqui, podemos nos relacionar (i.e. ) e (i.e. ) utilizando leis exponentes como
Para recuperar os logaritmos, aplicamos para ambos os lados da igualdade.
O lado direito pode ser simplificado usando uma das propriedades de logaritmo de antes: sabemos que , dando
Agora resubstituímos os valores para e em nossa equação, então nossa expressão final é apenas em termos de , e .
Isso completa a derivação.
Logaritmo de uma potência
Para declarar o logaritmo de uma lei de potência formalmente,
Derivação:
Vamos. , onde , let e deixar . Para esta derivação, queremos simplificar a expressão . Para fazer isso, começamos com a expressão mais simples . Desde que vamos usar muitas vezes, vamos defini-lo como uma nova variável: Vamos. .
Para manipular mais facilmente a expressão, reescrevemo-la como exponencial. Por definição, , então nós temos
Semelhante às derivações acima, aproveitamos outra lei exponencial. A fim de ter em nossa expressão final, levantamos ambos os lados da igualdade ao poder de :
onde usamos a lei exponencial .
Para recuperar os logaritmos, aplicamos para ambos os lados da igualdade.
O lado esquerdo da igualdade pode ser simplificado usando uma lei de logaritmo, que afirma que .
Substituto no valor original para , rearranjo e simplificação dá
Isso completa a derivação.
Mudando a base
Para indicar formalmente a alteração da fórmula do logaritmo base:
Esta identidade é útil para calcular logaritmos em calculadoras. Por exemplo, a maioria das calculadoras possui botões para ln e para log10, mas nem todas as calculadoras possuem botões para o logaritmo de uma base arbitrária.
Prova/derivação
Vamos. , onde Vamos. . Toma. e são as duas bases que vamos usar para os logaritmos. Eles não podem ser 1, porque a função logaritmo não é bem definida para a base de 1. O número será o que o logaritmo está avaliando, então deve ser um número positivo. Uma vez que vamos lidar com o termo com bastante frequência, definimo-lo como uma nova variável: Vamos. .
Para manipular a expressão com mais facilidade, ela pode ser reescrita como uma exponencial.
Aplicação para ambos os lados da igualdade,
Agora, usando o logaritmo de uma propriedade de poder, que afirma que ,
Isolamento , nós obtemos o seguinte:
Resubstituto voltar para a equação,
Isso completa a prova de que .
Esta fórmula tem várias consequências:
Onde? é qualquer permutação dos subscritos 1,... n. Por exemplo
Soma/subtração
A seguinte regra de soma/subtração é especialmente útil na teoria da probabilidade quando se está lidando com uma soma de log-probabilidades:
| porque
| |
| porque
| |
Note que a identidade de subtração não é definida se , uma vez que o logaritmo de zero não é definido. Observe também que, quando a programação, e pode ter que ser ligado no lado direito das equações se para evitar perder o "1 +" devido a erros de arredondamento. Muitas linguagens de programação têm um específico log1p(x)
função que calcula sem subfluxo (quando é pequeno).
De forma mais geral:
Expoentes
Uma identidade útil envolvendo expoentes:
Outras/identidades resultantes
Desigualdades
Com base e
Todos são precisos em torno de , mas não para grandes números.
Identidades de cálculo
Limites
O último limite geralmente é resumido como "logaritmos crescem mais lentamente do que qualquer potência ou raiz de x".
Derivadas de funções logarítmicas
Definição integral
Integrais de funções logarítmicas
Para lembrar integrais superiores, é conveniente definir
Onde? é o nO quê? número harmônico:
Então
Aproximando números grandes
As identidades dos logaritmos podem ser usadas para aproximar números grandes. Observe que logb(a) + logb< /sub>(c) = logb(ac), onde a , b e c são constantes arbitrárias. Suponha que alguém queira aproximar o 44º primo de Mersenne, 232.582.657 −1. Para obter o logaritmo de base 10, multiplicaríamos 32.582.657 por log10(2), obtendo 9.808.357,09543 = 9.808.357 + 0,09543. Podemos então obter 109.808.357 × 100,09543 ≈ 1,25 × 109.808.357.
Da mesma forma, os fatoriais podem ser aproximados pela soma dos logaritmos dos termos.
Identidades logarítmicas complexas
O logaritmo complexo é o análogo do número complexo da função logaritmo. Nenhuma função de valor único no plano complexo pode satisfazer as regras normais para logaritmos. No entanto, uma função multivalorada pode ser definida que satisfaça a maioria das identidades. É comum considerar isso como uma função definida em uma superfície de Riemann. Uma versão de valor único, chamada de valor principal do logaritmo, pode ser definida como descontínua no eixo x negativo e é igual à versão de valores múltiplos em um único corte de ramo.
Definições
No que segue, uma primeira letra maiúscula é usada para o valor principal das funções, e a versão minúscula é usada para a função de valores múltiplos. A versão de valor único de definições e identidades é sempre fornecida primeiro, seguida por uma seção separada para as versões de valor múltiplo.
- In.R) é o logaritmo natural padrão do número real R.
- Arg(zangão.) é o valor principal da função arg; seu valor é restrito a (D, D]. Pode ser computado usando Arg(x + Olá.) = atan2(Sim., x).
- Log(zangão.) é o valor principal da função logaritmo complexa e tem parte imaginária no intervalo (D, D].
A versão de múltiplos valores de log(z) é um conjunto, mas é mais fácil escrevê-lo sem colchetes e usá-lo nas fórmulas a seguir regras óbvias.
- log(zangão.) é o conjunto de números complexos v que satisfazem ev = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = zangão.
- Arg(zangão.) é o conjunto de valores possíveis da função arg aplicada zangão..
Quando k é qualquer número inteiro:
Constantes
Formas de valor principais:
Múltiplos formulários de valor, para qualquer k inteiro:
Soma
Formas de valor principais:
Formulários de vários valores:
Poderes
Uma potência complexa de um número complexo pode ter muitos valores possíveis.
Formulário de valor principal:
Formulários de vários valores:
Onde k1, k< sub>2 são quaisquer números inteiros:
Más resultados...