User:Kip/Sandbox

Theorem
Let $m\in\Z_{>1}$ be a positive integer greater than one.

Let $x\in\Z_{>1}$ be a positive integer greater than one.

Let $A\in\Z_{>0}$ be a positive integer coprime with $m$.

Then:
 * $\displaystyle A^{x}\equiv a \pmod m$

Is an $n^{th}$ root of unity modulo $m$ where:
 * $\displaystyle n=\frac{\phi(m)}{gcd(\phi(m),x)}$

$\phi(m)$ is Euler's Totient function of the modulus and $gcd(\phi(m),x)$ is the greatest common divisor of the totient and the power.

Proof
Let $\alpha=\frac{x}{gcd(\phi(m),x)}\in\Z_{>0}$ be a positive integer.
 * $\displaystyle A^{\alpha \phi(m)}\equiv a^n\equiv 1\pmod m$

Square Root of Unity Addition Theorem
Let $p\in\Z_{>0}$ be a prime number greater. Let $x,y,z\in\Z_{>1}$ be positive integers greater than one for which:
 * $2gcd(p-1,x)=2gcd(p-1,y)=n gcd(p-1,z)=p-1$

Then
 * $A^x+B^y\ne C^z \pmod m$

Proof

 * $A^{2x}+2A^xB^y+B^{2y}\equiv C^{2z} \pmod m$

Since the binomial sum is:
 * $\displaystyle \sum_{k\mathop =0}^n \binom n k =2^n$
 * $2A^xB^y\equiv -1 \pmod m$
 * $1\pm 2\equiv 0 \pmod m$
 * $mk=m-1$

Or
 * $m=3$

Definition
Let $x,y,z\in\Z_{>0}$ be positive integers.

Let $A,B,C\in\Z_{>0}$ be positive integers that satisfy


 * $A^x + B^y = C^z$

Then $\left({A,B,C}\right)$ is said to be a primitive triple if they are pairwise coprime.

Definition
Let $p\in \P_{>1}$ be a prime number.

Let $x,y,z\in\Z_{>0}$ be positive integers.

Let $\left({A,B,C}\right)\in\Z_{>0}$ be a primitive triple that satisfy:
 * $A^x + B^y = C^z$

Then $p$ is said to be a primitive triple factor if, for a given $x,y,z$, $p$ is always a factor of one of the triplets.

The factor can be checked by assuming $p$ is not a factor of the triplets and exhaustively search the permutations of the possible roots of unity modulo $p$ and determine when:
 * $A^x + B^y \not \equiv C^z \pmod p$

Two always satisfies this condition.

Table of Non-Trivial Primitive Triple Factors

 * $\begin{array}{|c|c|c|l|}

\hline x & y & z & p \\ \hline 1 & 2 & 2 & 3 \\ 1 & 2 & 4 & 3 \\ 1 & 4 & 2 & 3 \\ 1 & 4 & 4 & 3,5 \\ 2 & 2 & 4 & 3,5 \\ 2 & 3 & 2 & 3 \\ 2 & 3 & 4 & 3 \\ 2 & 4 & 2 & 3,5 \\ 2 & 4 & 4 & 3,5,13 \\ 3 & 3 & 3 & 7,13 \\ 3 & 3 & 6 & 7,13 \\ 3 & 4 & 2 & 3 \\ 3 & 4 & 4 & 3,5 \\ 4 & 4 & 2 & 3,5 \\ 4 & 4 & 4 & 3,5,13,17,41 \\ \vdots \\ \hline \end{array}$
 * 2 & 2 & 2 & 3,5 \\
 * Pythagorean Triples