Multiplicación de Dos Raíces.

Sean a y b dos números reales positivos, y 𝑀 = √𝑎 ∙ 𝑏 (no hemos dicho qué son los números
reales pero pensemos simplemente que son números como cualquier número que conocemos que
pueden ser enteros o fraccionarios).

Por definición, M es igual al número que multiplicado por sí mismo da como resultado 𝑎 ∙ 𝑏 , lo
que evidentemente es √𝑎 ∙ 𝑏 pero también es √𝑎√𝑏 (pues √𝑎√𝑏 √𝑎√𝑏 = 𝑎 ∙ 𝑏). Entonces √𝑎 ∙ 𝑏
= √𝑎𝑏 = √𝑎√𝑏, lo que es un resultado importante.

NOTA. Veamos que aquí el signo multiplicador lo ponemos como un punto, o por
simplicidad no lo ponemos y ponemos a los factores (que se multiplican) juntos (lo que
significa que se multiplican). A propósito no hemos usado el signo x para la multiplicación
para evitar confusión de notación.

Otra forma en que podemos ver lo anterior es proponiendo que 𝑁 = √𝑎√𝑏 , así que 𝑁 2 = 𝑎 ∙ 𝑏 =
ab, pero volviendo a sacar raíz cuadrada nos daría que 𝑁 = √𝑎 ∙ 𝑏 , así que nuevamente √𝑎 ∙ 𝑏 =
√𝑎𝑏 = √𝑎√𝑏.
Nota. Hay aspectos de cuidado si uno o ambos números a y b fueran negativos, pero eso en este
curso lo dejamos fuera de nuestro estudio.

Entonces, concluimos que si a y b son dos números reales positivos, entonces:

√𝑎 ∙ 𝑏 = √𝑎𝑏 = √𝑎√𝑏, 1

Cuadrado de un Número
Ahora veamos lo que pasa cuando elevamos al cuadrado un número non. Si n es un entero,
entonces 2 ∙ 𝑛 + 1 = 2𝑛 + 1 es un número non. Su cuadrado sería (2𝑛 + 1)2 = 4𝑛2 + 4𝑛 + 1 lo
que es evidentemente es un número non.

Ahora veamos lo que pasa cuando elevamos al cuadrado un número par. Si n es un entero,
entonces 2 ∙ 𝑛 = 2𝑛 es un número par. Su cuadrado sería (2𝑛)2 = 4𝑛2 lo que evidentemente es un
número par.

Podemos proponer entonces que todo número al cuadrado que es non proviene de un número
non y que todo número al cuadrado que es par proviene de un número par.

Si lo anterior nos causa molestia, vayamos a una propuesta de muestra en sentido inverso.
Consideremos que tenemos un número al cuadrado que es par. Sea c este número.
Representemos a este número como 𝑐 = 2𝑑, donde d es un número entero. Entonces también
sabemos que √𝑐 = √2𝑑 = √2√𝑑 debe ser un número entero. Dado lo anterior, es necesario que
√𝑑 tenga una forma igual a √2 𝑓, donde f es un número entero. Lo anterior es necesario para que
√𝑐 sea un entero. Veamos, tendríamos que √𝑐 = √2𝑑 = √2 √𝑑 = √2 √2 𝑓 = 2 f, de lo que vemos
que √𝑐 es par. De lo anterior vemos que si c es par, entonces √𝑐 es par.
Algo similar podremos hacer en el sentido inverso de la muestra, para un número al cuadrado que
fuese non, el cual debería provenir de un número non.

Con lo anterior nos preparamos para trabajar con el análisis del número √2.