Extensión de la potencia · Tema 19

Potencias, raíces y exponentes racionales

Extendé la regla de la potencia a exponentes fraccionarios y negativos, prestando atención a los dominios reales, los extremos y los puntos donde la pendiente deja de ser finita.

01 · Ampliar la regla

La potencia no termina en los exponentes enteros

La regla estudiada inicialmente para enteros positivos se extiende a exponentes racionales:

d/dx [xʳ] = r xʳ⁻¹

Si r=p/q, con p entero y q entero positivo, la potencia se relaciona con una raíz:

xᵖ⁄ᑫ = (ᑫ√x)ᵖ

La fórmula derivada conserva la misma apariencia, pero el dominio ya no puede ignorarse. Debemos responder tres preguntas antes de aplicarla:

  • ¿La raíz es de índice par o impar?
  • ¿El exponente es positivo, cero o negativo?
  • ¿El punto estudiado es interior del dominio, un extremo o un valor excluido?

02 · Qué significa p/q

Reducir la fracción antes de analizar el dominio

El exponente racional debe escribirse en forma irreducible, con q > 0. Por ejemplo, 2/6 se reduce a 1/3. La paridad del denominador reducido determina el tipo de raíz.

q par

xp/q exige x ≥ 0

En el sistema real, una raíz par no admite radicandos negativos.

q impar

xp/q admite x negativo

Las raíces impares están definidas para todos los reales.

Si además p < 0, la potencia contiene un recíproco y debemos excluir x=0. Por ejemplo:

x⁻³⁄² = 1/x³⁄²,    dominio real: x > 0

03 · Regla y condiciones

La misma fórmula dentro del dominio adecuado

Para r=p/q racional, la regla es:

d/dx [xᵖ⁄ᑫ] = (p/q)xᵖ⁄ᑫ⁻¹

Se aplica directamente en puntos interiores donde la potencia resultante está definida. Para x ≠ 0, esto significa:

Dominio real según el exponente reducido.
Exponente p/qDominio de la funciónPuntos interiores para la regla
q par, p > 0x ≥ 0x > 0
q par, p < 0x > 0x > 0
q impar, p > 0Todos los realesx ≠ 0; cero se analiza aparte
q impar, p < 0x ≠ 0x ≠ 0

El punto x=0 merece un análisis propio: la derivada puede valer cero, crecer sin cota o no existir, según el exponente y los lados disponibles.

04 · Raíz de índice par

Derivada de la raíz cuadrada

Escribimos √x=x¹⁄². Para x > 0:

d/dx [√x] = ½x⁻¹⁄² = 1/(2√x)

La fórmula también puede obtenerse desde la definición racionalizando:

[√(x+h)−√x]/h · [√(x+h)+√x]/[√(x+h)+√x] = 1/[√(x+h)+√x]

Cuando h→0 y x>0, el resultado tiende a 1/(2√x).

En x=0, la función está definida y solo podemos aproximarnos desde la derecha dentro del dominio:

[√h−0]/h = 1/√h → +∞

No existe una derivada lateral finita en cero. Geométricamente aparece una tangente vertical en el extremo del dominio.

05 · Raíz de índice impar

La raíz cúbica admite entradas negativas

Como ∛x=x¹⁄³, para x≠0:

d/dx [∛x] = ⅓x⁻²⁄³ = 1/(3x²⁄³)

El denominador es positivo tanto para x>0 como para x<0, por lo que la función crece a ambos lados.

En cero, el cociente incremental es:

∛h/h = 1/h²⁄³ → +∞

La función está definida y es continua en cero, pero no tiene una derivada real finita allí. El gráfico presenta una tangente vertical interior.

√x en cero

Extremo del dominio

Solo existe aproximación desde la derecha.

∛x en cero

Punto interior

Ambos lados crecen con pendiente sin cota positiva.

06 · Comportamiento en el origen

El valor del exponente decide la pendiente

Para f(x)=xʳ con r>0, el cociente incremental en cero es:

[hʳ−0]/h = hʳ⁻¹

Su comportamiento depende de r−1 y del dominio:

Comportamiento típico de xʳ en cero.
ExponenteTendencia del cocienteConclusión
r > 1Tiende a 0Derivada cero o derivada lateral cero, según el dominio
r = 1Vale 1Derivada uno
0 < r < 1Crece sin cota o cambia de signoNo hay derivada finita
r < 0La función no está definida en ceroNo puede derivarse allí

Por ejemplo, x³⁄² tiene derivada derecha 0 en cero, mientras que x²⁄³ presenta una cúspide: sus pendientes crecen sin cota con signos opuestos.

07 · Potencias recíprocas

Un exponente negativo excluye el cero

Si r<0, entonces xʳ=1/x⁻ʳ. La regla conserva su forma:

d/dx [xʳ] = r xʳ⁻¹

Para f(x)=x⁻¹⁄²=1/√x:

f′(x) = −½x⁻³⁄² = −1/(2x³⁄²),    x>0

