CAPITULO PRIMERO

LAS FIGURAS GEOMETRICAS MAS SIMPLES

1. Longitudes, reas y volmenes como magnitudes relativas
Siguiendo fielmente el plan que desde un principio nos hemos
trazado, estudiaremos juntas las magnitudes que corresponden
a la recta, en el plano y en el espacio. Simultneamente y de
acuerdo con la tendencia fusionista ya indicada en la introduc-
cin, haremos uso del clculo utilizando las coordenadas carte-
sianas rectangulares.
Consideremos en primer lugar un segmento que imaginamos
colocado sobre el eje x. Si las abscisas de sus extremos son
Xl y x
2
' la longitud del segmento ser Xl -x
2
lo cual puede es-
cribirse en forma de determinante de esta manera :
Anlogamente, el rea de un tringulo del plano xy cuyos
vrtices 1, 2, 3, tengan por coordenadas Xl' Y
l
; X
2,
Y2 ; x
a
' Ya'
respectivamente, puede expresarse. as:
Xl
Yl
1
1
(1 2 3) =-- x
2 Y2
1
,. 1.2
Xs
Ys
1
y por ltimo, el uolicmen. de un tetraedro de vrtices 1(x
p
YI' SI) ... '
4(x
4
, Y
4
, S4)' tiene la siguiente expresin:
Xl
Yl
Zl 1
(1,2,3,4) =
1 X
2 Y2 Z2 1
1.2,3
Xs Ya Zs 1
X
4 Y4 Z4 1
-0-
Comnmente se considera que tanto una longitud, como un
rea o volumen, son iguales al valor absoluto de la magnitud
considerada. En nuestras frmulas, por el contrario, al desarro-
llar la matriz aparece un determinado signo, que depende del
orden de sucesin en que se hayan dado los vrtices. Siguien-
do nuestros principios, busquemos la interpretacin geomtrica
de este signo, que nos dan las frmulas analticas,
Para ello es de importancia la eleccin del sistema de cqor-
denadas rectangulares, y estableceremos de una vez para siempre
el siguiente convenio: En el caso de una dim,ensin,.considera-
remos como positiva la parte del eje' x dirigida hacia la derecha.
En el plano llamaremos semiejes x e y positivos a los dirigidos
hacia la derecha y hacia arriba, respectivamente; sise hiciese que
g
y
Figura r Figura 2
la parte positiva del eje y fuese la dirigida hacia abajo, el sistema
de coordenadas sera totalmente distinto que el de antes; sera
su simtrico y no podran superponerse por un simple movi-
miento en el plano, es decir, sin salir al espacio (fig. 1), Y en
cuanto al espacio nos basta agregar al sistema !de ejes del plano
uno ms, el eje $ dirigido hacia adelante (fig. 2); la eleccin del
sentido opuesto da origen a otro sistema de coordenadas, que
no puede superponerse al anterior por .ningn movimiento en el
espacio (*).
U na vez hecho este convenio arbitrario, si nos mantenemos
fieles a el, encontraremos la significacin geomtrica del signo
anteriormente obtenido en propield'ades muy sencillas que depen-
den delarden de sucesin atribudo a los puntos.
(*) Se distinguen uno de otro estos dos sistemas por los calificativos
de "dextrgiro" o "directo" y levgiro o "retrgrado". correspondiente a
la posicin de los tres primeros dedos en la mano derecha y en la izo
quierda, (T. J.)
-7-
Para el segmento (1, 2), esta propiedad es casi evidente y pue-
de enunciarse as: La expresin de la longitud es posui-
va o negativa segn que el' punto 1 est a la derecha a a la' iz-
quierda, del punto 2.
Para el rea del tringulo, la [rmula da valor positivo o nc-
gativo, segn, que, al recorrer el contorno en el orden 1,2,3, el
sentido de este movimiento sea opuesto o igual al del movimiento
de las agujas de un reloj. Vamos a demostrar esto pan ;.. de
un caso particular sencillo, y pasando despus al caso
con el auxilio de una consideracin de continuidad.
Consideremos el tringulo (fig. 3), que tien CODlO primer
vrtice el punto del eje x, cuya abscisa es la un ida.l (Xl =1, Yl =0);
!I
z
Figura 3
cO'mosegundo el punto del . je y de ordenada igual a uno
(x
2
== O, 3"2 == 1), Y como el tercero, el origen de coordenadas
(x
2=O,
Ya=O). Segn el convenio hecho acerca del sistema de co-
ordenadas, el sentido 1, 2, 3, en que se recorre el tringulo, es
contrario al del movimiento de las agujas de un reloj, y la fr-
mula da par. el rea el valor positivo:
1 O 1
1
O 1 1
1
-
=+-
2.
O O
2.
1
.';)'.1, :J1(S ahora hacer, mediante deformacin continua de este
l rrngulo, que sus v: tices coincidan con los de otro tringulo
cualquiera die 1 mismo sentido, sin que los tres vrtices mviles
estn en ningn momento en lnea recta. En esta deformacin,
el determinante vara tambin de un modo continuo; y como
es evidente que slo se anulara en el caso en que los tres pun-
tos estuviesen en lnea recta, resulta que se conserva constan-
-8-
ternente positivo, y con ello queda demostrado que el rea de
cualquier tringulo de sentido contrario al de las agujas de
un reloj es positiva.
Permutando dos vrtices del primer tringulo, obtenemos
otro, cuyos vrtices 1, 2, a estn ordenados en el mismo sen-
tido ,en que se mueven las agujas de un reloj, y se ve inme-
diatamente que la frmula da un rea negativa para todos los
tringulos de este sentido.
En. el caso del tetraedro, la demostracin es anloga. Elija-
mos, por razn de comodidad, el tetraedro representado en la
figura 4, cuyos vrtices son los tres extremos de segmentos igua-
les a la unidad colocados sobre los ejes y el origen de coorde-
nadas. El volumen tendr t o ~ s la siguiente expresin:
1 O O 1
1 O 1 O 1 1
-
=+-
6 O O 1 1 6
O O O 1
de donde se sigue, como antes, que todo tetraedro deducido
de ste, por medio de una .deforrnacin continua de tal modo
que los cuatro vrtices no estn nunca en un plano (es decir,
!I
Figura 4
que el determinante no se anule), tendr tambin volumen po-
sitivo. Ahora bien; todos estos tetraedros se pueden caracteri-
zar por el sentido en que se ve recorrer la cara (2, a, 4) desde
el vrtice 1, con lo cual podemos expresar el resultado de este
modo: Un tetraedro (J, 2, 3, 4) tiene volumen positivo si,
mirando desde el vrtice 1 los 2, ], .:., aparecen stos ordenados
-9-
. en sentido opuesto al del mooimieio de las agu.ias de un relo],
En el caso contrario, el volumen es negativo.
De las frmulas analticas, hemos obtenido as las reglas geu- .
mtricas que permiten asignar a todo segmento, tl\ngulo o
tetraedro un signo deterrninado.. una vez fijado el orden de su-
cesin en que se supongan los vrtices. Este modo de proceder
presenta grandes ventajas frente al de la Geometra elemental
ordinaria, que considera las longitudes, reas y volmenes corno
magnitudes absolutas. Para hacerlo ver vamos a estudiar algu-
5>0
t t
5<0
I
U Z
Figura 5
nos teoremas sencillos, que, exigiendo en la Geometra elemental
la consideracin de numerosos casos particulares, toman aqu
un carcter genetal.
Comencemos por un ejemplo sencillo: la racn. simple de
tres puntos de una recta, por ejemplo, el eje x. Designemos los
puntos, por motivos de comodidad que se comprendern despus,
con los nmeros 1, 2 Y 4 (fig. 5) ; la razn simple es
S = Xl - X
2
Xl - X4
Es evidente que S es positiva O negativa segn que el pun-
to 1 est fuera o dentro del segmento (2, 4). Si, como general-
mente se hace, se considera slo el valor absoluto SI = IX-X21
I
X
1-
X
41
es preciso referirse a una figura determinada, o bien decir ex-
presamente el orden en que los puntos estn colocados, lo que,
naturalmente, es muy incmodo. La consideracin del signo evita
este inconveniente, pues as la frmula comprende todas las
posibilidades de ordenacin 'de los puntos.
Tomemos ahora otro punto, que des;ignaremos con el n-
mero 3, y formemos la razn doble o anarmnica de los cuatro
puntos
D=
Xl - X
2
Xl- X4
Xa X2
Xa - X4
(Xl - x
2
) (xa - ;:t:4)
=
(Xl - x
4
) (xa - x
2
)
-r-r- 10-
Se ve inmediatamente que D es menor que cero cuando los'
puntos I y 3 estn separados por los 2 y .1 (fig. 6), Y mayor que
cero en el caso contrario, es decir, cuando los puntos I y 3 estn
ambos [uera o ambos dentro del segmento (2, 4) (fig. 7). Existen,
pues, dos maneras de ordenar los puntos que dan para D el mismo
valor absoluto, de modo que, cuando se da solamente ste, es pre-
ciso agregar a cul de las dos maneras nos referimos .. Por ejern-
I I I I 1 I 1 I
1
Z J
"
I s i' J
0"'0 0>0
Figura 6 Figura 7
plo, si se define la cuaterna arrnoruca por la condicin ID 1 = 1,
como desgraciadamente suele hacerse, es necesario adems agre-
gar la condicin de que los dos puntos de un par han de estar
separados por los otros dos. En cambio, a nosotros nos basta
una condicin, la D = -1.
La consideracin del signo tiene una gran importancia en
la Ceometra proyectiva, a causa del preponderante papel que
en ella desempea la razn doble. Un conocido teorema dice que
si cuatro puntos de una recta se proyectan desde un ar-
bitrario sobre otra recta cualquiera (fig. 8), todas las cuaternas
': \'
1,' 1
t\ 1, 1 I /
.. /: I /
" I I I 1
/ )/ i /
,. l' 3" I 1 I r
, ......... t' _ ' I
/ -> '" _---I-, I
"'::,... ,_---1 I J I
11, I
- - - - - - _" :- _ 1"
j .r I I
, I r i I
tI I I
1 11/
!" /
I/ I
1
1/
1

Figura 8
as obtenidas tienen la misma razn doble. Si tenernos en cuenta
el signo de sta, podernos enunciar el siguiente teorema recpro-
co, completamente general: Si dos cuaternas de puntos situadas
sobre rectas distintas tienen la misma razn doble, podrn obte-
nerse una de otra por una proyeccin o por una sucesion de
. proyecciones. Por ejemplo, en la figura 8 las cuaternas 1, 2, 3, 4
Y 1", 2", 3", 4" se obtienen una de otra por proyeccin desde
los centros P y P'. Si conociera solamente el valor absoluto
de D, el enunciado de este teorema no sera tan sencillo, puesto
que habra que hacer distinciones acerca de la colocacin de los
puntos.
La consideracin del signo en las frmulas del tringulo
tiene tambin un gran inters. Sea un punto cualquiera (figu-
ra 9) en el interior de un tringulo (1,2, 3); unindolo con los
tres' vrtices, la suma de los valores absolutos de las reas de
Figura 9
o
Figura ro
los tres tringulos resultantes es igual al rea total del tringulo
primitivo,
1(1,2,3)1 = 1(0,2,3)1'+ 1(0, 3, 1)1+ 1(0, 1, 2)!
En la figura los vrtices 1, 2 Y 3 estn dispuestos en el
sentido que hemos llamado positivo, es decir, contrario al del
movimiento de las agujas de un reloj; luego, segn nuestro
convenio, el rea ser tambin positiva, r ser vlida la frmula
(1, 2, 3) = (O, 2, 3) + (0,3, 1) + (O, 1, 2)
Pero esta frmula es tamb'!n valida cuando el punto esta
fm,era del tringulo, y, en general, cualquiera que sea la posi-
cin, en el plano, de los puntos o, 1, 2, 3. En efecto, s tomamos
corno ejemplo la posicin de los puntos en la figura 10, donde
(O, 1, 2) es del mismo sentido que el movimiento de las agujas
de un reloj y (O, 2, 3) Y (O, 3, 1) son de sentidos contrarios; con-
siderando los valores absolutos la frmula resultante sera
1(1,2,3)1 = 1(0,2,3)1 + 1(0, 3, 1)[-1(0, 1, 2)1
igualdad confirmada por la figura.
12
Para demostrar la generalidad de la frmula nos valdremos
de la definicin analtica del rea, utilizando una conocida pro-
piedad de los determinantes. Tomando el punto O cama origen
de coordenadas y prescindiendo del factor vernos que, cual-
'2
qUIera que sean los valores de
xl'
... ,
Y3'
se verifica :
Xl Y1
1 O O 1 O O 1 O O 1
.c
2 Y2
1 X2 Y2
1
+
.1'
a Ya
1
+
Xl Y1
1
.x
u Ya
1
x" Ya
1 Xl 111
1 .1'2 "12
1
"
El valor de los determinantes del segundo miembro no se
altera substituyendo en ellos el segundo y tercer 1 de la ltima
columna, por ceros, puesto que, al desarrollar por los elementos
de la primera fila, aquellos unos slo intervienen en los deter-
minantes menores que se han de multiplicar por los ceros de la
primera fila; si adems permutamos cclicamente las filas de
los dos ltimos determinantes, cosa lcita en todo determinante
de orden impar, la igualdad anterior puede ponerse en la si-
guiente forma:
Xl Y1
1 O O 1 Xl Yl
O .T1 Y1
O
.1'2
Y2
1 .1'2 Y2
O
+
O O 1
+
;1'2
Y2
O
Xa Ya
1 .1'
Ya
O .1' Y O O O 1
y basta desarrollar el determinante del primer miembro por los
elementos de la ltima columna para convencerse de que esto
es una identidad, con lo cual queda demostrado el teorema para.
todas las posiciones posibles de los cuatro puntos.
Todava puede generalizarse esta frmula para el rea de un
polgono cualquiera, Supongamos (fig. 11) que queremos medir
la extensin de un terreno pol igonal habindose medido previa-
mente las coordenadas de Is vrtices 1, 2, .oo, n. Si el que
opera no tiene costumbre de dar signo a las reas, necesitar
hacer un croquis del terreno y descomponer el polgono dibujado
en tringulos y atender a la forma especial de cada uno (en par-
ticular, segn que los ngulos sean agudos u obtusos) para en
cada caso sumarle O restarle de los dems. En cambio, nosotros,
-13 -
despus de 10 dicho acerca de las reas como magnitudes relati-
vas .podernos dar una frmula que, mecnicamente, sin necesi-
dad de mirar la figura, da inmediatamente el rea del polgono:
, Si O es un punto cualquiera del plano, por ejemplo, el origen
S
z.
Figura 11
s
7
Figura 12
de coordenadas y los vrtices se suceden en el orden 1, 2, n,
el rea ser
(1, 2, 3 '" n) = (O, 1, 2) +(0,2, :j) +... +(O, n 1, n)+ (O, n, 1)
donde hay que atribuir a cada tringulo el signo que corres-
ponda al sentido indicado. La frmula da para rea un rucmero
con signo positivo o negativo, segn que el sentido 1 ,2, oo., n
del polgono sea contrario o igual al del movimiento de las
agujas de un reloj. La demostracin, muy fcil, queda al cui-
dado del lector.
Veamos algunos casos particulares, que, ciertament e, no son
de los que se pueden presentar en Topografa, a saber, los de
reas de polgonos cuyos contornos se cortan a s mismos tales
como el cuadriltero de la figura 12. Cuando hablemos aqu de
un rea determinada, entenderemos que se trata del valor dado
por esta frmula, y vamos ahora a interpretarlo geomtricam.en-
te. Se ve desde luego que este valor es independiente de la posi-
cin del origen de coordenadas; supongamos, pues, para mayor
comodidad, que este punto es el O, de encuentro de los lados
opuestos 12 y 34 del cuadriltero, en cuyo caso los dos tringu-
los (O, 1, 2) Y (O, 3, 4) son nulos y queda
(1,2,3,4) = (0,2,3)+ (0,4,1)
El primer tringulo tiene un rea negativa y el segundo po-
14
sitrva, luego el rea del cuadriltero (1, 2, 3, 4) en que dos
lados opuestos se cortan ser igual al valor absoluto del rea del
tringulo (O, 4, 1) recorrido en sentido positivo disminuido en el
valor absoluto del rea del tringulo (0,2, 3) recorrido en sentido,
negativo.
Como segundo ejemplo, consideremos el pentgono estrellado
(figura 13). Si tomamos el origen dentro del ncleo central, to-
dos los tringulos parciales que figuran 'en la suma
(0,1,2)'+ (0,2,3),+ ...,.+ (0,5, 1)
estn recorridos en sentido positivo y la suma cubre una sola
vez las puntas de la estrella y dos veces el pentgono simple
interior.
Fijndonos en el sentido (1, 2, ;:3, 4, ;)., 1) en que se recorre
1-
Figura '3
el polgono, vemos que cada porcin est recorrida. en sentido
contrario al de las agujas del reloj, de tal manera, que se recorre
dos veces la que al determinar el rea se cuenta dos veces y se re-
corre una vez, la que en esta determinacin se cuenta tambin
una sola vez.
De la consideracin de ambos ejemplos, podemos abstraer
la siguiente regla general : Nuestra frmula da como rea de todo
polgono rectilneo, cualquiera que sea el nmero de puntos de
cruces de sus lados. la sunza algebraica de las reas parciales
lmitadas por el contorno del polgono, contando cada porcin
tantas veces cuantas' sea recorrida al recorrer el contorno
(1, 2, 3, ... , n, 1) y atribuyndole signo positivo o negativo, se-
gn que el sentido de su contorno sea contrario al de las agujas
de un reloj, o sea este .mismo,
-15 -
El lector puede tambin reconocer la verdad de esta regla ge'-
neral, lo que no presenta ninguna dificultad, siendo muy conve-
niente que la aplique a muchos ejemplos para familiarizarse
con ella.
Vamos, ahora, a ocuparnos de recintos limitados POI lneas
curuas . Tomemos una curva cerrada cualquiera (fig. 14) que
puede cortarse a s misma un nmero arbitrario de veces; su-
Figura '4
pongamos que se recorre en un sentido determinado y propon-
gmonos hallar el rea que limita.
El procedimiento natural es el de inscripcin de polgonos
de gran nmero de Iados muy pequeos, y determinar el valor
lmite de sus reas calculadas por la frmula anterior. Sean
P(x,y) y P1(x+dx,y+dy) dos vrtices consecutivos de uno
de estos polgonos. El tringulo ,elemental 0, P, PI' tendr
por rea
I
2
o O
x y
x +dx y +dy
1
1 ~ (x dy - y dx)
1
y el rea del recinto curvilneo ser el lmite de la suma de
las reas de todos" estos tringulos elementales; luego, la inte-
gral curvilnea tomada a lo largo de la lnea dada recorrida en
el sentido prefijado:
1 .
2 . (x dy - y dx)
puede servir de definicin de dicha rea.
La interpretacin geomtrica de esta definicin, es anloga
a la de la frmula obtenida para 'los polgonos, a saber: I Cada
16-
porcin. de rea limitada por un,a curva, ser contada en esta
integral como positiva, tantas 'veces C011j;O al recorrer el
l
contorno
en el sentido prefijado sea recorrida el suyo en sentido contra-
rio al de las agujas de un reloj, y como negativa tantas veces
como sea recorrido en el mismo sentido de stas. As en la fi-
gura 14, el rea se cuenta una sola vez en sentido positivo. En la
figura 15, la parte exterior se cuenta una vez como positiva, y la
Figura '5
Figura ,6
interior dos veces y tambin positiva. En la figura 16, la parte de
la izquierda es negativa y la de la derecha positiva, contndose
ambas una sola vez, y se obtiene para valor del rea un .nmero
negativo. .
En la figura 17, hay una parte con In que no hay que contar,
por estar recorrida una vez en sentido positivo y despus en Sen-
tido negativo. Naturalmente, pueden existir curvas que limiten
un rea nula, como por ejemplo, la de la figura 16, si la curva
fuese simtrica respecto al punto comn a sus dos partes. Ello no
tendra nada de absurdo, porque esta determinacin de reas
descansa: sobre un convenio arbitrario.
Para hacer ver la utilidad de las precedentes consideraciones,
vamos a estudiar el planmetro polar, de' Amsler, aparato cons-
Figura '7 Figura 18
trudo en 1848 por el mecnico de Schaffhausen,' Jakob Amsler,
y muy usado en la determinacin prctica de reas.
Comencemos por exponer el fundamento terico de la cons-
truccin. Sea (fig. 18) una barra A 1A2 de longitud 1, suscepti-
-17 -
ble de moverse sobre el plano, de tal modo que los puntos Al
y A
2
describan curvas cerradas y la barra vuelva a su posicin
primitiva. Propongmonos ahora, determinar el rea 'de la' su-
perficie as cubierta, considerando las partes de esta superficie
como positivas o negativas, segn el sentido en que la' barra
las recorra.
Podemos descomponer el movimiento de la barra: eh Una
serie de movimientos elementales infinitamente pequeos, cada
uno de los cuales representar el paso de una posicin 1, 2 (fi-
gura 19) a otra prxima 1', 2'. La superficie total as descrita
por la barra, ser igual al lmite de la suma qlgeb.raiC<;l de todos,
los (cuadrilteros elementales) (1, 1', 2', 2), descritos en estos
movimientos elementales, suma en la cual cada cuadriltero ten-
<Ir el signo que le corresponda segn el sentido del movimiento
de la barra correspondiente al 1, 1', 2', 2.
Cada uno de los movimientos elementales. puede a su vez
descomponerse en otros tres, a saber:
1.o Una traslacin ds de la barra en la direccin de s misma.
2.
0
Otra traslacin dp normal a la anterior.
3." Un giro de ngulo d<p, alrededor del extremo A
2

Con estos movimientos la barra recorre las superficies O. ds,
l2
l. dp. Y "'2 d<p, respectivamente.
El rea del cuadriltero elemental (1, 1', 2', 2), s t r r p r ~
sentada por la SUma de estas, tres superficies, porque el error
que as se COmete, es de un orden de pequeez superior al de
estas magnitudes, y en el paso al lmite (que es, un simple pro-
ceso de integracin), se anula. Importa notar que esta suma
l2
l.dp +- d!J)
2 '
-18-
tambin coincide en signo con el rea del cuadriltero (1, 1', 2', 2>
si se torna COrno positivo ep, cuando su sentido sea contrario
al del movimiento de las agujas de un reloj, y p, cuando la tras-
lacin dp tenga el mismo sentido que el de crecimiento del
ngulo <p.
La tbtalidad de la superficie cubierta por la barra en su mO-
vimiento, se obtendr por la integracin:

, J = lJdP+ Jd!f;
en esta frmula J dep representa el ngulo girado por la barra
desde la posicirr jnicial a la final, pero, como ambas posicio-
nes coinciden, es Jdrp = 0, si la barra no ha girado un ngulO'
de 2"" y la superficie recorrida es
[1 )
Puede ocurrir tambin, que en virtud de la forma de las tra-
yectorias de Al y A
2
, la barra haya realizado uno o ms giros
completos. En este caso Jdep. ya no ser cero, sino un mltiplo-
de 2"" y al valor de J que hemos obtenido, habr que agregar
tantas veces +12", o - P"" como vueltas completas haya dado-
la barra en sentido positivo o negativo, respectivamente. Para
evitar complicaciones, nos limitaremos al caso ms sencillo, '
sea, .cuando Jdrp =O.
Tambin se puede calcular la superficie J por otro procedi-
miento. Supongamos que la barra (fig. 20), toma las posiciones,
sucesivas e infinitamente prximas 12, 1'2', 1':2"... El- rea
1 ser igual a la suma de los cuadrilteros elementales as for-
mados:
s =(1, 1', 2', 2) + (1', 1", 2", 21+(1", 1''', 2''', 2")+ ...
o mejor dicho, a la integral, lmite de dicha suma. Tomando
ahora un origen O cualquiera de coordenadas, podemos aplicar
-19 -
las frmulas que obtuvimos para las figuras poligonales, COn 10
cual tendremos:
5=(0,1,1' )+(0,1' ,2' )+(0,2',2 )+(0,2,1)
+(0, 1',1" )+(0,1" , 2" )+(0, 2" ,2' ).+(0, 2' , 1')
+
(O 1" 1'''), + (O 1'" 2''')+ (O 2'" 2") + (Q 2" 1")
,. ,. '..' s , ,. "". ,.' )
+ ; .
El tringulo de cada fila, es igual. y de sen-
tido contrario al colocado en lugar en la fila siguiente:
(0,1',2')=-(0,2',1'), (O, 1", 2")= -(0,2",1"), etc. Adems,
Figura 20
en la ltima fila, debe entrar el sumando (O, 1, 2) igual y de
sentido contrario al (O, 2, 1), de la primera. Suprimiendo todos
estos trminos, quedan solamente el primero y tercer sumando
de cada fila, o sea:
1=(0,1 ,1' )+(0,2' ,2 )
+(O, r , 1" )+ (O;W' , 2' )
+(O 1" 1''')1 +(O 2'" 2")
., . , ." ,
"" o ..... 0(, .0 .0 .. ",o' .0 . ..'
Las dos columnas que componen esta suma representan las
reas de los polgonos (1, 1', 1", 1''' ... ) Y -(2, 2', 2", 2"' ... )
respectivamente, las cuales en el lmite se convierten en las
reas JI Y J2' de las dos curvas descritas por los extremos Al
y A
2
de la barra, en sentido positivo la primera y negativo la
segunda. Podemos, pues, escribir:
[2]
frmula que sirve tambin para el caso en que las dos curvas
[2')
20-
se corten un nmero cualquiera de veces, con tal que se obser-
ve rigurosamente la regla relativa al signo.
Las frmulas [:lJ y [2] expresan solamente la teora geom-
trica del planmetro j queda, pues, por exponer la parte mecnica
del mismo.
Hagamos correr el extremo A
2
de la barra sobre una curva
de rea J2conociDa, y la punta A 1 sobre la curva cuya rea que-
remos determinar. Como "sta tiene por expresin
JI = J2 + IJdP
podremos calcularla inmediatamente, si el aparato est provisto
de un dispositi1.,lO que permita medir Jd
P
. Para este objeto,
el planmetro de Arnsler tiene una ruedecilla, cuyo eje es la barra
Al' A
2
, Y que, naturalmente. al moverse sta, rueda sobre el pa-
pel. Llamernos ), la distancia desde el extremo A
2
a la rueda (figu-
ra 21), p al radio de sta y '1J al ngulo que gira en un movimiento
de .la barra. El elemento de ngulo puede descomponerse en
otros tres: d'1Jll 'd:'1J2 y d''1Ja' correspondiendo cada uno de ellos l
uno- de los tres movimientos simples en que hemos descompuesto'
cada movimiento infinitesimal de la barra. En la traslacin 1) a lo
largo de A
1A2
la rueda no gira, luego, En la traslacin
normal 2) la rueda gira recorriendo sobre el papel una longitud
dp=pdi'1J2; luego, En el giro B), de amplitud d'!(,
p
alrededor de A
2
, la rueda gira un ngulo d'1J3' que en virtud de la
igualdad )..d'!( = es d'1J3 = dip. Sumando los tres movimien-
p
tos tendremos:
1 A.
d == -- dp -+ -- d p.
P P
Integrando a lo largo de toda la curva es .fd'f=O si
1
A
2
vuelve a su posicin primitiva, sin realizar un giro completo y,
por consiguiente, es
= lfdP'
. P.
[3']
- 21-
En el caso contrario, en que la barra realizase. uno o ms giros
completos, habra que sumar '0 restar mltiplos de 27i: , pero
prescindimos de este caso, como hemos hecho anteriormente.
De las frmulas [2'] y [3'J se deduce

es decir, la diferencia, entre las reas de las curJas descritas por
los dos extremos de la barra" est medida por medio del n.gu-
lo qtte gira la rueda.
El aparato de Arnsler, est construdo de modo que el rea
12 es nula. Para ello, la barra mvil est sujeta por el extremo
A
2
a una biela rectilnea que puede girar alrededor de un punto
fijo ll{ (fig. 22); de este modo, A
2
tiene que moverse sobre un
arco de circunferencia sobre el cual va y viene, volviendo final-
mente al punto de partida (prescindimos para m.ayor sencillez,
del caso en que recorra una o ms veces la circunferencia com-
A,
A;t=:;::;;:==I-:----:..;;
Figura 21 Figura 22
p.eta). En atencin al polo M es por lo que se llama planme-
tro polar. Para calcular el rea encerrada por una curva 1n' basta,
pues, recorrer sta con el extrema de un punzn que represen-
ta el extremo A n leer el ngulo que haya girado la rueda,
y efectuar el producto:
la constante lp del aparato se determina, midiendo un rea cono-
cida, por ejemplo, el cuadrado unidad. La figura 23 representa
esquemticamente el planmetro polar, pero convendr" que el
lector examine el aparato y 10 maneje para llegar a su compren-
sin total.
. Es evidente, que para que el planmetro funcione de un modo
preciso, su construccin tiene que ser algo ms 'complicada
que 10 que exigira slo la teora; diremos slo algunos
menores.
'-'- 22 '-
El punto M est sujeto a una masa pesada, y de l parte
una barra que termina en el punto A
2
El segmento terica-
mente Importante A
1A2
, del que siempre hemos hablado, no es
la segunda barra de metal que se ve en el aparato, sino la pro-
longacin ideal, paralela a esa barra, del eje del rodillo R unida
a ella, que' pasa por el portalpiz A l' A esta punta acompaa otra
barrita paralela a ella, roma y algo ms baja, destinada a impedir
M
Figura 23
que la primera penetre en el papel. El rodillo lleva un nonius
para medir las fracciones de vuelta, y un contador de vueltas
completas.
En lugar de detenerse en la exposicin de otras particularida-
des del aparato, me parece preferible aprovechar esta ocasin para
prevenir de un modo general acerca de los inconvenientes de
conformarse con la teora y prescindir de la realizacin prctica,
como, ,desgraciadamente, ocurre con mucha frecuencia a los
matemticos puros. Esta inclinacin es tan injustificada como
la de los mecnicos que, sin interesarse por la teora, se pre-
ocupan exclusivamente de los detalles de construccin. La Ma-
temtica, aplicada debe formar el lazo de unin entre ambas
tendencias, teniendo en cuenta que la formulacin terica del
principio nunca podr realizarse exactamente en el aparato. As,
por ejemplo, en el planmetro vde Arnsler hay siempre varias
causas de error: las palancas cabecean algo, el rodillo resbala
un poco sobre el papel en lugar de slo rodar; por ltimo, el
mismo plano del dibujo no es perfecto, y es imposible seguir
exactamente la curva con el punzn. El clculo de la influencia
de estos errores; saber hasta cuntas cifras de la lectura del
rodillo pueden considerarse como exactas, son cosas, natural-
23
mente, de gran importancia en la prctica, y eso es cosa que
tiene que investigar la Matemtica aplicada.
Las caractersticas de la Matemtica aplicada en relacin con
la pura, pueden ser estudiadas en los cursos que han sido lito-
grafiados: AnwendUing des Differential und Integralrechnung
auf Geometrie, Eine Revision der Prinzipien '(*) y EinlVeitung in
die h.ohere Geometrie (**). El primero de ellos tiene como prin-
cipal objetivo establecer los caracteres que diferencian la Geome-
tra prctica de la abstracta. El otro, por el contrario, estdedi-
cado exclusivamente a desenvolver con toda amplitud teoras' de
Geometra abstracta, cuyo conocimiento es necesario a los ma-
temticos especializados que quieran dedicarse a la investigacin
geomtrica. .
Las presentes lecciones quisiera dedicarlas a la exposicin de
lo que podra llamarse Geometra terica elemental, aquello que
Imprescindiblemente .debiera conocer todo aspirante al profesora-
-do, y, en particular, lo que es de fundamental importancia en
Mecnica y Fsica, prescindiendo de las materias correspondien-
tes a aquellos otros dos campas, a los que slo incidentalmente
habr de referirme.
Volviendo al' interrumpido estudio de la determinacin de
reas y volmenes, vamos a comenzar por unas notas de carcter
histrico.
El primer matemtico que utiliz en la Geometra de un modo
consecuente el principio a'el. signo fu l gran gemetra de Leip-
zig A. F. NIobius, que 10 dia conocer en el libro Der barycen-
irische Calcul (***), publicado en 1827, fundamental para la
Geometra moderna, y de lectura muy agradable por la belleza
de la exposicin. El motivo de haber sido titulada Clculo bari-
cntrico, consiste en haber partido Mbius de las consideracio-
nes siguientes, basadas en los baricentros: Sean tres puntos,
OI' O
2
, 0
3
fijos en un plano, en los. cuales ,hay tres masas
m'lI m
2
, m
3
, que, cama en el caso de cargas elctricas, pueden ser
(*) Lecciones explicadas por Klein y recogidas' por C. H. Mller. Leip-
zig, 1907; nueva edicin.
(**) Lecciones explicadas por Klein y recogidas por Schilling, dos
tomos. Leipzig, 1907.
(**'*) Leipzg, 1827' = Gesarnmelte Werke, tomo 1 (Leipzig, 1885).
Q33 pginas.
-24-
positivas o negativas j el centro de gravedad, P, del sistema est
unvocamente determinado, y variando las masas m
1
, in
2
, m
3
,
puede recorrer todo el plano: Las tres masas pueden, por lo tan-
to, ser consideradas como coordenadas del punto P, con 10 que
introdujo Mobius en la Geometra lo que ahora se denomina en
general coordenadas triangulares, Esto es suficiente como jus-
tificacin del ttulo de la obra de Mobius ; en cuanto a su conte-
nido, muy interesante, 10 principal, par,a 10 que ahora nos ocu-
pa, son los prrafos 17-'20, en los que se aplica el principio del
signo en la determinacin del rea del tringulo y del volumen
del tetraedro, y se encuentran las definiciones precisas que hemos
utilizado.
Mobius 'complet, ya viejo, en 1858, estos resultados obteni-
dos en su juventud con un descubrimiento de gran importancia,
que no fu publicado hasta 1865 en el trabajo Ueber die Bestim-
mung des Inhalts emes Polyeders ~ ) , en el cual demostr que
existen potiedros a los cuales no p1wde asignrseles un volumen
determinado, al contrario de 10 que ocurre con los polgonos pla-
nos, para los que, por complicados que sean sus contornos, siem-
pre puede definirse un rea determinada.
Para estudiar esta notable propiedad partiremos de la frmula
que habamos establecido para el volumen del tetraedro.
Xl VI
Zl 1
1
X
2 Y2 Z2 1
(1,2,3,4,) = B
x
a Ya
Za 1
x ~ y ~ z. 1
Desarrollando por los elementos de la ltima columna, esto
equivale a descomponer el tetraedro, anlogamente a lo que hi-
cimos en los tringulos, en otros cuatro, cada uno de los cuales
tiene ponbase una cara del primero, y por vrtice opuesto el ori-
gen de coordenadas. Atendiendo l que 1, '2, 3, 4 estn dispues-
tos en orden cclico, se obtiene la frmula:
(1, '2, 3, 4) == (O, '2, 3, 4) - (O, 3, 4, 1) +(O, 4, 1, '2) - (O, 1, '2, 3)
(") Berichte ber die Verhandlungen del' Koniglichen Siichsischen Ge-
sellchaft des Wissenschaften (mat.vphys. KI). Bd. 17, 1865. Pg. 31-
Gesamrnr-lte Werke, II (Leipzig, 1886). p. 473.
en la cual aparecen signos menos, mientras que en los tringu-
los todos los trminos eran positivos. La causa de' ello es que
los determinantes de orden par cambian de signo por permuta-
cin circular de sus filas o columnas y los de orden impar no. Na-
turalmente, por medio de permutaciones adecuadas, se pueden
eliminar de la frmula los signos menos, pero entonces se pier-
. de ya la permutacin circular de los vrtices; as, por ejemplo,
se puede escribir:
(1, 2, 3, 4) = (O, 2, 3, 4) +(O, 4, 3, 1)+(O, 4, 1, 2) +(O, 2, 1, 3)
Para ver intuitivamente la regularidad contenida en esta fr-
mula imaginemos la superficie del tetraedro extendida sobre' el
plano 2, 3, 4, con lo cual el vrtice 1 ocupa. tres posiciones dis-
tintas (Hg. 25).' ,
Recorriendo los vrtices en el orden indicado por la ltima
frmula, el sentido del movimiento es en todos los tringulos con-

.(
O,{1ffJt) 01.7m,z )
1
Figura 24 Figura 25
trario al de las agujas de un reloj, luego todos ellos son posi-
V9S.
Este resultado puede obtenerse tambin, sin necesidad de des-
arrollar la superficie del tetraedro, fijndose en que cada arista es
lado comn a dos caras, y al recorrer todos los trisigidos en un
sentido prefijado, cada arista queda recorrida dios veces, una en
un sentido y otra en el opuesto. Esta regla, llamada por Mbius
ley de las aristas, establece en cada cara un sentido cuando de
cualquier modo se ha fijado el de una de' ellas. La ltima frmula
establecida puede, pues, interpretarse del siguiente modo :T)nti?-
traedro (I, 2, 3, 4) p'uede ser considerado como suma de otros
cuatro que tengan c0111/,f1, el primer-vrtice O y cuyos otros tres
suceden, al O en el orden i n d ~ l d l o por la continuacin del sentido
(2,3,4) segwn la ley de aristas de Mibius.
26
De la misma manera que generalizamos el concepto de rea
de un polgono partiendo de la frmula de descomposicin en tri-
ngulos, vamos a utilizar el resultado ltimamente obtenido para
llegar a la definicin del olumen. de un poliedro cualquiera,
Al hacerlo, habremos de admitir que los lados pertenecientes
a la misma cara pueden cortarse y, asimismo, que puedan cortar-
se dos caras que no tengan una arista comn, y comenzaremos to-
mando un punto auxiliar cualquiera, O, y definiendo. el volumen
de la pirmide que proyecta desde O una de las caras del polie-
dro. Para ello fijamos un sentido de recorrido en la base, por
ejemplo, lacara (1, 2, 3, 4,5, 6) del poliedro (fig. 26), con lo cual
este polgono tiene un rea determinada segn lo dicho, y llama-
remos volumen de esta pirmide (O, 1, 2, 3, 4, 5,6), como en la
Geometra elemental, a la tercera parte del producto de esta rea
6
Figura 26
de la base por la altura, sin otra variacin que darle signo ne-
gativo o positivo segn que al mirar desde el punto O, la sucesin
(1, 2, 3, 4, 5, 6) aparezca ordenada en el sentido del movimiento
de las agujas de un reloj o en el opuesto. Se ve inmediatamente
qur. esta definicin contiene, como caso particular, la antes dada
para el volumen del tetraedro, delacual hubiera podido obtenerse
descomponiendo el polgono en tringulos y sumando los tetrae-
dros que resultan al proyectar desde el punto O.
Al considerar un poliedro cualquiera como suma de partes pi-
ramidales, se hace preciso asignar un' sentido a cada una de fas
caras que han de servir de bases. Nada ms conveniente para
ello que la ley de aristas de Mobius, utilizando la cual, basta
asignar, wnsentido determinado a una cara cualquiera )1' conti':'
nuar despus die modo que las dos veces en. que cada arista que-
da recorrida, lo sea en sentidos contrarios. Si esta determinacin
del sentido puede llevarse a cabo. sin contradiccin sobre toda 'la
--- 27 -
superficie, el -ooliomen. del poliedro qUe'dkl definido como suma
de -las pirmides que se obtienen proyectando desde O todas las
caras tomadas en el sentido indicado. Fcilmente se ve que esta
determinacin es unvoca e independiente de la posicin del
punto O.
Ahora bien, es verdaderamente notable el hecho de que la
determinacin del sentido con arreglo a la ley de aristas no pue-
de ser llevada a cabo en todos los poliedros sin contradiccin, es
decir; que hay poliedros para los cuales cae en defecto toda de-
finicin de signo J, en consecuencia, no se les puede aSignar vo-
lumen determinado.
Este es el gran descubrimiento debido a Mobius, publicado en
1865, y tiene por origen el estudio de la superficie posteriormen-
te llamada su/perjicu: de AIJJbius, que se obtiene recortando una
/1, Bz.
I r ~ ~ I
8,. IIz
Figura 27
hoja rectangular de papel A
lBlA2B2
(fig. '27) de forma bas-
tante alargada y pegando el lado AlB
l
sobre el opuesto, de
modo que Al quede sobre A
2
y B
l
sobre B
2
, habiendo dado una
sola vuelta al papel, con lo cual se une la cara anterior de la
superficie con la posterior j' resulta una s'uperfi<cie que solamente
tiene una cara,
Dicho de un modo grfico: un pintor que quisiera pintar la
superficie necesitara emplear doble cantidad de color que la
calculada atendida la longitud de la hoja, pues si la pinta antes
de cerrarla en la forma indicada, cuando la haya pintado en
toda su longitud, estara precisamente detrs de la posicin ini-
cial y tendra que continuar dando otra vuelta hasta volver real-
mente a esta posicin.
En lugar d esta hoja curva, se puede construir tambin una
superficie polidrica (no cerrada) de la misma propiedad. .
Para ello se divide el rectngulo en tringulos (fig.'28) Y si se
dobla el papelporlas aristas as marcadas, resulta, despus de pe-
gar los extremos, como antes, una superficie polidrica que goza
de la misma propiedad de la anterior y a la cual no es posible
-28-
aplicar la ley de aristas. Para la construccin es preciso tomar al
menos 5 tringulos del modo indicado en la figura, con lo cual
los dos medios tringulos de los extremos quedan, despus de
pegados stos, formando un solo tringulo(4, 5, 1) igual a los
restantes. Si se pretende recorrer las aristas en sentido positivo
Figura 28
a partir de (1, 2, 3) Y con arreglo a la ley de Mobius, habr que
seguir el orden (1, 2, 3), (3, 2, 4), (3, 4, 5), (5, 4, 1), (5, 1, 2)
Y la arista 1, 2 quedar recorrida dosveces en el mismo sentido,
no cumplindose, por lo tanto, la citada ley. La superficie as
dispuesta presenta, vista desde encima, una forma pentagonal,
cuyas diagonales son las aristas 13,35, 52, 24,41, como indica
la figura 29.
De esta superficie polidrica obtiene Mobius un poliedro .ce-
rrado, proyectando las aristas libres, o sea las 5 diagonales, des-'
de un punto O que lo mejor es tomarlo en el centro del pent-
gano; es decir, adaptando a ste una pirmide pentagonal de
Figura 29
vrtice O. Resulta as un poliedro limitado por diez caras trian-
guIares, que na es susceptible de la aplicacin de la ley de aris-
tas, y que por lo tanto carece de volumen (*).
(*) Vase la aplicacin de este poliedro a la Esttica grfica en el tra-
bajo de Klein Uber Selbstspannung ebener Diagramme Mathernatische
Annalen, tomo LXVII, pg. 438; y, tambin en Klein, Gesamrnelte Ma-
thematische Abhandlungen, torno II, pg..692.
Otro poliedro cuya superficie es de una sola cara, cerrado y
de construccin muy sencilla, se deduce fcilmente de un octae-
dro ABCDEF (fig. 30) del siguiente modo; Se toman cuatro
de las caras del octaedro, tales que cada dos no sean contiguas
y, por lo tanto, no tengan ninguna arista comn, pero tengan
comn un vrtice (por ejemplo, AED, EBC, CFD y ABF) Y se
les agrega los tres planos diagonales ABeD, EBFD, AECF. El
heptaedro as formado (*) tiene las mismas aristas que el octae-
dro, pues en cada una de las de ste se ve que se unen dos caras
contiguas del heptaedro (o sea una cara y un cuadrado diagonal
del octaedro). Las diagonales del octaedro no se encuentran en-
tre las aristas del heptaedro, porque en ste no son contiguos
o
A
e
B
Figura 30
los planos diagonales del octaedro; tales diagonales AC, BD,
EF son rectas de interseccin de la superficie delheptaedro con-
sigo mismas. Se reconoce que esta superficie es de una sola cara
sin ms que aplicar la ley de aristas. Tornemos, en efecto, las
caras necesarias AED, EDFB, ECB, ABCD y fijemos un sen-
tida en el contorno de la primera; determinando para las otras
el sen tido correspondente en la ley de aristas, se ve que la arista
'AD es recorrida dos veces en el 'mismo sentido.
~ ) Citado por primera vez en Reinhardt, C. : Zu MbiusPolyedertheo-
re. Verhandlungen der Knigliche-Schsischen Gesellschaf't der Wissenschaf-
ten (math.c-iphysikalische Klasse), tomo XXXVIn, 1885.
- 30-
Terminado con esto el estudio de la aplicacin del signo a
las reas y volmenes, vamos a pasar al de otras magnitudes
geomtricas elementales, iniciado por el gran gemetra de Stet-
tin Hermamn. Grassmann. con su libro Linealen. Ausdehnungs-
lehre (*). Esta obra es, como la de Mbius, extraordinariamente
rica en ideas, pero, al contrario que la de Mobius, est escrita
con tan poca claridad que durante muchos aos, ha quedado in-
comprendida. Para hacerse idea de la abstracta manera en que
est escrito, basta fijarse en los ttulos que encabezan los captu-
los de la Introduccin, que son los siguientes: Deduccin del
concepto de Matemtica pura i Deduccin del concepto de Teo-
ra de la extensinj Tcazonamiento del concepto de Teora de
la extensin i .Forma de la exposicin; a cuyos ttulos an
sigue: Ojeada sobre la Teora general de las formas, y una
vez terminadas estas ideas generales, comienza la exposicin
puramente conceptual del objeto del libro en trminos de com-
prensin cada vez ms difcil. En una edicin posterior de la
Ausdehnungslehre (H) utiliza Grassmann una representacin
analtica, por medio de coordenadas, que es un poco ms accesi-
ble. La palabra Ausdehnungslehre (teora de la extensin) fu
empleada por Grassmann para indicar que la disciplina a que da
nombre se refiere al espacio de cualquier nmero de dimensiones,
reservando la palabra Geometrfan para la aplicacin de esta
nueva disciplina al espacio ordinario de tres dimensiones. Dicha
nueva denominacin no se ha vulgarizado, sin embargo, em-
plendose COmnmente hoy para indicar el mismo concepto, la
frase Geometra-n-dimensional.
En el siguiente captulo utilizamos la representacin por
medio de coordenadas, para llegar a los conceptos de Grassmann,
limitndonos por el pronto, a la Geometra plana.
U. Principio de Grassmann en el plano
En el captulo anterior hemos establecido que el determi,
nante
(") Leipzig, 1844. Gessammelte mathematische und physikalische Wer-
ke 1. Leiozg, 1894; segunda edicin, Leipzig, 1898.
(**) Berln, 1862. Vase Obras completas, 1, Leipzig, 1896.
- 31-
Xl Yl
1
X2 Y2
1
x
a Ya
1
formado con las coordenadas de tres puntos, representa el doble
del rea desu tringulo, o sea, el rea de un para;elogramo, Con-
sideremos ahora, las matrices rectangulares formadas con las
coordenadas de dos puntos, o de uno solo:
Cada una de estas matrices, as encerradas entre barras, re-
presenta la suma die los determinantes que se obtienen suprimien-
do en ella ~ t o dos columnas respectioamenie, As, de la prime-
ra, se obtienen suprimiendo sucesivamente la primera, la segunda
o fa tercera columna:
La notacin se ha escogido de modo que facilite el estudio
de la G,eometra del espacio, Tenemos que estudiar ahora qu
clase de forma geomtrica est determinada por estos tres de-
terminantes X, Y, N; Y podremos considerar esta figura coma
una nueva magnitud geomtrica elemental, con el mismo dere-
cho que hasta ahora hemos considerado el rea del tringulo.
En la segunda 'matriz, los determinantes obtenidos, son el n-
mero 1 y las coordenadas X
11
J'11 que determinan un punto como
la magnitud elemental ms sencilla, sobre la cual nada hay que
investigar.
El principio de Grassmanm, enunciado en toda su generali-
dad, es el siguiente: Considerando tanto en el .plano C011tO en el
espacio, todas las matrices rectasigidares., can m,enos filas que
columnas, cada 1ma de cu,J'as filas est formada por las coorde-
ncdas de, un punto y el nmero 1, se trata de investigar las
formas geomtricas definidas por los determinantes que! se obtie-
nen de dichas matrices, por supresin de un n1n.ero suficiente
de columnas,
Ms adelante veremos que este principio,queahora establece-
. mos de un modo algo arbitrario, y que slo parece ser una gua
-32 -
conveniente entre elconjunto de las figuras fundamentales, es una
consecuencia natural de un amplio conjunto de ideas que abarca
toda la sistematizacin de la Geometra.
Volviendo ahora al problema concreto del plano, propong-
monos investigar qu es lo que se da en la figura de dos puntos
1, 2 (fig. 31), cuando se conocen los determinantes X, Y, N. Es
evidente que la posicin de ambos puntos, tiene todava un
grado de libertad, puesto que esta posicin queda completa-
mente determinada mediante el conocimiento de cuatro magni-
Figura 31
tudes, y aqu slo se dan tres. Pues bien, decimos que: Los
valores die X, Y, N, n varan cuando, y slo en este caso,
1 sea el extremo y 2 el origen de un segmento de longitud y
sentido determinados, que puede trasladarse arbitrariamente
sobre una rectadeterminadti; la flecha indicadora del sentido,
la suponemos aqu, y en cuanto sigue, colocada de manera que
2 sea el origen y 3 el extremo, pues su ecuacin
.c y 1
I
XI Yl
=
X2 Y2
puede tambin escribirse en la forma
y .x-X .y+N=O,
en la cual se ve que esta recta queda tambin determinada por
las razones X : Y : N.
Para ver que los valores de X, Y, N, permanecen invariables
al trasladarse el segmento 12 sobre su recta, basta fijarse en
que, segn lo dicho al hablar de longitudes de segmentos y reas
de tringulos, X e Y son, respectivamente, las proyecciones
- 33-
del segmento (1, 2), sobre los ejes x e y, y N representa el doble
del rea del trin.gulo (O, 1, 2), recorrido en el sentido 0, 1, 2,
Y evidentemente los nicos cambios de posicin de los puntos
1, 2, en que estas tres magnitudes se conservan invariables, son
fas traslaciones del segmento (1, 2), siendo constantes su longi-
tud y sentido. Grassmanru llamaba a los segmentos de la misma
lopgitud y sentido de Una recta determinada Linienteil (porcin
de recta), pero el nombre hoy generalizado es el de 'Vector y,
an ms preciso 'Vector deslizante, para distinguirlos de los 'Vec":
tores libres o simplemente vectores, de la 'misma longitud y sen-
tido, pero que pueden trasladarse fuera de sus rectas. Un 'Vector
. 1 x y 1 I
deslizante, determinado por la matriz 1 11 o por los
. X
2
Y2 1 .
deierminantes X, Y, N, es, por consiguiente;' la primera forma
geomtrica) elemental que o bienemos en ~ l r t u del principio de
Grassmann.
Es digno de observarse, que las magnitudes X e Y, determi-
nan un vector libre, por ser invariables en toda traslacin para-
lela del segmento. Anlogamente, las dos magnitudes expresa-
das por las razones X: Y : N, slo determinan una recta ilimi-
tada, y no la longitud de un segmento. Existe, pues, cierta co-
rrelacin entre la recta ilimitada y el vector libre, sobre la cual
insistiremos ms adelante.
Estas ideas juegan un importantsimo papel en Esttica; ha-
biendo sido empleadas hace ya tiempo, aunque en una forma ms
emprica. En la Esttica de los sistemas planos rgidos, un vec-
tor puede considerarse cama la representacin geomtrica de
una fuerza cuyo punto de aplicacin puede, en virtud de la ri-
gidez del' cuerpo, variar a lo largo de la direccin en que la
fuerza se aplica. As se ha representado en la figura 32 una fuer-
za como ha sido costumbre en Mecnica: corno ejemplo de la
manera con que se daba vida a los conceptos en la Mecnica an-
tigua, digamos que en la lnea 12 representativa de una cuerda,
siempre se pona una mano que pareca estirar en el senti-
do 21 (*).
X e Y reciben el nombre de componentes de la fuerza y N
(*) Vase p. ej. las lminas de TTarignon, Nouvelle mcanique ou sta-
tique'. Pars, 1775,
3
-:34-
el de momento, respecto del punto O ; pues de la ecuacin de la
recta, se deduce que su distancia al origen O es p= N
VX2+Y2
luego, N es, en efecto, el producto de la distancia al origen por
la longitud del segmento . X
2
,.+ Y2, es decir, la intensidad de
la fuerza.
Los tres nmeros X, Y, N, se llaman coordenadas de la fuer-
za. La definicin analtica da para cada una de ellas (y esto es
Figura 32
esencial), un determinado signo, que, naturalmente, tiene su sig-
nificacin geomtrica.
Por razones de simetra en las frmulas, nos hemos apartado
en la determinacin del signo del momento de lo usual en Me-
cnica, que es utilizar los determinantes formados por las coor-
denadas del punto 2 y las X, Y del vector libre, en esta forma:
1
X2 Y21\ X2 Y2 I
X Y = Xl ~ X
2
Yl - Y2 '
lo cual da para N, un signo contrario al obtenido anteriormente,
pequea diferencia que carece de importancia una vez advertida.
El primer problema que se presenta en la Mecnica de los s-
lidos, es hallar la resultante de un sistema arbitrario de fuerzas
Xi' .Y;, Ni (i=1, 2, ... , n) 10 que analticamente. equivale a formar
el vector deslizante. que tenga por coordenadas.
i=:n i=-=n i=n
~ X i
~
:y;
y
~
i=! i=! i=l
La Esttica grfica resuelve el problema de un modo muy
elegante, utilizando para dos fuerzas el conocido mtodo del
parrilelogramo, y para ms de dos, el polgono de fuerzas y el
~ 35-
poligono funicular, con 10 cual se obtiene generalmente un vector
nico como resultante de un sistema de fuerzas. A veces, sin em-
bargo, hay excepciones; como, por ejemplo, en el caso de que el
sistema est constitudo por dos fuerzas paralelas, iguales y de senti-
dos contrarios, de coordenadas X, Y, NI Y ~ - Y, N2(N1:f::N2)
la resultante tiene entonces por componentes 0, y, N1+N
2
, n-
meros que, evidentemente, no pueden ser coordenadas de nin-
gn vector. En este caso, la Mecnica elemental nc puede hacer
nada, y 10 acepta como un elemento irreducible, que denomina
par die fuerzas que influye desfavorablemente en la sencillez y
generalidad de los teoremas. Esta aparente excepcin puede, sin
embargo, ser inc1uda en nuestro sistema, aplicando de un rnodo
puramente formal las frmulas anteriormente obtenidas, a las
componentes O, 0, NI +N2 de las fuerzas, C011 lo cual se obtie-
ne como intensidad de la resultante . 0
2'.+02=0,
Y como dis-
'1' P N
1
+N
2
Ah' bi , 1 laci ,
rancia a ongen,= --'-0--=00. ora len, SI a anu acron
de la distancia de una fuerza al origen, y la infinitud de su
distancia, devienen de tal manera que el momento p . .X 2" +y2 se
conserva finito, se est en el caso del par de fuerzas y, por tan-
to, se puede considerar la resultante 0, 0, NI +N 2 de un 'par de
fuerzas, como una fuerza infinitamente lejana, de intensidad in-
finitamente pequea y de momento finito. Esta ficcin, en cierto
modo correlativa con la consideracin de los elementos del infi-
nito en la Geometra, es sumamente til Yo cmoda en la Cien-
cia. Por de pronto, el concepto de fuerza, ampliado de este modo,
permite enunciar el siguiente teorema, que carece de excepcio-
nes: Todo sistema de un wmero cualquiera de fuerzas, que ac-
tan en un plano, tiene siempre una resultante; mientras que en
las exposiciones elementales siempre hay que indicar la excepcin
del par de fuerzas. Con objeto de completar este estudio, vamos
a aplicar a las magnitudes elementales que nos ocupan, las trans-
formaciones del sistema de coordenadas rectangulares. Las fr-
mulas-que 'permiten efectuar estas transformaciones son, como es
sabido, las cuatro siguientes:
1. Traslacin paralela:
(Al) ~ fK!' = x +a
{ y' = y +b
-36 -
2. Giro de amplitud p:
(A.) 1 x::::;: xcos cp+ y sen
- 1 y:::;:-xsen p+y cos ';;
3. Simetra respecto del eje x :
4. Cam bio de unidad:
x' - 't:o:
El producto (*) de estas cuatro clases de transformaciones
para todos los valores posibles de los parmetros a, b, p, )" da
las ecuaciones generales del' cambio de ejes de coordenadas, con
cambio simultneo de la unidad. Si se multiplican nicamente
todos los giros y traslaciones posibles, se obtienen todos los mO-
imientos del primitivo sistema de ejes sobre su plano. El siste-
ma de todas estas transformaciones forma un grupo; es decir,
el producto de dos cualesquiera de ellas es otra transformacin
del mismo sistema, y la inversa de cada transformacin tambin
pertenece al grupo.
Las cuatro transformaciones (A), de las cuales resultan to-
das las dems, se llaman fundamentales o generatrices del grupo.
Antes de examinar la influencia que tienen estas transforma-
ciones en los determinantes X, Y, N, es conveniente enunciar
dos princip'ios generales, que desde ahora quisiera hacer resaltar;
y aunque acaso no aparezcan con toda la claridad apetecible al
enunciarlos de manera tan general, su aplicacin a casos concre-
tos har desaparecer todo motivo de confusin. El primero dice,
que iodaa las propiedades geomtricas de las iigueas deben ser
expresadas por medio di! frmulas que permanezcan inmariables
en toda transformacin de coordenadas, esto es, las coordenadas
de todos los puntos de la figura, satisfacen simultneamente a
una de estas transformaciones.
El segundo principio es el recproco del anterior, y dice que,
(*) Producto de transforrnacicnes, es la transformacin que sustituye a
la aplicacin sucesiva de aqullas.
X'1=x1+a,
y'1=Y1[+ b,
- 37-
toda frmula inniariante en el grupo .de las transformaciones de
coordenadas, expresa. una propiedad geomtrica de la figra.
Como ejemplos, los ms sencillos que pueden proponerse, re-
cordemos simplemente las expresiones de la distancia entre dos
puntos y del ngulo de dos rectas; de stas y muchas otras fr-
mulas semejantes, haremos uso constante. Para aclarar ms, fij-
monos en un caso muy trivial para frmulas no invariantes:
la ecuacin y=. para la figura formada por un punto (x, y) del
plano, expresa que este punto est en el eje x, el cual es real-
mente arbitrario, completamente extrao a la esencia misma de
la figura, y cuyo uso no tiene otro alcance que la comodidad en
la descripcin. As toda ecuacin no invariante representa una
cierta relacin de la figura con entes exteriores, libremente aa-
didos, en particular el sistema de coordenadas, pero nunca pro-
piedades geomtricas.
El segundo ,principio se refiere a los sistemas de magnitudes
analticas, que estn formadas por las coordenadas de varios
puntos, 1, 2, .... ; por ejemplo, las tres magnitudes X, Y, N, que
venimos considerando. Si este sistema tiene la propiedad de
transjormarse en s mismo. de una m,,anera determinada, en to-
das nuestras transformaciones de coordenadas, es decir, que el
sistema de magnitudes formado de la misma manera con las
nuevas coordenadas de los puntos 1, 2, .. o se expresan en fun-
cin nicamente de magnitudes formadas con las coordenadas
antiguas (sin que hayan de intervenir los valores de estas coor-
denadas) diremos que define una nue'va. figura geomtrica, es
decir, una figura in.dependiente die 1 sistema de coordenadas " y
clasificaremos todas las expresiones anallticas, atendiendo pre-
cisamente a la manera de comportarse en las transformaciones
de coordenadas, y tomaremos, por definicin, como figuras geo-
mtricas equivalentes, es decir. de la misma especie, dos series
de expresiones que se translormen: de la: misma manera.
Apliquemos todo .esto al material proporcionado por las mag-
nitudes elementales de Grassmann ,
Aplicando a los puntos (xl' Yl) y (X
2,
Y2) extremos de un vec-
tor la primera transformacin o traslacin paralela (A 1) se ob-
tiene:
-38-
La:; coordenadas del vector, antes y despus de la transfor-
macin, son:
X'=X
1
-x
2
,
X"=X'l - X'2'
de donde resulta:
Y=YI -Y
2
, \i =x
1
Y
2
x
2
YI
Y"=y'1-y'2'.
Anlogamente se obtiene como frmulas de transformacin:
2. Para el giro (A
2
) :
l
X== Xcos rp!,+ y sen 'f
(B2) Y'.= - X sen 0/'+ Y cos
N'= N
3. Para la simetra (Aa):
X'= X
(Es)
N'=-N
4. Para el cambio de escala :
, j' X' - A. X
(Bj,) Y' = 1. Y
\ N' = i,2 N
En estas ltimas frmulas aparece por primera vez lo que en
Fsica se llama dimensin; es decir, el exponente de la poten-
cia de ).. por quien hay que multiplicar X, Y, N. Las dos pri-
meras coordenadas, tienen la dimensin 1 de una lnea; N, en
cambio, -tiene la dimensin 2 de una superficie.
Observando los cuatro grupos de frmulas, se ve que el vec-
tor definido por os determinantes X, Y, N, satisface a la de-
finicin general que hemos dado de m.agnitudes geomtricas,
puesto que las nuevas coordenadas X', Y', N' estn 'expresadas
en funcin nicamente de las antiguas.
J.
/i-
2

Fijndonos, ms particularmente, en slo las dos primeras
ecuaciones, vemos que en ellas no interviene para nada N,. las
dos primeras coordenadas X', Y' del vector en el nuevo sistema
coordenado slo dependen, pues, de los valores primitivos X, Y
de estas coordenadas )'1 no varan en las traslaciones paralelas, y
en las otras transformaciones estn con las X' e Y' en las mismas
relaciones que las coordenadas primitivas de un punto x, y con
las nuevas x', y'. Con arreglo al segundo principio, podemos,
pues, decir que las coordenadas X, Y, determinan figura
geomtrica independiente de los ejes, figura que, anteriormente
hemos visto, es el 'Vector libre. . .
Dividiendo cada dos frmulas consecutivas de cada grupo,
resulta "que por ser X', Y', N' funciones lineales homogneas de
X, Y,' N, las razones X': Y': N' dependen nicamente de las
X: Y: N. I;:1l0 significa que estas razones X: Y: N, determi- _
nan tambin, independientemente de los valores de las canti-
dades que las forman, una figura geomtrica que no depende de-
los ejes de coordienadas; y, en efecto, ya antes hemos visto que
determinan la recta ilimitada 12.
Aplicando las frmulas (B) al caso particular del par de fuer-
zas en el que X= Y=O, se obtienen, naturalmente, YbO
y 'para N' los siguientes valores, correspondientes a aquellas
frmulas:
(C
l
) N' == N
(C
2
) N'=;=: N
(Ca) N'=-N
(C
4
) N' =.)..2 N
Llamando in'Variante a toda magnitud que en las, operaciones
de Un grupo de transformaciones queda, a 10' sumo, multiplica-
da por un factor, y clasificando los invariantes en absolutos y
relatiuos, segn que este factor sea o no. la unidad, las cuatro
frmulas (C) pueden condensarse en este enunciado : El momen-
to de U11; par de fuerzas, es un in'Va7'ianterelati'Vo en el grupo de
las transformaciones de coordenadas rectangulares de un plano.
Consideremos, ahora, el rea d un tringulo
Xl Yl 1.
X2 Y2 1.
:1'3 Y3 1.
-40 ~ .
Aplicando las frmulas (A) de transformacin, resulta, te-
niendo en cuenta elementales propiedades de los determinantes,
(DI) 6,'= ~
(D
2
) 6,'=6,
(Da) 6,':=: - 6,
D ~ 6,'=X
26,
lo que, por otra parte, es fcil de deducir geomtricamente. Es-
tas frmulas, 10 mismo que las (C) expresan que el rea dre un
tringul.o, y, por tanto, cualquier rea (puesto que puede conside-
rarse como suma de tringulos) se coniporia en toda transforma-
cin de coordenadas, exactamente como el momento de. 1m par
de fuerzas. Se puede, por consiguiente, con arreglo al segundo
principio general antes enunciado, considerar ambas magnitudes.
como geomtricamente equivalentes y precisar el sentido de esto
de la siguiente manera: Si tenemos en el plano un par cualquie-
ra de fuerzas con el 'momento J.V y definimos un rea de trin-
gulo 6.=N, en toda transformacin de coordenadas subsiste
esta igualdad, es decir, 'podemos representar geomtricamente el
momento de un par de fuerzas por el rea de un tringulo o de
un paralelgramo o de cualquier otra figura independientemente
de la posicin de los ejes de coordenadas.
111. El Principio de Grassmann en el espacio
Anlogamente a como hemos hecho en el plano, considere-
mos las cuatro matrices formadas por las coordenadas de 1, 2,
3 4 puntos, respectivamente, y el nmero 1
11
Xl Yl
Zl 1
IXl
Yl
Zl
:1 '
Xl Yl 2'1
1. I X2 Y2 2'2
IXl Yl 2'1 11
, X
2
X2
Y2
Z2
~ I '
1.
Y2 2'2 Xs Ya 2's
X
s Ys
Zs
Xi Y4 Z4 1
Los determinantes que se obtienen de la primera matriz son las
coordenadas del punto y no ofrecen, por lo tanto, ningn nuevo
inters. El de la ltima matriz es, como se sabe, igual al sxtuplo
del volumen del tetraedro (1, 2, 3, 4) que atendiendo a denomi-
- 41-
naciones que luego utilizaremos, llamaremos eleniero espacial,
y que puede considerarse simplemente como volumen del para-
leleppedo que tenga por aristas 41, 42, 43 que Crassmann lla-
maba espato, tomando esta palabra de la Mineraloga (espato
calizo, espato [luor, etc.)
La, segunda y la tercera matriz dan origen a las 'nuevas figu-
ras .. La matriz de dos filas, representa el conjunto de los seis
Figura 33
determinantes de segundo orden siguientes, que resultan de 1:1
supresin de cada par de columnas:
(1) \ X=x -x
2,
Y=Y-Y2' Z.=z-z;,
L=yz; - Y2Zl' 111=zx
2
-Z2X, IV =XY2 - x
2Y
;
-
anlogamente la tercera' matriz, representa estos cuatro deter-
minanies de tercer orden:
\
Yl
Zl 1 Zl Xl 1
l=
Y2
Z2 1
, Jlt =
Z2 X
2
1
(2)
Ya
Zg 1 Z: x
a
1
I
Xl Yt
1 Xl Yl 2'1
n= X
2 Y2
1 p= -
X2 Y2
.Z2
X
a v
1 Xa Ya Z3
De las consideraciones relativas al plano, puede fcilmente
deducirse que X, Y, Z representan las proyecciones del segmen-
to 21, sobre los ejes, y L, Al, 1'1 los duplos de las proyecciones
del tringulo O 12 (tornado precisamente en este sentido), sobre
los planos coordenados. Todas estas cantidades permanecen in-
variables, cuando el segmento 12 se mueve a lo largo de su mis-
ma recta conservando su longitud, luego, en conjunto, representa
10 oue llamaremos Un vector en el espacio. Las X, Y, Z perrna-
-42 -
necen adems invariables cuando el vector se mueve paralela-
mente a s mismo y, por. consiguiente, representan por s solas
un vector libre. Asimismo, las cinco razones X : Y: ... : N, que,
nc varan aunque cambien el sentido y la longitud del vector
Figura
sobre su misma recta, pueden considerarse como representantes
de la recta (12) indefinida.
Los cuatro determinantes (2) determinan, en primer lugar, el
plano de los tres puntos 1, 2, 3, puesto que su ecuacin:
x y Z 1
1=0
Xl YI Zl 1
X2 Y2
2
2
1
I X3 Y; Z3 1
'puede evidentemente escribirse en' la forma:
lx+my+nz.+p=O
pudiendo observarse tambin que las razones 1: 111,: n: p de-
terminan el plano ilimitado.
1, 1n y n son las proyecciones del tringulo (1, 2, 3) to-
mado siempre en este sentido, sobre los planos coordenados y
p el sxtuplo del volumen del tetraedro (O, 1, 2, 3), con el signo
correspondiente a este orden de sucesin de los vrtices. La con-
dicin necesaria' y suficiente para que estas cuatro cantidades se
conserven invariables en todos los movimientos del tringulo
(1, 2, 3) en su plano, es que tanto el rea CO'11W el sentido de di-
cho tringulo permanezcan fijos. As queda definido un tringu-
lo movible Con las restricciones indicadas, el cual fu llamado por
Grassmann elemento plano o magnitud o rea plana
-43-
Las tres primeras coordenadas l. m, n permanecen adems in-
variables, cuando el plano se mueve paralelamente a s mismo,
luego determinan por su parte un tringulo susceptible de mo-
verse en estas condiciones, llamado por Grassmann rea plarna
libre (freie Plangrosse),
Volviendo a ocuparnos del vector, observaremos en primer
lugar, que su posicin en el espacio queda determinada por cin-
CQ parmetros, pues aunque las coordenadas de sus extremos
son seis, uno de ellos slo puede moverse libremente sobre una
recta. Las seis coordenadas del vector X; Y, Z, L, M, N, no
pueden pues, ser independientes entre s, sino que tendrn que
satisfacer a alguna condicin. Para investigar cul ha de ser
sta, consideremos el determinante
Xl Yl
Zl 1
Y2
Z2 1
Xl Y1 Zl 1
X2 Y2
Z2 1
=0
evidentemente nulo por tener dos filas iguales. Desarrollndolo
por menores complementarios formados con las dos primeras
ylas dos ltimas filas, se obtiene, corno primer sumando, el for-
mado por el producto de los dos menores de segundo orden in-
dicados por las lneas de puntos, producto que es igual a NZ,
COmO es fcil comprobar. Procediendo de este modo, se obtiene
como valor total del determinante, 2 (NZ',+ MY+LX), Y pue-
de, por consiguiente, escribirse la identidad
X.L+Y.Af+Z.N=Oj (3)
que expresa la condicin a que han de satisfacer las coordena-
das de todo vector.
Se puede ver fcilmente que la condicin (3) entre las seis
magnitudes es suficiente para que stas determinen un vector
como coordenadas del mismo, segn las frmulas (1).
Pasemos, ahora, a la aplicacin de este concepto a la Jle-
canica.
-44-
Aqu, lomismo que en el plano, un ".eCtor representa -la lnea
de aplicacin, la magnitu-d: y el sentido de una fuerza aplicada a
un cuerpo rgido de tres dimensiones; X, Y, Z son las
nentes de la fuerza- en direccin de los ejes coordenados; y L, lVI ,
N los momentos respecto de estos. Las tres componentes X, Y, Z
determinan, adems de la magnitud, la direccin de la fuerza
y del vector, cuyos cosenos directores estn en las razones
X: Y: Z; la fuerza (o el vector) se obtiene como diagonal del
paraleleppedo 'cuyas aristas, situadas sobre los ejes coordenados,
son X, Y, Z. Mediante anloga construccin, las tres magnitu-
des L, Al, N, determinan una direccin, la direccin del eje del
momento resultante. En cuanto a la condicin (3) a que deben
satisfacer las coordenadas, significa, segn una conocida frmu-
la de Geometra, que la direccin de la fuerza debe ser perpen-
dicular al1 eje del momento resultante.
El par de fuerzas, lo mismo tambin que en el plano, resulta
de la consideracin del caso lmite -, en que X Y=z.=sin
que L, 1.'1, N sean todos nulos, es decir, que se puede considerar
como una fuerza infinitamente lejana y de intensidad infinita-
mente pequea, cuyomonwnto permanezca finito.
La teora elemental elude esta forma de expresin y conside-
ra el par de fuerzas COIT\O el conjunto de dos fuerzas iguales, pa-
ralelas y de sentidos contrarios que actan en rectas diferentes:
X, Y, Z, L
Il
N Y - X, - Y, --Z, L
2
, AI
2
, N
2
, cuya suma
da, en efecto, las magnitudes 0,0,0, L
1;+L2
, MI +M
2
, N
1
+ N
2
,
conforme a ID dicho,
Veamos ahora lo que se refiere a la com-posicin de un siste-
ma de fuerzas cualesquiera, que actan sobre un slido:
Xi' Yj , Z, L; Mi, Ni (i
l
= l , 2,- ... , n)
Este problema que en los tratados elementales de Mecnica
da lugar a largas y enojosas disquisiciones, por no usar las re-
glas de los signos, puede aqu ser resuelto inmediatamente
efectuando las sumas:

1=1
x=n
. ,,-,.
A = j;", L, ,
1=1

H=l:y
';=1

M= l:M,
1=1
:r=n
z= l:Z
';=1
N = l:ZV
';=1
- 45-
que proporcionan las seis coordenadas del sistema de fuerzas,
0, utilizando una denominacin introducida por Plcker, coor-
denadas de la dinamia, Estas coordenadas son como antes, de
dos clases, a saber: las tres corn.ponenies a lo largo de los efes, y
los tres momentos respecto de ellos.
Los sistemas de fuerzas en el espacio presentan una notable
diferencia con los planos, que consiste en que esta dinamia no
ser, en general, una fuerza nica, pues ias seis coordenadas no
satisfarn, en general, a la condicin:
'fE,.A,+lI.M+Z.N=O
Resulta, pues, que un sistema de fuerzas aplicadas L un s-
lido no se reduce necesariamente a una fuerza ("),
Para tener idea ms concreta de lo que es un torso!", veamos
la manera de representarlo intuitivamente como resultante del
menor nmero posible de fuerzas. La exposicin clsica de esta
cuestin, es la de Poinsoi; quien demostr por primera vez en
sus Elements d/Estatique (1804) que un torsor puede conside-
rarse corno resultante de una fuerza y un par de fuerzas,cuyo
efe, llamado efe central del torso r, es paraleto a la direccin
de aquella fuerza, pudiendo efectuarse esta descomposicin de
un modio nico. El eje central del torsor se denomina tambin
eje central de Poinsot,
Para demostrar este teorema, observemos que la fuerza resul-
tante, prescindiendo del par, ha de tener por componentes
:.=;, H, Z y como ha de ser paralela al eje del par, los momentos
de ste tienen que ser proporcionales a 2., H, Z. Las coordena-
das del par, son, pues:
0, 0, 0, h. 2" k. H, h. Z,
donde h es un parmetro, por el pronto indeterminado,
Suponiendo que el torsor claclo 2" H, Z, A, :V1, N, se corn-
pone del precedente par y de una fuerza, las cordenadas de sta
debern ser:
(") L 1 ' " ' E - d ' t ti
-, a nenorrnnacron cornente en spana, e estos Sistemas que no rencn
resultante nica es la de iorsor ; el autor utiliza la de dinamia, (N, del T.)
46
S, H, Z, A-k.'J=" M-k.H, N-kZ
diferencas entre 'las del torsor y las del par. El teorema estar,
pues, demostrado, si se consigue determinar k de tal modo que
estas coordenadas representen efectivamente una fuerza. Para
ello es necesario y suficiente que satisfagan a la condicin (3) ;
es decir, que sea
S (A-k. 'J=,)+H(M - k. H).+Z (X -l. Z)=O,
para lo cual es necesario y suficiente que se verifique
k= 8A+HM+ZN
8
2
+H2 + Z2
expresion que da un valor bien determinado, ya que siempre
puede suponerse que el denominador no es nulo, pues si lo fue-
se, el torsor quedara reducido a un par.
Dando a k .este valor llamado por Plicker pa.rmetro d la di-
namia, el torsor queda descompuesto en una fuerza y un par,
como quera demostrarse. Por ser nico el valor del parme-
Figura 35
,
tro k, la descomposicin no puede tampoco efectuarse ms que
de un solo modo.
Para el estudio de la representacin geomtrica de esta des-
composicin, conviene recordar un problema resuelto por Mo-
bius en su Lehrbuch des Siatih. (*) que puede enunciarse as:
determinas el sistema de ejes, respecto de los cuales e{ momento
(*) Leipzig, 1887. Werke III (Leipzig, 1886).
I
- 47-
de un torsor es nulo. Las denominaciones adoptadas por Mbius
son ejes nulos y sistema nulo
Sean dos vectores (1, 2) Y (1', 2') en el espacio (fig. 35); el
tetraedro que tiene por vrtices sus extremos, es de volumen
Xl Yl Zl 1
1 X
2 Y2
Z:2 1
-
6
x\ Y'l Z'l 1
X'2 y'2 Z'2 1
Desarrollando este determinante por menores complementa-
rios de segundo orden, relativos a las dos primeras y dos lti-
mas filas, resulta
..L (XL' +YM' +ZN' +LX'+l1:lY' +NZ')
6' . .
donde X', "', N' representan las coordenadas del vector (1', 2').
La expresin
XL'.+ YJ\!F+ZN'+ LX'.+ 1I1Y'+ NZ',
combinacin bilineal de las coordenadas de los dos vectores, re-
cibe el nombre de momento de un vector respecto del otro, y es,
como se ve, igual a seis eces el ssolwmen. del tetraedro que tiene
por rtices los extremos de ambos vectores e independiente,
por lo tanto, de la posicin de los ejes de coordenadas.
Si r, r' son las longitudes de los dos vectores, c;> su ngulo y
p su mnima distancia, el momento es igual r . r', p . sen p (pres-
cindiendo del signo de ep). !
Sea ahora, en lugar del vector (1, 2), una recta ilimitada. En-
tenderemos por. momento del vector (1', 2'),' respecto de esta
recta, su momento respecto de un vector de longitud 1, situado
sobre ella, o sea, r'p sen p. Este resultado puede obtenerse
bin, dividiendo la precedente expresin por T= 1./ X2+ Y2.+Z2j
de modo que el momento de un. X', Y', Z', L',l\I', N'
respecto a la recta ilimitada del 'vector X, Y, Z, L, M, N, puede
tambin expresarse as:
C'i) En Espaa es ms corriente la denominacin de sisiem focal.
(N. del T.)
- 48-
XL' + YM' -1-- NZ' + LX' + MY'+NZ'
I + yi+
Este valor depende solamente de las razones de las seis can-
tidades X, Y, ... , N Y de su signo comn; es decir, queda com-
pletamente determinado cuando se da la recta ilimitada y un
sentido sobre ella, y es laque en Mecnica recibe el nombre
de momento de la fuerza que el vector representa respecto de la
recta considerada como eje. /
El valor del momento o momento de giro de un torso r pue-
de obtenerse sumando los momentos de las fuerzas que le com-
ponen, con lo cual se obtiene
l=n .1.L',: + YL' + ZM' + LX'i + MY' +' J.VZ'
I VX2 + Y2 +Z2 I
XA -1- Y.M + Z.N -+- L.a -1- L.H + N.Z
IVX + Y2 + Z2 I
Haciendo coincidir sucesivamente la recta indefinida de
X, ... , N con los tres ejes positivos, esta expresin toma los
valores A, M, N, 10 que justifica la denominacin antes dada
a estas tres magnitudes.
Ahora podemos ya examinar la cuestin planteada por :\i-
bius. La condicin para que este momento sea nulo respecto de
la recta X: Y: ... : N, es
AX.+ lVIY+ NZ+ NZ=(l
y, por lo tanto, el conjunto de las rectas X :Y : ... : N represen-
tadas por esta ecuacin constituye el sistema focal. del iorsor, Esta
ecuacin es la ecuacin lineal homognea ms general entre las
seis magnitudes X, ... , N, puesto que los coeficientes A, ...., Z,
como coordenadas de un torsor, pueden ser seis 'magnitudes arbi-
trarias. Estos conjuntos de rectas, definidos por unaecuacin 'li-
neal homognea arbitraria fueron ya estudiados por Pliicker
con Mobius, fu el investigador y creador ms profundo
del siglo XIX en Geometra analtica-e-quien los denomin co:m.-
- 49-
pIejos lineales. AS, pues, el: sistema jacal de Miioiu es exacta-
mente el mismo que el complejo de Plcker.
La representacin sensible de un complejo lineal no puede ser
una figura geomtrica, en el sentido estricto de la palabra, puesto
que recubren el espacio infin itas veces las rectas focales (").
Sin embargo, es muy fcil comprender cmo estn agrupadas.
Para ello tomemos los ejes coordenados en la poscin ms c-
moda, lo que se logra escogiendo para eje z el central del tor-
sor, con lo cual 'cuatro coordenadas de ste, S" H, A, M., se
anulan, y 111 Y N representan entonces, respectivamente, la in-
tensidad de la fuerza y el momento de giro del par que compo-
nen el torsor, y el parmetro k toma el varar
8 .A+ HM +ZN N
lc= =-
8
2
+ H2+Z2 Z
La ecuacin del complejo -lineal en el nuevo sistema de coor-
denadas es
NZ+ZN=O
que dividida por Z da
kZ,+N=O (1)
Para discutir esta nueva forma, supongamos que PI (xv Yl' Zl)
y P
2
(x
2
, Y
2
, Z2) son dos puntos de una de las directrices X: Y:
: Z : L :, 111 : N del sistema focal; en este caso, Z = Zl Z2 Y
N=X
1Y2
- - X
2YI'
y la frmula (1) da para las vcoordenadas de
cada dos puntos de una recta del sistema focal, la condicin
(2)
Si suponemos ahora fijo el punto E
2
, la ecuacion (2) debe
satisfacerse por las coordenadas de todos los puntos El que es-
tn con el E
2
en una misma recta del sistema focal.
Llamando, para 'mayorcJaridad, x, y, z, a las coordenadas'
(lf,) A estas rectas, llamadas rectas nulas por Mbius, y directrices por
Staud, las desig'paremos con esta ltima denominacin y tambin con
la de rectas [ocalc, de acuerdo con la del sistema que forman. (N. del T.)
4
~ 50 ~
del punto variable PI> obtenemos para lugar de estos puntos,
el plano
(2')
que pasa por el punto P
2
, puesto que esta ecuacin se satisface
para x.=x
2,
Y'=Y
2'
Z=Z2'
Con esto queda demostrado que todas las directrices del sis-
tema focal que pasan por un p.unto P 2 del espacio, forman un
haz de rectas de vrtice P
2
y plano (2'). Falta solamente, hacer
ver con una imagen sensible la posicin de los planos focales
correspondientes a los puntos P
2

Las dos expresiones N.=X
1Y2-Y1X2,
Z=Zl-Z2 que intervie-
nen en la ecuacin (2) tienen la propiedad de ser invariantes en
todas las traslaciones paralelas al eje z y en todos los giros al-
rededor de este mismo eje. Esto se comprueba Icilmente, ob-
servando que las traslaciones no afectan a las coordenadas x, y,
sino solamente a las z, pero sin que la diferencia ::\ - Z2 vare;
anlogamente los giros no afectan a las z, y s a las x,. y, pero
el rea N.=X
1
Y
2
......J Y
1X2
' gira con el plano xy permaneciendo in:
variable en magnitud. Puede por consiguiente afirmarse, que
el sistema focal representado por la ecuacion. (2) se transforma
en s mismo por todos los giros alrededor del eje central (que es
el eje z) y por iodos las traslaciones paralelas a este eje.
Esta proposicin facilita extraordinariamente la representa-
Figura 36
cin geomtrica, pues bastar ya conocer la posicin de los p l l w ~
focales correspondientes a los puntos del semieje x, para tener
los correspondientes a todos los puntos del espacio, ya que por
- ;31-
medio de giros alrededor del eje z y traslaciones paralelas al
mismo, del semieje ce, puede hacrsele pasar por cualquier pun-
to. En otros trminos, los planos focal es de los p untos ale toda
semirrecta perpendicular al eje central, tienen respecto a ste y
a la semirrecta, una 'pasicion independiente del rayo elegido,
Limitndonos, pues, a los puntos del semieje x, basta hacer
Y2 =Z2 =0 en (2'), con lo cual se obtiene:
'como ecuacin del plano focal correspondiente al punto de abs-
cisa x
2
'
Corno esta ecuacin se satisface para y=z.=O, el plano pasa
z
Figura 37
por el veje x.. El ngulo? que forma con el plano xy, resulta
inmediatamente escribiendo la ecuacin en la forma:
~ = T
Y k
de donde
Xo
tg? = --.
k
Este resultado puede expresarse indeccndientemenre del sis-
tema de coordenadas, diciendo que a todos jos' truntc : cuya dis-
tancia al eje central, supuesto 'j)ertic:ll, es 1', corresponden en e:
sistema [ocal. planos que pasan p,or las perpendiculares trazadas
por ellos a dicho. eje central, siendo la tangente del ngulo que
r
cada uno de estos planos forma con el horizontal, --. Por con-
, k
siguiente, si el punto Se mueve sobre una semirrecta perpen-
dicular al eje central, el plano focal correspondiente, comienza
por ser horizontal para el valor .::;.=0, y su inclinacin va aumen-
tanda constantemente en uno u otro sentido (seg1l1 que sea h ~ m,
al mismo tiempo que aumenta s, teniendo como posicin asint-
- 52-
tica la vertical. Este movimiento puede ser comprendido fcil-
mente utilizando un modelo de Sehilling, que se COmpone (fig\l-
ra 38), de una barra vertical que representa el eje central, y otra
perpendicu;ar a ella y susceptible, tanto de girar alrededor de
aqulla, como de trasladarse .a lo largo de la misma. Esta se-
gunda barra lleva adaptada una hoja plana, 'que movida hacia
Figura 38
afuera, toma automticamente por medio de una rosca, la incli-
nacin exacta que da la frmula.
Consideremos, ahora, la normal al plano focal en el pun-
to P2' Sus cosenos directores, estn evidentemente en la misma
razn que los coeficientes de la ecuacin del plano (2'), es decir,
en la razn:
(3)
Podemos imaginar tambin) asociada al punto P2 esta direc-
cin, corno direccin de un mouimienlo helicoia! infinitam.ente
pequeo del espacio. En efecto, si se considera el espacio entero
cmo un cuerpo rgido y simultneamente se le hace girar un
ngulo finito l alrededor de z y trasladarse una longitud e para"-
lelamente a' z, las coordenadas de un punto x, y, a, se convrer-
ten en
X'=IXCOSl-y sen l
y'=x sen t,) +y COS tu
Z",=Z:,+C
- 53-
Si el movimiento es infinitesimal, la .arnplitud de su giro es
- dw (el signo menos indica que el movimiento es sinistrorsum
para k>O), y la cuanta de su traslacin es k dw. Despre-
ciando los infinitamente pequeos de segundo o mayor orden,
se podr ponercos dw = 1, sen d1w, = dne, y por consiguiente:
x\=x+y dw
y':=
z'=z+k dw.
Segn esto, los incrementos de las coordenadas de un punto
P2 son
es decir, el punto se mueve en la direccin:
Las razones del segundo miembro de esta son las
mismas (3) en que estn los cosenos directores de la normal al
plano focal. Puede, pues, concluirse, que si el espacio toma un
msnnmiento helicoidui infinitamente pequeo, alrededor del eje
central, de tal modo que su traslacin sea igual a k '1Jeces su n-
gulo de giro (Lomado negativamente), se verifica que el plano
focal correspondiente a cada punto, es normal a la trayectoria
de ste.
Como esta idea del movimiento helicoidal es muy intuitiva,
se obtiene con ella una imagen muy viva de la disposicin de
los planos del sistema focal. As, cuanto mayor sea la distancia
r de un punto al eje central, tanto mayor es la proyeccin hori-
zontal rdlw del elemento de arco que describe en el movimiento
helicoidal, tanto ms achatado es, por tanto, este mismo arco,
pues 'su altura k. dw es constante y tanto ms levantado el pla-
no focal, perpendicular al elemento de arco.
Sumando infinitos de estos movimientos, resulta un movi-
miento continuo helicoidal del espacio, en el cual, todo punto de
distancia r al eje describe una, hlice cuya incl inacin , respecto de
k
la horizontal, tiene por tangente , y cuyo paso tiene el va-
l'
-54 -
lar 21<7':, independiente de r. Los planos normales a es/a hlice
son los planos focales del sistema.
Para obtener la rep reseniacin geomtrica de las directrices
del sistema, llamemos g a una de ellas, y construyamos su mni-
ma distancia al eje central (fig. 39), es decir, el segmento que cor-
ta perpendicularmente al eje en O y a g en P. Segn lo
dicho anteriormente el plano focal correspondiente al pun-
to' P, pasa' por esta perpendicular () P al eje y est de-
terminado por ella y la directriz g; ahora bien, como sta
es perpendicular a OP, debe formar con la horizontal
, T
el mismo ngulo cp que el plano focal, es decir, tg cp = ~ sien-
le
do r'= OP. Segn esto, la directriz correspondiente a cada
punto P de una perpendicuLar a] eje central, es otra per!}e::d:cu-
z
9
Figura 39 Figura 40
lar a la primera traeada fyor P, y que forma con la h.oriaonial un
. r
ngulo cuya tangente es -.
k
Aun pueee concebirse esta construccin de este modo, un
poco ms intuitivo': Construyamos la supe/fileie cilndrica de re-
olucin, de radio r y cuyo eje sea ell eje central; y tracemos en
ella todas las hlices (fig. 40), cuya pendiente respecto del 'plano
horizontal est determinada por tg cp= !:-; entonces, el conjunto
k
die las tangentes a estas hlices es, eeidenternente, l mismo o n ~
junto de las rectas focales cuya distancia al eje central. es r. Ha-
ciendo variar r se obtienen todas las rectas focales. Estas hlices
tienen mayor pendiente a medida que estn ms alejadas del eje
- 55-
central j en cada tilia de sus puntos, el plano focal es osculador
de la hlice, la cual, es p,ar consiguiente, normal a la hlice an-
tes considerada, que corta perpendicularmente al plano focal.
Hechas estas consideraciones, que ponen .de manifiesto una
d6ble conexin del sistema focal con las hlices, se comprende
que esta teora se designe abreviadamente como teora de las h-
lices; esta denominacin ha sido utilizada especialmente por Ro-
ber 'Ball en su Teorie of screws en la que, en efecto, estu-
dia todas las relaciones geomtricas relacionadas con un torsor
dado aplicado a Un slido fijo.
Pasemos ahora, reanudando el curso de nuestra exposicin sis-
temtica, a ver la manera de comportarse las cuatro figuras fun-
damentales obtenidas mediante el principio de Crassrnann en las
transformaciones de coordenadas rectangulares.
IV. Clasificacin de las figuras elementales del espacio aten-
diendo a su comportamiento en las transformaciones de
coordenadas rectangulares
El paso ms general de uno a otro sistema de ejes cartesianos
en el espacio, puede siempre descomponerse en cuatro transfor-
maciones, a saber:
1) Traslacin paralela;
2) Giro alrededor del origen;
3) Simetra;
4) Cambio de unidad.
Las ecuaciones de la traslacio-n v del giro, son, respectiva-
mente:
(Al) x'=X'+a, :v'=y+ b, 5"=Z+ e
1
x'=alx+bS+IClZ
(A2) y:=a
2x+b2y+C2
Z
. ZI=lIP;,+ bay+ CaZ
El conjunto de los productos de todas las 'transformaciones
posibles de estas dos clases constituye la totalidad de los movi-
mientos propios del sistema de coordenadas.
La simeria respecto de uno de los planos coordenados, por
ejemplo, el xy, tiene por ecuaciones:
- 86-
X'=X, y'=y, Z I = ~ Z
Estas mismas frmulas se pueden escribir en forma ms
simtrica, con tres signos negativos:
,
Z\=-z
y representan entonces, la simetra respecto del origen O, que
tambin toma el nombre de inversin C'). En el plano X'i= ~ X
y'= ~ y representan simplemente un giro de 180;' en general,
la inversin respecto del origen, es un giro en Jos espacios de
nmero par de dimensiones y una verdadera simetra(**) en los
de nmero impar de dimensiones.
Finalmente, el cambio de unidad se efecta por medio de
(1)
l
X'I,=f:.X'
y'i:==AY,
Z"=AZ,
donde 1.>0;
(*) La palabra inversin se aplica tambin algunas veces a la transfor-
macin por radios vectores recprocos.
(**) El autor quiere as distinguir como simetras propiamente tales
las que conducen a figuras no superposibles, (N. del T.)
(***) Vase tomo r, pg. 75.
~ 57-
Sea. un punto x, y=O) z=O del antiguo eje x, Sus coorde-
nadas en el nuevo sistema. sern x'=a1x, y'i=a
2x,
z'.=aax;
es decir, que al' a ~ aa son, los cosenos de los angulas que forman
los nuevos ejes con el x del primer sistema. Anlogamente ocu-
rre con bl' i ; b
a
, Y cl' c
2
, Ca, respecto a los ejes y, z .
Estos nueve coeficientes no son- independientes entre s, sino.
que existen entre ellos ciertas relaciones, fciles de obtener de
la interpretacin geomtrica y tambin de la conocida ecuacin:
(2)
que queda satisfecha en toda sustitucin orto gonal ; es decir,
en toda simetra o giro que deje invariable el origen de coor-
denadas. Esta ecuacin no expresa otra cosa que la invariancia
de la distancia del punto al origen.
0:) De (1) y (2), se obtienen las siguientes relaciones en-
tre las nueve cantidades a
ll
... , ca:
(3)
\ a
1
2
+a2
2
+a3
2
= 1, b1
2
+b2
2
+ b3
2
= 1, C1
2
+C2
2
+('3
2
= 1
1b, C1 +b
2
C2 +b
3
C3 = O, C1 al +C2 a2 +C3 a -= 0, al b, +a2 b2 +uha=
(3) Multiplicando las ecuaciones (1) por las tres cantida-
des a, las tres b y las tres e, sumando los resultados y teniendo
en cuenta las tres, resulta:
(4)
1
x=alx'.. +a2Y' +aa z'
y= b
1x'.+,b2
y',.+baz'
Z.= c
1x'l-.-:c2
Y'i+'caz'
que, Cl!1l.0 se ve, es la sustitucin lineal traspuesta de la (1), que
se obtiene cambiando filas por columnas en la matriz de los
cieficien tes).
'() Segn las reglas de la teora de determinantes, la solu-
cin de las ecuaciones (1) es :
1
x' b
l Cl al
b Cl
;'1', = y' b
2
C2' etc., donde tJ. =
a2 b
2
C2
tJ.
z'
ha 1':1 a: ha
r ~
,
3
y, como el coeficiente de x' debe Ser el mismo que en (4), es
preciso que sea:
. lo que nos dice, que todo coeficiente de la sustitucion ortogo-
nal, es igual a su menor complementario en el determinante de
los coeficientes, diuidido por el determinante 6..
e) Para calcular el determinante 6. 'de los coeficientes, for-
memos su cuadrado, que segn la teora de multiplicacin de
determinantes es: .
al
b
l
Cl al
b
l Cl
il2 b
2
C
2 a2 b
2 C2
as b
s
C
s as b
a
. Cs
a1
2
+ a2
2
+ as
2
al b + a2 /'2 +as b
al Cl + a2 C2 + a s C.
b] al -+- b2 a2 +i, as
b1
2
+b2
2
+b3
2
b
l
el + b
2
e2 +b
s
C
s
.
el al -+- C2 il2 +es as
Cl bl + C2 b2 + es bs
C1
2
+C2
2
+cs
2
y aplicando las frmulas (3), resulta:
L\2 =1 ~
O O
1 O =1,
lo O 1
de donde,
~ = 1
Para decidir cul de estos dos valores debe aceptarse, hay
que tener en cuenta que hasta ahora hemos util'izado jsolamen-
te la ecuacin (2), que se satisface, tanto para un giro, como
para una simetra. Dentro de estas transformaciones ortogona-
les, los giros se caracterizan -p or obtenerse por mariacion; con-
tinua de los coeficientes de la transformacin idntica x'.=x,
y'=y, .r;'=s, y las simetras, por una variacin tambin con-
tinua de una inversin x' =: ~ x v'> - y, z'= -z; es decir,
los giros por un movimiento sin solucin de continuidad del
sistema 4,e ejes coordenados, que los lleva de la primera a la
- 59 ~
segunda poslclOn, mientras que, la transformacin inversa no
puede obtenerse de la idntica por un movimiento continuo.
Ahora bien, siendo ~ I determinante una funcin continua de los
coeficientes,' debe variar tambin continuamente al pasar de la
transformacin idntica a un giro cualquiera : pero, en esta
transformacin inicial, tl tiene el valor:
1 O O
O 1 O =+1
O O 1
y, como segn vimos tiene que ,ser' +1 -1, necesariamente
ser + 1, pues, el paso al valor -1 implicara una disconti-
nuidad. Por lo tanto, en todo giro, el determinante de los coefi-
cientes es:
'al b, el
a2 b
2
('2 =+ 1
as b
J
CJ
y, anlogamente resulta que en toda simetra es ~ --1.
La frmula (5), toma as la forma:
(6)
(7)
que expresa que en todo giro, cada coeficiente de la sustitucin
del sistema die, coordenadas reclongulares, es igual a su respec;
tiuo menar complementario- en el determinante tl.
Pasemos ahora, a estudiar cmo influyen estas transforma-
ciones en las magnitudes geomtricas elementales definidas en
el captulo anterior, el vector X, Y, Z, L, M, N, el rea plana
l, m, n, p, y, finalmente, el elemento de espacio T.
La aplicacin de todas las frmulas de transformacin de
coordenadas, requerira largo espacio y enojosos clculos; por
lo cual haremos solamente resaltar algunos puntos que presen-
tan un inters especial. En primer lugar, se observa que las
coordenadas X', Y
I
, Z' de un vector, despus de una transfor-
macin cualquiera, estn expresadas en funcin nicamente
de las coordenadas X, Y, Z antiguas, _ sin que aparez-
- 60-
can las L, 111, N; es decir que segn el principio de Grassmann,
el conjunto die las tres cantidades X, Y, Z, determina
u.na forma geomtrica independiente de los ejes de o o r ~
denadas, o sea, un 'vector libre. Anlogam.ente, l, 111,<, n d e s ~
cartando P), determinan otra [arma geomtrica independiente
del sistema de ejes, que es la que anteriormente hemos llamado
rea plana libre.
Aplicando las frmulas (Al)' ... , (.4
4
) , a las coordenadas X,
Y, Z, de un vector libre, para lo cual basta sustituir en
X' =x' 1- x' 2' ... los x'I' .... por sus valores (A 2) en funcin
de x, y, z, se obtiene:
1) En la-traslacin :
X'=X, Y'=Y, Z'=Z
2) En el giro:
1
X' =
a
1 X
1
.,.+b1Y,+ c1Z
Y'=a
2X,+
b
2
y,+ c
2Z
Z'..=aaX+baY +caZ
3) En la inversin:
X'=-X, Y'=-Y, Z'=-Z
4) En el cambio de unidad:
As, pues, las coordenadas del vector, permanecen. invaria-
bles nicamenle en la traslacin; en las dems transformacio-
nes se comiportan. exactamente lo mismo que las coordenadas de
puntos.
Si se trata de un par de fuerzas basta hacer en estas frmu-
las X1=Y=Z=, con lo cual resulta X'= Y' = Z' == O. Para los
momentos respecto a los nuevos ejes, se obtienen las frmulas
siguientes:
1) En la traslacin:
L'=L, M'=M, N' = j\'
- 61-
2) En' l giro:
1
L' =a,lL:,+ b1M",'.'+C
1.,\,,'
M'=a
2D+
b
21V[
+c
2S
N'=a
3L'+b3M
+c
3Y
3) En a inversin:
L'=L, J1'=1\1, N'=l\'
4) En el cambio de unidad:
L"=1
2L,
M"=),2M, N'=),2N
luego, las coordenadas de un par de fuerzas no -oarlan. en la tras-
lacio n ni en la ineersin ; en el giro se trasforman co:m.o las
coordenadas de un punto, y en el cam..bio de escala quedan mul-
tiplicadas por el factor 1;2-, es decir, tienen la dimensin \2 (de
un rea), mientras el vector libre, como las coordenadas de
un punto, tiene la dimensin 1.
La obtencin de las frmulas (C
l),
(C
3
) , (c'l) no presenta
ninguna dificultad. Para llegar a la (C
2
) se parte de la (.11
2
) del
giro, de la cual se deduce:
L' = \.y> Z:1 1 = 1a
2
.Y
1
+b
2
Y l + ~ l
y 2 Z 2 ICl 2 .Y2 +b2 Y2 + C2 Z2
as Xl + bs u, + Cs Z1!
as .Y2 +bs Y2 +CsZ2
Desarrollando este determinante, resultan 3.3+3.3= 18 tr-
minos, de los cuales tres pares, por ejemplo,
se anulan. Los doce trminos restantes pueden escribirse en 13
siguiente forma:
Los factores que ocupan el primer lugar de cada producto,
son menores del determinante de los coeficientes, y, por lo
tanto, iguales a a" bl' Cl' segn la frmula [7] del giro; y los
segundos factores son iguales a L, 111,.. N, respectivamente,
luego:
~ 62-
que es la primera de las frmulas (C
2
) . Exactamente igual se
obtienen las otras dos.
Procediendo de un modo anlogo para el rea plana Ii-
bre; se deduce que las com..ponentes 1, m, n, de un rea plana
. libre, se transforman del mismo modo que las coordenadas
L, M, N de un par de fuerzas.
Los resultados obtenidos pueden resumirse en la tabla si-
guiente :
TruJa-
Giro
lnver-
1
m ~
cn
sin de escala
11
Vector libre X al X +b
l
y +el Z -X
I
l. X
I
'[
Par de fuerzas L al L +bM + C
l
N L
,,2 L
I
Area plana libre l GIl +b
l
In +CI n l
,,2 l
Estas frmulas pueden servir de base para establecer algu-
nas propiedades geomtricas que en la generalidad de los li-
bros, O faltan en absoluto, o estn expuestas en una forma que
no deja adivinar su verdadero. significado geomtrico. Fre-
cuentemente, las figuras geumtricas que consideramos no se-
presentan tan claramente expresadas como aqu, y con ello se
dificulta la obtencin de una serie completa de interesantes re-
laciones. As, por ejemplo, en la obra de Poinsot, los concep-
tos de: par de fuerzas (couple) y rea plana libre (.aire) des-
de el primer momento aparecen entremezclados, lo cual necesa-
riamente dificulta la comprensin; para nosotros ya a,qu, la
comparacin de las dos ltimas filas de la tabla permite, aten-
diendo a un principio general anteriormente citado, considerar
un par de fuerzas y un orea pl'alUl como formas geomtricas de
la misma especie, puesto que se comportan del mismo modo en
una transformacin cualquiera del sistema de coordenadas .rec-
tangulares.
Para esclarecer completamente el. significado de esta propie-
dad, consideremos un par de fuerzas dado L, M, N, Y hagmos-
le corresponder un rea plana 1, 111, n, de manera que sea
b-e L, . m=M, lt=N
(o hagamos lo mismo en sentido contrario, partiendo de L, eH,
N); esta igualdad de valores de sus coordenadas subsiste en
cualquier cambio de ejes, luego debe poder exponerse, de una
manera geom.trica pura sin recurrir a los sistemas de coorde-
nadas.
Para lograrlo, vamos a partir del 1, m., n y por razn
de comodidad tomemos .un sistema particular decoordenadas,
. de manera que l'=mJ=, con lo cual el rea es un tringulo
(1, 2, 3) 'paralelo al plano xy o situado en l; es decir, la
mitad del paralelogramo (1, 1', 2, 3), tomado precisamente en
este sentido (fig. 41). Vamos a ver que el par de fuerzas corres-
pondiente que tiene los momentos L=M=O, NI=N puede con-
siderarse como formado por dos fuerzas de sen tidos opuestos,
. 1fY
u
!!iZ
' J
' ........
.....
,
z'
'; . ", .s:
Figura 41
colocadas en dos lados opuestos del 'paralelogramo (1, 1') Y
(2, 3). La demostracin es fcil tomando como eje y la recta
U' y como eje x, la perpendicular a ella trazada por el punto
2 (representada en la figura 41 con una lnea de trazos), con
lo cual tanto los dos vectores (1, 1') Y (2, 3), como el par de
fuerzas que representan, tiene por momentos L=O, JY[=O. Ade-
ms, el vector (1, 1') tiene nulo el tercer momento, de modo,
que N es igual al momento del otro vector (2, 3) ; es decir,
I
X2 Y2!
N = .= x
2
, Ya
Xa Ya
(puesto que segn la hiptesis x
2
= X
S
' 3'2!=0). Por otra par-
- 64-
te, la tercera coordenada n del rea plana, es en el sistema de
ejes elegido:
o
Yl
1
O 1 = X 2 .s,
Ys
1
es decir, igual al producto de la base Y3 por la altura x
2
del pa-
ralelogramo; luego en efecto, en valor absoluto y en signo es .
N=n
como queramos demostrar.
Este resultado puede expresarse de modo general, sin tener
en cuenta el sistema de coordenadas, diciendo que un rea pJa-
na representada por un p'aralelogramo de sentido determinado
y Utb p[lr fuerzas representadas por dos lados opuestos del mis-
mo paralelograrno y tomadas en sentido contrario al de ste,
son formas geomtricas equiualenies , es decir, tienen sus C'om;o-
ponentes iguales, respecu de cualquier sistema de ejes rectangu-
lares.
En virtud de este teorema, los conceptos de par de. fuerzas
y rea plana, pueden sustituirse mutuamente uno por otro en
todas las cuestiones en que intervengan, y en consecuencia,
prescindir de la segunda fila que hemos formado y limitarnos a
comparar la primera lnea y la tercera, o Sea el vector libre y el
rea plana libre. .
Demostremos en primer lugar, que ambas se comportan del
mismo modo respecto de las traslaciones y giros, pero no en las
simetras ni en los cambios de unidad. Consideremos para ello,
en un sistema de ejes rectangulares directo, un rea plana 1,
. m, n, y el vector libre que tenga las coordenadas:
X=l, Y=m, Z=n
Estas igualdades subsistirn cuando nos limitemos a mOVI-
mientes del sistema de coordenadas, pero se modificarn en los
casos de simetras o cambios de escala, y, por consiguiente, si
querernos expresarlo geomtricamente, no lo lograremos sin
utilizar el sentido del sistema coordenado y la. escala. En efec-
to, eligiendo los ejes de modo que se verifique 1='J1'l'=0
-65 -
y que n sea igual al rea del paralelogramo (1, 1', 2, 3) situado
en el plano xy (fig. 42), se tiene n>O, y el vector J = 0, y =O,
Z=n coincide con el sentido positivo del eje z. Estos hechos
pueden evidentemente, expresarse con jndependencia de la posi-
cin especial de los ejes, diciendo que para obtener en un sistema
de ejes rectangulares, un vector libre que tenga por coordenadas
las de un rea p,zana libre dada, se traza una perpendicular al
plano de sta, y sobre ella se toma una longitud igua] al rea
del para.lelogrG1rvo, del lado desde el cual se 'vea el sentido en que
se recorre dicho paralelogramo, en sentido contrario al del mo-
imiento de las agujas de un reloj.
Segn esto, .las coordenadas del vector y las del rea pla-
na, continan siendo iguales aunque se efe:te una traslacin
y
Figura 42
J un giro del sistema de coordenadas, pero no sucede lo mismo
si Se cambia de unidad, porque, si en vez de medir, por ejem-
plo, en centmetros, lo hacemos en decmetros, el rea se reduce
a su centsima parte, mientras que el vector slo se hace diez
veces menor. En una inversin tampoco se conserva la igualdad,
porque el vector cambia de signo, pero el rea conserva el suyo.
As pues, vector libre y rea plana libre, nicamente pueden
considerarse como idnticos, cuando de una vez para siempre
se hayan fijado, tanto el sentido del sistema de coordenadas,
Como la unidad lineal de medida. Esta limitacin introduce
una arbitrariedad que debe ser tenida en cuenta, aun cuando
no siempre se haga mencin explcita de ella. Como se ve, rodas
. .
estas cosas son sumamente claras y sencillas, y sin embargo,
hay que volver siempre sobre ellas, porque en la Fsica actual,
;;
- 66-
no pocas veces ha dejado la exposicin histrica una cierta con-
fusin. Va1tlos, por esto, a decir alguna palabra sobre la his-
toria de estas cuestiones.
El Tratado die la extensin de Grassmann, a causa de su
difcil lectura, ha infludo muy poco en la Fsica y en la Mec-
nica. Mucha mayor influencia tuvo en Inglaterra la obra de
Hamilton, el creador de los cuaiernios (vase primer tomo, p-
gina 75). Este fu el primero que us la palabra vector, para
designar lo que nosotros hemos llamado vector libre, pues en
su obra no aparece de una manera explcita el concepto de vec-
tor fijo. Tampoco hizo ninguna distincin entre rea plana y'
vector, porque imagin fijados de antemano, el sentido de los
ejes y, la unidad de medida, y este descuido ha penetrado en la
Fsica, en la cual ambos conceptos han sido confundidos du-
rante largo tiempo. Poco a poco, a medida que fueron afinn-
dose las investigaciones, se sinti la necesidad de una distin-
ci n, atendido el diferente comportamiento de figuras designadas
con el nombre genrico de vectores, respecto de las inversio-
nes, y para ello se utilizan los calificativos de polar y axial, di-
ciendo: Un vector polar cambia S1t signo en las simetras, y,
por tanto, es idntico al que hemos llamado vector libre, y un
vector axial no cambia, y, por consiguiente, coincide con nues-
tra rea plana libre (con lo cual, en nada se toca al concepto
de dirnensin). Es natural, pues, que la Fsica mostrase en
este punto una cierta sorprendente diferenciacin (y as lo hace
todava hoy, en los libros corrientes), que en nuestra concep-
cin general aparece as de manera muy natural, desde el pri-
mer .mornento. Precisemos ms esto con un ejemplo: Decir
que el campo elctrico es un vector polar, significa que est
medido por tres magnitudes X, Y, Z, que se transforman como
indica la primera lnea de nuestra tabla (pg. 62); Y que la in-
tensidad de un campo magntico es un vector axial, quiere decir,
que los tres parrneros que la determinan sonsustitudos con
arreglo a la ltima lnea de dicha tabla. Naturalmente, nada
decimos acerca de dimensin de estos parmetros, pues esto nos
obligaria a entrar en m ~ o s pormenores de Fsica;,
Harnilton ha usado junto a la palabra vector,' tambin la
de escalar, que asimismo todava hoy desempea en la Fsica
un gran papel. Un escalar, no es otra cosa que un invariante
respecto a todas las tramsiormaciones de coordenadas, esto es,
una magnitud que no vara, salvo, si acaso, un factor, en cual-
quier 'cambio de ejes coordenados; segn lo cul, pueden, dis-
tnguirse diferentes modalidades dentro del concepto de escalar.
Consideremos primero, como ejemplo, el volumen de un te-
traedro :
Xl Yl
Z . 1
1
X2 Y2 Z2 1
T=-
6
IX
s Ys Zs 1
X4 Y4 '?4
1
el cual se transforma de la siguiente manera, corno se ve efec-
tuando el clculo correspondiente.
I
En virtud de: l. Traslacin Giro lnversn . Cambio de unidad
.. -;
1
se transforma en -T
)..3 T
Todas las magnitudes que, como sta permanecen invaria-
bles en las traslaciones y giros, pero que cambian de signo en
las simetras, se llaman escalares de segunda especie, conside-
rndose como de primera especie, las que tampoco cambian en
la inversin. En esta clasificacin, se prescinde como antes de
la dimensin que resulta de la cuarta columna.
Tambin pueden formarse fcilmente escalarresde primera
especie. Los ejemplos ms sencillos son, X
2
+Y2+Z2, sien-
do X, Y, Z, las coordenadas de un vector libre y P+m
2:.+n2
,
siendo l, m" n las de un rea plana. Estas expresiones son
invariantes en todos los movimientos y simetras (no en los
cambios de unidad), como se comprueba fcilmente por medio
de la tabla de la pgina 62, teniendo en cuenta, adems, las
ecuaciones (3) de la pgina 57, para los coeficientes del giro. La
invariancia de ambas expresiones hace presumir que tengan
una significacin geomtrica, lo cual ocurre efectivamente, pues
la primera representa el cuadrado de la longitud de un vector,
y la segunda, el de un rea plana.
Vamos a mostrar ahora, que combinasuio entre s lais for-,
m;as fundamentales que hemos definido (sseciores y escalares
- 68-
\
de primera y segunda especie), se pueden obtener nuevas for-
mas COTL caracteres anlago" . Sean, por ejemplo, T el volumen
de un tetraedro, o sea, un escalar de segunda especie, y X, Y, Z
las coordenadas de un vector polar. Los productos TX, TY, TZ
se transforman en virtud de los movimientos, del mismo modo
que las coordenadas, pero permanecen invariables en las in-
versiones, puesto que ambos factores cambian de signo. Los
tres productos representan por lo tanto, un vector, axial. Del
mismo modo, partiendo de las coordenadas de un vector' axial
1, m', n, se obtienen las de uno polar TI, Tm, Tn. Con dos
vectores polares x.; Y 11 Z y X
2
, Y
2
, Z2' se pueden formar
las siguientes combinaciones:
1) Las sumas :
X;+.X
2
, Y
1
,+Y
2
, ZI'+.%"
que como se transforman del mismo modo que sus sumandos,
representan un nuevo vector polar, cuyas relaciones geomtri-
cas con los dados, son independientes del sistema de coorde-
nadas.
2) La combinacin bilineal de los componentes de los dos
vectores:
que, como el clculo muestra, permanece invariable en todos
los movimientos e inversiones, representa, por consiguiente, un
escalar de, primera especie, que como tal, es susceptible de ser
geomtricamente definido.
3) Los tres menores de la matriz rectangular :
I
Xl Y1
X
2
Y
2
se comportan del mismo modo que las coordenadas de un vec-
tor axial y estn tambin ligados a los vectores dados por re-
laciones independientes del sistema de coordenadas.
4) . Por ltimo, con las componentes de tres vectores polares,
se puede formar el determinante:
Xl Y1 Z1 I
X2 Y2 Z2
X
a
Ya z, I
- 69-
que permanece invariable en todos los movimientos, pero cam-
bia de signo en las inversiones, de modo que. representa un
escalar desegunda especie. ,
La representacin geomtrica de las formas que acabamos
de obtener es la siguiente:
Lo La suma de dos vectores, se representa, como es sabi-
do, por la diagonal del paralelogramo que corz, ellos puede for-
marse (fig. 43). (Regla del paralelogramo de las [uerzasvq,
2: 'La combinacin bilineal de dos '"[lectores, es igual a
r
1r2
cos <p (fig.44), siendo r
1
s r, sus respectivas longitudes y <p
el ngulo que forman.
Figura 43 Figura 44
3.'" Los menores de la matriz representan el arca ,die un
paralelogramo de lados paralelos a ambos vectores, recorrido en
el senti40 que ellos indican (fig. 45). El valor absoluio de dicha
rea es r
1r2
sen <p. ,
4.'" .En cuanto al escalar de segunda especie lue define
el determinante formado por los componentes de tres vectores,
equivale geomtricamente al volumen (con el signo que le co-
rresponda), del paraleleppedo construdo sobre dichos vecto-
res, tomados a partir de un mismo punto (fig. 46).
Figura 45 Figura 46
En la literatura matemtica, no se sigue por lo comn este
procedimiento de investigar las relaciones que existen entre
ciertas expresiones analticas, respecto de las transformaciones
de coordenadas, partiendo de la teora de invariantes. Por el
contrario, en la Mecrsica y en la Fsica, se ha formado un
-70-
\
tecnicismo llamado anlisis vectorial, derivado de los procedi-
mientos de Grassmann y Hamilton, que se funda en comparar
la formacin de nuevos elementos a base de vectores y esca-
lares, con las operaciones elementales entre nmeros. As, la
operacin del nmero 1." se acostumbra designarla con el err-
neo nombre de adicin de los vectores 1 y 2, justificndolo con
el hecho de que satisface a las leyes formales' de la SUma y es-
pecialmente a la conmutativa y asociativa. Las operaciones de
los nmeros 2." y 3. se consideran ambas como multiplica-
ciones, llamndose a la primera, nwltiplicacin interna O eSCa-
lar, y a la segunda, externa o vectorial. En la interna se verifi-
ca que:
X
1(X2
+X
a
)+ Y
1
(Y
2
+ Ya) +Zl(Z2'+Za) =
=(X
1X2
+ Y
1
Y
2+Z1Z2
) +(X
1Xa
+'Y
1
Y
a+Z1Za
)
y anlogamente en la externa, de modo que, las dos son dis-
tributivas respecto de la adicin , En cuanto a la ley conmuta-
tiva, se verifica solamente para la multiplicacin interna, puesto
que los menores de la matriz rectangular que define el produc-
to vectorial, cambian de signo cuando se permutan los vecto-
res 1 y 2. El resultado del producto de dos vectores polares,
acostumbfa designarse con el nombre de vector, sin poner de
manifiesto su carcter axial. Claro es, que en virtud de lo dicho
Figura 47
en la pgina 65, se puede sustituir inmediatamente el rea plana
por un vector y enunciar la regla siguiente: El producto ex-
terno de dos vectores 1 y 2, es un vector 3 de longitud, igual
a r
1r2
[sen Ijl], perpend,icu./ar al plano 12 y de tal sentido, q ~
1, 2 Y 3 estn dispuestos dlel mismo modo que los ejes x, y, z
(figura 47), pero no debe olvidarse en ningn caso, que esta de-
finicin depende esencialmente de la disposicin de los ejes y de
la unidad elegida,
La razn de usarse estos nombres QO es muy comprensible

y slo puede achacarse a lo agradable que resulta paramu-
chos, poder establecer analogas con las operaciones num.ri-
cas ordinarias. El hecho es, que estas denominaciones estn
aceptadas por todos, habindose slo producido divergencias,
al tratarse de la .notacin simblica aplicable a las operaciones
con vectores, especialmente en lo relativo a la distincin entre
las dos multiplicaciones. En otro lugar (*), hemos dicho cun
lejos estarnos de llegar a un acuerdo en estos puntos, a pesar
de todos los esfuerzos realizados. Recientemente, en el Congre-
so de matemticos de Roma, se constituy una comisin inter-
nacional encargada de proponer una notacin uniforme, pero,
aunque en el seno de la comisin se haya llegado a un acuerdo,
habr que esperar para ver si todos los matemticos lo aceptan.
Es siempre una cosa extraordinariamente difcil lograr que un
.gran nmero de hombres, que slo quieren seguir 10 que para
ellos es ms cmodo por propia costumbre, se allanen a aceptar
otra cosa, como no sea por una coaccin legislativa o por un
inters material comn. y prefiero no hablar ms de la notacin
vectorial, para evitar que surja otra nueva. Antes de dar. 'por
terminado este prrafo, conviene hacer notar, que el anlisis
vectorial, no es, mirado desde el punto de vista general en que
nos hemos colocado, ms que una parte mnima de un conjunto
de problemas ms generales.
Entre la literatura referente a las cuestiones que acabamos
de tratar, son dignas de mencionarse la memoria en que lti-
mamente he expuesto el principio de clasificacin ZU7
Schraubeniheorie 'Von Sir Robert Ball ("*), as como un artcu- .
lo de E. Timerding en 'la Enciclopedia (tomo IV, 2 j Geometris-
che Grundlangen. der Mechanik starren Kbrpers y otro de M.
Abrahami: Geomeirische Grundbegriffe der Mechanik dejor-
mierbaser Korper)), Enciclopedia, toma IV, 14.
V. Formas derivadas de las fundamentales
Conseguido ya nuestro objeto de estudiar las figuras elemen-
tales de la Geometra, vamos a tratar ahora de figuras de 'cate-
gora superior que pueden deducirse de aqullas. Adoptaremos
(*) Tomo 1, pg. 84. . .
(**) Zeitschrift fr Math, u Phys, 47, pg. 237 Y sig., y Math. Ann, t32.
pg. 419. F. Klein, Ges, Math. Abhdlgn. 1, pg. 583.
~ 7
en la exposicion un orden histrico, lo cual tiene la ventaja de
hacer ver el desarrollo que ha tenido la Geometra en el curso
de los siglos.
A) Hasta finales del siglo XVIII, solamente los puntos eran
considerados como figu.ras elementales, v si las dems interve-
. .
nan alguna vez, era ocasionalmente y no de un modo sistem-
tico. Las curvas y superficies, se consideraban COplO engendradas
por P!-1ntos, y 10 mismo las configuraciones o figuras compuestas
de trozos de distintas curvas o superficies.
Con estos nombres pueden ser designadas multitud de cosas
que brevemente vamos a enumerar.
'1) En la enseanza elemental, y a veces tambin en 'los co-
mienzos de la Geometra Analtica, se procede como si toda la
Geometra se limitase a las rectas, planos, curvas y superficies
de segundo orden. Este punto de vista es modestsirno, y ya.
entre los griegos se llegaron a estudiar algunas curvas de or-
den superior, consideradas entonces como lugares geomtricos,
si bien es justo .consignar, que tampoco se incluan comnmente
en ia enseanza ordinaria.
2) Hacia 1650 se registra, unida a les nombres de Eermat
y Descartes, la aparicin de la Geometra Analtica. En esta
poca, se distinguan dos especies de curvas: geomtricas y
mecnicas, El primer grupo lo formaban, principalmente, las
cnicas, pero tambin algunas de las que hoy llamamos cur-
vas algebraicas; y con el segundo nombre se designaban to-
das aquellas que pueden definirse por medio de un mecanismo;
tales corno la cicloide, que puede considerarse engendrada por
el ' movimiento de una rueda j la mayora de estas curvas son
trascendentes.
3) Ambas especies pueden agruparse bajo la denominacin
comn de c'urvaiS analticas, introducida 'ms tarde, por el hecho
de que las coordenadas cartesianas de sus pumios son funciones
analticas de 1m parmetro t, es decir, pueden representarse por
series de potencias de dicho parmetro. ."
4) Modernamente se ha prestado un gran inters a las cur-
vas no analticas, que son aquellas cuyas coordenadas x= 'FU),
y =!jJ(t), no son desarrollables en serie de potencias, por ejem-
plo, en funciones continuas sin derivada. Esta ampliacin de
-73 -
la idea de curva, corresponde a un concepto general de lnea,
que comprende al de curva anabiticai, corno caso particular.
5) Por ltimo, el desarrollo de la teora de conjuntos ha
venido a introducir un nuevo ente: el conjunto infinitod8' pun-
tos, que si bien- no es una curva propiamente dicha, puede ser
definido .con arreglo a una. ley determinada. Una idea intuitiva
de lo que son tales conjuntos, se obtiene pensando, p. ej., en
que en la Va lctea se descubren cada da nuevas estrellas,
a medida que se va aumentando la potencia de los medios de
observacin. Claro es, que en esta imagen, el concepto exacto
de infinito del conjunto de puntos, est sustitudo por el infi-
nito de la Matemtica aproximada.
Las disciplinas citadas en esta rpida enumeracin, eh par-
ticular la Geometra infinitesimal y la teora de conjuntos, no
pueden desgraciadamente tener cabida en este libro, a pesar de
la importancia que tienen. A ellas se han dedicado numerosos
tratados especiales, por cuya causa nos limitamos a esta referencia
respecto del lugar que hoy ocupan en los estudios geomtricos,
y pasamos a tratar de otras cosas algo raras de encontrar en la
literatura matemtica.
Ante todo, quisiera yo examinar la diferencia entre Geo-
metra amoliiica y sinttica. En su primitivo significado, las pa-
labras anlisis y sntesis, se refieren a dos diferentes mtodos de
exposicin. La s ntesis comienza por examinar' casos particula-
res, de los cuales pasa poco .a poco a conceptos generales. El
anlisis, por el contrario, empieza por lo ms general,' proce-
diendo despus por descomposicin. Correspondiendo a este pun-
to de vista, es como se han 'establecido las denominaciones de
Qumica analtica y sinttica .
Tambin en la Geometra escolar se acostumbra hablar de un
An1lis de I(JJS construcciones geomtricas, cuyo prototipo es e1
siguiente: Consideremos el tringulo buscado corno conocido,
descompongmosle en cada una de sus partes, etc.
En la Matemtica superior,estas palabras tienen otro signi-
ficado muy distinto, pues se llama Geometra' sinttica, aquella
en la cual Taos figuras Se estudian en s mismas sin intervencin
alguna de- frm,ulas, mientras que en la analtica stas se aplican
constantemente mediante el uso- de los sistemas de coordenadas.
-74-
En realidad, la diferencia entre ambas especies de Geometra
es puramente cuantitativa: segn que predominen. las frmu-
las o las figuras, se tiene una u otra Geometra, ya que una Geo-
metrfa analtica no puede, sin perder su. nombre, prescindir en
absoluto de la representacin geomtrica, ni, por el contrario, la
Geometra sinttica puede ir muy lejos sin expresar de un mo-
do preciso, con frmulas adecuadas, sus resultados. Pero como
ocurre siempre que se trata de algo. opinable, los matemticos
se han dividido en dos bandos, que han dado origen a las es-
cuelas sinttica pura y analtica pura, basadas ambas exclusi-
varnente en la pure:za. del mtodo y no en la naturaleza de las
cosas que se estudian, lo cual conduce a que los gemetras ana-
lticos se pierdan a menudo en un clculo ciego, sin representa-
cin geomtrica alguna, y los sintticos eviten artificiosamen-
te el uso de toda frmula. Este modo de exagerar los princi-
pios fundamentales de las dos escuelas, conduce siempre a un
cierto proCieso de fosilizacin, pero hoy domina el anhelo, pro-
vocado, en su rnayor parte, por los outsidern, de prescindir
de esos exagerados purismos en favor del progreso de la cien-
cia. As, por ejemplo, en la Geometra, los cultivadores de la
teora de funciones han establecido con toda claridad la distin-
cin entre curvas analticas y no analticas, que no han hecho
resaltar de un modo suficiente, ni los representantes cientficos
de ambas escuelas; ni los libros de texto que siguen sus respec-
tivas tendencias. Lo mismo puede decirse del anlisis vecto-
ria1, que a pesar de ser ampliamente utilizado por los fsicos,
no tiene apenas cabida en los tratados de Geometra, a pesar
de que los conceptos fundamentales se encuentran ya en Grass-
mann.
No es raro encontrar quien crea que la Geornetra debe for-
mar dentro de la Matemtica un campo aparte en la ensean-
za, y an ms, que en sta cada disciplina matemtica debe
estudiarse aisladamente, y, en efecto, en los establecimientos de
enseanza superior, no alemanes, hay profesores especiales de
GeOmetra, de Algebra, de Clculo infinitesimal,etc.
Corno resumen de estas consideraciones, diremos que no
nos parece recomendable una separacin demasiadoexclusivis-
ta de las diferentes disciplinas, sino que, por el contrario, cree-
-75-
mas mucho ms fructfero no solamente dejar que entre unas y
otras ramas de la Matemtica se ejerza una vivificadora influen-
cia mutua, sino tambin establecer un mayor intercambio de
ideas entre los matemticos y los representantes de las 'dems
ciencias.
Terminada esta pequea disgresin, vamos a seguir ocupn-,
donas del desarrollo histrico de la Geometra.
B) El impulso ms poderoso que ha recibido la investiga-
cin geomtrica, comienza en 1800, con la aparicin de la lla-
mada entonces Geometra moderna, calificativo hoy cado en
desuso, porque, naturalmente, existen otras tendencias an ms
modernas, Actualmente se la' llama Geometra proyectiva por la
importancia que en ella tiene la operacin de proyectar.
El primer investigador que dirigi sus esfuerzos en este
sentido, fu Poncelet, con su Trait des propriets projectives
aJes figures, aparecido en 1822 (*).
En el desarrollo ulterior de esta Geometra se han marcado
tambin las dos direcciones correspondientes a los consabidos
mtodos sinttico y analtico. Los representantes de la primera
son Sieiner y Staudt, y los deIa segunda Mbbius, y sobre todo
Pliicher, Sus obras fundamentales son las siguientes: Steiner,
Estudio sistemtico de la dependencia mutua de las formas
A'geom.tricas (**).
Staudi, Geometra de la posicin (***).
Mobius, Clculo baricntrico (****).
Pliicker, (Estudios analitico-geomtricos (*****).
Estudiaremos ahora, los puntos de vista especiales que carac-
terizan esta nueva Geometra.
1) La idea directriz de Poncelet, consiste en considerar
como formas fundamentales, no solamente el punto, sino tambin
la recta en el plano y el plano en el espacio y en hacer notar,
que en un gran nmero de teoremas puede sustituirse la pala-
bra punto parla de recta o plan'o y recprocamente. Esto es lo
(*) Segunda edicin, Pars, 1863-66.
(*'*) Systenuiche En'wickung der .4bhcengigkeit geomeirischer Ges-
tolien von cinander, Berln, 1.832. Ges Werke Bel, 1. (Berln, 1.881).
(**'*) Geomeirie der Lage, Nrnberg, 1846.
. (***'*) Barycenirischer Kalkl ya citado.
(****'*) Anolvtiscli - geometrische Entnuichlwngen, dos tomos. Essen
1828-1831.
76-
que constituye la esencia del principio de correlacin o dua-
lidad.
Poncelet basa la exposicin de su Thorie des polaires
proques en la polaridad respecto de las conicos, Respecto a una
cnica determinada, a cada punto p (fig. 48) corresponde, como
. es sabido, una recta Te, que cuando p es exterior, es la recta deter-
minada por los puntos de contacto de las dos tangentes que
san P?r dicho punto y recprocamente, a toda recta Te le corres-
ponde un polo p ; esta correspondencia es una relacin de recipro:
cidad tal, que la polar Te'., de un punto p' de la recta pasa por el
polop. De esta correspondencia especial entre puntos y rectas,
as como de su anloga en el espacio entre puntos y planos que
se deduce de la polaridad respecto de una cudrica, concluye
.Jl"
Figura 48
Poncelet que todos los teoremas geomtricos que se refieren a
relaciones de posicin entre puntos, rectas y planos, son
bies de que se les aplique el principio "de correlacin ('''). Un
ejemplo notable, lo constituye el conocido teorema de Pascal
sobre el hexgono inscrito en una cnica, que en virtud de una
correlacin, se transforma en el teorema de Brianchon, relativo
al hexgono circunscrito.
'2) Posteriormente, el principio de correlacin' desligndose
de la teora de polaridad se ha generarizado, llegando' a cons-
tituir uno de los elementos caractersticos de la Geometra
yectiva. Esta bella sistemtica ha sido iniciada por Gergonne y
Sieiner, quien en prlogo de la obra a,ntes citada, hace no-
tar cmo la Geometra proyectiva es la que primeramente ha
logrado poner orden en el caos de teoremas geomtrico,s, y es-
tablecer en ellos una sucesin perfectamente natural.
(*) Siguiendo la nomenclatura Corriente en los tratados 'espaoles .di-
remos en lo sucesivo principio de correlacin llamando [orinas correla-
tiuas las que se aj usten a l. (N, del T,)
Aunque ms adelante hemos de hablar en bastantes ocasiones
de esta sistematizacin, adelantaremos por el pronto una idea
general de ella. Segn el principio de correlacin, el punto y el
pUma (en el plano, el punto y la recta) pueden sustituirse mu-
tuamente, tanto en Pos conceptos fundamentales como en los
axiomas; es decir, que cada uno de estos axiomas, y por consi-
guiente, los teoremas que de ellos. se derivan lgicamente, tie-
ne su correlativo. Las llamadas relaciones mtricas, tales como'
distancia, ngulo, etc., no pueden por el pronto entrar a for-
mar parte de este sistema, pero ms adelante veremos cmo pue-
de obviarse esto.
La Geometra proyectiva puede construirse de esta manera:
a) Se tornan tres especies de figu.ras como ls ms simples;
a saber: . el punto, la recta (indefinida) y el p lana (indefinido).
b) Entre estos elementos existen las siguientes relaciones
(llamadas axioma de enlace), cuya vail'idez sin excepcin" se logra
cama ms adelante veremos mediante la introduccin de elemen-
tos impropios (o del infinito).
Dos pun.tos determinan una recta; tres puntos que no estn
en lnea recta, determinas un plano; dos planos determinan una
recta; tres planos que no pasen por una misma recta, determinan
un punto.
c) Formemos ahora las figuras [undameniales lineales (es
decir, las definidas analticamente por ecuaciones lineales); las
cuales son :,
A) Figuras de primera categora, que constan deCXJ
1
ele-
mentas:
z) El conjunto de los puntos de una recta: serie rectilinca,
~ El conjunto de los planos que pasan por una recta: h ~ l z
de planos.
r) Las rectas de un plano que pasan por un punto: haz
(plano) de rectas.
B) Figuras de segunda categora," que constan de 00
2
ele-
mentas:
) El plano como conjunto de puntos: campo de pun,tos.
z') El plano como conjunto de rectas : campo de rectas.
~ Los planos que pasanpor un punto': radiacin de planos .
. Las rectas que pasan por un punto: radiacin de rectas.
C) Figuras de tercera categora, que constan de <XJ3 ele-
mentes :
ez). El espacio como conjunto de puntos: espacio de puntos.
B) El espacio corno conjunto de planos: espacio de planos.
En toda esta construccin taparece, en efecto, con toda cla-
ridad, el principio de correlacin, y se puede llegar a formar todo
el edificio de la Geometra proyectiva, de dos maneras correlati-
vas entre s: la una partiendo de los puntos, y la otra partiendo
de las rectas, si se trata de Geometra plana, o de los planos,
cuando se trate de Geometra del espacio.
3) Esta construccin puede tambin obtenerse haciendo uso
del mtodo analtico; para verlo comenzaremos por examinar.
en qu forma aparece el principio de dualidad en los estudios
de Plcker.
Es sabido que, en el plano, se puede escribir la' ecuacin
de una recta, cuando el trmino independiente no es nulo, bajo
la forma
ux+vy'+l=O..
La recta queda determinada cuando se conocen los' valores
de los coeficientes u, v, que en esta ecuacin intervienen si-
mtricamente, como las coordenadas x e y. La idea de Ptcker,
es la de considerar u, v como coordenadas de la recta, andlo:
gamenie a como x, y, son las coordenadas de un p-unto, y tomar
como variables u, v, en lugar de x, y, cuando se trate de estudiar
figuras conjuntos die rectas. En este caso x, y, tienen Vallares fijos,
y la ecuacin representa la condicin para que una recta variable
pase por el punto fijo (x, y) j es decir, es la ecuacin de este
p,unto en las nuevas coordenadas C ~
En la expresin anterior; pueden tomarse como variables,
arbitrariamente unas u otras de las coordenadas, de modo que la
ecuacin representa la condicin de incidencia del punto y la
recta, El principio de correlacum. se funda, pues, en el hecho
de que toda ecuacin de esta forma, es simtrica respecto a u
y v, por una parte, y a x e y por otra, lo cual. lleva en s, la duali-
(*) Siguiendo la nomenclatura espaola, llamaremos tangenciales ;,
estas coordenadas o
-79 -
dad O correlacin, que existe entre los aXW111as de ordenacin,
segn hemos isto,
En el espacio, aparece naturalmente en lugar de la ecuacin
de la recta, la ecuacin del plano.
Apoyndose en estas consideraciones, se puede desarrollar
analticamente toda la Geometra, tomando como variables, ya
las x, y, z, o las u, v, 'W, Con lo cual las palabras punto y plano
quedan permutadas entre s. Esta que pudiramos llamar doble
construccin de la Geometra, suele presentarse en los libros
de texto, disponiendo en dos columnas verticales, respectivamen-
te, los diversos teoremas y sus correlativos.
Veamos rpidamente las figuras de especie superior, corre-
lativas unas de otras, que as se obtienen, con lo cual habremos
logrado ya un cierto avance en el esquema ideal de las figuras
lineales.
Supongamos en primer trmino, que x, y, z, son funciones
p, de un parmetro t, con lo cual queda definida una cu.r-
va que ser prlana en el caso particular de que las
funciones p, X, satisfagan idnticamente a una ecuacin li-
neal con coeficientes constantes, y degenerar en una recta,
si se satisfacen a la vez a dos de estas ecuaciones. Anlogamen-
te, considerando u, v, 'W, como funciones de t, se obtiene una
sucesin si111lplemente infinita de planos, que puede representar-
se por su superficie desarrollable, envolvente. A los dos casos
particulares anteriores, corresponden, respectivamente, aquellos
en que los planos pasan por un punto, es decir, que envuel-
ven 'una superficie cnica, y un haz de planos con una recta
comn.
Si ahora se consideran x, y, z, como funciones de dos pa-
rmetros t, 1', se obtiene una superficie que puede degenerar
en un plano y como correlativo, el conjunto infinito
de los planos envolventes de una superficie cuya degeneracin es
una radiacin de planos.
Los resultados obtenidos, pueden resumirse en el siguiente
cuadro:
- 80-
x;:::=cp (t)
Curva
z ~ <p (t)
) Superficie desarrollable
y=z (t)
(curva plana)
v==Y..
(t)
j
(superficie cnica)
z ~
(t)
(recta)
10= 'f
(t)
(recta)
x==<p
(t, 1') \
Superficie
z == cp
(1, t'\ I
Superficie
y = Z (t, t') v ~ Y (t, t'J
z ~ (t, t')
(plano)
10=<1>
(i, t'l
(punto)
. Con este ejemplo, queda suficientemente explicado cmo pue-
de desarrollarse el estudio de las formas correlativas.
4) La consideracin de los tres coeficientes-de la ecuacin
del plano corno coordenadas del mismo, ha inspirado a Plcker
la idea de considerar de una manera convpleiamente general, las
constantes de las cuales depende una figura geomtrica cualquiera
(por ejemplo, los nueve coeficientes de la ecuacin de una super-
ficie .de segundo orden), como coordenadas de esta figura, e in-
vestigar el significado de las ecuaciones que entre tales coorde-
nadas pueden establecerse.
Claro es, que generalizando de este modo, ya no puede ha-
blarse de correlacin, pues sta se basa, segn hemos visto, en
la propiedad especial que tiene la ecuacin del plano (o 'la de la
recta) de ser simtrica respecto de las coordenadas y los coefi-
cientes.
Plcker ha aplicado esta idea general al caso de las rectas
del espacio, para lo cual, puestas las dos ecuaciones que la re-
presentan en coordenadas puntuales en la forma:
j
x=rz+p
y=sz+u
llama coordenadas de la recta en el espacio" a las cuatro cons-
tantes r, s, p, a,
Es fcil ver que estas coordenadas estn relacionadas Inti-
marnente con las que obtenamos por la aplicacin del principio
de Grassmann.
Si entre las cuatro coordenadas se establece una ecuacin
f (r, s, p, cr) = 0, quedar separado del conjunto cudruplemen-
te infinito de rectas otro triplernente infinito, constitudo por
aqullas cuyas coordenadas satisfacen a la ecuacin. Este con-
- 81 --
aquellas cuyas coordenadas satisfacen a la ecuacin.. E:stecon-.
junto ha sido llamado por Plcker complejo pO,s
ecuaciones f (r, s, p, o}=;o 0, g (r, s, p, 0') =0, representan una <:0'1-.
gruencia de rectas formada por todas las rectas comunes a los
dos complejos f=O, g=O. por ltimo, si las ecuaciones son. tres,
el conjunto de rectas es simplemente infinito y constituye una
superficie reglada (*).
El principio general de Plcker , o sea, la idea de considerar
las. constantes de una ecuacin como coordenadas de la figura
que representa, ha ocasionado interesantes estudios, .entre los
cuales descuellan los del gran matemtico noruego SoPlhus Lie,
cuya Geometra esfrica est basada en la consideracin de la
esfera como elemento de espacio, dependiente, como la recta, de
cuatro parmetros. Tambin es ,digno de mencionar el moderno
libro de Stu.dy Geomeirie der D'ynamen en el cual, el con-
cepto de torsor queaqu hemos admitido, da lugar a una serie
de notables investigaciones.
C) Junto a esta Geometra moderna, basada en la consi-
deracin de la recta y del plano ilimitados como elementos de
espacio, Grassmann. ha desarrollado otra, en la cual se conce-
de primordial importancia a los elementos de recta, plano y es-
pacio limitados, asignndoles coordenadas" con arreglo al prin-
cipio de los determinantes. Este mtodo de estudio. tiene a su
favor la ventaja de haber satisfecho en mucho ms alto grado las
necesidades <le la Fsica y de la Mecnica, que la Ceornetria de
la recta y el principio de correlacin.
Naturalmente, estas lneas directrices no estn tan profunda-
mente separadas como lo que podra deducirse de lo que lleva-
mos dicho. Lo que realmente ocurre es que Pliicker se apoya
ms en la recta indefinida, y Grassmann J11.!s en el elementode
recta, mientras que los dems consideran indistintamente una
y otra figura. En particular, las consideraciones de Study lo
mismo pueden ligarse a uno que a otro. Agrueguemos que
(*) . Estas ideas estn desarrolladas en la obra ,,!VeUi! Geometric -te
Raumes gegrndet au] die' Beirachtung der geraden Linie als Raumele-
ment)) de Plcker (1868-9) que muri al terminar de imprimirse la primera
parte, correspondiente a Klein como su asistente que era, el honor de diri-
gir la edicin de la segunda.
(H) Leipzig, 1903. .
6
- 82
Grassmann no se ha limitado a estudiar propiedades susceptibles
de aplicacin inmediata, sino que, por el contrario, su actividad
creadora' se ha ejercitado tambin en el terreno puramente abs-
tracto. Lo ms importante es haber considerado en coordenadas
puntuales Xv X
2,
X
n
en lugar de la-s tres X, y, z, y as llegar
a la Geometra del espacio En de n dimensiones, cuyoverdade-
ro creador ha sido Grassmann.
Siguiendo su principio general, consideraba en uno de estos
espacios multidirnensionales las matrices formadas por las coor-
denadas de 2, 3, ... , n:.+ 1 puntos, y los determinantes meno-
res de esta matriz dan entonces una serie de figuras, corres-
pondientes a los elementos de recta y de plano. La disciplina
abstracta as construda es cama ya hemos dicho, lo que Grass-
mann design con el nombre de teora de la extensin (Aus-
dehnungslehre) .
Modernamente, el concepto de espacio multidimensional, se
ha generalizado todava ms con la a-dmisin de infinitas coor-
denadas x
p
x
2
' , lo que da lugar a un espacio de infinitas di:
mensiones E 00 Este concepto no carece de sentido, pues un pun-
to de tal espacio puede considerarse como la representacin geo-
mtrica de una serie de potencias, que para estar determinada,
precisa que se conozcan sus infinitos coeficientes.
Es digna de notar en esto, y as se reconoce hoy por todos
los matemticos, que este lenguaje geomtrico en el caso de n
y aun en el de infinitas variables, ofrece una utilidad real; con
l los razonamientos tienen mayor vida que cuando se mantie-
nen en el terreno analtico abstracto, y llegan a utilizarse tales
nuevos conceptos geomtricos, como si los espacios En E C/.) nOS
fuesen familiares.
La adopcin de los espacios de ms de tres dimensiones, no
quiere decir, desde luego, que se presuponga la posibilidad de
su existencia real. Este es un problema que slo a los psiclo-
gos o filsofos toca resolver.
Con el fin de contribuir a una mejor orientacin para ver el
papel de la Matemtica en la cultura general, diremos algo acer-
ca de la significacin que esta Geometra multidirnensional
tena para el astrnomo de Leipzig Zller, en 1873. Es ste uno
de esos casos raros en que un lenguaje matemtico pasa a ser
-83-
de dominio COmn; actualmente, ya cualquiera, no matemti-
co, habla corrientemente de la cuarta dimensin. Esta popu_
laridad de la cuarta dimensin, proviene de los experimentos
con que un espiritista, llamado Slate, embauc a Zollner, Se
presentaba Slate como un rnediurn que estaba en comunicacin
directa con los espritus y conducido por ellos haca desapa-
recer de la vista del pblico algunos objetos, que luego haca
reaparecer. Zollner crea en estos experimentos y lbs explicaba
mediante una teora fsico-metafsica, que fu muy extendida;
admitiendo que el mdium estaba dotado de una sensibilidad
especial que le permita apreciar en el espacio de cuatro dimen-
siones, lo cual aprovechaba para hacer invisible un objeto cual-
quiera, hacindole pasar a la cuarta dimensin, inaccesible para
los dems mortales.
Esta explicacin,que a primera vista parece obscura, se
comprende fcilmente imaginando -trn animal - que viviera en
una superficie, y no pudiera percibir nada fuera del campo bi-
dimensional en que vive j por ejemplo, un animal parecido al
caro.
Si utilizando la tercera dimensin de nuestro espacio intui-
tivo, retiramos de la superficie un objeto que est colocado so-
bre ella, no cabe duda que dejar de existir para el animal en
cuestin, exactamente corno en los experimentos de que habla
Zllner.
La existencia de seres bidimensionales, ha sido supuesta por
el, autor annimo de una novelita inglesa Flatlan.ds y en la
cual se describe un mundo de dos dimensiones. Los diversos se-
res se distinguen entre s nicamente por su forma geomtrica,
tanto ms complicada cuanto ms alto es su grado de organi-
zacin. As, los seres superiores SOn pnlgonos regulares; en
cuanto a las mujeres,de las cuales el autor parece tener un
concepto 'muy mezquino, se reducen a la figura de un simple
trazo (*).
No es preciso decir que el concepto matemtico de la Geo-
metra de ms de tres .dimensionea, no tiene relacin alguna con
(*') La novela se titula A romance of many dimensions, By a
Square. London 1884. El autor persigue principalmente el objeto ,de hacer
comprender la posibilidad de una Geometra multdimensonal.
-84 -
las consideraciones metafsicas de Zollner , La Matemtica apa-
rece aqu como ciencia normatiua .pura, empleando un lenguaje
moderno, que se limita a estudiar las relaciones formales posi-
bles entre objetos, con independencia absoluta de su realidad
natural o metafsica.
Dejando ya estas disgresiones, vamos .a tratar con algn
detalle las figuras de carcter superior, que pueden considerarse
producidas .por las formas elementales de Grassnjann-en par-'
tictilar pnr los 'vectores-, y anlogas a las formadas por puntos,
planos, etc. El estudio de estas formas, se denomina Anlisis
vectorial, y ha sido convertido por Hamilton. en un valioso ins-
trumento auxiliar de la Fsica y de la Mecnica. Las obras ms
importantes dedicadas a este .estudio son; la de Hamilton, titu-
lada Elementos de los Cuaternos, y el (Anlisis Vectoriah>,
del americano J. W. Gibbs, antes citado.
, La base de estas investigaciones consiste en partir de los con-
ceptos de vector y escalar ya conocidos por nosotros y asociar
estas magnitudes a los puntos del 'eSpacio. A cada punto (x, y, e),
se le asocia un escalar
S=f(x,y,z)
y se dice entonces que se tiene un campo escalar; v cuando a
cada punto se le une un vector determinado
x =rp (x, y, z)z y (x, y, z), Z=x(x,y,z);
el conjunto de estos vectores recibe el nombre de campo veC-
torial,
Estas denominaciones designan los conceptos, geomtricos
ms importantes usados en la Fsica moderna. As por ejemplo,
la densidad de 'una distribucin de masas, la temperatura y la
energia potencial de un sistema continuo, consideradas como
funciones del lugar, son ejemplos de campos escalares.
El campo de [uerzas, en el' que' a cada punto se asigna una
fuerza determinada, es el ejemplo tpico de un campo vectorial.
Otros ejemplos son
W
: en la teora de la elasticidad; el campo de
los corrimientos de un campo deformable, cuando a cada punto
se le hace corresponder ('1 segmento de su corrimiento; anilk-
(1)
- 85-
ga111ente en la Hidrodinmica, el cambo de velocidades, . y final-
mente, en la Electrodinmica, el campo elctrico y el magntu:,
en los que a cada punto se hace corresponder un vector elctrico y
uno magntico determinado. Como para cada punto, el vector
de la intensidad mgnticadel campo, que es de naturaleza
axial, puede componerse con el vector polar de la intensidad
elctrica del campo, produciendo una helicoidal, el campo elec-
tromagntico puede presentarse tambin como ejemplo de un
cambo elicoial, .
Hamilton ha mostrado cmo pueden aplicarse a este campo,
de manera sencillsima, los mtodos del Clculo diferencial e
integral.
Para ello, es fundamental la observacin de que las diferen-
ciales dL'1:, dy, dz, cuyas razones determinan una direccin para
el movimiento de un punto, representan un 'vector libre, es
decir, que se comportan como componentes de un vector libre
en las traneiormaciones de coordenadas. Esto se deduce fcil-
mente, sin ms que ver que pueden obtenerse por medio de un
paso al lmite, de las coordenadas de un pequeo segmento que
pase por el punto (x, y, z ~
Ms importante, pero tambin ms dificil de comprender, es
la segunda observacin, de que los smbolos de las derivadas
'1 d d d. ., I ' d
parcia es --, --, -, tienen. iam nen e carcter e comoonen-
d.y;' 2:1J' dZ'
tes vectoriales, es decir, que al pasar a un nuevo sistema de
coordenadas rectangulares x'; y' ,::/, los nuevos smbolos ~
1x'
!... , ~ se deducen' de los antiguos como las coordenadas trans-
dY' s
formadas de un vector (ms' precisamente de un vector polar).
Esto se ve en seguida, efectuando el clculo correspondiente
a una rotacin del sistema de coordenadas:
x' = al x +i. y el Z ,
y: = a2x +.b
2
y+ e
2
:
Z = 03 X + b3 y + C3 Z
Estas frmulas del giro tienen la propiedad caracterstica,
segn hemos visto anteriormente, de resolverse permutando en-
-86 -
tre s las filas y columnas de los coeficientes del sistema,con
lo cual resulta:
x=al x
'
j- a2 y'.+aa z' '!
y,:blx',+b2
y;+b
a z: '
z- c
l
x+ c
2
y+ ca Z
(2)
Si consideramos ahora una funcin cualquiera de x, y, z,
puede expresarse corno funcin de x', y', z', por medio de la
transformacin (2), y aplicando las conocidas reglas de la de-
rivacin parcial,se obtiene:
ex cy
ex' ex cx' Cy e c<: cx'
_e_=_c_. -1-+ . 3y +_c_, .ss.
ey' q x ey' ey ey' cs ez'
_d_ = (;Ix +__3_. ey +...!-. .ss.
2 z' ex ,e e' 3 Y 3 z' ez es'
y sustituyendo en stas, las derivadas de x, y, s, respecto a
x", y', s', sacadas de las (2), resulta finalmente:
3 e, 3 e
._- = al --- +b
1
- - - +Cl -'-
ex' ex ey
e c e e
. --= a2 -- + b; --+C9--
e y' d x - e y -3 Z
e' c c 3
--- === as-- + b
s
+ Cs --'
3y Cl:
Comparando estas frmulas con las (1), se observa la coin-
cidencia con las frmulas, de transformacin de la? coordenadas
de los puntos.
Un sencillo clculo demuestra asrmismo que aplicando una
, a' ay a
traslacin al sistema coordenado, los simbolos -- ,-- ,-- no
cx 8y az
cambian y que si la transformacin es una inoersin. del sis-
tema, vara nicamente su signo, con lo cual queda terminada
la demostracin,
- 87--
La nica transformacin que an no hemos aplicado es la
del cambio de unidad. Efectundola se obtiene como resultado,
que dichos smbolos tienen la dimensin -1, puesto que las
derivadas de las coordenadas aparecen en el denominador.
Vamos ahora a aplicar este smbolo vectorial d Hamilton
(
e e 8)l' ., f' "b 1-
--., --,-- as mismas operaciones que e ectua amos con os
eX 3y ez
vectores. Convendremos en representar simblicamente el re-
sultado de aplicar la operacin a una funcin f(x, y, z), o
. - '. 3x .'
. . 3. 3 . . -
sea -'- , por el producto f. -- de -- y f. Este convenio est auto-
ex ex ex.
rizado para cuanto sigue, por las leyes formales de ial))ultipli-
cacin y especialmente por la distributiva, segn la cual,
e(f + g) = \ ;/r + 3 g
ex eX eX
Sea un campo escalar S=f(x, y, z). Multipliquemos (en el_
sentido del convenio precedente), este campo, por las componen-
tes de un vector de Hamilton , es decir, formemos el yeetor:
el
eX '
ef
-3-'
Y
-3 r
ez
Como ya hemos visto en otro lugar (pg. 68), el producto
de un escalar ror un vector, es otro vector y como en la demos-
tracin de este teorema s610 se aplican las propiedades de la
multiplicacin que subsisten en nuestra multiplicacin. simb-
lica, resulta gue las tres deriuadas parciales del campo escalar,
definen 'U'n vector dependienie del p'unto x, y, z; esdecr, un
campo vectorial, el cual est relacionado con el escalar, de un
modo independiente del sistema de coordenadas.
Este campo vectorial considerado con signo negativo, se de-
signa con el nombre de 'gradiente del campo escalar. Este nom-
bre procede de la Meteorologa, en la cual se considera el con-
junto de las presiones atmosfricas en 1<Ji; diversos puntos, como
un campa escalar, que se representa grficamente por las curvas
5==constante. El gradiente es constantemente normal a estas
curvas y da la direccin de los cambios ms rpidos de presin.
~ 88 ~
Con los tres componentes X, Y, Z, de un vector, se puee
formar siempre un escalar X2.+ y 2,.+ Z2. Segn esto, del gra-
diente de m escalar puede. deducirse un nuevo campo escalar
que est relacionado, tanto con el gradiente, como con el pri-
rnitivocampo, de un modo independiente del sistema de coor-
denadas. Este escalar es igual al cuadrado de la longitud del gra-
diente, o, como suele tambin decirse, al cuadrado de la pen-
diente d'el campo escalar f.
Como plicaci6n del teorema anterior, formemos con el sm-
bolo vectorial L L L un escalar simblico, 'multiplicando
dX' cy' cZ
cada una de las componentes por s misma, lo que equivale a
la operacin :
que, por consiguiente, tiene carcter escalar, es decir, es inva-
riante en todas las transformaciones de coordenadas. Mnltipli-
cando ahora este smbolo escalar por un campo escalar i, re-
sulta el nuevo campo escalar:
. 0
2
f . c
2
f 3
2
f
~
ox
2
d y2 . d Z2
relacionado con el primero de un modo independiente del siste-
l:na de coordenadas. Si imaginamos un lquido que fluye en el
campo, cuya densidad inicial es 1 y cuya velocidad en cada
punto est dada por el gradiente de t, en el primer momento dt,
la densidad del flido aumenta eh cada punto en una cantidad
igual al producto de aquel escalar por lit. Por esta razn se ha
dado el .nombre de divergencia de] gradiente de f, al valor
(
02 f o...Z f 3
2
f )
--- +--- +---.
d x
2
3 y2 oZ2
~ 89 ~
Las denominaciones de Lam que llamaba funcin de punto,
al campo escalar 8.=f(x, y, z), y primero y segundo parmetro
diferencial a
(
!L)2+ ~ 2 + ~ . 2
d.X ,dY . Jz
J2 f J2 f J2 t
Y
---+--+--
. J x 2 . J y2 l Z2 '
respectivamente, se han empleado tambin mucho.
S 1
d d l l' u , 1
ea a lora, un vector- ,. -, -- y mu trpuquemos e por un
dX -ay dZ
cet'f/1,,pO vectorial (polar) :
X=<p(x, y, z), y= X(x, )', s),
deIas .dos maneras que puede hacerse.
a) Por multiplicacin interior, resulta
Z =tj(x, y, s)
JX d Y dZ
-.-+---+--
Jx Jy ,?z
que, naturalmente, depende de x, y, z, Y es, por tanto, un cam-
"po escalar que recibe el nombre de divergencia del vectorial, .Y
est ligado a ste por relaciones independientes del sistema de
coordenadas.
b) La multiplicacin externa, produce la matriz rectangular:
J J J
Jx Jy Ciz
X y Z
cuyos tres determinantes,
dZ JY
------
Jy Jz'
JY JX
------
d Xd y
definen un cctor axial, que se designa con el nombre de rotor
y tambin con el de curl, dado por 1'1axwelJ. Lo mismo que an-
tes, las relaciones entre ambos campos no dependen del sistema
de coordenadas.
Hemos obtenido as, por medio de mtodossislenticamen-
te geomtricos, todas las maguitudes que utilizan los fsicos en
sus investigaciones acerca de los diferentes campos vectoriales;
-90-
se trata, pues, de Geometra pura. Si hacemos esta observacin,
es porque, aparentemente, los conceptos que hemos estudiado se
refieren ms bien a la Fsica que la Matemtica, y adems sue-
len encontrarse expuestos en los libros dedicados a la" primera
de estas ciencias, y no en los matemticos. La nica razn para
ello es de ndole histrica y consiste' en que la Fsica ha necesi-
tado crearse por s misma unjnstrumento .adecuado, ya que no
exista dentro de la Matemtica.
Hay aqu el mismo equvoco que sealbamos en el Anli-
sis. En el curso del tiempo, la Fsica ha experimentado necesi-
dades matemticas que casi siempre han constituido un gran
~ s t u o para la ciencia matemtica y, sin embargo, la ensean-
za de la Matemtica elemental parece no tener nada que ver con
ello. Se mueve sobre los mismos carriles que hace siglos y deja
que la Fsica se forme trabajosamente sus medios auxiliares,
aunque la preparacin matemtica para el cultivo de la Fsica
sera materia ms propia de la enseanza matemtica que la que
frecuentemente utiliza. Y es que, aun en la esfera espiritual,
hay ley de inercia; cuanto signifique salirse de caminos trilla-
dos para emprender otros nuevos, encuentra' siempre una gran
resistencia.