Mostrar código-fonte de Logarítmos

<span style="font-size:8pt"><b>Referência : </b> Tavares, J., Geraldo, A., (2017) '' Logarítmos'', [https://rce.casadasciencias.org Rev. Ciência Elem.], V5(1):068
<br>
<span style="font-size:8pt"><b>Autor</b>: <i>João Nuno Tavares e Ângela Geraldo</i></span><br>
<span style="font-size:8pt"><span style="font-size:8pt"><b>Editor</b>: <i>[[Usu&aacute;rio:Jfgomes47|José Ferreira Gomes]]</i></span><br>
<span style="font-size:8pt"><b>DOI</b>: <i>[[https://doi.org/10.24927/rce2017.068 https://doi.org/10.24927/rce2017.068]]</i></span><br>
<html><a href="https://rce.casadasciencias.org/rceapp/static/docs/artigos/2017-068.pdf" target="_blank">
                <img src="https://rce.casadasciencias.org/static/images/layout/pdf.png" alt="PDF Download"></a></html>
----

__TOC__


==Definição==

Dado um número real \(a>0\), o '''logaritmo''' de um número \(x>0\) na ''base'' \(a\) é o expoente \(y\) a que se deve elevar \(a\) de tal modo que \(a^y=x\). Escreve-se \(y=\log_a x\) e lê-se \(y\) é o logaritmo de \(x\) na base \(a\).

Podemos então escrever que \(\log_a x=y \, \Leftrightarrow \, a^y=x\).


Deduz-se desta definição e das propriedades das [[Potências| potências]] a seguinte propriedade dos logaritmos:

\(\log_a (ux)=\log_a u + \log_a x\).

Para provar esta propriedade tomemos \(\log_a u=v\) e \(\log_a x=y\), ou seja, \(a^v=u\) e \(a^y=x\). Temos então que,

\(a^v \times a^y=ux \,\Leftrightarrow \, a^{v+y}=ux \, \Leftrightarrow \, v+y=\log_a (ux) \, \Leftrightarrow \, \log_a u + \log_a x=\log_a (ux)\).


==Logaritmos a partir de potências de expoente irracional==

Tendo em conta a definição de logaritmo apresentada anteriormente, que teve por base a definição de potência e suas propriedades, e que define logaritmo como expoente, qual seria o logaritmo de 3 na base 10?

Pela definição anterior, \(\log_{10} 3\) é o número \(y\) tal que \(10^y=3\).

Suponhamos que \(\displaystyle \log_{10} 3=y=\frac{r}{s}\) fosse um número racional. Teríamos então que:

\(\displaystyle 10^{{\Large\frac{r}{s}}}=3\) , ou seja, \(10^r=3^s\) o que é absurdo, uma vez que \(10^r\) é um \(1\) seguido de \(r\) zeros, e uma potência de \(3\) nunca toma essa forma. Portanto, concluímos que \(\log_{10} 3\) não pode ser um número racional.

Como logaritmo de \(3\) na base \(10\) não é um número racional, como acabámos de ver, qual será o número \(y\) irracional tal que \(10^y=3\)?

Antes de mais, qual será o significado de uma potência de expoente irracional? Por exemplo, qual será o significado de \(10^{\sqrt{3}}\), a \(\sqrt{3}\)-ésima potência de 10?

Uma definição satisfatória é a seguinte. Tomando os valores aproximados de \(\sqrt{3}\):

\(1,7;\,\,1,73;\,\,1,732;\,\,1,73205;\,\,1,7320508;\,\,1,732050807\), etc., 

podemos definir 

\(10^{1,7}\), \(10^{1,73}\), \(10^{1,732}\), \(10^{1,73205}\),\(10^{1,7320508}\),\(10^{1,732050807}\), etc.,

como os valores aproximados de \(10^{\sqrt{3}}\). Assim, quanto mais próximo o número racional \(b\) esteja de \(\sqrt{3}\) mais próximo \(10^b\) está de \(10^{\sqrt{3}}\).


Retomando o nosso exemplo, \(\log_{10} 3\) seria  aproximadamente igual a \(0,478\) pois \(10^{0,478} \simeq 3\).

Apesar da abordagem anterior ser intuitiva e plausível, o desenvolvimento rigoroso da teoria das potências com expoente real (racional e irracional), necessário à formalização da noção de logaritmo,   é um processo longo e tedioso.

==Ver também==

* [[Potências]]
* [[Função logarítmica]]
* [[Função exponencial]]


==Referências==

* LIMA, Elon Lages (1991), ''Logaritmos'' , Instituto de Matemática Pura, VITAE Apoio à cultura, educação e promoção social.






---- <br>Criada em 7 de Março de 2013<br> Revista em 2 de Maio de 2013<br> Aceite pelo editor em 31 de Março de 2017<br>
[[Category:Matemática]]