Mate
Para razonar y comprender
Categoría: Geometría Euclidiana
-
Definición Un triángulo △ABC se llama isósceles si tiene al menos dos lados congruentes. Por ejemplo: Elementos clave: Vértice principal: El vértice común a los dos lados congruentes (en el caso AC ≅ BC, el vértice principal es C). Base: El lado no congruente (en el caso AC ≅ BC), la base es AB. Ángulos…
-
Congruencia de Triángulos En Geometría, la congruencia de triángulos se define mediante la congruencia de sus lados y ángulos correspondientes, utilizando los axiomas de congruencia (III1-III7). Aquí está la construcción rigurosa: Definición Formal Dos triángulos △ABC y △A’B’C’ son congruentes si y solo si se cumplen las siguientes seis condiciones: Lados correspondientes congruentes: Ángulos correspondientes…
-
Definición de Triángulo en la Geometría Un triángulo es una figura geométrica básica construida a partir de segmentos y puntos no alineados. Aquí está su definición formal y propiedades derivadas: Definición Formal Dados tres puntos no alineados A, B, y C, el triángulo △ ABC es la unión de los tres segmentos que los conectan:…
-
Congruencia de Segmentos Axioma III.1 (Transporte de un segmento) Dado un segmento AB y un punto A’ origen de una semirrecta s, existe un punto B’ en la semirrecta de tal manera que: Axioma III.2 La congruencia de segmentos es una relación de equivalencia. Propiedad reflexiva: todo segmento es congruente consigo mismo. Propiedad simétrica: si…
-
Un ángulo se define como una figura geométrica específica formada por la unión de dos semirrectas (o rayos) que comparten un origen común pero no son colineales. Aquí presentamos la definición rigurosa, sus componentes clave y su base en los axiomas: Definición Formal Dados tres puntos no alineados A, O, B, el ángulo ∠AOB es…
-
En el sistema axiomático de Hilbert, un semiplano es una de las dos regiones convexas en las que una recta divide a un plano. Su definición precisa se basa en los axiomas de orden y el Teorema de Separación del Plano. Aquí está la construcción rigurosa. Definición Formal Dada una recta r en un plano…
-
En el sistema axiomático de Hilbert, una semirrecta se define a partir de los axiomas de orden y el concepto primitivo «estar entre» (A-B-C). Definición Formal Dados dos puntos distintos O (origen) y A, la semirrecta de origen O que pasa por A es el conjunto de puntos formado por: El origen O. El punto…
-
La definición de segmento se construye a partir de los axiomas de orden y la relación primitiva «estar entre» (A – B – C). Aquí está la definición precisa: Definición Formal Dados dos puntos distintos A y B, el segmento de extremos A y B es el conjunto formado por: Los puntos A y B…
-
Definiremos en principio figura, figura convexa y figura cóncava para proporcionar un marco general y luego introducir conceptos específicos como segmentos, triángulos o polígonos. Aquí está la formalización rigurosa, alineada con el sistema de Hilbert y adaptada a un enfoque pedagógico claro: Definición de Figura En la geometría axiomática de Hilbert, una figura es: Cualquier…
-
Los axiomas de orden son fundamentales para estructurar rigurosamente la geometría euclidiana. Su relevancia se manifiesta en múltiples aspectos: Establecen una Estructura de Orden en las Rectas Definen «entre»: Permiten formalizar la idea intuitiva de que un punto separa a otros dos en una recta. Ejemplo: Sin estos axiomas, no podríamos decir que B está…
