Archivo de la etiqueta: punto

Geometría Moderna I: Definiciones

Por Rubén Alexander Ocampo Arellano

Deja un comentario

Introducción

Esta es la primera entrada del curso de Geometría Moderna I el cual está basado en el temario oficial de la Facultad de Ciencias de la UNAM. Aquí presentaremos algunos conceptos básicos que nos serán de ayuda para empezar el curso.

El termino Geometría Moderna se refiere a aquella geometría deductiva, que fue desarrollada después de Euclides y hasta el desarrollo de las geometrías no euclidianas, este periodo está comprendido entre los siglos III AC y XIX DC, es decir, la geometría griega hecha con regla y compás, pero después de los griegos.

La geometría euclidiana estudia propiedades básicas de los objetos geométrico tales como punto, recta, triángulo o circunferencia, a partir de un conjunto de axiomas y de manera sintética, es decir, sin el uso de un eje de coordenadas o métodos algebraicos muy complejos, aunque si se hace uso de nociones básicas de Teoría de Conjuntos, como las de pertenencia o intersección de conjuntos.

Muchas de estas propiedades son de carácter métrico, es decir, sobre la medición de magnitudes de ángulos, longitudes de segmentos, distancias entre puntos o áreas de figuras geométricas, pero también nos hablan sobre la concurrencia de rectas (rectas diferentes que pasan por un mismo punto), colinealidad de puntos (puntos distintos que están sobre una misma recta) o puntos cíclicos (puntos distintos que están en una misma circunferencia).

Punto, recta y circunferencia

Definición 1. Un punto es la representación de un lugar específico en el plano, no tiene longitud, altura ni ninguna otra dimensión, en nuestro cuaderno o el pizarrón podemos representar este lugar con la marca más pequeña y visible que nuestro lápiz o gis puedan hacer, la cual en realidad si tiene dimensiones, pero lo que solo nos interesa es la abstracción de ese lugar marcado.

La mayoría del tiempo para referirnos a puntos emplearemos letras mayúsculas.

Definición 2. Una línea recta es un objeto de una sola dimensión, solo tiene longitud y se extiende de manera infinita en ambos sentidos, todos sus puntos se encuentran en una misma dirección de manera que dos puntos distintos determinan a una línea recta.

Nos referiremos a una línea recta simplemente como recta. Si no conocemos dos puntos por donde pasa una recta la denotaremos con la letra $l$.

Cuando la intersección de dos rectas $l_{1}$, $l_{2}$ es vacía, es decir, no tienen ningún punto en común $l_{1} \cap l_{2} = \varnothing$, decimos que son rectas paralelas y lo denotamos como $l_{1} \parallel l_{2}$.

A la porción de línea recta que une dos puntos distintos en el plano (incluyendo a los puntos) y que no se extiende más allá de ellos le llamamos segmento de recta o simplemente segmento.

La distancia entre dos puntos es la magnitud del segmento de recta que los une.

Si conocemos dos puntos distintos $P$, $Q$ de una recta nos referiremos al segmento que une dichos puntos como $PQ$, en ocasiones también nos podremos referir a la recta completa con la misma notación de acuerdo al contexto del problema.

Figura 1

Definición 3. Dados un punto $O$ del plano y una magnitud $r \geq 0$, definimos a la circunferencia con centro en $O$ y radio $r$ $(O, r)$ como el conjunto de puntos en el plano cuya distancia al punto $O$ es $r$.

Algunas veces no nos importará o no conoceremos el centro o el radio de una circunferencia, en tal caso nos referiremos a ella con cualquier otra letra como $\Gamma$.

Al segmento que une dos puntos distintos de una circunferencia y que pasa por su centro le llamamos diámetro.

Si conocemos dos puntos $A$ y $B$ diametralmente opuestos de una circunferencia podemos denotarla como $\Gamma(AB)$.

