Huerto de Euclides - Euclid's orchard
En matemáticas , hablando informalmente, el huerto de Euclides es un conjunto de "árboles" unidimensionales de altura unitaria plantados en los puntos de la celosía en un cuadrante de una celosía cuadrada . Más formalmente, el huerto de Euclides es el conjunto de segmentos de línea desde ( i , j , 0) a ( i , j , 1) , donde i y j son números enteros positivos.
Los árboles visibles desde el origen son aquellos en puntos de la red ( m , n , 0) , donde m y n son primos entre sí , es decir, donde la fracciónmetro/norteestá en forma reducida . El nombre huerto de Euclides se deriva del algoritmo euclidiano .
Si el huerto se proyecta con relación al origen en el plano x + y = 1 (o, de manera equivalente, se dibuja en perspectiva desde un punto de vista en el origen), las copas de los árboles forman un gráfico de la función de Thomae . El punto ( m , n , 1) se proyecta a
La solución al problema de Basilea se puede utilizar para mostrar que la proporción de puntos en la cuadrícula que tienen árboles es aproximadamente y que el error de esta aproximación llega a cero en el límite a medida que llega al infinito.