$ 3$より大きい素数を$ p$とし、互いに素である自然数を$ a,b(a< b)$とする. $ p^2$を$ ab$で割った余りが常に$ 1$であるとき、$ ab$が最大値をとる$ a,b$の値を求めよ.
$(a,b)=(1,24),(3,8)$
$ p^q$を$ r$で割った余りは$ q$であり、$r^q$を$ p$で割った余りは$q$のとき、$ p≠q≠r$とするなら素数$ (p,q,r)$の組が存在しないことを示せ.
証明は省きますね.
解説はいつか書きます.