A la porción de una circunferencia que une dos puntos distintos en ella le llamamos arco de circunferencia, para dos puntos distintos en una circunferencia $A$ y $B$, denotamos al arco recorrido de $A$ a $B$ en el sentido contrario de las manecillas del reloj como $\overset{\LARGE{\frown}}{AB}$.

Figura 2

Ángulo

Definición 4. Un ángulo es un objeto formado cuando dos rectas o segmentos se intersecan. Al punto en común le llamamos vértice y los segmentos o semirectas que concurren en el vértice son los lados del ángulo.

Cuando es claro cuáles son los lados de un ángulo con vértice en $O$ lo denotamos como $\angle O$.

Cuando queremos hacer énfasis en los segmentos que forman un ángulo con vértice $O’$, escribimos $\angle AO’B$ si nos referimos al desplazamiento del segmento $AO$ hacia $BO$ en contra del movimiento de las manecillas del reloj.

También podemos etiquetar a un ángulo con letras griegas minúsculas.

Figura 3

Cuando dos rectas o segmentos distintos se intersecan se forman cuatro ángulos, en este caso a los ángulos que comparten un lado en común les llamamos adyacentes y a los que no tienen un lado en común, opuestos por el vértice.

Decimos que un ángulo es recto si es aquel que se obtiene cuando dos rectas $l_{1}$, $l_{2}$ se intersecan formando cuatro ángulos iguales y en este caso decimos que las rectas son perpendiculares $l_{1} \perp l_{2}$. Denotamos a la suma de dos ángulos rectos como $\pi$.

Para medir la magnitud de un ángulo $\angle O$ trazamos una circunferencia de radio $1$ con centro en el vértice del ángulo y ubicamos las intersecciones de los lados del ángulo con la circunferencia digamos $A$ y $B$, entonces la medida de $\angle AOB$ será la magnitud del arco $\overset{\LARGE{\frown}}{AB}$.

En calculo se muestra que $\pi = 3.14159…$, es un numero irracional, esto es, su representación decimal es infinita y no periódica.

Otra forma de medir los ángulos es dividir a la circunferencia en $360$ partes iguales o grados, de esto se sigue que $\dfrac{\pi}{2} = 90^{\circ}$, $\pi = 180^{\circ}$, $2\pi = 360^{\circ}$.

Figura 4

Un ángulo que es menor que uno recto es un ángulo agudo y uno que es mayor a uno recto se llama ángulo obtuso.

Dos ángulos que suman $\dfrac{\pi}{2}$ son complementarios y dos ángulos cuya suma es igual a $\pi$ se llaman suplementarios.

Figura 5

Triángulo

Definición 5. Un triángulo es una figura en el plano que consiste de tres puntos distintos, llamados vértices, que no son colineales, y por los segmentos que unen dichos vértices a los que llamamos lados del triángulo.

Si los vértices de un triangulo son $A$, $B$ y $C$, denotamos al triángulo como $\triangle ABC$ recorriendo los vértices en el sentido contrario de las manecillas del reloj.

Recordemos leer los ángulos en el sentido contrario al de las manecillas del reloj. A $\angle BAC$, $\angle CBA$ y $\angle ACB$ les llamamos ángulos internos o interiores.

Si extendemos los lados del triángulo, a los ángulos que son suplementarios a los ángulos interiores les llamamos ángulos exteriores o externos, notemos que por cada ángulo interno hay dos externos.

Figura 6

Clasificamos a los triángulos de acuerdo a la magnitud de sus lados y de sus ángulos internos.

De acuerdo a sus lados:
escaleno, si ningún par de lados es igual,
isósceles, si tienen dos lados iguales,
equilátero, si todos sus lados son iguales.

Figura 7

De acuerdo a sus ángulos internos:
rectángulo, si un ángulo interno es recto,
acutángulo, si todos sus ángulos internos son agudos,
obtusángulo, si uno de sus ángulos internos es obtuso.

Figura 8

Problema. Dado un segmento construir sobre él un triángulo equilátero.

Solución. Para hacer una construcción geométrica usamos una regla sin graduar y un compás. La regla nos permite trazar la recta que une cualesquiera dos puntos distintos y con el compás podemos trazar circunferencias conociendo su centro y radio.

