Si [matemática] x ^ a [/ matemática] es [matemática] x [/ matemática] multiplicada por sí misma [matemática] a [/ matemática] veces, ¿cómo tiene sentido [matemática] x ^ {- 1} [/ matemática] ?

Esta:

[matemáticas] a – b [/ matemáticas]

es lo mismo que:

[matemáticas] a + (-1) b [/ matemáticas]

Sin embargo, ¿tiene sentido [matemáticas] -1 [/ matemáticas]?

Quiero decir, no puedes cultivar -1 manzanas o tener un volumen negativo o ir a McDonald’s y pedir -1 hamburguesas con queso.

Pero, por otro lado, de hecho podemos tener saldos negativos en nuestras cuentas bancarias, tener una tasa de subida negativa, tener temperaturas negativas, etc.

Entonces, ¿qué está pasando aquí? ¿Los números negativos tienen sentido o no?

A veces usamos analogías físicas para transmitir conceptos matemáticos, pero esa es solo una herramienta pedagógica, no cómo se definen realmente, siguen siendo conceptos abstractos. Parece que tu error es pensar en la multiplicación como un proceso físico, en cuyo caso no puedes hacer algo -1 veces. Pero si lo trata como una operación abstracta y comprende lo que es un inverso, entonces debe quedar muy claro qué es [matemática] x ^ {- 1} [/ matemática].

Debo ser un poco pedante aquí. [matemática] x ^ a [/ matemática] no significa que multiplique [matemática] x [/ matemática] por sí misma [matemática] a [/ matemática] veces. Por ejemplo, en la expresión [matemática] x ^ 2 [/ matemática] estás multiplicando [matemática] x [/ matemática] por sí sola una vez. En la expresión [matemáticas] x ^ 1 [/ matemáticas] no estás multiplicando [matemáticas] x [/ matemáticas] por sí solo.

Sin embargo, sé a qué te refieres. Quiere decir que hay [math] a [/ math] multiplicands que son todos iguales [math] x [/ math].

O como me gusta decirlo, [matemáticas] x ^ a [/ matemáticas] significa que comenzamos con [matemáticas] 1 [/ matemáticas] y luego multiplicamos por [matemáticas] x [/ matemáticas], [matemáticas] a [/ matemáticas ] veces.

Ahora : ¿dónde estábamos?

¿Nadie te dijo alguna vez que puedes hacer algo [matemáticas] -1 [/ matemáticas] vez? Simplemente significa que haces lo contrario de esa cosa. Por ejemplo, puedo dar un paso a la izquierda [matemáticas] -1 [/ matemáticas] tiempo; solo significa que paso bien. Incluso puedo tomar [matemáticas] -100 [/ matemáticas] pasos a la izquierda si hay suficiente espacio a mi derecha.

Puedo ponerme los calcetines [math] -1 [/ math] time, pero solo si ya tengo los calcetines puestos.

Sin embargo, hay límites. No puedo comer un hot dog [math] -1 [/ math] vez, incluso si acabo de comer un hot dog. Sé lo que probablemente estés pensando, pero no dejaría las cosas como estaban antes de que me comiera el hot dog. Comer un hot dog no es una acción invertible (es decir, reversible) porque no hay nada que pueda hacer para que un hot dog comido no se coma.

En un sentido similar, multiplicar por [matemáticas] 0 [/ matemáticas] no es invertible. En lo que respecta a la multiplicación, un número distinto de cero, como [math] 1 [/ math], es como un hot dog sin comer y [math] 0 [/ math] es como un hot dog comido: tenemos un camino por recorrer desde [ matemática] 1 [/ matemática] a [matemática] 0 [/ matemática] pero ninguna multiplicación nos llevará de [matemática] 0 [/ matemática] a [matemática] 1 [/ matemática].

También es como ver esa foto de Goatse, o un video de alguien asesinado. No puedes hacer eso negativo una vez.

