Айде и според мен (но също и според Wolfram

)
$L := \lim_{x\to a}\frac{a^x-x^a}{x-a} \stackrel{t \,:=\, x - a}{=} \lim_{t\to 0}\frac{a^{t+a} - (t+a)^a}{t} = a^a\lim_{t\to 0}\frac{a^t - \left(\frac{t}{a} + 1\right)^a}{t}$
Значи $\frac{1}{a^a}L = \lim_{t\to 0}\left(\frac{a^t - 1}{t} + \frac{1 - \left(1 + \frac{t}{a}\right)^a}{t}\right)$
И тук сега двете дроби, на които съм разделил тъй далновидно дясната страна, добавяйки и изваждайки изкуствено единица в числителя, могат да се сметнат поотделно като граници. Според зависи кой курс сме (примерно, в някое ВУЗ), колко надълбоко сме навлизали и какви са ни нотационните навици, изразите горе може да познаваме като:
- "основни граници": $\lim_{x\to 0}\frac{e^x - 1}{x} = 1 = \lim_{x\to 0}\frac{(1 + x)^a - 1}{ax}$
- "асимптотични сравнения": $e^x - 1 \stackrel{x\to 0}{\sim} x$ и $(1+x)^a - 1 \stackrel{x\to0}{\sim} ax$
- или най-общо полезното, от което следват и горните две по-частни формулировки - можем да боравим с редове на Тейлър (в частност около нулата, където нас ни интересува в момента, на Маклорън) и да записваме остатъците в подходяща форма спрямо контекста и нуждите си:
$e^x \stackrel{x\to 0}{=} \sum_{n = 0}^{\infty}\frac{x^n}{n!} = 1 + x + o(x)$
$(1+x)^a \stackrel{x\to 0}{=} \sum_{n = 0}^{\infty}\binom{a}{n} x^k = 1 + ax + o(x)$
И тъй:
$\frac{1}{a^a}L = \lim_{t\to 0}\frac{e^{t\ln a} - 1}{t} + \lim_{t\to 0}\frac{1 - \left(1 + \frac{t}{a}\right)^a}{t} = \lim_{t\to 0}\frac{1 + t\ln a + o(t) - 1}{t} + \lim_{t\to 0}\frac{1 - \left(1 + a\frac{t}{a} + o(t)\right)}{t} = \left(\ln a + \lim_{t\to 0}\frac{o(t)}{t}\right) + \left(-1 + \lim_{t\to 0}\frac{o(t)}{t}\right) = \ln a - 1$
И в крайна сметка:
$\boxed{L = a^a\left(\ln a - 1\right)}$