Sea $BC$ el segmento dado, trazamos dos circunferencias de radio $BC$, una con centro en $B$ y otra con centro en $C$.

Figura 9

Sea $A$ la intersección de $(B, BC)$ con $(C, BC)$, trazamos $AB$ y $AC$, entonces $AB = BC$, por ser radios de $(B, BC)$ y $AC = BC$, por ser radios de $(C, BC)$.

Por lo tanto, $AB = BC = AC$ y así $\triangle ABC$ es equilátero.

$\blacksquare$

El triángulo es uno de los objetos más estudiados en geometría euclidiana. En las próximas entradas abordaremos teoremas fundamentales acerca del triángulo como los de congruencia, semejanza o el teorema de Pitágoras.

Más adelante…

En la siguiente entrada presentaremos los postulados de Euclides que son el punto de partida para poder establecer relaciones entre los objetos que hemos definido.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Muestra que los ángulos opuestos por el vértice son iguales.
  2. Convierte a grados los siguientes ángulos: $\dfrac{\pi}{3}$, $\dfrac{\pi}{4}$, $\dfrac{3\pi}{4}$.
  3. Calcula la longitud de arco de los siguientes ángulos: $225^{\circ}$, $270^{\circ}$, $315^{\circ}$.
  4. Dados dos segmentos de distinta longitud, construir sobre el mayor un segmento de igual magnitud al menor.
  5. GeoGebra es un software libre de matemáticas muy útil, con él te puedes apoyar para hacer tus demostraciones durante este curso, aquí esta la versión online.

Entradas relacionadas

Fuentes

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Geometría Analítica I: Las ideas de Euclides y Descartes

Por Elsa Fernanda Torres Feria

Deja un comentario

Introducción

En la primer parte del curso desarrollaremos los formalismos de conceptos geométricos de los cuales ya tenemos alguna noción como puntos, rectas, el espacio vectorial $\mathbb{R}^2$, ángulos, distancias, entre otras. Es probable que ya tengas muchas de estas nociones previas, y que hayas trabajado con ellas incluso desde el punto de vista analítico. Sin embargo, es importante ir siguiendo las ideas poco a poco pues, además de aprender a hacer las operaciones necesarias, también hay que desarrollar la intuición matemática y geométrica detrás de las cuentas. Así mismo, será importante darse cuenta del orden en el que vamos construyendo los objetos, pues en muchas ocasiones no sólo calcularemos sino que demostraremos y para ello es fundamental basarse únicamente en cosas que ya se hayan probado antes.

En esta entrada en particular, hablaremos de dos formas en las que se ha formalizado a la geometría: mediante una construcción sintética propuesta por los griegos, y mediante una construcción analítica desarrollada por Descartes. La presentación que hacemos de estos temas es más moderna que como fueron planteados originalmente.

Geometría griega

Antes de que la geometría fuera formalizada, en sus inicios era mucho más una herramienta. Estaba conformada por reglas comúnmente usadas para cosas de la vida cotidiana como medir terrenos, construir casas y ciudades, y navegar.

La formalización de este conocimiento se dio por primera vez en Elementos, un texto escrito en el siglo III a.C. por Euclides de Alejandría; durante este proceso, Euclides se percató de que todo razonamiento riguroso debe tener bases previamente establecidas que bien pueden haberse demostrado con anterioridad o que son válidas sin necesidad de demostración. Esta última opción hace referencia a principios básicos que están dados y son incontrovertibles, de tal manera que se puede construir sobre ellos el resto de la teoría.

