En el cálculo, la regla de la potencia se utiliza para derivar las funciones de la forma
, siempre que
sea un número real. Dado que la derivación es una operación lineal en el espacio de funciones diferenciables, los polinomios también pueden ser derivados usando esta regla.
Enunciado de la regla
Si
es una función tal que
, y
es derivable en
, entonces:
![{\displaystyle f'(x)=rx^{r-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bbfd6111d4ee4c88930a3eb2f5378decb7c429a)
Para la integración, la regla establece que:
![{\displaystyle \int \!x^{r}\,dx={\frac {x^{r+1}}{r+1}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fda0f754cc83145a068180d94702dd1954581b6c)
para cualquier número real
, y puede ser obtenida mediante la aplicación del teorema fundamental del cálculo a la regla de potencias para la derivación.
Demostración
Para empezar, debemos elegir una definición de trabajo del valor de
, donde
es cualquier número real. Aunque es factible definir el valor como el límite de una secuencia de potencias racionales que se aproximan a una potencia irracional cada vez que nos encontramos con tal potencia, o como el mínimo límite superior de un conjunto de potencias racionales inferior a la potencia dada, este tipo de definición no es susceptible de derivación. Por lo tanto, es preferible utilizar una definición funcional, en la cual se suele expresar
como:
![{\displaystyle x^{r}=\exp(r\ln x)=e^{r\ln x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c0fd4ad70af4ec81c3af613fb9bf12e89b7af34)
para todos los valores
donde:
es la función exponencial natural,
es la función logaritmo natural y
es el número de Euler.[1][2]
Por lo tanto, al aplicar la regla de la cadena a la anterior expresión, se obtiene:
![{\displaystyle {\begin{array}{rcl}f'(x)&=&\displaystyle {\frac {r}{x}}e^{r\ln x}\\&=&\displaystyle {\frac {r}{x}}x^{r}\\&=&rx^{r-1}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abea03213045cc5586ef02bb47c1058c474b9d9a)
Cuando
, podemos usar la misma definición con
. Esto, necesariamente conduce al mismo resultado. Observe que debido a que
no tiene una definición convencional cuando
no es un número racional, las funciones de potencias irracionales no están bien definidas para bases negativas. Además, las potencias racionales de -1 con denominadores pares (en los términos inferiores) no son números reales, estas expresiones solo tienen valores reales para potencias racionales con denominadores impares (en los términos inferiores).
Finalmente, cuando la función es diferenciable o derivable en
, el límite definitorio para la derivada es:
![{\displaystyle \lim _{h\to 0}{\frac {h^{r}-0^{r}}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4624113c8456f447524b1c70e2205508265c6532)
que resulta 0 solo cuando
es un número racional con denominador impar y
, y 1 cuando r = 1. Para los demás valores de r, la expresión
no está bien definida si
, como se expresó anteriormente, o no es un número real, ya que el límite no existe como una derivada con valor real. Para los dos casos que existen, los valores concuerdan con el valor de la regla de potencia existente en 0, por lo que no se debe hacer ninguna excepción.
La exclusión de la expresión
(con x = 0) de este esquema de exponenciación se debe al hecho de que la función
no tiene límite en el punto (0,0), ya que es una expresión indeterminada.
Sea
un entero positivo diferente de cero y se requiere demostrar que:
![{\displaystyle {\frac {d}{dx}}x^{n}=nx^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9abc471c35f8dcafe29fc663bcd0a7b416b14283)
Cuando
, entonces:
![{\displaystyle {\begin{array}{rcl}\displaystyle {\frac {d}{dx}}x^{1}&=&\displaystyle {\lim _{h\to 0}{\frac {(x+h)-x}{h}}}\\&=&1x^{1-1}\\&=&1\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b50b16227f852686f479a4832da2c9d6e9860ae9)
por lo que se cumple para este caso.
Supóngase que el enunciado se cumple para algún número entero positivo
, es decir:
![{\displaystyle {\frac {d}{dx}}x^{k}=kx^{k-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e69daef699d4654d6bd87d4271089a6a691e997)
Tomemos un valor
y, haciendo la sustitución respectiva, obtenemos:
![{\displaystyle {\begin{array}{rcl}\displaystyle {\frac {d}{dx}}x^{k+1}&=&\displaystyle {\frac {d}{dx}}(x^{k}\cdot x)\\&=&\displaystyle x^{k}\cdot {\frac {d}{dx}}x+x\cdot {\frac {d}{dx}}x^{k}\\&=&x^{k}+x\cdot kx^{k-1}\\&=&(k+1)x^{k+1-1}\\&=&(k+1)x^{k}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6661a901c5022eb98c85ec8e17d9fceea7dd708d)
Por lo tanto, por el principio de inducción matemática, el enunciado es verdadero para todos los enteros positivos
.
Ahora, supongamos que
, y por tanto
es un número entero negativo.
Usando la regla de la cadena:
![{\displaystyle {\frac {d}{dx}}x^{m}={\frac {d}{dx}}\left({\frac {1}{x^{n}}}\right)={\frac {-{\frac {d}{dx}}x^{n}}{(x^{n})^{2}}}=-{\frac {nx^{n-1}}{x^{2n}}}=-nx^{-n-1}=mx^{m-1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d30063caa36e8191f48a47f7ff1c7f49ee519503)
En conclusión, para cualquier número entero diferente de cero
,
Caso 1
Hagamos
, donde
. Entonces, mediante la definición de derivada y el teorema del binomio, se obtiene:
![{\displaystyle {\begin{array}{rcl}\displaystyle {\frac {dy}{dx}}&=&\displaystyle \lim _{h\to 0}{\frac {(x+h)^{n}-x^{n}}{h}}\\&=&\displaystyle \lim _{h\to 0}{\frac {1}{h}}\left[x^{n}+{\binom {n}{1}}x^{n-1}h+{\binom {n}{2}}x^{n-2}h^{2}+...+{\binom {n}{n}}h^{n}-x^{n}\right]\\&=&\displaystyle \lim _{h\to 0}\left[{\binom {n}{1}}x^{n-1}+{\binom {n}{2}}x^{n-2}h+...+{\binom {n}{n}}h^{n-1}\right]\\&=&nx^{n-1}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b54b9008dcc59a4beb21ff70abef1e6f529e814)
Caso 2
Hagamos
, donde
y
Entonces
y mediante la regla de la cadena, obtenemos:
![{\displaystyle {\begin{array}{rll}{\dfrac {d(y^{n})}{dx}}&=&{\dfrac {dx}{dx}}\\ny^{n-1}\cdot {\dfrac {dy}{dx}}&=&1\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09f7183cd355f6c66a388f56b7af5739c79c2049)
Por lo tanto,
Caso 3
Supongamos que
, donde
y
, de modo que
.
Nuevamente, mediante la aplicación de la regla de la cadena se obtiene:
![{\displaystyle {\frac {dy}{dx}}={\frac {d}{dx}}\left(x^{\frac {1}{m}}\right)^{n}=n\left(x^{\frac {1}{m}}\right)^{n-1}\cdot {\frac {1}{m}}x^{{\frac {1}{m}}-1}={\frac {n}{m}}x^{{\frac {n}{m}}-1}=px^{p-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9784991cff50892fa91b23c4ab2f08a0bc4941b5)
Caso 4
Hagamos
, donde
y
Mediante las técnicas de derivación, obtenemos:
![{\displaystyle {\frac {dy}{dx}}={\frac {d}{dx}}\left({\frac {1}{x}}\right)^{p}=p\left({\frac {1}{x}}\right)^{p-1}\cdot \left(-{\frac {1}{x^{2}}}\right)=-px^{-p-1}=qx^{q-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d1d1916c7d3bc0f3e97a9e98afa098556aea255)
De los resultados anteriores, podemos concluir que, cuando
es un número racional:
![{\displaystyle {\frac {d}{dx}}x^{r}=rx^{r-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/409e43e41afae5a0ee356f0157c96ab30f1588a4)
Historia
La regla de la potencia para integrales fue demostrada primero en una forma geométrica por el matemático italiano Bonaventura Cavalieri a principios del siglo XVII para potencias enteras, y durante la mitad de dicho siglo, para potencias racionales, por los matemáticos Pierre de Fermat, Evangelista Torricelli, Gilles de Roberval, John Wallis, y Blaise Pascal, trabajando cada uno de manera independiente. En ese momento, se trataba de determinar el área entre el gráfico de una función de potencia racional y el eje horizontal. En retrospectiva, sin embargo, se considera el primer teorema general del cálculo en ser descubierto.[3] La regla de la potencia para la derivación fue obtenida por los matemáticos Isaac Newton y Gottfried Wilhelm Leibniz, de manera independiente, para funciones de potencias racionales a mediados del siglo XVII, y ambos la utilizaron para obtener la regla de la potencia para integrales de manera inversa. Esto refleja la manera convencional en que los teoremas relacionados se presentan en los libros de texto básicos de cálculo básico, donde las reglas de diferenciación generalmente preceden a las reglas de integración.[4]
Aunque ambos hombres afirmaron que sus reglas, demostradas sólo para cantidades racionales, funcionaban para todos las potencias reales, no buscaron una prueba de tal afirmación, ya que en esa época las aplicaciones de la teoría no se referían a tales funciones de potencias exóticas y las cuestiones de convergencia de las series infinitas seguían siendo ambiguas.
En 1647, el jesuita y matemático flamenco Grégoire de Saint-Vincent publicó su obra "Opus Geometricum Quadrature Circuli et Sectionum Coni" en la cual afirmó que era posible resolver el problema de la cuadratura del círculo mediante el hoy llamado "Teorema de Grégoire". Al año siguiente, el sacerdote y erudito francés Marin Mersenne publicó un planfleto, en el cual criticó dicha obra y lanzó un reto al autor, consistente en que si se daban tres números racionales o irracionales cualesquiera y se conocían los logaritmos de dos de ellos, se hallara de manera geométrica el logaritmo del tercer número.[5]
A este reto, respondió el pupilo y después colega de Grégoire de Saint-Vincent, el belga Alfonso Antonio de Sarasa, que dicha cuestión no estaba bien formulada, pero que haría el intento de resolverla, cosa que logró en 1649 en la publicación de su obra "Solutio problematis a R. P. Marino Maersenne", en la cual se basó en el teorema formulado por su maestro, relacionando las áreas bajo una hipérbola con los logaritmos. Sin embargo, aún no había una solución definitiva al problema, hasta que el matemático suizo Leonardo Euler, en una carta a su colega prusiano Christian Goldbach escrita en 1731, mencionó a la constante
y afirmó que el área bajo la hipérbola rectangular
que se halla entre 1 y dicha constante, es exactamente igual a uno. En notación moderna, esto se expresa así:[5]
donde el símbolo
hace referencia a la función logaritmo natural. Desde entonces, se considera que esta fórmula relaciona el cálculo integral con los logaritmos, con lo cual quedó resuelto, definitivamente, el reto planteado por Mersenne en 1648.
Generalizaciones
Funciones de potencia complejas
Si consideramos funciones de la forma
en la cual
es cualquier número complejo y
es un número complejo en un plano complejo de hendidura que excluye el punto de ramificación de 0 y cualquier corte de rama conectado a él, y usamos la definición multivalor convencional:
![{\displaystyle z^{c}=\exp(c\ln z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40584f660b54b1c5a5ef4a07c5c5961f86fbedb0)
entonces es fácil demostrar que, en cada rama del logaritmo complejo, el mismo argumento utilizado anteriormente produce un resultado similar:
.[6]
Además, si
es un entero positivo, entonces no hay necesidad de un corte de rama: se puede definir
, o definir potencias complejas integrales positivas a través de la multiplicación compleja, y demostrar que:
![{\displaystyle f'(z)=cz^{c-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66bfc4cf6463b82c20c7ab8db1c373536d8d1537)
para todos los números complejos
, a partir de la definición de la derivación y del teorema del binomio.
Sin embargo, debido a la naturaleza multivaluada de funciones de potencia complejas para exponentes no enteros, se debe tener cuidado de especificar la rama del logaritmo complejo que se está utilizando. Además, no importa qué rama se use, si
no es un entero positivo, entonces la función no es diferenciable en 0.
Referencias