De las explicaciones matemáticas, me gusta lo mejor de Steve Denton. Pero ninguno de ellos es realmente una “explicación” en el sentido de que la pregunta es, creo. La pregunta está buscando el “¡ajá!” perspicacia, no la razón técnica para la corrección. La explicación de Steve muestra indirectamente cómo debe comportarse la cosa para mantener la coherencia con la propiedad de aditividad, pero aún no entiende por qué.
Hay muchas cosas en matemáticas (incluidas cosas bastante complicadas, como el teorema de Pitágoras) que se pueden entender a través de una serie de intuitivos “¡ajá!” pasos que terminan en un “¡ajá!” acumulativo
Pero también hay muchas cosas que parecen eludir la intuición. A veces, la razón es obvia (como nuestra incapacidad de nivel de hardware fundamental para pensar en más de 3 dimensiones). Otras veces no es obvio por qué algo que puedes ver formalmente es tan difícil de ver intuitivamente. Esta es una de esas cosas.
Aquí las cosas no son intuitivas porque no está claro qué significa multiplicar algo por sí mismo 0 veces. Nuestras intuiciones básicas sobre la multiplicación involucran los números naturales. Incluso la exponenciación negativa es realmente difícil de entender, por eso las escuelas lo enseñan a una edad temprana para que el niño se distraiga fácilmente y no haga demasiadas preguntas. Entonces, para una mejor intuición, necesitamos una explicación que involucre solo la exponenciación positiva.
- Si 1/0 = x, entonces es 0 = 1 / x?
- Encuentre el mayor número de cinco dígitos que, dividido entre 10, 13, 15 y 26, le da a los restantes 4, 7, 9 y 20, respectivamente.
- ¿Qué es el infinito? ¿Pi es infinito?
- ¿Es 1351 un número primo?
- ¿Cuántos números hay entre 1 y 1000 que son divisibles por 3 y su suma es divisible por 7?
Edwin Chen ofrece un modelo geométrico, pero las “dimensiones cero” simplemente mueven la oscuridad de la aritmética entera a la geometría.
Matthew Handy está en un camino más prometedor: está buscando propiedades de continuidad / convergencia. Pero él salta inmediatamente de +1 a -1. Eso es muy burdo.
Intentemos extender esta intuición. ¿Qué pasa con las potencias fraccionarias? Son raíces, ¿verdad? entonces [math] x ^ {\ frac {1} {n}} [/ math] es el número que, si se multiplica por sí mismo n veces, te da x .
Entonces puedes pensar así:
[matemáticas] x ^ 0 = \ lim_ {n \ rightarrow \ infty} x ^ {\ frac {1} {n}} [/ matemáticas]
es decir, como punto límite de la serie:
[matemáticas] x ^ {\ frac {1} {1}}, x ^ {\ frac {1} {2}}, x ^ {\ frac {1} {3}}, x ^ {\ frac {1} {4}}, \ ldots [/ math]
Dos ejemplos: si x = 2, obtienes
2, 1.414, 1.259, 1.189, …
Si x = 0.5, obtienes los recíprocos
0.5, 0.707, 0.793, 0.841 …
Esto todavía no es satisfactorio para nosotros los tipos intuitivos, pero al menos tienes una serie infinitamente contable que se acerca a 1 desde ambos lados de la cantidad que se eleva a una potencia, y el caso x = 1 es afortunadamente intuitivo (es todo 1s) . Entonces puede acercarse arbitrariamente a [math] x ^ 0 [/ math] desde cualquier lado de x, y desde la dirección positiva de la potencia.
La razón por la que esto no es satisfactorio es que nuestras intuiciones sobre los argumentos de continuidad se basan en nuestro sentido geométrico de la línea real. Las secuencias infinitamente contables no lo cortan (y por una buena razón: piense en [math] \ sin {\ frac {1} {x}} [/ math]).
Pero pensar en términos de exponenciación de verdaderos reales es a) peludo, b) requiere más cálculo del que me interesa escribir aquí yc) hará las cosas más turbias, no menos.
Como descubrirá si se sumerge demasiado en estas cosas, la línea real es como el País de las Maravillas de Alicia. Si crees que el conejo tardío que te arrastró hasta allí es una criatura extraña, espera hasta que veas la basura aún más extraña que acecha allí.
Esa es, entonces, la verdadera ruta para hacer que [math] x ^ 0 = 1 [/ math] parezca intuitivo: yuxtaponerlo contra cosas aún más extrañas.