¿Existe una forma sistemática de encontrar aproximaciones racionales óptimas a $\pi$ cuyo numerador y denominador tienen como máximo $n$ ¿dígitos?
Más concretamente:
Dejemos que $D_n$ sea el conjunto de todos los enteros positivos con a lo sumo $n$ y definir la relación de equivalencia $\sim$ en $D_n\times D_n$ por $(x,y) \sim (x',y')$ si $\frac{x}{y} = \frac{x'}{y'}$ . Para cada uno de los fijos $n$ ¿existe una forma sistemática de decidir qué clase de equivalencia $[x,y]$ en $D_n\times D_n/\sim$ minimiza el residuo $R(x,y) = \left|\frac{x}{y} - \pi\right|$ ?
Por ejemplo, el óptimo $D_1$ la aproximación es $[3,1] = \{(3,1),(9,3)\}$ .
Nota: se ha señalado que siempre se puede hacer esto con un algoritmo de fuerza bruta. Eso es obvio y no es interesante. Lo que es interesante es un algoritmo eficiente para hacer esto.
Un punto filosófico: claramente tenemos muy, muy, muy buenas aproximaciones decimales de $\pi$ por lo que las aproximaciones racionales tienen un interés práctico limitado. Se trata, pues, de una cuestión que surge del disfrute de las matemáticas por sí mismas y no por su aplicación práctica.