Mejores aproximaciones racionales a una razón de tres números x:y:zx:y:zx:y:z

Si tengo una razón de dos números reales positivos X : y , entonces puedo encontrar las "mejores" aproximaciones racionales al escribirlo como una fracción continua (por ejemplo, al eliminar repetidamente la parte entera y tomar el recíproco del resto)

X y = a 0 + 1 a 1 + 1 a 2 + , a i  entero
y luego puedo cortarlo después de cualquiera de los a i para formar una aproximación racional como
X y a 0 + 1 a 1 = pag q , pag , q  entero

y esta es una aproximación "mejor pequeña" en el sentido de que cualquier aproximación racional más cercana pag q con | pag q X y | < | pag q X y | tiene pag pag y q q . (Al menos uno de ellos será estricto para una proporción distinta). Este proceso no produce todas las mejores pequeñas aproximaciones, pero sí una modificación.

Recientemente, quería aproximar una razón de tres números como 13780 : 8992 : 3364 , en lugar de solo dos. Me di cuenta de que no sabía cómo, de ahí esta pregunta.

Deberíamos definir qué es una aproximación "mejor pequeña" en este contexto 3D. Para decir qué tan bien pag : q se aproxima X : y , acabamos de calcular | pag q X y | . Para generalizar esto a pag : q : r y X : y : z , creo que debemos seguir esta respuesta . Los tratamos como vectores en el espacio 3D y los normalizamos en la esfera unitaria. Entonces podemos encontrar la distancia entre estas proyecciones. (Para el caso 2D, no creo que esta definición dé los mismos números, pero creo que da el mismo orden). Entonces pag : q : r es la mejor pequeña aproximación a X : y : z si alguna aproximación más cercana pag : q : r tiene pag pag , q q , r r . (Se agradecen los comentarios sobre la idoneidad de esta definición).

En mi caso único, lo hice algo ad hoc al dividir la parte más pequeña de la proporción para obtener 4 + 1 10 + : 2 + 1 2 + 1 4 + : 1 , truncando en la primera y segunda posición respectivamente para obtener 4 : 2 + 1 2 : 1 , y luego multiplicando por el común denominador para 8 : 5 : 2. Al enumerar todas las proporciones más pequeñas, encuentro que esta es la mejor pequeña aproximación, pero mi proceso no parece general. Por ejemplo, si en cambio trunco ​​a 4.1 : 2.5 : 1 y luego multiplicar a 41 : 25 : 10 , encuentro que en realidad es peor que la aproximación más pequeña (mejor pequeña) 37 : 24 : 9 . ¿Existe/cuál es un proceso general para encontrar las mejores pequeñas aproximaciones a una proporción de tres (o más) números? (Aparte de simplemente enumerar todas las proporciones pequeñas y tomar las mejores).

¿Alguna idea sobre mi respuesta?
@GerryMyerson Oh, lo siento, he estado un poco ocupado. Pero realmente estoy buscando un procedimiento explícito y efectivo para hacer esto, incluso si es molestamente complicado. Entonces, realmente no consideré que su respuesta estuviera completa y estaba esperando que alguien escribiera algo (o que tuviera tiempo para investigar a qué se refería y escribir una respuesta yo mismo).
¿Cómo va tu investigación, HTNW?
Consulte el Capítulo 5 de "Brentjes, Arne Johan. "Algoritmos de fracción continua multidimensional". MC Tracts 145 (1981): 1-183". Disponible sin cargo en NTIS.gov

Respuestas (1)

Creo que lo que está buscando se encuentra bajo el título de aproximación diofántica simultánea . El teorema básico bajo este encabezado es la versión simultánea del teorema de aproximación de Dirichlet, que dice, dados números reales α 1 , , α d y un numero natural norte hay enteros pag 1 , , pag d y q , 1 q norte tal que

| α i pag i q | 1 q norte 1 / d
En tu caso, los números reales son X / z y y / z , y las fracciones que se aproximan son pag / r y q / r .

El teorema te dice que existen estas buenas aproximaciones, pero no te dice cómo encontrarlas. La prueba dada en la página de Wikipedia puede, en principio, usarse para encontrarlos, pero en la práctica es miserable. Hay mejores métodos, pero son más complicados que las fracciones continuas que sirven para aproximar un solo real o racional. Pero el término de búsqueda "aproximación diofántica simultánea" debería ayudarlo a comenzar.