3ª Jornada: Problema - 10 DIEZ FRACCIONES

Busca todos los números naturales "a" para los que existen exactamente 10 números
naturales "b" con los que se cumple que

Sol.: Que los números sean bajos hace posible un enfoque directo a base de pruebas, el
problema está en que eso no demostraría que la solución sea la única, a menos que se
argumente monotonocidad después, es poco elegante, etc.

Por otro lado, el enunciado da dos condiciones de forma explícita y tenemos dos números que
encontrar por lo que vamos a plantearlo de forma puramente algebraica. La primera condición
ya está escrita:

(1)

Y la segunda es que fijado "a", hemos de tener 10 y solo 10 números "b" que cumplan (1). Es
decir, para el valor máximo de b y mínimo se cumple:

(2)

Ojo con el detalle, la resta de ambos extremos ha de dar 9 y no 10, por ejemplo 1, 2, ..., 10
contiene diez números, pero 10 - 1 = 9. Ahora buscamos expresiones concretas para "bmax" y
"bmin".

El "bmax" será aquel que haga que sea lo más próximo posible a dos, sin pasarlo por abajo,
esto es, todos los "b" cumplen que:

Pero hay un "b" entero que es el más alto posible que cumple eso y se expresa así en función
de "a":

(3)

Siendo la función parte entera. Un punto importante, pero que no se usará en esta
solución, es que esta función siempre cumple:

Como buscamos un número que cumpla la desigualdad (1) sin pasarse nos basta (3). Ahora
escribimos el "bmin" explícitamente:

(4)
Y aquí hemos de añadir 1 a la función parte entera, o usar que no parece lo mejor, para
cumplir (1), ya que en enteros:

Con las expresiones (3) y (4) podemos eliminar todo rastro de "b" en (2) quedando tras
reagrupar:

(5)

Que es una ecuación en enteros y con funciones suelo. Si solo hubiese una función de este
estilo podríamos desdoblarla en dos desigualdades como las que se muestran arriba, pero aquí
eso complica mucho la ecuación. Pero sabemos que "a" es entero, eso sugiere un cambio de
varias y pasar a módulo 4, como que es, para quitar los suelos a costa de desdoblar
(5) en cuatro ecuaciones lineales. Es decir se tiene que "a" ha de ser de alguna de las formas:

Por tanto y para cada caso:

(5.1)

(5.2)

(5.3)

(5.4)

Y con esto se resuelve el problema:

(Sol.)