4b.

(m2016 + m + n2) divizibil cu mn => (m2016 + m + n2) divizibil cu m => n2 divizibil cu m

(m2016 + m + n2) divizibil cu mn => (m2016 + m + n2) divizibil cu n => (m2016 + m) divizibil cu n => m * (m2015 + 1)
divizibil cu n si cum cmmdc (m, m2015 + 1) = 1 (vezi mai jos) => (m2015 + 1) divizibil cu n sau m divizibil cu n
(Presupunem prin reducere la absurd ca m = k * p si m2015 + 1 = k * q, cu k > 1 si cmmdc (p, q) = 1 => m2015 =
k2015 * p2015 si m2015 = k * q 1 => k2015 * p2015 = k * q 1 => 1 = k * (q - k2014 * p2015) => k = 1, contradictie)
Cazul 1: (m2015 + 1) divizibil cu n si n2 divizibil cu m
(m2015 + 1) divizibil cu n => (m2015 + 1)2 divizibil cu n2 si cum n2 divizibil cu m => (m2015 + 1)2 divizibil cu m,
imposibil deoarece cmmdc (m, m2015 + 1) = 1 (vezi mai sus)
Cazul 2: m divizibil cu n si n2 divizibil cu m
Fie n2 = m * a si m = n * b, cu a si b = naturale nenule => n2 = n * b * a => n = a * b => m = a * b2
Din (m2016 + m + n2) divizibil cu mn => (a2016 * b4032 + a * b2 + a2 * b2) divizibil cu a2 * b3
Fie (a2016 * b4032 + a * b2 + a2 * b2) = a2 * b3 * c , cu c = naturale nenul
Impartind ambii termeni la a * b2, rezulta ca (a2015 * b4030 + 1 + a) = a * b * c => (1 + a) este multiplu de a
Rezolvam ecuatia 1 + a = a * d, cu d = natural nenul
Daca d > 2 => a * d > 2a a + 1 => a * d > a + 1 => nu avem solutii
Daca d = 2 => 1 + a = a * 2 => a = 1 si cum m = a * b2 => m = b2 => m = patrat perfect, c.c.t.d.
Daca d = 1 => 1 + a = a, imposibil
Asadar m = patrat perfect.