CAPÍTULO 02

Derivación
1. EL PROBLEMA DE LA RECTA TANGENTE
1.1. El problema de la recta tangente
El problema consiste en obtener la ecuación de la recta tangente a una curva en un punto P . Si se
emplea la ecuación en la forma punto – pendiente, el problema queda resuelto una vez conocida la
pendiente en el punto P=( c , f ( c )) . Una aproximación a la respuesta es considerar la recta secante
que pasa por los puntos ( c , f ( c ) ) y ( c + Δ x , f ( c + Δ x ) ) .

En el límite, cuando Δ x → 0, la pendiente de la recta secante tiende a la pendiente de la recta

tangente.

Definición:

Sea f una función definida en un intervalo abierto que contiene a c . Si existe el límite:

Δy f ( c+ Δ x )−f ( c )
lim = lim =m,
Δ x →0 Δ x Δx→0 Δx
entonces la recta que pasa por ( c , f ( c ) ) con pendiente m es la recta tangente a la gráfica f en x=c .

Tangentes verticales:

Sea f una función continua en x=c . Si se cumple que:

f ( c+ Δ x )−f ( x )
lim =± ∞ ,
Δ x →0 Δx
entonces la recta vertical x=c que pasa por ( c , f ( c ) ) es una tangente vertical a la gráfica de f .
1.2. La derivada de una función
La derivada de la función f en x se define como:

f ( x + Δ x ) −f ( x )
f ' ( x )= lim .
Δ x →0 Δx
siempre y cuando el límite exista. En dicho caso, se dice que f es diferenciable en el punto x ; de
igual forma, se dice que f es diferenciable en el intervalo ¿ a , b ¿ si f ' existe para cada uno de sus
puntos.

1.3. Diferenciabilidad y continuidad

Teorema 2.1.1

La derivada de la función f en x=c es igual a:

f ( x )−f ( c )
f ' ( c )=lim
x→c x−c
siempre y cuando el límite exista y f esté definida en un intervalo abierto que contenga a c .

Derivadas laterales

Se definen las derivadas laterales de la función f en x=c .

f −¿ (c )=
'
lim ¿¿
f +¿ (c )=
'
lim ¿¿
f ( x )−f (c ) f ( x )−f ( c )
x→c −¿ .¿ x →c +¿ .¿
x−c x−c

Se dice que f es diferenciable en el intervalo [ a , b ] cuando es diferenciable en ¿ a , b ¿ , y cuando las

derivadas por la derecha en a y por la izquierda en b existen.

Teorema 2.1.2

Si f es diferenciable en x=c , entonces es continua en x=c .

2. REGLAS BÁSICAS DE DERIVACIÓN

2.1. Reglas básicas de derivación
Teorema 2.2.1

Sea c un número real. Se cumple la siguiente relación:

d
[ c ] =0.
dx
Teorema 2.2.2
Si n es un entero positivo, entonces la función f ( x )=x n es diferenciable y se cumple:

d n
[ x ]=n x n−1 .
dx
Para que f sea diferenciable en cero, x n−1 debe estar definida en un intervalo que contenga al cero.

Teorema 2.2.3

Si f es una función diferenciable y c es un número real, entonces cf también es diferenciable y

d
dx
[ cf ( x ) ] =c f ( x ) .
'

Teorema 2.2.4

Si f y g son diferenciables, entonces f ± g es diferenciable y se cumple que:

d
dx
[ f ( x ) ± g ( x ) ]=f ' ( x ) ± g' ( x ) .
Teorema 2.2.5

Se cumplen las siguientes igualdades:

d d
sin ( x )=cos ( x ) . cos ( x )=−sin ( x ) .
dx dx

2.2. Tasas de cambio

La tasa de cambio de una variable f que depende de x viene dada por la expresión:

f ( x+ Δ x )−f ( x )
r avg = .
Δx
La tasa de cambio instantánea se obtiene al tomar el límite cuando Δ x → 0.

r = lim
Δ x→ 0 [ f ( x + Δ x )−f ( x )
Δx ]
=f ' ( x ) .

3. REGLA DEL PRODUCTO Y COCIENTE

3.1. Regla del producto
Teorema 2.3.1

Si f y g son diferenciables, entonces fg también es diferenciable y se cumple que:

