Intereting Posts

What to do with an empty column in the basis of the null space?
How do you prove $\sum \frac {n}{2^n} = 2$?
Is the Nested Radical Constant rational or irrational?
Prove $x \equiv a \pmod{p}$ and $x \equiv a \pmod{q}$ then $x \equiv a\pmod{pq}$
Is this proof about the form $2^n \pm a$ correct?
Putnam 1990: Problem A-4
Proving for $n \ge 25$, $p_n > 3.75n$ where $p_n$ is the $n$th prime.
Reference books for learning matrices from the beginning?
Homogeneous function in bounded mean oscillation BMO($\mathbb R^n$) space
Similarity of polynomials
Number of solutions of a diophantine equation using the rounding function
Let $f : X \to Y$ be a function and $E \subseteq X$ and $F \subseteq X$. Show that in general
The ring $ℤ/nℤ$ is a field if and only if $n$ is prime
Do asymptotically equivalent coefficients survive convolution at least in Θ?
Prove a certain property of linear functionals, using the Hahn-Banach-Separation theorems

Let $1 < b < a$ be relatively prime positive integers and $n > 2$ a positive integer. Prove that there exists a prime $p$ such that $p \mid a^n-b^n$ and $p > n$.

I thought about using Zsigmondy’s Theorem. Then we have $$p_1 \mid a-b,p_2 \mid a^2-b^2,a^3-b^3,p_3 \mid a^4-b^4,\ldots$$ where $p_i \nmid a^k-b^k$ for $k < i$. I didn’t see how to use this to find a prime such that $p > n$.

- Integer solutions of $x^4 + 16x^2y^2 + y^4 = z^2$
- Is it cheating to use the sign function when sieving for twin primes?
- The bound of valuation
- Finding a primitive root of a prime number
- Prove that $\frac{p^p-1}{p-1}$ is not prime if $p \equiv 1 \pmod 4$
- what is the sum of square of all elements in $U(n)$?

- Consecutive non square free numbers
- Does a closed form for this specific integer sequence exist?
- Adding or Multiplying Transcendentals
- Finding Extra Condition for a function to satisfy $f(n)=n$
- On fifth powers $x_1^5+x_2^5+\dots = y_1^5+y_2^5+\dots$
- Are these two sequences the same?
- Subgroup generated by $1 - \sqrt{2}$, $2 - \sqrt{3}$, $\sqrt{3} - \sqrt{2}$
- Why aren't logarithms defined for negative $x$?
- Find all $n>1$ such that $\dfrac{2^n+1}{n^2}$ is an integer.
- Applying Extended Euclidean Algorithm for Galois Field to Find Multiplicative Inverse

Since @ThomasAndrews has not written up an answer, I will put his answer (which is in the comments) here. Let $p$ be a prime, then we have three cases

$$\begin{array}{c}

p\mid a^{p-1}-b^{p-1} \\

\text{or} \\

p\mid a\;\text{ and }\; p\nmid b \\

\text{or} \\

p\nmid a \;\text{ and }\; p\mid b

\end{array}$$

Where the top case follows from Fermat’s Little Theorem when $p\nmid a$ and $p\nmid b$ and is trivial when $p\mid a$ and $p\mid b$; the last two cases are just the remaining options. Now suppose that $p\mid a^n-b^n$. We then know that $p$ satisfies the first case above, because if $p\mid a$ but $p\nmid b$ then we have $a^n-b^n\equiv 0\mod p\Rightarrow b^n\equiv a^n\equiv 0\mod p$ however that gives $p\mid b^n$ which is false when $p\nmid b$ (similar argument when $p\mid b$ but $p\nmid a$). Thus

$$p\mid a^n-b^n\Rightarrow p\mid a^{p-1}-b^{p-1}$$

Now suppose all prime factors of $a^n-b^n$ were $\le n$, then the above tells us that $a^n-b^n$ has no prime factors not shared with $a^k-b^k$ for all $k<n$, since every prime factor, $p$, of $a^n-b^n$ divides $a^{p-1}-b^{p-1}$ where $p-1<n$. This however is a violation of Zsigmondy’s Theorem, and thus there must exist a prime factor of $a^n-b^n$ that is $>n$.

- How can I evaluate this indefinite integral? $\int\frac{dx}{1+x^8}$
- Find the quadratic sub field of $\mathbb Q(\zeta_7)$ which can be expressed in the form $\mathbb Q(\sqrt D)$,where $D$ is an integer.
- Theorems that we can prove only by contradiction
- what is sine of a real number
- Lagrange diagonalization theorem – what if we omit assumption about the form being symmetric
- Prove XOR is commutative and associative?
- show that $\omega$ is exact if and only if the integral of $\omega$ over every p-cycle is 0
- meaning of powers on trig functions
- Calculate: $\lim\limits_{x \to \infty}\left(\frac{x^2+2x+3}{x^2+x+1} \right)^x$
- Prove that $512^3 + 675^3 + 720^3$ is a composite number
- Orthogonal projections with $\sum P_i =I$, proving that $i\ne j \Rightarrow P_{j}P_{i}=0$
- General solution to expressions, without calculating exact roots (A generalization of Newton's identities)
- Coloring the faces of a hypercube
- Necessary and Sufficient Conditions for Random Variables
- Why Monte Carlo integration is not affected by curse of dimensionality?