UNIVERSIDAD TECNOLOGICA DE SANTIAGO (UTESA)

Sistema Corporativo

Recinto Dajabón

Presentado por:

Nieve R. Aguilera 1-20-9544

Asignatura:

Geometría 1

Tema:

LA GEOMETRÍA DE EUCLIDES HOY.

Facilitador/a:

Francisco Antonio Solano Pérez M.A

Fecha de entrega:

23/10/2020
 LAS PRIMERAS DEFINICIONES Y LOS PRIMEROS POSTULADOS.
Los Elementos, empezando por afirmar que el método seguido por Euclides se basa en la utilización
de cadenas deductivas que obtienen nuevos elementos a partir de otros anteriores. Puesto que no se
puede retroceder infinitamente en la búsqueda de elementos anteriores, en un momento
determinado hay que establecer unos que serán los principios fundamentales de la teoría, en este
punto el geómetra alejandrino retomó las ideas de Aristóteles y que en los Elementos corresponden
a los postulados y nociones comunes, pero previamente a la selección de los postulados y nociones
comunes, se han establecido unas definiciones básicas de los objetos geométricos involucrados a lo
largo de toda la teoría a desarrollar.

En los Elementos de Euclides, se observa que, una vez concluida la redacción de los postulados y
nociones comunes, sin más preámbulos vienen las 48 proposiciones del libro I. Una proposición
prueba que se verifica una determinada propiedad o que se puede realizar cierta construcción
utilizando únicamente las definiciones, los postulados, nociones comunes y proposiciones anteriores
que ya han sido debidamente demostradas.

Tomando como ejemplo concreto la primera proposición del libro I de los Elementos, es pertinente
recordar la estructura de las demostraciones o pruebas euclidianas:

-Enunciado: frase en la que se declara lo que se quiere demostrar o lo que se quiere construir.

-Exposición: apartado en el que se concretan los datos del enunciado en un dibujo o se exponen los

objetos que van a intervenir en los pasos posteriores.

-Especificación: frase en la que se concretan las condiciones que deben cumplir los datos del
enunciado.

-Construcción: parte en la que se completa el dibujo añadiéndole las líneas o circunferencias que se
necesiten para poder demostrar la afirmación del enunciado.

-Prueba: apartado dedicado a justificar los pasos lógicos necesarios para deducir la tesis buscada o
para construir la figura deseada a partir de los resultados anteriores.

-Conclusión: último párrafo de la proposición. En él se repite la parte del enunciado que indica lo que
se quería lograr y se termina diciendo “Que es lo que se quería demostrar” (Q.E.D. por sus siglas en
latín) en los teoremas y “Que es lo que había que hacer (Q.E.F. por sus siglas en latín-) en el caso de
los problemas.

Algunas de las definiciones:

Definición 1. Un punto es lo que no tiene partes.

Definición 2. Una línea es una longitud sin anchura.

Definición 3. Los extremos de una línea son puntos.

Definición 4. Una recta es una línea que yace llanamente sobre sus puntos.

Definición 5. Una superficie es la que sólo tiene longitud y anchura.

Definición 10. Cuando una recta corta a otra formando ángulos adyacentes

iguales, cada uno de los ángulos iguales se llama ángulo recto, y la recta que se eleva sobre la otra se
llama perpendicular a ésta.
Definición 15. Un círculo es una figura plana rodeada por una línea tal que todas las rectas que inciden
sobre ella desde un cierto punto interior a la figura son iguales entre sí.

Definición 23. Rectas paralelas son aquellas que, estando en el mismo plano, no se encuentran cuando
se prolongan indefinidamente en ambas direcciones.

Los postulados de Euclides hacen referencia al tratado denominado Los Elementos, escrito por
Euclides hacia el año 300 a. C., exponiendo los conocimientos geométricos de la Grecia clásica
deduciéndolos a partir de cinco postulados, considerados los más evidentes y sencillos.

Un postulado es una proposición no evidente por sí misma, ni demostradas, pero, que se acepta, ya
que no existe otro principio del que pueda ser deducida.

➢ Los postulados de Los Elementos son:

1-Dos puntos distintos cualesquiera determinan un segmento de recta. "Una recta

puede trazarse desde un punto cualquiera hasta otro punto ":

2-Un segmento de recta se puede extender indefinidamente en una línea recta. "Un segmento de
recta puede prolongarse por cualquiera de sus extremos, convirtiéndose en una recta ".

