# $$f(x) = x^x$$Given this function, defined, let's say for

## Main Question or Discussion Point

$$f(x) = x^x$$
Given this function, defined, let's say for all real numbers, is there any way to tell when x is rational versus irrational for integer values of f(x)?
e.g.
$$x^x = 4$$
x = 2
$$x^x = 27$$
x = 3
$$x^x = 3$$
x = 1.825455054...

Thanks!

Last edited:

Tom Mattson
Staff Emeritus
Gold Member
You mean other that simply taking the xth root of x?

Do you mean the xth root of f(x)? Or am I misunderstanding? And yes, I meant other than simply looking at specific argument and function values.

Tom Mattson
Staff Emeritus
Gold Member
Paul said:
Do you mean the xth root of f(x)?
Whoops, I sure do.

And yes, I meant other than simply looking at specific argument and function values.
I'm not sure off the top of my head, but let me play with it.

3^3 doesnt equal, so x=3 is irrational. sorry to nitpick.

interesting problem though. i bet there isnt a way besides applying the interger set for x and assuming all others will be irrational. is there any value for f(x) that results in a non interger rational number? if so, that negates using the interger set to find the y.

Thanks, I corrected the typo. And I guess that would put us on the path to a solution. Essentially, given that x is not an element of Z (the integer set), is $$x^x \in Z$$ possible?

Okay, suppose x=a/b, where a,b are integers. Assume that the fraction is reduced, ie. gcd(a,b)=1. Then x^x= (a/b)^(a/b)=$$(\frac{a^a}{b^a})^\frac{1}{b}$$

But $$gcd(a^a,b^a)=1$$, and therefore $$(\frac{a^a}{b^a})^\frac{1}{b}$$ is irrational. It follows that if x^x is an integer, then either x is an integer or transcendental.

so there are also no solutions that are non intergers but rational, like 1/3 and 1/4?
i understand that x^x is an interger if x is an interger.

that tells us that the set of intergers for x gives us the solution set of y? there are no fractional xs for interger ys? sorry im dumb. i want to learn though!

I was wondering the same thing about taking the logarithm or ln of a function.

Zurtex
$$y=x^x$$