La medición de $ \pi $
Nada puede ser medido perfectamente en el mundo real. Imaginemos que tenemos un dispositivo que mide la longitud con una precisión de $ \varepsilon >0$ y tratar de medir la longitud denotada por $ \pi $ . $^{[1]}$ Lo que obtenemos es un poco de $x$ finamente representado con respecto a alguna unidad de medida (normalmente, conseguiremos $x=3.1415 \ldots $ si elegimos el sistema decimal). De esta manera, no sabemos que $ \pi = x$ pero sólo eso $ \pi\in\langle x - \varepsilon , x+ \varepsilon\rangle $ . Más pequeño el $ \varepsilon $ más precisamente sabemos $ \pi $ .
Lo que concluimos es que no podemos saber nunca el valor exacto de $ \pi $ midiéndolo, incluso si $ \pi $ tenía una representación decimal finita . $^{[2]}$ Por supuesto, si $ \pi $ eran racionales $^{[3]}$ nos gustaría calcula es el valor exacto y eso sería el final de la discusión. Ya que este no es el caso, si queremos saber sobre $ \pi $ necesitamos tener un dispositivo matemático que trate el problema. Tales dispositivos se llaman secuencias convergentes .
¿Cómo funciona esto? Imagina que construimos una secuencia $(a_n)$ y probar de forma abstracta que converge en $ \pi $ . Ahora sabemos que para cualquier precisión $ \varepsilon > 0$ existe $n_0 \in\mathbb N$ de tal manera que $|a_n- \pi |< \varepsilon $ para todos $n \geq n_0$ . Obsérvese que encontrar efectivamente lo que $n_0$ da la precisión deseada es una materia totalmente diferente y pertenece al campo de análisis numérico . Este El artículo de la wiki dará mucha más información sobre cómo $ \pi $ es realmente computarizada.
Representaciones infinitas que dan una longitud finita
En la respuesta de frog1944 hay una hermosa mención de la paradoja de Zeno, que es como probablemente este tipo de discusiones comenzaron formalmente en la filosofía occidental, hasta donde yo sé.
Imagina que tienes que cruzar una habitación, pero lo haces en los siguientes pasos: primero, cruzas la mitad de la distancia, luego cruzas la mitad de la distancia restante, y repites el proceso infinitamente. ¿Llegarás a tu meta? ¿O cruzarás una distancia infinita?
Matemáticamente, lo que necesitamos calcular es la suma infinita de la forma $$s = \frac 12+ \frac 14 + \frac 18+ \ldots $$ que es sólo la suma de series geométricas $$ \sum_ {n=1}^ \infty \frac 1{2^n} = 1$$ Si dibujas este proceso en papel, inmediatamente quedará claro por qué se mantiene esta igualdad. Y también resuelve nuestro problema de cruzar una habitación: cruzaremos la habitación (exactamente una vez), pero no en un número finito de pasos.
Las representaciones decimales funcionan exactamente de la misma manera; cualquier número $x \in\langle 0,1 \rangle $ puede ser representado como una suma infinita de la forma $$x = \frac {a_1}{10}+ \frac {a_2}{100}+ \frac {a_3}{1000}+ \ldots $$ donde $a_1,a_2,a_3, \ldots $ son dígitos (es decir. $a_i \in\ {0,1,2 \ldots ,9\}$ ) en representación decimal de $x$ .
No sólo que las infinitas representaciones decimales pueden representar valores finitos, más de los valores finitos no pueden ser expresados finamente $^{[4]}$ - números irracionales . Cuando digo la mayoría, lo que quiero decir es que si eliges un punto al azar en la línea de número, las posibilidades son $0$ que elegiste un número racional. Incluso los números racionales no siempre tienen una representación decimal finita, por ejemplo $ \frac 1 3 = 0.33333 \ldots $
En conclusión...
Expresión $ \pi d$ es en realidad el valor exacto de la circunferencia de un círculo - esta es la definición misma de $ \pi $ . En realidad no podemos hacerlo mejor desde $ \pi $ es irracional. Expresiones como $3.14d$ , $ \frac {22}{7}d$ etc., son sólo aproximaciones numéricas del valor exacto que podrían utilizarse en la práctica. ¿Podemos saber alguna vez el valor exacto de $ \pi $ ? No. ¿Podemos acercarnos arbitrariamente? ¡Sí!
$[1]$ Es probable que para cualquier círculo la relación entre su circunferencia y su diámetro sea constante (es decir, la circunferencia de un círculo es proporcional a su diámetro). Denotamos esta relación con el símbolo $ \pi $ .
$[2]$ Imagina que estás midiendo algo de longitud $3$ hasta la precisión de, digamos, $5$ decimales. De lo que puedes estar seguro es que obtendrás $3.00000$ pero no puedo estar seguro de que lo que estás midiendo no sea realmente $3.00000000001$ .
_${[3]}$ No lo es._