Fundamentos · Tema 12

Aproximaciones numéricas

Cómo reemplazar un valor exacto difícil de obtener o representar por otro cercano, controlar la calidad de esa sustitución y decidir cuándo el resultado es útil.

01 · Punto de partida

No siempre necesitamos —ni podemos obtener— el valor exacto

La diagonal de un cuadrado de lado 1 mide exactamente √2, pero su escritura decimal no termina. El número π describe exactamente la relación entre circunferencia y diámetro, aunque una pantalla muestre 3.14159. Un sensor entrega una medición condicionada por su resolución y una simulación calcula estados mediante pasos finitos.

En todos estos casos trabajamos con aproximaciones. El problema no consiste solamente en producir muchos decimales, sino en responder:

  • ¿cuál es el valor exacto o de referencia?
  • ¿por qué necesitamos aproximarlo?
  • ¿sabemos si la aproximación queda por debajo o por encima?
  • ¿qué distancia al valor buscado estamos dispuestos a aceptar?
  • ¿cuánto cuesta mejorar el resultado?

02 · Dos tipos de resultado

Valor exacto y valor aproximado

Un valor exacto describe la cantidad sin sustitución ni pérdida de información. Puede escribirse mediante una fracción, una raíz, una constante o una expresión:

  • 1/3 es exacto;
  • √2 es exacto;
  • π es exacto;
  • sen(π/6)=1/2 es una igualdad exacta.

Un valor aproximado reemplaza esa cantidad por otra cercana y manejable:

Expresiones exactas y algunas aproximaciones decimales.
Valor exactoAproximaciónObservación
1/30.3333Se omitieron decimales posteriores.
√21.4142La raíz no posee decimal finito.
π3.1416Se conserva una cantidad limitada de cifras.
2/70.286El decimal periódico fue reemplazado.

Exacto no significa necesariamente “decimal largo”. La fracción 1/3 es más exacta que una cadena con cien cifras 3 seguida de un corte.

03 · Escribir con precisión

Igualdad y aproximación no usan el mismo símbolo

El signo = afirma que dos expresiones representan exactamente el mismo valor. El símbolo comunica que son cercanas según algún criterio:

√2 ≈ 1.4142

Escribir √2=1.4142 es falso: al elevar 1.4142 al cuadrado obtenemos aproximadamente 1.99996164, no exactamente 2.

11.41.411.4141.4142hacia √2

En código, el operador === tampoco expresa cercanía; compara los valores representados. Una condición de aproximación debe usar una tolerancia explícita:

const aproximacion = 1.4142;
const referencia = Math.sqrt(2);
const tolerancia = 0.0001;

console.log(aproximacion === referencia); // false
console.log(Math.abs(aproximacion - referencia) < tolerancia); // true

04 · De dónde aparece

Distintas fuentes de aproximación

No todas las aproximaciones tienen el mismo origen. Reconocerlo ayuda a interpretar y mejorar el resultado:

Fuentes habituales de aproximación.
FuenteEjemploCómo puede mejorarse
MediciónUna balanza muestra 2.37 kg.Usar un instrumento de mayor resolución o repetir mediciones.
Representación decimalGuardar 1/3 con cifras finitas.Conservar más cifras o la expresión exacta.
Método iterativoAproximar √2 mediante pasos.Realizar más iteraciones o elegir un método mejor.
DiscretizaciónSimular movimiento cada 0.1 s.Reducir el tamaño del paso.
ModeloIgnorar la resistencia del aire.Incorporar variables relevantes.

Agregar decimales no corrige automáticamente un modelo inadecuado ni una medición sesgada. Cada fuente exige una estrategia diferente.

05 · Encerrar el valor

Cotas inferiores y superiores

Una forma poderosa de aproximar consiste en ubicar el valor buscado dentro de un intervalo conocido. Como

1.4² = 1.96 < 2 < 2.25 = 1.5²

podemos concluir:

1.4 < √2 < 1.5

Los números 1.4 y 1.5 son cotas inferior y superior. El intervalo tiene longitud 0.1. Si refinamos:

1.41² = 1.9881 < 2 < 2.0164 = 1.42²

obtenemos 1.41<√2<1.42, un intervalo diez veces más corto.

Si conocemos que L≤x≤U, el punto medio

m = (L + U) / 2

queda a una distancia máxima de (U−L)/2 respecto de cualquier valor del intervalo. Así podemos comunicar una aproximación junto con una garantía.

06 · Cuándo es suficiente

Elegir una tolerancia

Una tolerancia fija la diferencia máxima aceptable. Si el valor exacto o de referencia es x y la aproximación es a, pedimos:

|a − x| < tolerancia

