با دو مر حله تساوي زير را اثبات مي كنيم...
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)
اثبات كامل شد.
.باتوجه به اين دوقضيه ميتوان در حاصلضرب چند لگاريتم به دلخواه جاي انتي لگاريتم ها و مبنا هارا عوض كرد.