Para g(x)=x⁻²⁄³, el denominador reducido es impar, de modo que admite entradas positivas y negativas, pero no cero:

g′(x)=−⅔x⁻⁵⁄³,    x≠0

08 · Potencia racional compuesta

Combinar la extensión con la regla de la cadena

Para F(x)=[g(x)]ʳ:

F′(x)=r[g(x)]ʳ⁻¹g′(x)

La fórmula es válida donde la composición y los factores de la derivada estén definidos. Ejemplo:

F(x)=√(x²+1)=(x²+1)¹⁄²
F′(x)=½(x²+1)⁻¹⁄²·2x = x/√(x²+1)

Como x²+1>0 para todo real, esta derivada está definida en todo .

En cambio, para G(x)=√(x−3), el dominio es x≥3 y:

G′(x)=1/[2√(x−3)],    x>3

En x=3, la función existe pero la derivada derecha no es finita.

09 · Elegir una escritura útil

Raíz, potencia y recíproco expresan la misma estructura

Formas equivalentes y derivadas.
Forma originalPotenciaDerivada
√xx¹⁄²½x⁻¹⁄²
∛(x²)x²⁄³⅔x⁻¹⁄³, x≠0
1/√xx⁻¹⁄²−½x⁻³⁄²
1/∛(x²)x⁻²⁄³−⅔x⁻⁵⁄³

La notación de potencia facilita derivar; la notación de raíz o fracción suele hacer más visible el dominio. Conviene poder pasar de una a otra sin perder restricciones.

10 · Estrategia de cálculo

Un procedimiento centrado en el dominio

Reducir p/qDeterminar dominioReescribir potenciaAplicar regla y cadenaRevisar cero
  1. Expresá el exponente como fracción irreducible con denominador positivo.
  2. Usá la paridad del denominador y el signo del numerador para establecer el dominio.
  3. Identificá si la base es x o una función compuesta g(x).
  4. Aplicá r[g(x)]ʳ⁻¹g′(x).
  5. Determiná dónde la expresión derivada es real y finita.
  6. Analizá por definición cualquier extremo o punto especial, en particular x=0.

11 · Exploración interactiva

Laboratorio: dominio y pendiente cerca de cero

Elegí una potencia racional, mové el punto a y reducí h. El laboratorio distingue valores fuera del dominio, puntos definidos sin derivada finita y puntos con derivada ordinaria.

EXPERIMENTO 19

Exponentes y dominios reales

f(x) = √x = x¹⁄²

Los resultados numéricos aparecen debajo.
Dominio realx ≥ 0
Derivada exactaf′(1) = 0,5
Pendiente secantem = 0,48808848
Error absoluto0,01191152

La función y su derivada son finitas en a = 1.

La curva amarilla representa la potencia, la recta coral es una secante y la violeta es la tangente cuando existe una derivada finita.

Preguntas para explorar

  1. Compará √x y ∛x para entradas negativas y en cero.
  2. En x³⁄², ¿qué derivada lateral aparece en cero?
  3. En x²⁄³, acercate a cero desde ambos lados. ¿Cómo cambian los signos?
  4. Elegí x⁻¹⁄². ¿Qué restricción adicional introduce el exponente negativo?

12 · Semántica numérica

Calcular potencias racionales reales

En JavaScript, (-8) ** (1/3) produce NaN, aunque la raíz cúbica real sea −2. Para respetar la interpretación real de p/q, podemos tratar por separado las raíces impares:

function mcd(a, b) {
  a = Math.abs(a);
  b = Math.abs(b);
  while (b !== 0) [a, b] = [b, a % b];
  return a;
}

function reducirExponente(p, q) {
  if (!Number.isInteger(p) || !Number.isInteger(q) || q === 0) {
    throw new TypeError("p y q deben ser enteros, con q distinto de cero");
  }
  if (q < 0) { p = -p; q = -q; }
  const divisor = mcd(p, q);
  return [p / divisor, q / divisor];
}

function potenciaRacionalReal(x, p, q) {
  [p, q] = reducirExponente(p, q);

  if (x === 0 && p < 0) {
    throw new RangeError("La potencia no está definida en cero");
  }
  if (x < 0 && q % 2 === 0) {
    throw new RangeError("La raíz par no es real para x negativo");
  }

  const raiz = x < 0 ? -((-x) ** (1 / q)) : x ** (1 / q);
  return raiz ** p;
}

console.log(potenciaRacionalReal(-8, 1, 3)); // -2
console.log(potenciaRacionalReal(16, 3, 2)); // 64

La función reduce el exponente antes de decidir el dominio. Esto hace explícitas decisiones matemáticas que el operador nativo no representa para todas las bases negativas.

13 · Estados del resultado

No confundir valor, derivada lateral y fallo

En cero, devolver un número o null sin explicación pierde información. Podemos usar un resultado estructurado:

