Iloraz logarytmów

[mol_ksiazkowy]

Udowodnić, że ciąg \(\displaystyle{ \frac{\log(n+1)}{\log(n)} }\) jest malejący.

[a4karo]

Aż się prosi, żeby skorzystać z faktu, że \(\displaystyle{ \log\log x}\) jest wklęsła dla \(\displaystyle{ x>1}\), ale okazuje się, że można prościej:

\(\displaystyle{ \frac{\log(n+1)}{\log n}-1=\frac{\log(n+1)-\log(n)}{\log(n)}=\frac{\log\left(1+\frac1n\right)}{\log(n)}}\) maleje, bo licznik maleje a mianownik rośnie

[mol_ksiazkowy]

A inne sposoby ?

[a4karo]

Z tw. Lagrange'a
\(\displaystyle{ \log\frac{\log(n+1)}{\log(n)}=\log\log(n+1)-\log\log(n)=\frac{1}{\xi_1\log \xi_1}}\) gdzie \(\displaystyle{ n<\xi_1<n+1}\)
i
\(\displaystyle{ \log\frac{\log(n+2)}{\log(n+1)}=\log\log(n+2)-\log\log(n+1)=\frac{1}{\xi_2\log \xi_2}}\) gdzie \(\displaystyle{ n+1<\xi_2<n+2}\).
A ponieważ \(\displaystyle{ x\log x}\) rośnie ....

[mol_ksiazkowy]

Kiedy można uogólnić dla \(\displaystyle{ f}\) o wzroście słabszym niż liniowy

[a4karo]

Każda funkcja taka że `\log f` jest wklęsła

[Dilectus]

Rozpatrzmy funkcję \(\displaystyle{ y= \frac{\log(x+1)}{\log(x)} }\)

Dla \(\displaystyle{ x\in \mathbb{N}}\) funkcja ta przyjmuje wartości ciągu \(\displaystyle{ a _{n} =\frac{\log(n+1)}{\log(n)} }\)

Łatwo pokazać, że ta funkcja jest malejąca i że \(\displaystyle{ \lim_{x\to\infty} \frac{\log(x+1)}{\log(x)} =1}\)
a więc ciąg \(\displaystyle{ a _{n} =\frac{\log(n+1)}{\log(n)} }\) jest też malejący.

[mol_ksiazkowy]

ta funkcja jest malejąca

tj, wyznaczając pochodną ?