Problema 1673problema obsoleto Sean $a$ y $b$ enteros diferentes de $0$, $1$ y $-1$ y consideremos la matriz
\[\begin{pmatrix}
a+b&a+b^2&a+b^3&\cdots&a+b^m\\
a^2+b&a^2+b^2&a^2+b^3&\cdots&a^2+b^m\\
a^3+b&a^3+b^2&a^3+b^3&\cdots&a^3+b^m\\
\vdots&\vdots&\vdots&\ddots&\vdots\\
a^n+b&a^n+b^2&a^n+b^3&\cdots&a^n+b^m
\end{pmatrix}.\]
Determinar un subconjunto $S$ de filas de esa matriz, lo menor posible, tal que cualquier otra fila se pueda expresar como suma de las filas de $S$ multiplicadas por números enteros apropiados (es decir, como combinación lineal con coeficientes enteros de las filas de $S$). Explicitar dichas combinaciones lineales.
pistasolución 1info
Pista. Intenta escribir las filas a partir de la tercera como combinación lineal de las dos primeras.
Solución. Las filas a partir de la tercera se pueden escribir como combinación lineal de las dos primeras. Esto equivale a que, para cada $i\geq 3$, existan $\lambda_i,\mu_i\in\mathbb{R}$ tales que
\[a^i+b^j=\lambda_i(a+b^j)+\mu_i(a^2+b^j)\ \Leftrightarrow\ (\lambda_i+\mu_i-1)b^j+a(\lambda_i+a\mu_i-a^i)=0.\]
Podemos tomar $\mu_i=1-\lambda_i$ para anular el primer paréntesis y luego el segundo nos queda $\lambda_i+a(1-\lambda_i)=a^i$, de donde despejamos (ya que $a\neq 1$):
\[\lambda_i=a\frac{a^{i-1}-1}{1-a},\qquad \mu_i=1-\lambda_i=\frac{1-a^i}{1-a}.\]
Como $\frac{1-a^k}{1-a}=1+a+\ldots+a^{k-1}$ para todo $k\geq 1$, resulta que tanto $\lambda_i$ como $\mu_i$ son números enteros y tenemos que la respuesta al enunciado es como máximo $2$. Para ver que la solución realmente es $2$, comprobamos que las dos primeras filas son linealmente independientes (tienen rango 2), lo que se deduce del menor
\begin{align*}
\left|\begin{matrix}a+b&a+b^2\\a^2+b&a^2+b^2\end{matrix}\right|&=(a+b)(a^2+b^2)-(a+b^2)(a^2+b)\\
&=ab(a+b-1-ab)=-ab(a-1)(b-1)\neq 0
\end{align*}
ya que $a$ y $b$ no toman los valores $0$ ni $1$.