Esto es fácil de visualizar. Dibujaré un esquema sin mucho rigor matemático.
Tomemos el número 36. Sabemos a ciencia cierta su composición, pero como dije, solo queremos visualizar las cosas.
Factorizamos 36:
[matemáticas] 36 = 1 \ veces 36 [/ matemáticas]
[matemáticas] 36 = 2 \ veces 18 [/ matemáticas]
[matemáticas] 36 = 3 \ por 12 [/ matemáticas]
[matemáticas] 36 = 4 \ por 9 [/ matemáticas]
[matemáticas] 36 = 6 \ veces 6 [/ matemáticas]
Nos detenemos aquí ya que después de esto los factores comienzan a volverse repetitivos.
Mire la factorización cuidadosamente. He escrito cosas son dos columnas para mayor claridad. En la columna izquierda, los factores aumentan a medida que baja. En la columna de la derecha, disminuye a medida que baja.
- ¿La siguiente suma converge o diverge? [matemáticas] \ sum_ {r = 0} ^ {r = n-1} \ frac {r (r + 1) (n-2)! } {(n-1) ^ {r} (nr-1)! }[/matemáticas]?
- Si xyz = 1, entonces ¿cómo puedo demostrar que [matemáticas] (1 + x + y ^ {- 1}) ^ {- 1} + (1 + y + z ^ {- 1}) ^ {- 1} + (1 + z + x ^ {- 1}) ^ {- 1} = 1 [/ matemáticas]?
- Cómo demostrar que la igualdad [matemáticas] (x + y) ^ n = \ sum_ {k = 0} ^ {n} \ binom {n} {k} x ^ {nk} y ^ k [/ matemáticas] es válida para todo [matemáticas] x, y
- Deje que [math] F_n [/ math] denote el término [math] n [/ math] th en la secuencia de Fibonacci. ¿Cómo se prueba que [matemáticas] F_ {n + 1} ^ 2 + F_ {n} ^ 2 = F_ {2n + 1} [/ matemáticas]?
- Si x + y = 5 y x ^ y + y ^ x = 17, ¿cuál es el valor de x e y?
Puede obtener todos los factores de 36 atravesando la columna izquierda primero hacia abajo y luego hacia la derecha, de abajo hacia arriba.
Como 36 es un cuadrado perfecto, el factor más alto en la columna izquierda es 6, y también el número más bajo en la columna derecha es 6.
Ahora intentaremos averiguar si 36 es compuesto, dividiéndolo con números que comiencen por 2.
Uno por uno, aprendemos que 2,3 y 6 divide 36.
Ahora supongamos que intentamos dividir 36 entre [matemáticas] x> 6 [/ matemáticas] para averiguar si es compuesto. Supongamos que divide 36 y nos da el resultado [math] y [/ math]. Pero seguramente aceptará que [matemáticas] y <6 [/ matemáticas]. Pero entonces [matemáticas] y [/ matemáticas], que es menor que 6, también debe dividir 36.
¡Pero ya hemos tratado de dividir 36 entre todos los números del 2 al 6! Seguramente si [math] y [/ math] divide 36, y de hecho es menor que 6 (que debe ser), entonces [math] y [/ math] debe estar entre 2,3 y 6, que son los factores que ¡ya tengo!
Creo que ahora está claro por qué no debemos tratar de dividir 36 entre cualquier número mayor que 6.
Para un cuadrado perfecto, el último valor de la columna izquierda y el último valor de la columna derecha es el mismo.
En general, el último valor de la columna izquierda siempre será menor que el último valor de la columna derecha.
Entonces, el valor máximo que puede tener el último valor de la columna izquierda es la raíz cuadrada del número.
Entonces, en general, si divide el número entre todos los números del 2 a su raíz cuadrada, ¡habrá obtenido todos los factores automáticamente!
Si suponemos que ningún número entre 2 y su raíz cuadrada lo divide, entonces ningún número mayor que su raíz cuadrada puede, porque entonces, por la lógica anterior, el cociente tendría que ser menor que la raíz cuadrada, pero esto está en contradicción directa ¡con nuestra suposición de que ningún número del 2 a su raíz cuadrada lo divide!