La tolerancia forma un entorno alrededor del valor buscado. Cuanto menor sea, más exigente será el criterio.

La tolerancia depende del propósito.
SituaciónPosible criterioMotivo
Mostrar una temperatura doméstica0.1 °CMás detalle puede no ser perceptible ni fiable.
Ubicar un elemento en pantalla0.5 pxUna diferencia subpíxel suele ser visualmente irrelevante.
Transferencia bancariaReglas exactas de centavosEl dominio exige una política decimal definida.
Cálculo científicoSegún escala e incertidumbreEl criterio depende del fenómeno y del instrumento.

07 · Mejorar paso a paso

Métodos iterativos

Un método iterativo comienza con una estimación y aplica repetidamente una regla para producir estimaciones mejores. Para aproximar √S, el método babilónico —un caso del método de Newton— usa:

x siguiente = (x actual + S / x actual) / 2

Si queremos √2 y comenzamos con x₀=1:

Primeras iteraciones para aproximar √2.
IteraciónAproximaciónCuadrado
011
11.52.25
21.4166666667≈ 2.0069444445
31.4142156863≈ 2.0000060073
41.4142135624≈ 2

La regla combina la estimación actual con S/x. Si una queda por encima de la raíz, la otra tiende a quedar por debajo; el promedio equilibra ambas.

08 · Refinar un intervalo

Aproximar mediante bisección

La bisección mantiene dos cotas y reduce a la mitad el intervalo en cada paso. Para buscar √2 comenzamos con [1,2]:

  1. 1
    Calcular el punto medio.

    m=(1+2)/2=1.5.

  2. 2
    Comparar.

    Como 1.5²>2, la raíz queda en [1,1.5].

  3. 3
    Repetir.

    El nuevo punto medio es 1.25; como 1.25²<2, conservamos [1.25,1.5].

Después de n iteraciones, la longitud del intervalo inicial se dividió por 2ⁿ. El método no suele avanzar tan rápido como Newton cerca de la solución, pero conserva una garantía clara: la raíz permanece encerrada entre las cotas.

longitud después de n pasos = longitud inicial / 2ⁿ

09 · Detener el proceso

Criterios de parada

Un método matemático puede describir mejoras indefinidas, pero un programa debe detenerse. Podemos usar distintos criterios:

  • cantidad fija: realizar exactamente n iteraciones;
  • cambio pequeño: detener cuando dos estimaciones consecutivas difieren menos que una tolerancia;
  • residuo pequeño: para una raíz, exigir que |x²−S| sea pequeño;
  • intervalo corto: detener bisección cuando las cotas estén suficientemente cerca;
  • límite de seguridad: imponer un máximo de iteraciones aunque la tolerancia no se alcance.

Estos criterios miden cosas relacionadas, pero diferentes. Un residuo pequeño no siempre equivale a una distancia pequeña a la solución, especialmente en problemas sensibles. Además, comparar solo x siguiente === x actual detecta estancamiento de la representación, no exactitud matemática.

10 · Exploración

Laboratorio: aproximar una raíz cuadrada

Elegí el número, el método y la cantidad de iteraciones. El gráfico muestra las estimaciones y la línea del valor de referencia calculado por el navegador.

EXPERIMENTO 12

Newton y bisección

Aproximar √10 con Newton

Los resultados aparecen debajo del gráfico.
Aproximación3,16227766
Referencia3,16227766
Distancia≈ 0
Residuo |x²−S|≈ 0

Newton alcanza una aproximación muy cercana en pocas iteraciones para este ejemplo.

El eje horizontal representa la iteración y el vertical la estimación. La línea dorada es la referencia, los puntos violetas son las aproximaciones y el punto coral es el último resultado.

Preguntas para explorar

  1. Conservá S=10 y compará cuántas iteraciones necesitan ambos métodos.
  2. En Newton, cambiá la estimación inicial. ¿Llega siempre por el mismo recorrido?
  3. En bisección, observá cómo la distancia no necesariamente disminuye en cada punto medio, aunque el intervalo sí se reduce.
  4. Buscá el menor número de iteraciones que deja el residuo por debajo de 0.000001.

11 · Implementación segura

Aproximar hasta una tolerancia

Una implementación de Newton debe validar entradas, medir el cambio y conservar un máximo de iteraciones:

function raizNewton(numero, tolerancia = 1e-10, maximo = 100) {
  if (!Number.isFinite(numero) || numero < 0) {
    throw new RangeError("El número debe ser finito y no negativo");
  }
  if (tolerancia <= 0 || !Number.isInteger(maximo) || maximo < 1) {
    throw new RangeError("Tolerancia o máximo inválidos");
  }
  if (numero === 0) return { valor: 0, iteraciones: 0 };

  let actual = Math.max(1, numero / 2);
  for (let iteracion = 1; iteracion <= maximo; iteracion += 1) {
    const siguiente = (actual + numero / actual) / 2;
    if (Math.abs(siguiente - actual) < tolerancia) {
      return { valor: siguiente, iteraciones: iteracion };
    }
    actual = siguiente;
  }
  return { valor: actual, iteraciones: maximo, advertencia: "Máximo alcanzado" };
}

