Inicio · Parte 00 — Pensamiento matemático desde cero
ⁿ√a = a^(1/n)
(ⁿ√a)ⁿ = a para a ≥ 0
√(a²) = |a|, no aDefinir la raíz como exponente fraccionario es la extensión natural de la clase 008: si (a^(1/n))ⁿ = a^(n/n) = a, entonces a^(1/n) es precisamente el número que elevado a n devuelve a. La notación de radical y la de exponente describen el mismo objeto, y la segunda es la que se generaliza sin esfuerzo a exponentes reales.
El dominio depende de la paridad del índice, y esta es la fuente de confusión más común. Con índice impar, todo real tiene raíz real única: la raíz cúbica de −8 es −2. Con índice par, los negativos no tienen raíz real, porque ningún real elevado a una potencia par da negativo. Ahí es donde aparecen los números complejos, que el programa usa desde la parte 13 (transformada de Fourier).
La identidad √(x²) = |x| sorprende hasta que se piensa en el dominio: la raíz cuadrada devuelve por convenio la rama no negativa, así que √((−3)²) = √9 = 3, no −3. Olvidarlo produce errores de signo silenciosos al despejar en una ecuación cuadrática, tema de la clase 048.
Numéricamente hay un detalle que la parte 01 explota: √2 no es representable en punto flotante, así que (√2)² no devuelve exactamente 2. El error es minúsculo pero real, y comprobarlo aquí prepara el terreno para el concepto de error de redondeo.
Ida y vuelta con la raíz cuadrada de 2.
√2 = 1.4142135623730951 (float64, no exacto)
2**0.5 = 1.4142135623730951 (misma cosa)
(√2)² = 2.0000000000000004
error = 4.44e-16 ≈ 2 ulp
Raíz cúbica de −8: índice impar → −2 en los reales
Raíz cuadrada de −8: índice par → no existe en ℝEl error de 4.44·10⁻¹⁶ no es un fallo: es el tamaño del hueco entre floats cerca de 2. La clase 031 le pondrá nombre (ULP).
Raíces como exponentes fraccionarios y su dominio real.
python classes/part-00-pensamiento-matematico-desde-cero/009-raices-y-radicales/lab.py
compmath run 009sqrt(2)2**0.5coincidencuadrado_de_la_raizerror_del_roundtripraiz_cubica_de_-8raiz_par_de_negativo_en_R{
"sqrt(2)": 1.4142135623730951,
"2**0.5": 1.4142135623730951,
"coinciden": true,
"cuadrado_de_la_raiz": 2.0000000000000004,
"error_del_roundtrip": 4.440892098500626e-16,
"raiz_cubica_de_-8": -2.0
}La norma euclídea (clase 104) es una raíz cuadrada; la desviación estándar (clase 190) también; el factor 1/√d de la atención escalada (clase 325) es una raíz cuya justificación es de varianza.
Toda métrica de un modelo (accuracy, loss, learning rate) es una razón, un porcentaje o una escala. Interpretarlas mal es el primer error de un practicante de IA.
math.isqrt y aritmética de raíces — documentación de la herramienta que ejecuta el laboratorio · URL de la fuente primaria comprobada en Python Software Foundation (2026-08-19).9780387967875 verificado en International ISBN Agency (2026-08-20).