d
dx
[ f ( x ) g ( x ) ]=f ( x ) g' ( x )+ f ' ( x ) g ( x ) .

3.2. Regla del cociente

Teorema 2.3.2

Si f y g son diferenciables, entonces f /g es diferenciable para g ( x ) ≠ 0.

[ ]
' '
d f ( x ) g ( x ) f ( x )−f ( x ) g ( x )
= .
dx g ( x ) [g ( x )]
2
Teorema 2.3.3

Si n es un entero negativo, entonces la función f ( x )=x n es diferenciable para x ≠ 0 y se cumple:

d n
[ x ]=n x n−1 .
dx
3.3. Derivada de funciones trigonométricas
Teorema 2.3.4

Se cumplen las siguientes igualdades:

d d
dx
[ tan ( x ) ] =sec ( x ) , [ cot ( x ) ] =−csc ( x ) .
2
dx
2

d d
dx
[ sec ( x ) ] =sec ( x ) tan ( x ) , [ csc ( x ) ] =−csc ( x ) cot ( x ) .
dx
3.4. Derivadas de orden superior
Una derivada de orden superior es el resultado de derivar más de una vez a una función. Para
orden n se emplean las siguientes notaciones:
n
d
(n )
f (x) n
f (x) Dx[ y ]
n

dx
Se requiere que n sea un entero positivo.

4. REGLA DE LA CADENA
Teorema 2.4.1

Si y=f ( u ) es una función diferenciable de u y u=g ( x ) es una función diferenciable de x , entonces

y=f ( g ( x )) es una función diferenciable de x y se cumple que:
d
dx
[ f ( g ( x ) ) ] =f ' ( g ( x ) ) g' ( x ) .

5. DERIVACIÓN IMPLÍCITA
La derivación implícita es una técnica que consiste en derivar cada lado de una ecuación respecto a
una variable. Esto permite obtener la derivada en un punto de una curva a partir de su ecuación,
evitando despejar funciones explícitas.

1. Derivar cada lado de la ecuación respecto a x .

2. Agrupar los términos relacionados a dy /dx en el lado izquierdo y los demás en el derecho.
3. Factorizar dy /dx en el lado izquierdo.
4. Despejar dy /dx .

Teorema 2.5.1

Si n es un racional, entonces la función f ( x )=x n es diferenciable y se cumple:

d n
[ x ]=n x n−1 .
dx
6. TASAS RELACIONADAS
Suponer que dos o más variables están relacionadas por una ecuación. Si se deriva implícitamente
respecto a una variable t , se obtiene una nueva ecuación que relaciona las tasas de cambio.
7. DEMOSTRACIÓN DE TEOREMAS
Teorema 2.1.1

La derivada de la función f en x=c es igual a:

f ( x )−f ( c )
f ' ( c )=lim
x→c x−c
siempre y cuando el límite exista.

Demostración

A partir de la definición de derivada,

f ( c+ Δ x )−f ( c )
f ' ( c )= lim .
Δx→0 Δx
Sea x=c + Δ x . Se cumple que

lim x= lim ( c + Δ x )=c+ 0=c .

Δ x →0 Δx→0

Sustituir los resultados en la expresión inicial de f ' ( c ).

f ( x )−f ( c )
f ' ( c )=lim .
x→c x−c
Teorema 2.1.2

Si f es diferenciable en x=c , entonces es continua en x=c .

Demostración

Dado que f es diferenciable en x=c ,

lim
x →c [ x−c ]
f ( x )−f ( c )
=f ' (c ).

Considerar el siguiente límite:

x →c x→ c [
lim [ f ( x )−f ( c ) ] =lim [ f ( x )−f ( c ) ] ⋅
x−c
]
lim [ f ( x )−f ( c ) ] =lim
x−c x →c x→ c [ x −c ]
f ( x ) −f ( c )
⋅ lim ( x−c )
x→c

lim [ f ( x )−f ( c ) ] =f ( c ) ⋅ ( c−c ) lim [ f ( x )−f ( c ) ] =0.

'
x →c x →c

A partir del Teorema 1.2.2,

lim f ( x )=f ( c ) .
x →c

Por lo tanto, f es continua en x=c .

Teorema 2.2.1

Sea c un número real. Se cumple la siguiente relación:

d
[ c ] =0.
dx
Demostración

Considerar la función constante f ( x )=c . A partir de la definición de derivada,

