今日の微分2

対数関数の微分

$$(log⁡x3)′=(log⁡3log⁡x)′=0⋅log⁡x−log⁡3⋅1x(log⁡x)2=−log⁡3x(log⁡x)2\begin{aligned} \left(\log_x3\right)'&=\left(\frac{\log 3}{\log x}\right)'\\ &=\frac{0\cdot\log x-\log 3\cdot\frac1x}{(\log x)^2}\\ &=\bm{-\frac{\log 3}{x(\log x)^2}} \end{aligned}$$

今日，質問が一番多かった微分です。$log⁡3\log 3$が定数に見えないようです。数式綺麗ですね。