Aquí hay muchas buenas respuestas que dicen que la irracionalidad no es necesariamente la razón por la que no podemos dibujar un círculo perfecto, incluso si los números reales no existen, en cierto sentido, en nuestra realidad física. Quiero mencionar otra razón práctica: incertidumbre. Para dibujar un círculo perfecto (o casi cualquier objeto geométrico perfecto), necesitamos una certeza absoluta , es decir, un conocimiento completo de la precisión de nuestra medición. Desafortunadamente, eso no es posible.
La noción de que la incertidumbre es inherente al mundo está formalizada y cuantificada por el famoso principio de incertidumbre de Heisenberg (y otras relaciones similares): si [matemática] \ Delta x [/ matemática] es la incertidumbre (desviación estándar) de la posición de una partícula y [ matemática] \ Delta p [/ matemática] es la incertidumbre (desviación estándar) del momento de esa partícula (tenga en cuenta que la posición y el momento determinan completamente el estado de un sistema clásico), entonces
[matemáticas] \ Delta x \ Delta p \ geq \ frac {\ hbar} {2}, [/ matemáticas]
dónde
- ¿Los matemáticos sueñan con las matemáticas?
- ¿Te gustaría vivir la vida de un poeta o matemático?
- ¿Por qué la mayoría de los matemáticos están en contra de PEMDAS?
- ¿Es la contabilidad universitaria mucho más difícil que el álgebra universitaria? ¿Cuál es la diferencia entre los dos?
- ¿Cómo descubrieron los matemáticos que la probabilidad debería estar entre cero y uno?
[matemáticas] \ hbar = \ frac {h} {2 \ pi} \ aproximadamente 1.054 \ por 10 ^ {- 34} \; \ mathrm {J} \ cdot \ mathrm {s} [/ math]
o simplemente [matemáticas] 1 [/ matemáticas] si está trabajando en unidades naturales.
La mecánica cuántica es un excelente modelo del mundo real [1], por lo que debes confiar en este resultado. La incertidumbre y la incertidumbre cuánticas significan que no solo no puedes dibujar un círculo perfecto, ¡sino que ese objeto no existe en el universo físico!
Tenga en cuenta que tampoco podemos tener longitudes racionales . Ninguna medida es perfectamente precisa. El ejemplo de David Joyce de construir un triángulo rectángulo [matemático] 45 [/ matemático] con la longitud de la pierna exactamente [matemática] 1 [/ matemático], un proceso que solo usa números racionales, muestra que necesariamente obtenemos una hipotenusa de longitud [ math] \ sqrt {2} [/ math], según el teorema de Pitágoras, y por lo tanto, los números irracionales surgen naturalmente de los números racionales. [1] [2]
También podríamos simplemente definir algún objeto como una longitud numérica racional o irracional en algunas unidades ad hoc (el kilogramo se define realmente de esta manera, al menos por ahora [2]), pero esto realmente no nos lleva a ninguna parte. Esa muestra cambia la longitud de manera imperceptible cada segundo, por lo que no nos da una unidad constante. Además, cualquiera que sea su longitud en un momento dado todavía es imprecisa debido a la confusión de la mecánica cuántica.
La longitud precisa no es un concepto físico bien definido; parece que solo funciona realmente en matemáticas. La física solo modela la realidad. Lo hace utilizando las matemáticas, inspiradas en la experiencia del mundo real, al menos en la práctica. Los objetos matemáticos no necesitan existir en el mundo real. Muchos objetos físicos son aproximadamente objetos matemáticos; Uno puede pensar en los objetos matemáticos como idealizaciones, si así lo desean. Aquí hay mucha filosofía, incluida la misma noción de existencia, pero no continuaré más.
[1] En caso de que alguien señale esto, es cierto que algunos matemáticos creen que solo existen números racionales o números algebraicos, pero esto no nos importa. Sin embargo, vale la pena señalar que, en teoría, podríamos construir un universo modelo cuando solo existan números racionales.
[2] Como quizás un lado más interesante, uno podría argumentar que la geometría euclidiana es un mal modelo de la realidad y deberíamos, por ejemplo, pensar en una métrica diferente. Desafortunadamente, esto no te lleva a ninguna parte. Los círculos se definen para el espacio euclidiano.
Notas al pie
[1] Pruebas de precisión de QED – Wikipedia
[2] Kilogramo – Wikipedia