Algunos de nosotros hemos dicho cosas a las personas cercanas a nosotros que con gusto haríamos [matemáticas] -1 [/ matemáticas] veces si pudiéramos.

Un punto ligeramente más sutil: cortar un polígono en piezas triangulares no es una acción invertible, sino por una razón diferente. Puede volver a ensamblarlos en diferentes polígonos, y cualquiera de estos polígonos podría haberse cortado para producir el mismo resultado.

O mejor aún, si como una hamburguesa con lechuga en la parte superior versus una hamburguesa con lechuga en la parte inferior, el resultado será esencialmente el mismo. Por lo tanto, incluso si puedo revertir el acto de comer la hamburguesa de alguna manera, la inversión no estará bien definida porque no sé si volveré a la hamburguesa con la lechuga encima o la lechuga en el fondo.

Esta es también la razón por la que no podemos dividir [matemáticas] 0 [/ matemáticas] entre [matemáticas] 0 [/ matemáticas] o hablar de [matemáticas] 0 ^ 0 [/ matemáticas] de una manera significativa. Podemos pasar de cualquier número a [math] 0 [/ math] si lo multiplicamos por [math] 0 [/ math], por lo que no se puede revertir el acto de multiplicar por [math] 0 [/ math] en un forma bien definida: hay demasiados números a los que podríamos volver potencialmente.

Pero para números que no sean [matemática] 0 [/ matemática], multiplicar por él [matemática] -a [/ matemática] veces es sencillo: simplemente multiplique por sus recíprocos [matemática] a [/ matemática] veces.

Por supuesto, ahora me preguntarás qué significa [matemática] x ^ a [/ matemática] si [matemática] a [/ matemática] es una fracción.

Oh, crees que me tienes, ¿no?

Aunque puede parecer una tontería hacer algo la mitad de las veces, es bastante razonable siempre que tengamos claro lo que queremos decir con eso. En general, hacer alguna acción [matemática] A [/ matemática], [matemática] \ frac {1} {2} [/ matemática] tiempo, solo significa que estamos haciendo una acción [matemática] B [/ matemática] de tal manera que hacer [matemáticas] B [/ matemáticas] dos veces sería equivalente a hacer [matemáticas] A [/ matemáticas] una vez.

¿Cómo rotar una imagen 180 °, [matemáticas] \ frac {1} {2} [/ matemáticas] tiempo? Rótelo 90 °.

Digamos que eres un gusano extremadamente fuerte en el fondo del pozo en este viejo castaño, y cualquier acto de escalada debe incluir descansar lo suficiente como para deslizarse hacia abajo 2 pies. ¿Cómo salir del pozo [matemáticas] \ frac {1} {2} [/ math] hora? ¡Sube 51 pies!

Podemos definir hacer una acción [math] \ frac {m} {n} [/ math] veces de manera similar para casi cualquier fracción.

¿Qué pasa si [matemáticas] a [/ matemáticas] es irracional? Eso está bien, siempre y cuando estés de acuerdo en hablar sobre una secuencia infinita de números racionales que converja a [matemáticas] a [/ matemáticas]. Por ejemplo, hacer una acción [matemáticas] 3.14 [/ matemáticas] veces está cerca de hacerlo [matemáticas] \ pi [/ matemáticas] veces, pero hacerlo [matemáticas] 3.141 [/ matemáticas] está más cerca, hacerlo [matemáticas ] 3.1415 [/ math] veces está más cerca todavía, y así sucesivamente.

En general, podemos decir que si [math] x [/ math] es positivo, entonces [math] a [/ math] puede ser cualquier número real y podemos decir que [math] x ^ a [/ math] es el resultado de comenzar con [matemáticas] 1 [/ matemáticas] y multiplicar por [matemáticas] x [/ matemáticas], [matemáticas] a [/ matemáticas] veces. Solo tenemos que tener claro lo que eso significa. (De hecho, también podemos hacer que funcione para valores negativos de [matemáticas] x [/ matemáticas], siempre que tengamos una definición útil de lo que significa multiplicar por un número negativo). Sin embargo, ser claro es bueno.

