We define v3(n) to be the non-negative integer k such that 3k∣n but 3k+1∤n. The equation is equivalent to
32x⋅5x−3y⋅2y=3z⋅673z
We will consider the cases y=2x and y=2x separately.
Case 1. Suppose y=2x. Since 45x>45x−6y=2019z>45z, then x>z and so 2x>z. We have
z=v3(3z⋅673z)=v3(32x⋅5x−3y⋅2y)=min{2x,y}
as y=2x. Since 2x>z, we get z=y. Hence the equation becomes 32x⋅5x−3y⋅2y= 3y⋅673y, or equivalently,
32x−y⋅5x=2y+673y
Case 1.1. Suppose y=1. Doing easy manipulations we have
32x−1⋅5x=2+673=675=33⋅52⟹45x−2=1⟹x=2
Hence one solution which satisfies the condition is (x,y,z)=(2,1,1).
Case 1.2. Suppose y⩾2. Using properties of congruences we have
1≡2y+673y≡32x−y⋅5y≡(−1)2x−ymod4
Hence 2x−y is even, which implies that y is even. Using this fact we have
0≡32x−y⋅5y≡2y+673y≡1+1≡2mod3
which is a contradiction.
Case 2. Suppose y=2x. The equation becomes 32x⋅5x−32x⋅22x=3z⋅673z, or equivalently,
5x−4x=3z−2x⋅673z
Working modulo 3 we have
(−1)x−1≡5x−4x≡3z−2x⋅673z≡0mod3
hence x is even, say x=2t for some positive integer t. The equation is now equivalent to
(5t−4t)(5t+4t)=3z−4t⋅673z
It can be checked by hand that t=1 is not possible. For t⩾2, since 3 and 673 are the only prime factors of the right hand side, and since, as it is easily checked gcd(5t−4t,5t+4t)=1 and 5t−4t>1, the only way for this to happen is when 5t−4t=3z−4t and 5t+4t=673z or 5t−4t=673z and 5t+4t=3z−4t. Adding together we have
2⋅5t=3z−4t+673z
Working modulo 5 we have
0≡2⋅5t≡3z−4t+673z≡34t⋅3z−4t+3z≡2⋅3zmod5
which is a contradiction. Hence the only solution which satisfies the equation is (x,y,z)= (2,1,1).
Alternative Solution by PSC. Working modulo 5 we see that −1≡4zmod5 and therefore z is odd. Now working modulo 4 and using the fact that z is odd we get that 1−2y≡3z≡3mod4. This gives y=1. Now working modulo 9 we have −6≡3zmod9 which gives z=1. Now since y=z=1 we get x=2 and so (2,1,1) is the unique solution.