Problema interessant d’inducció matemàtica

Resum

Això és un fragment copiat d’un llibre titulat ¿Qué son las Matemáticas?, del Richard
Courant i el Herbert Robbins. Realment el llibre és molt bó.
Aquest fragment és una demostració errònia utilitzant el principi d’inducció matemàtica.
Es tracta de trobar l’error. És entretingut. . .

The Name of the Game

Al usar el principio de inducción matemática debemos asegurarnos siempre de que las condiciones
a) y b) se satisfacen realmente. Descuidar esta precaución puede llevar a absurdos como el siguiente,
en el que se invita al lector a descubrir la falacia. “Demostraremos” que cualesquiera dos enteros
positivos son iguales; por ejemplo, que 5 = 10.
Primero una definición: Si a y b son dos enteros positivos diferentes, definimos máx(a, b) como
a o b, cualquiera que sea el mayor; si a = b, definimos máx(a, b) = a = b. Ası́, máx(3, 5) =
máx(5, 3) = 5, mientras que máx(4, 4) = 4. Ahora, sea An la afirmación “Si a y b son dos enteros
positivos tales que máx(a, b) = n entonces a = b.”
a) Supongamos que Ar es verdadera. Sean a y b dos enteros positivos tales que máx(a, b) = r+1.
Consideremos los dos enteros

α=a−1

β = b − 1;

entonces máx(α, β) = r. Por lo tanto α = β, pues estamos suponiendo que Ar es verdadera.

Se sigue que a = b; ası́ que Ar+1 es verdadera.
b) A1 obviamente es verdadera, pues si máx(a, b) = 1 entonces, dado que por hipótesis a y b
son enteros positivos, ambos deben ser iguales a 1. De esa forma, por inducción matemática, An
es verdadera para todo n.
Ahora, si a y b son dos enteros positivos cualesquiera, denotemos al máx(a, b) con r. Como se
ha mostrado que An es verdadera para todo n, en particular Ar es verdadera. Por lo tanto a = b.