Encuentra todos los $a, b, c \in \mathbb{Z}$, $c \ge 0$ tales que $a^n + 2^n | b^n + c$ para todos los enteros positivos $n$ donde $2ab$ no es un cuadrado.