3-Se puede trazar una circunferencia dados un centro y un radio cualquiera. "Una circunferencia
puede describirse con un centro y una ".

4-Todos los ángulos rectos son iguales entre sí.

5-Postulado de las paralelas. Si una línea recta corta a otras dos, de tal manera que la suma de los dos
ángulos interiores del mismo lado sea menor que dos rectos, las otras dos rectas se cortan, al
prolongarlas, por el lado en el que están los ángulos menores que dos rectos. Si una línea recta corta
a dos rectas de modo que esta forme ángulos interiores menores a dos rectos (180º), dichas rectas se
encontrarán.

Aplicación 1: se utilizó la geometría euclidiana en la astronomía y cartografía, tratando de determinar

las posiciones de las estrellas y planetas en la esfera celeste, sirvió como importante fuente de
resolución de problemas de geometría.

Aplicación 2: del postulado 1, Un segmento, en geometría, es un fragmento de recta que está

comprendido entre dos puntos, llamados puntos extremos o finales. Así, dado dos puntos A y B, se le
llama segmento AB a la intersección de la semirrecta de origen A que contiene al punto B con la
semirrecta de origen B que contiene al punto A. Los puntos A y B son extremos del segmento y los
puntos sobre la recta a la que pertenece el segmento. (Segmento AB)

A B

LOS POSTULADOS DE LA LÍNEA Y EL POSTULADO DE LA DISTANCIA.

➢ Los postulados de la linea
Postulado de la recta 1: existen infinitos punto, infinitas rectas e infinitos planos.

Postulado de la recta 2: todo punto pertenece a infinitas rectas.

Postulado de la recta 3: toda recta esta incluida en infinitos planos, ya que por ser una recta pasan
infinitos planos.

Postulado de la recta 4: dos puntos determinan una y solo una recta a la cual pertenecen.

Postulado de la recta 5: A una recta pertenecen infinitos puntos, y existen infinitos puntos que no
pertenecen a ellas.
Postulado de la recta 6: una recta y un punto fuera de ella determinan un plano de modo que un
punto pertenece al mismo y la recta esta incluida en el.

Postulado de la recta 7: La recta determinada por dos puntos de un plano esta incluida a dicho plano.

Postulado de la recta 8: a un plano pertenecen infinitos puntos y existen también infinitos puntos que
no pertenecen a ella.

➢ Postulado de la distancia: si P y Q son dos puntos, entonces existe un numero real

denominado distancia entre P y Q y que se denota d (Py Q), tal que:
a) d (P, Q) menor o igual a 0, para todo p, Q, pertenece a cuantificador existencial.
b) d (P, Q): 0 si y solo si P es Q.
c) d (P, Q): d (Q, P), para todo p, Q pertenece al cuantificador existencial.
d) (Desigualdad triangular) d (P, S) menor o igual a d (P, Q) + d (Q, S) para todo P, Q, S, pertenece
al cuantificador existencial.

d (P, S)

d (P, Q)

d (Q, S)

Postulado de la distancia

A cada par de puntos diferentes corresponde un número positivo único.

Definición: La distancia entre dos puntos es el número obtenido mediante el postulado de la distancia.
Si los puntos P y Q entonces indicamos la distancia por PQ.

Aplicación 1: postulado de la recta 1, dada una recta BC, se comprueba, que existen infinitos puntos
contenidos dentro de ella.

B C

Aplicación 2: postulado de le recta 2, dado un punto P, pasan infinitas rectas.

➢ LOS AXIOMAS DE HILBERT-BIRKHOFF.

Los axiomas de Hilbert son un conjunto de 20 (originalmente 21) hipótesis propuestas por David
Hilbert en 1899 como el fundamento para un tratamiento moderno de la geometría euclídea. El
sistema axiomático de Hilbert se compone de nueve nociones primitivas: Tres términos primitivos:
punto, línea recta, plano; y seis relaciones primitivas: Orden, una relación ternaria entre puntos;
Pertenencia, tres relaciones binarias, una de ellas entre puntos y rectas, otra entre puntos y planos, y
otra entre rectas y planos; Congruencia, dos relaciones binarias, una entre segmentos y otra entre
ángulos, denotadas por la aproximación en igualdad.

I. Combinación