Para formalizar una teoría, necesitamos objetos y principios básicos. En el caso de la geometría euclideana, los objetos son las nociones intuitivas que tenemos: puntos, rectas, planos, ángulos, etc. Los principios básicos, que se asumen como ciertos desde el inicio se les conoce como los cinco postulados de Euclides:

  1. Por cualesquiera dos puntos, se puede trazar el segmento de recta que los une.
  2. Dado un punto y una distancia, se puede trazar el círculo con centro en el punto y cuyo radio es la distancia.
  3. Un segmento de recta se puede extender en ambas direcciones indefinidamente.
  4. Todos los ángulos rectos son iguales.
  5. Dadas dos rectas y una tercera que las corta, si los ángulos internos de algún lado suman menos de dos ángulos rectos (180°), entonces las dos rectas se cortan y lo hacen de ese lado.

Este último postulado resulta tener dos versiones que son equivalentes y que enunciamos a continuación:

5.a. Dada una línea recta y un punto fuera de ella, existe una única recta que pasa por el punto y que es paralela a la línea.

5.b. Los ángulos interiores de un triángulo suman dos ángulos rectos.

El quinto postulado resultó ser muy controvertido y en el transcurso de la historia muchos geómetras intentaron mostrar que se desprendía de las definiciones y de los primeros cuatro. Pero esto resultó no ser cierto. Se descubrió que al tomar distintas negaciones del quinto postulado se podían obtener distintas geometrías, tan válidas y tan ricas como la geometría euclideana misma. Esto no lo trataremos en este curso, pero si te interesa conocer más, puedes investigar acerca de la geometría proyectiva o hiperbólica.

Del plano euclideano al plano cartesiano y viceversa

Continuando con la formalización de la geometría, el siguiente paso en este camino lo dio Descartes en su publicación Géométrie al introducir el álgebra en la solución de problemas de índole geométrica. Este camino inicia al buscar la forma de representar puntos en el plano por parejas de números. Para esto partimos del plano euclidiano que está bien definido por los cinco axiomas descritos por Euclides. Pensaremos que este plano consiste de puntos y que se extiende indefinidamente. Pensaremos también que en este plano los objetos que se mencionan en los postulados tienen sentido (punto, distancia, etc.). Llamaremos a este plano $\mathbb{E}^2$, donde el exponente en este caso hace referencia a la dimensión.

Notemos ahora que los puntos de una recta $l_1$ contenida en el plano ($l_1 \in \mathbb{E}^2$) representan a los números reales ($\mathbb{R}$) y que se vale lo contrario también (los reales pueden ser representados por una recta dentro de $\mathbb{E}^2$). Para ello, escogemos un punto $ O \in l_1$ al que denotaremos como origen y le asignaremos el valor real cero. Para que sea tangible la representación de los reales con esta recta, designamos que del lado derecho de $O$ se tienen los números positivos de acuerdo con su distancia al origen y del lado izquierdo los negativos. Así, a cada número real $x$ se le asocia un punto $P \in l_1$ (y a cada punto en $l_1$ le corresponde un número real).

El siguiente paso consiste en construir otra recta, digamos $l_2$, que también pase por $O$ y algún otro punto $Q$ (nótese que $l_1$ y $l_2$ fueron construidas utilizando los postulados 1 y 3 de Euclides). Orientemos a $l_2$ de la misma manera que a $l_1$ para que sus puntos representen a los números reales. Entonces, se tiene la correspondencia biunívoca entre puntos en $ \mathbb{E}^2$ y parejas de números reales gracias al postulado 5.a:

  • De punto en el plano a pareja de números: Existe una única recta $l_1’$ que pasa por $P$ y es paralela a $l_1$; análogamente existe una única recta $l_2’$ que pasa por $P$ y es paralela a $l_2$. Las intersecciones de las rectas $l_1 \cap l_2’$ y $l_2 \cap l_1’$ determinan los puntos $p_1 \in l_1$ y $q_1 \in l_2$ que definen dos números reales $x$ y $y$; esto es, una pareja ordenada $(x,y)$.
  • De pareja de números a punto en el plano: Para esta correspondencia se hace la construcción inversa, dada una pareja de números $(x,y)$, consideremos a $p_1 \in l_1$ como el punto sobre $l_1$ que se encuentra a distancia $x$ del origen y a $q_1 \in l_2$ como el punto a distancia $y$ de $O$. Sea $l_1’$ la recta que pasa por $q_1$ paralela a $l_1$ y sea $l_2’$ la recta que pasa por $p_1$ paralela a $l_2$; la intersección $l_1′ \cap l_2’$ es el punto $A$ que corresponde a la pareja $(x,y)$.

