Completitud en Los Numeros Reales - Jhon Tovar Gil

Un acercamiento al concepto y completitud
de los nmeros reales

Lic. John Edinson Tovar Gil

Universidad Nacional de Colombia
Facultad de Ciencias,
Bogot, Colombia
2011
Un acercamiento al concepto y completitud

Lic. John Edinson Tovar Gil

Tesis presentada(o) como requisito parcial para optar el ttulo de:
Magister en Enseanza de las Ciencias Exactas y Naturales

Director (a):
Ph. D Leonardo Rendn Arbelez

Universidad Nacional de Colombia
Facultad de Ciencias,
Bogot, Colombia
2011

Eudoxo est en la cumbre de las matemticas
griegas por haber encontrado el primer mtodo
lgicamente satisfactorio, que Euclides ha
reproducido en el Libro V de sus Elementos, para
resolver los problemas de la continuidad, los
enigmas del infinito y los ddalos de los nmeros
irracionales.
E. BELL. Los grandes matemticos. Payot, Pars,
1950

No s lo que parecer a los ojos del mundo, pero
a los mos es como si hubiese sido un muchacho
que juega en la orilla del mar y se divierte de
tanto en tanto encontrando un guijarro ms
pulido o una concha ms hermosa, mientras el
inmenso ocano de la verdad se extenda,
inexplorado frente a m.
Isaac Newton (1642-1727) Fsico y matemtico
ingls.

Intentar significa arriesgar, arriesgar significa
probablemente perder, perder significa aprender,
aprender significa siempre ganar.
Annimo.

A mis padres

Agradecimientos
A la Universidad Nacional de Colombia, por brindar una maestra en enseanza de las
ciencias exactas que fundament y agudiz mi formacin profesional.

A mi director de tesis, Ph Leonardo Rendn, por el tiempo prestado, sus correcciones y
profundos aportes en el diseo de la tesis.

Al profesor, Crescencio Huertas, por sus observaciones, aclaraciones y orientaciones en la
consolidacin del aspecto didctico de esta tesis.

A mis compaeros de estudio, especialmente a Oscar Vidal, que con su compaa estuve
siempre al frente y en una lucha constante por lograr nuestro objetivo.

A mis padres, mis primeros maestros, quienes dieron la esencia de mi personalidad.

A mi hermano y hermana, porque para ellos he querido ser un ejemplo a seguir.

A una maravillosa mujer, Alejandra Trujillo, que con su amor, paciencia y apoyo moral
supieron equilibrar mi estado de nimo.

Y a todas las personas que participaron de alguna manera en esta pequea estada de mi
vida y colaboraron en la culminacin de este entretenido trabajo.

Resumen y Abstract VI

Resumen
En este trabajo se presenta una Unidad Didctica para dar un acercamiento al concepto y
la continuidad del conjunto de los nmeros reales. Esta propuesta se apoya de un
estudio histrico y disciplinar que relaciona propiedades fundamentales de Q, R y la
Lnea recta, as como sus diversas representaciones. La Unidad Didctica presenta los
conocimientos, estndares bsicos, metodologa, recursos materiales, la evaluacin y las
actividades a desarrollar.

- Palabras clave: Nmeros reales, continuidad de la recta, completitud,
fundamentos matemticos, representacin, didctica.

Abstract

In this project is shown a didactic unit in order to give a close concept and continuity of
the set of real numbers. This proposal is supported by a historical and discipline study
that relates fundamental properties of Q, R, line and its several representations. The
didactic unit shows the knowledge, standards, methodology, materials resources,
evaluations and activities to develop.

- Keywords: real numbers, continuity of the line, completeness, mathematical
foundations, representation, didactic.

Contenido VII

Contenido

Resumen ...................................................................................................................................... VI
Lista de figuras ............................................................................................................................. IX
Lista de tablas ............................................................................................................................... X
Introduccin ................................................................................................................................. 1
1. Identificacin Del Problema Didctico ...................................................................................... 3
1.1 Objetivo general ................................................................................................................. 4
1.2 Objetivos especficos .......................................................................................................... 4
2. Aspectos histricos y disciplinar ............................................................................................... 5
2.1 Anlisis histrico-epistemolgico de la nocin de continuidad de los nmeros reales ......... 5
2.2. Anlisis de problemas que condujeron al descubrimiento de la inconmensurabilidad entre
magnitudes y los mtodos numricos, geomtricos y algebraicos usados para su tratamiento .. 8
2.3 El significado de proporcin de Eudoxio de Cnido ............................................................. 14
2.4 Construcciones con regla y comps: nmeros construibles ............................................... 17
2.5 Aproximacin a los irracionales por medio de fracciones continas y fracciones decimales
............................................................................................................................................... 22
2.6 George cantor: construccin del nmero real por encajes de intervalos: interpretacin ... 26
2.7 Richard Dedekind: construccin: la continuidad y los nmeros irracionales ..................... 28
3. Aspectos didcticos ................................................................................................................ 35
3.1 Propuesta didctica .......................................................................................................... 37
3.1.1 Contenidos o conocimientos ...................................................................................... 37
3.1.2 Estndares bsicos ..................................................................................................... 39
3.1.3 Metodologa .............................................................................................................. 39
3.1.4 Recursos materiales ................................................................................................... 40
3.1.5 Evaluacin ................................................................................................................. 40
contenido VIII

4. Conclusiones y recomendaciones ........................................................................................... 43
4.1 Conclusiones ..................................................................................................................... 43
4.2 Recomendaciones ............................................................................................................ 44
BIBLIOGRAFIA ............................................................................................................................. 45
A. Anexo: magnitudes conmensurables, razn y proporcin ................................................... 47
B. Anexo: Las fracciones como expresin decimal y fraccin continua .................................... 53
C. Anexo: Incompletitud en Q y los irracionales como expresiones decimales y fracciones
continuas .................................................................................................................................... 65
D. Anexo: La continuidad de la lnea recta, la densidad y la completitud de R ......................... 77

Contenido IX

Lista de figuras

Pg
Figura 1-1: inconmensurabilidad del lado y la diagonal del pentgono regular ................. 10
Figura 2-2: inconmensurabilidad del lado y la diagonal del cuadradoError! Marcador no definido.11
Figura 2-3: Irracionalidad del lado y la diagonal del cuadrado ........................................... 12
Figura 2-4: Razn de la diagonal y el lado del pentgono .. 1Error! Marcador no definido.3
Figura 2-5: Las reas de dos tringulos de igual altura guardan entre s la misma razn que
sus bases .......................................................................................................................... 16
Figura 2-6: traslacin de un segmento a un punto dado ....................................................... 18
Figura 2-7: Suma y resta de segmentos ................................................................................... 19
Figura 2-8: Multiplicacin y divisin entre segmentos ........................................................... 19
Figura 2-9: Representacin en la recta de con n natural ................................................. 20
Figura 2-10: representacin en un segmento de con racionalError! Marcador no definido.20

contenido X

Lista de tablas

Tabla 2-1: Inconvenientes con algunas definiciones de los nmeros reales. 29

Introduccin
En el siglo XIX los matemticos se dedicaron a la fundamentacin del Anlisis. El ideal
para lograr este objetivo fue la construccin de un conjunto numrico continuo que
prescindiera de la nocin de magnitud. Como resultado se obtuvieron diversas
construcciones de los nmeros reales, cada una con su respectiva nocin de continuidad
de la recta y completitud de dicho conjunto. Despus de un tiempo, llegaron las
axiomatizaciones del sistema de nmeros reales: conjunto de objetos que cumplen
ciertas reglas de juego o propiedades; desligndose as, los nmeros, totalmente de las
entidades geomtricas. Para comprender fcilmente las axiomatizaciones es bueno
recurrir a las construcciones. En consecuencia, estas construcciones son imprescindibles
a la hora de hacer una transposicin didctica para la enseanza de conceptos y
propiedades del sistema de los nmeros reales.

Las cartillas para la enseanza del clculo en secundaria suelen dar una presentacin
axiomtica del conjunto de los nmeros reales. La correspondencia punto de la recta-
nmero real se da como una definicin que se soporta bajo la intuicin geomtrica, y con
ella se establecen las nociones de orden e intervalo. Estos conceptos fundamentan
temticas subsiguientes del clculo tales como: Lmite, continuidad, derivada e integral.
No obstante, los textos no aclaran el por qu de la biyeccin punto-nmero, reflejando
de esa manera la falta de un anlisis de propiedades elementales de R, tales como su
densidad y completitud, esenciales para diferenciar el sistema R de Q y comprender las
temticas posteriores del clculo.

La Maestra en Enseanza de las ciencias exactas tiene como objetivo la formacin
integral de docentes en conocimientos disciplinares y didcticos para la enseanza en
educacin bsica y media. En ese sentido, el trabajo contiene una presentacin de
aspectos histrico-disciplinar y didcticos que brindan un acercamiento al concepto y
completitud de los nmeros reales. En estos aspectos se estudia conceptos y
procedimientos relacionados con la evolucin de: nmero real y sus representaciones, la
densidad y continuidad, y la biyeccin punto-nmero real.

En el aspecto histrico y disciplinar se hace en primer lugar un recorrido a la evolucin de
la nocin de continuidad de los nmeros reales. En segundo lugar se muestra algunos
procedimientos usados en el tratamiento de problemas relacionados con la
inconmensurabilidad desde la perspectiva numrica, geomtrica y algebraica. En tercer
2 Introduccin

lugar se vislumbra el por qu de la aparicin de un nuevo concepto de razn y proporcin
establecida por Eudoxio. En cuarto lugar se puede apreciar el surgimiento de los
nmeros construibles y su correlacin con las magnitudes lineales. En quinto lugar
encontraran la representacin en fraccin continua y fraccin decimal como posible
forma de definir y aproximar los nmeros reales. Finalmente se describen las
construcciones dadas por George Cantor y Richard Dedekind al continuo numrico
identificando tres conceptos, la densidad, la continuidad y la biyeccin punto de la recta-
nmero real.

En el aspecto didctico se hace una descripcin de la propuesta didctica. Se inicia dando
algunos obstculos epistemolgicos que identific Sara Scalia respecto a la
representacin de los nmeros reales en la recta identificando de aquello aspectos a
tener en cuenta en la construccin de la propuesta. Luego se establecen los
conocimientos, los estndares bsicos, la metodologa, los recursos materiales y la
evaluacin a desarrollar en la propuesta didctica. Finalmente, como anexo, encontrarn
cuatro actividades destinadas a dar un acercamiento al concepto y completitud de los
nmeros reales.

1. Identificacin Del Problema Didctico
En el grado undcimo e incluso en el primer semestre universitario se ensean los
nmeros reales y su representacin en la recta. Cuando se aborda el tema, generalmente
suele presentarse en la forma que proponen muchos libros de texto escolar: como entes
ya existentes que cumplen unas propiedades algebraicas y de orden, y se les da una
representacin en la recta que no trasciende el hecho de ubicar los racionales y raz de
dos en la recta sin llegar a resaltar y analizar el trasfondo de esta correlacin la
continuidad.

Muchas de las temticas que fundamentan los temas anteriores estn ntimamente
relacionadas con ellos. Es el caso del teorema que dice si una funcin continua toma
valores positivos y negativos en un intervalo, existe un punto en el intervalo en el que la
funcin se anula o en las actividades de graficacin de funciones, donde los estudiantes
unen los puntos con una lnea. Estos temas suelen ser interpretados intuitivamente en su
enseanza, pero no se reconoce los conceptos de completitud de y biyeccin punto-
nmero implicados all, mostrando la falta de una comprensin de los mismos. De la
misma manera, existen multitud de temas en el clculo que necesitan de una
comprensin de los conceptos de continuidad de la recta, completitud de los nmeros
reales y biyeccin nmero real- punto de la recta.

Por otra parte, el Ministerio de Educacin Nacional (MEN) propone en los estndares
bsicos que los estudiantes de grado undcimo deben 2. Reconocer la densidad e
incompletitud de los nmeros racionales a travs de mtodos numricos, geomtricos y
algebraicos y 1. Utilizar las tcnicas de aproximacin en procesos infinitos numricos.
Con estos estndares debemos pensar en qu situaciones-problema los nmeros
racionales resultan siendo incompletos en los contextos numrico, geomtrico y
algebraico; resaltando los mtodos y tcnicas utilizadas para ello que en muchos casos
usan procesos de aproximacin infinita.

En relacin a lo expuesto, subyace una pregunta problema:
Cmo introducir la nocin densidad y continuidad para comprender el concepto de
nmero real y la biyecin nmero real-punto de la recta?.

Con todo lo anterior y siguiendo los estndares propuestos por el MEN, se podra llevar al
educando a que comprenda la necesidad de construir un nuevo conjunto numrico
4 Un acercamiento al concepto y
completitud de los nmeros reales

completo a partir de la continuidad geomtrica y as aproximarlos a la comprensin de la
correspondencia nmero real- punto de la recta.
1.1 Objetivo general
- Estudiar los conceptos de densidad e incompletitud de los nmeros racionales desde
el contexto numrico, geomtrico y algebraico, y formular una propuesta didctica
que permita aproximar al estudiante a las nociones de continuidad o completitud de
los nmeros reales y a su correspondencia con los puntos de la recta.
1.2 Objetivos especficos
- Revisar textos sobre historia de la matemtica y hacer un anlisis histrico-
epistemolgico de la nocin de continuidad de los nmeros reales.

- Revisar y analizar textos tericos que contengan temas relacionados con la densidad e
incompletitud de nmeros racionales y construccin de nmeros reales.

- Revisar textos o artculos de didctica del clculo relacionados con obstculos
epistemolgicos relativos a la representacin de los nmeros reales en la recta.

- Disear una unidad didctica que d significado intuitivo a los conceptos de
completez y continuidad de los nmeros reales en contextos aritmticos y
geomtricos.

2. Aspectos histricos y disciplinar
2.1 Anlisis histrico-epistemolgico de la nocin de continuidad
Para el anlisis se har un recorrido en diversos periodos histricos, destacando el estado
de conocimiento matemtico concebido hasta mediados del siglo XIX, donde muchos
resultados matemticos se basaron en la evidencia grfica de la continuidad de la recta.
Considero que este breve anlisis puede dar ideas claras para la propuesta didctica, con
el objeto de reconocer la evolucin del concepto y los posibles puntos de partida para su
enseanza.

En cada periodo se evidenciar la relacin implcita de la nocin de continuidad de la
recta y completitud de los nmeros reales. Mostrando as a la propiedad de completitud
en diversas facetas a lo largo de la historia, y adherida a la evolucin de la nocin de
continuidad de la recta.

Empecemos en la antigedad, periodo donde los griegos se destacaron por darle al
mundo los mejores desarrollos en matemticas. Gran parte de los conocimientos
matemticos griegos de la antigedad fueron recopilados de manera lgico-deductiva
por Euclides en los Elementos. All, aparece por vez primera la idea de continuidad de la
recta en las construcciones geomtricas: por ejemplo, en la Proposicin 1 del Libro 1, se
intersectan dos crculos para construir un tringulo, accin que es inaceptable, pues no se
garantiza la existencia de aquel punto de interseccin. Sin embargo, su natural
aceptacin se deba, posiblemente, a la representacin material (graficas o dibujos) de la
imagen mental que se tiene de la lnea, por lo que las intersecciones entre lneas deban
existir, ya que es algo habitual a nuestra percepcin sensorial (o sentido comn) de la
nocin de continuidad.

De igual manera, en la determinacin del punto que divide a un segmento en media y
extrema razn o en la divisin en n partes del segmento, se considera al segmento como
continuo. Por otra parte, el trmino continuo se exhibe en el postulado 2 del libro 1 que
dice: prolongar continuamente una recta finita en lnea recta, segmento que crece en
forma potencial y sin huecos y muestra la idea de orden entre los puntos. En general,

cada propiedad revela de forma intuitiva atributos esenciales de la recta tales como la
distribucin densa y continua de sus puntos.

En cuanto a la relacin nmero-magnitud los pitagricos le dieron un tratamiento
especial. Para Pitgoras la unidad (la monada) era el generador de los nmeros, as que
solo los enteros positivos mayores que 1 tenan estatuto de nmero; Por otra parte,
creyeron que los principios de las matemticas (los nmeros) eran los principios de
todas los seres
1
, Por qu?, porque comprendan los fenmenos en trminos de razones
y proporciones. Las razones las formaban con la ayuda de una unidad de medida comn
para ellas y les servan para comparar magnitudes homogneas. Con las proporciones
entendidas como igualdad de razones, podan comparar razones elaboradas por
diferentes magnitudes. En ese sentido, los pitagricos dijeron que todas las cosas son
nmero porque podan comprenderse a travs de ellos.

La anterior relacin nmero-magnitud establecida por los pitagricos qued recopilada
en los Elementos: las magnitudes conmensurables guardan entre s la misma razn que
un nmero guarda con un nmero, (Elementos X, 5). Pero, por causa del
descubrimientos de las magnitudes inconmensurables, se tuvo que replantear el
concepto de proporcin para mantener la coherencia con la afirmacin todo es
nmero, idendose una interaccin nmero-magnitud de forma ms sutil.

La idea fue propuesta y divulgada en la Academia de Platn, por el gemetra griego
Eudoxio de Cnido y est adscrita en el libro V de los Elementos de Euclides. Se trata de
una herramienta capaz de comparar magnitudes homogneas sin auxiliarse de sus
medidas. Herramienta que condujo al espritu griego al regocijo en la geometra, lugar
donde haba surgido el problema y donde pudo dominarse las magnitudes
inconmensurables.

No obstante, esta idea trajo como consecuencia la destitucin de los entes numricos
para el estudio de las magnitudes. Por ejemplo, la construccin de un cuadrado de igual
rea a un rectngulo dado, se hace con regla y comps, siendo innecesaria la medida
numrica del rea del rectngulo. Similarmente, la suma y la multiplicacin de un par de
segmentos, trata de la construccin de un nuevo segmento y un rectngulo
respectivamente, ms no el resultado de la operatividad numrica entre las medidas de
los segmentos.

obviamente, esto implicaba una tendencia geometrizante, un abandono de las
propiedades geomtricas por medio de la aritmtica, que permite una manipulacin
totalmente operatoria de esas propiedades con algoritmos rpidos y precisos
2
.

1
Aristteles. Metafsica. Pg. 55 y 56.
2
Eugenio Filloy. Didctica e historia de la Geometra Euclidiana. Pg.41.
Aspectos histricos y disciplinar 7

En ese sentido, la proporcionalidad eudoxiana eludi los clculos numricos de
aproximacin, retardando el desarrollo de la aritmtica, el algebra, el clculo, y en
particular, estanc la evolucin del concepto de nmero real.

Continuando, en otro periodo, durante la edad media y el renacimiento, el desarrollo de
la matemtica tuvo una gran influencia rabe. Se introdujo el sistema posicional que dio
paso al clculo con algoritmos. Los indios emplearon el cero y los nmeros negativos
justificados como deudas. Ya las fracciones representaban la medida de una magnitud,
siendo aceptadas como nmero; y finalmente, con la aparicin y desarrollo del algebra,
a travs de la resolucin de ecuaciones, resultaron las irracionalidades como 2 y los
nmeros imaginarios constituidos con 1.

La hegemona de la geomtrica euclidiana prevaleci durante parte del renacimiento,
pues era el medio de validacin de los resultados algebraicos. Esta tendencia excluy,
como nmero, a todas las soluciones algebraicas que no tuvieran una interpretacin
geomtrica. Pero para este mismo periodo, Descartes represent la suma, el producto
de segmentos y las races pares como un nuevo segmento, dndole vida a estos nmeros
e integrndolos a la definicin dada por Stevin en 1585: nmero es aquello mediante lo
que se explica la magnitud de cualquier cosa. De esa manera, debido a la
correspondencia nmero-magnitud establecida por Descartes, al nmero se le denomina
indistintamente con el nombre de magnitud.

Adems de lo anterior, Descartes consider los puntos como parejas de nmeros,
proponiendo de esa forma modelar los problemas en trminos algebraicos para
solucionarlos con ecuaciones, dando inicio a la geometra analtica. Desde ese momento,
el algebra, se consolida como el mtodo para validar los problemas geomtricos y
nuevamente (la aritmtica generalizada) empieza a tener preferencia sobre la
geometra.

Hasta aqu los nmeros se aceptaron de manera pragmtica: porque podan ser
representados como magnitudes lineales y operados de acuerdo a idnticas reglas de
clculo que dan resultados correctos. Adems, estos nmeros fueron denominados
indistintamente como magnitud por su estrecha relacin con las magnitudes lineales.