f ' ( x )= lim
Δ x →0 [ Δx ]
f ( Δ x + x )−f ( x )
( )
= lim
Δ x →0
c−c
Δx
= lim 0=0.
Δ x→ 0

Por lo tanto, f ' ( x )=0 .

Teorema 2.2.2

Si n es un entero positivo, entonces la función f ( x )=x n es diferenciable y se cumple:

d n
[ x ]=n x n−1 .
dx
Demostración

Caso 01: n=1.

Considerar la función f ( x )=x . A partir de la definición de derivada,

f ' ( x )= lim
Δ x →0 [ Δx ]
f ( Δ x + x )−f ( x )
= lim
Δ x →0 [
( Δ x+ x ) −x
Δx ]
= lim 1=1.
Δ x→ 0

Luego, se cumple que f ' ( x )=1 x 0=n x n−1.

Caso 02: n ∈ Z +¿∧n >1¿ .

Considerar la función f ( x )=x n . A partir de la definición de derivada,

'
f ( x )= lim
Δ x →0
[ f ( Δ x + x )−f ( x )
Δx ]
= lim
Δ x →0
[ [ n
x +nx
n−1
( n2) x
Δ x+

Δx
n−2 2 n
Δ x +…+ Δ x −x
] n

]
[ ()
f ' ( x )= lim n x n−1 + n x n−2 Δ x +…+ Δ x n−1 =n x n−1 .
Δ x →0 2 ]
Teorema 2.2.3

Si f es una función diferenciable y c es un número real, entonces cf también es diferenciable y

d
dx
[ cf ( x ) ]=c f ' ( x ) .
Demostración

A partir de la definición de derivada,

d
dx
[ cf ( x ) ] = lim
Δ x →0 [
cf ( Δ x+ x ) −cf ( x )
Δx ]
=c lim
Δx→0 [
f ( Δ x + x )−f ( x )
Δx ]
=c f ' ( x ) .

d
Por lo tanto,
dx
[ cf ( x ) ] =c f ( x ).
'
Teorema 2.2.4

Si f y g son diferenciables, entonces f ± g es diferenciable y se cumple que:

d
dx
[ f ( x ) ± g ( x ) ]=f ' ( x ) ± g' ( x ) .
Demostración

A partir de la definición de derivada,

d
dx
[ f ( x ) + g ( x ) ] = lim
Δ x→ 0
[
[ f ( Δ x+ x ) + g ( Δ x + x ) ]−[ f ( x ) + g ( x ) ]
Δx ]
d
dx
[ f ( x ) + g ( x ) ] = lim
Δ x→ 0 [
f ( Δ x+ x ) −f ( x ) g ( Δ x + x )−g ( x )
Δx
+
Δx ]
d
dx
[ f ( x ) + g ( x ) ] = lim
Δ x→ 0 [f ( Δ x+ x ) −f ( x )
Δx
+ lim
Δx→0 ] Δx [
g ( Δ x+ x ) −g ( x )
]
d
dx
[ f ( x ) + g ( x ) ] =f ( x )+ g ( x ) .
' '

A partir de la definición de derivada,

d
dx
[ f ( x )−g ( x ) ] = lim
Δ x →0
[
[ f ( Δ x + x )−g ( Δ x + x ) ]−[ f ( x )−g ( x ) ]
Δx ]
d
dx
[ f ( x ) + g ( x ) ] = lim
Δ x→ 0 [
f ( Δ x+ x ) −f ( x ) g ( Δ x + x )−g ( x )
Δx
−
Δx ]
d
dx
[ f ( x ) + g ( x ) ] = lim
Δ x→ 0 [f ( Δ x+ x ) −f ( x )
Δx
− lim
]
Δ x→ 0 Δx [
g ( Δ x + x )−g ( x )
]
d
dx
[ f ( x ) + g ( x ) ]=f ' ( x )−g' ( x ) .
d
Por lo tanto,
dx
[ f ( x ) ± g ( x ) ] =f ( x ) ± g ( x ).
' '
Teorema 2.2.5

Se cumplen las siguientes igualdades:

d d
sin ( x )=cos ( x ) . cos ( x )=−sin ( x ) .
dx dx
Demostración

A partir de la definición de derivada,

