Una sencilla construcción con regla y compás

Bienvenidos al Escritorio de Enrique. Antes de nada, si queréis descargaros en pdf el contenido de esta entrada podéis pinchar en este enlace post5. Quiero dedicar esta entrada a un tema que se trata en la educación secundaria y, debido a su poca aplicación práctica, no se logra ver su belleza. Me refiero a la representación de las raíces cuadradas en la recta real.

Vamos a comenzar recordando algunas cuestiones sobre los números reales. En mi anterior entrada Algunos tipos de demostraciones vimos algunas propiedades de los números naturales () y números enteros (). Además, vimos la forma que tenían los números racionales (), que son los números fraccionarios de toda la vida. Los números irracionales, , son todos aquellos números que no pueden escribirse en forma de fracción. También vimos en esa entrada que y son números irracionales, y ofrecimos una demostración de que el segundo lo es. Los números reales, , son todos aquellos números que son racionales o irracionales. Podemos escribir esta afirmación de muchas maneras, todas ellas equivalentes. Por ejemplo, , o . De hecho, tenemos la siguiente cadena de inclusiones , que quiere decir que los números naturales son un caso particular de los números enteros (pues son los números mayores o iguales que ); los números enteros son un caso particular de los números racionales (pues son los números fraccionarios con denominador igual a ); y los números racionales son un caso particular de los números reales, como hemos dicho al principio. En esta cadena no aparecen los números irracionales porque no guardan relación (como subconjunto) con ningún subconjunto de los reales de los que hemos mencionado.

Los números reales se pueden representar en una recta, llamada recta real, y con la que estás familiarizada.

El número se puede representar dividiendo el intervalo en dos mitades y tomando el punto medio. El número se puede representar dividiendo el intervalo en tres subintervalos iguales y tomando el punto en común del primer subintervalo y el segundo (visto de derecha a izquierda). no queda más remedio que tomar una aproximación del estilo . Si todos los escribimos en notación decimal, , (es un número periódico, ). , al ser un número irracional, no podemos escribir todos sus decimales, pues son infinitos y no siguen ningún patrón. Lo mismo podemos decir de Sin embargo, los números radicales (números de la forma ) con (es decir ) y (pues como ya sabrás, no existe la raíz cuadrada de números negativos en el conjunto de los números reales) sí podemos representarlos en la recta real de manera exacta, aunque, como con , no conozcamos sus infinitos decimales.

Observemos que para los números solo hemos necesitado una regla para «construirlos». Teníamos una línea en la cual hemos definido una unidad de medida (por ejemplo, o ) y, con nuestra regla situada sobre esa línea hemos hecho las medidas oportunas para representar esos números en la línea, la recta real. Todos los números naturales, enteros y racionales podemos representarlos en la recta utilizando la regla. Para representar los números de la forma vamos a necesitar también un compás. En la antigua Grecia, los matemáticos solo consideraban válida una construcción geométrica que utilizara regla y compás. Hay una vasta teoría algebraica dedicada al estudio de construcciones con regla y compás. Antes de comenzar con la representación de estos números, veamos algunas cosas que necesitamos.

Lo primero que observamos es que no todos los números son irracionales. Por ejemplo, , , . Eso es, si es un número natural elevado al cuadrado, , entonces su raíz es un número natural, . A estos números se les llama cuadrados perfectos.

También observamos que si no es un cuadrado perfecto, entonces es un número irracional (). La demostración es algo técnica y prefiero no abordarla aquí. Lo que sí que voy a probar, ya que no quiero dejaros con la miel en los labios, es que si es un número primo (número natural cuyos únicos divisores son y ), entonces . Veamos algunas propiedades de los números primos, que aunque no sean indispensables, nunca está de más saber más de la cuenta.

Como el conjunto de números primos es un subconjunto de , entonces tiene un primer elemento (el , pues el no se considera número primo).

El único número primo par es . Pues si es un número primo distinto de y es par, entonces sería divisible por y no sería primo (clásico razonamiento por reducción al absurdo). Por tanto, el resto de números primos son impares (de la forma ).

Si un primo divide al producto , entonces divide a o a . Por ejemplo, divide a , y divide a . También puede ocurrir que divida a los dos números, por ejemplo divide a , y divide a y a .

es un conjunto infinito. Esto también requiere demostración, aunque si te resulta muy complicada puedes omitirla. Es por reducción al absurdo.

Si fuera finito, entonces y existiría un primo mayor que todos . Consideramos el número . Si fuera un número primo, este sería mayor que y, por tanto, llegaríamos a un absurdo, porque tendría un elemento más de los que habíamos supuesto. Así que supongamos que no es primo. Como todo número natural puede descomponerse como producto de números primos elevados a ciertas potencias (es el llamado Teorema Fundamental de la Aritmética; por ejemplo, ), lo que quiere decir que todo número natural tiene divisores primos, entonces existe de forma que divide a . Obviamente, divide a , pues es uno de sus factores. Por tanto, concluimos que divide a (por ejemplo, divide a y a , por lo que divide a ). Pero . Y esto constituye un absurdo, porque no es y ningún número natural excepto divide a . Por tanto, el conjunto de números primos es infinito.