En el siguiente interactivo puedes jugar con la segunda parte de la construcción. Da clic para que se active y luego mueve los deslizadores para cambiar los valores de $X$ y $Y$. Al elegirlos, se realizará la construcción del punto $A$ de manera automática.

Así, hemos definido un sistema de coordenadas al elegir un punto $O$ (que corresponde al origen), una línea que conecta a este con un punto $P$ y otra línea que conecta a $O$ con un punto $Q$ (puntos distintos entre ellos) y al establecer las convenciones de signo.

La construcción que hicimos es muy general, y para nuestros propósitos será mejor centrarnos en el caso en el que las rectas $l_1$ y $l_2$ son ortogonales (forman un ángulo de 90°). Tradicionalmente, $l_1$ es conocida como el eje x y suele ser una línea horizontal cuya dirección positiva está hacia la derecha; $l_2$ (vertical y con dirección positiva hacia arriba) es conocida como el eje y. Este caso particular es conocido como los ejes cartesianos canónicos.

Plano cartesiano en 2 dimensiones.

Si resumimos lo que hemos desarrollado hasta ahora tenemos que, al fijar los ejes coordenados, a cada pareja de números $(x,y)$ le corresponde un punto $\textbf{a} \in \mathbb{E}^2$; además, esta relación también se vale en el otro sentido, por lo que podemos escribir que $\textbf{a}=(x,y)$. A este punto (o par de coordenadas) se le puede asignar una flecha (recta con dirección conocido como vector) que parte del origen y termina en el punto.

En el siguiente interactivo, puedes mover el punto $C$ para ver cómo cambia la flecha que une al origen con $C$.

Para concluir esta entrada, notemos que el procedimiento realizado lo podemos repetir para $n$ líneas; si bien en esta entrada construimos un sistema coordenado con $l_1$ y $l_2$, podemos agregar una $l_3$ que pase por el origen y que sea perpendicular a las otras dos líneas para llevar el plano al espacio (tri-dimensional).

Plano cartesiano en 3 dimensiones.

Más adelante…

En esta entrada construimos el puente entre el espacio descrito por Euclides y el álgebra que implementó Descartes obteniendo entonces el plano cartesiano en dos dimensiones. Esto servirá como base durante todo el curso y en especial para la siguiente entrada en la cual se hablará del espacio vectorial $\mathbb{R}^2$.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

  • Demuestra (no muy formalmente) la equivalencia entre el postulado 5, 5.a y 5.b. Sugerencia: Hazlo meramente con dibujos, intenta llegar de la representación de un postulado al otro de manera gráfica.
  • Ubica en el plano cartesiano de dos dimensiones los siguientes puntos:
    • $(2,3)$, $(7,1)$, $(5,10)$
    • $(-1,-5)$, $(-6,-2)$, $(-5,-8)$
    • $(-2,7)$, $(-5,4)$, $(-2,7)$
    • $(4,-3)$, $(2,-1)$, $(4,-5)$
      ¿Notas algún patrón entre los vectores de cada renglón relacionado a dónde quedan con respecto al eje $x$ y al eje $y$?
  • A partir del ejercicio anterior, identifica los cuadrantes (regiones del plano cartesiano divididas por los ejes) en los que las parejas de números tienen signos determinados: $(+,+)$, $(-,-)$, $(-,+)$, $(+,-)$.
  • ¿Cómo son los puntos $(x,y)$ en el plano cartesiano que cumplen que $x=1$? ¿Aquellos que cumplen $y=2$? ¿Y si $y<3$? ¿Y si $1\leq x < 5$?
  • Describe cómo sería la construcción del plano cartesiano de tres dimensiones siguiendo el procedimiento visto en esta entrada.