NTRODUCCIN

Los nicos objetivos de la ciencia abstracta o de la demostracin

son la cantidad y el nmero... el resto son sofisteras e ilusin.
(Hume, An Enquiry concerning Human Understanding, 1758)
En este trabajo nos proponemos abordar un problema cl-
sico: la divisin de un segmento en media y extrema
razn. Mas all de los aspectos didcticos del propio pro-
blema (nmeros irracionales, seccin urea, etc.) nuestro
inters se centra en ilustrar, con un ejemplo sencillo, los
sucesivos pasos a la hora de interpretar una magnitud: pri-
mero como una longitud, un rea o un volumen; despus
como un segmento; y, por ltimo, como un nmero. Esta
evolucin refleja el verdadero proceso de creacin de la
geometra analtica (Etayo, 1988: 17). Por otro lado, estos
tres periodos coinciden con las tres fases por las que,
segn la idea hilbertiana (Lorenzo, 1998: 118), pasa una
disciplina matemtica: ingenua, formal (en la que se per-
fecciona el clculo simblico) y una fase crtica (en la que
se revisan los fundamentos).
Seccin urea de un segmento
...ella (la Divina proporcin) es una sola y no ms, y no es posi-
ble asignarle otras especies ni diferencias. Y dicha unidad es el
supremo epteto de Dios mismo. (Luca Pacioli, De Divina Propor-
tione, 1509).
Se dice que un punto X divide a un segmento AB en
media y extrema razn, cuando la parte mayor AX es la
media proporcional entre el segmento total y la parte
menor XB. Si tomamos AB = p, AX = x y, por tanto, XB =
p x el problema se reduce a resolver la ecuacin:
En este trabajo nos
proponemos abordar un
problema clsico: la divisin
de un segmento en media y
extrema razn. Nuestro
inters se centra en ilustrar,
con un ejemplo sencillo, los
sucesivos pasos a la hora de
interpretar una magnitud:
primero como una longitud,
un rea o un volumen;
despus como un segmento;
y, por ltimo, como un
nmero. Evolucin que
refleja el proceso de
creacin de la geometra
analtica. Por otro lado, estos
tres periodos coinciden con
las tres fases por las que
pasa una disciplina
matemtica: ingenua, formal
(en la que se perfecciona el
clculo simblico) y una fase
crtica (en la que se revisan
los fundamentos).
69
Los nmeros imitan al espacio
Jos Javier Escribano Benito
ARTCULOS
I
40
junio 2002, pp. 69-73
p
x
x
p x
o x px p