Finalmente, veamos que si es primo, entonces es irracional. Si , ya vimos en el post anterior que es irracional. Si , el razonamiento es muy parecido a la demostración de la irracionalidad de , también por nuestra querida reducción al absurdo. Supongamos que es racional y lo podemos escribir como una fracción irreducible (recordemos que y son primos entre sí). Elevando al cuadrado tenemos que , y multiplicando a ambos lados por obtenemos . Esto quiere decir que es un múltiplo de , o lo que es lo mismo, divide a . Por una de las propiedades de los números primos que hemos visto, divide a (porque un primo que divide a un producto, divide a al menos uno de sus factores, pero es un producto con los dos factores iguales). De esta forma, , para algún número natural , y . Sustituyendo esto en la fórmula anterior, tenemos que . Por tanto, . Por el mismo razonamiento de antes, divide a . Pero esto quiere decir que divide tanto a como a , lo que supone un absurdo, ya que habíamos supuesto que y eran primos entre sí. Así concluimos que es irracional.

Comencemos a ver cómo representar en la recta real. Vamos a usar el Teorema de Pitágoras. Este afirma que en un triángulo rectángulo el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos. Así que, dado , construyamos un triángulo rectángulo cuya altura es y cuya base es . El Teorema de Pitágoras dice que el cuadrado de la hipotenusa de este triángulo mide , luego la hipotenusa mide (todas estas medidas son en una magnitud concreta, cm por ejemplo, pero eso se lo dejamos a las ingenieras y a las físicas, nosotras ya suponemos fijada una unidad cualquiera). En la siguiente imagen vemos representado un esquema de lo que estamos haciendo.

Si vemos el triángulo en el plano cartesiano con la base situada sobre el eje de abscisas y el vértice que tienen en común la base y la hipotenusa situado sobre el origen , si utilizamos un compás centrado en este vértice y marcamos la amplitud hasta el vértice que tienen en común la hipotenusa y la altura, podemos trazar una circunferencia centrada en y de radio que intersecará con el eje de abscisas en el punto , ya que en este eje la segunda coordenada es y la primera coordenada viene dada por el radio de la circunferencia (porque está centrada en ). Veámoslo en una imagen.

Aún no hemos terminado. ¿Qué nos garantiza que sepamos representar ? Esta construcción está basada en la suposición de que sabemos representarlo. Sin embargo, hay una firme razón que nos asegura que podemos representarlo, y es que, en caso de que no supiéramos, siempre podemos repetir este proceso para en vez de para , es decir, como , construimos un triángulo como el anterior con altura y base . Esto nos proporciona un triángulo con hipotenusa y, utilizando el compás, podemos representar . Entonces podemos utilizar ya esta representación para representar . De nuevo hay imagen.

Si sois perspicaces, os habréis dado cuenta de que puede que tampoco esté garantizado que sepamos representar . Bueno, sabemos que el proceso va a terminar, como muy tarde, en el paso , porque llegaremos a construir un triángulo rectángulo de base y altura (la hipotenusa será, cómo no, ), y sabemos dibujar , por tanto habremos terminado. De hecho, si haciendo los triángulos de base , y es un cuadrado perfecto, para algún , no necesitaremos hacer más, porque será un número natural y, por tanto, representable trivialmente en la recta real. Veamos un ejemplo.

Supongamos que queremos representar en la recta real. Como no es un cuadrado perfecto, construimos un triángulo rectángulo de base y altura . Como no es un cuadrado perfecto, construimos un triángulo rectángulo de base y altura . sí es un cuadrado perfecto, porque . Por tanto, en este último triángulo utilizamos el compás para trazar una circunferencia de radio la hipotenusa, . La intersección de esta circunferencia con el eje de abscisas nos da la base del triángulo con hipotenusa . Repitiendo el proceso con el compás, acabamos representando el número en la recta real.

Lo que hemos hecho ha sido encontrar un procedimiento recursivo (es decir, que su forma general se repite paso tras paso). En el fondo es un algoritmo. Un algoritmo es una secuencia de pasos que parte de unos datos, tiene un cuerpo donde se realizan operaciones lógico-matemáticas y devuelve ninguno, uno o varios valores de salida. Dejaremos este tema para otra entrada.

Espero que esta os haya gustado y hayáis podido ver lo elegante de esta construcción geométrica. Por si os interesa, todas las imágenes las he dibujado con un software gráfico gratuito muy intuitivo e interactivo llamado GeoGebra. Si queréis más contenido de este tipo, dejádmelo en los comentarios. ¡Hasta la próxima!