Let $a,b$ be coprime positive integers with $a$ even and $a>b$. Show that there exist infinitely many pairs $(m,n)$ of coprime positive integers such that $m\mid a^{n-1}-b^{n-1}$ and $n\mid a^{m-1}-b^{m-1}$.
Source: Mongolia MO 2001 Grade 10 P3
Tags: number theory, Divisibility
Let $a,b$ be coprime positive integers with $a$ even and $a>b$. Show that there exist infinitely many pairs $(m,n)$ of coprime positive integers such that $m\mid a^{n-1}-b^{n-1}$ and $n\mid a^{m-1}-b^{m-1}$.