Hay varias maneras de considerar la exponenciación, [matemática] a ^ b [/ matemática], y pensar en ella como [matemática] a [/ matemática] multiplicada por sí misma [matemática] b [/ matemática] veces es una de las Más restrictivo.

Funciona mucho mejor considerar las siguientes dos propiedades como definición:

[matemáticas] a ^ {b + c} = a ^ ba ^ c [/ matemáticas]

[matemáticas] (ab) ^ c = a ^ cb ^ c [/ matemáticas]

Desde aquí, puede deducir muchas cosas interesantes, como:

[matemáticas] a ^ b = a ^ {b + 0} = a ^ ba ^ 0 \ implica a ^ 0 = 1 [/ matemáticas]

o [matemáticas] a ^ b = a ^ {(b-1) +1} = aa ^ {b-1} = aa ^ {(b-1) +1} = aaa ^ b {b-1} = \ cdots = aaa \ dots a [/ math] con [math] b [/ math] repeticiones de [math] a [/ math] en la última igualdad.

El último es el [matemático] a ^ b [/ matemático] es “[matemático] a [/ matemático] multiplicado por sí mismo [matemático] b [/ matemático] veces”, pero solo funciona realmente cuando [matemático] b [/ matemáticas] es un entero positivo. Cada paso hasta el último es válido, siempre que haya un número finito de pasos para deshacerse del paso [math] a ^ {bc} [/ math]. Si lo intentaste con [matemáticas] a ^ {\ pi} [/ matemáticas], obtendrías [matemáticas] a ^ \ pi = aa ^ {\ pi-1} = aa ^ {\ pi-2} = \ cdots = aaaaaaaaaaa ^ {\ pi-10} = \ cdots [/ math] y nunca se detendría.

Esta es (una de) las razones por las que la propiedad de definición que enumeré es mejor. Puede obtener la propiedad “multiplicado por sí mismo”, donde esa propiedad tiene sentido. La propiedad “multiplicada por sí misma” se puede utilizar para probar la propiedad [math] a ^ {b + c} = a ^ ba ^ c [/ math] cuando [math] b, c [/ math] son ​​números enteros no negativos, pero no ayuda cuando no lo son.

