UNA INTERPRETACIÓN ANTIGUA Y SEGURAMENTE ERRÓNEA DEL PROBLEMA
Si he entendido bien el problema pide el divisor común mayor de impar de $n$ y $n+3$ . Pero la paridad de $n$ y $n+3$ es diferente, porque si $n$ es par y se suma 3 entonces $n+3$ es impar, y viceversa.
Entonces el problema se reduce a buscar el GCD de $n$ y $n+3$ . Si GCD divide $n$ entonces
$$(GCD\mid n)\land (GCD\mid n+3)\implies GCD\mid 3\implies GCD(n,n+3)\in\{1,3\}$$
Entonces tenemos que el menor número de cuadrados (LNS) será
- si $3\mid n$ entonces $\mathrm {LNS}=\frac n3*(\frac n3+1)=\frac{n^2}{9}+\frac n3$
- si $3\not\mid n$ entonces $\mathrm {LNS}=n*(n+3)=n^2+3n$
Causa $n>10$ compararemos el mínimo n divisible por 3 ( $n=12$ ) y el mínimo absoluto $n=11$ :
- $\mathrm {LNS}(11)=11*14=154$
- $\mathrm {LNS}(12)=4*5=20$
Así que el número mínimo de cuadrados para un rectángulo $n\times(n+3)$ donde $n>10$ son $20$ y ocurre cuando $n=12$ .
NUEVA INTERPRETACIÓN HERMOSA Y FRESCA DEL PROBLEMA ;)
Tal vez la interpretación de la pregunta no era correcta porque veo la etiqueta "combinatoria". A la luz de esta información el problema puede pedir por la forma de cortar el rectángulo en piezas que son cuadrados con longitud impar.
Si, por mi interpretación anterior, sabemos que $GCD(n,n+3)\in\{1,3\}$ entonces sabemos que
- podemos cortar el rectángulo en un gran cuadrado $3k\times 3k; 2\not\mid k$ más algunos $3\times 3$ ou $1\times 1$ cuadrados si $3\mid n$
- o podemos cortar el rectángulo en un gran cuadrado $n\times n$ si $2\not\mid n$ y algunos $1\times 1$ cuadrados si $3\not\mid n$
- o podemos cortar el rectángulo en un gran cuadrado $(n-1)\times(n-1)$ si $2\mid n$ y algunos $1\times 1$ cuadrados si $3\not\mid n$
Es obvio que la solución óptima está relacionada con algún n divisible por 3:
- para $n=12$ podemos dividir en un $11\times11$ cuadrado más 4 $3\times3$ cuadrados, más $25$ $1\times1$ cuadrados, siendo un total de 30 cuadrados.
- para $n=13$ podemos dividir en un $13\times 13$ cuadrado más 4 $3\times3$ cuadrados más 3 $1\times1$ cuadrados, siendo un total de 8 cuadrados ...
Análisis:
-
si $2\mid n$ entonces no se puede cortar un cuadrado $n\times n$ porque $n$ es uniforme, por lo que tendrá un montón de pequeños cuadrados de $1\times 1$ para cubrir una línea de, al menos, longitud $n$ es decir, tendrá al menos $n+1$ cuadrados.
-
si $2\not\mid n$ y $3\not\mid n$ entonces $GCD(n,n+3)=1$ como he demostrado arriba, entonces puedes cortar un gran cuadrado $n\times n$ porque n es impar, y después de cortar el resto que es un rectángulo $n\times4$ donde, recuerda, $3\not\mid n$ por lo que tendrá algún resto de cuadraditos de $1\times1$ , tal vez 3 o 6 dependiendo de $n \pmod 3$ además de toda una línea de $n+1$ . Así que tendrá un mínimo de $n+8$ cuadrados.
-
si $3\mid n$ y $2\not\mid n$ entonces puedes cortar un gran cuadrado $n\times n$ porque n es impar, además de algunos $3\times 3$ cuadrados porque n y $n+3$ son divisibles por 3. Se tendrá aquí la solución óptima porque no hay cuadrados de $1\times 1$ . El número mínimo de casillas será $4$ cuando $n=9$ pero $n>10$ por lo que el mínimo será $6$ cuadrados.
Así que la solución del problema será el mínimo n que son Impares y divisibles por 3. Si $n>10$ este número es 15.
Para $n=15$ tendremos una gran plaza de $15\times 15$ y 5 cuadrados de $3\times 3$ , siendo un total de 6 casillas. Cualquier otro n no se puede cortar en menos número de cuadrados con lado de longitud impar.
P.D.: existen soluciones con menor o igual número de cuadrados pero para $n<10$ .