+
2 2
lgebra geomtrica
...no debemos atender a meras imgenes plausibles cuando se
trata de los razonamientos que deben presentarse en nuestra doc-
trina geomtrica. (Procolo).
El libro II de los Elementos (siglo III a. C.) est dedicado a
lo que hoy se denomina lgebra geomtrica
1
, que serva
ms o menos para los mismos fines que nuestra lgebra
simblica (Boyer, 1992: 151). Pero los mtodos del lge-
bra geomtrica de los griegos distan mucho de nuestra
geometra analtica; ms an: en [el libro] II no hay ecua-
cin alguna ni trasuntos algebraicos, sino la exposicin de
unos resultados deductivamente inconexos entre s
2
. As,
la proposicin 6 del libro II equivale a la construccin de
la ecuacin cuadrtica x
2
+ px = p
2
. Y la proposicin 11, a
la divisin de un segmento en media y extrema razn:
Dividir una recta dada de manera que el rectngulo comprendi-
do por la (recta) entera y uno de los segmentos sea igual al cua-
drado del segmento restante (Euclides, 1991a: 284).
Aunque en este libro aparecen las longitudes y las reas,
es necesario esperar hasta el libro V para encontrar una
nocin general de magnitud como trmino de una rela-
cin de proporcionalidad. Euclides no define el concepto
de magnitud y se limita a enumerar alguna de sus propie-
dades. Por ejemplo:
Definicin 1. Una magnitud es parte de una magnitud, la menor
de la mayor, cuando mide a la mayor
Definicin 3. Una razn es determinada relacin con respecto a
su tamao entre dos magnitudes homogneas.
Definicin 4. Se dice que guardan razn entre s las magnitudes
que, al multiplicarse, pueden exceder una a la otra (Euclides,
1991b: 9-10).
Euclides deja claro que es posible definir una relacin (un
cociente) entre dos magnitudes homogneas y (segn la
definicin 4) arquimedianas aunque deja muchos puntos
oscuros. Por ejemplo, la relacin entre las magnitudes y
los nmeros (cuya teora se expone en los libros VII-IX).
El libro VI aplica la teora de las pro-
porciones a la geometra plana. En l
encontramos la divisin en media y
extrema razn que viene a ser una rpli-
ca de lo tratado en el libro II pero en un
contexto diferente.
Definicin 3. Se dice que una recta ha sido
cortada en extrema y media razn cuando
la recta entera es al segmento mayor como
el [segmento] mayor es al menor
Proposicin 30. Dividir una recta finita
dada AB en extrema y media razn
Constryase a partir de AB el cuadrado BG
y aplquese a AG el paralelogramo GD
igual a BG y que exceda en la figura AD
semejante a BG .
Ahora bien, BG es un cuadrado; entonces
AD es tambin un cuadrado. Y como BG es
igual a GD, qutese de ambos G E; entonces
el (paralelogramo) restante BZ es igual al
(paralelogramo) restante AD. Pero son tam-
bin equingulos; entonces los lados que
comprenden los ngulos iguales de los (pa-
ralelogramos) BZ, AD son inversamente pro-
porcionales; entonces, como ZE es a ED,
as AE a EB. Pero ZE es igual a AB y ED, a
AE. Por tanto, como BA es a AE, as AE a
EB. Pero AB es mayor que AE; as pues, AE
es tambin mayor que EB.
Por consiguiente se ha dividido la recta AB
en extrema y media razn por E y su seg-
mento mayor es AE (Euclides, 1991b: 56,
103-104).
1 Denominacin introducida por
Zeuthen (Die Lehre von den
Kegelschnitten im Altertum,
1886).
2 Vega en Euclides (1991a: 87).
70
x
p
x
A B
Figura 1. Partenn de Atenas
Figura 2.
Divisin en extrema y media razn
(Euclides)

