Respuesta: La línea del autobús es 12 y la edad del primer matemático es 48.
Estructura lógica:
- El segundo matemático conoce la suma $S$ (número del autobús).
- 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.
$$
- La respuesta “No” significa que, para el par real $(P,n)$, hay al menos dos descomposiciones posibles.
- 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.