Abstract
We apply a Tijdeman-type variable transformation to the equation $A^{x}+B^{y}=C^{z}$ and embed the resulting logarithmic deviation into a Euclidean Pythagorean framework. This continuous normalization yields a geometric inequality determining when $C^{z}$ remains compatible with integer solutions. Combined with the affine decomposition $Qn+x$, the method provides a structural criterion distinguishing primes from composite pseudoprimes such as Carmichael numbers.



![Author ORCID: We display the ORCID iD icon alongside authors names on our website to acknowledge that the ORCiD has been authenticated when entered by the user. To view the users ORCiD record click the icon. [opens in a new tab]](https://www.cambridge.org/engage/assets/public/coe/logo/orcid.png)