Primero el caso n=q1: si y=x1/q (con x>0), entonces yq=x. Derivando implícitamente, qyq−1dxdy=1, luego dxdy=qyq−11=q1x−(q−1)/q=q1x1/q−1
Ahora, para f(x)=xp/q, usando la regla de la cadena con u=x1/q y el caso anterior:
Sea y=xp/q=(x1/q)p
dxdy=p(x1/q)p−1⋅q1x1/q−1=qpxp/q−1
Por tanto, dxd[xn]=nxn−1 para cualquier n racional.