1-Dos puntos distintos A y B determinan una única recta: a. Denotamos AB=a o BA=a. En lugar de
"determinan", puede decirse: " A está en a", " A es un punto de a", " a pasa por A y B", " a une A con
B", etc. Si A está en a y al mismo tiempo en otra recta b, se dice también "las rectas a y b tienen el
punto A en común".

2-Dos puntos cualesquiera de una recta la determinan por completo; es decir, si AB=a y AC=a, donde
en general B +C, entonces BC=a, a su vez.

3-Tres puntos A, B y C no situados en una misma recta determinan un plano Alpha. Se denota
ABC=Alpha y se dice " A, B y C yacen en Alpha ", etc.

4-Tres puntos cualesquiera A, B y C del plano Alpha no situados en una misma recta determinan por
completo a Alpha.

5-Si dos puntos A, B de la recta a yacen en el plano Alpha, entonces todo punto de} a yace en Alpha.
En tal caso se dice "la recta a yace en el plano Alpha ", etc.

6-Si dos planos Alpha, beta tienen un punto A en común, entonces tienen al menos otro punto B en
común.

7-En cada recta hay al menos dos puntos; en cada plano hay al menos tres puntos no situados en la
misma recta; y existen al menos cuatro puntos no situados en un mismo plano.

II. Orden

1-Si un punto B está entre los puntos A y C, también está entonces entre C y A, y existe una recta que
contiene a los tres.

2-Si A y C son dos puntos de una recta, existe al menos otro punto B entre A y C, y al menos un punto
D de tal manera que C está entre A y D.

3-Dados tres puntos en una recta, solo uno de ellos está entre los otros dos.

Dada una pareja de puntos A y B, puede hablarse entonces del segmento AB. Los puntos del segmento
AB son todos aquellos que están entre A y B. Estos dos son los extremos del segmento.

4-Axioma de Pasch: Sean A, B y C tres puntos no situados en la misma recta y sea a una recta contenida
en el plano ABC, que no pasa por ninguno de los tres puntos mencionados. Entonces, si a pasa por
algún punto del segmento AB, entonces pasa también por algún punto o bien del segmento BC o bien
del segmento AC.

IV. Congruencia

Se define un ángulo como una pareja de semirrectas a menor (h, k)} yaciendo en un plano Alpha que
emanan del mismo punto O. Se demuestra que puede dividirse entonces el plano en dos regiones: el
interior y el exterior de menor (h, k)}, donde h y k son los lados del ángulo y O su vértice. El segmento
entre dos puntos cualesquiera del interior está contenido por completo en dicha región. Esto no se
cumple para una pareja de puntos cualesquiera en el exterior..........
Un triángulo queda definido por tres segmentos de la forma AB, BC} y CA. Dichos segmentos son los
lados del triángulo, y los tres puntos A, B y C son sus vértices. El triángulo divide el plano definido por
sus tres vértices en interior y exterior, con las mismas propiedades que en caso de los ángulos. Al
ángulo definido por las dos semirrectas que salen de A y que pasan por B y C respectivamente se le
denota por BAC, y su interior contiene todos los puntos del interior del triángulo ABC.

➢ Los axiomas de BIRKHOFF.

En 1932, G. D. Birkhoff creó un conjunto de cuatro postulados de geometría euclidiana en el plano, a

veces conocidos como axiomas de Birkhoff. [1] Estos postulados se basan en geometría básica que se
puede confirmar experimentalmente con una escala y transportador. Dado que los postulados se
basan en los números reales, el enfoque es similar a una introducción basada en el modelo la
geometría euclidiana.

La distancia entre dos puntos A y B se denota por d (A, B), y el ángulo formado por tres puntos A, B, C
se denota por ∠ ABC.

1-Postulado I: Postulado de medida de línea. El conjunto de puntos A, B, ... en cualquier línea se puede
poner en una correspondencia de 1:1 con los números reales, a, b, ... b a d (A, B) para todos los puntos
A y B.

2-Postulado II: Postulado de línea de punto. Hay una y sólo una línea l que contiene cualquiera de los
dos puntos distintos P y Q.

3-Postulado III: Postulado de medida angular. El conjunto de rayos l, m, n, ... a través de cualquier
punto O se puede poner en la correspondencia 1:1 con los números reales a (mod 2π) de modo que
si A y B son puntos (no iguales a O) de l y m, respectivamente, la diferencia am a l (mod 2o) de los
números asociados con las líneas l y m es ∠ AOB. Además, si el punto B en m varía continuamente en
una línea r que no contiene el vértice O, el número am también varía continuamente.