Pero a partir de la propiedad de definición, puede expandir enteros no negativos pasados ​​(deje que [math] n [/ math] sea un entero positivo a continuación, cuando se usa:

[matemáticas] 1 = a ^ 0 = a ^ {b + (- b)} = a ^ ba ^ {- b} \ implica a ^ {- b} = \ frac {1} {a ^ b} [/ matemáticas]

[matemáticas] a ^ {nb} = a ^ {(1+ \ cdots + 1) b} = a ^ {b + \ cdots + b} = a ^ b \ cdots a ^ b = (a ^ b) ^ n [ /matemáticas]

[matemáticas] a = a ^ 1 = a ^ {\ frac {n} {n}} = (a ^ {\ frac {1} {n}}) ^ n \ implica a ^ {\ frac {1} {n }} = \ sqrt [n] {a} [/ math]

La combinación de los dos últimos le permite aumentar el número (no negativo) a poderes racionales:

[matemáticas] a ^ {\ frac {p} {q}} = (\ sqrt [q] {a}) ^ p [/ matemáticas].

En general, [matemática] \ sqrt [q] {a} [/ matemática] no está definida (en reales) cuando [matemática] a <0 [/ matemática], y algunas cosas se ponen difíciles cuando [matemática] a = 0 [/ math] (es decir, cómo definir [math] 0 ^ 0 [/ math] con sensatez), por lo que hay una tendencia a considerar solo [math] a> 0 [/ math].

Técnicamente, esto no está definido para poderes reales (como [math] a ^ \ pi [/ math], pero hay una forma razonable de extender la definición: si [math] a> 1 [/ math], entonces si [math ] p, q [/ math] son ​​números racionales y [math] p

Y todavía sostiene que [matemáticas] a ^ {b + c} = a ^ ba ^ c [/ matemáticas], y por lo tanto [matemáticas] x ^ {- 1} = \ frac {1} {x} [/ matemáticas] , a pesar de no poder multiplicar [matemáticas] x [/ matemáticas] por sí mismo -1 veces.

Me encantan preguntas como esta y me encanta mostrar a los estudiantes la lógica detrás de este importante tema. ¡Es muy importante comprender los índices y no solo recordar los resultados !

También es importante seguir algunos pasos necesarios en el camino.

Así es como procedo:

No puedo resistirme a poner un poco más en los índices que están en forma de fracción :

Si [matemática] x ^ a [/ matemática] es [matemática] x [/ matemática] multiplicada por sí misma [matemática] a [/ matemática] veces, ¿cómo tiene sentido [matemática] x ^ {- 1} [/ matemática] ?

¡Buena pregunta! Tal vez [matemática] x ^ a [/ matemática] significa otra cosa para la cual [matemática] x ^ {- 1} [/ matemática] tiene sentido, y ese significado da como resultado que [matemática] x ^ n [/ matemática] sea igual a [matemática] x [/ matemática] multiplicada por sí misma [matemática] n [/ matemática] veces cuando [matemática] n [/ matemática] es un entero positivo …

Esa es la opción [1] Investigaría más si fuera usted 🙂

Notas al pie

[1] Función exponencial

Broma vieja

Un biólogo, un físico y un matemático están comiendo en el patio de un restaurante. Al otro lado de la calle, ven a dos personas entrar a un edificio vacío, y unos momentos después salen tres personas.

El biólogo dice: “Oh, deben haberse reproducido”.

El físico comenta: “Debe haber habido algún tipo de error estadístico”.

Todos permanecen en silencio durante un buen rato antes de que el matemático diga: “Sabes, si una persona más entra a ese edificio, estará vacío”.

Parafrasea el chiste con poderes de [matemáticas] x [/ matemáticas]. Multiplique dos [matemáticas] x [/ matemáticas] para obtener [matemáticas] x ^ 2 [/ matemáticas]. Divide eso entre tres [matemáticas] x [/ matemáticas] para obtener [matemáticas] x ^ {- 1} [/ matemáticas]. Si multiplica por uno más [matemática] x [/ matemática] obtendrá [matemática] x ^ 0 [/ matemática], es decir, [matemática] 1 [/ matemática].

Por lo tanto, [matemáticas] x ^ {- 1} [/ matemáticas] es ese número tal que si lo multiplica por [matemáticas] x [/ matemáticas], obtendrá [matemáticas] 1 [/ matemáticas]. Por lo tanto, [math] x ^ {- 1} [/ math] es lo mismo que [math] 1 / x [/ math].

[matemática] x ^ a [/ matemática] significa [matemática] x [/ matemática], multiplicada por sí misma [matemática] a [/ matemática] veces.

Entonces, [matemática] x ^ 5 [/ matemática] significa [matemática] x * x * x * x * x [/ matemática], [matemática] x ^ 4 [/ matemática] significa [matemática] x * x * x * x [/ math], y así sucesivamente.

[matemáticas] x ^ {n} = \ dfrac {x ^ {n + 1}} {x} [/ matemáticas]

Por lo tanto:

[matemáticas] x ^ 0 = \ dfrac {x ^ {0 + 1}} {x} = \ dfrac {x} {x} = 1 [/ matemáticas]

Y [matemáticas] x ^ {- 1} = \ dfrac {x ^ 0} {x} = \ dfrac {1} {x} [/ matemáticas]

[matemáticas] x ^ {- 2} = \ dfrac {x ^ {- 1}} {x} = \ dfrac {\ frac {1} {x}} {x} = \ dfrac {1} {x ^ 2} [/matemáticas]

En general, [matemáticas] x ^ {- n} = \ dfrac {1} {x ^ n} [/ matemáticas]

Puedes imaginarlo así:

Si el exponente es [matemática] \ le 0 [/ matemática], debe usar la función inversa de multiplicación: División.

Espero que esto ayude.

[math] x ^ {- a} [/ math] podría interpretarse como dividiendo [math] 1 [/ math] entre [math] x [/ math] [math] a [/ math] veces. Por lo tanto, [math] x ^ {- 1} [/ math] podría interpretarse como dividir [math] 1 [/ math] por [math] x [/ math] una sola vez.

La respuesta del prof. David Joyse es muy bueno. 😀

Todos los demás tienen razón dos. Intentaré seguir tu definición:

Si [matemáticas] x ^ a [/ matemáticas] es x multiplicado por sí mismo un veces, ¿cómo

[matemáticas] x ^ {- 1} [/ matemáticas]

¿tener sentido?

Eso significa que si necesitamos obtener [matemáticas] x ^ {a + 1} [/ matemáticas] tenemos que multiplicar por x una vez más, y eso significa que [matemáticas] x ^ {a + 1} [/ matemáticas ] es x veces más que [matemáticas] x ^ {a} [/ matemáticas]

Por lo tanto, la multiplicación por x aumenta en 1 grado, y la división se reduce.

Ahora dividamos [math] x ^ {a} [/ math] por [math] x ^ {a + 1} [/ math]. El resultado es [matemáticas] x ^ {- 1} [/ matemáticas]

Eso significa que la broma del prof. David Joyse es muy sabio y [matemáticas] x ^ {- 1} [/ matemáticas] x se multiplica por sí mismo -1 veces. 🙂

[math] x ^ a = x \ times \ cdots \ times x [/ math] ([math] a [/ math] times) es solo un caso especial. Si desea una definición más general, tiene [math] x ^ a = \ exp (a \ ln (x)) [/ math] donde [math] \ exp [/ math] es la función exponencial y [math] \ ln [/ math] la función de logaritmo neperiano. Por supuesto, esta nueva definición solo tiene sentido si [math] x> 0. [/ Math]

Entonces, para [matemáticas] x> 0 [/ matemáticas] y [matemáticas] a = -1 [/ matemáticas] tiene:

[matemáticas] x ^ {- 1} = \ exp (- \ ln (x)) = \ dfrac {1} {\ exp (\ ln (x))} = \ dfrac {1} {x} [/ matemáticas]

NB: Lo sé, todo esto está bien solo para [matemáticas] x> 0 [/ matemáticas] …

Es solo para [math] a \ in \ mathbb {N} [/ math] que [math] x ^ a = x * x * \ dots (a [/ math] veces). Obviamente no tendría sentido para exponentes negativos o exponentes no naturales.

Pero supongamos que quisiéramos extender la exponenciación a todos los coeficientes enteros posibles, y aún así mantener la propiedad que [math] x ^ {a + b} = x ^ ax ^ b [/ math]. Bueno, sabemos (como han dicho otros) que [matemática] x ^ a = x ^ {a + 0} = x ^ ax ^ 0 [/ matemática] por lo que tendríamos que tener [matemática] x ^ 0 = 1. [ /matemáticas]

También sabemos que [matemáticas] 1 = x ^ 0 = x ^ {aa} = x ^ ax ^ {- a} [/ matemáticas] por lo que tendríamos que definir [matemáticas] x ^ {- a} = 1 / x ^ a. [/ math] ¡Es tan simple como eso!

Considere [matemáticas] x ^ {- a} [/ matemáticas]. Significa multiplicar [matemática] \ dfrac {1} {x} [/ matemática], [matemática] a [/ matemática] veces

Entonces, pensando de esta manera, [matemáticas] x ^ {- 1} [/ matemáticas] sería multiplicar [matemáticas] \ dfrac {1} {x} [/ matemáticas], [matemáticas] 1 [/ matemáticas] tiempo. ¿Y cómo podemos multiplicar una copia de un número que usted pregunta? No lo hacemos, solo significa que hay una copia de [math] \ dfrac {1} {x} [/ math] presente, al igual que [math] x ^ {- 2} [/ math] significaría que hay dos copias de [math] \ dfrac {1} {x} [/ math] presentes y tenemos que tomar su producto.

Espero que esté claro ahora

Gracias por el A2A.

Si [math] x ^ {a} [/ math] es [math] x [/ math] multiplicado por sí mismo [math] a [/ math] veces, entonces si [math] x ^ {- a} [/ math] , donde [matemática] a [/ matemática] es positiva, ya que [matemática] -a [/ matemática] es la inversa de [matemática] a [/ matemática], el resultado será la inversa multiplicativa de [matemática] x ^ { a} [/ matemáticas].

En otras palabras, para cualquier negativo, dividirás, no multiplicarás. Entonces, [matemáticas] x ^ {- a} = \ frac {1} {x ^ {a}} [/ matemáticas]

Si [math] a [/ math] y [math] b [/ math] son ​​enteros positivos, entonces no es difícil demostrar usando ejemplos concretos que

Si [matemática] a> b [/ matemática] entonces [matemática] \ displaystyle \ frac {x ^ a} {x ^ b} = x ^ {ab} [/ matemática]

Al poner [math] b = a-1 [/ math] podemos deducir que [math] x ^ 1 = x [/ math]

Además, si [matemática] a

Por ejemplo, [matemáticas] \ displaystyle \ frac {x ^ 3} {x ^ 5} = \ frac {x \ cdot x \ cdot x} {x \ cdot x \ cdot x \ cdot x \ cdot x} = \ frac {1} {x \ cdot x} = \ frac {1} {x ^ 2} [/ math]

Si definimos [math] \ displaystyle x ^ {- n} = \ frac {1} {x ^ n} [/ math]

entonces las advertencias anteriores desaparecen y podemos decir [matemáticas] \ displaystyle x ^ {ab} = \ frac {1} {x ^ {ba}} [/ matemáticas]

Al poner [math] b = a + 1 [/ math] podemos deducir que [math] \ displaystyle x ^ {- 1} = \ frac1x [/ math]

Considere x ^ (a + b).

x ^ (a + b) es x multiplicado por sí mismo a + b veces.

Esto es lo mismo que multiplicar x por sí mismo unas veces, luego multiplicar eso por x otras b veces. En otras palabras:

x ^ (a + b) = x ^ a * x ^ b.

Si b = -1, entonces x ^ a * x ^ b = x ^ a * x ^ (- 1) = x ^ (a-1)

Considere “inversas”.

La división es la “operación inversa” de la multiplicación. Una operación inversa significa que deshace la operación.

Entonces, si multiplica (a, b) = c, entonces inverse_of_multiply (c, b) = a. Al poner los dos juntos obtenemos: inverse_of_multiply (multiply (a, b), b) = a. La operación de multiplicación se deshace.

Considere los dos juntos.

x ^ 3 es una multiplicación más por x que x ^ 2.

x ^ (3-1) = x ^ 3 * x ^ (- 1) = x ^ 2.

x ^ (- 1) está “deshaciendo” la última multiplicación por x.

Para “deshacer” una operación, usamos su inversa.

La división es la “operación inversa” de la multiplicación.

Entonces x ^ (- 1) se divide por x.

x ^ (- 1) =…

x ^ (- 1) es “deshacer” la última multiplicación por x de x ^ 0.

x ^ 0 = 1.

La división es la “operación inversa” de la multiplicación.

Entonces x ^ (- 1) = 1 / x.

Verificación.

Podemos verificar usando nuestra regla x ^ (a + b).

Si tomamos nuestra respuesta para x ^ (- 1) y multiplicamos por x ^ 1, deberíamos obtener x ^ (1–1) = x ^ 0 = 1.

x ^ 1 es solo x.

1 / x veces x es 1.

QED

Esa es una pregunta válida.

[math] x ^ a: = xx… x [/ math] a veces para [math] a \ in \ mathbb {N} (\ mathbb {Z}) [/ math] es una definición utilizada en grupos y anillos.

[matemáticas] x ^ {- 1} [/ matemáticas] tiene un significado especial específico en matemáticas considerando que [matemáticas] x [/ matemáticas] es una unidad en alguna estructura. Luego denota el elemento inverso.

Para eso primero necesitamos un elemento neutral [math] e [/ math]

De modo que [matemáticas] e \ circ c = c \ circ e = c \ forall c \ en X [/ math]

Ahora el inverso de [matemáticas] x [/ matemáticas] es algo de [matemáticas] y \ en X [/ matemáticas] para que

[matemáticas] y \ circ x = x \ circ y = e [/ matemáticas]

Entonces [math] y [/ math] se denota con [math] x ^ {- 1} [/ math] el inverso

En los números complejos (o reales) (incluso matrices cuadradas y endomorfismos (valor real o complejo)) hay otra definición diferente que da la misma respuesta si [math] a [/ math] es un número natural (función exponencial).

Que generaliza la exponenciación para [math] a \ in \ mathbb {C} [/ math]

Es útil pensar primero en cómo “damos sentido” a los enteros negativos. Por ejemplo, supongamos que relacionamos un número entero positivo con cuántos dólares (o manzanas o gatos) tenemos, entonces 5 significa “Tengo 5 [dólares / manzanas / gatos]”. ¿Qué significa -1? La interpretación típica en este contexto es que “le debemos” a alguien [dólar / manzana / gato].

Entonces, si [matemática] x ^ 5 [/ matemática] (por ejemplo) significa “multiplicar [matemática] x [/ matemática] 5 veces”, entonces [matemática] x ^ {- 1} [/ matemática] puede considerarse como “Debiendo” una multiplicación por [matemática] x [/ matemática], que entendemos que significa división por [matemática] x [/ matemática].

No lo hace. Lo que tiene sentido en las matemáticas (ordinarias) es:

  1. Un alfabeto (un conjunto finito de símbolos).
  2. Un conjunto contable de cadenas (secuencias finitas de símbolos del alfabeto) conocidas como “axiomas”.
  3. Un conjunto finito de reglas que producen nuevas cadenas (teoremas) a partir de los axiomas.
  4. Consistencia aparente (hasta ahora no se han producido dos teoremas contradictorios).

Lo opuesto a la suma (+) es la resta (-). Lo opuesto a la multiplicación (*) es la división (/).

Entonces, tiene sentido que si (x ^ (+ a)) significa hacer 1 veces x, (a) veces, entonces lo opuesto, (x ^ (- a)), sería 1 dividido por x, (a) veces .

x ^ 3 = 1 * x * x * x

x ^ (- 3) = 1 / x / x / x

No puede multiplicar un número por sí mismo -1 veces, pero podemos extender la exponenciación para incluirlo.

a ^ (b + c) = a ^ b * a ^ c

Esta propiedad puede derivarse de x ^ a siendo x multiplicado por sí mismo una vez. Entonces,

a ^ (0 + b) = a ^ b = a ^ 0 * a ^ b

Por lo tanto a ^ 0 = 1. Entonces,

1 = a ^ 0 = a ^ (- 1 + 1) = a ^ (- 1) * a

Por lo tanto 1 / a = a ^ (- 1)

Me gusta pensar en lo que obtendrías si pudieras multiplicar un número por sí mismo -1 veces.