Pasando a otro periodo histrico, durante los siglos XVII y XVIII, los nuevos conocimientos
matemticos giraban en torno a la resolucin de problemas relacionados con:
- Determinar distancia, velocidad y aceleracin en un instante de tiempo.
- Determinar volmenes de slidos acotados por superficies, reas acotadas por
curvas y longitudes de curvas.
- Encontrar lneas tangentes y normales a una curva.
- Hallar los valores mximos y mnimos de ciertas funciones.


Hincados sobre los conocimientos en geometra y algebra tenidos hasta el momento, dos
intelectuales de primera categora, Newton y Leibniz, crearon el clculo como mtodo de
solucin a esos problemas. Este clculo estaba impregnado de cantidades evanescentes
o infinitesimales que carecan de fundamento pues en unos casos eran cero cuando
aparecan multiplicando y en otros distintos de cero cuando estaban dividiendo.

En el siglo XIX se comenz la formacin de profesionales con especialidad en
matemticas. Para la enseanza a estas personas se necesit de un clculo ordenado y
consistente, y segn el desarrollado del clculo en los siglos XVII y XVIII, en l persistan
lagunas en conceptos fundamentales tales como: la funcin, la convergencia de series, la
derivada, etc.

Ante esta situacin se inicio la reforma o fundamentacin del anlisis a travs de la
nocin de lmite y el clculo de desigualdades, logrando as reducirlo a una sucesin de
teoremas. Sin embargo, algunos de estos teoremas no pudieron ser demostrados
rigurosamente. Es el caso del teorema de valor medio y el teorema de sucesiones
crecientes y acotadas, los cuales establecen la existencia de ciertos puntos y requieren de
la continuidad del conjunto de los nmeros reales. Razn por la cual, fue necesaria una
construccin de los nmeros reales.

Aparecieron para este reto dos grandes matemticos incitados por establecer los
cimientos de la matemtica. En las construcciones, el lmite fue el instrumento clave para
Cantor y los conjuntos el eslabn para Dedekind; estos conceptos se usaron bajo la
denominacin de sucesin fundamental y cortadura, respectivamente. La nocin de
cortadura se considera como un anlogo al concepto de proporcin de Eudoxio, y no
acude al lmite sino a conjuntos, lo que hace a la teora de Dedekind ms rigurosa que la
de Cantor, pues el concepto de lmite se construye asumiendo la existencia de los
nmeros reales, y no al contrario como lo hizo Cantor.

Como consecuencia de la ingeniosa creacin dada por Dedekind, los nmeros reales
quedan construidos aritmticamente, generados a partir de los racionales en base a la
nocin de cortadura ideada como anlogo del axioma que formul sobre la continuidad
de la recta. As, los nmeros reales se desligan de las magnitudes y como tienen una
propiedad similar al axioma de continuidad de la recta, entonces se les denomina como
un conjunto continuo o completo.
2.2. Anlisis de problemas que condujeron al descubrimiento de
la inconmensurabilidad entre magnitudes y los mtodos
numricos, geomtricos y algebraicos usados para su tratamiento
Los problemas que conllevaron al descubrimiento de la inconmensurabilidad entre
magnitudes se pueden analizar teniendo en cuenta los contextos geomtrico, aritmtico

y algebraico, en relacin con el estado de conocimiento matemtico tenido hasta el
momento.

Los indicios del descubrimiento de la inconmensurabilidad entre magnitudes aparecen
con la cultura griega durante el siglo V a.C. El estado de conocimiento matemtico que
dominaba al comienzo de ese siglo era la matemtica pitagrica; matemtica que puede
comprenderse describiendo el pensamiento pitagrico de esa poca.

El pensamiento pitagrico primitivo era de carcter religioso y su cosmovisin tuvo como
principio todo es nmero. Se poda entonces creer que todo era matemtico; sin
embargo, el pensamiento pitagrico no diferenciaba lo matemtico de lo fsico como se
entiende actualmente.

Los pitagricos trabajaron en el campo de la msica a travs de la prctica con
magnitudes concretas (las cuerdas sonoras). Esa experiencia los condujo a la bsqueda
de razones entre cuerdas sonoras por intermedio de una parte alcua comn, la cual se
construa con un mtodo denominado antiferesis
3
. A partir de una cuerda sonora podan
construir la cuarta, octava, etc cuerda sonora. Esta prctica evidencia esa indistincin de
lo fsico y matemtico por los pitagricos.

La prctica con magnitudes concretas, como el caso de las cuerdas sonoras, tuvo que
haber llevado a la formacin de la siguiente idea: Dos magnitudes, en particular dos
segmentos, tienen siempre una parte alcua comn. Y no solo los pitagricos trabajaron
con magnitudes concretas, sino culturas ms antiguas como la egipcia y babilnica les era
una prctica usual. Lo que permite concluir que aquella idea debi ser una etapa
inevitable en el pensamiento matemtico.

Por consiguiente el estado de la matemtica que impregna el pitagorismo primitivo, es el
de la aritmtica de los nmeros enteros positivos, pues con ella dominaron la geometra
que apareca con un estado fsico en el estudio de la msica.

Ahora bien, el descubrimiento de la inconmensurabilidad subyace en una contrariedad
con la creencia de que todo par de magnitudes lineales tiene parte alcua comn. Pero
cmo se llego a esa contradiccin?.

Pues bien, muchos historiadores concuerdan en que el pitagrico Hippasus de
Metapontum fue el primero en observar y dar a conocer esa contradiccin. Se dice que
lo evidenci nada ms y nada menos que en el lado y la diagonal del pentgono regular,
figura que contiene al pentagrama: el emblema de los pitagricos.

3
La antiferesis es un mtodo geomtrico para construir la parte alicuota comn ms grande entre dos magnitudes CD>AB, (el MCD de
Euclides para dos nmero enteros). El mtodo consiste en sustraer sucesivamente CD de AB: si al sustraerlo una vez y sobra A1B1, con
CD<A1B1, se sustrae nuevamente pero de A1B1, y as sucesivamente de A2B2.... etc hasta tener un segmento AkBk<CD, para cambiar de
rol. Entonces, continuando el proceso, se llega en un nmero finito de etapas a un segmento nulo, donde los dos ltimos
segmentos iguales de la etapa precedente son la parte alicuota comn buscada.


En el problema de encontrar la parte alcua comn de la diagonal y el lado de un
pentgono aparece el mtodo de la antiferesis, el cual enmarca el fenmeno en el
contexto geomtrico, pues no vincula lo numrico. El procedimiento se ilustra mediante
la Figura 2-1:

Figura 2-1: Inconmensurabilidad del lado y la diagonal del pentgono regular