4-Postulado IV: Postulado de similitud. Dados dos triángulos ABC y A'B'C' y algunos constantes k > 0
de tal manera que d(A', B' ) á kd(A, B), d(A', C' ) á kd(A, C) y ∠ B'A'C' - ±∠ BAC, a continuación d ( B', C'
) á kd(B, C), ∠ C'B'A' - ±∠ CBA, y ∠ A'C'B ±∠' .

Aplicación 1: axioma de Hilbert de combinación, dos puntos distintos, describen una única recta

A B

Aplicación 2: Axioma de orden, si un punto B, esta entre los puntos A y C, entonces también esta entre
los puntos C y A, y existe una recta que contiene a los tres.

A B c

➢ ESPACIO MÉTRICO.

En matemáticas, un espacio métrico es un conjunto junto con una métrica en el conjunto. La métrica
es una función que define un concepto de distancia entre dos miembros del conjunto, que
generalmente se denominan puntos. La métrica satisface algunas propiedades simples.
Informalmente: la distancia de a es cero si y solo si y son el mismo punto, la distancia entre dos puntos
distintos es positiva, la distancia de a es la misma que la distancia de a, y la distancia desde hasta
(directamente) es menor o igual a la distancia desde hasta vía cualquier tercer punto. Una métrica en
un espacio induce propiedades topológicas como conjuntos abiertos y cerrados, que llevan al estudio
de espacios topológicos más abstractos. El espacio métrico más familiar es el espacio euclidiano
tridimensional. De hecho, una "métrica" es la generalización de la métrica euclidiana que surge de las
cuatro propiedades conocidas de la distancia euclidiana. La métrica euclidiana define la distancia entre
dos puntos como la longitud del segmento de línea recta que los conecta.

Un espacio métrico es un par ordenado, donde es un conjunto y es una métrica en, es decir, una
función Espacio métrico – (M, d) MdM; d: (M)(M)- R

Ejemplos de espacios métricos

1- Los números reales con la función de distancia propuesta por la diferencia absoluta, y, más
generalmente, euclidiano n -espacio con la distancia euclídea, son completos espacios métricos.
2- Los números racionales con la misma función de distancia también forman un espacio métrico,
pero no completo, d (x, y): y-x.

Aplicación 1: el espacio métrico ocurre en la geometría elíptica, donde la distancia en una esfera
medida por el ángulo es una métrica.

Aplicación 2: el espacio métrico ocurre en la geometría hiperbólica, en donde se utiliza el modelo de

geometría hiperbólica por la relatividad especial como un espacio métrico de velocidades.

➢ LA DISTANCIA EUCLÍDEA ES UNA MÉTRICA.

Distancia euclídea. En matemáticas, álgebra, geometría y, más específicamente, en análisis real,

análisis complejo y geometría analítica, se trata de una función no negativa usada en diversos
contextos para calcular la distancia entre dos puntos, primero en el plano y luego en el espacio.
También sirve para definir la distancia entre dos puntos en otros tipos de espacios de tres o más
dimensiones. Y para hallar la longitud de un segmento definido por dos puntos de una recta, del plano
o de espacios de mayor dimensión. De manera general la métrica euclidiana entre dos puntos se
define como: la longitud del segmento de recta que une a dichos puntos.

La distancia o métrica euclidiana (en su caso general de N dimensiones) satisface las condiciones
necesarias para ser catalogada como una métrica en términos estrictamente matemáticos que serían:

1-d (A, B) mayor o igual 0.

2-d (A, B) =d (B, A). Llamada propiedad simétrica [1]

3-d (A, A) =0.

4-d (A, B) mayor d (A, C) + d (C, B). Llamada propiedad de la desigualdad triangular. [2]

5-Si d (A, B) =0, entonces A=B.

Aplicación 1: En el plano cartesiano sean los puntos A: (XA, YA) se define la distancia euclidiana entre
dichos puntos por:

d (A, B): (XB - XA)2 +(YB - YA)2

Aplicación 2: en el espacio, sean los puntos A: (XA, YA, ZA) y B: (XB, YB, ZB), se define la distancia
euclidiana mediante la expresión:

D (A, B):

(XB - XA)2 + (YB - YA)2 + (ZB - ZA)2

➢ LA GEOMETRÍA DE EUCLIDES MODERNA SE HACE SOBRE LA MÉTRICA EUCLÍDEA

