Supongamos que me dan 4 números enteros positivos $A, B, C, D$ donde $A > B$ y $C < \lceil \frac{A}{B} \rceil $ ¿cómo puedo demostrar que siempre existen números enteros $x,y \geq 0$ donde $D = x+y$ de forma que al menos una de estas tres desigualdades debe cumplirse para cada combinación válida de $A, B, C, D \in \mathbb{Z}_{> 0}$ .
$$\frac{y}{x+C} \geq \frac{A}{B} \geq \frac{y-1}{x+1}$$ $$\frac{y+C}{x-1} \geq \frac{A}{B} \geq \frac{y+1}{x}$$ $$\frac{y+C}{x} \geq \frac{A}{B} \geq \frac{y}{x+1}$$
Hice algunas manipulaciones algebraicas para llegar a las tres desigualdades anteriores en esa forma, pero parece que no puedo razonar nada acerca de la existencia de una tal $x, y$ . Las simulaciones parecen sugerir que siempre existe tal $x, y$ (¡aunque no exhaustiva!), pero no encuentro ninguna prueba de ello.
¿Alguien tiene alguna idea sobre cómo abordar esta cuestión? (O tal vez un contraejemplo de lo contrario).