Consiste primero en sustraer AB de AC, quedando de resto B'C (por ser AB=AB'); Luego,
como B'C< AB, se sustrae B'C de AB, de donde queda C'B' (por ser AB=AB' y B'C=AC'). A
continuacin sigue lo ms sorprendente: siendo C'B'< B'C, se debe proceder nuevamente
en sustraer C'B' de B'C; pero como B'C=B'E', vuelve a presentarse el mismo problema en
el pentgono regular A'B'C'D', lo cual significa que el proceso sigue indefinidamente.

El mtodo de antiferesis aplicado a la diagonal y lado del pentgono regular conduce
directamente a contradicciones con la cosmovisin pitagrica Todo es nmero. El
mtodo se convierte en un crculo vicioso de procesos infinitos donde los segmentos
(posible parte alcua) se hacen cada vez ms pequeos y tienden a desaparecer (no
existir). En consecuencia, no encontrar una parte alcua comn para la diagonal y el lado
del pentgono tuvo que ser algo inusual para los pitagricos e incomprensible con su
prctica de expresar la relacin entre segmentos como razn de nmeros enteros.

Otro problema similar, que para los historiadores tambin pudo haber sido la primera
aparicin de la inconmensurabilidad, fue el de la diagonal y el lado del cuadrado. Los
argumentos a favor de ello, se deben a que el cuadrado es una figura ms simple que el
pentgono regular y est relacionada con el problema de la duplicacin del cuadrado
4
y
las ternas pitagricas
5
; No obstante, el mtodo de antiferesis aplicado a la diagonal y el
lado del cuadrado es mucho ms fino que en el pentgono; lo cual hace sospechar, que
fue en el pentgono donde primero pudo manifestarse las contradicciones. Sin embargo,
este problema tiene una relevante importancia pues nos transporta del contexto

4
La duplicacin del cuadrado, problema clsico de origen religioso resuelto grficamente en el dilogo de Platn El Menn, evidencia
el inters por la diagonal del cuadrado, pues al tomarla como lado de un cuadrado se forma con rea el doble que el anteri or.
5
Las triplas pitagricas fueron estudiadas desde los babilonios y su relacin con el problema consiste en que ninguna tripla (a,b,c)
corresponde a la medida de los lados de un triangulo rectngulo issceles (semicuadrado). Se puede encontrar triplas con a= 2nm, b =
(n
2
m
2
) y c = (n
2
+ m
2
) donde n y m son nmeros enteros.

geomtrico al numrico, algo que no se poda hacer en el pentgono pues no haban las
herramientas necesarias para atacarlo numricamente.

El mtodo de antiferesis usado en la diagonal y el lado del cuadrado, al igual que en el
pentgono, lo clasifica en el contexto geomtrico pues no incurre en la prueba los
nmeros. El procedimiento se puede describir de la siguiente manera:

Considrese el problema: determinar la parte alcua comn del lado AC y la diagonal BC
del cuadrado (Fig.2). Inicialmente se sustrae el lado AC=AB de la diagonal BC, de donde
resulta DC. Luego, como DC>AC, se sustrae DC de AC; pero para hacerlo, debe realizarse
la siguiente construccin:

Trcese una perpendicular a la diagonal BC desde el punto D. Sea B' el corte de la
perpendicular con el lado AC. Ahora, nase B' con B para forman dos tringulos
rectngulos congruentes: ya que BA = BD, BB'= B'B y, ZBAB' = ZBDB'(ngulos rectos); as,
el segmento AB' es congruente con B'D por ser lados correspondientes. Por otra parte,
el tringulo CDB' es rectngulo por tener el ZCDB'

recto, luego los ngulos ZCB'D y
ZB'CD deben formar un ngulo recto; como el ngulo ACB formado por un lado y una
diagonal, es la mitad de un ngulo recto y es igual al ngulo ZB'CD, se tiene que el ZCB'D
es la mitad de un ngulo recto. As, el tringulo CDB' es issceles recto, y en
consecuencia Figura 2-2:
(1) A B'= B'D = DC

Figura 2-2: Inconmensurabilidad del lado y la diagonal del cuadrado

Trazando un segmento perpendicular a la diagonal desde C y congruente con el lado B'D,
se construye el cuadrado A'B'DC menor que el inicial al unir B' con A'.

Ahora bien, al realizar en este cuadrado A'B'DC el mismo proceso aplicado al cuadrado
inicial, se sustrae B'D=B'D' de la diagonal B'C partiendo de B' quedando de resto D'C,
reaparece la antiferesis: pues DC se sustrae dos veces de AC por ser AD' el doble de DC
(ya que DC = A B'= B'D = B'D').


Igualmente se puede construir el cuadrado ABD'C, y como D'C<DC, el mtodo de
antiferesis continua indefinidamente aunque se dificulte percibirlo de manera
sensorial, pues cada uno de los sucesivos restos (posible parte alcua comn) con los que
se van formando los cuadrados, sern cada vez menores, pero nunca iguales a cero:
CD > CD'> CD

> CD'''> CD>; en consecuencia, no hay parte alcua comn
entre la diagonal y el lado del cuadrado.

Recordemos que para los pitagricos era natural, por trabajar en una geometra que hace
referencia a entes concretos, el haber asumido el siguiente supuesto: siempre se espera
una antiferesis finita que determina una parte alcua comn entre dos magnitudes, la
cual permite relacionarlos de manera racional. Lo que significa, que el fenmeno de la
inconmensurabilidad surge cuando los pitagricos se encontraron con la antiferesis
infinita pues contradeca aquella suposicin.

Como consecuencia de la aparicin de antiferesis infinita subyace un nuevo problema: la
no racionalidad de las magnitudes inconmensurables. De ah que se pase a otro
contexto, el numrico, donde surge un nuevo mtodo con el que se demuestra la
irracionalidad. La irracionalidad solo fue demostrada para la diagonal y el lado del
cuadrado teniendo como protagonista a Aristteles un discpulo de Platn (pitagrico
tardo). El mtodo numrico usado se ilustra con la ayuda de la Figura 2-3:

Figura 2-3: Irracionalidad del lado y la diagonal del cuadrado

(Los siguientes argumentos son una adaptado de La trama de la demostracin, L. Vega
Ren, Alianza Universidad 1990)

Sean DB y DM el lado y la diagonal del cuadrado DBMN. Si se supone que la relacin DB y
DM es conmensurable (racional), sus magnitudes podrn representarse mediante el
nmero exacto de veces que cabe la parte alcua comn encontrada en esos
segmentos. O sea que los nmeros correspondientes no podrn ser pares a la vez.
Se denomina nmero cuadrado al producto de dos factores iguales, es decir que a los
cuadrados DBMN y AJKL les corresponden nmeros cuadrados. Pero el cuadrado AJKL es
el doble del cuadrado DBMN (ver Fig.2-3.) y por tanto le corresponde un nmero par. O
sea que a AJ tambin le corresponde un nmero par.
Ahora, como DM es igual a AJ, se tiene que el nmero de DM tambin es par. De ah que
a DB le corresponda un nmero impar, pues en un comienzo se dijo que DB y DM no

podan ser pares a la vez. Sin embargo el cuadrado DBMN es el doble del cuadrado
ABCD, luego el nmero de DBMN es par y el nmero de su lado DB tambin; resultado
que contradice la deduccin anterior de que DB era impar. En consecuencia la suposicin
de la relacin DM y DB racional es inviable, pues desemboca en una contradiccin.

Este mtodo numrico elimino cualquier sospecha de existencia de racionalidad y parte
alcua comn entre la diagonal y el lado del cuadrado. El mtodo hace uso del
razonamiento por el absurdo (por ser un problema existencial), retoma ideas del
problema de la duplicacin del cuadrado, y aplica propiedades de paridad e imparidad.

Pasando a otro periodo histrico donde el simbolismo algebraico fue esencial para los
siguientes progresos en matemticas. Se inicia un nuevo mtodo para atacar los
problemas, el cual consista en interpretar los problemas como ecuaciones y
solucionarlas. Veamos un ejemplo aplicado al problema de la diagonal y el lado del
pentgono. Figura 2-4.

Figura 2-4: Razn de la diagonal y el lado del pentgono

Si se toma =36 y suponemos y como las medidas del lado y la diagonal
respectivamente. Resultan todos los ngulos como mltiplos de y los tringulos ABC y
BMC sern semejantes. Por lo que,
, es decir,
()
, de donde resulta
la ecuacin cuadrtica
1 = 0, cuya solucin es
=
1+5
2
.
6

Las soluciones de ecuaciones en muchos casos aparecan con radicales, como el caso
anterior, lo que muestra una vez ms que la razn de la diagonal y el lado no era racional.

De la misma manera el mtodo algebraico aplicado a la diagonal y el lado del cuadrado
tambin conlleva a una irracionalidad. Por ejemplo, tomando y como la medida de
la diagonal y el lado del cuadrado respectivamente, y aplicando el TRM de Pitgoras al

6
La relacin
=
1+5
2
significa que AM, que es igual al lado AB, es seccin urea de la diagonal AC, una propiedad admirable del
pentgono y el pentagrama. Se puede probar de la figura que cualquier segmento es seccin aurea del segmento inmediatamente
mayor.

semicuadrado que se forma, se tiene:
2
=
2
+
2
, es decir, la ecuacin
2
= 2, cuya
solucin es
= 2 .
7

Puede pensarse en que las medidas y son nmeros enteros y creer entonces que
2 =
es racional. Sin embargo, el mtodo algebraico permiti certificarle, por

intermedio de una demostracin por el absurdo (similar a la dada por el mtodo
numrico), a entidades como 2 , el nombre de irracional. La demostracin es as:
Supngase y enteros primos relativos (MCD(,)=1) tales que 2 =
. Ahora,
elevando al cuadrado ambos trminos de la igualdad, se tiene
2
= 2 , o sea
2
= 2
2
.
Es decir que es un nmero par (de la forma 2 , con eZ k); por lo tanto(2)
2
= 2
2
, o
mejor, 2
2
=
2
. Luego es par, lo cual es absurdo, pues se supuso que y no tienen
factores comunes, y sin embargo, result 2 como factor comn a ellos.

Para terminar, se puede concluir que la inconmensurabilidad surge con la antiferesis
infinita en el contexto geomtrico; se demuestra la no racionalidad de la razn entre
segmentos inconmensurables con el mtodo numrico; y se consagra la no racionalidad
de entidades radicales como 2 con el mtodo algebraico.
2.3 El significado de proporcin de Eudoxio de Cnido
Entre las dificultades que entraaba el ideal pitagrico de interpretar todos los
fenmenos en trminos de nmeros enteros mayores que uno, suscita una crisis interna
en la matemtica griega, pues multitud de demostraciones presuponan que las
magnitudes siempre eran conmensurables. Es por eso que en los siguientes aos los
griegos se dedicaron a la mediacin de ese nuevo problema: Cmo se puede trabajar
con magnitudes inconmensurables para fundamentar los resultados matemticos?.

Para esta situacin fue necesario dar un refinamiento a lo bsico: reconstruir los
conceptos de razn y proporcin para magnitudes conmensurables e inconmensurables.
Trabajo logrado por Eudoxio de Cnido y actualmente patentado en la teora del libro V de
los Elementos de Euclides.

Esta teora tiene un significado valioso ya que caracteriz la nueva tendencia de la
matemtica griega y se constituy como una fuente necesaria para la construccin de los
nmeros reales en el siglo XIX. La interpretacin de esta teora vislumbra el significado
de proporcin que formul Eudoxio de Cnido.

7
Se puede observar una prueba de irracionalidad para radicales como 3 y 5 en: Luque Arias, Carlos Julio. (2004). Una
construccin de los nmeros reales positivos. Universidad Pedaggica de Colombia.

Una propiedad fundamental para entender el concepto de proporcin de Eudoxio es la
definicin 4 del libro V de los Elementos de Euclides que cita as: Se dice que guardan
razn entre si las magnitudes que, al multiplicarse, pueden exceder una a la otra
8
.
Esta definicin significa que una razn nicamente puede establecerse entre magnitudes
homogneas, pues de lo contrario ningn mltiplo de una podr sobrepasar a la otra.
Por ejemplo, una longitud y un rea no guardan entre s una razn, ya que por ms de
que se agregue la primera a s misma, no podr sobrepasar la medida de la segunda.
Luego una razn se determina slo entre dos lneas, o entre dos reas, o entre dos
volmenes, ya que pueden excederse una a la otra al multiplicarse.

En ese sentido, la definicin 4 generaliza el concepto de razn ya que dos magnitudes
homogneas pueden excederse una a otra sin importar que sean conmensurables o
inconmensurables. Con este hecho en los Elementos se define que, una razn es
determinada relacin con respecto a su tamao entre dos magnitudes
homogneas(Elementos.V,3), donde la relacin ya no es al estilo pitagrico, sino una
relacin entre los tamaos de dos magnitudes homogneas en la siguiente manera:
un mltiplo de la primera puede ser igual, mayor o menor a un mltiplo de la segunda.

El concepto de proporcin de Eudoxio depende entonces de las anteriores ideas: Se dice
que una primera magnitud con una segunda guarda la misma razn que una tercera con
una cuarta, cuando cualesquiera equimltiplos de la primera y la tercera excedan a la par,
sean iguales a la par o resulten inferiores a la par, que cualquiera equimltiplos de la
segunda y la cuarta, respectivamente y tomados en orden correspondiente
(Elementos.V,5).

En notacin algebraica esta definicin equivale a decir que: Dos razones a:b y c:d son
iguales, si para cada par de nmeros enteros m y n, se tiene que na>mb, o na=mb o
na<mb, s y slo s, nc>md, o nc=md o nc<md, respectivamente. Lo cual permite
confirmar que la proporcin eudoxina establece la igualdad entre razones teniendo en
cuenta la definicin 4, lo que significa que es aplicable a magnitudes conmensurables e
inconmensurables, a diferencia de la proporcin pitagrica que usa la razn entre
nmeros enteros limitndola a magnitudes conmensurables.

Por lo tanto todo resultado que aplicara la proporcin pitagrica deba ser demostrado
con el nuevo concepto. Veamos cmo sera una demostracin, en trminos algebraicos,
de la propiedad: Las reas de dos tringulos de igual altura guardan entre s la misma
razn que sus bases (Elementos, VI.1), usando el concepto de proporcin pitagrica y el
concepto eudoxiano.

(Adaptado de: Un paseo finito por lo infinito. I. Castro Chaid. Universidad Nacional)
Si
1
= y
2
= son tringulos que tienen la misma altura, entonces:
(
1
)
(
2
)
=
, ver Figura 2-5.

8
Esta definicin es similar al axioma arquimediano

Figura 2-5: Las reas de dos tringulos de igual altura guardan entre s la misma razn
que sus bases

La demostracin al estilo pitagrico antiguo sera:
Existe x medida comn de BC y DE, por lo tanto BC=nx y DE=mx para algunos enteros m
y n.
Figura 2-5: (Continuacin)

El tringulo
1
se puede dividir en n tringulos con la misma altura de
1
y base x,
llmese a uno cualquiera de ellos. Como los tringulos con igual base y altura tienen la
misma rea, entonces (
1
) = (); similarmente (
2
) = (). De donde
(
1
)
(
2
)
=
()
()
=
.

Esta argumentacin tiene el error de no considerar BC y DE inconmensurables, de lo cual
x no existira. Por lo tanto, la proposicin debe justificarse por medio del concepto
eudoxiano.

Sean n y m enteros positivos. A partir de B y en direccin izquierda, reptase el segmento
BC n-1 veces; nase los puntos extremos de cada segmento
2
,
3
, ,
con A y de
esa forma se obtienen n tringulos de igual rea a la del tringulo
1
.


Similarmente, a partir de E y en direccin derecha, reptase el segmento DE m-1 veces;
nase los puntos extremos de cada segmento
2
,
3
, ,
, con A y se obtienen m
tringulos de igual rea a la del tringulo
2
.


Luego,
= (
1
) ,
= ). Ahora, como De tringulos que

tienen la misma altura, tiene mayor rea el que tenga mayor base (Elementos, I. 38), se
sigue que:
1. Si
>
entonces
>
, esto es:
Si > entonces (
1
) > (
1
) .
2. Si
entonces
, esto es:
Si = entonces (
1
) = (
1
) .
3. Si
<
entonces
>
, esto es:
Si < entonces (
1
) < (
1
) .
Por lo tanto, segn la definicin de proporcin de Eudoxio
(
1
)
(
2
)
=
.

Finalmente si retomamos nuevamente la definicin de Eudoxio y la escribimos en su
forma equivalente, que obviamente no es como la entendan los griegos, Dos razones
: y : son iguales, si para cada par de nmeros enteros y , se tiene que si
>
, o
<
, entonces,
>
, o
<
, respectivamente, el concepto adquiere

un nuevo significado, pues para el siglo XIX el trmino
ya era aceptado como un

nmero. Por esa razn, por no aceptar
como fraccin, los griegos no llegaron a una

construccin de los nmeros reales, a diferencia los matemticos del s. XIX que ya tenan
una concepcin ms general de nmero.
2.4 Construcciones con regla y comps: nmeros construibles
En la antigedad el filsofo griego Platn consider la recta y el crculo como las figuras
perfectas, haciendo de la regla y el comps las herramientas bsicas para las
construcciones geomtricas. Esa tendencia la recibi Euclides como estudiante de
Platn, como puede apreciarse en los cinco postulados del libro I, los cuales establecen
las pautas para cualquier construccin Euclidiana. Veamos a continuacin que la forma
como se escribieron los postulados contienen el espritu platnico:

1. Postlese trazar una lnea recta desde de un punto a otro.
2. Y el prolongar continuamente una recta finita (segmento) en lnea recta.
3. Y el describir una circunferencia con cualquier centro y distancia (radio).
4. Y el ser todos los ngulos rectos iguales entre s.
5. Y si una recta al incidir sobre dos rectas hace los ngulos internos del mismo lado
menores que dos rectos, las dos rectas prolongadas se encontraran en el lado en
el que estn los (ngulos) menores que dos rectos.

Los tres primeros postulados caracterizan el tipo de regla y comps que usaban los
gemetras griegos en sus construcciones: una regla sin marcas que no puede medir
distancias y un comps que slo construye crculos y no transporta segmentos.


Ahora bien, para adentrarnos en la descripcin de la gnesis de los nmeros construibles
debemos fijarnos en algunas construcciones realizadas en los Elementos de Euclides.
Estas con construcciones expuestas como proposiciones en los Elementos, han tenido
una interpretacin algebraica que ha llevado al origen de entidades numricas
denominadas como nmeros construibles.

Para apreciar una forma como pudo haber surgido estos entes numricos se proceder
en la siguiente manera: se dar inicialmente la proposicin y la construccin sin perder el
estilo Euclidiano; luego se establecer una relacin entre el segmento pedido x y los
segmentos dados a,b,c, para finalmente determinar x resolviendo la ecuacin
formulada
9
.

La proposicin poner en un punto dado (como extremo) una recta (segmento) igual a
una recta dada (Elementos I. 2) permite trasladar un segmento. Veamos, se debe
construir el segmento AB sobre un punto C, Figura 2-5:

Figura 2-6: Traslacin de un segmento a un punto dado

Sea AB y C el segmento y la recta dados.

Trace BC y construya sobre l un tringulo equiltero. Para ello construya un crculo con
centro B y radio BC y otro con centro C y el mismo radio (postulado 3); las circunferencias
de estos crculos se cortan en P formando el tringulo CBP equiltero.
Prolnguese ahora PB y PC (postulado 2).
Trace un crculo de centro B y radio AB, cuya circunferencia corta a la prolongacin PB en
H. Trace el crculo de centro P y radio PH, el cual corta la prolongacin PC en E. Como PH
es igual a PE y PB es igual a PC, se sigue que BH es igual a CE. Finalmente, como AB es
igual a BH, se sigue que AB es igual a CE, lo que se quera construir.

Con el anterior procedimiento se puede trasladar un segmento a cualquier punto sobre la
recta. Esto permite realizar las siguientes operaciones:
- Suma de dos segmentos: Si MN=a y NK=b, entonces MK=a + b.

9
Este es el principio de la geometra analtica creada por Ren Descartes: el estudio cuantitativo de las
propiedades geomtricas.

- Multiplicacin de un segmento n veces enteras (o sumar de un segmento a n veces):
a +a +a ++ a
= na.
- Resta o diferencia entre segmentos: se debe trasladar los segmentos a un punto
comn de la recta
10
, MK=a b.
Daremos a continuacin grficos que muestran las operaciones anteriores Figura 2-6

Figura 2-7: Suma y resta de segmentos

La proposicin dada tres rectas, hallar la cuarta proporcional (Elementos VI. 12),
permite hallar la cuarta proporcional x de tres segmentos dados a,b y c. Con este
procedimiento se construye la multiplicacin y la divisin entre segmentos. Se trasladan
los segmentos dados de manera que oa=a, ob=b, oc=o1=1 y se determina ox=x. ver Figura
2-7:

Figura 2-8: Multiplicacin y divisin entre segmentos

Se une el punto 1 con b y se traza una
paralela a la recta 1b por el punto a
(postulado 5 y proposicin 31 del libro I).
Los tringulos o1b y oxa son semejantes
y por tanto:
1
, es decir =
11
.

Se une el punto 1 con b y se traza una
paralela a la recta 1b por el punto a
(postulado 5 y proposicin 31 del libro I).
Los tringulos o1b y oxa son semejantes
y por tanto:
1
=
, es decir =
.

10
La proposicin Dadas dos rectas desiguales, quitar de la mayor una recta igual a la menor (Elementos I. 3), permite realizar la resta
entre segmentos hacindole una breve modificacin a la demostracin de la proposicin 2.

11
Este procedimiento es ms general que el expuesto anteriormente sobre multiplicacin de un segmento n veces ya que y
pueden ser enteros o racionales.

La proposicin trazar una lnea recta que forme ngulos rectos con una recta dada,
desde un punto dado en ella(Elementos I. 11) permite construir nmeros de la forma
con n natural as (ver Figura 2-8): se traza una perpendicular a la semirrecta 01 con
centro 1 y radio 01 y se marca el punto p, de lo cual resulta = 2. Construyendo un
segmento perpendicular de longitud 01 en el punto 2, se obtiene 3, y as
sucesivamente se puede construir con n natural.

Figura 2-9: Representacin en la recta de con n natural

Pero aun ms interesante es la construccin que permite encontrar de manera ms
general la raz cuadrada
12
. Se trata de la proposicin Dadas dos rectas hallar la media
proporcional (Elementos VI, 13). Se puede entonces representar la raz
con entero
par y un racional. Veamos la construccin de en un segmento Figura 2-9.

Figura 2-10: Representacin en un segmento de con racional

Se traza el segmento CB de longitud 1 y seguido el segmento BA de longitud k.
Construimos el punto medio de AC y lo llamamos O. Se traza la semicircunferencia de
centro o y radio OC. Se construye una perpendicular a AC en el punto B que corta la
semicircunferencia en D. Dado que ADC es ngulo de un semicrculo, es recto, y como
BD es la perpendicular desde el ngulo recto a la base del tringulo rectngulo ADC, se
tiene que x es la media proporcional de k y 1 (Elementos VI, 8), es decir
=
1
. O sea que
= , que a diferencia de la proposicin 11, k no es solo un entero sino que puede ser
racional. Igualmente puede representarse
con entero par y un racional.

12
Descartes fue quien represento el producto de segmentos como un nuevo segmento, y las races pares como segmentos mediante
una interpretacin algebraica de los problemas de construccin Euclidianos, pues recordemos que el producto entre segmentos era
un rea para los antiguos griegos.

Con base en lo anterior, se puede deducir nmeros a partir de un segmento unitario
mediante construcciones con regla y comps (suma, resta, multiplicacin, divisin y raz
cuadrada). Estos nmeros son los denominados nmeros construibles.
Con el segmento unidad se construye los nmeros racionales y todos los puntos
racionales. Este conjunto de nmeros es cerrado respecto a las operaciones suma,
resta, multiplicacin y divisin por nmero distinto de cero, por lo cual se le denomina
cuerpo
13
de nmeros racionales. Por construccin con regla y comps se puede construir
nuevos nmeros, irracionales, de la forma +
0
con , y
0
racional no
cuadrado perfecto. Extendiendo las operaciones racionales a este nuevo conjunto de
nmeros
1
:
+
0
+ +
0
= + + +
0
= +
0
(, +
0

1
) .
+
0
+
0
= + + +
0
= +
0
(,
+
0

1
).
+
0
+
0
=
+
0
0
=
0
+

0
= +
0
(, +
0

1
;
2
0
0, pues de lo contrario
0
=
, lo cual no es cierto). Se tienen

entonces que el conjunto
1
es un cuerpo de nmeros construido como una extensin
del cuerpo de racionales.

De igual manera, si construimos con regla y comps
1
= +
0
, se puede
construir el conjunto
2
de nmeros de la forma
2
= +
1
donde , ,
1

1
.
Este conjunto
2
es una extensin del conjunto
1
pues las operaciones son cerradas en
2
. Por lo tanto, podemos formar una sucesin de cuerpos de nmeros
14
de Q:
0
=
1

2

3

, donde para cada nmero natural ,
es un
conjunto de nmeros construible.

Finalmente, debemos decir que no todos los nmeros irracionales son construibles con
regla y comps, en particular los irracionales que son solucin de ecuaciones de grado
impar que no tienen races racionales, como por ejemplo
3
= 2
3
, ecuacin que se
puede interpretar como la duplicacin de un cubo de lado , cuya solucin es = 2
3

un nmero no construible, es decir un cubo imposible de construir. En consecuencia, los
nmeros construibles no representan a todos los nmeros reales.

13
Los cuerpos consisten en un conjunto de elementos, junto con las cuatro operaciones principales, definidas como adicin,
substraccin, multiplicacin y divisin por elementos distintos de 0.
14
En matemtica, un cuerpo de nmeros algebraicos (o simplemente cuerpo numrico) F es una extensin de cuerpos finita (y
tambin algebraica) de los nmeros racionales Q.
http://es.wikipedia.org/wiki/Cuerpo_de_n%C3%BAmeros_algebraicos

2.5 Aproximacin a los irracionales por medio de fracciones
continas y fracciones decimales
La historia de las fracciones continuas comienza con algoritmo de Euclides o el mtodo de
antiferesis, el cual conduce de modo natural a un proceso para representar la razn de
dos magnitudes.

Por ejemplo, aplicando el algoritmo de Euclides a los nmeros enteros 23 y 18 resulta:
23=1*18+5 5=1*3+2
18=3*5+3 3=1*2+1,
Sabiendo que 23 y 18 son primos relativos, se obtiene el desarrollo del nmero racional
23
18
en la forma:
23
18
= 1 +
5
18
= 1 +
1
18
5
= 1 +
1
3+
3
5
= 1 +
1
3+
1
5
3
= 1 +
1
3+
1
1+
2
3
= 1 +
1
3+
1
1+
1
3
2
= 1 +
1
3+
1
1+
1
1+
1
2

De manera similar, el mtodo de antiferesis (algoritmo de Euclides) permite expresar la
razn diagonal-lado del pentgono como fraccin continua:


Segn este proceso, = +
1
y
=
1
+
1
. Es decir que los sucesivos
pentgonos tendrn la misma relacin:
1
= 1
1
+
2
,
1
= 1
2
+
2

2
= 1
2
+
3
,
2
= 1
3
+
3

3
= 1
3
+
4
,
3
= 1
4
+
4
.
Por lo tanto la razn de la diagonal y el
lado del pentgono ser
= 1 +
= 1 +
1
1
= 1 +
1
1+
1
= 1 +
1
1+
1
1
= 1 +
1
1+
1
1+
1
= 1 +
1
1+
1
1+
1
2
, o sea,
= 1 +
1
1+
1
1+
1
1+
1
1+
1
1+
.

Hoy da una fraccin continua se considera simple si es una expresin de la forma:
[
0
,
1
,
2
,
3
, ] =
0
+
1
1
+
1
2
+
1
3
+

Donde los
forman una sucesin de nmeros enteros positivos que corresponden a los

trminos de la fraccin continua.

O sea que 1 +
1
3+
1
1+
1
1+
1
2
es una fraccin continua simple finita y 1 +

1
1+
1
1+
1
1+
1
1+
1
1+
es
fraccin continua simple infinita.

Con el algoritmo de Euclides todo racional puede expresarse como fraccin continua
simple finita. Si
es racional con > 0, por el algoritmo de Euclides existen

0
,
1
tal
que
=
0
+
con 0 <
1
< , adems,
0
+
=
0
+
1
1
, de nuevo, existen
1
,
2
tal
que
1
=
1
+
1
con 0 <
2
<
1
. Continuando el proceso, se obtiene una sucesin de
residuos
tales que
+1
<
, y como son positivos, por el principio del buen

ordenamiento, se concluye que este proceso es finito, con lo cual se determina la
fraccin [
0
,
1
,
2
, ,
] con
1
= 1.

Recordemos que una implicacin es equivalente a su contrarrecproca. De ah que, segn
lo anterior, toda fraccin simple infinita represente un irracional.

Por otra parte, cada sucesin de enteros positivos
determinan una fraccin continua

[
0
,
1
,
2
,
3
, ], y esta a su vez forma una sucesin
de nmeros racionales(fracciones
continuas finitas) que llaman convergentes de la fraccin continua. Por ejemplo,
1 +
1
1+
1
1+
1
1+
1
1+
1
1+
, tiene convergentes
0
= 1 = 1 = 1,
1
= 1,1 = 1 +
1
1
= 2,
2
= 1,1,1 = 1 +
1
1+
1
1
=
3
2
,
3
= 1,1,1,1 =
5
3
,
4
=
8
5
,
5
=
13
8
,
6
=
21
13
,
7
=
34
21
, . Esta
sucesin de convergentes se aproxima a un nmero real, en nuestro caso a
15
, por
arriba con los trminos de posicin impar y por debajo con los trminos de posicin par:
1 <
3
2
<
8
5
<
21
13
, < < < <
34
21
<
13
8
<
5
3
< 2, esto se debe a que las convergentes
pares son crecientes y acotados por 2 y las impares son decrecientes y acotados
inferiormente por 1, y adems, porque toda convergente par es menor que todo
convergente impar
16
.

En el siglo XVI, con los italianos Rafael Bombelli y Pietro Cataldi, las fracciones continuas
aparecan como mtodo para aproximar races de ecuaciones cuadrticas. Aos ms
tarde, Leonhard Euler (1707-1783) demostr que toda fraccin continua simple infinita
peridica
17
es solucin de una ecuacin de segundo grado con coeficientes enteros, o

15
La sucesin 1,2,
3
2
,
5
3
,
8
5
,
13
8
,
21
13
,
34
21
, puede escribirse como una sucesin recurrente
1
= 2,
+1
= 1 +
1
, expresin que para n es

muy grande, se tiene que
+1
=
= , o sea, = 1 +
1
, cuya solucin es =
1+5
2
1,6180339887498948 . Algo curioso de
los trminos de dicha sucesin es que corresponden a la razn entre los trminos sucesivos de la serie de Fibonacci .
16
Esta propiedad de la convergencia de la sucesin
formada por una fraccin continua la pueden ver de manera general en Teora
de nmeros de Carlos Ivorra. Pg 111-114. Note tambin que se puede formar un encaje de intervalos racionales
,
+1

{0}, concepto que veremos en el siguiente captulo.
17
Una fraccin continua simple infinita de la forma 1,1,2,1,2,1,2, = [1, 1,2
] se denomina peridica.

sea, un irracional cuadrtico. Por ejemplo, la fraccin continua peridica [1, 1,2
] puede
escribirse 1, 1,2
= = 1 +
1
1+
1
2+
1
1+
1
2+
= 1 +
1
1+
1
2+
1
1+
1
2+
o 1 =
1
1+
1
2+
1
1+
1
2+
=
1
1+
1
2+(1)
, ecuacin cuya solucin positiva es = 3.

El recproco del resultado dado por Euler, fue obra de Joseph-Louis de Lagrange (1736-
1813). Con l, todo nmero irracional cuadrtico se puede representar como una
fraccin continua infinita peridica
18
. Se puede determinar la fraccin continua que
representa un irracional cuadrtico deduciendo los trminos
n
como la parte entera
de
n
, y tomando
n
y
n+1
=
1
n
, procurando siempre expresar los restos
n
en la
forma + hasta que coincida
n
con un resto anterior, momento en el cual
terminar el periodo. Por ejemplo, para 23 se tiene:
0
= 23,
0
= 4,
1
=
4+23
7
,
1
= 1,
2
=
3+23
2
,
2
= 3,
2
=
3+23
7
,
2
= 1. Lo cual muestra que 23 = [4, 1,3
]

Otra manera de aproximar nmeros reales es mediante fracciones decimales. Estas
fracciones se obtienen al dividir sucesivamente cada intervalo unidad de la recta en 10

segmentos iguales. As, a cada punto de subdivisin le corresponde una fraccin decimal;
por ejemplo, el punto de subdivisin que le corresponde la fraccin 0,23= 2/10 + 3/100
est ubicado en el primer intervalo unidad, en el tercer subintervalo de longitud 10
1
y
en el origen del cuarto sub-sub intervalo de longitud 10
2
.

En general, a cada punto de subdivisin del intervalo unidad en 10
segmentos iguales le
corresponde una fraccin decimal de la forma:

+
1
10
1
+
1
10
2
2
+
1
10
3
3
+ +
1
10
con cifras
{0,1, ,9}, expresin que

puede escribirse como:
,
1
10
(1).

Ahora bien, se deduce de (1) que toda fraccin irreducible cuyo denominador no tenga
factores primos distintos de 2 y 5, como el caso de,
13
50
=
13
2 5
2
=
26
100
= 0,26, es fraccin
decimal, es decir, corresponde a un punto de subdivisin del intervalo unidad en 10

segmentos iguales.

18
Se formula el bicondicional Un nmero es irracional cuadrtico si y slo se representa mediante una fraccin continua peridica.

Caso contrario sucede con nmeros como
11
6
=
11
23
y 2, que no corresponden a ningn
punto de subdivisin decimal, pues 3 no es factor de 10
y 2 no es racional. No
obstante, estos nmeros pueden ser aproximados incluyndolos entre los extremos
(fracciones decimales) de intervalos cada vez ms pequeos de la subdivisin decimal.
Por ejemplo, el punto racional
11
6
= 1,8333 est contenido en el segundo intervalo
unitario [1;2]; dividiendo este intervalo en diez partes iguales de longitud 10
1
con los
puntos 1 +
1
10
, 1 +
2
10
, , 1 +
9
10
, se sigue que
11
6
pertenece al noveno subintervalo
1
= [1,8; 1,9]; dividiendo ahora [1,8; 1,9] en diez partes iguales,
11
6
quedara ubicado
entre el cuarto sub-sub intervalo
2
= [1,83; 1,94] de longitud 10
2
. Continuando el
proceso n-veces, se va encajando a
11
6
dentro de una sucesin de intervalos decimales
1
,
2
,
3
, . . ,
cada uno contenido en el precedente. Cuando dicho proceso continua

indefinidamente (n es creciente), la longitud 10
del intervalo
tiende a cero, y por lo

tanto, tiende a un punto que corresponde al nmero racional
11
6
.

Una aproximacin por fracciones decimales a 2 se puede hacer en base a la bsqueda
de un nmero cuyo cuadrado sea dos, de donde se tendra:
1
2
< (1,4)
2
< (1,41)
2
< (1,414)
2
< (1,4142)
2
< < 2 < < (1,4143)
2
< (1,415)
2
< (1,42)
2
< (1,5)
2
< 2
2
.

En general, un nmero real est determinado por un intervalo
de extremos
decimales
+
1
10
1
+
1
10
2
2
+
1
10
3
3
++
1
10
+
1
10
1
+
1
10
2
2
+
1
10
3
3
+ +
1
10
+
1
10
,
expresin equivalente a ,
1
,
1
3
++ (
+ 1) donde es un
entero y los
son todos dgitos.

El real que est determinado por un nmero finito de cifras se le denomina fraccin
decimal finita ,
1
y al que no, se le llama fraccin decimal infinita ,

1
3
.
El decimal infinito que no representa nmeros racionales, es llamado nmero irracional.

Hasta el s. XIX fue aceptada esta definicin para los nmeros reales; sin embargo, es claro
que esta representacin tiene algunos inconvenientes, ya que puede tambin
representarse en otras bases numricas, lo que la hace inaceptable para los matemticos
como una definicin general.

Finalmente, haciendo una comparacin de la representacin en fraccin continua con la
decimal, tenemos que las fracciones continuas pueden representar nmeros como
1
3
y
2 en forma finita e infinita peridica respectivamente, mientras que la decimal no, lo
que la hace ms factible como definicin de los reales. Sin embargo, existen desarrollos
en fraccin continua simple como = [3; 7; 15; 1; 292; 1; 1; 1; 2; ] que no son
peridicos y por tanto limitan la posibilidad de aceptar los nmeros reales como
fracciones continuas simples finitas e infinitas peridicas. El darle una definicin ms
general a los nmeros reales fue trabajo de los matemticos del s. XIX como veremos a
continuacin.

2.6 George cantor: construccin del nmero real por encajes de
intervalos: interpretacin
El clebre matemtico del siglo XIX, Georg Ferdinand Ludwig Philipp Cantor (1845-1918),
en su estudio sobre series trigonomtricas necesito de la creacin de la teora de
conjuntos de puntos, los cardinales transfinitos y los nmeros reales. La creacin de los
nmeros reales fue slo un pasaje de su principal inters, darle un fundamento al
teorema de unicidad de los coeficientes del desarrollo en series trigonomtricas.

Cantor parte del conjunto de los nmeros racionales que llam A y denomin sucesin
fundamental a toda sucesin de nmeros racionales que satisfacen el criterio de Cauchy:
{
n
} satisface el criterio de Cauchy, si , 0 > c -n
0
eN, n
0
= n
0
( c ) tal que si >
0
, se
tiene que
+

< c

> 0. Es decir, una sucesin con la caracterstica de
que la diferencia
n+m

n
se hace infinitamente pequea segn crece, con
cualquier entero positivo, o sea lim
(
n+m

n
) = 0.

Por otra parte, una sucesin {
n
} cuyo lim

n
= 0 ( , 0 > c - 0 e, 0 =
0
(c )
tal que si >
0
, se tiene que |
n
| < c > 0), se llama sucesin elemental o nula.
Con este concepto se puede establecer la igualdad
19
entre sucesiones fundamentales:
n
= {
} si y solo si, lim
(
n
) = 0, es decir, dos sucesiones fundamentales

son equivalentes si su diferencia es una sucesin elemental.

Cantor le asign un smbolo b a cada sucesin fundamental de nmeros racionales para
formar un conjunto de nmeros B (Nmeros reales). En particular, el smbolo asociado a
n
= , , , (con racional) es = , con lo que incluye a los racionales en B.

Una sucesin fundamental
n
es positiva si existe un nmero racional positivo q y un
0

tal que
n
> para >
0
, y una sucesin fundamental
n
es negativa si existe un
nmero racional negativo y un
0
tal que
n
< para >
0
.

Cantor extiende luego en B las cuatro operaciones aritmticas y la relacin de orden
conocida para los racionales. Ntese que son compatibles con la idea de sucesin nula.

n
>
si y slo si
n

es positiva (no es sucesin elemental).

= {
} si y solo si lim
(
n
) = 0

= {
} si y solo si lim
(
n

) = 0

= {
} si y solo si lim
) = 0

19
Esta igualdad entre sucesiones fundamentales es una relacin de equivalencia, aunque Cantor no considero clases de equivalencia
de sucesiones.

O sea que las operaciones
n

,
n

son nuevas sucesiones

fundamentales (operaciones cerradas en B) siempre y cuando las respectivas diferencias
(
n

), (
n

) y
sean sucesiones elementales.

Finalmente Cantor extiende el concepto de lmite a los nmeros del sistema B, b es el
lmite de
n
si lim
(b
n
) = 0, y formula un teorema de continuidad en B que lo
diferenciar de A, toda sucesin fundamental de nmeros del sistema B tiene lmite.
Sin embargo esta propiedad es un caso particular del teorema que dice: toda sucesin
creciente o decreciente y acotada tiene lmite. Y esto significa que la construccin
cantoriana comete el error de considerar existente las sucesiones y la nocin de limite
antes de los nmeros reales lo que la hace inconsistente

Ahora veamos la interpretacin o relacin de la construccin cantoriana con los encajes
de intervalos:
Pues bien, si consideramos dos sucesiones fundamentales tales que
n

n
para todo
n N con
n
creciente,
n
decreciente y
n
n
una sucesin nula, se puede construir
un encaje de intervalos racionales
=
n
,
n
con puntos extremos racionales

1

2

n1

n

n

n1

2

1
, donde cada intervalo est
contenido en el precedente
n
,
n
n1
,
n1

1
,
1
y cuyas longitudes forman
una sucesin nula
n
n
, o similarmente, cuya longitud del intervalo n-simo tiende a
cero al crecer n, lim
n
= 0 (
n
n
es sucesin elemental).

Cada encaje de intervalos racionales produce una separacin los racionales en tres clases:
Primera clase: los racionales r tales que <
n
para casi todo n.
Segunda clase: los racionales r tales que
n
< <
n
para casi todo n.
Tercera clase: los racionales r tales que
n
< para casi todo n.

En la segunda clase hay a lo ms un racional, ya que si hubieran dos, su distancia debera
ser menor que la longitud de todos los intervalos
, lo que no es cierto, pues

lim
n
= 0. Si la segunda clase no es vaca, el encaje representa un nmero
racional; en caso contrario
20
, el encaje define un nmero irracional, de modo que cada
encaje de intervalos racionales
n
,
n
construye un nmero que llamado nmero
real.

Un nmero real que este determinado por el encaje racional
n
,
n
se denota como
=
n
,
n
. Para dos encajes =
n
,
n
y =
,
n
, diremos que:

IGUALDAD DE REALES
= si y solo si
n

es sucesin nula.

20
Cuando la segunda clase es vaca se aprecia la discontinuidad de los nmeros racionales en comparacin con el principio de
continuidad de la recta: en correspondencia con cada sucesin de intervalos encajados existe precisamente un punto de la recta
numrica que est contenido en todos los intervalos. Para tal caso dicho punto corresponde a un nmero que define el encaje de
intervalos racionales como irracional. Obsrvese que este principio es equivalente al formulado por Dedekind en el siguiente escrito.

DESIGUALDAD DE REALES
si y solo si < o > . Si < , existe un nmero racional en la primera
clase de
,
n
y en la tercera clase de
n
,
n
, o sea,
n
< <
n
para casi todo .

SUMA Y MULTIPLICACIN
+ =
n
+
,
n
+
n
y =
n
,
n

Una vez extendido el orden y las operaciones de los racionales en los reales, se establece
el teorema de completitud de los reales.

CONTINUIDAD EN LOS REALES
Todo encaje de intervalos con puntos extremos reales contiene un nmero real.
Tomemos un encaje de intervalos real
n
,
n
, cada uno contenido en el precedente y tal
que
n
n
sea una sucesin nula. Sea
n
,
n
un encaje de intervalos racionales que
contiene a
n
,
n
, o sea, con
n

n
y
n

n
para todo n. Como cada encaje de
intervalos racionales define un nmero real, diremos que =
n
,
n
. Ahora, si no
pertenece a todos los intervalos
n
,
n
, por ejemplo, <
m
para cierto intervalo
m
,
m
; debe existir un racional tal que < <
m
, lo cual integra a r en la tercera
clase de
n
,
n
, es decir
n
< , Luego
n

n
< <
m

n
, lo que conduce a una
contradiccin, ya que
n

n
. Por lo tanto x pertenece a todo el encaje de intervalos
real
n
,
n
. En consecuencia el sitema de los nmeros reales es continuo.
2.7 Richard Dedekind: construccin: la continuidad y los
nmeros irracionales
Richard Dedekind (1831-1916) en su obra Continuidad y nmeros irracionales creo los
nmeros reales estimulado por la necesidad de darle un fundamento puramente
aritmtico al clculo infinitesimal.

Este clculo que haba tenido su principal desarrollo durante los siglos XVII y XVIII hizo
uso de la intuicin geomtrica para justificar la existencia de algn punto en muchos de
los problemas de la poca. Algunos de estos problemas fueron el teorema de valor
medio: si una funcin continua toma valores positivos y negativos en un intervalo, existe
un punto en el intervalo en el que la funcin se anula o una sucesin creciente y acotada
de nmeros reales tiene lmite
21
. En el siglo XIX estos problemas necesitaron de una
justificacin rigurosa y libre de argumentos intuitivos, pues segn Dedekind, la
presentacin intuitiva de ellos era de gran valor didctico en la enseanza pero de poco
valor cientfico para la poca. La herramienta clave para darle a estos problemas un

21
Este problema fue uno de los que inspiro a Dedekind en la construccin de los nmeros reales. Dedekind lo describa as: Una
magnitud variable que crece siempre, pero no ms all de todo lmite, se aproxima a un valor lmite . Qu son y para qu sirven los
nmeros. Richard Dedekind pgina 79.

fundamento cientfico fue dando la construccin de los nmeros reales puramente
aritmtico

Dedekind inici estableciendo un postulado que hizo explicita la continuidad de la recta y
a partir de ella construy los nmeros reales en la forma ms general posible, a travs de
la nocin de cortadura o conjuntos que eran lo mismo. Al utilizar la teora de conjuntos
consigui una construccin puramente aritmtica de los nmeros reales, la cual, en
comparacin con las construcciones hechas en la misma poca, logr desligar la
definicin de nmero real que evidenciaban ciertos inconvenientes. Ver Tabla 2.1.

Tabla 2-1: Inconvenientes con algunas definiciones de los nmeros reales

Nmero real
definido como:

Magnitud
continua o
proporcin

Fraccin continua

Fraccin decimal
Lmite de
sucesiones o
sucesiones
determinadas por
encajes de
intervalos

Inconveniente:
Tena el
inconveniente de
definir los reales a
travs de
conceptos
geomtricos.

Presentaba el
inconveniente de
no poder definir
los irracionales de
una nica forma
Presentaba el
inconveniente de
que los
irracionales no
tienen una
regularidad en sus
decimas. Adems
pueden definirse
tambin a travs
de otras bases
numricas.
Estas nociones
definan los reales
a travs de la
nocin de lmite,
algo ilgico, pues
esta nocin se
define a travs de
los nmeros
reales.

Daremos a continuacin una descripcin de la construccin de la continuidad de los
nmeros reales dada por Dedekind en su libro Continuidad y nmeros irracionales:

En el captulo 1, Propiedades de los nmeros racionales, Dedekind empieza considerando
a Q como un cuerpo ordenado.
Q es un cuerpo de nmeros: Las cuatro operaciones bsicas (+, -, x, ) son cerradas en Q.
Establece una relacin (>) de orden entre elementos de Q y resalta las siguientes
propiedades:
I. Ley de tricotoma. Para , , = , > o < .
II. La propiedad transitiva en Q. Dados , y c racionales distintos, si > y > ,
entonces > (b est entre y ).
III. La propiedad de densidad en Q. Si y son nmeros racionales distintos, existen
infinitos nmeros que estn entre y . (el promedio de y , =
+
2
es uno, luego
hay infinitos)

IV. Q es un dominio bien ordenado. Cada induce una particin de Q en dos
conjuntos
1
y
2
disyuntos tales que: cada nmero
1

1
verifica
1
< y cada
nmero
2

2
cumple que <
2
. l nmero a puede estar en
1
o en
2
,
indistintamente, de donde todo nmero de
1
es menor a todo nmero de
2
.

En el captulo 2, Comparacin de los nmeros racionales con los puntos de una lnea
recta, Dedekind entiende la recta como un conjunto de puntos (que llamaremos L) y
establece una relacin (izquierda y derecha) de orden entre puntos de L, en donde
considera validas las siguientes propiedades:

I. Ley de tricotoma. Para , , es igual a , est a la derecha de o est a la
izquierda de .
II. La propiedad transitiva en . Dados , y puntos distintos de L, si est a la derecha
de y a la derecha de , entonces est a la derecha de . ( est entre y ).
III. La propiedad de densidad en . Si y son puntos distintos de L, existen infinitos
puntos que estn entre y .
IV. L es un dominio bien ordenado. Cada induce una particin de en dos
conjuntos disyuntos
1
y
2
tales que: cada punto
1

1
verifica
1
< y cada punto
2

2
cumple que <
2
. l nmero puede estar en
1
o en
2
, indistintamente, de
donde todo punto de
1
es menor que todo punto de
2
.

En temas anteriores vimos que con regla y comps los nmeros racionales son
construibles, se pueden operar (+, -, x, ) y hacer corresponder con un y slo un punto de
la recta. De manera similar, Dedekind hace corresponder cada propiedad de Q con su
respectiva propiedad en L (las propiedades son equivalentes).

Adems, Dedekind resalta la existencia de magnitudes lineales inconmensurables,
haciendo ver que la recta L tiene ms elementos que el dominio Q. Recordemos la
infinidad de nmeros irracionales que pueden ser ubicados en la recta con regla y
comps, lo que evidencia la afirmacin de Dedekind.

Destacando el hecho de que la recta L tenga infinitos puntos que no corresponden a
ningn nmero racional, Dedekind en el captulo 3, continuidad de la lnea recta,
reconoce geomtricamente la incompletitud o discontinuidad del sistema Q y le atribuye
a L la propiedad de ser completo, carente de lagunas o continuidad mediante el siguiente
axioma:
Si todos los puntos de la recta se descomponen en dos clases tales que todo punto de
la primera clase est a la izquierda de cada punto de la segunda clase, entonces existe
un y slo un punto que produce esta particin de todos los puntos en dos clases, este
corte de la recta en dos partes. Este axioma es una reformulacin inversa de la
propiedad IV de L.


Dedekind ve la necesidad de construir, con ayuda de este axioma, un sistema completo
con el cual estudiar todos los fenmenos de la recta. Para ello, en el captulo 4 Creacin
de los nmeros irracionales, a partir de la propiedad IV de Q, define el concepto de
cortadura:
Una cortadura es una particin (
1
,
2
) de Q tal que
1
<
2
para cada
con
= 1, 2.
Luego dice que hay cortaduras en que
1
tiene mximo o
2
tiene mnimo, las cuales son
generadas por un racional, pero aclara que no todas son producidas por nmeros
racionales. Veamos:

Tmese la cortadura
1
,
2
=
1
=
1
Q
1
0, o
1
2
< 2
2
=
2
Q:
1
> 0, y
1
2
> 2

En primer lugar, la particin anterior es una cortadura pues
1
y
2
son no vacos, y los
elementos de
1
son menores que los elementos de
2
, ya que: por una parte, todo
nmero racional negativo de
1
es menor que todo racional de
2
(por ser estos ltimos
positivos); por otra, como q
1
2
<2 y q
2
2
>2 para q
1
y q
2
positivos, se sigue que q
1
2
<2 <q
2
2
,
o bien q
1
2
< q
2
2
, de donde q
1
< q
2
.

En segundo lugar, si existe en
1
un nmero mximo, este debe ser positivo, luego el
mximo de
1
y el mnimo de
2
deben buscarse entre los nmeros racionales positivos:
Sea =
x(x
2
+6)
3x
2
+2

-
, con , eQ
+
. Se deduce,
(i) =
2(2
2
)
3
2
+2
y (ii)
2
2 =
( x
2
2)
3
(3x
2
+2)
2

.
Supongamos que es el racional mximo de
1
. Como e
1
, entonces > 0 y
2
< 2, luego
2
2
> 0 22
2
> 0
2(2
2
)
3
2
+2
> 0 > 0 > , y, x
2
2 < 0
( x
2
2)
3
< 0
( x
2
2)
3
(3x
2
+2)
2

< 0
2
2 < 0
2
< 2, es decir que existe un nmero
1
mayor que , el cual contradice el supuesto, y por lo tanto,
1
no tiene racional
mximo. Con un razonamiento similar se deduce que
2
no tiene racional mnimo.

Lo anterior demuestra aritmticamente -y no con la ayuda de segmentos
inconmensurables- que el dominio Q es discontinuo. Lo expresa Dedekind diciendo: En
esta propiedad de que no todas las cortaduras son producidas por nmeros racionales
consiste la incompletitud o discontinuidad del dominio Q de los nmeros racionales
22
.

Enseguida de haber determinado la existencia de cortaduras en Q que no se producen
por nmeros racionales, Dedekind crea (define) como nmero irracional aquellos objetos

-
Dedekind supone y=x(x
2
+3D)/3x
2
+D, obteniendo y x =2x(2 x
2
)/3x
2
+ 2 y y
2
2 = (x
2
2)
3
/ (3x
2
+ 2)
2
. Siendo D un entero
positivo cuadrado no perfecto, demuestra que hay una infinidad de cortaduras
1
,
2
de Q con
1
sin racional mximo y
2
sin
racional mnimo. Por simplicidad trabaje con el caso particular D = 2.
22
Dedekind. R. QU SON Y PARA QU SIRVEN LOS NMEROS?. De la traduccin e introduccin: Jos Ferreirs. Pg. 87.

que producen aquel tipo de cortaduras. Los nmeros reales se construyen con los
siguientes conceptos:
1. Cada cortadura
1
,
2
del sistema de los nmeros racionales genera un ente
abstracto nuevo o, al que se denominara nmero real.
2. En caso de que
1
tenga un elemento mximo, o
2
tenga un elemento mnimo,
se dir que el nmero real o que genera la cortadura
1
,
2
es un nmero
racional.
3. En caso de que ni
1
tenga un elemento mximo, ni
2
tenga un elemento
mnimo, se dir que el nmero real o que genera la cortadura
1
,
2
es un
nmero irracional.

El siguiente paso de Dedekind es hacer aceptar esos nuevos objetos creados en
abstracto, como nmeros, es decir, justificar la extensin del nmero racional al nmero
real (del concepto de nmero). Para ello, le es suficiente que se preserven las leyes o
propiedades aritmticas de los nmeros racionales en los nuevos entes creados.

Dedekind estudia la igualdad y desigualdad entre dos cortaduras
1
,
2
= o y
1
,
2
= | enfocando su atencin en la clase inferior de ambas, y en particular, si la
cortadura es racional, incluye aquel nmero en la clase inferior.

Igualdad entre nmeros reales
o = | s y slo si
1
=
1

Orden en los reales
o entonces puede darse dos casos:
o < si y slo si existe un racional en
1
que no est en
1
(
1

2
)
o > si y slo si existe un racional en
1
que no est en
1
(
1

2
)

Suma
o + =
1
,
2
+
1
,
2
=
1
+
1
,
2
+
2

donde
= {
} con = 1,2.

Continuando su trabajo, Dedekind da las propiedades del dominio de los nmeros
reales que hacen explicita su unidimensin y buen orden, al igual que el dominio de los
nmeros racionales:

I. Ley de tricotoma. Para o, R, o = , o > o o < .
II. La propiedad transitiva en R. Dados , y racionales distintos, si o > y > ,
entonces o > ( est entre o y ).
III. La propiedad de densidad en R. Si o y son nmeros racionales distintos, existen
infinitos nmeros que estn entre o y . (el promedio de o y , =
o+
2
es uno, luego
hay infinitos)

IV. R es un dominio bien ordenado. Cada o R induce una particin de R en dos
conjuntos R
1
y R
2
disyuntos tales que: cada nmero o
1
R
1
verifica o
1
< o y cada
nmero o
2
R
2
cumple que o < o
2
. l nmero o puede estar en R
1
o en R
2
,
indistintamente, de donde todo nmero de R
1
es menor a todo nmero de R
2
.

Aunque las propiedades I, II, III y IV tambin las posee el dominio , Dedekind demuestra
que el recproco de IV es verdadero en , estableciendo al igual que en la recta, la
principal caracterstica que diferenciar al dominio R del dominio : su continuidad.

Esa caracterstica propia del dominio R, que denominaremos principio de continuidad de
los reales, dice as:
Si el sistema R de todos los nmeros reales se descompone en dos clases R
1
y R
2
, tales
que todo nmero o
1
de la primera clase R
1
es menor que todo nmero o
2
de la segunda
clase R
2
, existe un y slo un nmero real o mediante el cual se produce esa divisin
23
.

La demostracin dada por Dedekind a este maravilloso teorema, la ilustraremos a
continuacin:
Tomando la cortadura
1
,
2
de , se determina la cortadura
1
,
2
en tal que
todo racional de
1
pertenece a
1
y todo racional de
2
pertenece a
2
.

Sea o el nmero real que produce esa cortadura
1
,
2
en los racionales.
Si | o, entonces, existe infinitos nmeros racionales c entre o y |, y, i) o > | o ii)
o < | .

Veamos ahora i) a que clase pertenece todo nmero real | menor que o, y, ii) a que
clase pertenece todo nmero real | mayor que o:
i) S | < o, entonces < o; con lo que
1
y por consiguiente
1
, y como
igualmente | < , tambin |
1
, ya que todo nmero de
2
es mayor que todo
nmero de
1
. Es decir que todo nmero real | menor que o pertenece a
1
.
ii) S | > o, entonces > o; con lo que
2
y por consiguiente
2
, y como
igualmente | > , tambin |
2
, ya que todo racional de
1
es menor que todo
racional de
2
. Es decir que todo nmero real | mayor que o pertenece a
2
.
De i) y ii) se sigue que |
1
si | < o, o bien, |
2
si | > o. Luego, el nmero
real o es el mximo de
1
o o es el mnimo de R
2
. Por lo tanto o es un nmero, y
claramente el nico, mediante el cual se produce la descomposicin de en las clases
1

y
2
, como se quera demostrar.

Esta demostracin establece que la propiedad de continuidad -indemostrable en
geometra- es construible en aritmtica. Adems, una vez definidos los nmeros reales y
construida su continuidad que es equivalente a la continuidad de la recta, se puede ahora

23
Dedekind. R. QU SON Y PARA QU SIRVEN LOS NMEROS?. De la traduccin e introduccin: Jos Ferreiros. Pg. 90.


si definir que todo punto sobre la recta corresponde exactamente a un nmero real y todo
nmero real corresponde exactamente a un punto sobre la recta.

As, la geometra, que vena siendo la herramienta con la que se describan las
propiedades de los nmeros reales, pasan a un segundo plano, pues el sistema de los
nmeros reales (comnmente llamado el continuo real)-sern ahora- la herramienta
base para el estudio de todas las magnitudes -de todas las propiedades geomtricas-.

3. Aspectos didcticos
En virtud de algunas investigaciones relacionadas a nuestro problema didctico,
ilustraremos brevemente las dificultades a tener en cuenta para la construccin de la
propuesta.

En la tesis doctoral Dos conflictos al representar nmeros reales en la recta (ao 2000),
Sara Scaglia detecta dos conflictos cognitivos en relacin con la representacin de los
nmeros reales en la recta:

Conflicto 1: la dificultad para admitir el cierre de un proceso infinito sugerido por las
infinitas cifras decimales de la representacin posicional de algunos nmeros
constructibles. Algunos sujetos tienen dificultad para aceptar que un nmero con infinitas
cifras decimales (constructible) le corresponda un punto determinado de la recta.

Conflicto 2: la falta de distincin en las argumentaciones de los alumnos entre el objeto
ideal (punto geomtrico) y el objeto fsico (la marca efectuada con lpiz sobre el papel).
Se trata de las dudas suscitadas en algunos sujetos al valorar un dibujo en el papel, que
tienen origen en afirmaciones que pertenecen al mundo matemtico ideal.

Basados en el hecho de que la representacin de los nmeros reales en la recta
proporciona una comprensin intuitiva de la continuidad de , principal caracterstica de
este conjunto, concluyen que:

El primer conflicto es un obstculo epistemolgico para aceptar el nmero real como
ente matemtico.

En primer lugar, los procesos infinitos que permiten encontrar la expresin decimal
infinita de un nmero inducen a no aceptarlo como una totalidad. El problema radica en
que no conciben el decimal infinito como un infinito actual. No obstante, la aceptacin
del infinito potencial es la base para desarrollar nuevos objetos conceptuales como es el
del infinito actual
24
. O sea que los procesos infinitos son necesarios para llegar a aceptar
el infinito actual y por ende a los decimales infinitos como nmeros.

24
Qu hay detrs de las dificultades que presenta la comprensin del concepto de nmero real? Gloria
Garcia pg 5

En segundo lugar, para Scaglia la representacin de los decimales infinitos en la recta no
es exacta. Ante eso, propone trabajar la representacin de los nmeros constructibles
sobre la recta en su representacin icnica y mediante regla y comps. Como los
nmeros construibles tienen la limitante de no representar a todos los nmeros reales,
entonces la suposicin de la biyeccin punto-nmero en secundaria surge de intuir que
la constructibidad se generaliza a todo nmero real.

Al segundo conflicto Scalia no lo denomina obstculo ya que para algunos matemticos,
segn Bachelard, la realidad de las nociones (matemticas) estn ntimamente
relacionadas con objetos del mundo fsico, lo que igualmente le sucede al estudiante.
No obstante, asumir la recta como un conjunto de puntos es indispensable a la hora de
asociarla con el conjunto de nmeros reales. En consecuencia, s existe un obstculo, que
surge al aceptar la recta como conjunto de puntos, y corresponde a la dificultad de
diferenciar y comprender la densidad y continuidad de la recta, impidiendo la
comprensin de conceptos como la biyeccin con y su continuidad.

Teniendo en cuenta los anteriores prrafos y nuestro problema Cmo introducir la
nocin densidad y continuidad para comprender el concepto de nmero real y la
biyecin nmero real-punto de la recta? podemos concretar lo siguiente:

Los mtodos que conducen a procesos infinitos pueden ser usados para conseguir la
expresin decimal de un nmero real sin acudir a la calculadora que usualmente se utiliza
para mostrar a los estudiantes que un nmero real, como 2, es infinito no peridico.
As podemos dar una representacin a los reales con la cual diferenciar un racional de un
irracional en su aspecto de notacin.

En cuanto a la continuidad de R (principal caracterstica) y su correspondencia biunvoca
con los puntos de la recta es importante tener en cuenta que:
Como se est comparando dos conjuntos infinitos, la recta y R, la generalizacin intuitiva
del proceso de representacin de los nmeros construibles a todos los reales necesita de
un argumento un poco ms riguroso que la apoye, lo que induce a pensar en cmo
hacerla ms creble. La clave est en describir primero la naturaleza de la recta (conjunto
de puntos con la propiedad de estar distribuidos en forma densa y continua), luego
descubrir que R tambin posee esas propiedades y finalmente, por la equivalencia entre
estos conjuntos respecto a las propiedades de densidad y continuidad, decretar que los
elementos de estos conjuntos se corresponden biunvocamente, dando un argumento
ms fuerte al supuesto generado por la generalizacin intuitiva de la constructibidad.
Aspectos Didcticos 37

3.1 Propuesta didctica
Segn el Ministerio de Educacin Nacional la educacin matemtica hoy por hoy debe
buscar el reconocimiento de la matemtica como creacin humana en el marco de los
fines sociales, polticos y culturales de la sociedad. Para ello propone reconocer tres
factores:

- Una educacin bsica masiva con equidad y calidad. Hay que tener en cuenta las
dificultades pedaggicas que surgen en el proceso de masificacin, ya que ingresan
estudiantes con muchas deficiencias y desmotivados.

- El valor social ampliado de la formacin matemtica. Hace referencia en reconocer
que el conocimiento matemtico es necesario para el buen desempeo en la vida
profesional, social, poltica en la interpretacin de informacin y toma de decisiones.

- El papel de la matemtica en la consolidacin de valores democrticos. Se refiere a
que en el proceso de enseanza los docentes y estudiantes deben interactuar para
construir y validar los conocimientos.

La enseanza est orientada en el desarrollo de competencias matemticas, cientficas,
tecnolgicas, lingsticas y ciudadanas
25
. En ese sentido la educacin matemtica debe
promover la formacin de personas matemticamente competentes, que segn los
lineamentos curriculares, corresponde a personas capaces de manejar los cinco procesos
generales que involucran toda actividad matemtica:
Resolver y plantear problemas
Modelar procesos y fenmenos de la realidad
Comunicar. Manera de pensar (coherente, clara, precisa)
Razonar (formular, argumentar, demostrar)
Elaborar, comparar y ejercitar procedimientos y algoritmos.

En el marco de los argumentos dados en los prrafos anteriores, nuestra propuesta
propende desarrollar los siguientes contenidos o conocimientos.
3.1.1 Contenidos o conocimientos
Conceptuales

Son los conocimientos tericos que se desarrollaran en la actividad cognitiva

25
Ministerio de Educacin Nacional, (2006). Documento N3, Estndares Bsicos de Competencias en Lenguaje, Matemticas, Ciencias
y Ciudadanas. Pgina 48

- Magnitudes conmensurables, razn y proporcin.
- Fraccin racional y fracciones decimales-
- Expresin decimal de una fraccin racional.
- Expresin fraccionaria de un decimal finito e infinito peridico.
- Fraccin continua de una fraccin racional.
- Fraccin racional de una fraccin continua simple finita.
- Magnitudes inconmensurables y nmeros irracionales.
- Fraccin continua y expresin decimal de un nmero irracional.
- Densidad y continuidad de la recta.
- Nmeros reales.
- Densidad y completitud de R.
- Correspondencia biunvoca del conjunto de nmeros reales y los puntos de la recta.

Procedimentales

Comprende las destrezas que desarrollara el estudiante para manejar algoritmos y
argumentar convincentemente.

- Obtencin de unidad de medida comn y la fraccin racional de segmentos
conmensurables con el algoritmo de Euclides.
- Obtencin de la expresin decimal y la fraccin continua de una fraccin racional.
- Obtencin de la fraccin racional de una expresin decimal infinita peridica y de una
fraccin continua simple finita.
- Obtencin de aproximaciones decimales de nmeros irracionales con fracciones
continuas.
- Representacin y ordenacin en la recta nmeros reales con mtodos geomtricos.
- Representacin de intervalos y semirectas.

Actitudinales

Se refiere a los comportamientos y valores que asumir el estudiante durante el proceso
de enseanza

- Incitar la curiosidad en los procedimientos utilizados para la resolucin de problemas
y ejercicios propuestos.
- Estimular el hbito en el estudio de las matemticas y reconocer su importancia para
el desarrollo de la sociedad y el individuo.
- Entusiasmar a los estudiantes apticos al estudio de la matemtica.
- Valorar y respetar las preguntas y respuestas de los compaeros
- Fomentar buenas relaciones interpersonales entre estudiante-estudiante y
estudiante-maestro.

- Espritu de colaboracin y liderazgo en el desarrollo de las actividades.
- Propiciar el trabajo en grupo para el desarrollo del pensamiento crtico.

Los anteriores conocimientos estn en funcin de los siguientes estndares que propone
el Ministerio de Educacin Nacional.

3.1.2 Estndares bsicos
Pensamiento numrico y sistemas numricos

Analizo representaciones decimales de los nmeros reales para diferenciar entre
racionales e irracionales.

Reconozco la densidad e incompletitud de los nmeros racionales a travs de mtodos
numricos, geomtricos y algebraicos.

Pensamiento espacial y sistemas geomtricos

Uso argumentos geomtricos para resolver y formular problemas en contextos
matemticos y en otras ciencias.

Pensamiento mtrico y sistemas de medidas

Diseo estrategias para abordar situaciones de medicin que requieran grados de
precisin especficos.

Pensamiento variacional y sistemas algebraicos analticos

Utilizar las tcnicas de aproximacin en procesos infinitos numricos.
3.1.3 Metodologa
Nuestra metodologa pretende interrelacionar algunas caractersticas de tres modelos
pedaggicos: el activista, el constructivista y el conceptual. Se busca mediante preguntas
que el estudiante participe activamente en la concepcin de conceptos y lo guen en la
construccin o estructura del conocimiento matemtico.

Las actividades inician con exposiciones que integran preguntas y aspectos histricos.
Durante las actividades se va mostrando la incompletidud de Q desde lo geomtrico,
numrico y algebraico. Cada una de las actividades hace principal nfasis en:

- Uso del algoritmo de Euclides como proceso finito para comprender cundo dos
magnitudes son conmensurables.
- Uso del algoritmo de Euclides como proceso finito e infinito para mostrar la
equivalencia decimal, simblica y en fraccin continua de los nmeros reales.
- Clasificacin de los nmeros racionales, irracionales y reales mediante expresiones
decimales y fracciones continuas.
- Ordenamiento de nmeros reales en la recta con mtodos geomtricos y algebraicos.

El mtodo algebraico se usa para formar particiones o cortaduras en la recta y describir el
orden denso y la continuidad de los nmeros reales, paso fuerte para la aceptacin de
una correspondencia biunvoca entre y los puntos de la recta.
3.1.4 Recursos materiales
Los materiales necesarios que deben tener los estudiantes para el desarrollo de las
actividades son:

- Regla y comps para realizar diversas construcciones.
- Papel milimetrado para tener una mayor precisin en la ubicacin de nmeros reales
en la recta.
- Calculadora para encontrar la expresin decimal de las convergentes de una fraccin
continua.
- Lpiz y colores para identificar partes esenciales en las distintas representaciones de
los nmeros reales y en las grficas.
- Cuaderno cuadriculado para llevar registro de las exposiciones y actividades.

Entre la gran cantidad de materiales que puede utilizar el maestro registramos a
continuacin algunos bsicos:

- Borrador y marcadores de colores para tablero acrlico.
- Video proyector y computador con el programa regla y comps (CaRMetal).
3.1.5 Evaluacin
La evaluacin ser un medio diagnostico con el cual podremos identificar las dificultades
conceptuales, procedimentales y actitudinales que el estudiante ha adquirido con el fin
de buscar alternativas que refuercen tales dificultades.

La evaluacin tendr en cuenta los siguientes aspectos:
- Participacin en clase. Se har por observacin directa del trabajo que realiza el
educando en forma individual y grupal.

- Revisin de cuadernos: se revisar que estn ordenados, con todos los conceptos,
procedimientos y actividades completas.
- Disciplina. Se har por observacin directa del comportamiento del estudiante en
aspectos como el respeto y la responsabilidad durante el desarrollo de las
actividades.
- Pruebas escritas al terminar las actividades para identificar falencias en los conceptos
y procedimientos adquiridos por el educando.
- La coevaluacin entre educandos. Se harn intercambios de las actividades
desarrolladas para que los estudiantes corrijan el trabajo de sus compaeros y as
desarrollen el pensamiento crtico.

4. Conclusiones y recomendaciones
4.1 Conclusiones
El trabajo condujo a la construccin de una unidad didctica destinada a dar un
acercamiento al concepto y la completitud de los nmeros reales para la enseanza a
estudiantes de grado undcimo o primer semestre universitario en el rea del clculo.

Para el diseo de la Unidad Didctica se tuvo como base aspectos histricos y
disciplinares que permitieron:
- Establecer un lapso entre el surgimiento y la forma de introducir los conceptos y
procedimientos matemticos.
- Identificar los problemas y dificultades en la formacin de conceptos y
procedimientos matemticos, y reconocer las soluciones dadas de acuerdo al estado
de conocimiento de la poca, como referente para la constitucin de las actividades
en la unidad didctica.
- Reconocer la matemtica como una creacin humana que busca como toda ciencia su
consistencia. En este caso se debe tener en cuenta que la matemtica cuando es
presentada en forma terica se deja de reconocer la evolucin y dificultades que se
tuvo para llegar a ello.

Las actividades de la unidad didctica tienen una estructura que se integra al currculo
que propone el Ministerio de Educacin Nacional para educacin bsica secundaria. El
trabajo con el algoritmo de Euclides condujo a procesos de medicin y procesos infinitos
vinculando las actividades con el pensamiento mtrico y pensamiento variacional. Los
problemas histricos contextualizaron hechos, promovieron la reconstruccin de la
forma de surgir de los conceptos y procesos, y permitieron trabajar en los contextos
geomtricos, aritmticos y algebraicos, vinculando de esa manera las actividades con el
pensamiento numrico y espacial. Es de resaltar tambin el simbolismo algebraico como
herramienta para la representacin de los nmeros reales estableciendo una intima
conexin de las actividades con el pensamiento numrico.

4.2 Recomendaciones
Las actividades propuestas traen consigo algunas precauciones a la hora de abordarlas;
dichas precauciones se relacionan con:

- El trabajo de medicin es con frecuencia impreciso a la hora de buscar la unidad
comn para dos segmentos. Se recomienda usar hojas milimetradas.
- Para los procesos de representacin de fracciones e irracionales a decimales y
fraccin continua, y viceversa, es recomendable que los estudiantes comprendan con
anterioridad el concepto de fraccin y operen (+. . ,) fracciones.
- En la representacin en la recta de nmeros es aconsejable el manejo de la
semejanza de tringulos o el teorema de Tales de Mileto.

Cabe decir que las actividades pueden promover la construccin de nuevas unidades
didcticas destinadas a fortalecer temas como:

- Concepto y clasificacin de las fracciones
- Operaciones entre nmeros racionales
- Orden y representacin en la recta de los nmeros
- El conjunto de los nmeros construibles
- Propiedades y convergencia de fracciones continuas
- Representacin en la recta de nmeros decimales

BIBLIOGRAFIA

lvarez, Carlos. El continuo lineal. intuicin geomtrica o construccin aritmtica. Editado por
UNAM. Revista Hispanoamericana de Filosofia (Critica) XXIII, n 69 (1991): 83-99.
Cantorial, Ricardo. Desarrollo conceptual del clculo. Mexico: Thomson, 2004.
Castro, Ivan. Un paseo finito por lo infinito. Bogot: Universidad Nacional, 2006.
Collette, Jean-Paul. Historia de las matemticas. Mexico: Siglo ventiuno, 1986.
Courant, Richard. Introduccin al clculo y al anlisis matemtico. Noriega: Limusa, 2003.
Courant, Richard. Qu es la matemtica. Traduccin de Luis Bravo Gala. Universidad de New York:
Aguilar, 1967.
Cuestas, N. Los nmeros reales como tri-particiones Eudoxo-Euclideas del conjunto de
fracciones. http://dmle.cindoc.csic.es/pdf/GACETAMATEMATICA_1970_22_5-6_02.pdf (ltimo
acceso: 10 de Octubre de 2011).
Dedekind, Richard. "Qu son y para qu sirven los nmeros" (una edicin y traduccin de Jos
Ferreirs). Madrid: Alianza, 1998.
Euclides. Elementos. Una traduccin de Mara Luisa Puertas. Madrid: Gredos, 1991.
Filloy, Eugenio. Didctica e historia de la geometra Euclidiana. Mxico: Grupo Editorial
Iberoamericana, 1998.
Flores, Francisco. Historia y didctica de los nmeros racionales e irracionales. Espaa: Ittakus,
2008.
Garcia, Gloria. Qu hay detrs de las dificultades que presenta la comprensin del concepto de
nmero real? Bogot: Universidad Pedaggica Nacional.
Gnzalez, Pedro Miguel. La solucion de Eudoxio a la crisis de los inconmensurables.
http://www.hezkuntza.ejgv.euskadi.net/r43-
573/es/contenidos/informacion/dia6_sigma/es_sigma/adjuntos/sigma_33/8_solucion_eudoxo_3
3.pdf (ltimo acceso: 10 de Octubre de 2011).
Hawkind, Stephen. Dios cre los nmeros. Barcelona: Critica, 2007.

Ivorra, Carlos. Teoria de nmeros. http://www.uv.es/ivorra/Libros/Numeros.pdf (ltimo
acceso: 6 de Junio de 2010).
Lpez, Manuel. Las construcciones de los nmeros reales.
http://dmle.cindoc.csic.es/pdf/HISTORIADELAMATEMATICA_1994_00_00_01.pdf (ltimo acceso:
15 de Agosto de 2011).
Luque, Carlos. Una construccin de los nmeros reales positivos. Bogot: Universidad Pedaggica
de Colombia, 2004.
Ministerio de Educacin Nacional. Documento 3, Estndares Bsicos de Competencias en
Lenguaje, Matemticas, Ciencias y Ciudadanas. Editado por MEN. Bogot, 2006.
Ministerio de Educacin Nacional. Matemticas. Lineamientos Curriculares. Editado por MEN.
Bogot, 1998.
Niven, Ivan. Introduccin a la teora de nmeros. Mxico: Limusa, 1976.
Niven, Ivan. Racionales e Irracionales. Una traduccin de lvaro Pinzn. Colombia: Editorial
Norma, 1961.
Pelegino, Samuel. Didctica en los nmeros reales. Espaa: Ittakus, 2010.
Romero, Isabel. "Representacin y comprensin del concepto de nmero real. Una experiencia
didctica en secundaria". REVISTA EMA VOL 4, n N 2 (1999): 117-151.
Sanabria, Geovany. Los nmeros reales utilizando cortaduras de Dedekind y sucesiones de
Cauchy. http://es.scribd.com/doc/49884444/Losnumerosrealesutilizandocortaduras (ltimo
acceso: 22 de 12 de 2010).
Scalia, Sara. "Dos conflictos al representar nmeros reales en la recta". Tesis doctoral. Granada:
Universidad de Granada, 2000.
Snow, Joanne E. VIEWS ON THE REAL NUMBERS AND THE CONTINUUM.
http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=eucli
d.rml/1081173837 (ltimo acceso: 20 de Marzo de 2011).
Spivak, Michael. Clculo Infinitesimal. Mexico: Editorial Revert S.A, 1992.
Trejos, Csar. El concepto de nmero. Monografia N 7, Serie de matemticas. Washington :
Secretaria General de la O.E.A, 1985.

A. Anexo: magnitudes conmensurables, razn y
proporcin


GRADO UNDCIMO
ACTIVIDADES DE DESARROLLO, PRIMERA PARTE
MAGNITUDES CONMENSURABLES, RAZN Y PROPORCIN

Los pitagricos consideraron como principio universal que todo es nmero. Para asociar
un nmero a un segmento tomaban un segmento de recta como unidad y con las
herramientas, regla y comps, los sumaban varias veces para construir otro segmento de
recta cuya longitud era un nmero (natural mayor que 1). El proceso inverso de tener dos
segmentos y determinar una unidad comn tambin lo practicaban con el uso de regla y
comps, Cmo lo haran?.

Observa el siguiente proceso para hallar el mximo comn divisor de dos nmeros
enteros:
30-8=22, 22-8=14, 14-8=6, 8-6=2, 6-2=4, 4-2=2, 2-2=0. 2 es el mximo comn divisor
de 30 y 8.
Se trata de un mtodo que va realizando sustracciones sucesivas (actualmente conocido
con el nombre de algoritmo de Euclides).

1. Se desea cortar dos trozos de madera en partes iguales de mayor longitud posible.
Cul es la longitud mxima de cada parte si los trozos de madera miden 120cm y 50cm
respectivamente?
(Aplica el algoritmo anterior para determinar el MCD (parte de longitud mxima) de
120cm y 50cm)

2. Dibuja dos segmentos M y N de 6 y 10 cuadrculas respectivamente y construya un
segmento U que sea unidad comn de M y N. (Usa el procedimiento ilustrado
anteriormente pero con segmentos, regla y comps.) Cuntas cuadriculas tiene U?
Cuntas veces cabe U en M y N?. Las veces que cabe U en M y en N llmelas m y n
respectivamente, escribe M y N en la forma M=mU y N=nU?.

Cuando U es unidad de medida comn de dos segmentos M y N, diremos que m y n son
las veces que debemos prolongar U para construir M y N respectivamente, o sea M=mU y
N=nU. Cuando exista unidad de medida comn para dos segmentos diremos que estos
son conmensurables o medibles con dicha unidad.

El algoritmo de Euclides aplicado a los segmentos de recta del ejercicio 2, da origen a una
relacin todo-todo m:n, que se entiende as: por cada m unidades U en M hay n unidades
U en N. Esta relacin m:n llamada razn, no es un nmero fraccionario, pues estos se
interpretan como una relacin parte-todo. Sin embargo, para nosotros dichas razones
sern llamadas fracciones racionales, entendidas como un cociente entre nmeros
enteros
.
Anexo: magnitudes conmensurables, razn y proporcin 49

Los creadores de este algoritmo fueron los pitagricos que lo usaron para encontrar la
razn entre dos segmentos de cuerda sonoras.

3. Escribe la razn que hay de A a B con la unidad comn U y la de C a D con la unidad U'.

Fig 1
Qu puedes decir de estas dos razones?

Cuando dos segmentos A y B estn en razn m:n, existe un segmento U tal que A=mU y
B=nU. Si dos segmento C y D tambin estn en razn m:n, existe otro segmento U' tal
que C=mU' y D=nU', en tal caso, diremos que los pares de segmentos A, B y C, D son
proporcionales denotndolas A:B::C:D y leyndolas A es a B como C es a D.

Respecto a la figura 1, si pensamos en que U' es el doble de U, se tendra con U la fraccin
racional para la relacin A y B as
8
5
, y para la relacin C y D as
16
10
, o sea que se forma la
proporcin
8
5
=
16
10
.

Es habitual utilizar la proporcionalidad cuando un par de tringulos son semejantes, por
ejemplo,

Se dice que dos tringulos son semejantes si sus lados correspondientes son
proporcionales. En este caso
3
6
=
5
10
=
4
8

ACTIVIDAD DE AFIANZAMIENTO

a. Debajo de cada imagen dibuja la mayor unidad de medida comn para el par de
segmentos dados. (Razona usando el algoritmo de Euclides)
i. ii.
unidad: unidad:


iii. iv

unidad: unidad:

v. vi.
unidad: unidad:

b. Para cada uno de los grficos anteriores halla las siguientes razones respecto a la
mayor unidad de medida comn que determinaste en cada caso.
i. A:B ii. C:D iii. D:E iv. F:G v. J:K vi. L:M.

c. Partir el segmento en dos segmentos cuya
razn sea 3:5.

d. Observe a continuacin un cubo formado por cubitos de arista de longitud una unidad.

i. Si se quitan los 8 cubitos de las esquinas, Qu cambios tendr la nueva figura en
relacin con la inicial?
i.1. la superficie aumenta y el volumen disminuye.
I.2. la superficie disminuye y el volumen aumenta.
1.3 la superficie y el volumen se mantienen iguales.
1.4 la superficie es igual y el volumen disminuye.

ii. Cmo puedes obtener una figura cuyo volumen sea 3 unidades menor que el cubo y
su superficie 4 unidades mayor?
ii.1 Quitando tres cubitos laterales
ii.2 Quitando un cubito interior y dos laterales que estn junto a l.
ii.3 Quitando dos cubitos laterales y uno de la esquina que est junto alguno de ellos.
Anexo: magnitudes conmensurables, razn y proporcin 51

ii.4 Quitando tres cubos laterales.

iii. Teniendo en cuenta que la unidad de medida para la superficie es , determine:
iii.1. la razn que hay entre la superficie de una figura sin los 12 cubitos laterales a la
superficie del cubo original.
iii.2. la razn entre las superficies de una figura sin 6 cubitos laterales y otra figura sin 6
cubitos interiores.

e. Carlos quiere medir con sus pies la longitud de una carretera que va en lnea recta
desde el punto A hasta B. Para realizar la medicin decide partir del punto A y dar pasos
de tal forma que la punta de un pie toque el taln del otro. En cierto momento Carlos se
fatiga y decide delegar a su to Cristian para que contine la labor hasta el punto B, donde
termina la carretera.

Carlos dio un total de 408 pasos y Cristian 272 pasos. Carlos sabe que 3 pasos suyos
equivalen a 2 pasos de su tio. Segn esta situacin Carlos puede inferir que:
e.1 la distancia recorrida por l es menor que la recorrida por su tio.
e.2 la distancia recorrida por ambos es igual.
e.3 la distancia recorrida por l es mayor que la de su tio.
e.4 la distancia recorrida por l es el doble que la de su tio.

f. Observa el siguiente mtodo de divisiones sucesivas:

30 = 3 8 + 6 8 = 1 6 +1 6 = 3 2 +0
30 = 3 8 + 6 (dividendo 30, divisor 8, cociente 3, residuo 6)
8 = 1 6 +1 (dividendo 8, divisor 6, cociente 1, residuo 2)
6 = 3 2 +0 (dividendo 6, divisor 2, cociente 3, residuo 0)

El ltimo divisor que dio residuo cero es 2. Compara este mtodo con el presentado al
comienzo de la actividad, Qu permite determinar el algoritmo usual de la divisin si se
usa en divisiones sucesivas?

g. Determina la longitud de los lados para las siguientes parejas de tringulos semejantes.

i.
ii.

RESUMEN DE LA ACTIVIDAD

En esta actividad se presenta el algoritmo de Euclides como mtodo para entender
cundo dos segmentos son conmensurables y poder representar esta relacin como un
cociente de nmeros enteros que denominamos fraccin racional. Inicialmente se
muestra el algoritmo de Euclides como un proceso finito que permite encontrar el MCD o
la mayor unidad de medida comn para dos segmentos, comprendiendo por ende que
son medibles con dicha unidad o conmensurables. Luego se determinan nmeros
enteros que caracterizan la relacin de los segmentos en forma numrica, como razn,
que en nuestro caso llamamos fraccin racional. Finalmente se trabaja el significado de
proporcin para segmentos conmensurables y una ligera aplicacin en tringulos
semejantes.

B. Anexo: Las fracciones como expresin
decimal y fraccin continua


GRADO UNDCIMO
ACTIVIDADES DE DESARROLLO, SEGUNDA PARTE
LAS FRACCIONES COMO EXPRESIN DECIMAL Y FRACCIN CONTINUA

Se dice que los egipcios y babilonios fueron los primeros en utilizar las fracciones como
accin de partir o quebrar y los griegos las manejaban como razones (que no era
propiamente un nmero). En nuestro caso, las fracciones sern cocientes u operadores
que dividen una unidad en partes iguales, y por tanto representan cantidades mayores
que la unidad o partes de ella. Por ejemplo:
- Repartir 18 libras de arroz a 5 personas
El todo: 1 libra; Significado de la fraccin: cociente (
18
5
)
- Regale un tercio de la chocolatina
El todo: 1 chocolatina; Significado de la fraccin: operador (
1
3
)
- El 25% de estudiantes del curso tienen ojos claros
El todo: los estudiantes del curso; Significado de la fraccin: operador (
25
100
)

Para calcular la fraccin de un nmero, se multiplica por el numerador y el resultado se
divide por el denominador. Por ejemplo:
2
5
de 6, se hace
26
5
=
12
5
.

Las fracciones anteriores pueden transformarse como nmeros decimales. Una
representacin equivalente a la fraccin irreducible
1
2
, diferente a
2
4
,
3
6
, , es la expresin
decimal 0,5. Esta expansin decimal se pueden obtener dividiendo el numerador entre el
denominador de las fracciones.

Realiza la divisin del numerador entre el denominador de cada una de las siguientes
fracciones:
18
5
,
7
25
y
17
40
. Al realizar las divisiones se llega a algn residuo cero?

Algunas fracciones tienen una representacin decimal finita o ilimitada. Por una parte, si
tomas el cociente de las divisiones anteriores obtenemos las igualdades:

18
5
= 3,6;
7
25
= 0,28;
17
40
= 0,425, lo cual muestra decimales finitos

Por otra parte, existe una situacin curiosa cuando se realiza la divisin para determinar
la expansin decimal de otras fracciones. Por ejemplo, desarrolla la divisin del
numerador entre el denominador de las fracciones:
1
3
,
7
25
y
17
40
.
En algn momento el residuo es cero? Algn o algunos residuos se repiten en la
divisin?

La divisin continua indefinidamente?. Hay que tener en cuenta que el algoritmo de
divisin en estos casos conduce a un proceso infinito, una idea de infinito potencial.

Anexo: Las fracciones como expresin decimal y fraccin continua 55

El cociente de las anteriores divisiones no tienen una cola finita despus de la coma
decimal, luego existen fracciones cuya expansin decimal es infinita o ilimitada:
1
3
= 0,333;
1
6
= 0,16666;
3
11
= 0,272727 .

Qu fracciones pueden transformarse en una expresin decimal finita?
Para contestar la pregunta observa lo siguiente:
Al dividir 4251000 se tiene que
425
1000
= 0,425;
Luego, en forma inversa, un decimal finito puede escribirse como una fraccin decimal o
fraccin cuyo denominador es una potencia de 10. O sea que si logramos identificar qu
fracciones pueden escribirse como fracciones decimales, sabremos cuales son las que
tienen expansin decimal finita.
Ahora bien, al simplificar la fraccin decimal
425
1000
(dividiendo por el MCD de 425 y 1000
que es 25), se tiene
0,425 =
425
1000
=
17
40
,

Determina los divisores primos de 1000 y 40. Qu nmeros primos dividen las potencias
de 10? Qu caracterstica especial tiene el denominador de la fraccin irreducible
17
40
?.
Qu fracciones pueden expresarse como fraccin decimal?. Contesta ahora la pregunta.

Si el denominador de una fraccin irreducible tiene factores primos distintos de 2 y 5,
entonces tiene una expansin decimal infinita. Estas fracciones se suelen representar
como una suma infinita de fracciones decimales finitas. Esta suma la llamaremos
fraccin decimal infinita.
1
6
= 0,16666 = 0,1 + 0,06 + 0,006 +0,0006 + =
1
10
+
6
100
+
6
1000
+
6
10000
+

La expansin decimal de una fraccin tambin suele escribirse de forma polinmica con
trminos de la forma 10
donde a es un digito de 0 a 9 y n un entero.

3,97 = 3 10
0
+ 9 10
1
+7 10
2

0,425 = 0 10
0
+4 10
1
+2 10
2
+ 5 10
3

0,1666 = 0 10
0
+ 1 10
1
+6 10
2
+6 10
3
+

La representacin decimal est compuesta por tres elementos:
- Parte entera: cifras a la izquierda de la coma decimal que indica las veces enteras
que el denominador cabe en el numerador.
- Anteperodo: cifras a la derecha de la coma decimal que no muestran repeticin.
- Bloque peridico: cifras a la derecha de la coma decimal que se repiten
continuamente; a este bloque se le escribe un smbolo llamado testa para
reducir su escritura.

.3 2 , 8 7 3 51 51 51 = 3 2 , 8 7 3 51

Parte entera Anteperodo Bloque peridico
Algo curioso que podemos hacer con los decimales finitos es transformarlos en decimales
infinitos peridicos. Una forma obvia es colocndoles bloque peridico 0, por ejemplo
2,3=3,300, pero una forma an ms sorprendente.
Sabemos que la expresin decimal de
1
3
es:
1
3
= 0,33333,
Multiplica ambos lados de la igualdad por 3. Qu te resulta?

De otra forma, si suponemos = 0,9999 , y multiplicamos ambos lados de la igualdad
por 10, resulta
10 = 9,999 o 9 + = 9 + 0,999
Ecuacin cuya solucin es 9 = 9 o = 1, de donde tendremos
1 = 0,999
Dividiendo esta ltima igualdad por 10, 100, 1000, etc, se obtiene:
0,1 = 0,0999
0,01 = 0,00999
0,001 = 0,000999

O sea que todo decimal finito se convierte en decimal infinito con bloque peridico 9:
2,35 = 2,34 + 0,01 = 2,34 + 0,00999 = 2,34999

Y viceversa, todo decimal infinito de periodo 9 se convierte en decimal finito:
1,3999 = 1,3 +0,0999 = 1,3 +0,1 = 1,4

Finalmente, podemos decir que al dividir el numerador por el denominador de una
fraccin se determina su expansin decimal que puede ser finita o infinita peridica segn
se llegue a algn residuo cero o ningn residuo cero, respectivamente. Adems, fracciones
con denominadores no distintos de 2 o 5 tienen expansin decimal finita (fraccin
decimal) y, en caso contrario, su expansin decimal es infinita peridica (fraccin decimal
infinita). Pero tambin descubrimos que los decimales finitos pueden escribirse como
decimales infinitos con bloque peridico 9, por ejemplo 0,43 = 0,429
. Concluimos de ese
modo que todas las fracciones son decimales infinitos peridicos.


a. Expresa las siguientes fracciones como fracciones decimales finitas. Sigue el ejemplo:
7
250
=
7
25
3
2
2
2
2
=
74
2
3
5
3
=
28
10
3
.
i.
18
5
ii.
7
25
iii.
3
8

iv.
9
80
v.
1
40
vi.
19
50


vii.
11
2
2
5
viii.
2
2
5
5
ix.
15
2
3
5

b. Determina la expresin decimal y polinmica de cada fraccin
i.
12
5
ii.
3
2
iii.
13
20

iv.
9
7
v.
5
6
vi.
19
21

vii.
11
4
viii.
23
5
ix.
15
9

c. Completar el encabezado del cuadro para mostrar el sistema posicional en base 10 (las
dos primeras filas horizontales)

DM UM C D U
10
4
10
3
10
2
10
1
10
0

Ahora observa los nmeros decimales que se dan a continuacin, ubcalos en el cuadro y
completa:

4,32 1,736
Forma polinmica:________________ Forma polinmica:________________
Fraccin decimal:______ Fraccin decimal:_____
Forma fraccin irreducible:_____ Forma fraccin irreducible:_____

34,544 219,03208
Forma polinmica:________________ Forma polinmica:________________
Fraccin decimal:______ Fraccin decimal:______
Forma cociente (fraccin irreducible):_____ Forma fraccin irreducible:_____

d. Verifica que cada fraccin dada a continuacin es irreducible y equivalente a una
fraccin decimal.
23
100
,
17
1000
,
11
4
,
12
25
,
23
5
,
9
16
,
7
180
.

*Escribe cuatro fracciones que sean irreducibles y se puedan expresar como fraccin
decimal:______________________________________________________
*Qu caracterstica debe cumplir las fracciones irreducibles para ser equivalentes a una
fraccin decimal? (tenga en cuenta cules nmeros primos dividen el denominador).
_____________________________________________________________
*Escriba cuatro fracciones irreducibles que no sean equivalentes a una fraccin decimal:
_____________________________________________________________


e. Escriba cada decimal finito como decimal infinito con periodo 9:
i. 0,21999 ii. 0,386999 iii. 1,999 iv. 9,999

f. Convierta cada nmero como decimal finito
i. 0,49 ii. 0,215 iii. 1,0009 iv. 17

g. Realiza la divisin 5 entre 29, para conocer la expansin decimal de
5
29
.
Necesariamente algn residuo es cero o algn residuo se repite?. Explica tu respuesta.

h. Existe alguna fraccin irreducible tal que su expansin decimal no es finita ni infinita
peridica? Explica

i. Carlos quiere medir con sus pies la longitud de una carretera que va en lnea recta
desde el punto A hasta B. Para realizar la medicin decide partir del punto A y dar pasos
de tal forma que la punta de un pie toque el taln del otro. En cierto momento Carlos se
fatiga y decide delegar a su to Cristian para que contine la labor hasta el punto B, donde
termina la carretera. Carlos dio un total de 408 pasos y Cristian 272 pasos.

La Alcaldia decide pavimentar la carretera que midi Carlos con sus pies. Para ello envia
un topografo que determine la longitud de la carretera. El topgrafo midio 418m y dijo
que la medida de Carlos tiene un error de 1,5%.. Con base en ese error se puede concluir
que:
i.1 Carlos tuvo un error de 5m
i.2 los pies de Carlos tienen una diferencia de tamao del 1,5% respecto a los de su tio
i.3 la medida de Carlos est entre 411,73 o 424,27
i.4 la diferencia entre la medicin de Carlos y el topgrafo es de 9m

Hemos visto que toda fraccin tiene una expansin decimal infinita peridica. Puede
darse el proceso inverso?, es decir, dado un decimal infinito peridico, Puedes encontrar
la fraccin que la genera?.

El procedimiento es sencillo, para decimales infinitos con periodo 9 o decimal finito ya se
vio que pueden expresarse como fraccin decimal finita.

Cuando el decimal es infinito peridico se debe realizar lo siguiente:

Por ejemplo, consideremos el decimal,

= 1,24765
= 1,24765765 (1)

Lo primero es multiplicar ambos lados de la igualdad (1) por una potencia de 10 de tal
modo que el primer bloque peridico quede antes de la coma decimal. En nuestro caso,
10
5
= 12476,5765 (2)

Luego multiplicamos nuevamente la ecuacin (1) por otra potencia de 10 tal que el
anteperiodo quede antes de la coma decimal. Si el decimal no tiene anteperiodo se
multiplica por 10
0
o sea 1. En nuestro ejemplo,

10
2
= 124,765765 (3)

Esto lo hacemos con el fin de eliminar el periodo, desde donde inicia la repeticin del
bloque peridico, de la siguiente manera:

Se determina la diferencia entre las igualdades (2) y (3)
10
5
= 124765,765765
10
2
= 124,765765
9900 = 124641
De donde obtenemos =
124641
9900
la fraccin generadora del decimal 1,24765765 .

Hay que tener en cuenta que la diferencia entre dos decimales infinitos se puede realizar
debido a que actualmente es aceptado el concepto de infinito en acto o infinito actual.
Entendindose as que la cantidad de dgitos despus de la coma en ambos decimales es
igual.


a. Encuentra la fraccin generadora de los siguientes decimales.
i. 0,619
ii. 1,21555 iii. 1,377 iv. 3, 01

Hay otra forma de representar las fracciones usualmente conocidas como fracciones
continuas. Esta representacin la iniciaron las culturas hind y rabe en el s. V a.C, y
luego fueron perfeccionadas en el s. XVII como mtodo de aproximacin a la solucin de
ecuaciones. La fraccin continua que representa una fraccin puede determinarse con el
algoritmo de Euclides. Por ejemplo, para la fraccin
19
8
:

Si se aplica el algoritmo de Euclides a 19 y 8, resulta lo siguiente:

19 = 2 8 + 3 8 = 2 3 + 2 3 = 1 2 + 1 2 = 2 1 +0

De la primera divisin
19
8
=
28+3
8
= 2 +
3
8
= 2 +
1
8
3
, e igualmente de las dems divisiones

se tendr
8
3
=
2 3 + 2
3
= 2 +
2
3
= 2 +
1
3
2

3
2
=
1 2 + 1
2
= 1 +
1
2
= 1 +
1
2
1

2
1
=
2 1 + 0
1
= 2 +
0
1
= 2 + 0

Es decir que nuestra fraccin
19
8
puede transformarse as:
19
8
= 2 +
1
8
3
= 2 +
1
2+
1
3
2
= 2 +
1
2+
1
1+
1
2
1
= 2 +
1
2+
1
1+
1
2
,
donde la expresin 2 +
1
2+
1
1+
1
2
es la fraccin continua simple de

19
8
. Su denominacin
simple es porque conocidos los cocientes- que son enteros positivos- se determina la
fraccin continua.

Ahora bien, como dichos cocientes se encuentran con el algoritmo de la divisin, podemos
formular un proceso sencillo para determinar esta fraccin continua simple al unir las
anteriores divisiones quitando los residuos y ubicndolos a la derecha de cada uno de los
sucesivos divisores as:

El proceso consiste en ir haciendo la divisin procurando ubicar los residuos a la derecha
de cada divisor hasta llegar al residuo cero, el cual se ubica a la derecha del ltimo divisor,
pero no ser un divisor. La fila de cocientes [2; 2, 1, 2] determina la fraccin continua y
escribiremos:
2; 2, 1, 2 = 2 +
1
2+
1
1+
1
2

Las fracciones continuas han sido usadas para representar el cociente entre dos
segmentos. Por ejemplo, el cociente entre los segmentos de 14 y 11 unidades puede
expresarse por la fraccin continua

14 = 1 11 +3 11 = 3 3 +2 3 = 1 2 + 1 2 = 2 1 +0


14
11
= 1 +
1
3 +
1
1 +
1
2

Las fracciones continuas tambin tienen una interpretacin en problemas como el de
recubrir superficies rectangulares con cuadrados de mayor rea posible. Por ejemplo,
para el rectngulo

El cociente indica el nmero de cuadrados y el divisor la medida del lado de dicho
cuadrado. De esa manera, se recubre el rectngulo con 1 cuadrado caf 11x11, 3
cuadrados verdes 3x3, 1 cuadrado azul 2x2 y 2 cuadrados gris 1x1.


a. Expresa las siguientes fracciones como fraccin continua simple.

i.
18
5
ii.
7
25
iii.
3
8

iv.
9
8
v.
1
4
vi.
150
47

b. Usa el algoritmo de Euclides y realiza el recubrimiento de los rectngulos dados a
continuacin con cuadrados de mayor tamao posible. Haz la representacin grafica en
tu cuaderno.

i. 15x9 ii. 8x11
iii. 22x6 iv. 18x13

c. Determina el nmero de baldosas y el tamao de las baldosas con las que se puede
recubrir cada una de las siguientes superficies rectangulares.
i. 15x9 ii. 8x11
iii. 22x6 iv. 5x12

Por otra parte, dada una fraccin continua simple es posible determinar su respectiva
fraccin. Este problema inverso lo explicaremos calculando las llamadas convergentes de
la fraccin continua.

Por ejemplo, las convergentes de la fraccin continua 3; 5, 4, 2 son:

-Primera convergente
Se forma con el trmino o cociente
1
= 3
1
= 3 = 3

-Segunda convergente
Se forma con los trminos o cocientes
1
= 3 y
2
= 5
2
= 3; 5 = 3 +
1
5
=
35+1
5
=
16
5

-Tercera convergente
Se forma con los trminos o cocientes
1
= 3,
2
= 5 y
3
= 4
3
= 3; 5,4 = 3 +
1
5+
1
4
= 3 +
1
21
4
= 3 +
4
21
=
321+4
21
=
67
21

-Cuarta convergente
Se forma con los trminos
1
= 3,
2
= 5,
3
= 4 y
4
= 2.
4
= 3; 5,4,2 = 3 +
1
5+
1
4+
1
2
= 3 +
1
5+
1
9
2
= 3 +
1
5+
2
9
= 3 +
1
47
9
= 3 +
9
47
=
150
49

Esta ltima convergente, formada con todos los trminos de la fraccin continua nos da la
respectiva fraccin buscada.

Ahora bien, si una fraccin continua tiene bastantes trminos el proceso anterior se hace
arduo. Por lo tanto, daremos otro mtodo un poco ms sencillo que el anterior a la hora
de conseguir las convergentes. Veamos:

Llame a la posicin del cociente
en la fraccin continua. Sea
el respectivo
numerador y denominador de la convergente
, es decir
. Haga la siguiente
disposicin:
1 2 3 4
3 5 4 2

1
0

Baje el cociente
1
= 3 en
1
y por convencin coloque
1
= 1, ya que la primera
convergente es
1
=
3
1
= 3 como dio con el mtodo anterior,

1 2 3 4
3 5 4 2

1
0
3
1

A continuacin, opera de la siguiente forma

1 2 3 4
3 5 4 2

1
0
3
1
3 5 +1 = 16
1 5 +0 = 5
16 4 +3 = 67
5 4 +1 = 21
67 2 +16 = 150
21 2 + 5 = 47

Se obtienen as las convergentes
1
= 3,
2
=
16
5
,
3
=
67
21
y
4
=
150
49
, siendo esta ltima
la fraccin buscada.


a. Determinar las convergentes de cada fraccin continua y la respectiva fraccin que la
genera:

i. 2; 1, 1, 2, 4 ii. 1; 3, 1, 2, 4
iii.1; 1, 2, 2, 2 iv. 1; 1, 1, 1, 1

b. las fracciones dadas a continuacin muestran el cubrimiento de un sector rectangular
con cuadrados de mayor tamao posible. Determine las dimensiones del sector
rectangular y, la cantidad y tamao de los cuadrados utilizados.

i. 1; 3, 5, 2 ii. 1; 2, 3, 4
iii.3; 2, 1, 2, 1 iv. 1; 2, 1, 3, 1

La actividad se centra en la representacin de las fracciones como expresin decimal y
fraccin continua. En primer lugar se precisa la equivalencia fraccin decimal infinito
peridico haciendo uso de fracciones decimales y el algoritmo de la divisin. Los
procedimientos usados para ello proporcionan un acercamiento a objetos y procesos
infinitos, lo que posibilita el encuentro con concepto como infinito potencial e infinito
actual. En segundo lugar se estudia la equivalencia fraccin-fraccin continua simple por
medio del algoritmo de Euclides y procedimientos anlogos a l.

C. Anexo: Incompletitud en Q y los irracionales
como expresiones decimales y fracciones
continuas


GRADO UNDCIMO
ACTIVIDADES DE DESARROLLO, TERCERA PARTE
INCOMPLETITUD EN Q Y LOS IRRACIONALES COMO EXPRESIONES
DECIMALES Y FRACCIONES CONTINUAS

La pasada actividad nos ha proporcionado unos mtodos o procedimientos que nos
permiten escribir cualquier fraccin como fraccin continua simple finita, e inversamente,
permiten determinar la fraccin que genera una fraccin continua simple finita dada. La
prctica con esos mtodos nos conllevan a confirmar la siguiente relacin:

Toda fraccin racional es una fraccin continua simple finita, e inversamente, toda
fraccin continua simple finita es una fraccin racional

As pues cada fraccin racional es equivalente a una fraccin continua simple finita.
Igualmente, como consecuencia de los mtodos usados en la actividad pasada se
confirma que cada fraccin racional es equivalente a un decimal finito o infinito
peridico.

Ahora bien, en la primera actividad vimos que el algoritmo de Euclides aplicado a dos
segmentos brinda la posibilidad de hallar el segmento de mayor tamao que corresponde
a la mayor unidad de medida comn de los segmentos. Todo par de segmentos tiene
unidad de medida comn?

Resolvamos la siguiente situacin: Buscar la mayor unidad de medida comn para el lado
y la diagonal de un cuadrado.

La idea es aplicar el algoritmo de Euclides a la diagonal y el lado del cuadrado.
Sean
1
la diagonal y L el lado del cuadrado.

Primer paso,
Debemos primero medir con el lado a la diagonal del cuadrado.
Cuntas veces cabe el lado L en la diagonal
1
?

Anexo: Incompletitud en Q y los irracionales como 67
expresiones decimales y fracciones continuas

Con el comps trace una arco de
circunferencia con centro en B y radio AB.
Lleva el comps desde A hasta que corte la
diagonal en un punto que llamaras P.
ahora si contesta:
Cuntas veces cabe L en
1
?

Llamemos
1
al residuo que quedo de medir
a la diagonal con el lado.
Ahora sigue las siguientes instrucciones:

Traza un segmento perpendicular a
1
en el
punto P, hasta que toque al lado AD en un
punto que llamaras M y llam x a la
longitud del segmento PM. Luego, une M
con B.
Los segmentos AM y MP son de igual
tamao, Por qu razn?.
(Para responder la pregunta, observa los
tringulos AMB y PMB que se formaron al
unir M con B. Qu puedes decir de ellos?).

Ahora bien, observe los tringulos rectngulos ABD y MPD. El primero tiene catetos L e
hipotenusa
1
=
1
+ L (por qu?) y el segundo tiene cateto x y
1
e hipotenusa L-x por
qu?. Aplicando el Teorema de Pitgoras en ambos se tiene:
En el tringulo ABD
(
1
+)
2
= 2
2

1
2
+2
1
+
2
= 2
2

1
2
+ 2
1
=
2
(1)
En el tringulo MPD
( )
2
=
2
+
1
2

2
2 +
2
=
2
+
1
2

2
2 =
1
2
(2)
Remplazando (2) en (1) resulta =
1
Qu significado tiene el resultado =
1
en
relacin con los segmentos MP y PD?. Esto significa que x y
1
(o MP y PD) corresponden
a los lados de un nuevo cuadrado con diagonal DM.
Construya un nuevo cuadrado DPMN Cul de los segmentos DM y MP es de
mayor tamao?

DM es de mayor tamao que MP ya que es
la diagonal del nuevo cuadrado.


Hemos construido el cuadrado DPMN del cual nos podemos guiar para continuar con el
algoritmo de Euclides.

Segundo paso,
Debemos medir con el resto
1
(o DP) el lado L. Teniendo en cuenta que DP es igual a MP
y AB igual a AD, diga Cuntas veces cabe
1
(o DP) en el lado AD (o L)?.

Con el comps trace una arco de
circunferencia con centro en M y radio MP.
Lleva el comps desde P hasta que corte la
diagonal DM en un punto. Contesta:
Cuntas veces cabe MP en DM?
Y ahora,
Cuntas veces cabe
1
(o DP) en AD?

Llamemos
2
al residuo que queda de medir
AD (o L) con
1
.

Ahora, si realizas con este cuadrado las mismas instrucciones que seguiste en el cuadrado
inicial llegaras a lo siguiente:
Los segmentos
1
1
y
1
son iguales; se
construye un tercer cuadrado
1
1
; se
traza un arco de circunferencia con comps
y haciendo centro en
1
; se mide con
2

(o
1
1
) a
2
(o ) Cuntas veces cabe
el resto
2
en
1
?
El algoritmo de Euclides aplicado al lado y
la diagonal tiene fin?, o de otra forma, si
tuvieras un microscopio y ampliaras la
imagen, que crees: Se puede continuar el
proceso construyendo cuadrados cada vez
ms pequeos?

Es evidente que se puede repetir el proceso o algoritmo de Euclides obteniendo cuadrados
cada vez ms pequeos, de lado de medida los residuos
1
,
2
,
3
,
4
, , que van en forma
descendente en tamao. Es claro que nos encontramos frente a un proceso infinito, y nos
podemos preguntar entonces: el lado y la diagonal de un cuadrado tiene unidad de
medida comn?

Si tuvieran unidad de medida comn, se tendra que llegar en algn momento a un resto
, para el cual existiran y enteros positivos tales que =
y
1
=
. O sea
que la razn
sera un cociente racional y por tanto equivalente a una fraccin

continua simple finita e igualmente equivalente a un decimal finito o infinito peridico.
Sin embargo, el algoritmo de Euclides para la diagonal y el lado es un proceso infinito que
nos proporciona una situacin diferente y algo curiosa:
Segn el algoritmo de Euclides (observe la ltima figura)
1
= 1 +
2

= 2
1
+
2

1
= 2
2
+
3

2
= 2
3
+
4

Determine la fraccin continua correspondiente a
?
Se tiene la fraccin continua 1 +
1
2+
1
2+
1
2+
= [1; 2,2,2], que se caracteriza por ser simple
infinita y peridica, distinta a las expresiones obtenidas para una fraccin racional, que
es en fraccin continua simple finita.

Por otra parte, calculando las convergentes de [1; 2,2,2 ], Cules son sus primeras 13
convergentes? (aplica los mtodos usados en las fracciones continuas finitas), se obtiene:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
1 2 2 2 2 2 2 2 2 2 2 2 2 2 2

1

1

12+1=3

32+1=7

17

41

99

239

577

1393

3363

8119

19601

47321


0 1 12+0=2

22+1=5

12 29 70 169 408 985 2378 5741 13860 33461

Expresar en forma decimal las convergentes encontradas (utiliza la calculadora si es
necesario). Completa la tabla con el mayor nmero de dgitos posibles en sus decimas.

Convergente Forma decimal
1/1 1
3/2 1,5
7/5 1,416666
17/12
41/29
99/70
239/169
577/408
1393/985
3363/2378
8119/5741
19601/13860
47321/33461

Escribe un nmero decimal cuyos dgitos sean los que ms se repiten en todas las
expresiones decimales que sacaste.
Se les pide a los estudiantes que dicten sus respuestas y de todas ellas tomamos
1.414213562. Observan alguna regularidad en los dgitos del anterior decimal?

Se podr seguir buscando ms convergentes y en consecuencia ms decimas para el
nmero anterior? El decimal que estas buscando tiene finita o infinitas cifras?

Si continuas buscando ms convergentes y las expresas en forma decimal podrs
encontrar ms decimas, luego el decimal es infinito, crees que en algn momento las
decimas de 1.414213562 se repetirn peridicamente?

Responder esta pregunta es bastante compleja, pues no disponemos de un mtodo que
muestre todas las decimas de este nmero ya que tiene una infinitud de cifras despus de
la coma decimal. Por lo tanto, para afirmar si es o no un decimal infinito peridico se
necesita otro mtodo pues estamos frente a un objeto infinito.

Este problema lo resolvieron los griegos pero en el campo de la geometra, demostrando
que la diagonal y el lado son inconmensurables, mediante un mtodo denominado
razonamiento al absurdo. Demostraron que la diagonal y el lado del cuadrado no tienen
una relacin o razn entre dos nmeros enteros, que en nuestro caso significa, no es
fraccin racional, y en consecuencia, dicho cociente no puede expresarse como un decimal
infinito peridico, resolvindonos as nuestra pregunta.

El mtodo consiste en suponer cierta la negacin de lo que creemos es verdadero y llegar
a una contradiccin. Los griegos lo hicieron con la diagonal y el lado del cuadrado as:

Suponga que la diagonal DM y el lado DB del cuadrado DBMN son conmensurables. Es
decir, existe mxima unidad de medida comn que cabe m-veces enteras en la diagonal y
n-veces enteras en el lado del cuadrado. Esto significa que a la diagonal DM le
corresponde el entero m y al lado DB el entero n, donde n y m no podrn ser pares a la vez
por qu?.

Se denomina nmero cuadrado al producto de dos factores iguales
El cuadrado de un nmero par es un nmero par

Por ser DBMN y AJKL cuadrados, les corresponden nmeros cuadrados. Como AJKL es el
doble de DBMN (ver grafica), su lado AJ debe ser nmero par, por qu razn?, porque al
cuadrado AJKL le corresponde un cuadrado par.

Ahora, como DM es igual a AJ, le corresponde el mismo nmero par de AJ. De ah que a
DB le corresponda un nmero impar, pues en un comienzo se dijo que DB y DM no podan
correspndeles nmeros pares a la vez.

Sin embargo, el cuadrado DBMN es el doble del cuadrado ABCD, luego el nmero de
DBMN es par y el nmero de su lado DB tambin; resultado que contradice la deduccin
anterior de que DB era impar. En consecuencia la suposicin de que la diagonal y el lado
del cuadrado son conmensurables es inviable, pues desemboca en una contradiccin.

Se ha demostrado la inconmensurabilidad de la diagonal y el lado del cuadrado y de paso
la imposibilidad de expresar la razn
como fraccin racional. En consecuencia,

retomando la pregunta crees que en algn momento las decimas de 1.414213562 se
repetirn peridicamente?, podemos responder que no, pues
no es fraccin racional.

En vista a las anteriores razones enunciamos cuando un nmero es irracional:

Un nmero es irracional si su expansin decimal es infinita no peridica y su expansin
en fraccin continua es infinita.

Existen nmeros irracionales que resultan de solucionar ecuaciones. Por ejemplo, una
ecuacin cuadrtica como
2
= 19 Cul es el nmero cuyo cuadrado es 19?, no tiene

solucin con los racionales, pero puede aproximarse su valor en nmero decimal con las
convergentes de una fraccin continua peridica. Para expresar la solucin de ecuaciones
cuadrticas, suele utilizarse el signo radical . , de la siguiente forma: = 19, cul
es la expresin decimal de 19?.

Con el fin de aproximar en forma decimal o buscar la expansin decimal infinita peridica
de 19 debemos encontrar su respectiva expansin en fraccin continua as:

19 =
Cules son los nmeros enteros cuyos cuadrados estn cerca a 19?
Como 4
2
< 19 < 5
2
, tomamos el menor que es 4 y operamos en la siguiente forma:

19 = 4 + 19 4 = 4 + 19 4
19 + 4
19 + 4
= 4 +
3
19 + 4

En lo cual se identifica el resto 19 4 y luego se racionaliza.

A continuacin tomamos el mayor entero contenido en el valor
19+4
3
, que es 2 pues
2 <
(4)+4
3
<
19+4
3
, y el resto
192
3
, ya que:
19+4
3
= 2 +
19+4
3
2 = 2 +
192
3
= 2 +
192
3

(19+2)
(19+2)
= 2 +
5
19+2
.
Procediendo de la misma manera,

19+2
5
= 1 +
19+2
5
1 = 1 +
193
5
= 1 +
193
5

(19+3)
(19+3)
= 1 +
2
19+3
,
19+3
2
= 3 +
19+3
2
3 = 3 +
193
2
= 3 +
193
2

(19+3)
(19+3)
= 3 +
5
19+3
,
19+3
5
= 1 +
19+3
5
1 = 1 +
192
5
= 1 +
192
5

(19+2)
(19+2)
= 1 +
3
19+2
,
19+2
3
= 2 +
19+2
3
2 = 2 +
194
3
= 2 +
194
3

(19+4)
(19+4)
= 2 +
1
19+4
,
19+4
1
= 8 + 19 +4 8 = 8 +19 4 = 1 + 19 4
(19+4)
(19+4)
= 8 +
3
19+4
,
Llegamos a una expresin que ya haba aparecido y a partir de ese momento las
expresiones empiezan a repetirse. Notemos tambin que las expresiones comienzan su
repeticin despus de un cociente que sea el doble del primero (en nuestro caso 8 es el
doble de 4). Lo que nos permite inferir que

19 = 4 +
1
2+
1
1+
1
3+
1
1+
1
2+
1
8+
= [4; 2,1,3,1,2,8
]
De donde se derivan las siguientes aproximaciones,

1 2 3 4 5 6 7 8 9 10 11 12 13
4 2 1 3 1 2 8 2 1 3 1 2 8

1

0
4

1
42+
1=9

12+
0=2

1
3

3

48

11
61

14
170

39
1421

326
3012

691
4433

1017
16311

3742
20744

4759
57799

13260
483136

110839

19
4,5 4,
3

4,
36

4,367
1428
4,358
974
43588
957
4,358
9001
4,3588
9872
4,3588
9845
4,35889
8928
4,35889
8944
4,358898
94351

Tomando las decimas que ms se repiten tendremos el decimal 4,35889899435

Consideremos otro ejemplo, determinar la soluciones de la ecuacin cuadrtica

2
+ 3 = 0.
Se procede hallando el determinante
2
4 = (1)
2
41(3) = 13, y luego se
busca la fraccin continua de 13:
13 = 3 + 13 3 = 3 +13 3
13+3
13+3
= 3 +
4
13+3

13+3
4
= 1 +
13+3
4
1 = 1 +
131
4
= 1 +
131
4

(13+1)
(13+1)
= 1 +
3
13+1

13+1
3
= 1 +
13+1
3
1 = 1 +
132
3
= 1 +
132
3

(13+2)
(13+2)
= 1 +
3
13+2

13+2
3
= 1 +
13+2
3
1 = 1 +
131
3
= 1 +
131
3

(13+1)
(13+1)
= 1 +
4
13+1

13+1
4
= 1 +
13+1
4
1 = 1 +
133
4
= 1 +
133
4

(13+3)
(13+3)
= 1 +
1
13+3

13+3
1
= 6 + 13 +3 6 = 6 + 13 3 = 6 + 13 3
(13+3)
(13+3)
= 6 +
4
13+3

O sea que 13 =[3;1,1,1,1,6
]. Ahora aproximamos su valor decimal,

1 2 3 4 5 6
3 1 1 1 1 6

1

0
3

1
31+1=4

11+0=1

7

2

11

3
18

5
119

33
19
4 3,5 3,6
3,6 3,606

Como (3,606)
2
= 13,003236, las respectivas soluciones de la ecuacin sern
aproximadamente:

2
4
2
=
(1) 13
2(1)
=
1
=
1 +3,606
2
= 0,303
2
=
1 3,606
2
= 3,303



a. Construye un cuadrado y dibuja un segmento que se pueda medir exactamente con el
lado y con la diagonal del cuadrado. Se podr construir dicho segmento y por qu
razn?.

b. Los pitagricos tenan como emblema el pentagrama, figura que se construye con las
diagonales del pentgono regular, para distinguirse ante su secta; por otra parte,
consideraron que todas las cosas eran expresables como razn de dos nmeros enteros.
Determina la mayor unidad de medida comn para el lado AB y la diagonal AC del
pentgono regular ABCDE. (Aplica el algoritmo de Euclides al par de segmentos AB y AC).

Existe unidad de medida comn para la diagonal y el lado del pentgono regular?por
qu razn?; se puede escribir la razn de la diagonal-lado como razn de dos enteros
positivos?. Escribe la razn entre la diagonal y el lado del pentgono en fraccin continua
(usa el algoritmo de Euclides).

c. Determinar la fraccin continua y la expansin decimal de los siguientes nmeros
irracionales:
i. 5 ii. 13
iii. 53 iv. 42

d. Segn los antiguos griegos, los rectngulos ms perfectos son aquellos cuyos lados
guardan la razn urea o divina proporcin
El siguiente rectngulo es ureo

Guarda la siguiente proporcin
+ 1
=
1

Expresin que es una ecuacin cuadrtica
2
= +1.

i. Escriba la solucin de esta ecuacin como fraccin contina y aproxima su expresin
decimal.

ii. Busca los nmeros de Fibonacci y diga qu relacin tienen con las convergentes que
encontraste.

e. Las fracciones continuas permiten identificar la irracionalidad de un nmero. La
fraccin continua de un nmero es infinita si y slo si el nmero es irracional. Observa las
siguientes fracciones continuas y con sus convergentes aproxima su expansin decimal.
i. [3; 7, 15, 1, 292, 1, 1, 1, 2, ] ii. [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10, 1, 1, 12 ]

f. Con la calculadora determina la expansin decimal de los nmeros y , luego
identifica a cul de las fracciones continuas del punto e. son equivalentes.

En esta actividad se mostr la incompletitud de Q en contextos como el geomtrico con la
inconmensurabilidad de segmentos y en el algebraico con la solucin de ecuaciones.
Viendo la necesidad de nuevos entes numricos que permitan solucionar estos
problemas, se identificaron estos entes numricos como fracciones decimales infinitas y
decimales infinitos peridicos. Se usaron mtodos similares a los desarrollados en las
fracciones racionales para expresarlos como fraccin continua y nmero decimal, pero en
este caso los procedimientos condujeron a procesos infinitos de aproximacin.
Finalmente, podemos decir que el estudiante, mediante esta actividad, debe llegar a
reconocer las representaciones de un nmero irracional y diferenciarla de las racionales,
as como los mtodos utilizados para ello y los contextos donde Q incumple o no permite
solucionar ciertos problemas.

D. Anexo: La continuidad de la lnea recta, la
densidad y la completitud de R


GRADO UNDCIMO
ACTIVIDADES DE DESARROLLO, CUARTA PARTE
LA CONTINUIDAD DE LA LINEA RECTA, LA DENSIDAD Y COMPLETITUD DE R

Imagina a una pulga del tamao de un punto saltando del punto A y tratando de llegar al
punto B de la siguiente forma:

La pulga decide primero saltar a la mitad, luego salta la mitad de lo que le quedo y as
sucesivamente sigue saltando la mitad de lo que le hace falta para llegar al punto B.
Saltando en ese sentido, la pulga llegar a B? Para dos puntos cualquiera de una recta,
existe un punto entre ellos?

Esta propiedad de que entre dos puntos exista otro entre ellos se le denomina densidad
de los puntos en la recta o distribucin densa de los puntos en la recta, o simplemente,
densidad de la recta.

Cuando trazas una lnea recta sin levantar el lpiz del papel, quedan huecos en ella?.
Todo objeto con el cual se representa una recta es un ente material. Si la materia la
compone los tomos y entre ellos hay huecos. La recta tiene huecos?.

Tu dibujo es tan slo una representacin material de una recta y no es la recta como tal.
La lnea recta es un ente geomtrico ideal sin grosor y constituido por puntos.

Si imaginas una recta y la observas con una lupa de gran aumento qu veras?
- Puntos acomodados como hormigas siguiendo un camino.
- Igual que si no usas la lupa.
- Puntos como canicas apretadas unas junto a otras.

Piensa en los puntos que constituyen un segmento de 1cm y los de 3cm, tendrn estos
segmentos la misma cantidad de puntos?
Observa lo siguiente

Anexo: La continuidad de la lnea recta, 79
la densidad y la completitud de R
Los segmentos AB y CD se colocaron en forma paralela y se unieron sus extremos con dos
rectas que se cortan en O. La recta L empareja un punto del segmento AB con un nico
punto de CD. Qu puedes responder ahora de la pregunta anterior?

Esta propiedad de que la recta no tenga huecos se denomina continuidad de la recta.
Suele describirse de la siguiente manera:
Si se separa la recta en dos partes, tales que los puntos de la zona roja estn a la
izquierda de todo punto de la zona amarilla como podemos observar en el grfico,

Debe existir un punto que realiza dicha separacin, pues de lo contrario habra un hueco y
no es as. Se dice que para cualquier separacin de la recta en esa forma, existe siempre
un punto que la produce, y a tal hecho se le denomina continuidad de la recta.

Por esta propiedad es vlido afirmar que si observamos la recta con una lupa poderosa,
sta sigue siendo la misma, sin grosor y sin huecos. Tambin dicha propiedad conduce al
curioso caso de que dos segmentos de diferente longitud tienen la misma cantidad de
puntos.

Hemos llegado as a la consideracin de la recta como un conjunto de puntos que posen
dos propiedades: la densidad y continuidad.

Cules de las anteriores propiedades posee el conjunto de los fracciones racionales?.

Para responder esta pregunta relacionemos los puntos de la recta con los nmeros
racionales:
Iniciamos tomando dos puntos de una recta. Al de lado izquierdo le asignamos el nmero
0 y al derecho el 1. La longitud de los dos puntos ser el segmento unitario.

A continuacin se ubican los nmeros enteros con regla y comps.

Ahora ubicaremos la fraccin racional
1
2
en la recta. Trace una recta horizontal y ubique
el segmento unitario 01. Trace ahora una recta oblicua que pase por 0 y sobre ella ubique
los enteros 1 y 2. Trace un segmento desde el nmero 2 de la recta oblicua hasta el
nmero 1 de la horizontal. Trace una recta paralela a este segmento que pase por el 1 de
la recta oblicua. El punto de corte de la paralela con la recta horizontal es el
correspondiente a
1
2
, porque:

Se obtienen dos tringulos semejantes 01x y 021. Se tiene entonces que sus lados
correspondiente son proporcionales
1
=
1
2
, o sea que =
1
2
.

A qu fraccin racional corresponde x en cada grafica? Explica tu repuesta usando
semejanza.

A continuacin ubicaremos la semisuma de dos fracciones racionales, por ejemplo:
1
2
+
5
2
2
=
6
4
.

Por semejanza
1
=
6
4
, es decir =
6
4
. Observamos que entre los racionales
1
2
y
5
2
est el
racional
6
4
, que corresponde a la semisuma. Puedes ubicar otro racional entre
6
4
y
5
2
?
Qu nmero puedes ubicar?. Entre dos racionales siempre existe un racional? Hay
infinitos? Explica por qu.

Vimos que la semisuma de dos racionales est ubicada entre ellos. As, realizando varias
veces la semisuma, se hallan puntos racionales ubicados entre los dos primeros
racionales, consiguiendo una infinitud de racionales entre ellos. Por lo tanto, la propiedad
conocida como densidad de los puntos en la recta, la cumplen tambin los racionales, y en
consecuencia, los elementos del conjunto de los racionales tienen un orden denso.

Ahora miremos otra propiedad de la recta:
Es claro que entre los puntos correspondientes para 1 y 2 podemos ubicar una infinidad
de racionales haciendo uso de la semisuma y la semejanza. A todo punto de la recta
entre 1 y 2 le corresponde un nmero racional?

Veamos: formemos un cuadrado de lado unitario como se muestra a continuacin:

Si se traslada una diagonal del cuadrado sobre la recta se obtiene un punto x cuya
distancia a cero es igual a la diagonal, el nmero correspondiente para x es racional?.

En la actividad anterior vimos que la razn de la diagonal y el lado de un cuadrado no es
racional, luego el nmero correspondiente para x no puede ser racional. Por lo tanto, a
todo punto entre 1 y 2 de la recta no le corresponde un nmero racional. El valor de x es
igual a la longitud de la diagonal, que segn el teorema de Pitgoras
2
= 1
2
+1
2
es
= 2. Hay ms puntos en la recta que nmeros en el conjunto de los racionales?

Tratar de asignar a cada punto de la recta un nmero racional, o su equivalente, medir
cualquier longitud, es imposible con los nmeros racionales, pues existe una infinidad de
ellos que no le corresponde un racional, por ejemplo:

La grafica muestra que hay ms puntos que nmeros racionales.

Ahora observemos la siguiente particin de los racionales en tres clases de nmeros


1 particin: zona roja

Se encuentran ubicados los
racionales negativos y los
racionales cuyo cuadrado es
menor que 4.

2 particin: zona amarilla

racionales cuyo cuadrado es
igual a 4.

3 particin: zona verde

racionales positivos cuyo
cuadrado es mayor que 4.

El racional 1,12 est en la parte roja ya que (1,12)
2
= 1,2544 y el racional 1,5 se
encuentra en la zona verde pues (1,5)
2
= 2,25.

El nmero 2 est en la zona amarilla y separa los racionales de la zona roja de los
racionales de la zona verde.

En qu zona se encuentra ubicados los racionales 2,3; 1,14;
2
5
y
3
2
?

Si en la particin anterior, en lugar del 4 tomamos el 9, Cul es el racional que separa la
zona roja de la verde? A cul zona pertenece dicho nmero? Es el nico racional que se
encuentra en esa zona?

Ahora, si para la particin, en lugar del 4 se toma el 2, Habr algn nmero racional en
la zona amarilla?

Como no existe nmero racional cuyo cuadrado sea 2, se sigue que ningn racional est
en la zona amarilla, y en consecuencia, algunos puntos de la recta no se les puede asignar
un nmero racional. Por este hecho se concibe el conjunto de racionales discontinuo en
relacin con la continuidad de la recta en cuanto a la no correspondencia entre los
nmeros racionales y los puntos de la recta. Esta discontinuidad la podemos entender
tambin como otra forma de incompletitud del conjunto de los racionales respectos a la
imposibilidad de estos para representar la medida de cualquier magnitud (en particular la
longitud de todo segmento). Con cul conjunto de nmeros se podr representar la
medida exacta de un segmento cualquiera?

Llamaremos conjunto de nmeros reales a la unin de los nmeros racionales e
irracionales.

Al igual que el conjunto de los racionales, en sus elementos estn distribuidos en orden
denso.
Una pulga est ubicada en el punto correspondiente al nmero 0 en una recta.
Decide saltar al siguiente nmero real, podr hacerlo?.
No podr hacerlo, ya que si suponemos que es el siguiente nmero real de 0, la
semisuma estar antes de con respecto a 0, e igualmente, las sucesivas semisumas
0+
2
2
=
4
,
8
, , estarn ms cerca de 0, pero ninguno ser el siguiente real a 0 porque
siempre habr uno entre ellos por la semisuma. Podemos decir que entre dos reales hay
una infinidad de nmeros reales, pues la semisuma siempre estar entre ellos.

Por otra parte, el conjunto de los reales adems de ser denso tambin es continuo.
Cuando se parte el conjunto R en tres zonas (roja, amarilla y verde) siempre existir un
nmero real ubicado en la zona amarilla. Por ejemplo,

Para una particin en
Zona roja: reales negativos y reales cuyo cuadrado es menor que 2
Zona amarilla: reales cuyo cuadrado es igual a 2
Zona verde: reales positivos cuyo cuadrado es mayor que 2
Qu nmero real est en la zona amarilla?

Inmediatamente reconocemos que es el nmero real cuyo cuadrado es 2,
2
= 2, o sea
= 2 .

Anteriormente se mostr que esta particin en los racionales no tiene elemento en la zona
amarilla, mientras que para , como acabamos de notar, si lo hay; existe un elemento en
la zona amarilla que produce la particin de o separa la zona roja de la zona verde. Por
este hecho a se le denomina un conjunto continuo.

Hemos concebido dos conjuntos, la recta y R, cuyos elementos se distribuyen en forma
densa y continua. Este hecho implica que cada nmero real puede hacerse corresponder
con un nico punto de la recta y viceversa. Por tal razn, a la recta con cada punto
etiquetado con un nmero real se llamara recta real.

Otra consecuencia de ser completo es que con ellos se puede:
Asignar un nmero real a cualquier magnitud representando su medida.
Dar solucin a ecuaciones que no pueden resolverse con los racionales.


a. Para cada grafica escribe el respectivo valor racional de x:

i. ii.

iii. iv.

b.

Trace una recta que pase por el nmero 3 de la recta oblicua y el nmero 1 de la recta
horizontal.

i. Trace paralelas a esa recta que pasen por los puntos 1, 2, 3, 4, 5 y 6 de la recta oblicua.
Escriba los respectivos nmeros para los puntos de la recta horizontal que resultan de su
intercepcin con las rectas paralelas.

ii. Cules nmeros forman en la recta horizontal las rectas paralelas que pasan por los
nmeros 27 y 58 de la recta oblicua?

c. Supongamos que tomo un trozo de recta real, digamos el que est entre 2 y 6, sin
llevarme los puntos correspondientes para 2 y 6, el segmento tiene extremos? Les
corresponde algn nmero real?. Explica tu respuesta (ten en cuenta la propiedad de
densidad)

d. Suele simbolizarse el segmento anterior como (2,6) para decir que se toma todos los
puntos de ese segmento de recta real excepto los puntos correspondientes a 2 y a 6.
Cuando en un segmento de recta real se toma los extremos se usa un parntesis como
cuadrado, por ejemplo, el segmento [2,6] toma los puntos 2 y 6 de la recta real.
De los segmentos (2,6] y [2,6), Cul tiene extremo superior y cul extremo inferior?

e. Se usa el signo para representar todo el lado de una recta. De esa forma (-, )
representa a toda la recta y (-, 2) o [3, ) representan semirectas.
De las siguientes semirectas cules tienen extremo superior y cules extremo inferior.
i. (-, 2) ii. (-, 9] iii. [-7,) iv. (-, 5] v. (-11,) vi. [0,)

f. Qu ente geomtrico representa el smbolo [1,1]?

g. Completa el cuadro de acuerdo a la condicin dada

Condicin Grfica Simblica
Reales positivos cuyo
cuadrado es mayor que 2

(2, )
Reales negativos y reales
cuyo cuadrado es menor
que 5

Reales positivos cuyo
cuadrado es mayor que 2 y
menor o igual a 5

j. Hay nmeros reales que cumplen la condicin ser menor o igual a todos los elementos
del subconjunto de reales (2, ), como por ejemplo, 0, , -3, -5, etc. Entre los
nmeros que cumplen tal condicin existe uno que es mayor a todos ellos Cul es ese
nmero?
k. Escribe en forma grfica y simblica el subconjunto de nmeros reales: Reales
positivos cuyo cuadrado es menor que 3
En base a lo anterior:
i. Escribe 5 nmeros reales que cumplan la condicin ser mayor o igual a todos los
elementos del subconjunto anterior.
ii. Cul es el menor nmero real que cumplen la condicin del punto i?



La actividad inicia con la descripcin de dos propiedades de la recta: su densidad y
continuidad. Despus se muestra que todo nmero racional puede hacerse corresponder
a puntos de la recta. Seguidamente se representa la semisuma de dos racionales en la
recta, pretendiendo que el estudiante descubra la densidad del conjunto de nmeros
racionales como una propiedad similar a la distribucin densa de los puntos en la recta.
Posteriormente se traslada sobre la recta segmentos inconmensurables con la unidad,
identificando as puntos a los que no les corresponden nmeros racionales, y
consiguiendo de esa forma una diferencia en cuanto a cantidad de nmeros en Q y la
cantidad de puntos en la recta. Finalmente, se define el conjunto de los nmeros reales y
se muestra que posee las propiedades de densidad y continuidad que tiene la recta, para
que de esa manera, en relacin a la similitud de la recta y en cuanto a esas
propiedades, poder definir la correspondencia punto-nmero real, y as caracterizar o
identificar a como un conjunto completo.

Completitud en Los Numeros Reales - Jhon Tovar Gil

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Completitud en Los Numeros Reales - Jhon Tovar Gil

Загружено:

Авторское право:

Доступные форматы

Un acercamiento al concepto y completitud

de los nmeros reales

es racional. Sin embargo, el mtodo algebraico permiti certificarle, por

, ver Figura 2-5.

= ). Ahora, como De tringulos que

, respectivamente, el concepto adquiere

ya era aceptado como un

como fraccin, los griegos no llegaron a una

con entero par y un racional.

, lo cual no es cierto). Se tienen

, donde para cada nmero natural ,

forman una sucesin de nmeros enteros positivos que corresponden a los

es una fraccin continua simple finita y 1 +

es racional con > 0, por el algoritmo de Euclides existen

, y como son positivos, por el principio del buen

determinan una fraccin continua

, expresin que para n es

{0,1, ,9}, expresin que

cada uno contenido en el precedente. Cuando dicho proceso continua

tiende a cero, y por lo

son todos dgitos.

y al que no, se le llama fraccin decimal infinita ,

} si y solo si, lim

) = 0, es decir, dos sucesiones fundamentales

es positiva (no es sucesin elemental).

son nuevas sucesiones

sean sucesiones elementales.

, lo que no es cierto, pues

donde a es un digito de 0 a 9 y n un entero.

ii. 1,21555 iii. 1,377 iv. 3, 01

, e igualmente de las dems divisiones

es la fraccin continua simple de

en la fraccin continua. Sea

, para el cual existiran y enteros positivos tales que =

sera un cociente racional y por tanto equivalente a una fraccin

como fraccin racional. En consecuencia,

]. Ahora aproximamos su valor decimal,

Вам также может понравиться