El mago del autobús (Conway)

Dos matemáticos viajan en autobús y leen el número de línea.

Uno le dice al otro:

1. “Tengo al menos dos hijos.”
2. “Sus edades son enteros positivos.”
3. “La suma de sus edades es el número de esta línea de autobús.”
4. “El producto de sus edades es mi edad.”

El otro responde:

> “Si me dijeras tu edad y cuántos hijos tienes, ¿podría deducir sus edades?”

El primero contesta:

> “No.”

Tras oír eso, el segundo dice:

> “Ahora ya sé tu edad.”

¿Cuál es el número de la línea de autobús y cuál es la edad del primer matemático?

1. Idea feliz: la frase “No” no solo elimina casos; codifica una condición de ambigüedad estructural sobre factorizaciones con suma fija.
2. Por eso el segundo concluye correctamente: boxed P=48 .
3. La línea del autobús es 12 y la edad del primer matemático es 48.

**Respuesta:** La línea del autobús es **12** y la edad del primer matemático es **48**.

**Estructura lógica:**

1. El segundo matemático conoce la suma $S$ (número del autobús).
2. Si además conociera edad $P$ y número de hijos $n$, podría listar descomposiciones en enteros positivos con:

$$
a_1+\cdots+a_n=S,\quad a_1\cdots a_n=P.
$$

1. La respuesta “No” significa que, para el par real $(P,n)$, hay **al menos dos** descomposiciones posibles.
2. Tras oír ese “No”, el segundo matemático puede deducir $P$; por tanto, con ese $S$ debe quedar **un único producto** compatible con esa ambigüedad.

**Caso clave $S=12$:**

Con suma 12, el producto que cumple esa propiedad es:
$$
P=48.
$$

Porque con $n=4$ hay dos opciones distintas:

• $(1,3,4,4)$ con producto 48,
• $(2,2,2,6)$ con producto 48.

Así, aun sabiendo $(P,n)=(48,4)$, no se determinan de forma única las edades: exactamente lo que afirma el primer matemático.

Para las demás líneas posibles, este patrón no permite al segundo deducir una edad única tras oír “No”.
La única línea que hace funcionar todo el diálogo es:
$$
S=12.
$$

Por eso el segundo concluye correctamente:
$$
\boxed{P=48}.
$$

**Idea feliz:** la frase “No” no solo elimina casos; codifica una condición de **ambigüedad estructural** sobre factorizaciones con suma fija.

---