MathLabs

Problem 1

Let dd be any positive integer not equal to 22, 55, or 1313. Show that one can find distinct elements aa and bb in the set {2,5,13,d}\{2, 5, 13, d\} such that ab−1ab - 1 is not a perfect square.
Step 5 of 6: Case d≡1,13(mod16)d\equiv1,13\pmod{16}
13d−1(mod16)∉{0,1,4,9}13d-1\pmod{16}\notin\{0,1,4,9\}
Detailed analysis

Direct computation gives 13d−1≡12(mod16)13d-1\equiv12\pmod{16} when d≡1(mod16)d\equiv1\pmod{16}, and 13d−1≡8(mod16)13d-1\equiv8\pmod{16} when d≡13(mod16)d\equiv13\pmod{16}; neither 88 nor 1212 lies in {0,1,4,9}\{0,1,4,9\}. So 13d−113d-1 is not a perfect square, and (a,b)=(13,d)(a,b)=(13,d) works.