aa Michał: jak wyprowadzić to twierdzenie a^log_ax = x ?

6latek: https://matematykaszkolna.pl/strona/2814.html tak na przyszlosc twierdzenia sie udowadnia

PW: A tak prawdę mówiąc nie jest to twierdzenie lecz formalny zapis definicji logarytmu o podstawie "a" z liczby "x". Potrzebne są założenia.

Adamm: Dokładnie, to wynika wprost z definicji. log_ax, gdzie a>0, a≠1, x>0 nazywamy liczbę, taką że a^log_ax = x można wykazać że ta definicja ma sens, t. j. log_ax istnieje i jest wyznaczony jednoznacznie