d
dx
sin ( x )= lim
Δ x →0 [
sin ( Δ x+ x )−sin ( x )
Δx ]
d
dx
sin ( x )= lim
Δ x →0
[
[ sin ( Δ x ) cos ( x ) +cos ( Δ x ) sin ( x ) ]−sin ( x )
Δx ]
d
dx [
sin ( x )= lim cos ( x ) ⋅
Δ x →0
sin ( Δ x )
Δx
−sin ( x ) ⋅
1−cos ( Δ x )
Δx ]
d
dx
sin ( x )=cos ( x ) ⋅ lim
Δ x→ 0 [
sin ( Δ x )
Δx ]
− sin ( x ) ⋅ lim
Δ x→ 0 [
1−cos ( Δ x )
Δx ]
d
sin ( x )=cos ( x ) ⋅1−sin ( x ) ⋅0
dx
d
sin ( x )=cos ( x ) .
dx
d
Por lo tanto, sin ( x )=cos ( x ) .
dx

A partir de la definición de derivada,

d
dx
cos ( x )= lim
Δx→0 [
cos ( Δ x + x )−cos ( x )
Δx ]
d
dx
cos ( x )= lim
Δx→0
[
[ cos ( Δ x ) cos ( x )−sin ( Δ x ) sin ( x ) ]−cos ( x )
Δx ]
d
dx [
cos ( x )= lim −cos ( x ) ⋅
Δx→0
1−cos ( Δ x )
Δx
−sin ( x ) ⋅
sin ( Δ x )
Δx ]
d
dx
cos ( x )=−sin ( x ) ⋅ lim
Δ x →0 [
sin ( Δ x )
Δx ]
− cos ( x ) lim
Δ x →0 Δx [
1−cos ( Δ x )
]
d
cos ( x )=−sin ( x ) ⋅1−cos ( x ) ⋅0
dx
d
cos ( x )=−sin ( x ) .
dx
 d
Por lo tanto, cos ( x )=−sin ( x ) .
dx
Teorema 2.3.1

Si f y g son diferenciables, entonces fg también es diferenciable y se cumple que:

d
dx
[ f ( x ) g ( x ) ]=f ( x ) g' ( x )+ f ' ( x ) g ( x ) .
Demostración

A partir de la definición de derivada,

d
dx
[ f ( x ) g ( x ) ] = lim
Δx→0 [
f ( x+ Δ x ) g ( x + Δ x )−f ( x ) g ( x )
Δx ]
d
dx
[ f ( x ) g ( x ) ]= lim
Δx→0 [
f ( x+ Δ x ) g ( x + Δ x ) + f ( x ) g ( x+ Δ x )−f ( x ) g ( x + Δ x ) −f ( x ) g ( x )
Δx ]
d
dx
[ [
f ( x ) g ( x ) ] = lim f ( x ) ⋅
Δx→0
g ( x + Δ x )−g ( x )
Δx
+g( x+Δ x) ⋅
f ( x+ Δ x )−f ( x )
Δx ]
d
dx
[ f ( x ) g ( x ) ] = lim f ( x ) lim
Δx→0 Δx→0 [ g ( x + Δ x ) −g ( x )
Δx ]
+ lim g ( x + Δ x ) lim
Δ x →0 Δ x→ 0 [
f ( x + Δ x )−f ( x )
Δx ]
d
dx
[ f ( x ) g ( x ) ] =f ( x ) g ( x )+ g ( x ) f ( x ) .
' '

d
Por lo tanto,
dx
[ f ( x ) g ( x ) ]=f ( x ) g' ( x )+ f ' ( x ) g ( x ) .
Teorema 2.3.2

Si f y g son diferenciables, entonces f /g es diferenciable para g ( x ) ≠ 0.

[ ]
' '
d f ( x ) g ( x ) f ( x )−f ( x ) g ( x )
= .
dx g ( x ) [g ( x )]
2

Demostración

A partir de la definición de derivada,

[ ] [ ]
f ( x +Δ x ) f (x )
−
d f (x)
= lim
dx g ( x ) Δ x → 0
g( x+Δ x) g( x)
Δx
= lim
Δ x→ 0 [
g ( x ) f ( x + Δ x ) −f ( x ) g ( x + Δ x )
Δ x⋅ g( x) g( x+Δ x) ]
[ ] [
d f (x)
= lim
dx g ( x ) Δ x → 0
g ( x ) f ( x + Δ x )−g ( x ) f ( x )+ f ( x ) g ( x )−f ( x ) g ( x+ Δ x )
Δ x ⋅g ( x ) g ( x + Δ x ) ]
[ ]
f ( x+ Δ x )−f ( x ) g ( x + Δ x )−g ( x )
g(x)⋅ −f ( x ) ⋅
[ ]
d f (x)
= lim
dx g ( x ) Δ x → 0
Δx
g ( x ) g ( x+ Δ x )
Δx

