MHB Non-Negative Rational Solutions for x^y * y^x = y^y Equation

  • Thread starter Thread starter lfdahl
  • Start date Start date
lfdahl
Gold Member
MHB
Messages
747
Reaction score
0
Find all non-negative rational solutions of the equation:

$$x^y\cdot y^x = y^y$$
 
Mathematics news on Phys.org

Attachments

  • 5f0ltt.jpg
    5f0ltt.jpg
    19.1 KB · Views: 91
Hi, joypav!
Thankyou for your participation and the solution.
Can you show, that u must be an integer?
 
Suggested solution:
The answer is: $(x,y) = (0,0)$ or $(k^{k-1},k^k)$, where $k \in \mathbb{N}$.
Let $(x,y)$ be a rational nonzero solution. Consider a substitution $t = \frac{y}{x}$.
Then $x^{tx}(tx)^x = (tx)^{tx}$ or $x = t^{t-1}$. If $t-1 = k$ then $x = (k+1)^k$. Let us show, that $k$ is a natural number. Take $x=\frac{m}{n}$ and $k = \frac{p}{q}$ where both fractions are irreducible:
$gcd(m,n) = 1$ and $gcd(p,q) = 1$. Then our equation becomes:
$$m^qq^p = n^q(p+q)^p$$
Since $m$ and $n$ are coprimes, $n^q|q^p$ and since $p$ and $q$ are coprimes, $gcd((p+q)^p,q^p) = (gcd(p+q,q))^p = gcd(p,q)^p = 1$. Therefore, $q^p|n^q$, and as a result $q^p = n^q$. Suppose, that $q > 1$. Then in the prime decomposition of $q^p$ each factor has a power divisible by both $p$ and $q$, and hence divisible by $pq$. Therefore, in the prime decomposition of $q$ each factor has a power divisible by $q$. But this is a contradiction, since $q < 2^q$. Thus, $q = 1$ and $x = k^{k-1}$ and $y = k^k$. Straightforward check shows, that $(0,0)$ and $(k^{k-1},k^k)$ are solutions. Done.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top