Resolver ax + by = c sin tanteos: teoría y ejemplo en paralelo, identidad de Bézout, todas las soluciones enteras y restricciones de no negatividad. Con laboratorio paso a paso.
Cien animales, cien monedas y tres precios: ecuaciones diofánticas, MCD y congruencias para encontrar todas las soluciones o demostrar que no existen. Veinte problemas con soluciones desplegables.
Una colección con soluciones explicadas: de ciclos completos a giros parciales, del MCD a los casos imposibles. Laboratorio con Euclides extendido y simulación.
El método de Averbach y Chein: interpretar los coeficientes enteros como llenados y vaciados, construir los trasvases y seguirlos con dos barras animadas.