lim [ g ( x ) ] ⋅ lim
[ f ( x + Δ x )−f ( x )
]
− lim [ f ( x ) ] ⋅ lim
[
g ( x + Δ x )−g ( x )
]
[ ]
d f ( x ) Δ x →0
dx g ( x )
=
Δx→0

Δx→0
Δx Δ x→ 0

Δ x→ 0
Δ x→ 0

lim [ g ( x ) ] ⋅ lim [ g ( x+ Δ x ) ]
Δx

[ ] [ ]
' '
d f ( x ) g ( x ) f ( x )−f ( x ) g ( x ) d f ( x ) g ( x ) f ( x )−f ( x ) g ( x )
' '
= = .
dx g ( x ) g (x ) ⋅ g ( x ) dx g ( x ) [g ( x )]
2
Teorema 2.3.3

Si n es un entero negativo, entonces la función f ( x )=x n es diferenciable para x ≠ 0 y se cumple:

d n
[ x ]=n x n−1 .
dx
Demostración

Dado que n es negativo, existe un entero positivo k , tal que n=−k . A partir de los teoremas de
derivación, se tiene que

d d
x k ⋅ [ 1 ] −1 ⋅ [ x k ]
d n d −k d [ x n ] = d 1 d
dx
[ x ]= [ x ] dx
dx [ ]
dx x k dx [ x ] =
n dx
( xk )
2
dx

d n ( x ) ( 0 )−( 1 ) ( k x ) d [ x n ] =−k x−k −1 d [ x n ] =n x n−1 .

k k−1
[ x ]= 2k dx dx
dx x
d n
Por lo tanto, se cumple que [ x ]=n x n−1 .
dx
Teorema 2.3.4

Se cumplen las siguientes igualdades:

d d
dx
[ tan ( x ) ] =sec ( x ) , [ cot ( x ) ] =−csc ( x ) .
2
dx
2

d d
dx
[ sec ( x ) ]=sec ( x ) tan ( x ) , dx [ csc ( x ) ]=−csc ( x ) cot ( x ) .
Demostración

Parte 01.

A partir de los teoremas de derivación,

d d
cos ( x ) ⋅ [ sin ( x ) ] −sin ( x ) ⋅ [ cos ( x ) ]
d
dx
[ tan ( x ) ] =
[
d sin ( x )
dx cos ( x )
=
] dx
2
cos ( x )
dx

d cos ( x ) ⋅cos ( x )−sin ( x ) ⋅ [ −sin ( x ) ] sin 2 ( x ) +cos 2 ( x ) 1

dx
[ tan ( x ) ] = 2
= 2
= 2 =sec 2 ( x ) .
cos ( x ) cos ( x ) cos ( x )
d
Por lo tanto,
dx
[ tan ( x ) ]=sec 2 ( x ) .
Parte 02.

A partir de los teoremas de derivación.

d
tan ( x ) ⋅ [ 1 ]−1 ⋅ d [ tan ( x ) ]
[ ]
2
d d 1 dx dx tan ( x ) ⋅ 0−1 ⋅ sec ( x )
dx
[ cot ( x ) ] =
dx tan ( x )
= 2
= 2
tan ( x ) tan ( x )
2
(x)
d
[ cot ( x ) ]= −sec
2 2
−1
= 2 =−csc 2 ( x ) .
dx sin ( x ) sec ( x ) sin ( x )
d
Por lo tanto,
dx
[ cot ( x ) ]=−csc 2 ( x ) .
Parte 03.

A partir de los teoremas de derivación.

