Here's why I was asking:
(aside: how do I impose restrictions on the possible values of a and b? Like say that they must not be equal and that they must be integers?)
[tex]a^b=b^a[/tex]
Which implies that b must equal a, by a factor, n, and a must equal b by a power of 1/n. To make it easier, I'll switch the n and 1/n, since the actual value doesn't matter, just the relation. We can also assume a must be a power of b, because otherwise there would be extraneous factors, making it impossible for them to be equal. Thus we have:
[tex]\frac{b}{n}=a;a^n=b[/tex]
Which you can tell is very similar to the question posed, except the original was simplified.
[tex]an=a^n[/tex]
[tex]n=a^{n-1}[/tex]
[tex]a=\sqrt[n-1]{n}[/tex]