Пусть  y = kx.  Тогда  x^kx = (kx)^x.  Извлекая корень степени x, а затем деля на x, получаем  x^k–1 = k.  Число k рационально; пусть  ¹/_k–1 = ^p/_q  – несократимая дробь. Тогда  x = (^p+q/_p)^p/q.  Числа p и q взаимно просты, поэтому x рационально лишь в том случае, когда из целых чисел p и  p + q  можно извлечь корень степени q. Но если  q ≥ 2  и  p = n^q,  то   n^q < p + q < (n + 1)^q = n^q + qn^q–1 + ½ q(q – 1)n^q–2 + ...

  Поэтому  q = 1.

x = (^p+1/_p)^p,  y = (^p+1/_p)^p+1,  где p – произвольное целое число, отличное от 0 и –1.