(5^x - 5^y = 2^(y-1) × 5^(x-1))
We know the RHS is positive.
So:
(5^x - 5^y > 0)
Since powers of 5 increase with exponent,
(x > y)
Now comes the key simplification step.
Notice the equation contains three powers of 5:
(5^x , 5^y , 5^(x-1))
The RHS already has (5^(x-1)), so divide the entire equation by (5^(x-1)).
The goal is to “normalize” the powers and make the structure visible.
((5^x / 5^(x-1)) - (5^y / 5^(x-1)) = (2^(y-1) × 5^(x-1)) / 5^(x-1))
Now simplify each term:
(5^x / 5^(x-1) = 5)
and
(5^y / 5^(x-1) = 5^(y-(x-1)) = 5^(y-x+1))
So the equation becomes:
(5 - 5^(y-x+1) = 2^(y-1))
Now the structure becomes much cleaner.
Right side is a pure power of 2.
Therefore the left side must also be a positive integer power of 2.
Since (x > y),
(y - x + 1 ≤ 0)
Now test possibilities.
If:
(y - x + 1 = 0)
then:
(5 - 5^0 = 5 - 1 = 4)
which is:
(2^2)
Perfect — a power of 2.
Now suppose exponent were negative.
Then we'd get things like:
(5 - 1/5 , 5 - 1/25)
These are not integers.
But RHS:
(2^(y-1))
is always an integer.
Impossible.
Positive exponent is impossible because:
(y - x + 1 > 0 ⇒ y ≥ x)
which contradicts:
(x > y)
So the only possibility is:
(y - x + 1 = 0)
Thus:
(x = y + 1)
And since:
(5 - 1 = 4)
we get:
(2^(y-1) = 4 = 2^2)
So:
(y - 1 = 2)
(y = 3)
Then:
(x = 4)
Therefore:
(xy = 4 × 3 = 12)
(12)