Los Elementos de Euclides fueron por mucho tiempo modelo de la teoría matemática deductiva y los
postulados de los Elementos fueron considerados verdades universales del espacio físico durante
muchos siglos, hasta el surgimiento de las geometrías no euclidianas. Tuvieron que pasar muchos
siglos para que el carácter de la axiomatización evolucionara.

En la matemática moderna, la verdad de los resultados en el mundo real no es relevante, lo importante

es si son consistentes y si la teoría en cuestión se puede deducir a partir de los postulados. En el caso
de la fundamentación de la geometría, tuvieron que pasar más de veinte siglos y una gran
transformación de las matemáticas para que se desarrollara una nueva axiomática para la geometría
euclidiana, que retomó la axiomática de Euclides y utilizó los nuevos conceptos y áreas desarrolladas.

Entre los axiomas que se introducen en la Fundamentación de la Geometría de Hilbert están los de
congruencia, en particular la proposición 4 de Euclides, los de orden y los de continuidad. Con la
Fundamentación de la Geometría de Hilbert, las demostraciones se vuelven menos dependientes de
las figuras y se puede asegurar las condiciones en las que se intersecan las rectas y las circunferencias
(en otras palabras, las rectas y las circunferencias son continuas, no tienen agujeros).

Se tomarán como elementos de partida en cinco grupos.

1. Las propiedades generales que forman parte de los postulados y del libro 1 de Euclides:

a) los 5 postulados de Euclides,

b) la proposición 2: “(Es posible) colocar a partir de un punto dado (como extremo) una recta igual a
otra dada”.

c) las propiedades de congruencia de triángulos (proposiciones 4, 8 y 26),

d) la desigualdad del triángulo (proposición 20): Dado un triángulo, la suma

de cualesquiera dos lados es mayor que el tercero,

e) las proposiciones 13 y 14: “Si dos rectas se cortan forman ángulos adyacentes rectos o que suman
dos rectos” y “Si dos ángulos adyacentes suman dos ángulos rectos, los lados no adyacentes de los
ángulos son colineales”,

f) proposición 15: “Dos rectas que se cortan una a la otra producen ángulos opuestos iguales”.

2. Las propiedades del libro I relacionadas con las paralelas. Cabe mencionar que Euclides no utilizó
el V postulado para demostrar las primeras 28 proposiciones y es hasta la demostración de la
proposición 29 que lo utiliza.

a) proposición 27: “Si una recta al cortar dos rectas hace ángulos alternos internos iguales entre sí,
entonces tales rectas serán paralelas entre sí”.
c) proposición 29: “Una recta al cortar dos rectas paralelas hace los ángulos alternos internos iguales
entre sí, el ángulo externo igual al ángulo interno y opuesto del mismo lado, y la suma de los dos
ángulos internos del mismo lado igual a dos ángulos rectos”.

3. Las propiedades relativas a la intersección de rectas y círculos bajo ciertas condiciones, derivadas
de la continuidad de las rectas y las circunferencias:

a) Sean A, B y C tres puntos no colineales y m una recta que no pasa por ninguno de estos tres puntos,
si m corta el lado BC del triángulo entonces corta al lado AB o al lado AC (Axioma de Pasch).

b) Cualquier punto P en una recta m divide la recta en dos semirrectas ajenas; si Q y R son dos puntos,
uno en cada semirrecta, decimos que el punto P está entre Q y R.

Una de las formas en que los matemáticos de la era moderna han extendido la geometría más allá de
la heredada por los griegos ha sido el descubrimiento de muchas nuevas proposiciones relacionadas
con a circunferencias y las figuras rectilíneas, deducidas de las enumeradas en los elementos de
Euclides. Este tema se conoce como geometría moderna elemental, y constituye una continuación o
extensión de los elementos de Euclides.

Aplicación 1: la aplicación de la geometría euclídea moderna se aplica en el área de estudio de la

ingeniería civil está en el diseño y análisis de las estructuras que soportan cargas, como ediciones,
maquinas y vehículos. Otras aplicaciones en esta área es la geometría analítica en las estructuras.

Aplicación 2: la geometría euclídea moderna se aplica en la ingeniería industrial, tiene aplicaciones en

la técnica de distribución en las plantas. La adecuada utilización geométrica coligada a los costos
asociados en cada proceso optimiza el trafico de materiales en los pasillos.