d
cos ( x ) ⋅ [ 1 ] −1⋅ d [ cos ( x ) ] cos ( x ) ⋅0−1 ⋅ −sin ( x )
d
dx
[ sec ( x ) ] =
d
[ 1
dx cos ( x )
=
] dx
2
cos ( x )
dx
= 2
[
cos ( x )
] sin ( x )
= 2
cos ( x )
d 1 sin ( x )
dx
[ sec ( x ) ] = ⋅ =sec ( x ) tan ( x ) .
cos ( x ) cos ( x )
d
Por lo tanto,
dx
[ sec ( x ) ]=sec ( x ) tan ( x ) .
Parte 04.

A partir de los teoremas de derivación.

 d
sin ( x ) ⋅ [ 1 ] −1⋅ d [ sin ( x ) ]
d
dx
d
[ csc ( x ) ]= dx [ ] 1
sin ( x )
=
dx
2
sin ( x )
dx
=
sin ( x ) ⋅0−1⋅cos ( x ) −cos ( x )
2
sin ( x )
= 2
sin ( x )
d −1 cos ( x )
dx
[ csc ( x ) ] = ⋅ =−csc ( x ) cot ( x ) .
sin ( x ) sin ( x )
d
Por lo tanto,
dx
[ csc ( x ) ]=−csc ( x ) cot ( x ) .
Teorema 2.4.1

Si y=f ( u ) es una función diferenciable de u y u=g ( x ) es una función diferenciable de x , entonces

y=f ( g ( x )) es una función diferenciable de x y se cumple que:
d
dx
[ f ( g ( x ) ) ] =f ' ( g ( x ) ) g' ( x ) .
Demostración

Considerar la derivada de la función f .

f ' ( x )= lim
Δ x →0 [ f ( x+ Δ x )−f ( x )
Δx
= lim ]Δy
Δ x →0 Δ x
. [ ]
Dado un valor fijo de x , se define la función η .

{
0, Δ x=0
η ( Δ x )= Δ y ' .
−f ( x ) , Δ x ≠0
Δx

Considerar el límite de η ( Δ x ) a medida que Δ x → 0.

lim η ( Δ x )= lim
Δ x →0 Δ x→ 0 [ Δy '
Δx ]
−f ( x ) =f ' ( x )−f ' ( x )=0.

Luego, la función η es continua en 0 . Además, cuando Δ x =0, se tiene que Δ y=0; de modo que,
'
Δ y=Δ x ⋅η ( Δ x ) + Δ x ⋅f ( x ) .
Ahora, considerar Δ u=g ( x+ Δ x )−g ( x ). A partir de la continuidad de g en x ,

lim Δ u= lim [ g ( x + Δ x ) −g ( x ) ] =g ( x +0 )−g ( x ) =0.

Δ x →0 Δx→0

Luego, se cumple que

(
lim η ( Δ u )=η lim Δ u =η ( 0 )=0.
Δ x →0 Δ x →0 )
Finalmente, se cumple que
'
Δ y=Δu ⋅η ( Δu ) + Δu ⋅ f ( u )
Δ y Δu Δu '
⟶ = η ( Δ u) + f ( u ) , Δ x ≠ 0.
Δx Δx Δx
Se calcula la derivada de y respecto a x .

dy
= lim
[
Δu
dx Δ x→ 0 Δ x
η( Δ u)+
Δu '
Δx
f ( u)
]
dy
= lim
[ ]
Δu
⋅ lim η ( Δ u )+ lim
dx Δ x→ 0 Δ x Δ x→ 0
Δu
Δx→0 Δ x [ ]
⋅ lim f ' ( u )
Δ x →0

dy du du '
= ⋅0+ f ( u )
dx dx dx
dy du dy
= ⋅ .
dx dx du
dy dy du
Por lo tanto, se cumple que = ⋅ .
dx du dx
Teorema 2.5.1

Si n es un racional, entonces la función f ( x )=x n es diferenciable y se cumple:

d n
[ x ]=n x n−1 .
dx
Demostración

Dado que n es racional, se puede expresar como n=p /q , donde p y q >0 son enteros. Considerar
la ecuación siguiente:
p
y=x q
q p
≡ y =x .
Se deriva la ecuación implícita respecto a x .

d q d p
[ y ]= [ x ]
dx dx
q −1 dy p−1
⟶q y =p x
dx

()
p
dy p x p −1 x p −1 x p−1 −1
⟶ = ⋅ q−1 =n⋅ p q−1 =n ⋅ =n x q =n x n−1 .
( )
p
dx q y p−
xq x q

Por lo tanto, la regla de la potencia es válido para números racionales.