console.log(raizNewton(10));

Devolver información, no solo un número

Entregar cantidad de iteraciones y una advertencia permite saber cómo terminó el cálculo. En aplicaciones más exigentes también conviene incluir:

  • el residuo final;
  • la tolerancia solicitada;
  • si el criterio se alcanzó;
  • las cotas disponibles;
  • un historial opcional para diagnóstico.

Un número aislado puede parecer definitivo. Los metadatos preservan el contexto de la aproximación.

12 · Comprensión

Confusiones frecuentes

«Un decimal con muchas cifras es necesariamente exacto»

No. Puede ser una aproximación extensa. √2 es exacto; cualquier expansión decimal finita de esa raíz es aproximada.

«El símbolo = puede reemplazar a ≈»

No. La igualdad afirma identidad de valores. La aproximación afirma cercanía bajo un criterio que conviene comunicar.

«Más iteraciones siempre producen una mejora observable»

El método puede estancarse por la precisión numérica o haber alcanzado ya la tolerancia necesaria. Continuar también tiene un costo.

«Una tolerancia pequeña vuelve correcto cualquier modelo»

La tolerancia controla un cálculo dentro del modelo. No corrige supuestos inadecuados, mediciones sesgadas ni datos deficientes.

«Si dos iteraciones consecutivas son iguales, hallamos el valor matemático exacto»

Puede significar que el formato numérico ya no distingue una mejora. Es estabilidad de la representación, no una prueba de exactitud.

13 · Práctica guiada

Ejercicios de comprensión

Ejercicio 1: exacto o aproximado

Clasificá estas expresiones: 3/8, 0.375, π, 3.14, √9 y 3.

Ver solución razonada

3/8 y 0.375 son dos escrituras exactas del mismo valor. π es exacto y 3.14 es una aproximación. √9 y 3 son exactos e iguales.

Ejercicio 2: usar cotas

Mostrá que 2.2<√5<2.3 y calculá la distancia máxima al usar el punto medio como aproximación.

Ver solución

2.2²=4.84<5 y 2.3²=5.29>5. El punto medio es 2.25. Como el intervalo mide 0.1, cualquier valor encerrado queda a lo sumo a 0.05 del punto medio.

Ejercicio 3: dos pasos de Newton

Aproximá √5 desde x₀=2 realizando dos iteraciones de x siguiente=(x+5/x)/2.

Ver solución

x₁=(2+5/2)/2=2.25. Luego x₂=(2.25+5/2.25)/2≈2.23611111. La referencia es √5≈2.23606798.

Ejercicio 4: bisección programada

Implementá cinco pasos de bisección para aproximar √7, comenzando con el intervalo [0,7].

Ver solución y código
function aproximarRaizPorBiseccion(numero, pasos) {
  let inferior = 0;
  let superior = Math.max(1, numero);

  for (let i = 0; i < pasos; i += 1) {
    const medio = (inferior + superior) / 2;
    if (medio ** 2 < numero) inferior = medio;
    else superior = medio;
  }

  return {
    inferior,
    superior,
    aproximacion: (inferior + superior) / 2
  };
}

console.log(aproximarRaizPorBiseccion(7, 5));

El intervalo final es [2.625,2.84375] y su punto medio es 2.734375. La aproximación todavía es modesta; cada paso adicional vuelve a dividir la longitud por dos.

14 · Síntesis

Ideas para recordar

  • Un valor exacto conserva la cantidad sin sustitución; uno aproximado la reemplaza por un valor cercano.
  • = expresa igualdad y expresa aproximación.
  • Las aproximaciones pueden surgir de mediciones, representaciones, modelos, discretizaciones o métodos iterativos.
  • Dos cotas permiten encerrar el valor buscado y limitar la incertidumbre.
  • La tolerancia establece qué diferencia resulta aceptable para el problema.
  • Newton mejora una estimación; bisección reduce un intervalo que contiene la solución.
  • Todo algoritmo iterativo necesita un criterio de parada y un máximo de seguridad.
  • Más cifras no garantizan mejor información ni un modelo más correcto.
  • Una aproximación debería entregarse junto con datos sobre su calidad.

En el próximo tema definiremos error absoluto y error relativo: dos maneras complementarias de cuantificar la diferencia entre una aproximación y su valor de referencia.