➢ LOS CONCEPTOS DE entre, PUNTO MEDIO, semirrecta o rayo, existencia y unicidad.

Entre: expresa el estado intermedio, o la posición en la que se encuentran dos objetos, por ejemplo,
el punto B en la recta se encuentra entre los puntos B Y C

Punto medio: Punto medio en matemática, es el punto que se encuentra a la misma distancia de otros
dos puntos cualquiera o extremos de un segmento. Más generalmente punto equidistante en
matemática, es el punto que se encuentra a la misma distancia de dos elementos geométricos, ya sean
puntos, segmentos, rectas, etc.

Si es un segmento, el punto medio es el que lo divide en dos partes iguales. En ese caso, el punto
medio es único y equidista de los extremos del segmento. Por cumplir esta última condición,
pertenece a la mediatriz del segmento.

Semirrecta o rayo: el concepto de semirrecta se utiliza en geometría para identificar a cada uno de
los fragmentos en que toda recta puede ser dividida por cualquiera de los puntos que la componen.
La semirrecta, por lo tanto, puede presentarse como la porción de una línea recta que está compuesta
por todos los puntos que se localizan hacia uno de los costados de un determinado punto fijo que se
toma como referencia: esto quiere decir que una semirrecta tiene un origen (el punto que le da inicio)
pero se extiende hacia el infinito.

Existencia y unicidad: El teorema de existencia y unicidad establece las condiciones necesarias y

suficientes para que una ecuación diferencial de primer orden, con condición inicial dada, tenga una
solución y que además dicha solución sea la única.
El enunciado formal del teorema de existencia y unicidad es el siguiente:

“Para una ecuación diferencial y’(x) = f (x, y) con condición inicial y(a) = b, existe al menos una solución
en una región rectangular del plano XY que contiene al punto (a, b), si f (x, y) es continua en dicha
región. Y si la derivada parcial de f respecto de y: g = ∂f/ ∂y es continua en esa misma región
rectangular, entonces la solución es única en un entorno del del punto (a, b) contenido en la región
de continuidad de f y g.”

Unicidad: En matemáticas, el concepto de unicidad es importante se refiere a la unicidad de la solución

de un problema matemático. En ese tipo de contextos es frecuente que exista un teorema de unicidad
que pruebe que existe una y solo una solución, este tipo de teoremas siempre usa la misma idea básica
presupone que existen dos soluciones S1 y S2 y de las propiedades que debe tener una solución
concluye que necesariamente S1 = S2.

Aplicación 1: aplicación de la semirrecta, se utiliza en geometría para dividir fragmentos de una recta

Aplicación 2: Aplicación de la existencia y unicidad. Consideremos la siguiente ecuación diferencial

con una condición inicial: y’(x) = – y; con y (1) =3

En primer lugar, se evalúa la existencia de la solución de la ecuación diferencial y que además que
cumpla la condición inicial. En este ejemplo f (x, y) = – y la condición de existencia requiere saber si f
(x, y) es continua en una región del plano XY que contenga al punto de coordenadas x=1, y=3. Pero f
(x, y) =-y es la función afín, que es continua en el dominio de los números reales y existe en todo el
rango de los números reales. Por lo tanto, se concluye que f (x, y) es continua en R2, por lo que el
teorema garantiza la existencia de al menos una solución. Sabiendo esto, toca evaluar si la solución es
única o si por el contrario hay más de una. Para esto es necesario calcular la derivada parcial de f
respecto de la variable y:

∂f/∂y = ∂(-y) /∂y = -1

Entonces g (x, y) = -1 que es una función constante, que también está definida para todo R2 y además
es continua allí. Se sigue que el teorema de existencia y unicidad garantiza que este problema de valor
inicial sí tiene una solución única, aunque no nos dice cuál es.

Bibliografía:

EUCLIDES. Elementos. Libro I. Traducción al español de M.ª. Puertas (1991). Ed. Gredos. Madrid.

• LABORDE, C. (2001). “Dynamic geometry environments as a source of rich learning contexts for

complex activity of proving”. Educational Studies in Mathematics, 44, 151-161.

• MARIOTTI, A. (2001). Introduction to proof: the mediation of a dynamic software environment.

. RADFORD, L. (1994). “La Enseñanza de la demostración: Aspectos teóricos y prácticos”. En Revista

Educación Matemática, Vol. 6. Nº3. México.