Niewymierność sumy logarytmów o różnych podstawach

Podzielność. Reszty z dzielenia. Kongruencje. Systemy pozycyjne. Równania diofantyczne. Liczby pierwsze i względnie pierwsze. NWW i NWD.
ms7
Użytkownik
Użytkownik
Posty: 290
Rejestracja: 3 paź 2014, o 15:13
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 179 razy
Pomógł: 5 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: ms7 »

Muszę wykazać że \(\displaystyle{ \log_3{5} + \log_2{5}}\) jest liczbą niewymierną.

Próbowałem zrobić z tego jeden logarytm, bo to ułatwiłoby bardzo mocno sprawę, jednak z uwagi na różne podstawy, nie potrafię tego zrobić.
Doprowadzenie do postaci:
\(\displaystyle{ \frac{\log_5{6}}{\log_5{3} \cdot \log_5{2}}}\)
też na niewiele się chyba zda. Wykazanie że każdy z logarytmów jest niewymierny, to nie będzie dowód, założenie że istniej \(\displaystyle{ w=\log_3{5} + \log_2{5}}\) i rozwiązywanie jak równania też chyba nie przyniesie efektu.

Jakieś pomysły?
kammeleon18
Użytkownik
Użytkownik
Posty: 306
Rejestracja: 10 maja 2008, o 11:38
Płeć: Mężczyzna
Lokalizacja: Toruń
Pomógł: 36 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: kammeleon18 »

\(\displaystyle{ w=\log_3{5} \cdot \log_2{6}}\) może to coś da.
@edit gdzie \(\displaystyle{ w}\) to wyrażenie, o którym mowa.
Ostatnio zmieniony 25 paź 2014, o 18:12 przez kammeleon18, łącznie zmieniany 1 raz.
Awatar użytkownika
arek1357
Użytkownik
Użytkownik
Posty: 5703
Rejestracja: 6 gru 2006, o 09:18
Płeć: Mężczyzna
Lokalizacja: blisko
Podziękował: 129 razy
Pomógł: 524 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: arek1357 »

Hm tego nie rozumiem
Dario1
Użytkownik
Użytkownik
Posty: 1371
Rejestracja: 23 lut 2012, o 14:09
Płeć: Mężczyzna
Lokalizacja: wawa
Podziękował: 70 razy
Pomógł: 14 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: Dario1 »

Podbijam zadanie. Też nie potrafię wykombinować. Może ktoś coś pomoże?
Dilectus
Użytkownik
Użytkownik
Posty: 2662
Rejestracja: 1 gru 2012, o 00:07
Płeć: Mężczyzna
Lokalizacja: Warszawa
Pomógł: 369 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: Dilectus »

Spróbuj skorzystać z zależności
\(\displaystyle{ \log _a{b}= \frac{1}{\log _b{a}}}\)

\(\displaystyle{ \log _3{5} + \log _2{5}=\frac{1}{\log _5{3}}+ \frac{1}{\log _5{2}}= \frac{\log _5\left( 3\cdot 2\right) }{\log _53 \cdot \log _52}}\) i pokombinuj dalej...

Ostatnio zmieniony 5 lis 2014, o 22:14 przez Ponewor, łącznie zmieniany 1 raz.
Powód: Punkt 2.7 instrukcji LaTeX-a. Funkcje matematyczne należy zapisywać: sinus - \sin, logarytm - \log, logarytm naturalny - \ln itd.
ms7
Użytkownik
Użytkownik
Posty: 290
Rejestracja: 3 paź 2014, o 15:13
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 179 razy
Pomógł: 5 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: ms7 »

Dilectus, to właśnie napisałem w pierwszym poście, lecz nie wiem jak dalej to pociągnąć.
Kmitah
Użytkownik
Użytkownik
Posty: 179
Rejestracja: 16 lut 2012, o 16:34
Płeć: Mężczyzna
Lokalizacja: Suwałki / Białystok
Podziękował: 23 razy
Pomógł: 28 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: Kmitah »

Załóżmy nie wprost, że
\(\displaystyle{ \frac{\log_5 6}{\log_5 3 \log_5 2} = \frac{a}{b}}\),
gdzie \(\displaystyle{ a}\) oraz \(\displaystyle{ b}\) są liczbami naturalnymi. Wówczas
\(\displaystyle{ b \log_5 6 = a \log_5 3 \log_5 2}\)
\(\displaystyle{ 5^{b \log_5 6} = 5^{a \log_5 3 \log_5 2}}\)
\(\displaystyle{ 6^b = 2^{a \log_5 3}.}\)
Może z tego coś wyciągniesz.
Dario1
Użytkownik
Użytkownik
Posty: 1371
Rejestracja: 23 lut 2012, o 14:09
Płeć: Mężczyzna
Lokalizacja: wawa
Podziękował: 70 razy
Pomógł: 14 razy

Niewymierność sumy logarytmów o różnych podstawach

Post autor: Dario1 »

Kmitah pisze:Załóżmy nie wprost, że
\(\displaystyle{ \frac{\log_5 6}{\log_5 3 \log_5 2} = \frac{a}{b}}\),
gdzie \(\displaystyle{ a}\) oraz \(\displaystyle{ b}\) są liczbami naturalnymi. Wówczas
\(\displaystyle{ b \log_5 6 = a \log_5 3 \log_5 2}\)
\(\displaystyle{ 5^{b \log_5 6} = 5^{a \log_5 3 \log_5 2}}\)
\(\displaystyle{ 6^b = 2^{a \log_5 3}.}\)
Może z tego coś wyciągniesz.
Ta, ale to jeszcze niczego nie udowadnia, bo przy założeniach, że a-całkowite różne od zera, b-naturalne po lewej stronie mamy liczbę naturalną, a po prawej mamy całkowitą do potęgi niewymiernej(Można pokazać, że \(\displaystyle{ \log_5 3}\) jest niewymierny i iloczyn liczby \(\displaystyle{ a}\)-całkowitej różnej od zera i niewymiernej jest niewymierny). Ale całkowita do potęgi niewymiernej też może być naturalna bo np. \(\displaystyle{ 2 ^{\log_2 3}=3 \in N}\), a \(\displaystyle{ \log_2 3}\) jest niewymierny.
ODPOWIEDZ