Preguntar qué es una raíz cuadrada "es" para un matemático, significa preguntar cómo es definido : si se me permite leer en lo que dices, no es eso lo que intentas averiguar aquí. Pero saber cómo se definen algunas otras cosas ayudará.
Así pues, empecemos por los números reales: lo que conoces como corrientes de dígitos decimales suele definirse de una forma u otra como todos los espacios entre números racionales. Los números racionales son los números enteros-fracciones que aprendiste en la escuela. Si quieres leer más sobre cómo hacer esto formalmente, esos espacios se llaman Cortes de Dedekind .
Hay otras dos observaciones clave sobre la elevación al cuadrado de los números que facilitan la obtención de una raíz cuadrada. La primera es: si $0 < a < b$ entonces $a^2 < b^2$ , esto tiene uno de esos nombres matemáticos que dan miedo (monotónico). La segunda es que si dos racionales están cerca uno del otro, entonces sus cuadrados están cerca uno del otro (continuo). (Esta última propiedad es en realidad aún mejor porque elevar al cuadrado no es sólo continuo pero diferenciable , que es una palabra complicada que significa que, cuando se amplía el gráfico, se convierte en una línea recta en todas partes: es como un círculo, no como un fractal).
Como es continua, la raíz cuadrada de cualquier número real positivo es siempre un bien definido número real positivo: Dado el hueco positivo entre racionales del que se quiere sacar la raíz cuadrada, la raíz cuadrada es el hueco positivo entre racionales tal que cualquier racional mayor que el hueco de la raíz cuadrada se eleva al cuadrado de un racional mayor que el hueco cuadrado, de forma similar para los números por debajo de los huecos. Así que todo número real tiene una raíz cuadrada real.
Y eso nos lleva a la primera y más fácil forma de encontrarlo, llamada bisección Supongo que sabes que la brecha desconocida $p$ correspondiente a un cuadrado conocido $p^2$ está entre dos racionales $r_1$ y $r_2$ Así que $r_1^2 < p^2 < r_2^2$ . Entonces toma el racional a medio camino entre esos dos, $r_m = (r_1 + r_2) / 2$ y ver si $r_m^2 < p^2$ (en cuyo caso sustituye a $r_1$ ) o si $r_m^2 > p^2$ (en cuyo caso sustituye a $r_2$ ). Esto reduce el espacio de búsqueda a la mitad. Después de tres o cuatro de estos, normalmente se conoce otro dígito decimal.
Ejemplo concreto: queremos la raíz cuadrada de 18. Elegimos un cuadrado perfecto menor que él, y uno mayor que él. Si lo hacemos a mano en decimales, nos ayuda conocer los números cuadrados hasta 100 y luego utilizar el hecho de que las raíces cuadradas distribuyen sobre la multiplicación para multiplicar la cuadrícula por 100: así que utilizamos una cuadrícula de {1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 400, 900, 1600, ...}. Así que empezamos sabiendo que el valor está entre 16 y 25, por lo que la raíz cuadrada está entre 4 y 5.
Así que probamos con 4,5 2 \= 20,25, que es demasiado grande. Por tanto, la raíz cuadrada está entre 4 y 4,5. Probamos con 4,25 2 \= 18,0625, que sigue siendo demasiado grande, por lo que la raíz cuadrada está entre 4 y 4,25. Probamos con 4,125 2 \= 17,015625, que finalmente es demasiado pequeño, por lo que la raíz cuadrada está entre 4,125 y 4,25. Así que ahora probamos con 4,1875 2 \= 17,5..., entonces 4,21875 2 \= 17,79..., y en este punto podemos afirmar con toda seguridad que el número es aproximadamente 4.2 . El siguiente límite inferior es 4,234375 2 \= 17,9299..., el siguiente límite inferior es 4,2421875 2 \= 17.996... . Entonces empezaremos a reducir el límite superior de nuevo; al final puedes encontrar que la respuesta es 4,242640687119... y obtendrás un dígito decimal por cada tres o cuatro de estas operaciones que hagas.
Hay una forma mejor. Si has seguido ese ejemplo, te darás cuenta de que hemos descubierto que 4,25 2 estaba inusualmente cerca de 18, por lo que si lo hicieras a mano probablemente habrías adivinado que no 4.125
pero 4.24
en su lugar. Y sí, puede que a veces te equivoques con estas conjeturas, pero es mejor que hacer todo ese trabajo extra si no eres un ordenador.
Pues bien, hace mucho tiempo (en la época de Babilonia) descubrimos exactamente lo que deberías adivinar. La idea es que si tienes una conjetura $g$ que es menor que la raíz cuadrada de N por una pequeña cantidad $s$ Entonces no sabes $s$ pero sabes que $$N = (g + s)^2 = g^2 + 2 g s + s^2$$ . Ignorando el $s^2$ como ser (pequeño) * (pequeño) = (demasiado pequeño) da una aproximación para $s$ : $$s \approx s_g = (N - g^2) / (2 g)$$ lo que sugiere que deberías hacer tu próxima suposición $$g + s_g = \frac{g^2 + N}{2 g} = \frac{g + N/g}{2}$$ . Esta conjetura tiene incluso la agradable propiedad de que cuando se empieza con una subestimación se obtiene una ligera sobreestimación, y viceversa.
Por eso, para obtener la raíz cuadrada de 18, empezamos adivinando 4. Nuestra siguiente suposición es (4 + 18/4)/2 = 17/4, la misma "buena suposición" que obtuvimos antes: ahora sabemos que el número está entre 4,0 y 4,25. Volvemos a hacerlo para encontrar (17/4 + 18*4/17)/2, que da 577/136 o 4,24264..., por lo que ya tenemos nuestros dos siguientes dígitos (porque el hecho de que esté entre 4,24... y 4,25 significa que es 4,24...). Si haces el siguiente paso obtienes 665.857/156.944, lo que te permite saber que es 4,24264..., y si haces el siguiente paso obtienes 886.731.088.897 / 209.004.522.016, que está tan cerca de la raíz cuadrada que mi ordenador realmente no puede notar la diferencia (a doble precisión), así que con un paso más puedes probar que es ese valor (a doble precisión).