با دو مر حله تساوي زير را اثبات مي كنيم...
$$ log_{b} (a). log_{f} (e)=log_{b} (e). log_{f} (a)$$
مرحله اول...
يادآوري
$$u.log_{y}(x)= log_{y} ( x^{u}) $$
حال با توجه به قضيه مذكور مينويسيم...يعني
$$ \underbrace{log_{b} ( a )} . log_{f} ( e ) = log_{f} (e^{log_{b} (a)} )$$
مرحله دوم..
يادآوري$$a^{log_{c} (b)} = b^{log_{c} (a)}$$
باتوجه به قضيه بالا مينويسيم..يعني
$$ \underbrace{log_{b} ( a )} . log_{f} ( e ) = log_{f} (e^{log_{b} (a)} )= log_{f}( a^{log_{b} (e)} ) =log_{b} (e). log_{f} (a)$$
بنابراين اثبات كامل شد
براي قسمت دوم..
$$ log_{b} (a). log_{f} (e)=log_{f} (a). log_{b} (e)$$
يادآوري
$$ log_{y} (x)= \frac{1}{log_{x} (y)} $$
بنابراين مينويسيم...
$$log_{b} (a). log_{f} (e)= \frac{1}{log_{a} (b). log_{e} (f)} $$
حال باتوجه رابطه ايي كه اثباتش كرديم..آنتي لگاريتم هارا جابه جا ميكنيم
$$log_{b} (a). log_{f} (e)= \frac{1}{log_{a} (b). log_{e} (f)} = \frac{1}{log_{a} (f). log_{e} (b)} $$
حال معكوسش ميكنيم..يعني
$$log_{b} (a). log_{f} (e)= \frac{1}{log_{a} (b). log_{e} (f)} = \frac{1}{log_{a} (f). log_{e} (b)} =log_{f} (a). log_{b} (e)$$
اثبات كامل شد.
.باتوجه به اين دوقضيه ميتوان در حاصلضرب چند لگاريتم به دلخواه جاي انتي لگاريتم ها و مبنا هارا عوض كرد.