function derivadaPotenciaRacional(p, q, x) {
  [p, q] = reducirExponente(p, q);
  const r = p / q;

  try {
    potenciaRacionalReal(x, p, q);
  } catch (error) {
    return { estado: "fuera_del_dominio", valor: null };
  }

  if (x === 0) {
    if (r === 0) return { estado: "existe", valor: 0 };
    if (r > 1) {
      const lado = q % 2 === 0 ? "derecha" : "bilateral";
      return { estado: "existe", valor: 0, lado };
    }
    if (r === 1) return { estado: "existe", valor: 1 };
    return { estado: "no_finita", valor: null };
  }

  return {
    estado: "existe",
    valor: r * potenciaRacionalReal(x, p - q, q)
  };
}

console.log(derivadaPotenciaRacional(3, 2, 0));
// { estado: "existe", valor: 0, lado: "derecha" }

console.log(derivadaPotenciaRacional(1, 2, 0));
// { estado: "no_finita", valor: null }

14 · Comprensión

Confusiones frecuentes

«Toda potencia fraccionaria exige x positivo»

No. Si el denominador reducido es impar, la raíz admite números negativos. ∛x está definida en todo .

«Si la función está definida en cero, también es derivable allí»

√x, ∛x y x²⁄³ están definidas en cero, pero no tienen allí una derivada real finita.

«La fórmula basta para decidir qué ocurre en cero»

Una expresión como rxʳ⁻¹ puede no estar definida en cero. El punto debe analizarse mediante el cociente incremental y el dominio.

«Un exponente negativo permite x=0 porque el numerador es uno»

Precisamente introduce un recíproco. El denominador se anula en cero, que queda excluido.

«2/6 y 1/3 deben analizarse con dominios diferentes»

Representan el mismo número racional. Se reduce la fracción antes de interpretar la potencia real.

«JavaScript reproduce automáticamente todas las raíces reales»

Las potencias fraccionarias de bases negativas suelen producir NaN. Para raíces cúbicas puede usarse Math.cbrt o una implementación con semántica real explícita.

15 · Práctica guiada

Ejercicios de aplicación

Ejercicio 1: potencia positiva racional

Derivá f(x)=x⁵⁄² e indicá dónde se aplica la fórmula.

Ver solución razonada

El coeficiente conserva el exponente original: f′(x)=(5/2)x³⁄² para x>0. En cero existe derivada derecha y vale 0.

Ejercicio 2: raíz compuesta

Calculá la derivada de g(x)=√(3x²+1).

Ver solución

g′(x)=½(3x²+1)⁻¹⁄²·6x=3x/√(3x²+1). Como 3x²+1>0, vale para todo real.

Ejercicio 3: exponente negativo

Derivá h(x)=x⁻³⁄² y determiná el dominio real.

Ver solución

El denominador reducido es par y el exponente es negativo, así que x>0. La derivada es h′(x)=−(3/2)x⁻⁵⁄².

Ejercicio 4: comportamiento en cero

Compará x⁴⁄³ y x²⁄³ en cero.

Ver solución razonada

Para x⁴⁄³, el cociente en cero es h¹⁄³→0, así que la derivada vale cero. Para x²⁄³, el cociente es h⁻¹⁄³: crece con signos opuestos y forma una cúspide.

Ejercicio 5: corregir dominio y derivada

Se afirmó que d/dx[1/√(x−2)] = −1/[2(x−2)³⁄²] para x≥2. ¿Qué debe corregirse?

Ver solución

La fórmula es correcta, pero la función original contiene un recíproco y no existe en x=2. Tanto la función como esa derivada tienen dominio x>2.

Ejercicio 6: completar una potencia real

Completá el tratamiento de bases negativas para un denominador impar.

function raizImparReal(x, q) {
  if (!Number.isInteger(q) || q <= 0 || q % 2 === 0) {
    throw new RangeError("q debe ser impar y positivo");
  }
  if (x < 0) return null; // completar
  return x ** (1 / q);
}
Ver solución
function raizImparReal(x, q) {
  if (!Number.isInteger(q) || q <= 0 || q % 2 === 0) {
    throw new RangeError("q debe ser impar y positivo");
  }
  if (x < 0) return -((-x) ** (1 / q));
  return x ** (1 / q);
}

console.log(raizImparReal(-32, 5)); // -2

16 · Síntesis

Ideas para recordar

  • Para un exponente racional r, la regla conserva la forma D[xʳ]=rxʳ⁻¹ dentro del dominio apropiado.
  • La fracción p/q debe reducirse antes de analizar la paridad del denominador.
  • Un denominador par restringe la base real; uno impar permite bases negativas.
  • Un exponente negativo siempre excluye cero.
  • En cero, la función puede tener derivada nula, pendiente sin cota o no estar definida.
  • Para [g(x)]ʳ, la cadena agrega el factor g′(x).
  • El código debe declarar explícitamente la semántica real de raíces y los estados fuera del dominio.

En el próximo tema estudiaremos las derivadas de funciones exponenciales, donde la variable pasa de la base al exponente.