A E B
Y
Z D
Aplicacin del lgebra
a la geometra
Los nmeros imitan el espacio, aunque son
de naturaleza muy diferente. (Pascal,
Penses).
Debemos a Descartes (y simultnea-
mente a Fermat) la introduccin de la
aplicacin del lgebra a la geometra o
geometra analtica
3
. En el Libro I De
los problemas que se pueden construir
sin emplear ms que crculos y lneas
rectas de La Gomtrie (1637), Descar-
tes desarrolla procedimientos para efec-
tuar las operaciones aritmticas de
forma geomtrica y establece un mto-
do para construir todos los problemas
de la geometra ordinaria [problemas
planos] mostrando como se llega a las
ecuaciones que sirven para resolver
problemas. Entre stos no se encuentra
explcitamente el de la divisin urea,
pero s la resolucin de la ecuacin
cuadrtica equivalente z
2
= az + bb:
construyo el tringulo rectngulo MLN,
cuyo lado LM es igual a b (raz cuadrada
de la cantidad conocida bb) y el otro lado,
LN es igual a a/2, esto es: la mitad de la
otra cantidad conocida que estaba multipli-
cada por z, la cual he supuesto que es la
lnea desconocida. Seguidamente, prolon-
gando MN, que es la base del tringulo,
hasta O, de suerte que NO es igual a NL,
la lnea OM es z, la linea buscada. La cual
se expresa de la siguiente forma:
Aunque las construcciones propuestas ya eran conocidas, el
mtodo de Descartes presenta un toque de genialidad: la
introduccin de un segmento unitario. Desde el lgebra geo-
mtrica de Eulides hasta el lgebra especiosa de Vieta, las
magnitudes empleadas deban representar figuras geomtri-
cas y, por tanto, su dimensin no poda superar el nmero
tres. Del mismo modo, todas las expresiones deben ser
homogneas ya que en otro caso dejan de ser inteligibles (la
expresin aa + b, por ejemplo, representaba la imposible
suma de una superficie y una longitud). La gran aporta-
cin de Descartes consiste en salvar estas limitaciones, con-
siderando todas las magnitudes como segmentos:
As, si ha de extraerse la raz cbica de aabb b, debemos con-
siderar que la cantidad aabb est dividida una vez por la unidad
y la cantidad b est multiplicada dos veces por la misma unidad.
(Descartes, 1981: 281).
Tambin hay que resaltar la importancia del clculo sim-
blico, ausente en los Elementos, forjado a lo largo de los
siglos y perfeccionado por Vieta, y que alcanza con Des-
cartes prcticamente su notacin actual:
No es nada exagerado decir que, para el progreso humano, la
introduccin y difusin del clculo literal, en sustitucin del lge-
bra geomtrica, ha sido una revolucin comparable a la adopcin
de la mquina en lugar del trabajo manual (Radice, 1983: 58).
Como hemos podido observar, Descartes no alude a la
solucin negativa. Los nmeros negativos llegaron a ser
conocidos en Europa a travs de los textos rabes, pero la
mayor parte de los matemticos de los siglos XVI y XVII
se negaron a considerarlos como posibles races de una
ecuacin (Kline, 1985: 136). Descartes entenda que estas
races eran falsas, aunque lleg a demostrar que una ecua-
cin con races negativas poda ser transformada en otra
con races positivas, y, por tanto, podemos transformar las
races falsas en races reales (positivas).
La introduccin sistemtica de los signos en la geometra
pura fue debida a Mbius (Der barycentrische Calcul,
1827). Unos aos antes, Lazare Carnot, en su Gomtrie de
Position (1803), present un mtodo, los sistemas correla-
tivos, que permita representar al mismo tiempo la magni-
tud y la posicin de las figuras, sin utilizar los nmeros
negativos
4
. Para ilustrar el algoritmo de Carnot recurrimos
a uno de los textos ms clsicos de nuestra matemtica: la
Geometra analtica-descriptiva (1819), del coronel Maria-
no de Zorraqun.
Los pocos y confusos datos que se conocen de Zorraqun,
nos evocan la figura de un prestigioso militar, que partici-
p en la Guerra de la Independencia y que, al finalizar la
misma, fue nombrado profesor de la Academia de Inge-
nieros del Ejrcito de Alcal de Henares. Comprometido
con la causa liberal, fue condenado a prisin en el resta-
blecimiento del absolutismo en 1814. Al iniciarse el Trie-
nio Liberal fue elegido diputado por Madrid y lleg a ser
3 Como es sabido Lacroix fue el
primero en utilizar (Prlogo del
Trait de calcul, 1797) el nom-
bre geometra analtica en el
sentido actual: consiste en
deducir las propiedades de la
extensin del mnimo nmero
posible de principios por pro-
cedimientos puramente analti-
cos. Los primeros que usaron
el nombre de geometra analti-
ca como ttulo de un libro de
texto fueron Lefranais, en una
edicin de sus Essais de go-
mtrie de 1804, y Biot en la
edicin de 1805 de sus Essais
de gomtrie analytique (Bo-
yer, 1992: 602-603).
4 En una de sus obras ms influ-
yentes Reflexiones sobre la
metafsica del clculo infinitesi-
mal (1797; 2 ed, 1813),
Carnot afirmaba categrica-
mente que la nocin de algo
menor que nada era absurda.
Los nmeros negativos podan
ser introducidos en el lgebra
como entidades ficticias tiles
para el clculo. Sin embargo,
no eran ciertamente cantidades
y podan conducir a conclusio-
nes errneas (Kline, 1985:
184).
71
z a aa bb + +
1
2
1
4
(Descartes, 1981: 283-284).
Figura 3. Ecuacin z
2
= az + b
2
(Descartes)
M
L
N
O
nombrado Ministro de la Guerra el 24 de abril de 1823 en
el gabinete que Jos Mara Calatrava form en Sevilla,
donde los liberales haban retenido a Fernando VII. Es
posible, sin embargo, que no llegara a tomar posesin
efectiva del ministerio, ya que se encontraba en Catalua,
como general jefe de Estado Mayor de la divisin de Espoz
y Mina, donde falleci el 26 de mayo de 1823 en el curso
de un ataque contra los absolutistas. En todo caso, su
Geometra analtica-descriptiva, publicada en 1819, marca
un hito de modernidad en la matemtica espaola. Se trata
de una geometra prctica, representativa del paradigma
lagrangiano, que pretende representar el espacio (eucl-
deo) aunando los mtodos de la geometra analtica y de
la descriptiva.
Como era habitual en los textos de poca, la Geometra de
Zorraqun se presenta dividida en dos secciones: anlisis
determinada y anlisis indeterminada. Esta divisin res-
ponde a la concepcin, plenamente cartesiana, que Zorra-
qun tiene de la Aplicacin del lgebra a la Geometra.
Considera nuestro autor que el mtodo propio de la geo-
metra que nos permite alcanzar un resultado marchando
de consecuencia en consecuencia puede resultar penoso
e incluso impracticable cuando las cuestiones no son ele-
mentales. Conviene, por tanto, utilizar el lgebra como
una herramienta para facilitar y simplificar las investiga-
ciones, y dar a las cuestiones y a sus resultados un carc-
ter general, sin perder de vista que en toda expresin ana-
ltica hay siempre una construccin geomtrica:
Dos son los objetos de la geometra analtica: resolver las ecua-
ciones geomtricas por el anlisis e interpretar geomtricamente
o construir las frmulas analticas (Zorraqun, 1819: 4).
Entre los problemas propuestos en la primera parte est el
que ahora nos ocupa: Dividir la recta DB en media y
extrema razn.
Siempre que el objeto de un Problema sea
determinar la distancia de un punto desco-
nocido al origen, debe suprimirse el signo
de las soluciones negativas, y tomar las
cantidades absolutas en sentido contrario
al supuesto de la ecuacin primitiva
(Zorraqun, 1819: 42).
En el caso anterior la solucin negativa
ser BE donde E se obtiene abatiendo
E sobre BD en sentido contrario.
Los Fundamentos
As, pues, todo conocimiento humano
comienza con intuiciones, de stas se pasa
a conceptos y termina con ideas. (Kant,
Kritik der reinen Vernunft, 1781)
En 1872 Weirstrass, Cantor y Dedekind
culminan la aritmetizacin del anlisis
con sus respectivas construcciones de
los nmeros reales. El concepto de
nmero real se desliga as del de seg-
mento de Descartes: la aritmtica susti-
tuye a la geometra en la fundamenta-
cin del anlisis. De forma paralela, la
difusin de las geometras no euclideas
y la expansin de la geometra proyecti-
va (donde desaparece la nocin de
mtrica y, segn Staud, la nocin de
nmero real) rompen con la idea kantia-
na de un espacio mtrico euclideo dado
a priori. La geometra se convierte en
una ciencia pura, desligada de depen-
dencias empricas: uno debera ser
capaz explicaba Hilbert de decir siem-
pre en lugar de puntos, lneas rectas y
planos; mesas, sillas y jarras de cerveza.
Si admitimos la construccin de la geo-
metra euclidea dada por Hilbert, es
posible introducir en la Geometra un
clculo con segmentos, en el cual las
reglas dadas para nmeros reales sean
vlidas sin modificacin alguna
(Hilbert, 1996: 65)
5
. Y nuestro problema
pasa, por tanto, a ser una simple cues-
tin numrica.
Sin embargo, nada nos impide dejar
volar la imaginacin (La esencia de la
matemtica es su libertad) y considerar,
por ejemplo, como plano el conjunto
de puntos interiores (contorno exclui-
do) de una elipse dada. Llamando pun-
En 1872
Weirstrass, Cantor
y Dedekind
culminan
la aritmetizacin
del anlisis
con sus respectivas
construcciones
de los nmeros
reales.
El concepto
de nmero real
se desliga as
del de segmento
de Descartes:
la aritmtica
sustituye
a la geometra
en la
fundamentacin
del anlisis.
72
Figura 4. Seccin urea (Zorraqun)
B
D
C
E
A
H E'
La solucin positiva es, como en el caso anterior BH, y se
obtiene de BA = BC AC.
La novedad radica, como ya hemos adelantado, en la
introduccin de la solucin negativa siguiendo el algorit-
mo de Carnot:
5 Este clculo se basa en el teo-
rema de Pascal (otros autores
lo denominan de Pappus) que,
el gemetra alemn, demues-
tra sin utilizar los axiomas de
continuidad.
tos a todos los puntos interiores a dicha
elipse y rectas a las cuerdas (excluidos
los extremos) de la elipse. Podemos
construir un modelo (Lobachewsky)
que cumple las mismas propiedades
que el plano euclideo, salvo el Postu-
lado del paralelismo que ahora queda
formulado del siguiente modo
6
:
Por un punto P exterior a una recta MN
se pueden trazar dos paralelas a ella
(MM y NN) e infinitas no secantes.
Como medida del segmento AB se toma
el logaritmo de la razn doble
Agradecimiento
Deseo expresar mi reconocimiento al Dr. Luis Espaol,
profesor de la Universidad de La Rioja, por las sugerencias
y los datos facilitados para la elaboracin de este trabajo.
Bibliografa
BOYER, C. (1992): Historia de la Matemtica, Alianza Universal,
Madrid.
DESCARTES, R. (1981): Discurso del mtodo, Diptrica, Meteoros
y Geometra, Alfaguara, Madrid. (Prlogo, traduccin y notas
de G. Quints Alonso).
ETAYO MIQUEO, J. J. (1988): Los caminos de la Geometra, en
Real Academia de Ciencias Exactas, Fsicas y Naturales
(1988) Curso de Conferencias sobre Historia de la Matemtica
en los siglos XVII y XVIII, Madrid, 11-29.
EUCLIDES (1991a): Elementos. Libros I-IV, Gredos, Madrid. (In-
troduccin de L. Vegas, trad. y notas de M. L. Puertas Castaos).
EUCLIDES (1991b): Elementos. Libros V-IX, Gredos, Madrid.
(Traduccin y notas de M. L. Puertas Castaos).
HILBERT, D. (1996): Fundamentos de la geometra, CSIC, Madrid.
(Traducido de la 7 edicin alemana, 1930, por F. Cebrin. Es
una reimpresin de la obra publicada por el CSIC, en 1953 y
esta precedida de una introduccin de J. M. Snchez Ron).
KLINE, M. (1985): Matemticas. La perdida de la certidumbre,
Siglo XXI, Madrid.
LORENZO, J. de (1998): La matemtica: de sus fundamentos y cri-
sis, Tecnos, Madrid.
PACIOLI, L. (1991): La divina proporcin, Akal, Torrejn de
Ardoz. (Introduccin de A. M. Gonzlez, traduccin de J.
Calatrava).
PUIG ADAM, P. (1978): Curso de Geometra Mtrica. Tomo II.
Complementos, Gmez Puig Ediciones, Madrid.
RADICE, L.L. (1983): La matemtica de Pitgoras a Newton, Laia,
Barcelona. (Traducido por J. Vivanco).
ZORRAQUN, M. (1819): Geometra analtica-descriptiva, Impren-
ta de Manuel Amigo, Alcal.
6 Esta construccin puede verse,
por ejemplo, en Puig Adam
(1978)
73
log ( ) log : ABMN
AM
AN
BM
BN

M
N
A
B
P
N'
M'
De esta forma la proporcin F = p/x,
que los matemticos del Renacimiento
denominaban divina, porque como
Dios es siempre la misma y siempre
invariable, y de ninguna manera puede
cambiar ni de otro modo puede apre-
henderla el intelecto (Pacioli, 1991: 41-
42), nos conduce ahora a dividir un
segmento dado, AB, de forma diferen-
te en funcin de la posicin de sus
extremos.
Figura 5. Plano interior a una cnica
Figura 6. Media y extrema razn hiperblica
M
M
M
A
A
A
X
X
X
B
B
B
N
N
N
Jos Javier Escribano
IES Valle del Cidacos.
Calahorra (La Rioja).
Sociedad Riojana de
Profesores de Matemticas
En el prximo n. 40 (noviembre)
aparecer la convocatoria de la FESPM
para la Direccin de SUMA