Академический Документы
Профессиональный Документы
Культура Документы
,,,
'9l:c
. . .
~
~-~~~~~~~~~~~~~~~~~
lo.
J. PIAGET
LOS AUTORES
A. LICHNEROWICZ
G. CHOQUET
C. GATTEGNO
E. W.BETH
J. DIEUDONNE
PIAOET,
LA ENSEANZA
DE LAS
MATEMATICAS
y Pars.
ifP
Versin espaola de
ADOLFO MAILLO
ALBERTO AIZPUN
Profe5or de Matemticas
AGUILAR
DEPSITO LEGAL.
PROLOGO
PROLOGO
Esrn
Prlogo
Prlogo
XII
Xlll
Para realizar adecuadamente za segunda tarea se han constituido grupos nacionales e internacionales en el seno de la Comisin, y aunque todava no se han publicado los resultados de sus
trabajos, se puede augurar su fecundidad por el nmero y la calidad de los que participan en ellos.
Igualmente podemos contar entre las iniciativas de la Comisin, trabajando forzosamente por intermedio de sus miembros,
la formacin, en 1952, en Gran Bretaa, de la Association for
Teaching Aids in Mathematics, que cuenta con trescientos miembros, de ellos cuarenta extranjeros; la formacin, en 1953, de la
XIV
Prlogo
Socit beige des professeurs de mathmatiques, que cuenta tambin con ms de trescientos miembros. Cada uno de estos grupos dispone de su boletn propio, que difunde los trabajos de la
Comisin y aborda en ambos pases problemas de su competencia, y la formacin, en 1953, en Pars, de un ~rupo de estudio dirigido por miembros de la Comisin.
La Comisin se propone difundir mediante monografas y
simposios los trabajos que puedan rendir ms provecho en la enseanza de las matemticas. A causa de las diferencias existentes
entre los sistemas de educacin de los distintos pases, se ha
credo ms de acuerdo con la realidad actual, hasta que la labor
de la Comisin se deje sentir, publicar casi al mismo tiempo en
alemn, en ingls y en francs grupos de textos dirigidos a los
maestros de escuela, escritos, si es posible, por autoridades nacionales en la materia y cuyo fin sera llevar a los profesores al
conocimiento de los principales problemas que parece deben servir de base a la sntesis efectiva que exige una enseanza renovada.
La sntesis es una cosa viviente, que tiene lugar en la clase y
supone: l., espritus que estudian; 2.0 , maestros que buscan vas
de acceso a su entendimiento, y 3.0 , estructuras matemticas que
han alcanzado determinada farma a consecuencia de largos debates histricos en los que han participado numerosos temperamentos, genios y tendencias sociales.
El presente libro, sin preocuparse de proporcionar la sntesis,
se abre con un estudio del espritu que se enfrenta con la realidad matemtica. N ade mejor que Piaget poda ofrecer el modo
de esclarecer este dilogo gentico y proporcionar a los maestros
una base slida para su propio examen de esta importante componente de la sntesis.
El captulo de Beth aportar una puntualizacin al debate, todava abierto, sobre la autoridad que puede tranquilizar a los
espritus inseguros ante el problema de los fundamentos de las
matemticas. La discusin de los estatutos respectivos de la Lgica y de la Psicologa interesar al lector que tiene que decidir,
de acuerdo con la opinin de las autoridades en la materia, cul
de las dos debe guiar su enseanza. Pero todo el mundo agradecer al autor la claridad con que expresa su pensamiento y
el hecho de haber expuesto con vigor un criterio que es incons-
Prlogo
XV
XVI
Prlogo
INDICE
INDICE
PRLOGO
...
Pg.
IX
CAP.
l.
LAS ESTRUCTURAS MATEM ..\TICAS Y LAS ESTRUCTURAS OPERATORIAS DE LA INTELIGENCIA, por lean Piaget . . . . . . . . . . . .
CAP.
Il.
29
w.
l.
CAP.
Jll.
29
31
32
36
39
40
LA ABSTRACCIN EN MATEM ..\TICAS Y LA EVOLUCIN DEL .QGEBRA, por lean Dieudonn ..... .
42
l. La notacin algbrica .. .
II . Las ecuaciones imposibles
III. El clculo formal y el lgebra moderna ...
CAP.
IV.
v.
54
nerowicz . . . .. . .. .
CAP.
43
48
58
71
71
73
73
74
76
77
78
79
79
81
83
85
89
91
91
94
XIX
Indice
XX
TV.
CAP.
VI.
96
98
104
108
109
110
110
112
117
117
119
120
120
121
121
123
124
125
126
128
128
130
131
133
134
140
140
142
144
150
154
158
180
181
1
LA ENSEANZA
DE LAS
MATEMATICAS
CAPITULO
JEAN PIAGET
1
1
Sr
camino que siguen los matemticos para alcanzar las estructuras fundamentales parece hablar en favor de la segunda de estas
tesis: lejos de deducirlas de una vez, parte de analogas descubiertas despus entre las formas de razonamiento en juego en
dominios sin afinidad aparente; luego, en algn modo inductivamente, como se procede en presencia de hechos experimentales,
reconstituye los mecanismos comunes hasta obtener las leyes ms
generales de la estructura investigada; solo entonces interviene
la axiomatizacin y despus la explotacin, es decir, la aplicacin
de estas leyes generales a las teoras particulares por diferenciacin progresiva. Adems, el paso de las estructuras madres a las
estructuras secundarias se hace mediante combinacin de estructuras mltiples; tampoco aqu es una deduccin esta combinacin, porque hay que hacer intervenir a propsito de cada nueva
estructura axiomas nuevos para poder integrar en ella nuevos
elementos.
Pero esta marcha de algn modo inductiva del descubrimiento de las estructuras es, por el contrario, muy reveladora de las
relaciones que sostienen las estructuras con los elementos diversos que ordenan. Si, histricamente, estos elementos parecen dados con anterioridad al descubrimiento de la estructura, y si esta
desempea as esencialmente el papel de un instrumento reflexivo destinado a descubrir sus caracteres ms generales, no hay
que olvidar que, psicolgicamente, el orden de la toma de conciencia trastorna el de la gnesis : lo que es primero en el orden
de la construccin general aparece despus en el anlisis reflexivo, porque el sujeto toma conciencia de los resultados de la
construccin mental antes de alcanzar sus mecanismos ntimos 1
Lejos de constituir un argumento decisivo en favor de la independencia de las estructuras con relacin al trabajo de la inteligencia,
su descubrimiento tardo y casi inductivo nos hara, por el contrario, sospechar su carcter primitivo y generador. Pero si lo
que es fundamental aparece al trmino del anlisis, la recproca
no es necesariamente cierta, y sigue abierto el problema relativo
a esclarecer las conexiones eventuales existentes entre las estructuras madres del edificio matemtico y las estructuras operato-
i Pinsese, p, ej., en la introduccin tarda, con Cantor, de las operaciones de correspondencia unvoca y recproca cuando se trata de una de las
operaciones generatrices del nmero entero en el nio y en el primitivo.
n
Conviene, en primer trmino, recordar que la nocin de estructura se ha convertido desde hace unas dcadas, e independientemente de la evolucin reciente de las matemticas, en una
de las nociones corrientes de la psicologa de las funciones cognoscitivas (percepcin e inteligencia). En los campos ms diversos, los psiclogos se han visto obligados a admitir que la marcha natural del espritu, que consiste en buscar los elementos
antes que las totalidades, engendrando estas mediante la composicin de aquellos, se apoyaba en analogas engaosas con la fabri-
10
III
Las estructuras algbricas, y principalmente la de grupo, corresponden a los mecanismos operatorios de la inteligencia regidos por la primera de las dos formas de reversibilidad, que hemos
llamado inversin o negacin (el producto de una operacin por
su inversa es, pues, la operacin idntica o transformacin nula).
Conviene insistir, a este respecto, en el hecho de que, por
11
12
en funcin de este egocentrismo 1 ; a este nivel tampoco hay todava objetos permanentes de trayectoria independiente de la accin propia. Hacia el fin del primer ao, por el contrario, se da
simultneamente la constitucin de este grupo experimental de
los desplazamientos, ya invocado por Henri Poincar (pero que l
crea innato, siendo as que constituye una forma de equilibrio
final de la organizacin sen~o-motriz), y la elaboracin del esquema del objeto permanente (en funcin de las localizaciones
sucesivas, as como de los giros y retornos).
El desarrollo del pensamiento representativo, en el curso de
la fase preoperatoria y al nivel de las primeras operaciones concretas (de 7 a 11 aos), origina un cuadro anlogo. Mientras supone irreversibilidad del pensamiento, no pueden existir en
l nociones de conservacin ni siquiera en los campos ms simples de la observacin (consenacin de un conjunto en caso de
modificacin en la configuracin de los elementos; conservacin
de la equivalencia entre dos conjuntos correspondientes cuando
los elementos, despus de haber estado unos frente a otros, no
ofrecen ya correspondencia ptica; conservacin de la igualdad
de longitudes de dos palos cuando uno se encuentra ligeramente
desplazado respecto del otro; conservacin de la distancia entre
dos elementos inmviles cuando se intercalan nuevos objetos entre ellos, etc.). Por el contrario, la construccin de las primeras
estructuras representativas reversibles, hacia los 7-8 aos, lleva
consigo necesariamente la elaboracin de las correspondientes nociones de conservacin.
Es intil reproducir aqu la descripcin de las numerosas estructuras reversibles de tipo algbrico que hemos sealado en otro
lugar en la elaboracin, por el nio de 6-8 aos, de las nociones
de nmero entero, de rectas proyectiva o euclidiana, de medida
geomtrica, de tiempo, etc. Lo importante es recordar que cada
una de estas construcciones supone una elaboracin lgica previa, participando entre otras de la lgica de las clases, y que las
primeras operaciones de esta lgica accesibles al nio exigen tambin, para constituirse, ciertas estructuras de tipo algbrico no
idnticas al grupo todava, pero con algunos de sus caracteres.
Tomemos como ejemplo la inclusin de una clase parcial A
Vase
PIAGET:
13
[l]
[2]
[3]
A-A=O.
+A
= A (tautologa).
[4]
[5]
+ A')+
Se observan en esta estructura algunas transformaciones comunes con el grupo, tales como + A, - A y O. Pero, por una parte, la asociatividad .es restringida. Por otra parte, las transforma-
14
ladones en una sola, lo cual consideramos como una operacin aditiva, pero que se apoya en relaciones.
Pero la red no es solamente una estructura operatoria;
es, por ello, una estructura reversible. Solo que (y aqu reside el gran inters psicolgico de tales sistemas) su reversibilidad
no es, en su forma general, la inversin o negacin (nicamente
algunas variedades de redes distributivas son complementadas de
manera definida, y poseen as elementos com plementarios de primera y de segunda especie): la reversibilidad general propia de la
red es la reciprocidad. En efecto, la red comporta una ley de dualidad que consiste en permutar los + y los X 1 as como las relaciones precede y sucede. Apliquemos entonces la ley de dualidad
al ejemplo siguiente, designando por el smbolo --+la relacin pre
cede y por el smbolo +-- la relacin sucede :
IV
Las estructuras de orden, de las que vamos a tratar ahora,
son, se nos dice, estructuras de relaciones y no de operaciones;
tal, p. ej., la red. Pero es preciso que nos entendamos. Sin duda, la
red puede definirse totalmente en funcin de las relaciones en vez
de introducir las operaciones + y X ; en este caso se consideran
como primitivas las relaciones "x precede a y" o "y sucede ax", en
lugar de extraerlas de las operaciones xxy=x y x+y=y. Pero
aun considerando solamente las relaciones entre elementos semiordenados, persiste que la transitividad "x precede a y, y precede
a z; por consiguiente, x precede a z" consiste en encadenar dos re-
[l]
[2]
AB--+ A y AB--+ B; A
+ B).
~(A
+ B)
y B
~- (A
+ B).
15
de donde :
(AB)-+ (A
(A
+ B) +-- (AB).
Ahora bien: [3] no es absoluta negacin de [2], sino al contrario, una simple conversin de esta ltima relacin. De una manera
general, la ley de dualidad propia de la red no conduce a una inversin o negacin, como sucede en las estructuras algbricas, sino
a una transformacin fundada en la reciprocidad, es decir, a la permutacin del orden. Mientras la inversin vuelve a negar la misma
operacin, independientemente de las relaciones de orden, la reciprocidad vuelve a transformar el orden sin negacin de las operaciones en juego.
Las estructuras de orden son, por consiguiente, tan fundamentales para el mecanismo de la inteligencia como las estructuras
de grupo (u otras estructuras vecinas) y sera fcil demostrar,
como hemos hecho con estas ltimas, que se encuentran en vas
de formacin en los niveles preoperatorios, desde los comportamientos senso-motrices, y a fortiori durante todo el perodo de las
representaciones cargadas de imgenes que se extiende desde los
2 a los 7-8 aos. Pero limitmonos a caracterizar el papel que
16
17
mentos pueden estructurarse segn el modelo de las clases o segn el de las relaciones, lo que asegura la unidad psicolgica del
sistema. Pero desde el punto de vista de la estructura operatoria,
al nivel de las operaciones concretas, no existe estructura que
rena el conjunto de estas propiedades en un mismo sistema de
transformaciones y que asegure as la sntesis de la inversin y
la reciprocidad; esta sntesis de las dos formas fundamentales
de la reversibilidad solo se efectuar en el ltimo nivel del equilibrio del desarrollo de las operaciones lgicas; es decir, en el estadio de las operaciones interproposicionales, de las que hablaremos en el apartado VI.
18
19
~
~
~
20
21
VI
No es exagerado, por tanto, sostener que las estructuras operatorias de la inteligencia en formacin manifiestan desde el principio la presencia de los tres grandes t ipos de organizacin que
corresponden a lo que sern en matemticas las estructuras algbricas, las estructuras de orden y las estructuras topolgicas.
Pero conviene, por otra parte, sealar que las estructuras madres
se coordinan muy rpidamente entre s y engendran, mediante
sus composiciones interestructurales, algunas estructuras ms tardas cuya importancia no es menor para la construccin de las
nociones lgicas y matemticas.
Al nivel de las operaciones concretas, ligadas a la manipulacin de los objetos y no entraando, por ello, sino ciertas operaciones de clases y de relaciones (agrupamientos elementales), no
existe todava ninguna estructura de conjunto que fusione en un
mismo sistema de transformaciones las inversiones propias de las
estructuras algbricas y las reciprocidades propias de las estructuras de orden. Pero hacia los 11-12 aos, por trmino medio, se
sobreaade a estas operaciones concretas un conjunto de operaciones nuevas, relativas ahora ya a proposiciones y no a objetos,
y estas operaciones interproposicionales constituyen entonces una
doble estructura de grupo y de red, pero en la que cada uno de
estos dos aspectos concilia por su parte la inversin propia de
las estructuras algbricas con la reciprocidad propia de las estructuras de orden.
El grupo que entra as en juego comporta cuatro transformaciones (grupo de Klein), que pueden definirse de la manera siguiente, en el caso particular de las operaciones interproposicionales :
1) La inversa o negacin N de una operacin es su complementaria en el conjunto de las asociaciones de base ; p. ej.,
N (p v q) = p
= (p . ij) o
q) =
(p V 'ij) =
(p
q)
Pero el sistema de las operaciones interproposicionales constituye al mismo tiempo una red: todo par de operaciones tiene
una cota inferior definida por su parte comn (.): p. ej., (p = q)
(p v q) = (p q); y una cota superior definida por su reunin ( v ):
p. ej., (p q) v CP q) = (p = q). Aunque, por el hecho mismo de
ser complementada, esta red admite operaciones inversas. Adems, y es importante subrayar esto, en dos operaciones cualesquiera su cota inferior (= BJ) y su cota superior (= BS) constituyen juntamente un grupo, que no es el grupo lNRC, pero que
es isomorfo con l y origina las transformaciones que llamaremos la Na Ra Ca, y definiremos de la siguiente forma:
Sea una operacin binaria tal como p v q. Puede concebirse
como formada por dos operaciones unitarias p y q unidas por la
operacin componente ( v ) . De la misma manera, una operacin
ternaria como :
22
(p
q) = (p 2- q).
R (p :> q) = (q :> ;) = (p
I q).
3) La correlativa C de una operacin resulta de la permutacin de las ( v) y de los (.) en la forma normal de esta operacin; p. ej.,
C (p V q) = (p
C (p :> q) = (p
V
V
q). (p
q) . (jj
V
V
q}. (jj
q). (p
V
V
q) = (p . q).
q} = (p . q).
En el caso de p
N (q
N (p
R (p
R (p
:>
= (p . q) = e
= (q :> p) = R
sea NR
sea NC
(p. ij . r) =
{q
q, p. ej., se tiene:
(p :> q) o
. q)
(p :> q) o
. q) = (p . q) = N (p :> q) o
. q) = (p . q) y N (p . q)
:> p)
(p . q . r) v (p . ij . r) v (p . ij . r) v
23
=e
=R
sea RC = N
sea NRC = l .
= (p :> q) o
(la) X V y ( = BS)
(Na) i. y
(Ra) x / y = i v y
(Ca) x . y ( = Bl)
(la) X y (
Bl)
y
(Na) X f y = X V y
(Ra) i. ji
(Ca) x v y ( = BS)
Adems,
Na (Bl) = Ra (BS)
Na (BS) = Ra (Bl).
En otros trminos, si el grupo IN RC se incorpora la reciprocidad, la red de las operaciones interproposicionales se aade la
inversin y admite una estructura de grupo en cuanto a la relacin fundamental entre las cotas y las operaciones que unen.
Ahora bien: desde el punto de vista gentico, esta doble estructura de grupo y de red que constituyen las operaciones interproposicionales no es otra cosa que el trmino de las estructuras
elementales de agrupamientos (que representan, como hemos visto, grupos imperfectos, a falta de asociatividad completa, y semirredes). El paso de los agrupamientos de clases y de relaciones
a la estructura de grupo y de red de las operaciones proposicionales puede, en efecto, concebirse como resultado de la intervencin de operaciones combinatorias que sustituyen a las operaciones simplemente aditivas o multiplicativas. En otras palabras,
a los encajes simples de una clasificacin, etc., la red sustituye un
conjunto de partes, por combinacin n a n de estas partes entre
s. Pero tal composicin combinatoria es por s misma la generalizacin de una clasificacin: el conjunto de las partes, que
constituye la doble estructura de red y de grupo de que aqu se
trata, resulta en definitiva del conjunto de las clasificaciones posibles aplicadas a los elementos del agrupamiento, traducidas al
lenguaje proposicional.
introducir algunas distinciones que equivalen simplemente a disociar la Psicologa del psicologismo y la Lgica del logicismo.
El psicologismo es una tentativa de fundar la Lgica sobre
leyes psicolgicas: "Para el psicologismo-dice L. Aposte!-, las
leyes lgicas son leyes psicolgicas y describen el razonamiento
real, ya el ms frecuente, ya el ms normal, ya el ms eficaz prcticamente" 1 Dicho ms familiarmente, el psicologismo es una
manera de aplicar la Psicologa a un dominio en el que no es
competente, puesto que las leyes psicolgicas se apoyan en comprobaciones de hecho y las leyes lgicas proceden de la necesidad
deductiva o normativa.
Recprocamente, el "logicismo" es una intrusin de la reflexin
del lgico en el dominio de los hechos. Consistir, p. ej., en afirmar que la inteligencia de individuos de carne y hueso (ya se
trate de sabios o de estudiantes de matemticas) solo alcanza el
rigor lgico siguiendo determinados caminos: intuicin de esencias o sumisin del individuo a las reglas de un lenguaje adquirido del exterior, etc.
Pero si convenimos en dejar a la Psicologa el estudio de los
hechos y a la Lgica el anlisis de los fundamentos, vemos que
estas dos ciencias presentan entre s ms contactos que las filosofas en ismos, de las que se las ha querido hacer solidarias.
Ahora bien: al educador le son ms tiles los contactos que las
oposiciones doctrinales, extraas a la propia marcha de tales
ciencias.
La Psicologa, en efecto, tiende una mano a la Lgica mostrando que la inteligencia se orienta espontneamente hacia la
organizacin de ciertas estructuras operatorias, que son isomorfas de aquellas, o de algunas partes de aquellas que los matemticos colocan al principio de su construccin o de las que los
lgicos encuentran en los sistemas que elaboran. Pero este isomorfismo parcial no significa que las reglas lgicas sean leyes del
pensamiento. Las estructuras de conjunto hacia las que se orienta
la inteligencia en el curso de su desarrollo no corresponden ni a
estructuras nerviosas preformadas (o a formas a priori) ni a estructuras fsicas empricamente registradas: no son ms que leyes de equilibrio que se presentan bajo la forma de sistemas de
24
VII
L.
APOSTEL,
25
actuales sobre las relaciones entre la Lgica y el lenguaje terminen por conducir a la comprobacin de que la lengua misma, precisamente en la medida en que sus estructuras reflejan las de la
Lgica, hunde sus races en sistemas operatorios ms profundos
que las conexiones existentes entre los meros signos verbales.
En una palabra, el porvenir de las relaciones entre la Psico
loga y la Lgica queda ampliamente abierto y no puede ser prejuzgado en funcin de los errores pretritos. Desde el punto de
vista prctico, no se trata para el educador de elegir entre los
mtodos formalistas fundados en la Lgica y los mtodos activos
fundados en la Psicologa: el objeto de la enseanza de las ma
temticas ser siempre alcanzar el rigor lgico lo mismo que la
comprensin de un formalismo suficiente, pero solo la Psicologa
est en condiciones de proporcionar a los pedagogos datos sobre
el modo de conseguir con mayor seguridad este rigor y este for
malismo. Pero nada prueba que colocando el formalismo al principio lo encontremos al final bajo sus especies autnticas, y los
estragos de un seudoformalismo o un formalismo puramente verbal por demasiado precoz muestran, por el contrario, los peligros
de un mtodo que ignora las leyes del desarrollo mental.
En realidad, si el edificio de las matemticas reposa sobr('
estructuras, que corresponden, por otra parte, a las estructuras
de la inteligencia, es necesario basar la didctica matemtica en la
organizacin progresiva de estas estructuras operatorias. Ahora
bien : psicolgicamente, las operaciones derivan de acciones que
se interiorizan coordinndose en estructuras. Es vano, pues, ima
ginar que el recurso inicial a las acciones compromete el rigor
ulterior y favorece el empirismo. Hay empirismo cuando el educador sustituye la demostracin matemtica por una experiencia
fsica con lectura de los resultados obtenidos. Pero cuando la experiencia sirve de ocasin a la coordinacin de las acciones y la
abstraccin se refiere a estas acciones 1 y no al objeto, la expe
26
r7
de las operaciones reales una necesidad fsica, distinta de la necesidad psicolgica, a menos que esta nocin se reduzca, a fin de cuentas, a lo que
nosotros llamamos (con la teora de la Gestalt) leyes de equilibrio.
1 En las experiencias sobre el orden (orden directo, orden inverso, de
bido a un recorrido en sentido contrario o a una rotacin del dispositivo,
etctera), p. ej., el nio abstrae el orden, no de los objetos como tales,
sino de las acciones u operaciones gracias a las cuales han sido ordenados.
La comprensin del tema ser entonces de modo natural tanto mejor
28
CAPITULO 11
EWART W. BETH
Los
Estos postulados determinan al mismo tiempo el uso de palabras como centro de enseanza superior (o secundaria), profesor, alumno y estudiante de un modo independiente de la organizacin escolar.
De nuestros postulados resulta que puede preverse una interaccin bastante intensa entre los programas de matemticas de los
dos tipos de centros de enseanza. Por una parte, el programa de
la enseanza secundaria, para asegurar una preparacin eficaz de
los futuros estudiantes, debe adaptarse al de la enseanza superior; por otra parte, este ltimo deber tener en cuenta las exigencias derivadas del hecho de que los estudiamtes de hoy sern
los profesores de maana. Mencionemos el hecho, frecuentemente
descuidado, de que el programa de enseanza debe, no solo interesar a los alumnos, sino tambin inspirar al profesor; es evidente que la formacin de los profesores influye tambin en la
manera de realizar el programa.
Pero si necesariamente existe una doble tendencia a la adaptacin de los dos programas de estudio, se da asimismo una doble
tendencia antagonista; el hecho de que la enseanza secundaria
se dirige a alumnos muy jvenes y de los cuales solo una minora posee aptitudes particulares para el estudio de las matemticas, impone restricciones muy severas al programa de la enseanza secundaria.
Al mismo tiempo, el progreso continuo de la investigacin
matemtica exige una evolucin rpida del programa de la enseanza superior.
El desarrollo de las matemticas durante el siglo xrx y la tendencia cada vez ms acusada a economizar esfuerzos a los alumnos de la enseanza secundaria han comprometido tambin el
equilibrio, ya precario, de ambos programas.
La preferencia de la investigacin contempornea hacia el
anlisis, la introduccin de mtodos de razonamiento cada vez
ms complicados y ms abstractos y las crecientes exigencias de
rigor matemtico que derivan de la aplicacin de tales mtodos,
han contribuido a crear entre ambos programas un hiatus que
parece insuperable.
Por una parte, las matemticas elementales, materia por excelencia para el programa de la enseanza secundaria, parece
que pierden todo inters cientfico; por otra parte, las teoras
cada vez ms complejas que la investigacin moderna ha establecido no pueden incorporarse al programa de la enseanza secundaria.
30
31
- --.!~
32
III.
Ilustracin
33
("para todo x y para todo y tales como x < y hay un z tal que
x < z y z < y") es vlida para las dos estructuras [F,< ] y [R, < ] ;
la expresin
(Ex) (y) [x = )' . V X < y]
("hay un x tal que, para todo y, se tiene x L. y") no es vlida ni
para la una ni para la otra.
Para describir la diferencia entre las dos estructuras se tratar,
pues, de encontrar una expresin cerrada que sea vlida para la
una y no para la otra.
4. La investigacin de tal expresin se simplifica porque C. H.
Langford dio, en 1927, una solucin al problema de decisin para
la estructura [F, <]; es decir, que estableci un mtodo que permite, para toda expresin cerrada dada, decidir la cuestin de saber si es vlida para esta estructura o no. Ms bien que dar una
descripcin general de este mtodo, sealare su aplicacin al caso
particular de la expresin:
(Ex) (Ey) [x <y . & . (z) l z <y . -+ . z
<
x )]
(z) [z < y . -+ . z
WATIMATIC.U.- 3
< .r]
34
o ms bien su negacin
(Ez) [z
<
y . & . z
< x]
(Ez) [z
(Ez) ( {
(Ez) [z
<
<
X< y.
35
36
37
--~-~~~~~~~~~~~~~~~~~~~~~~~~~~
38
39
40
41
CAPITULO 111
La abstraccin en Matemticas
y la _evolucin del lgebra
POR
JEAN DIEUDONNE
LAs
43
La notacin algbrica
44
[!)
(n -
1) +
n = n (n
+ 1) / 2
~+~=~+~+3~~+~
45
:x (x
2)
46
do, manejado por l con rara virtuosidad. Un matemtico moderno est de tal manera habituado a este gnero de razonamiento
que su audacia apenas le resulta perceptible; pero de hecho exige
una capacidad de abstraccin que excede a la de muchos de nuestros contemporneos, aun de los que han recibido una educacin
cientfica, en cuanto salen de los senderos trillados 1
No es un azar que tambin en Diofanto encontremos por
vez primera un signo especial para expresar la incgnita de un
problema: se comprende sin esfuerzo la necesidad que le ha empujado a ello cuando intentamos explicar en lenguaje usual las
operaciones que se efectan para la resolucin de la ecuacin.
En nuestro ejemplo [3] habra que decir : "Si se aade una unidad
al rea de un rectngulo se obtiene el rea de un cuadrado cuyo
lado es el lado menor del rectngulo aumentado en una unidad;
s el rea de este cuadrado es 9, el lado del cuadrado es 3 y el
lado menor del rectngulo 2." Esta enunciacin se obtiene fcilmente en este caso gracias a la interpretacin gemetrica; pero si
queremos hacer lo mismo en los problemas de lgebra pura, y especialmente cuando hay varias incgnitas, se cae muy pronto en
un galimatas inextricable, del que la jerga de los juristas ("el
susodicho, hablando en tercera persona") no da ms que una
dbil idea 2 Diofanto, en todo caso, anota la incgnita y sus seis
i Todos los alumnos oficiales de los cursos de artillera antiarea, en los
alrededores del ao 1930 (en Francia), recuerdan la famosa leccin inaugural
sobre el tiro contra aviones. Se trataba de tirar sobre un objeto mvil,
de ruta que se supone conocida, y el oficial instructor expona el problema
de la forma siguiente: Si en un momento dado se conoce la posicin Mo del
avin, se sabe el tiempo fo que tardara el obs en alcanzar Mo: al cabo de
este tiempo to. el avin se habr colocado en un punto conocido M, y por
ello se desea tirar (en el instante inicial) al punto M ; pero la duracin del
trayecto del obs del can hasta el punto M no es igual, en general, a to: por
consiguiente, conclua el instructor, se llega a un crculo vicioso, que se
resuelve-aada l-mediante aproximaciones sucesivas. De hecho, si t es
el tiempo que tarda el avin en llegar de Mo a un punto P (cualquiera)
de su ruta, el tiempo T que tardara el obs en llegar a P es una funcin
F (t) conocida (por las tablas de tiro); el punto de la ruta futura del avin
que es necesario considerar es alcanzado, por consiguiente, al cabo de un
tiempo t,, que es raz de la ecuacin t=F (t). Este es todo el "crculo vicioso" del problema!
2 Se encontrar un ejemplo sabroso de esta especie de enunciado en la
regla (en verso!). por la cual Tartaglia comunic a Carda no su mtodo
de resolucin de la ecuacin de tercer grado (cf. M. CANTOR: Vorlesungen ber die Geschichte der Mathematik, t. Il, pg. 448. Leipzig (B. G. Teubner), 1892.
11/: La
abstraccin en matemticas
47
primeras potencias mediante los smbolos <;. ;;~ . l.',. ~~~. ilz,,, zz',
pero carece de notacin para representar a la vez varias incgnitas,
lo que prcticamente le impide dar soluciones completas a los problemas en que interviene ms de una de ellas.
En el curso de la Edad Media, los mtodos y las notaciones
de Diofanto deberan perfeccionarse muy lentamente. Se introdujeron smbolos que permitan designar varias incgnitas y sus
potencias de pequeo exponente y signos especiales para las operaciones algbricas corrientes (p. ej., en muchos algebristas de
esta poca, + y - se designan por p. y m. y la raz cuadrada
por R ; pero el signo = se introdujo hacia mediados del siglo xvr
y solo se adopt universalmente a fines del siglo XVII).
Hay que llegar a Chuquet (siglo xv) para que aparezca la notacin de los exponentes, que entra definitivamente en uso despus de Stevin (1600). Pero tambin aqu el progreso ms importante est relacionado con una concepcin ms abstracta del
lgebra: consciente del hecho de que los procedimientos de resolucin de las ecuaciones conocidos en su tiempo (p. ej., las frmulas de resolucin de las ecuaciones algbricas hasta el cuarto grado) solo dependen del grado de la ecuacin y no de los valores
de los coeficientes numricos de las potencias de la incgnita,
Vita (1540-1603) tuvo la idea de designar mediante letras, no
solamente las incgnitas, sino tambin los coeficientes dados de
las ecuaciones, y su notacin, perfeccionada principalmente por
Descartes y Newton, es ya muy prxima a la nuestra. Cuando,
despus de Newton y Leibniz, se realiza el ltimo progreso (designar mediante una letra el grado de la ecuacin y por la letra
con subndice a1t el coeficiente de xk en la ecuacin), se alcanza
un punto desde el cual se puede considerar de una manera general el problema de la resolucin de una ecuacin algbrica cualquiera
00
a1
+ .. . +
On X"
= 0;
el estudio de este problema ocupar todo el siglo xvm, para llevar por fin a la teora de Galois (1830).
Aparece en este caso un fenmeno muy general: problemas tan amplios no podan siquiera ser formulados correctamente ni, con mayor motivo, abordados con alguna probabilidad de
ecuacin puede muy bien tener races. Tomemos, p. ej., la ecuacin x3 = 15 x + 4, considerada por Bombelli (fin del siglo XVI);
. la ra1z
, x = 4, aunque (
esta adm1te
2 - 3 = - 121. Pero, a 1
48
[41
frmula [4] no tiene sentido. Sin embargo, Cardano y sus alumnos no tardaron en darse cuenta de que, aun en este caso, la
49
4)! (15)
+ V - IJ3 = s +
12
JI -
1 -
6 -
V -
= 2 + JI -
121
~:
-v--=-rn = 2 + Jl-=t
y de la misma manera
31- - - - - - -- --
-V -
121 = 2 -
V-
(a
[6]
(a
+
+
b . b . -
MATEMATlCAS .--4
1)
+ b' . + b' ./ -
(a'
1) (a'
l.
50
cin de aquellas en las que intervienen desigualdades, son consecuencias lgicas de las reglas siguientes:
[7]
[8]
(a, b)
(a', b} = (a
+ b')
ab' + ba')
[10)
(a, O)
(a', O)
(a, O) (a', O)
= (a
(R)
= (aa',
(y
} x (y
l . x
z)
= X,
x (yz)
a', b
bb'.
+
+
z) =
= (x
= (xY) z.
=
x,
xY
x . (1 /
a', O)
Hay, como se dice, isomorfa entre el clculo usual y el clculo con pares (a, 0).
2. Este primer paso nos ha conducido a definir dos operaciones con pares de nmeros ordinarios (a, b); pero se concibe
sin esfuerzo que lo mismo podran definirse otras operaciones con
pares (p. ej., parecera a primera vista ms natural tomar como
regla de multiplicacin la regla (a, b) (a', b') = (aa', bb'), en vez
de [8]; esta regla satisface, por otra parte, la condicin [10]. Esto
no nos explica, por consiguiente, el hecho (empricamente comprobado) de que el lgebra de las cantidades imaginarias obedece
a las mismas leyes que el lgebra usual. Esta ltima asercin es
bastante vaga, pero podemos precisarla del modo siguiente: es
fcil comprobar que todas las reglas del lgebra usual, a excep-
y)
X)
z.
=0
= yx
x) = l
=y + X
si x ;: O.
= o. X +
,-
al+ b:
O)
+ (xy + xz
X
51
a1 +Ir
(a, O) (e, d)
= (ac, ad)
52
que entonces no son vlidas las reglas (R), por lo menos si se conserva para la adicin la definicin anloga a [7] y para la multiplicacin la nica condicin anloga a [11]. Demostrmoslo, por
ejemplo, para n = 3. Las condiciones impuestas son, por consiguiente,
[13]
e'=f3+ae
[14]
(e- -
)2 =~-"--o
a~
(12)e'Z =
'
:x,
1 con e'= e -
a~
-y1 =~+-.Vamos
,\) (e'
>.)
Pero hemos visto ms arriba que las reglas (R) obligan en este
caso a que tengamos e' - ,\ = O o e' + ,\ = O, y ninguna de estas
condiciones es posible, porque en el primer miembro de cada una
el coeficiente de e es :r!= O. Debemos, por consiguiente, suponer
y
<
O, o sea y= -
entonces e"2 = a
+ be = a' + b'e",
,u2,
con ,u
>
O. Poniendo e" =
~ e', se tiene
p.
con a'
o.
= a + b 2,
y b' =
53
[15]
[16]
(a', O, O) = (a
(a, O, O) (a', O, O)
a', O, 01
(aa', O, O,)
e:
e: -
54
JU.
55
De aqu se pasa con toda naturalidad a una notacin simblica, en la que se designan mediante letras las propias rotaciones
(y no los nmeros complejos asociados), S, S', y por S'S la rotacin obtenida efectuando sucesivamente la rotacin S y despus
la rotacin S' (se tiene aqu, por otra parte, SS' = S'S). Esta notacin es evidentemente muy prxima, en sentido y en forma, a la
empleada desde Leibnitz para la superposicin de las funciones, y
es natural extenderla a cualesquiera transformaciones geomtricas. As, p. ej., designando mediante una letra un desplazamiento
cualquiera de un plano, se designar por TS el desplazamiento que
se obtiene efectuando primero el desplazamiento S y despus el
desplazamiento T. Nos encontramos, pues, en una situacin que
tiene alguna analoga con nuestro clculo de pares: esta vez se
ha definido una multiplicacin entre movimientos, por tanto, una
sola operacin en vez de dos; se puede, adems, calcular con
estos nuevos objetos?
A primera vista, esto no parece posible porque las cinco primeras reglas (R) no tienen sentido; adems, no es exacto que
TS = ST en general; lo vemos tomando, p. ej., para T una traslacin y para S una rotacin de 180 alrededor de un punto. Sin
embargo, se tiene tambin (ST) U = S (TU) para tres movimientos cualesquiera S, T, U; e interpretando adecuadamente los
smbolos que figuran aqu, las dos ltimas reglas (R) se extienden tambin a nuestro nuevo clculo. Basta, en efecto, que convengamos en considerar como un movimiento, el movimiento
idntico 1, la operacin que consiste en transformar cada punto
del plano en s mismo y, por otra parte, hacer corresponder a todo
movimiento S, el movimiento inverso S-1, cuyo efecto sobre cualquier punto es reducirlo a la posicin que ocupaba antes del movimiento S. Con estos . convenios, las reglas en cuestin son
IS
SI
s y ss-1 = s-1 s = l.
As llegamos a un clculo parcial, en el que no solo los objetos del clculo no son ya nmeros (y hasta no tienen ms que
relaciones lejanas con los nmeros usuales), sino en el que las
propias reglas del clculo no son las reglas usuales. Vemos, pues,
que estas no son intangibles, y desde mediados del siglo XIX poda concebirse un lgebra ms amplia en la que se englobaran,
con la vieja lgebra clsica, todos los clculos que aparecen poco
en el conjunto de los nmeros a+ b J2, donde a y b son racionales, y en otros muchos. Del mismo modo, el clculo de los
desplazamientos, del que hemos hablado antes, es un caso particular de la estructura de grupo: en tal estructura hay una sola
operacin, que podemos convenir en designar por T, y un elemento privilegiado, e, con los axiomas siguientes:
56
(G 1)
(G 2)
(G 3)
57
CAPITULO IV
ANDRE LICHNEROWICZ
CREO
59
__
~n::riunza
ae las matemticas
61
truoso. Creo que hay que temer mucho al hecho de que solo encontremos natural aquello a que estamos habituados, aquello
que nos ha condicionado parcialmente. Lo que le parece natural
al profesor no coincide ni con una evidencia peculiar de las matemticas ni con la evidencia del alumno. Esta es, en resumidas
cuentas, una comprobacin ms reconfortante, ms animadora,
porque nos asegura de que gozamos de una libertad efectiva mayor de lo que parece a primera vista. Y la nocin de natural o
de evidencia no debe ciertamente deducirse de simples concepciones a priori, sino que ha de ser objeto de estudios experimentales pacientes y detallados.
Ahora bien: en la segunda enseanza, tal como existe actualmente, qu podramos hacer para actuar de una manera relativamente razonable, de una manera que no d al traste con las
bases mismas de nuestra experiencia pedaggica? El carcter de
la concepcin contempornea de las matemticas que me parece
ms fundamental es el del primado de las estructuras y tcnicas
algbricas. Y ello, segn creo, es vlido durante un tiempo suficientemente largo para que valga la pena preparar en nuestra enseanza bsica una iniciacin a estas tcnicas algbricas. Mediante
un esfuerzo experimental por parte de los profesores y casi sin
modificar los sacrosantos programas, creo que puede introducirse
un poco del espritu del lgebra moderna en la aritmtica y el
lgebra elemental y, lo que ya es parcialmente cierto en mayor
grado, en la geometra elemental.
En esta enseanza no deben introducirse dogmticamente teoras abstractas, pero creo simplemente que a travs de numerosos
ejemplos elementales a nuestro alcance hay que esforzarse en deducir las nociones fundamentales, para habituar desde el principio a los alumnos a familiarizarse con las principales estructuras
algbricas, que ellos encuentran muy pronto, pero que no se les
ensea a reconocer. Los alumnos, cuando manipulan enteros o
polinomios, perciben vagamente que tienen algo de comn, pero
es muy raro que se les diga algo preciso acerca de este sentimiento de familiaridad que experimentan cuando, despus de los enteros, estudian los polinomios.
En el fondo, qu es, en sus fundamentos, el lgebra elemental? Ciertamente es la construccin (pido excusas porque esta
ser la nica palabra que emplear y no explicar) de ciertos
La
conjuntos de nmeros, los nmeros racionales, los nmeros reales, positivos o de otro signo, y es el estudio de lo que el lgebra
moderna en su lenguaje llama ley de composicin en estos conjuntos de nmeros. Por otra parte, el estudio del lgebra moderna comienza por esta misma nocin de ley de composicin que,
a dos elementos a y b de un conjunto, hace corresponder un tercero que se designar de una manera completamente arbitraria,
p. ej., multiplicativamente o con un signo particular o mediante
cualquier otra forma. Tal ley de composicin puede, -naturalmente, ser asociativa o no, conmutativa o no; admitir o no un elemento neutro. Pero ejemplos de este gnero, que por lo general sorprenden a nuestros estudiantes cuando se enfrentan con
ellos por vez primera, han sido de hecho encontrados por aquellos
con mucha frecuencia, aunque sin darse cuenta de que tal cosa
ocurra; y acaso sea bueno que les ayudemos a advertirlo mediante un dilogo especial. Acaso es posible hacer observar que
existe una ley de composicin de los racionales que es el', que compone dos racionales a y b, y que esta ley de composicin, muy
elemental, que encontramos muy pronto, no es ni asociativa ni
conmutativa, y es para ellos relativamente simple. Por consiguiente, una ley que no es asociativa ni conmutativa no es tan monstruosa, y en el fondo ellos mismos la han manejado.
Un elemento neutro en una ley de composicin (tomo la notacin multiplicativa) es un elemento que voy a designar por e, y
tal que el compuesto de un elemento cualquiera a con e, sea a la
derecha, sea la izquierda, vuelve a dar el elemento primitivo, a.
Pues bien, existe una ley muy sencilla que fsicamente, al primer
golpe de vista, carece de elemento neutro; es, p. ej., siempre
con nmeros racionales, la ley de composicin que consiste en
tomar el mximo de dos nmeros racionales, a y b. Esta es una
ley de composicin de los racionales que nos proporciona un nmero; pero no existe para ella ningn elemento neutro. No hay
ningn elemento tal que el mximo de este elemento e y de un
racional, a, sea a, cualquiera que sea a.
En fin, en la clase de matemticas elementales se encuentran
los desplazamientos del plano o los desplazamientos del espacio,
y en los desplazamientos del espacio tenemos ejemplos inmediatos de una ley que es asociativa y no conmutativa . .Ante estas
observaciones, quiz sea posible hacer evidente en el espritu de
63
los alumnos las diferencias entre estos comportamientos y aproximar estos resultados entre s y a los resultados bien conocidos
correspondientes a la adicin y la multiplicacin usuales de los
nmeros racionales.
La primera nocin algbrica fundamental es la de los grupos
llamados abstractos. De hecho, el grupo es una nocin extremadamente elemental, al menos en los ejemplos que encontramos.
Sabemos que un grupo es esencialmente un conjunto dotado de
una ley de composicin, en el sentido en que lo he definido antes,
que debe satisfacer tres condiciones.
La primera de estas condiciones es que la ley debe ser asociativa, lo que est perfectamente claro.
La segunda condicin es que debe existir un elemento neutro,
en el sentido en que lo he definido hace un momento; con una
notacin multiplicativa para la ley de composicin tenemos:
a e= e a= a.
En fin, la tercera condicin es la existencia de un elemento
inverso para cada elemento del conjunto, es decir, que es necesario que a todo elemento a se pueda hacer corresponder un elemento, a-1, que sea tal que a. a-1 = a-1 a= e.
He utilizado aqu como ejemplo una ley de composicin simbolizada multiplicativamente. Pero puede utilizarse tambin una
notacin distinta, una notacin aditiva, p. ej., y en este caso nos
veremos obligados a representar este elemento neutro mediante
la notacin habitual del cero. El grupo se llama conmutativo o
abeliano si la ley de composicin es conmutativa; y en general
se reserva la notacin aditiva a los grupos conmutativos; los
ejemplos de esto abundan desde los comienzos del lgebra.
Con la adicin usual como ley de composicin, sabemos que
los enteros, los racionales, los reales de todos los signos constituyen, en relacin con la adicin, grupos abelianos. La ley es manifiestamente asociativa . y existe un elemento inverso, es decir,
en el sentido de la notacin, un elemento opuesto.
Pero haremos observar tambin que, siempre con la misma
ley, los polinomios o las fracciones racionales, llegado el caso,
definen tales grupos. Lo mismo ocurre con la multiplicacin usual
de estos conjuntos. Entonces los enteros, racionales, reales (correcto excluir el cero), estn'ctamente positivos, o bien los enteros,
racionales, reales, distintos de cero, definen grupos multiplicati-
vos. Lo mismo ocurre con las fracciones racionales. En geometra de la clase de matemticas se introduce ahora, creo que con
bastante frecuencia, la nocin de grupo de transformaciones. Aqu
las circunstancias son ligeramente distinta&. El conjunto considerado es un conjunto de transformaciones puntuales del espacio
y se da la ley de composicin; es el producto usual de las transformaciones. Pues bien: podremos esforzarno& en aproximar, por
una parte, los axiomIS de los grupos y, por otra, las propiedades
usuales de los desplazamientos y de las semejanzas, p. ej., del
espacio. Se ve inmediatamente que para que un conjunto G de
transformaciones constituya un grupo de transformaciones, es necesario y suficiente que se satisfagan tres condiciones.
Cules son estas? La ley es automticamente asociativa, tiene
automticamente un elemento neutro bien determinado que es
la transformacin idntica, la que no modifica ninguno de los
puntos del espacio y existe de una manera determinada una transformacin inversa. Es necesario que todo esto se d en el interior del conjunto G de las transformaciones consideradas. Por
consiguiente, ser necesario:
a') Que el producto de transformaciones opere en e; es
decir, que si x e y son dos transformaciones de G, el producto
que est bien determinado de estas transformaciones de e pertenezca tambin a G.
b') Que el elemento neutro, la transformacin idntica, pertenezca al conjunto G.
e') Que si x es una transformacin de G, su transformacin
inversa que est bien determinada pertenezca tambin a G.
Estos son los axiomas de los grupos de transformaciones.
No es mi intencin que se acte deductivamente a base de
tales nociones, sino que cuando se hagan demostraciones, cuando
se intenten poner de relieve algunos caracteres, sean puestos en
evidencia los axiomas utilizados como resultados en los ejemplos
concretos de que se trate. Hay que hacer notar que existe una
nocin relativamente muy simple y que rara vez se expone a
plena luz, no obstante su utilidad; tengo la impresin de que
podra destacrsela de una manera relativamente muy clara: es
la nocin de relacin de equivalencia.
A qu llamamos una relacin de equivalencia entre elementos
de un conjunto cualquiera? Es una relacin entre elementos que
64
65
MATEMATICAS .- 5
66
67
68
d.iatamente que este es el caso de los racionales reales y fracciones racionales, que definen un cuerpo en el sentido que acabamos
de indicar, y la mayor parte de sus reglas de clculo son las del
cuerpo. No ocurre as con los enteros y los polinomios; un entero no tiene un inverso que sea entero. Un entero tiene un inverso
solamente saliendo del conjunto de los enteros, de modo que los
enteros proporcionan un ejemplo de anillo extremadamente sen
cillo, el ms sencillo que se puede imaginar, y que no es cierta
mente un cuerpo. Lo mismo ocurre con los polinomios.
Finalmente, en el anillo de los enteros mdulo p se puede
observar un criterio aritmtico muy entretenido y elemental. Es
un hecho elemental que si p es primo, el anillo de los enteros
mdulo p es un cuerpo.
La ltima nocin sobre lo que quera decir algunas palabras
antes de concluir corresponde al campo del lgebra moderna, pero
se encuentra generalmente en la clasificacin de las ramas ms
relacionadas con la geometra elemental: es la nocin de espacio
vectorial. Esta nocin es esencialmente la traduccin algbrica de
las propiedades no mtricas esenciales de los vectores libres de la
geometra ordinaria.
Consideremos el conjunto de los vectores libres de la geometra ordinaria y aadmosles los nmeros (los escalares) que sern el cuerpo de los reales. Primeramente, en el conjunto de los
vectores tenemos una ley de composicin notablemente simple
que es la adicin de los vectores. Sabemos juntar vectores y cules son las propiedades de esta adicin. Son las que hemos resumido bajo la denominacin de grupo abeliano. Por el contrario,
tenemos una ley de composicin entre vectores y elementos de
nuestro cuerpo de los reales; es la multiplicacin por un escalar
.....
real 11 de un vector x cualquiera: ex. x, y esta multiplicacin tiene,
en el fondo, tres propiedades fundamentales interesantes:
...
1. 0
2.
3.0
......
X
X.
;
... + =y)_,.. ("{!)
=
" (,B.tj
"
~X
'1X
...
ciy, ("
_,.
{!)
.......
CU
_.,.
/3X.
Y, en el fondo, toda la lgebra vectorial no mtrica est contenida en el hecho de que la adicin da un grupo abeliano y que
69
70
que se podra demostrar del modo ms natural mediante un clculo en vez de hacer tantas figuras. Es, sencillamente, una variante
de la demostracin clsica, pero yo la encuentro ms natural.
Considero dos vectores unitarios y perpendiculares 7, y una
rotacin de estos vectores de ngulo 81; se ve inmediatamente
que
= feos e1 + Tsen li1
--+
--+
i1 = - i sen 01 + j cos 111,
....
....
...
+ 82)
Sobre la enseanza
de la geometra elemental
POR
GUSTAVE CHOQUET
-+
is
.....
ngulo 82; es evidente que i2 y i2 se deducen de i y ; por la rotacin de ngulo (81 + 82), de modo que para obtener explcitamente
cos (81 + 82) y sen (81
CAPITULO V
-+
Introduccin
DESDE hace algunos aos se observa un creciente malestar entre los profesionales de la enseanza de la geometra elemental. Todos comprenden que los manuales y la tradicin de modos de enseanza que nos ha dejado el pasado no
son, ciertamente, inmejorables.
En particular, cuantos han ensayado la enseanza de los principios de la geometra elemental han sufrido cierto embarazo al
tratar de precisar el punto de partida, y en este punto la lectura
de los manuales no les ha prestado ayuda alguna.
La geometra elemental puede ser una agradable excursin,
pero frecuentemente se parte de una incierta oscuridad y el camino seguido atraviesa profundos baches, como, p. ej., el de los desplazamientos o el de la orientacin, de los que el alumno solo
puede salir por el primitivo y atormentador procedimiento del
palo.
Es asombroso comprobar hasta qu punto las investigaciones
tericas de los ltimos siglos han carecido de influencia en la enseanza de la geometra elemental. Cuando se poseen actualmente
todos los elementos para construir una exposicin a la vez coherente y sencilla, y trabajos como los de Hilbert han aclarado por
completo la naturaleza y la funcin de los axiomas de base, los
manuales de enseanza, en cuanto concierne a los fundamentos,
se mantienen con gran frecuencia inferiores a los Elementos que
Euclides enseaba hace ms de 2.000 aos.
71
Quiz hay que tener en cuenta la influencia de programas excesivamente estrictos. Para el autor de un manual, el tener que
ceirse a la letra y al espritu de un programa establecido es una
constante preocupacin que puede ocultarle algunos problemas
fundamentales.
Un remedio parcial podra consistir en dejar un sector libre
en ciertas enseanzas, p. ej., en la de las matemticas elementales, de tal modo que el profesor quedara en libertad de ensear
algn punto a su manera.
En esta cuestin quiz sea significativo observar que es precisamente en el extranjero donde los programas son menos estrictos que en Francia, en general, donde se dan los ensayos ms
interesantes en la enseanza de la geometra elemental 1
No deseo que estas observaciones produzcan equvocos. Por
mi parte, no creo posible, ni aun deseable, presentar una exposicin axiomtica rigurosa de la geometra ante alumnos que rozan
los catorce aos de edad. Corresponde a cada profesor tener idea
clara de lo que debe ser una exposicin de este tipo, cules son
las definiciones ms apropiadas y cul el origen lgico que debe
seguir.
Despus de este estudio adaptar sus enseanzas a la edad y
al nivel intelectual de los alumnos, recordando siempre que lo
esencial es que subsista la armazn, sobre todo en las definiciones.
No es ms difcil, sino que con frecuencia lo es menos, dar buenas
que malas definiciones. Una de las preocupaciones del profesor
debe ser dar facetas cada vez ms claras de una misma obra de
arte, y esto nunca podr conseguirlo si l mismo solo conoce de
esta obra una mala caricatura.
En cuanto sigue pretendo mostrar cmo se puede edificar la
geometra elemental clsica de modo sencillo, sin alejarse de la
experiencia sensorial del nio. Detallar algo ms la parte que
corresponde a los primeros teoremas, sobre todo para dejar bien
patente que se puede ser riguroso aunque se utilicen recursos elementales. No pretendo dar a una exposicin axiomtica determinada mayor importancia que a otra cualquiera. En realidad, solo
considerar cumplido mi objeto si el lector, por no quedar satis-
72
1 Vase,
p . ej .. G. B. HALsrEo:
llars. 1911.
l.
73
Una de las razones por las que no los puedo considerar como
perfectos en este sentido es que en ellos, invariablemente, el postulado de Euclides es tratado con veneracin casi religiosa, del
todo incomprensible, por cuanto es bien sabido que puede sustituirse por axiomas que resultan mucho ms intuitivos en esta
geometra de papel tijeras, como son los siguientes:
"Existe un cuadrado, al menos (cuadriltero de lados iguales
y ngulos rectos)."
O este: "Todo cuadriltero est contenido en un tringulo."
O bien: "Dos rectas paralelas a una tercera son paralelas entre s."
-r
Axiomas y postulados
75
76
primera parte, pueda deducirse otra relacin f (H11 L 1, Tkl X), tambin dada?
"En buena lgica, la novela podra terminar aqu, y en este punto sera el lector quien comenzara su trabajo intelectual. Sin embargo, casi siempre tiene una tercera parte en la que el autor
trata de dar su propia solucin. Entonces suele verse que el sistema de relaciones iniciales era insuficiente, y para salvar la indeterminacin el autor revela en el ltimo momento una relacin
complementaria, hasta entonces desconocida, que resuelve enteramente el problema, es decir, que permite determinar X sin ambigedad. Tal retraso de informacin no suele considerarse como
falta grave por el lector y este queda, al final, satisfecho.
"Pero no ocurre lo mismo cuando el sistema de relaciones iniciales (digamos los axiomas) es contradictorio, es decir, cuando
tales relaciones permiten asegurar que X, que debera ser nica,
es simultneamente idntica a H1 y a H3, que son distintas entre
s. El lector dira que se encuentra ante un autor inhbil o de
mala fe, y su inters por el juego propuesto desaparecera al
momento.
"En este nuestro juego de la geometra elemental, confiamos
ser lo bastante afortunados para que las relaciones iniciales que
elijamos no ofrezcan contradiccin."
Puntos difciles
7i
IGUALDAD DE FIGURAS.-MOVIMIENTOS
Igualdad de dos figuras: "Se dice que dos figuras son iguales
cuando son superponibles, lo que quiere .decir que se puede transportar una sobre la otra hasta conseguir una coincidencia perfecta."
No es solo que los trminos "superponibles, transportar, coincidencia" no han sido definidos hasta entonces en parte alguna,
sino que, adems, una definicin como esta produce una molesta
confusin entre la igualdad de dos figuras y su superponibilidad
por un movimiento continuo.
Veamos otro ejemplo, ms peligroso que el anterior, porque
este de ahora nos lleva a consecuencias errneas:
"Si dos figuras planas son tales que a tres puntos cualesquiera,
A, B, C, de la primera corresponden siempre tres puntos A', B', C'
de la segunda, de tal modo que determinen un tringulo directamente igual al ABC, dichas dos figuras son iguales."
No insistiremos diciendo que la igualdad de tringulos no ha
sido definida, pero s observaremos que de esta definicin resulta
que toda figura E contenida en otra E' es siempre igual a esta.
El origen de las dificultades no est siempre en lagunas de
este tipo, claramente perceptibles, sino que a veces queda disimulado entre los trminos que en general se consideran como
bien definidos. Tomemos, a guisa de ejemplo, la palabra tringulo.
Tanto es la figura formada por tres rectas como la formada por
tres segmentos AB, BC, CA; otras veces, en cambio, hay que
sobrentender, sin previo aviso, que se trata del conjunto de los
tres vrtices. Quiz se deba todo al peligro de la palabra figuras
78
/""'
/ ""'
79
Axiomtica de:Hilbert
Por la misma razn consideramos mal adaptada a la enseanza de la geometra elemental toda exposicin que fundamente la
geometra eucldea en la proyectiva y abandonarnos, a pesar de tener gran inters y elegancia, las axiomticas basadas sobre el grupo de los desplazamientos que definen la congruencia d e segmentos
a partir de aquel.
80
81
by
cz
= d.
donde
+ f3'
= a" t +
a' t
O< r < co
{3''
con todo elemento a> O, su raz cuadrada 1 . ; a, nuestra geometra puede enriquecerse por introduccin de una distancia
d (M1MJ ~O entre dos puntos M1 M2 cualesquiera:
82
d2 (Ml MJ
[d (M 1 MJ = O]
= d (M2 M 1)
equivale a
M 1 = Mi
d (M 1 M 2)
= d (A,
B).
Se demuestra, p. ej., que dos rectas cualesquiera son isomtricas (y en particular isomtricas con el eje x'x, l mismo isomorfo con el cuerpo K), y lo mismo puede decirse para dos planos.
Adems, inversamente, todo conjunto isomtrico con una recta
(o con un plano) es una recta (o un plano).
Un teorema esencial es el siguiente: toda isometra entre dos
conjuntos F y F' puede prolongarse en una isometra del espacio R consigo mismo. Esta prolongacin es nica si F contiene
4 puntos no coplanarios, mientras que hay dos prolongaciones
si F est situada en un plano pero contiene 3 puntos no alineados.
Este teorema permite asociar un signo ( +) o (-) a toda isometra entre dos figuras, F, F', no planas. En efecto, si X, Y, Z
son los vectores transformados de los vectores unitarios de los
ejes x'x, y'y, z'z, en la isometra de todo el espacio que se obtiene
prolongando la dada entre F y F', el determinante de sus compo1
bf) ' K.
83
Si hemos detallado un tanto el esbozo anterior de la concepcin analtica de la geometra se debe, en primer lugar, a que
creemos que puede ser utilizada en la enseanza en cierto nivel
y tambin a que matemticos de prestigio estn de acuerdo en
que puede proporcionar un modo de exposicin de la geometra
elemental. Por las mismas razones haremos ahora un estudio crtico de la misma.
No es necesario insistir sobre la considerable fuerza que tiene
el procedimiento usado en esta reconstruccin del espacio. En
pocas pginas se han podido introducir las nociones ms delicadas de la geometra, y al mismo tiempo, el formalismo que hay
implicado en la base del procedimiento seguido suministra la herramienta de la geometra analtica, tan til en los desarrollos
posteriores. Estos resultados se deben a que han sido utilizadas
desde un principio varias nociones fundamentales, que pueden
llamarse claves: recta numrica, espacio producto y la forma cuadrtica (x 2 + if + z2) asociada a la forma bilineal (xx' + yy' + zz').
Puede anotarse como otra ventaja importante que esta construccin no es una construccin axiomtica; las definiciones que
en ella aparecen utilizan solo la nocin de nmero real. Claro que
por ello mismo est implcita en la construccin la misma axiomtica que se encuentra en la base de la definicin de los nmeros reales. Pero si se recuerda que la recta real se construye a
partir del conjunto de los enteros a travs del de los nmeros ra-
84
85
A UN CONJUNTO DE INSTRUMENTOS
Si queremos dar a la geometra una base que sea no solo correcta lgicamente, lo que sera insuficiente, sino tambin prxima
a la experiencia sensible de cada uno de nosotros, es necesario
que olvidemos, siquiera sea momentneamente, cuanto sepamos
de las propiedades del plano y del espacio, as como de los entes
-rectas, crculos, esferas-que ~n ellos situamos. De modo que
adoptamos la actitud del investigador que, habiendo encontrado
diversos casos particulares, intenta extraer de ellos una nocin
nueva que todava no ve con entera claridad.
Limitndonos al estudio del plano, la situacin es la siguiente: ya hemos encontrado, experimentalmente, porciones de plano: la superficie de un estanque, una cuartilla de papel sobre
una mesa, etc., y, partiendo de ellas, podemos imaginarlas indefinidamente prolongdas, es decir, sin lmite accesible.
Adems, disponemos de varios instrumentos: lapicero o tiza
86
primeros enunciados de l: "En el conjunto de los pares de puntos AB del plano existe una relacin, AB......., A'B', llamada congruencia, tal que :
[I]
87
AB _, AB
[2]
[3]
[4]
88
[7]
r; r
[8]
[9]
= /'.
d (OA)
El enunciado [5] prueba ahora que la notacin (a + b) es independiente del par OA elegido. En cuanto a la desigualdad triangular para toda terna (ABC), es consecuencia inmediata de la definicin y de la existencia de la suma de dos longitudes.
El mismo enunciado [5] da un teorema notable, que es este:
Teorema 1: Existe siempre la relacin a+ b = b
Y si por ltimo enunciamos :
+ a.
89
90
Sera intil que aadiramos una regla porque las rectas podremos obtenerlas plegando la hoja de papel.
Construccin de los axiomas d.. - Como precedentemente, el comps nos proporciona los axiomas de congruencia en el
conjunto de los pares de puntos del plano y la nocin de longitud
de un segmento; pero ahora asociamos a cada pliegue del plano
su conjunto de puntos invariantes, que llamaremos recta. Fcil-
mente admitiremos los enunciados que siguen:
Por dos puntos cualesquiera pasa una recta y una sola (solo
existe un pliegue que deje invariantes dos puntos).
Sobre cada recta se pueden elegir dos sentidos de recorrido.
Toda recta posee un grupo transitivo de isometras (el deslizamiento que lleva un punto dado sobre otro es nico). Este deslizamiento llevar con facilidad a la nocin de suma de dos longitudes.
Todas las rectas son isomtricas.
Realizando un pliegue, el plano queda dividido por la recta
asociada en dos partes tales que todo segmento de recta que una
dos puntos situados uno en una de las partes y el otro en la otra
parte, encuentra a la recta asociada.
V: Sobre la enseanza de la
geom~tra
elemental
91
m.
Geometra de la recta
Algunas veces utilizaremos los smbolos , e, u. n. muy cmodos en la prctica e intraducibles en la enseanza sin ningn
inconveniente .
x A significa que x es un elemento del conjunto A .
B e A significa que B es un subconjunto de A.
Estos enunciados hacen intervenir casi exclusivamente relaciones referentes a puntos alineados. Es necesario, por tanto, aadir un enunciado que permita estudiar conjuntos de puntos no
alineados. Utilizando el comps se descubre la desigualdad triangular:
Cualesquiera que sean los puntos A, B, C, es siempre
d (AC) ~ d (AB)
+d
(BC)
que corresponde al enunciado clsico, poco preciso, "el segmento de recta es el camino ms corto entre dos puntos".
Este corto esquema basta para hacemos comprender lo interesante que resulta comenzar el estudio de la geometra por el de
la recta. Tal estudio permite elaborar un vocabulario cmodo v
proporciona un conjunto de teoremas que, razonablemente, h~
brn de utilizarse en la geometra del plano.
A u B es la unin de A y de B .
92
=b
93
Un cuarto axioma,
CJ
(a, b) -
(b, a)
permite sustituir la relacin de equivalencia entre los pares ordenados (a, b) por la relacin de equivalencia inducida sobre el conjunto de los intervalos cerrados [a, b] de extremos distintos.
Se puede extender esta relacin al conjunto de todos los intervalos cerrados, considerando como equivalentes todos los intervalos cerrados que contienen un solo punto.
A esta relacin de equivalencia est asociada una distribucin
del conjunto de los intervalos cerrados en clases de equivalencia
disjuntas. La clase de equivalencia que contiene como elemento
un intervalo cerrado [a, b] la llamaremos longitud de [a, b], o t ambin distancia entre a y b, simbolizndola por o (a, b). Entonces
tanto da decir que [a, b] y [a', b1 son congruentes como que sus
longitudes son iguales. Cuando sea a=b, d iremos que o (a, b ) =O.
Y, por ltimo, dos axiomas que permitirn definir una adicin
sobre el conjunto de las longitudes:
CJ
3. La interseccin de un nmero finito de intervalos abiertos (cerrados) o es vaca o es un intervalo abierto (cerrado).
4. La unin de un nmero finito de intervalos abiertos (cerrados) que tienen dos a dos puntos comunes, es un intervalo
abierto (cerrado).
Ejercicio menos fcil: Si ilt i 2, ift son intervalos tales que
dos a dos tienen puntos comunes, tienen al menos un punto
comn.
CJ
Si (a, b, e) y (a', b', e') son dos ternas tales que b est entre
a y e, mientras b' est e ntre a' y e', las relaciones (a, b) ,.., (a', b' )
y (b, e) - (b', e') suponen que tambin es (a, e) - (a', e').
e,)
(a, b) -
(a, b)
CJ
C3)
(a, b) -
(a, b)
(a", b")
Por tanto, estos intervalos no estn orientados, siendo [a, b] = [b, a].
(a, b 2)
+ (b,
e).
o [(a,
b)
( b, e)] =
o (a,
b)
+ (b,
e).
+ o)
= a
95
La estructura de orden total de !:::,. induce sobre L una estructura de orden total en la que el menor elemento de L es O, y esta
estructura es compatible con la adicin, es decir, que la relacin
l1 < ll2 supone la 81 + /l3 < z + 3, cualquiera que sea ll3 Por ltimo, escribir /l1 < .32, equivale a decir que existe un /l9 tal que
62 = ll1 + 83
la recta real, R. Para construirla se define primero la recta racional Q, completndose esta despus con los nmeros irracionales. Su importancia en geomet ra resulta de las propiedades que
aparecen en los ejercicios 4 y 5.
Ejercicios: l. Sea !:::,. el conjunto de las ternas ordenadas de
nmeros reales i a, b, c Hllese una definicin de la congruencia sobre el conjunto de los pares de !:::,. para la que !:::,. sea una
recta.
2. Ms generalmente, sea I un con junto totalmente ordenado cualquiera y !:::,. el conjunto de las funciones f (i) de valores
reales definidos sobre I y tales que el con junto de las i en los que
es f (i) -:i= O est bien ordenado 1 Definir sobre !:::,. una estructura
de recta orientada.
3. Toda isometra m ' = 'f (m) de una recta orientada sobre s
misma (es decir, una correspondencia biunvoca que conserva las
distancias) o es una traslacin m' = m + C 1' o es una simetra
m + m' = c 1.
4. Diremos que una recta orientada 6 satisface el axioma
de Arqumedes si, dadas dos longitudes cualesquiera 81 y 82, no
nulas, existe un entero n tal que n 81 > Oz.
Diremos tambin que dos rectas orientadas !::::. y !:::,.' son isomorfas si entre ellas existe una correspondencia biunvoca que
conserve el orden y transforma intervalos congruentes de !:::,.
(o de !:::,.') en intervalos congruentes de !:::,.' (o de L,). Demustrese
que si una recta orientada satisface el axioma de Arqumedes es
isomorfa con un subconjunto de la recta real. (Demustrese primero que existe sobre !:::,. un subconjunto numerable que tiene
puntos en todo intervalo cerrado.)
5. Diremos que una recta orientada !::::. satisface el axioma de
continuidad si para toda sucesin de puntos creciente y acotada
superiormente, a1 :::::;; Clj ... ...::::: " :S ... L. b, el conjunto de los puntos b' tales que "...::::: b' para t odo n, tiene un elemento menor que
los dems (que se llama lmite de la sucesin).
Demustrese que si una recta orientada 6 satisface el axioma
de continuidad: 1) satisface tambin al axioma de Arqumedes ;
94
si w<a
si w>a
si w = a
o (w,
b) =
o (w,
a)
+ o (w,
b)
Esta adicjn define sobre !:::,. una estructura de grupo conmutativo y es compatible con la estructura de orden.
Inversamente, a todo conjunto totalmente ordenado dotado de
una estructura de grupo conmutativo, cuya adicin es compatible
con esta estructura de orden, se puede asociar una recta orientada nica del mismo soporte, conviniendo que
(a, b) -
(a' b')
(b -
a)= (b' -
a') o (a' -
b ),
Un ejemplo de recta orientada es el conjunto N de los enteros, positivos o negativos, con la relacin de orden y la longitud que
son habituales. El ejemplo ms importante de recta orientada es
97
96
IV.
Sea /:::,. una recta, que suponemos dada de una vez para todas.
En cuanto sigue esta recta tendni una funcin privilegiada, porque
a ella se van a referir las longitudes de los intervalos de recta
del plano. A priori no se har hiptesis alguna sobre la recta /:::,.;
sus propiedades vendrn impuestas por la misma funcin que
desempear. Por tanto, el plano que vamos a estudiar est asociado a esta recta /:::,..
No debe creerse por eso que a toda recta /:::,. se pueda asociar
un plano; p. ej., la recta Q deducida del grupo de los nmeros
racionales no tiene plano alguno asociado. En este trabajo elemental no trataremos de caracterizar las rectas /:::,. a las que se
puede asociar un plano, cuya existencia no es evidente. Se deduce, p. ej., del desarrollo de la geometra plana segn el mtodo
que ha sido esbozado en las pginas 82 y siguientes. En realidad,
en cuanto sigue la estructura de la recta /:::,. de partida no intervendr explcitamente.
l.
o (a,
PJ
(a, b) = (b, a)
P 3)
b) =O si y nicamente si a= b
(simetra)
II.
Axioma de asociacin
P.) Sean cualesquiera los puntos a y b, distintos, de ;;, existe
una recta y una sola que ios contiene.
III.
98
.l
ab].
interior de un tringulo.
Primeros lemas fundamentales
Sin duda que la parte ms difcil de lo que sigue es su comienzo, a pesar de la simplicidad de las demostraciones. Nos encontramos todava muy cerca de los axiomas de base y disponemos
de pocos enunciados capaces de sostener la intuicin; por eso
estos comienzos debern tratarse ante los alumnos con sumo cuidado.
Definicin: l) Si a y b son dos puntos d istintos de rr, designaremos por ]a, b[ y [a, b] los intervalos, respectivamente abierto
y cerrado, de la recta en que estn contenidos a y b, y de extremidades a y b.
2) Se dice que los puntos de un subconjunto E del plano
estn alineados cuando estn en una misma recta.
Cuando tres puntos estn alineados, una de las tres distancias
que definen es igual a la suma de las otras dos. Recprocamente :
Lema fundamental: Si tres puntos distintos a, b, e del plano
son tales que o(a, b) + o(b, e) = o(a, e), estos tres puntos estn
alineados y b situado entre a y c.
i Se llaman aqu paralelas dos rectas que no se encuentran o que son
idnticas.
a
P1
m1
fl
99
rn!
-.
m
b
~
p,
o (al'
an)
.l;
o (a,.
+).
Adems,
o (a' 1,
a'n) ~ .l:
o (a', + 1).
Pero
a' 1
= p 1 Y a'2 = p 2 ; y o (a'1,
a '1+ 1)
{a;, a; + 1).
De donde
o (a'1,
a'n)
Por tanto, de la observacin que sigue al enunciado P& se deduce que en el polgono l a'1 a'2 ... a',. l , se tiene:
o(a'11 a'1) = la suma de las mallas entre a'; y a'; = la suma de
las longitudes de las mallas homlogas entre a y a1 = o(a, a).
Esta misma observacin, aplicada a (m' 1 m' 2), demuestra que
o (m' 1
m' 2)
o (m 1
m~ .
100
alineado es necesario y suficiente que cada uno de sus subconjuntos de tres puntos est alineado.
Corolario 2: Caracterizacin de los intervalos cerrados: si
a e r. y b e rr, el conjunto de los puntos m del plano tales que
o (a, m) + o(m, b) = o (a, b) es idntico a [ab].
Corolario 3: Cualquiera que sea el polgono (a1, a21 .. ., an), es
S (a11 an) menor que la longitud del polgono, salvo si el conjunto
l au a2, ... , an est sobre la recta a1 an y sus puntos en el orden
a1 L a.z L a3 ~an o en el orden inverso.
Intervencin del axioma P5
Sea D una recta del plano y sea mi = :: (m1) uno de los abatimientos definidos en el axioma P5 ; aplicndolo a E 1 da lugar a
la correspondencia Ei = ? (E1). Es decir, que se prolonga en una
aplicacin biunvoca del plano rr sobre s mismo, m' = .., (m), definida por
., (m) = m
., (m) = r;i (m)
.., (m) = r;i-1 (m)
Ejemplo.-Cualquiera que sea m e (r. - D), la recta que contiene a m y ,, (m) es invariante por simetra.
Para demostrar que la particin de (rr - D) en E 1 y E 2 es nica es necesario caracterizar primero estos conjuntos y para ello
es preciso, a su vez, definir la nocin de convexidad.
Definicin.-Un subconjunto E del plano se llama convexo
cuando para todo par a E y b e E es tambin [ab] e E.
Consecuencias inmediatas.-1." Toda interseccin de conjuntos convexos es convexa.
2. Como el conjunto isomtrico con un intervalo cerrado
[ab] es el intervalo cerrado [a'b'], todo conjunto isomtrico con
un conjunto convexo es convexo.
Lema 3.-Todo conjunto E 1 (o E 2) definido por el axioma P;,
es convexo.
b
si m ' D
si m < E 1
si m < E,
Lema 2: La prolongacin a r. del abatimiento r.p (m) es una isometra del plano sobre s mismo. Le llamaremos simetra respec-
to a D.
Sean a r. y b rr. Si tanto a como b pertenecen a (E1 U D),
puesto que sobre E 1 es ? = /, resulta o(a', b') = (a, b), y la misma conclusin se obtiene si a y b pertenecen ambos a (E 2 U D).
En caso contrario podemos suponer que a e Ei y b " E2. Sea m
el punto de interseccin de [ab] y D y sean a' = if (a), b' = ,, (b).
Se tiene S (ma) = o (ma') y o (mb) = o (mb'), luego o (a' b') L.
L. o (a'm) + o (mb') = o (am) + o (mb) = (ab), de donde
o(a'
b') L
o (ab).
101
Pero como son a=.., (a') y b = ,, (b'), ser 8 (ab) Lo (a' b').
Comparando las dos conclusiones resulta que o (ab) = o (a'b').
De este lema resulta tambin el siguiente:
Corolario.-La transformada de toda recta (de todo intervalo
~errado [ab]) por una simetra respecto a una recta es tambin
ma recta (un intervalo cerrado [a'b']).
ba
o (a
p)
+ a (p
b.J
= o (a
p)
+ o (p
b)
= o (a
b)
102
< 8 (a
m)
8 (m b 1)
= o (a
m)
+ 8 (m
bJ
= o (a1
bJ.
Llegados aqu se puede demostrar gran nmero de propiedades, referentes unas a la convexidad y otras a la separacin del
plano en regiones por lneas poligonales.
103
A pesar de su gran inters, estas propiedades no son esenciales para desarrollar los principios de la geometra. Por nuestra
parte nos conformamos aqu con dar el esbozo de una exposicin elemental de estas propiedades. El lector que no est particularmente interesado por ellas puede pasar directamente al captulo siguiente.
No me parece improcedente en este momento expresar mi
opinin de que es lamentable que en los cursos de geometra
elemental no est previsto el estudio de las propiedades de los
conjuntos convexos. Parece inconcebible que no se cite siquiera
el hecho de que el interior de un tringulo, de un rectngulo, de
un crculo (y ms tarde de una elipse) es convexo. La comparacin de las longitudes de los polgonos convexos podra simplificar despus notablemente el estudio de la longitud de la circunferencia y de arcos de circunferencia.
Tambin sera interesante, aunque en menor grado que lo anterior, demostrar, despus de la definicin correcta de los trminos utilizados, que un polgono cerrado sin puntos dobles divide
al plano en dos regiones, de las que el polgono es frontera. Por
lo menos se podra hacerlo para los polgonos convexos y en las
mejores clases de matemticas elementales.
Definiciones.-Se llama tringulo todo conjunto de tres puntos a, b, c l . Los puntos a, b, c, se llaman vrtices del tringulo.
Si estos vrtices estn alineados diremos que se trata de un tringulo degenerado y si los vrtices no estn alineados, que es un
verdadero tringulo o simplemente tringulo. Los lados del tringulo a, b, c son los tres intervalos cerrados [ab], [be], [ca].
En la axiomtica de Hilbert se encuentra un enunciado que
es conocido como axioma de Pasch y que demostraremos a continuacin.
Teorema.-Si ) a, b, e: es un tringulo, toda recta que no
contenga a ninguno de los vrtices y corte a uno de los lados del
tringulo, corta a otro lado y solo a este.
En efecto, los tres puntos (a, b, e) no pueden estar situados
en un mismo semiplano de los limitados por D, porque D corta
a uno de los lados [ab], [be] , [ca]; por tanto, dos de los vrtices,
104
p (a,
(a,
h).
105
106
con [bb1 y [ce'], respectivamente, son puntos medios de estos intervalos, y como los pares (bb') y (ce') son simtricos respecto
a D, tambin lo son sus puntos medios /3 y y.
Adems, /3 y y son distintos, porque en otro caso estos puntos
estaran confundidos con a, que sera punto medio de [bb1 , de
(J) 1 ab'
<
am2 l
m 2b'
e',..
a' b'
/'
1'
1 '
adems
b' m 1
',
D
1 a'
m1
1 am 1 1 ~ 1 a' b' 1
1 ab' 1
1 a'm; ! +
! am 1
i<
! a'
b'
+ !~ i +
m:b'
e:
am2
1+ 1 m,p' .
Corolario.-Si un tringulo i a, b,
es issceles en a, es decir, si 1 ab i = 1 ac !, la proyeccin p de a sobre la recta (be) es el
punto medio, m, de (be). Por tanto, [ab] y [ac] son simtricos
respecto a la recta (am).
Teorema.-Por todo punto a del plano se puede trazar una recta y una sola, perpendicular a una recta dada D.
Demostracin.- l. Si a no pertenece a D, esta recta nica
es la que une a con su simtrico, d, respecto a D.
2. Supongamos a e D. Demostremos primeramente la existencia de una perpendicular mediante su construccin efectiva.
Sea b un punto del plano no perteneciente a D: e, el simtrico
de b respecto al punto a; b' y e', los simtricos de b y e, respectivamente, respecto a D. Si b y e' se confunden, tambin es
?' = e, luego la recta (bb') que contiene a, es la perpendicular D'
ouscada. (Vase la figura de la pgina siguiente.)
Supongamos ahora b y e' distintos; el punto a es equidistante
ie b y e'; luego la perpendicular D' trazada por a a la recta (be')
~s eje de simetra de [ab] y de [ac') y, por tanto, de sus prolon~aciones [ab'] y [ac]. Observemos que D' es distinta de D, pues en
~aso contrario b' y e' estaran confundidos, y en consecuencia
ambin lo estaran b y c. Los puntos e y y, intersecciones de D
//
/
/'
/
/
1
1
1
1
'/
e11/
//
;!)
/tf,
1
1
1
',
Y:
//
'
107
',
'
1
',
'
'
, b'
109
la existencia de este punto m edio. Para los planos " que satisfacen al axioma de las paralelas , esta existen cia es un t eorema.
llO
Ejercicio.-Sea o una direccin de recta. Si a y b son dos puntos del plano, se dir que (a,.._, b) si existe una recta de direccin o que pasa por a y b. Demustrese que esta relacin es una
relacin de equivalencia. Cules son las clases de equivalencia?
PARALELAS Y PERPENDICULARES
111
trario, hablamos ahora de simetras respecto a una recta). Recprocamente, demostraremos el siguiente
Teorema.-Toda isometra m' = r.p (m) entre dos conjuntos
E y E' puede ser prolongada en una isometra, m' = <I> (m), del
plano sobre s mismo que es, o bien la identidad, o bien una simetra, o bien el producto de dos o de tres simetras.
Esta prolongacin es nica si E no est situado sobre una recta; hay dos prolongaciones si E est situado sobre una recta sin
reducirse a un punto, y hay una infinidad de prolongaciones si E
se reduce a un punto.
Todo este enunciado se precisar convenientemente en el transcurso de la demostracin.
Observemos antes que este teorema sigue siendo vlido aunque
prescindamos del axioma de las paralelas, siempre que este haya
sido sustituido por este otro : "Todo segmento tiene un punto
medio", que es, en cambio, un teorema cuando se admite el axioma de las paralelas.
Demostracin.-Sea m' = ? (m) la isometra entre E y E' . Si
es ? (m) = m para todo m e E, llamaremos <I> a la transformacin
idntica, /. En otro caso, existe un a e E tal que a'-:!= a; la simetra respecto a la mediatriz de aa', la llamaremos Sa. La isometra
(S 'f) transforma a en a. Si, en E, (S ?) es la identidad, pondremos <I> = S En otro caso, existe un b e E tal que b-:!= b" =
= (S. ?) (b); llamaremos Sb la simetra respecto a la mediatriz
de bb". La isometra SbSa 'f transforma b en b a causa de la eleccin de sb, y adems a en a, porque la igualdad ab = ab" prueba
que el eje de sb contiene al punto a.
Si, en E (S~ :;) es la identidad, pondremos <I> = S Sb. En otro
caso existe un e e E tal que e"' = (SbSa Y") (e) -:!= c. Designaremos
por Se la simetra respecto a la mediatriz de ce'".
Demostremos que, en E, S.SbSa r.p es la identidad. En efecto,
como ac = ae"' y be= be'", el eje de Se contiene a y b, que suponemos distintos; luego como es e= e"', los puntos a, b, e, son
vrtices de un tringulo no degenerado; por otro lado, a, b y e
son invariantes por (S.SbSa 'f).
El transformado m iv de un punto m cualquiera de E por esta
transformacin es tal que
112
V.
Recordemos que se llama isometra toda correspondencia biunvoca m' = 'f (m) entre dos subconjuntos E y E' del plano que
conserva las distancias.
Ejemplo.-Si l abe : , \ a'b'e' l , son dos tringulos, la correspondencia a-+ a', b--+ b', e--+ e', ser una isometra si
1
ab 1
a' b'
be 1 =
b'e'
ca 1
e'a' I
Ya sabemos que toda simetra respecto a una recta es una isometra del plano sobre s mismo. Luego lo mismo puede decirse
:le todo producto finito de simetras (mientras no se diga lo con-
113
fundidas con ,6., y se tendra (D2) (D1) =l. En otro caso, para
m :!=. m', la rnediatriz de mm' es nica, luego D1 = D 2 y tambin
(DJ (DJ = l. Como es l = (L'.i), se llega, en cualquier caso, a una
contradiccin.
Para n > 3, podemos reducir el problema al caso n = 3, reduciendo a su vez todo producto de cuatro simetras a un producto
de dos simetras.
Teorema.-Si T y T' son dos isometras tales que cada una de
ellas es el producto de dos simetras, el producto T'T es tambin
el producto de dos simetras.
Utilizaremos aqu el siguiente
Lema 1.-Si es T = (D2) (D1), a cada recta A1 del haz lineal2
engendrado por D1 y D2 le corresponde una recta ~ y una sola,
del mismo haz, tal que (DJ CD1) = (~) (A1) (y un enunciado anlogo si se permutan los ndices 1 y 2).
Primer caso.-D1 y D 2 tienen un punto comn, w. Sea A 1 una
recta cualquiera que pase por w y sea a un punto de A1 distinto de w.
A 1 ser la recta que pasa por w y por el punto medio de
[a, T (a)], es decir, que ser el eje de la simetra que cambia
[w a] y [(J) T (a)].
Se quiere demostrar que (~J (A1) = (D2) (Di). o bien que
114
<1> 1 1 <l>:
<l>-- 1 <l>:
=I
<1>1 <l>i
=I
El teorema precedente permite reducir el estudio de las isometras entre dos conjuntos al de las isometras del plano sobre
s mismo. Por eso en cuanto sigue, a menos que se advierta expresamente, solo se tratar de estas isometras.
Definicin.-Se dice que una isometra es positiva si puede
escribirse en forma de producto de un nmero par de simetras.
Se dice que es negativa si puede escribirse en forma de producto
de un nmero impar de simetras.
Segn el teorema precedente, toda isometra pertenece, por
lo menos, a una de estas categoras. Demostraremos ahora que
solo pertenece a una de ellas; es decir, que el conjunto de las
isometras se divide en dos clases disjuntas: la de las isometras
positivas y la de las isometras negativas.
Para ello demostraremos que el producto de un nmero impar de simetras no puede ser la identidad. Sea n un nmero impar; para n = 1, el teorema es evidente, porque una simetra no
es nunca la identidad. Supongamos ahora n = 3 y demostremos
el siguiente
Lema 1.-El producto de dos simetras no es una simetra.
Sean (D1), {D2) y (.6.) tres simetras, y supongamos que
(D 2) (D1) = (,6.). Todo punto m de 6. es invariante por (6.), luego
tambin lo ser por (D2) {D1). Segn esto, sea m' = (DJ (m). Se
debe tener m = (D2) (m'). Luego D1 y D, son mediatrices de mm'.
Si para todo m D. se tuviera m' = m, D1 y Da estaran con-
'lC>
= (~
~~ D D 1)
115
= l.
116
~.... :-
117
'
Utilizando las mismas notaciones que precedentemente, tam:>in ahora es 'l9 (a) = a. Por otro lado, como T (A1) es una parale.a a D1 y D2, 'l9 (A1) es paralela a A1; como 'l9 (a) = a, se tiene
C'9 (A1)
A1; adems, toda perpendicular a A 1 es invariante, en
:uanto recta, por la 'l9; de estas dos observaciones resulta que,
Jara cualquier punto b, de Ah se tiene 'l9 (b) = b. Por tanto, es
t9 = I o bien 'l9 = (A1), y la demostracin se contina como antes.
= (D'J (D'i);
a su vez,
(D'J (D'1)
b)
.Cl.'1
= (.Cl.'J (.Cl.'1),
(DJ (D)
(~ (.Cl.1).
= .Cl.2.
a que A'1
= (A'2 .Cl. 1)
= A2.
Estos resultados pueden precisarse una vez introducida la nocin de ngulo orientado y de vector.
ORIENTACIN DE LOS SUBCONJUNTOS DEL PLANO
l. Es reflexiva, evidentemente.
2. Es simtrica. En efecto, sea T la isometra directa del
plano sobre s mismo que transforma (b1b.)J3) en (b'b'.}J'3). La isometra T- 1 es directa y transforma la figura formada por
(a1Q:zCZ3), (b' 1b'.)J'3) en una figura (a'1a':4s), (b1b.JJ3) tal que a's y
b 3 estn a un mismo lado de la recta b1b2, y adems a'2 y b2 estn
sobre una misma semirrecta de origen b1.
3. Es transitiva. Pues si se tienen tres verdaderos tringulos
ordenados (a1Q:zCZ3}, (b1b.)J3), (c1C2C3}, tales que a1 = b1 = C11 con a2,
b2' c2' sobre una misma semirrecta de origen a11 si aa y b3, por una
parte, y b 3 y c3 por otra, estn a un mismo lado de la recta comn, a1b;, resulta que C3 y a 3 estn a un mismo lado de la recta
comn.
Por otra parte, esta relacin de equivalencia es compatible
con la igualdad directa, es decir, que si (a1CZaCZa) y (b1b2b3) son directamente iguales, se tiene (a1a..iaa),....., (b1b2b3); en efecto, en la
construccin precedente, los tringulos ordenados a1~ y b'1b'.)J'3
son idnticos.
Por ltimo, esta relacin de equivalencia no puede tener ms
de dos clases, porque de la definicin resulta que se tiene siempre, o bien (a1a:z(23 ) ,....., (b1b 3b 3 ), o bien (a1~ ) _ , (b1b.)J3), donde a,,*
representa el simtrico de a3 respecto a la recta a1a.2.
Adems, una consecuencia inmediata de la definicin de la
relacin,...._, es que, para todo tringulo verdadero ordenado, (a1a:zCZ3 ),
nunca se tendr (a1a:zCZs),....., (a1Q:zCZ3*); luego hay dos clases y solo dos.
Definicin.-Cuando se cumpla (a1Q:zCZa) ,....., (b1b2b3), diremos que
estos dos verdaderos tringulos ordenados tienen el mismo sentido; en otro caso se dir que son de sentidos contrarios.
De lo que precede resulta que dos tringulos directamente
iguales son del mismo sentido y dos tringulos inversamente
iguales son de sentido contrario.
Teorema.-Para todo verdadero tringulo ordenado {a1Q:zC23),
los tringulos ordenados (a1 ~) y (a1a 3CZa) son de sentidos contrarios, y lo mismo cabe decir de los (a 1Q:zCZ3) y (a:zC21CZa).
Demostracin.- l. Sea (a1a' aa'a) el simtrico de (a1aaaa) respecto a la bisectriz de las semirrectas a1~ a1CZa Es inmediato que
(a1aA) ,...,_, (a1a' sa'2) Como (a1aaCZa) y (a1a'aa'2) son de sentidos contrarios, tambin ser (a1Q:zCZa) !'X.> (a1aaal).
118
119
(a1a 2aa)
(a2a3 a 1)
(~a 1 a2 )
y (a~a1 a,)
(a 1a3aJ
<0 12aJ
Tringulos orientados.-A todo verdadero tringulo corresponden seis verdaderos tringulos ordenados. Si se consideran como
equivalentes dos de estos tringulos cuando la orientacin de sus
vrtices difiera solamente en una permutacin circular, esta relacin de equivalencia define dos clases y cada una de ellas se llama
un verdadero tringulo orientado. Al tringulo (no ordenado) de
vrtices a1a:zC23, corresponden los dos tringulos orientados [(a1aaaa},
(aAa1). (CZaa1CZa)] y [(a,.a3aa), (CZaQ:zC21). {Q:zC21C2a)). Cuando deseemos sim
bolizar un tringulo orientado, ser suficiente hacerlo con uno
cualquiera de su clase; p. ej., (a1Q:zCZ3) para el primero y (a1C2aCZ:i) para
el segundo.
Segn el teorema anterior y su corolario, dado cualquier tringulo orientado los tres tringulos que lo representan tienen el
mismo sentido, y los tres tringulos que representan a su opuesto
tienen sentido opuesto al de aquellos. Por tanto, la relacin,...._,
puede prolongarse al conjunto de los verdaderos tringulos orientados. Llamaremos sentido de un verdadero tringulo orientado
la clase de todos los verdaderos tringulos orientados que tienen
el mismo sentido que aquel. Si se elige arbitrariamente en el
plano un verdadero tringulo ori'entado, a cuyo sentido le llamaremos positivo, es evidente que a todo verdadero tringulo orientado se le puede asociar un signo ( + o - ).
CORRESPONDENCIAS BIUNVOCAS ORIENTABLES
Sean A y A' dos conjuntos planos y m' = <I> (m) una aplicacin biunvoca de A sobre A'. Diremos que esta aplicacin es
orientable positivamente (o negativamente) si toda terna de puntos alineados de A tiene por imagen una terna de puntos alineados de A' e inversamente Oo que equivale a decir que todo ver-
120
121
El estudio que acabamos de hacer sobre la nocin de orientacin est fundamentado en la posibilidad de dividir el conjunto
de las isometras del plano sobre s mismo en dos clases; veremos ahora cmo puede referirse a otros ms intuitivos el concepto que hemos dado.
El concepto de figuras planas directamente iguales est ligado
esencialmente al de deslizamiento continuo del plano sobre s
mismo. Esta idea intuitiva la expresaremos ahora de forma precisa, limitndonos al plano medido por la recta real ~ (el plano
real).
FAMILIA CONTINUA DE ISOMETRAS
Llamaremos familia continua de isometras planas un conjunto de isometras l !! que dependan de modo continuo del parmetro t (O..:::::. t..:::::. 1), entendiendo por ello que para todo punto m"
del plano el transformado mi = l11J (mo), de mo por l () sea funcin continua de t.
122
aa'
! ;
be. ;, ! bb'
i ! ca !.
ce'
1 1
ab
!. Ice' 1 <
r,
123
NOTA 1
INTRODUCCION SOBRE UNA RECTA DE UN PLANO
DE UNA ESTRUCTURA DE CUERPO TOTALMENTE
ORDENADO COMPATIBLE CON SU ESTRUCTURA
DE GRUPO ADmvo
Sea 1f un plano medido por una recta ... Sea u una longitud
cualquiera no nula, fijada de una vez para siempre. Si a y b son
dos longitudes cualesquiera, con b-:!::. O, definiremos la longitud
x :::::: -
a
b
Se demuestra entonces-lo que no es inmediato 1--que la operacin (a b) define sobre el conjunto de las longitudes no nulas
una ley de grupo conmutativo, y que esta operacin, distributiva
respecto a la adicin (de las longitudes), es compatible con la estructura de orden de ...
De otro modo: si O y 1 designan dos elementos distintos
cualesquiera de la recta .., se puede asociar al par (.., r.) una estructura de cuerpo conmutativo totalmente ordenado sobre ..,
cuyo cero es O y cuyo mdulo es 1, tal que su estructura de grupo
aditivo implcita y su estructura de orden sean compatibles con
la estructura de la recta ...
A partir de ahora se puede dar al teorema de Thales un enunciado ms general: "Dadas tres paralelas D, D', D", si M, M', M",
son sus puntos de interseccin con una secante cualquiera, la razn de las longitudes i MM' 1, ! MM" 1 no depende de la secante
elegida."
A continuacin pueden enunciarse los casos de semejanza de
1
124
x)2
125
Sean ahora (x, y), (x'yr), dos puntos, M y M', de rr; su distancia d = 1 MM' 1 ser el elemento positivo de tal que
d'
a = ~o ' uP1, donde los a 1 son reales y los p1 son enteros crecientes
de signo cualquiera, supuesto que se ha definido la suma, el producto y el cociente del modo habitual, con el convenio de que
es a > O si el coeficiente ::.1 del primer trmino es positivo. Si a y b
son dos de los desarrollos citados, d2 + b 2 tiene su primer trmino
de grado par y, por tanto, existe / a 2 + b~. Podramos limitar el
campo suponiendo que J(1 es el subconjunto JC'i de J(1 formado
por las series formales que tienen un radio de convergencia no
nulo, o modificando la naturaleza de la serie formal, como se hace
en los ejemplos siguientes.
2.0 J(2 es el conjunto de las series formales de la forma pre1
(y' -
y'f
Inversamente, sea un cuerpo conmutativo totalmente ordenado en el que la ecuacin x~ = a2 + b2 tenga siempre solucin, y
sea rr el conjunto de los pares (x, y) de elementos de .
Llamaremos recta al lugar de los puntos (xy) que satisfacen a
una ecuacin de la forma ax + by + e = O, donde a y b no_ son
ambos nulos.
Es inmediato que por dos puntos distintos pasa una recta y
una sola.
a=~'
o
"1
121\
--,
..!:. un nmern
b
a y b dos elementos
de J{ tales que A =a', B = b, el orden de magnitud ;j, es, evidentemente, independiente de a y b; lo llamaremos producto AB. Se
com orueba oue esta operacin define una ley de grupo conmut;itirn sobre .e y que la aplicacin a-+ de (.X- O) sobre .e es
un homomorfismo para la multiplicacin en X.
El orden sobre X induce un orden sobre .e, compatible con bl
estructura e.
La condicin necesaria y suficiente para que .X sea arquimediano es aue .e se reduzca a un solo elemento. En el ejemplo nrP-cedente, .X,, el grupo .ea es isomorfo al grupo multiplicativo de
los nmeros reales positivos.
a,
CLt:LAS
DE UN PLANO NO ARQUIMEOIANO
Sea rr un plano no arquimediano medido por , y sea e una longitud dada. Diremos que dos puntos, m y m', de r. son vecinos
rrmz'
cuando sea
..e:. e : se trata de una relacin de equivalencia R
sobre r.: cada una de sus clases de equivalencia recibe el nombre
de clula de dimensin e.
El conjunto de las clulas, es decir, el espacio rr/R. tiene una
estructura muy semejante a la de un plano. As. p, ei .. para cada
una de las rectas D de rr, DJR es isomorfo a /R. v rr lR es un
con junto medido por el UUt>O aditivo IR.
127
Esto explica que se obtengan en geometra no eucldea los mismos enunciados que en geometra arquimediana si las definiciones
se eligen convenientemente; p. ej., la longitud de una circunferencia de radio p, definida a partir de polgonos inscritos y circunscritos, vale (2 " p), y el rea del crculo rr p2
Ejercicio.-Si " es un plano no arquimediano, se puede definir
fcilmente la suma de los ngulos orientados, mdulo cuatro rectos. Esta operacin definida sobre el conjunto de estos ngulos es
una ley de grupo conmutativo. Este grupo es, en general, localmente isomorfo al grupo aditivo asociado a la recta . que mide 'Ir?
128
NOTA lll
Veamos ahora cmo se puede estudiar muy fcilmente un modelo de geometra no eucldea sin salirnos del campo de la geometra elemental, con la nica condicin de aceptar el uso de
logaritmos.
Como recta A tomaremos la recta real R.
aa
"11
y,b
--;;;- -;;e )
--- --::::::..
--- ( ~ c . b .
"'t1b
y1a
(1)
"12
(P;C
fJ1a
Cl2b
-- -"t1b
7Ff:
. {31c
"'t?fl
-;;h -P~c
--~------
a.se
/3,a
y 1b
111c
f31a
i 1a
o.lb
P<JP
y'1b
"iF
P2a
ab = Log
ria
donde (ab i'1Y2) simboliza la razn anarmnica clsica. Esta cantidad es positiva si los puntos estn en el orden '11 ab y1 Se com-
p )
129
- - - :::::...
'11b
r'1a
---,
-y'b
y 1 !1
ab, debido
130
L.
l.
De cuanto precede resulta tambin que la igualdad es solo vlida si <X.i. /32, y 1 estn alineados, as como :zlt f31t Y2. lo que equivale
a decir que las partes de frontera -;;;:;J32 y -:;:;J31 son rectilneas;
puede decirse tambin que la igualdad 1 ab 1 = 1 ac 1 + 1 cb 1 se
satisface solamente cuando los ngulos de vrtice e suplementarios del ngulo e del tringulo abe encuentran la frontera rr, segn
dos segmentos de recta (eventualmente reducidos a puntos).
En particular, si la frontera de rr no contiene segmento alguno
de recta, la des igualdad l ab 1 L. 1 ac 1 + ! cb 1 es estricta, salvo
si e est alineado con a y b y adems entre a y b. Luego puede
enunciarse :
Teorema 1.-Si la frontera del dominio abierto convexo rr es
no vaca y no contiene porcin rectilnea alguna, el conjunto 7r medido por R mediante la frmula [l] precedente satisface los axiomas P 1, P2J Ps, P., Ps
Las imgenes de las rectas de 7r en R 2 son los intervalos abiertos lY1Yz[. Resulta que la nocin de convexidad es la misma en r.
y en R z.
Es evidente que se verifica el axioma de las regiones P,. La
divisin de ::- por una recta D es inmediata : en efecto, si y 1y 2 es
la imagen de D , la interseccin de rr con cada uno de los semiplanos abiertos limitados por i'1i'2 es convexa, y estos con juntos convexos son las regiones E, E 2 buscadas.
ESTUDIO DEL AXIOMA DE GIRO
Sea rr un dominio que satisface a las condiciones del teorema 1 ; D una recta de r., de imagen i'1i'2 en R 2, y E 1 y Ez. las regiones definidas por D. Busquemos cundo existe entre E 1 U D y
E1 U D una isometra que deje invariante todo punto de D. Sabemos ya que esta isometra se extiende en una isometra de rr sobre
s mismo. En R 2 tal isometra es una transformacin puntual de rr
sobre s mismo que transforma todo segmento de recta en otro
segmento de recta, y se puede demostrar que tal transformacin es
la traza sobre r. de una transformacin homogrfica. De modo
ms preciso: es una homologa de eje y 1y 2 y que tiene por centro
un punto O tal que r. sea invariante en esta homologa. En parti-
131
132
una sucesin estrictamente creciente de enteros de signo cualquiera. Sea X 2 el plano eucldeo no arquimediano construido
sobre X segn el procedimiento estudiado precedentemente (nota JI).
Sea r. el interior del crculo de centro O y radio 1.
Como en el caso de R 2, se puede asociar a dos puntos, a, b,
de r. la razn anarmnica (aby1yJ. Su inversa es un elemento de X
superior a 1 cuando el orden de estos puntos sobre la recta Y1Yz
es 'Y1aby2.
Asociemos a todo elemento positivo a= :i1XJ>, + ... ~ +
+ ...
de X (donde
"'1
>
~
~
X
]
+ Log :i1 +el desarrollo formal de Log [ 1 +-xJ>- + ... - x-P,+ ...
El conjunto de
los
a.1
desarrollos formales
de
la forma
1
~
A= p Log
+ {30 + ,8 1 x + ... + /3,.x' +... forma, evidentemente, un
grupo ~conmutativo totalmente ordenado, si se define la adicin
del modo habitual, siendo A> O si es p >O, y positivo el primer /3; distinto de cero si es p = O.
Y la aplicacin a-+ La es un homomorfismo del grupo multiplicativo totalmente ordenado X en este grupo conmutativo ~
Representemos por ~(X) la imagen de J\. en ~por esta aplicacin. Se demuestra, exactamente como en el caso X = R, que el
conjunto " medido por ;9"(X) mediante la frmula 1 ab 1 =valor
(+)
absoluto log
es un plano que satisface a los axiomas
a Y1Y2
P 11 P 2, P 5, P., Ps. Por construccin es no arquimediano y no eucldeo.
Notemos ahora que, contrariamente a lo que ocurre con las
rectas t:::.. que miden un plano eucldeo, la recta que mide un plano
no eucldeo no es necesariamente compatible con una estructura
de cuerpo: p. ej., sea X el cuerpo de los nmeros algbricos reales.
En el plano eucldeo X 2 sea " el interior de un crculo y definamos sobre 1T una geometra no eucldea por el mtodo precedente.
Entonces rr est medido por el grupo aditivo de los nmeros log a,
donde a es un nmero algbrico positivo cualquiera. Sobre este
conjunto no existe cuerpo alguno compatible con su estructura
de grupo aditivo.
CAPITULO
VI
CALEB CA lTEGNO
EN
este captulo trataremos de la pedagoga matemtica como ciencia; es decir, que nos ceiremos a los aspectos de la pedagoga que son comunicables a todos y susceptibles
de convertirse en tcnicas impersonales.
Esta actitud nuestra no debe hacernos olvidar que la accin
pedaggica es una accin entre personas y que cada una de las
individualidades que intervienen en ella tiene una gran influencia. Aunque es evidente que el elemento personal transforma la
actividad del maestro y hace de la enseanza un arte, aqu lo
dejaremos de lado deliberadamente, y aunque las conclusiones
que se obtengan puedan perder as algo esencial, ganarn en cambio cuanto aporta todo conocimiento impersonal: la seguridad
de que la aprobacin del lector viene condicionada solamente por
la cantidad de verdad contenida en aquellas.
La ciencia aqu tratada es el resultado de los trabajos reunidos .
de quienes investigan en el anlisis de los factores que intervienen
en la enseanza de las matemticas y en la sntesis que la accin
pedaggica impone.
Los factores son de tres clases: las personas y los mecanismos
mentales que intervienen en el pensamiento matemtico y el acto
de aprender; las estructuras matemticas y su propio dinamismo;
las relaciones de estas estructuras con las de la realidad, en particular en el campo de las aplicaciones.
Con respecto al profesor de matemticas, los primeros factores exigen que sea un psiclogo; los segundos, que conozca, desde el punto de vista de la transmisin, qu es lo que distingue a
las matemticas de las dems actividades intelectuales, y qu es
134
l.
En lugar de concebir el estudio de las matemticas como estudio de una serie determinada de captulos, p. ej., primero las
propiedades de los ngulos y de los polgonos, las propiedades
del crculo despus, las semejanzas ms tarde, etc., nos proponemos explorar cules son las estructuras matemticas asociables a
las estructuras mentales que existen en el espritu de los alumnos.
El punto esencial de este mtodo dinmico es actuar de manera que los propios alumnos creen sus estructuras mentales en
correspondencia con la idea suscitada por la accin del maestro.
El maestro, p. ej., sabe que la adicin de enteros puede efectuarse por enumeracin, contando, a partir del primer trmino,
tantos enteros como unidades tiene el segundo trmino: 5 + 6 =
= 5 + 1 + 1 + 1 + 1 + l + l, y que la adicin de enteros es
posible siempre ; tambin el alumno lo llega a saber muy pronto
en su experiencia escolar. Pero mientras el maestro no titubea
Para emplear el signo
+ entre
es t e
caso, y que
-1
2
-1
3
no es
.
igual
135
'
d
Lo que no ent1en e es
2
-.
5
--11
Por tanto, el signo ms, colocado entre dos fracciones, produce dos estructuras mentales combinadas, pero la operacin no
puede efectuarse mientras no se hagan aparecer los enteros sobre
los que acta el signo +. La adicin de fracciones se convierte
en un esquema nuevo en el momento en que se aprehende la idea
de que el resultado es el mismo tanto si se transforman las fracciones para reducir la operacin a suma de enteros como si se
combinan las operaciones .!!..
regla operativa.
b
~ y la ad + cb lo que da una
d
bd
137
Por definici6n, las igualdades algbricas son equilibrios dinmicos, es decir, que encubren todas las operaciones indicadas Y
sus inversas. As,
136
s
s = vt con v = -
o t
=-
o V
o s
=-
o -
vt
=-
o vt
s.
da+ be
M +be
+-=
d
ad+ cb
=
=
bd
bd
da
+ cb
=--=
bd
bd
e
e
a
a
ad+ be
--o-=
+-o-=
bd
d
d
d
b
b
e
db
ad+ be
bd
- etc.
b
YX y U
V ::.
a
U sobre - b
ad+bc
bd
+ --. - - - -
- + - = b
+ -
o M
be
a ~e seria
e
o a
a
= be + ad.
o 1
:;:!:
-.be etc.;
b o a
b sera - ; !
b
Cl
- . etc.
b
139
138
l Es decir, que el principio de seccionamiento es que las operaciones introducidas no hagan intervenir ms de una estructura cada vez.
1
2
As, p. ej ., xi= x o - xn
= x-".
140
(-R-T_S
Si
....
TJ )
~~~.~~~~~~~.
= G.
hallar R .
141
~
5
(x -
a)
+b=
142
.1
1
2.
ALUMNOS
DE
12
AOS
143
(+ _8a) donde en un
o bien a x ( -
: ) o bien
un grfico y despus, cuando se ha comprendido que esta restriccin no es necesaria, se sustituye a por a' o por a + b, etc. Se
vuelve a comenzar con otros vectores hasta comprender qu es
lo que permanece invariante en la situacin y descubrir las leyes
que engendran las operaciones sobre el conjunto de los nmeros
positivos y negativos.
Invirtiendo situaciones tales como (-a) X (-a) = a2, se puede reconocer que la operacin .;- dobla el nmero de soluciones, porque se puede partir de uno u otro de los vectores a,
y todo esto establece la base para la solucin clsica de la ecuacin de segundo grado a (x - b) 2 =e en el campo as extendido.
Esta ecuacin puede obtenerse si se parte de b, restndole x, o a
la inversa; luego sus soluciones son x - b= lf~ o bien b - x=
v: ,
V%-
a b. La frmula
145
144
3.
ALUMNOS
DE
n,
1, 2, 3,
112,
l . 4 , 9, 16, 25
4,
5,
12,
13,
14,
15,
b2 y (a
b)2.
Encontraremos que para llegar al cuadrado de la suma siempre hace falta aadir algo a la suma de los cuadrados. El anlisis
de los nmeros aadidos en cada caso nos conduce a descubrir
que es 2 a b, resultado que se enuncia de modo general a partir
de los ejemplos; dejando indeterminados los nmeros a y b, este
resultado se expresa por 2 ab.
Queda as establecido que d- - b 2 < (a + b) 2 y que la desigualdad solo se convierte en igualdad cuando se suma al primer
miembro 2 ab.
Inmediatamente despus se propone la cuestin de comparar
d- + b 2 con (a - b) 2 Los ejemplos hacen ver que (a - b) 2 <
< a2 + b 2 y calculamos en cada ejemplo qu es lo que hay que
aadir al primer miembro para tener el segundo. Encontrado que
tambin aqu es 2 ab, deducimos la igualdad (a- b) 2 + 2 ab =
d- + b2.
Aqu, el lgebra es la dinmica de estas relaciones, es decir,
MAYEMATICAS .-10 -
146
(x. -
_b
2a
147
b!-4 ac
4 a2
resoluble por este mismo mtodo. Conseguimos as que los alumnos remonten un obstculo que hasta ahora les resulta insuperable.
Algo semejante ocurre con las ecuaciones lineales. Hasta ahora los alumnos, limitados a una serie lineal de operaciones reversibles, solo podan encontrar una incgnita en estas operaciones,
para poder resolver la cuestin. Ahora podemos abordar el lgebra de las ecuaciones simultneas lineales, o reducibles a estas por
cambio de variables.
Lo importante en este sentido es saber que la dinmica especial de las ecuaciones lineales consiste en transformar n ecuaciones compatibles, con n incgnitas, de la forma a, 1 x 1 + a, 2 x 2 + ...
+ "" Xn = b. (v = 1, 2 .. . n) en n ecuaciones de la forma x. =
= f. (a11, a~ . .. Gn1 .. . a nn ; b1, b 2 ... bn) Cualquier otra pers.p ectiva
la creemos peligrosa. En efecto, aqu no se trata de encontrar los
. do de
Xx _
+ Yy == 31 se ve en segui'd a que x = 2 e y =
P art1en
.
= 1. D e1 mismo
mo d o se ve tamb',
ien que para \ xX _+ yy == 30
10 o
\ Xx
y =
300
100
..
= 20
200
y =
3 2
caso \ xX _+ Yy == 1,, 2 que nuestros a}umnos encuentran d"f'
i ic1'l a 1
principio. El anlisis del modo en que se han encontrad o los primeros resultados permite enunciar que el sistema dado es equiva-
3, 2
1,2
2,2
X=
lente al
3,2 y=
maciones sucesivas a
x + y = polinomio cualquiera, supuesto dado
x - y = otro polinomio cualquiera
(
p?.
+ ... -
p 'J.
+ ... +
' y =
de donde \
qB -
2
qB
...
+ ...
/x _= --2--
\
=
=
p 'l
q~
+
+
148
matemtica.~
p=x+yx-y=q
= x - y
x + y = p, etc.
-=-, -y ; -X , -)' ;
T
)'
ax, ay, -X , -,
y combinadas
estas transf ormac10-
ax +
(b' -
_e
b)y
b'y
=
= e'
- e
if.
= i/
r
+ by = e
Pero cuand o pongamos ) ax
ax + b'y = e'
q, Y
~.
vp
2b
2a
b' =;= _
el mtodo ya no nos sirve. Por consiguiente, es necesario comprender mejor qu es lo que se ha hecho hasta aqu. Necesitamos
saber lo que es una combinacin lineal de las ecuaciones dadas y
por este medio reducir el sistema dado al sistema que nos interesa x = ... ; y = .. .
Este sistema que ahora nos ha detenido contiene un mismo
coeficiente para una de las incgnitas, mientras que la otra incgnita tiene un coeficiente distinto. Cualquiera que sea la operacin que hagamos sobre una u otra de las ecuaciones, nunca podremos reducir este sistema al que hemos considerado precedentemente. Por tanto, es necesario que actuemos sobre el sistema
mismo considerado en su conjunto, para intentar transformarlo
y reducirlo a la forma deseada.
y=
bien )
b' ax
149
b'y
I ax + b'y =
~
y=
X=
e' -
b'
-e
b -
o bien
b'y
= e'
e' -
b' -
b'
b
e' - e
~rcb'. a -
b'y
b'
b' -
o tambin
b' -
bc'l
150
lx+
y = 3
\ ax
como / x - y = 1 Y 1 ax -
by~ = polinomio
by~ = polinomio.
+
ax
ax +
by
b'y
=e
e'
b'
b.
ALUMNOS
DE
14
AOS
(4. ao)
S
(l - nd) + ... + (l - 2d) .:. (l - d)
- 2d - 3d - ... -nd, es decir, 2 S = (n
+ l = (n + 1) l + 1) a+ (n + l)l.
d -
ar
ar2
ar"
S = -
rn
1"'.1
+ .. + - +
r
(1
(1
1+r+r2
(1 -
r)
r)
1-r
151
+r+
r2) (1 -
1-12
--1-r
r)
1-,.;
=
1-r
1-r
153
152
r;
r'I
+ ... +
1-
rn
r" -
= -----
'l
1-r
r) (1
r2
+ ... +
r")
1 -
r" +
cuya lgebra consiste en las diversas formas que puede tomar, deducidas por las reglas habituales. Segn sea el grado de aptitud
que la clase alcance para el clculo, as sern los problemas que
introduzcamos para ser resueltos con la ayuda de estas nuevas
relaciones; p. ej., en ciertos casos puede ser propuesto en problemas el hallar la suma de los cuadrados de los trminos de una
progresin aritmtica o la suma de potencias superiores, que solo
exigen identidades algebraicas y manejo de las mismas.
Aunque las progresiones no sean ms adelante las sucesiones
ms importantes para el alumno, este captulo sobre ellas le ofrece
algo esencial, que es la significacin de la operacin de iteracin.
Otro ejemplo se encuentra en el estudio de las potencias. Particularizando axb o axbxc, etc., se encuentra axa, ax ax a, etctera, introducindose entonces la notacin a', cf, ... donde el
exponente no indica una operacin, sino que expresa que se trata
de una multiplicacin en la que hay tantos factores iguales como
unidades contiene dicho exponente. Resulta que a 1 no tiene sentido alguno y deberemos actuar con especial cuidado cuando introduzcamos la notacin considerndola como una operacin.
Este momento llega cuando nos apercibimos de que las operaciones con los ndices son equivalcnt-::s a operaciones conocidas, en el caso particular de ser iguales Jos factores.
As am X a"= a"'+n, am: a''= am - " o J ia" - "' (segn que
Sea
nl::: n). (am)" = amn = anm = (a"r, a"b" = (ab)", (aPbQ)" = aP bqn.
.........
a'"
<
O ser p=- q, q
>
O y-=-=-=
aP
(l"q
aq
=aq=crP. La notacin es vlida para cualquier p entero y no nulo.
Por convenio ser a 1 idntico a a y a = 1 si es a distinto de cero.
Estas dos notaciones concuerdan con nuestro conocimiento anterior
de que a'" : a"'=l=a"'Xcr""=a"'-"'=a", y tambin am : a"'- 1 =a=
= a'"-"'+ 1 =a1. Pero estas dos expresiones no corresponden a ninguna operacin que conozcamos anteriormente; en efecto, no se
puede llegar a a1 partiendo de la multiplicacin de factores iguales, as como tampoco a a". Una vez entendido que la teora de
los exponentes facilita ciertos aspectos del lgebra, estas notaciones tendrn para nosotros el objeto de uniformar esta teora.
Por inversin de las operaciones, la teora de los exponentes
nos lleva a los logaritmos, cuyas propiedades ya estn expresadas
en las relaciones obtenidas anteriormente. Este ejercicio es difcil y puede servir para medir el dominio de los procedimientos
del lgebra. En particular, el cambio de base y las identidades
que se deducen de l promueven en los alumnos que verdaderamente comprenden el doble lenguaje (exponentes y logaritmos)
una alegra que solo puede deberse al sentimiento del dominio
del proceso y a que la situacin, una vez dominada, les aparece
como bien sencilla.
Entonces puede volverse
los logaritmos para desarrollar su
teora siguiendo su proceso histrico y es posible comenzar la
comprensin del sentido de la historia de las ideas.
Este ao puede aprovecharse con utilidad, tambin, para hacer
una primera presentacin de trabajos sobre las series numricas,
tales como fueron conocidas en el siglo XVII, con el objeto de que
vaya apareciendo el nexo existente entre las ideas de relacin y
de funcin.
155
.54
ALUMNOS DE
15
AOS
(5. 0 ao)
A esta edad y con los conocimientos que ya poseen, los alumos pueden abordar teoras ms abstractas y generales, tales como
1 resolucin de los sistemas de ecuaciones, algunas propiedades
e los polinomios, el signo de estos, el estudio de las desigualdaes, las funciones paramtricas, etc.
La teora de la eliminacin prueba que la resolucin de siste1as que no se reduzcan a sistemas lineales lleva a ecuaciones de
rados ms elevados, y que su estudio exige otros conocimientos
uevos y nuevos conceptos. En cambio, puede hacerse un estudio
astante abstracto del nmero de soluciones reales mediante la
:uacin bicuadrada o las de grado superior al de ella, pero redubles a la de segundo grado.
Tambin es posible lograr una excelente introduccin al con!pto abstracto de funcin mediante el estudio a priori del signo
! un trinomio de segundo grado, variando los ,-alores de la vaable respecto a Jos de las races, supuestas estas existentes.
Observemos que hasta aqu solamente habamos estudiado
)eraciones y el dinamismo de las mismas, pero que ahora sur~n nuevas estructuras. En particular, aparece de modo explcito
nocin de orden en las desigualdades, as como la de corresmdencia o aplicacin en la idea de funcin .
Para mantenernos en el plano intuitivo podemos utilizar reesentaciones grficas, aunque en este punto hagamos saber con
aridad que a veces se recurre a instrumentos excesivamente pontes para usar de los mismos solo alguna de sus facetas. As,
resolucin de un sistema de dos ecuaciones lineales con dos
cgnitas, que ya ha sido tratada algebraicamente, puede logrartambin con la ayuda de la interseccin de dos rectas; pero
: la estructura de estas lo nico que se utiliza aqu es que dos
etas se cortan en un punto, a distancia finita o infinita. Este
odo de estudiar la solucin del sistema es til cuando se busn valores numricos aproximados, pero no ofrece ventaja espe-
l.
'I
!
ll
ii
1j
1,
!I
I
!
1
156
!.
157
158
Ill.
159
160
lolATEMATICAS .-11
161
162
163
una familia que cubre una banda, limitada por dos rectas paralelas a la de los centros.
La rotacin de un crculo. de radio constante cuyo centro permanece sobre la circunferencia de un crculo fijo cubre una regin
limitada por dos crculos concntricos al crculo fijo y cuyos radios se calculan con facilidad.
Por el contrario, si la cuerda comn permanece fija, los centros de las circunferencias que pasan por sus extremos estn
alineados en una recta perpendicular a la cuerda comn en el punto medio de estas. Resultado recproco de uno anterior.
Prolongando la cuerda comn para convertirla en una recta,
o tomando un crculo fijo y la familia de rectas paralelas a una
misma direccin, encontramos: rectas que cortan al crculo; otras
que no tienen punto comn alguno con el crculo, y rectas que
tocan el crculo, de las que existen dos en total. Como la direccin de las rectas es indiferente para obtener estos resultados, se
obtienen los pares de tangentes a una circunferencia y se ve que
son paralelas dos a dos y perpendiculares al dimetro que une
los puntos de contacto.
Volviendo a la cuerda comn prolongada y haciendo variar los
centros, manteniendo constantes los radios, las posiciones lmites
dan las tangentes comunes a las circunferencias tangentes una a
otra, interior o exteriormente.
4. Invirtiendo ligeramente la situacin, se puede considerar
la familia de circunferencias tangentes a una recta dada en un
punto dado de esta recta como caso particular de la familia de
circunferencias del plano tangentes a una recta dada. Y tambin
la familia de circunferencias tangentes a un crculo dado, considerando en particular que el punto de contacto es fijo.
Esta experiencia con las familias de rectas o de crculos ha
permitido introducir la dinmica en las situaciones, proporcionando de esta manera medios de engendrar proposiciones matemticas, bien como invariante, bien como caso particular singular
en una familia de relaciones. Se consigue educar as la capacidad
de observacin y la de invencin 1
Y an contribuye esta experiencia a educar el rigor, enten-
diendo por este la ausencia de ambigedad y de duda en la comunicacin. En efecto, puesto que cada alumno slo habla de lo
que ve o experimenta mentalmente, cuando exprese su idea podemos insistir en la necesidad de comunicar a los dems exactamente lo que piensa y siente. Sirviendo de intermediario entre el
alumno y la clase, el maestro puede muchas veces transformar
una proposicin del alumno en una situacin b ien distinta de la
que este cree describir; p. ej., en las primeras clases los alumnos
suelen contentarse con decir que un cuadrado es una figura de
cuatro lados iguales y no se espera que el maestro dibu je cuatro
segmentos de igual longitud en una situacin cualquiera para,
despus de la discusin que sigue, dibujar los segmentos iguales
de manera que formen un rombo muy aplastado. Este mtodo,
ya bien conocido, ensea a los alumnos que una proposicin matemtica que tiene dos sentidos no tiene ninguno. En cuanto interviene la comunicacin, la leccin de matemticas se convierte
en una leccin de lenguaje y permite al maestro no aceptar de
los alumnos una aprehensin que sea puramente intuitiva.
Claro que la verbalizacin no es el todo en la comunicacin.
Lo que hace de la comunicacin verbal el vehculo del rigor mental, buscado en particular por el matemtico, es el sentimiento
de haber dicho exactamente solo y cuanto se quera decir.
Establecidos ya estos hbitos, cabe preguntarse en qu momento se utilizar con los alumnos un mtodo de exposicin
axiomtico y de demostracin rigurosa.
La mayor parte de los profesores de matemticas considera
que su labor consiste en conseguir a todo tran ce que sus alumnos
razonen lgicamente. Para satisfacer este deseo haremos dos observaciones que nos parecen interesantes.
En primer lugar, nos preguntamos si no podemos crear una
situacin mental de tal modo que el alumno tenga que hacer razonamientos en un caso distinto del que intuitivamente interpreta.
Si, p. ej., dibuja una figura en la que aparece un caso que resuelve
con facilidad, pedirle que transfiera su mtodo a un caso semejante aunque distinto. Supongamos, p. ej., que se ha dicho al
alumno que dibuje dos cuerdas de una circunferencia desde un
mismo punto de esta y tambin el dimetro correspondiente al
punto. Unos alumnos dibujarn el dimetro entre las cuerdas,
mientras que otros dibu jarn las cuerdas al m ismo lado del di-
164
165
relacin con el aula, y como se encuentra razonable que la situacin examinada no dependa de que el aula est aqu o all, la relacin parece al maestro y al alumno (para este menos conscientemente) verdaderamente universal.
Naturalmente, no es as. Todo cuanto puede decirse es que
las relaciones extradas de nuestras situaciones sobre el papel son
loc;"almente verdaderas en cualquier parte de la Tierra. Si convenimos en olvidar la Tierra y el origen de nuestras relaciones,
derivamos de una situacin local a un espacio creado por convenio en el que nuestras relaciones son verdaderos postulados. Este
espacio no es ms que lo que es; decir que es real o fsico o
cualquier otra cosa es decir ms de lo que ha sido probado por
un mtodo que es extrao a la situacin creada. Es un seudoproblema filosfico.
Nuestra manera de extraer las relaciones de las situaciones
permite formar una geometra localmente verdadera sin que sea
necesario hablar de espacio. Lo que las transformaciones tienen
de accin permite extraer otras relaciones en la situacin. Mientras que las proposiciones hagan referencia solamente a relaciones,
no hay dificultad alguna en hablar de longitud infinita, de espacio
infinito, etc., que es un tipo particular de relacin y no una realidad fsica, lo que adems no tiene sentido alguno.
En particular, el paralelismo eucldeo es una relacin de equivalencia que expresa que la relacin "dos rectas'', la relacin "en
un plano" y la relacin "se encuentran" se han organizado en
una nueva relacin que niega la hiptesis del encuentro. Lo que
interviene en los razonamientos es esta relacin y no el hecho del
encuentro, que no tiene sentido para el matemtico, cuyo pensamiento es solamente relacional.
Esta segunda observacin coloca toda nuestra enseanza en
una situacin que creemos ms sana, ms conforme a la realidad
de nuestro pensamiento y de nuestras acciones, y que probablemente evitar a nuestros alumnos creer que la suma de los ngulos de un tringulo resulta de medidas absolutas en un espacio
absoluto.
Creemos que sobre esta cuestin de la geometra y de la experiencia ha sido gastada mucha tinta en vano y que ms que una
profunda cuestin filosfica se trata de una confusin psicolgica.
Hay una inconsciente derivacin de lo que se hace mentalmente
166
167
169
Tambin esta tiene sus lmites, y debe ser sustituida por otra
lgica en caso de relaciones multivalentes en que pueda darse que
A y no A coexistan o en que dos trminos no basten para resear la realidad completa.
Por tanto, nuestra enseanza avanza en el campo de la experiencia, en el de la comunicacin y en el de la organizacin
mental de la personalidad del alumno, y segn sea su nivel de
conciencia matemtico, as sern los diferentes principios que
hagamos intervenir.
A continuacin desarrollamos algunos ejemplos de lecciones
para aclarar nuestra manera de proceder.
l. La situacin queda creada as: cada alumno dibu ja en su
papel un segmento AB y traza una semirrecta con origen en el
punto medio, M, de AB. Sea L esta semirrecta. Sobre ella y a una
distancia bastante grande comparada con AB se toma un punto P,
168
que se une con A y con B. El ngulo APB es sensiblemente agudo. Proponemos la siguiente cuestin: Qu ocurrir cuando se
tome P', ms alejado que P de M, y se una con A y con B? La
respuesta es inmediata: el ngulo AP'B es menor que el nguA
...
sicin con un ngulo ARB recto, se debe notar que las relaciones
prximo y alejado son muy vagas y que se necesita una medida
ms precisa; p. ej., si se traza el crculo de dimetro AB, las relaciones nuevas aparecen en la forma de interior o exterior al
crculo o sobre la circunferencia. Estos dos pares de relaciones:
170
171
En el caso particular de ser A recto y M el pie de la perpendicular de A sobre BC, los tringulos ABC, A M B y AMC son semejantes y esta es la nica posicin de M que da esta propiedad.
En el caso del ngulo recto, se pueden sustituir los tringulos
anteriores por cualesquiera figuras semejantes en la relacin de
AB a AC y a BC y que tengan respectivamente por base AB, A C
y BC, porque es AB2 + AC2 = BC2 (proposicin que se deduce
de la semejanza de los t ringulos sealados antes).
Evidentemente, se puede introducir esta relacin (de P itgoras)
de otro modo, p. ej., operando as y utilizando solamente la nocin de rea de un cuadrado.
Se parte de un cuadrado fij o, Oo. y se elige sobre uno de sus
lados, p. e j., AB, un punto Po. Desde Po se traza la perpendicular
e a AB y se hacen las observaciones de l. Si P est muy alejado
de P0 , el ngulo APB es agudo, y si P' est muy prximo a P0 ,
es casi igual a dos rectos, formndose dos clases de puntos sobre
e. Se dibujan los cuadrados Q1 y Q3 sobre PA y PB, respectivamente. Si P est muy alejado, cada uno de estos cuadrados es
mayor que Q 0 y, por tanto, Qo < Q1 + Q2. Si P coincid e con
P 0, Q0 > Q1 + Q2 , y lo mismo ocurre si P' est poco distante de P 0
Estas dos desigualdades inversas estn asociadas a la observacin
anterior sobre los ngulos agudos y obtusos, y de modo provisional tenemos ya las relaciones siguientes :
172
Oo < 01 + 02
es muy obtuso, Oo > 0'1 + O'z
Si AP'B
Qu ocurre si se desplazan P y P' uno hacia el otro? 01 y 02
disminuyen, 0' 1 y 0' 2 aumentan, las dos desigualdades anteriores
tienden una hacia la otra. Parece que habr un punto, al menos,
sobre e, donde sea 0 0 = 01 + Oz = 0'1 + O'~, y parece que para
este punto ser APB = AYB = 1 recto.
Sabemos por nuestro estudio anterior en 1 y 2 que el crculo
de dimetro AB corta a e en un punto donde APB = 1 recto, y
que los puntos exteriores a este crculo dan ngulos agudos, mientras que los interiores dan ngulos obtusos. Resulta que el punto de e donde la suma de las reas de los cuadrados construidos
respectivamente sobre los lados AP y PB es igual a Oo es aquel
para el que el ngulo APB es recto.
Como cualquier otro punto sobre la semicircunferencia tiene
esta misma propiedad, la suma de las reas de estos cuadrados variables es constante e igual a Oo
As aparece el teorema de Pitgoras doblemente como un caso
particular. Es el caso en que las dos series de desigualdades inv-ersas se reducen a la igualdad y el caso en que sobre los lados
iel ngulo recto se utilizan figuras semejantes que son cuadraios. Esto da otra significacin a tal proposicin, considerada ha'itualmente como crucial.
4. Junto a estas lecciones, que presentan situaciones compleas, veamos una serie de lecciones sobre la razn de seccin (o
eorema fundamental del libro III de la geometra eucldea).
Estas lecciones, dadas a alumnos de 14 aos, estn concebilas de modo que no haya que supo:qer conocido nada de su parte,
' por tanto, suponen en cambio que en ellas hay que dedicar
1lgunos parntesis a desarrollar la fundamentacin correspondiene. El lector las debe considerar como un conjunto de lecciones
ndependientes cuyo objeto es encontrar hasta dnde puede Ue:arse dejndonos guiar por la clase.
Se parte de un segmento AB situado sobre una recta cualuiera trazada en el papel, siendo la longitud AB arbitraria. Se
lice que se marquen los puntos C, medio de AB; D, medio de
\C, y E, medio de CB. Entonces se calculan los segmentos AD
173
11
13
4
4
3
3
.
y su complementario sobre AB con la ayuda de AB, son com-
plementarias.
Se pasa ahora a un punto y tal que A y = ~ AB y se hace
medir Ay con la ayuda de yB, primero en el caso de fracciones
numricas simples y despus, habiendo encontrado el esquema,
en el caso
para encontrar Ao =
_!!__
Utilizamos a conti-
_ h _ oB.
k-b
Af3
AB
A /3
= cr
CT
y que siempre es AB
(A /3
/3B)
CT
A /3
CT
= Af3 + (3B.
/3B
Luego
equivalente a
A f3
rr
8B
1-u
.:!___
:\
:1
174
!!__
b
= .E.. Esta
d
supone
b
b
d
-od
e
ad = be o da = cb y -
d
b
l
1
t=-;AP=-AB.
2
2
-o-
AB
a
l)
AM
Si p est en M: AM =- AB - - =
175
AM
AB;-< 2
AB
2
o r<-.
2
y sus inversas
1
ll)
a-e
a
e
a+c
-=-=--=-d
b
a
lll)
b+d
=-
kb
AP
AB
ron t=--;-y despus la razn r =PB. Como sabemos expresar una en funcin de la otra, tenemos en nuestra mano un medio
de controlar los resultados.
AA
y -
AB
2
AP
Si P est en A : AP = AA = o
- - >-o t> - .
e kd
o --b
AP
> - AB
AB; AP
b-d
a
=o
o t = o.
AB
= AB y -AB- = -AB- =
Si P est en B: AP
1o t
= l.
AP
1
1
AB
P en B
P entre
A y M
=-
P entre
MyB
t=
1
1
1
1
P en M
P en A
razn
< -
> -
AP
razn
r = --
P entre
r =O
PB
AyM
r =
P entre
1
P en A
P en M
1
1
= or
o
=
o,
1
1
t=
2
2
-~=--=-=1,
1
1-~
2
~
2
l
t > -,
l -
<l
1-r
2
1
si-<t<l
1-
t <
Inversamente, de r = - - - 1 -
para r
=o
r =
>!
1 -
t
r
---y
se tiene
=-
=O
t = 2
oo como t
o, =
1,
1 +-r
r = oo
Adems, si o <
1
P en B
= -
l<r< oc
O<r<l
1
M y B
= l
177
176
si 1 < r
2 < 1
< 1
+ r,
<l+r<2yO<t
y - < t
2
----< -
<
< J.
1
MATEMATICAS.-12
178
PA
PB
= co.
Pero si examinamos la figura vemos que cuando recorremos
el segmento desde A hasta B pasando por P, este P estar en el
interior de AB si AP y PB no se recubren y estar en el exterior
si se recubren.
Sl
A - - - + P - - - - - '. B
-x
p -.:
-~~~~~~--~~~~~~~~
--
.....~~~~~- X
Los vectores AP y PB tienen, adems de su longitud, un sentido. P estar entre A y B si aquellos tienen el mismo sentido,
mientras que ser exterior al segmento AB si los vectores tienen
sentidos opuestos.
Hemos tenido, pues, ocasin de introducir la nocin de valor
absoluto de un nmero (o longitud de un vector) y de estudiar
las variaciones del valor absoluto de la razn r = ~: , considerada: r ser positivo cuando P est entre A y B, mientras que
ser negativo si P est a la derecha de B o a la izquierda de A.
Tomemos un valor cualquiera fijo, p, para r. Segn su signo,
sabremos si P est entre A y B o en el exterior. Pero su valor
absoluto nos dir ms exactamente su situacin respecto a M.
Si O< 1 p 1 < l, est a la izquierda de M; si es 1 p 1 > l, est a
la derecha.
Esta precisin obtenida nos permite adelantar dos nuevos pasos. Por un lado, si consideramos los casos extremos vemos que
[llamando P y Q a los dos puntos que corresponden a dos valores
:>puestos de r) P y Q se desplazan de sus posiciones en sentidos
>puestos partiendo de A simultneamente y que P tiende hacia M
:uando Q se aleja indefinidamente ele A. Permutando derecha e
zquierda se ve que cuando P se acerca a B tambin Q se acerca
L B, y que cuando P se acerca a M el punto Q se aleja indefinidanente a la derecha de B.
179
-~-~
r negativo
1
< 1 r
P'
=O
x--+
~-+
r p0sitivo
r< 1 r
Q'
*-Xr negativo
r> 1 r=oo
jrl>l
Llegados hasta aqu, los alumnos saben ya de manera suficientemente concreta y detallada lo que es una situacin matemtica
que se intenta aprehender con profundidad creciente. Plantea problemas diversos en cuanto se intenta prescindir de las restricciones iniciales que se han considerado innecesarias; y si se eliminan
estas restricciones no se hace por la obligacin de adelantar en
el programa, sino por el hecho mismo de reconocerse innecesarias.
Creemos haber dado suficiente nmero de ejemplos para que
nuestras ideas pedaggicas hayan quedado aclaradas. Para nosotros, la Pedagoga es el dominio de la actividad creadora de los
maestros, y esperamos haber demostrado hasta qu punto es
factible realizar algo nuevo si como objetivo principal de las
lecciones nos proponemos hacer una sntesis de las estructuras
matemticas existentes y de las estructuras mentales de los alumnos an no formados.
Es cierto que nos hemos limitado a la escuela secundaria y
a la enseanza de base algbrica y geomtrica. En otras publicaciones abordaremos otros campos de la actividad pedaggica matemtica. Ya hemos expuesto en un trabajo con Georges Cuisenaire 1 que el programa funcional es una realidad, y puede asegu1 GEORGES CUISENAIRE y CALEB GATTEGNO:
Les nombres en couleur,
edicin francesa y suiza, Delachaux y Niestl, Neuchatel y Pars, 1955.
<Existe una traduccin espaola titulada N1meros en color, editada en Ja
180
Los geoplanos
Escrito ya este artculo hemos experimentado un material geomtrico multivalente al que designamos con el nombre de geoplanos. Hemos comprobado as que para proporcionar a nuestros
alumnos experiencia geomtrica pueden encontrarse otros medios
que los expuestos en el texto.
Nos parece que solo merece nuestra atencin un material multivalente, y por ello hemos construido una serie de planchas sobre las que colocamos pequeos .clavos formando diversas redes:
cuadrados, pentgono, hexgono, etc. Entre unos y otros puntos
pueden extenderse gomas de colores y es posible obtener muy
variadas situaciones matemticas segn la eleccin que se haga de
los subconjuntos de puntos reunidos por las gomas.
Se ve fcilmente que con la ayuda de una sola goma es posible obtener figuras distintas y que se necesitan varias planchas
de redes distintas para poder dibujar, p. ej., los distintos tringulos
o polgonos regulares. De la fecundidad de este material puede dar
una idea el tiempo que tardan hbiles matemticos en agotar el
contenido que cada geoplano encierra; alguno de estos geoplanos
han estado entre sus manos durante seis y siete horas. Nosotros
mismos hemos empleado ms de 30 pginas para describir todas
las posibilidades del geoplano 1 (red cuadrada de 9 puntos) y ms
de 120 para las del geoplano VI (red cuadrada de 16 puntos);
por el contrario, las del geoplano V (red de 6 puntos que son los
vrtices y el centro del pentgono regular) se agotan pronto y el
geoplano II (hexgono regular y centro) ofrece pocas propiedades
pero interesantes. El doble hexgono (geoplano IV) es muy rico
en posibilidades y propone problemas que son complementos tiles a los que se encuentran en las redes cuadradas de 9 (1), 16 (VI)
y 25 (VII) puntos. El octgono regular y los dems polgonos regulares son de mucha utilidad por la riqueza y variedad de las
proposiciones que ofrecen.
coleccin "Cuadernos Didcticos", del Ministerio de Educacin Nacional.)
(N. del T.J
"
181
Conclusin
Solo queda terminar este captulo, ya un poco largo, con algunas observaciones.
Nos parece que lo esencial de nuestra . aportacin al cuerpo
de la enseanza matemtica puede resumirse as:
La clase es nuestro laboratorio y debemos aprender a. trabajar
en l como creadores.
Hay una labor por hacer que nicamente los miembros de la
enseanza matemtica pueden realizar y que a nadie ms que a
ellos interesa (como no sea a los psiclogos del pensamiento) : la
sntesis real entre los descubrimientos hechos por los matemticos sobre las estructuras primitivas fundamentales y los verificados por los psiclogos sobre la estructuracin del pensamiento.
Adems, solo ellos pueden encontrar, en su actividad diaria, la
ms acertada seleccin de las materias a ensear en los programas. En este punto su contribucin es necesaria por las consecuencias sociales que implica la preparacin que den a sus
alumnos.
Esto en cuanto se refiere al maestro. En lo referente al alumno
nos parece importante decir que si podemos introducir la alegra
en nuestras clases de matemticas, acompaada de mayor eficacia y comprensin, estamos en la obligacin de hacerlo.
Este captulo es el testimonio de alguien que, no aceptando
otra autoridad que el trabajo en clase con alumnos reales y ordinarios, puede reno\arse reno\'ando las vie jas cuestiones al contacto del espritu investigador de los nios.
Marzo 1953-enero 1954.
Londres.