H )

/ \

h
'

METODOLOGA
POR

\
DOCTOR GRADUADO BN CIENCIAS EXACTAS ,

PROFESOR DE ARQUITECTURA, CATEDRTICO NMERAHIp

DE MATEMTICAS EN EL

3itstitttta proiitcittl ic Ceoit,

fte., etc.
.H...t.

LCON.1878.
IMPRENTA DE NGEL J. GONZLEZ,

Conde Luna, 6.

V.

gosssssssssssssssss
4
Este primer libro de la Metoo dolopi'a,
se halla de venta al o
9 precio de tres* pesetas en Len,
a casa del Autor, calle del Conde o
o de Luna132," y se remite

V) quien lo pida, si acompaa la

antedicha cantidad en l/tra de
<
fcil cobro.

cscsssss^nsQsssssoa

METODOLOGA
POR
s

Dow 3o$ De Castro IpxiDcr,

DOCTOR GRADUADO EN CIENCIAS EXAC i'Ab ,
PROFESOR DE ARQUITECTURA,

CATEDRTICO NUMERARIO

DE MATEMTICAS EN EL

INSTITUTO DE LEN, ETC., ETC.

LIBRO I.
BEL MTODO EN LAS CIENCIAS ABSTRACTAS E \

GENERAL

Y ESPECIALMENTE EN LA MATE5ITICA.

Este libro,
aunque formando de por s un cuerpo de doctrina acabado
y completo, puede considerarse como la introduccin una
serie de otros, respectivamente dedicados tratar de los artificios mtodos particulares
que en cada ciencia matemtica determinada se emplean.

tm

<

LEN.1878.
IMPRENTA DE NGEL J. GONZLEZ ,

Conde Luna, 6.

,/<

PJs propiedad.

PROLOGO.

0.os tendencias se dibujan hoy perfectamente

en
]a.s personas que al cultivo de las ciencias exactas
so dedican. Unas pretenden imprimir la Matemtica un carcter eminentemente metafsico y
en su afn de criticar denuncian un error en cada definicin y un absurdo en cada teora; en su
concepto los cimientos sobre que aquella descansa, son polvo vano que urge aventar; el mtodo
seg-un el cual se edific nada tiene de racional y
la obra de tantos siglos es quimrica ilusin, que
idntica pudieran.haber forjado sobre principios
reconocidamente ilsos sus ilustres inventores. (*)
Otras desdean como intil todo estudio suprasensible, dedieanse desarrollos de detalle y atenindose lo que llaman carcter positivo de la
ciencia, procuran extirpar de ella hasta los ms
insignificantes asomos filosficos, pues de esta
maneradicenqueda simplificada y asequible
todas las inteligencias. En verdad que si el empeo de estos por lo que rebaja la Matemtica,
() El clebre Lobatsshewski, partiendo de la
proposicin falsa la suma de los ngulos de mi trin^ulo 69 menor que dos rectos construy una geometra
que l declara estar tan perfectamente organizada como
la deEuclides.

IV

por lo que perjudica su enseanza y por lo que

embota la inteligencia es incalificable, las declamaciones de aquellos adolecen de todos los inconvenientes de la exageracin. Nosotros sin caer
en ella y colocndonos en un justo medio tenemos por evidente, que si las ciencias llamadas de
razonamiento por excelencia han de ocupar entre
las dems el distinguido puesto que les corresponde, fuerza es que marchen intimamente enlabiadas con'la filosofa; sta y aquellas mutuamente se complementan y robustecen, pudiendo decirse que la Matemtica es la Lgica de la Natui'nleza y la Lgica es la Matemtica del Espritu,
Y lo que decimos de las exactas debe extenderse
toda otra ciencia, con tanto mas motivo cuanto
ms en ella se acente al carcter racional; la filosofa aplicada un orden cualquiera de conociinientos dla manera que debe serlo, esto es: estudiando los procedimientos que emplea el espritu para investigar, comprobar y exponer la verdad, es un estudio no solo til, sino tambin im])rescindible. Un buen mtodo es an telescopio,
con el cual se descubre lo que 'se ocultaba la
simple vista, ha dicho un ilustre filsofo, y la.
(>omparacion no puede ser mas exacta. Arqumides peda un punto de apoyo separado de l;i
tierra para moverla su arbitrio; un mtodo CCUT
tfico perfecto, pudiera demandarse para hacer
que nuestros conocimientos alcanzaran brevemente el bello ideal de la humanidad en la Naturaleza: la omnisciencia.
Pues si lo referente al mtodo es tan importante, no llegamos comprender, como no se
le atiende con preferente solicitud. No basta que
se d .los alumnos de los Institutos un ciu^so de
Filosofia que voluntad estudinn antes, despus

<) siniulneamente con la Matemtica y sin ninguna relacin con ella; es indispensable que una
vez aprendida esta paseen su espritu con mirada
retrospectiva sobre el camino que han recorrido,
se fijen en la interior estructura del edificio que
fonstrujeron y conozcan el rganum que para el
efecto les sirvi, pues no se comprende el mtodo hasta despus de haberlo aplicado segn con
razn afirma el Jefe de la escuela positivista. P:]sto es lo racional y en nada puede por lo tanto
oponerse al carcter sencillo que distinguir dclit;
;'i. la segunda enseimza, si es que se la h AK;.
considerar no solo como fruto SEO tambin como semilla (*) pues su objeto no se limita proporcionar la juventud estudiosa un cierto caudal de conocimientos referentes determinados
ramos del saber, sino que tambin aspira al progresivo desarrollo del entendimiento, preparndolo para la fcil y elegante investigacin de
otras superiores verdades.
Convencidos de la duplicidad de objetos
de que llevamos hecho mrito, y habindonos enseado la experiencia, que si bien todos los que
la Matemtica cultivan han oido hablar del anilisis y de la sntesis, pocos seguramente se han
formado cabal idea del modo como so aplican dichos procederes, hemos procurado esclarecer el
asunto en el presente trabajo. Y no se crea que
al afirmar la oscuridad que reina en tan importante asunto, partimos de ligero; ya Lacroix en
su Ensayo sobre la enseanza as lo deca {*"")
(*) Balmes, Criterio.
(')
Pg-ina 2 0 4 = 3 . ' edicin. Me lia parecido^
nue en g-eneral no se entiende la diferencia entre ]os
procederes de la Sntesis y del Anlisis, y que no se lia
jleg-ado formar de cllog idea bastante clara.)^

VI

Y por lo visto el mal no ha tenido hasta hoy r e medio, toda vez que comparando las conclusiones
(le este sabio con las de otros que posteriormente
sobre lo mismo escribieron, se notan diferencias do tanto bulto, antimonias tan pronunei;idas que es imposible resolverlas en armonioso
.'cuerdo, pues si de los matemticos-filsofos pasamos los filsofos-matemticos, las contradicciones son tan absolutas, las negaciones tan r o tundas que el espritu suspenso no encuentra
criterio que acogerse ni precepto que asimilarse. (*)

Por nuestra parte, confesamos que an despus de llegados las funciones del profesorado,
hemos tenido que meditar bastante sobre el asun(*) Para que se vea que no exag-eramoa, comp' rense los prrafos siguientes:
Hasta ahora, el verdadero anlisis no ha sido
aplicado la Matemtica, que no parece tampoco susceptible de esta aplicacin, por lo menos en el estado
'.ctufil de la ciencia. (Lacrois, Ensayo sobre la enseany.a, pg-. 217.)
El anlisis metafsico y el anlisis matemtico,
son pues precisamente la misma cosa. (CondillacEl
lenguaje de los clculospg. 218.)
El anlisis tal como Condillac lo concibe, siendo la descomposicin de un todo en sus partes, difiere
esencialmente del mtodo que lleva el mismo nombre y
que se aplica la solucin de los problemas de razonalaiento. (Duhamel.De los Mtodos^pg. 92.)
Comprense tambin entre silos dos siguientes:
Este mtodo de descomponer los objetos y de recomponerlos seguida para abrazar perfectamente las
relaciones se llama anlisis. (Laplace.Diario de la
E;cuela politcnica.Tomo 2."pg. 71.)
I?l anlisis, no es la descomposicin de nn todo
en sus partes
es necesario emplear mtodos que en
nada se parezcan la descomposicin. (Duhamel, obra
citadapg. 82.)

vn
to, porque no podamos aquietarnos con ninguno
de los pareceres tan diametralmente opuestos que
leamos en los libros la materia consagrados y
escuchbamos de los labios de personas competentes. Ni nos era posible concebir priori, que
filsofos y matemticos, cada uno resolviese problemas iguales en esencia, de n modo tan diferente, cuando todos los hombres sin escepcion
razonan necesariamente en estado de salud con
arreglo las mismas leyes, ni quedbamos saisfeclos posteriori con las razones que en defensa
de sus teoras cada cual presentaba. Y que la
cuestin no deba quedar en semejante estado era
para nosotros evidente, pues en nuestro profundo
convencimiento de que nadie puede afirmar quo
posee medianamente una ciencia, sin conocer el
enlace y trabazn ntima de sus teoras, y an
menos nadie puede tranquilamente enseai^la sin
poseer sus mtodos de investigacin y exposicin,
estbamos obligados penetrar en la materia intentando poner en luz el acuerdo que existir debe entre el ramo de conocimientos que nuestra
aficin nos llama, y la sana filosofa. Tal ha sido
el origen de este humilde trabajo que, falta do
otro mrito, tiene el de estar dictado en obsequio de
la juventud estudiosa, con la cual naturales simpatas, auestra profesin y un trato ya largo nos
unen de por vida.

CAPTULO PRIMERO.

P r e l i m i n a r e s . (I)
Razn, Jui-I 1. Entre las diferencias que separan al hombre del
CO, Juzgar, /i.ggto dlos seres animados, ning-una tan importante coto^ocept( ^^ ^"-^'^^^'^ ^^ ^^ facultad de formar juicios.
idea.
\juicio es la operacin, en virtud de la cual, percibimos y
afirmamos una relacin entre dos trminos. Esta relacin, se llama en general conocimiento, voz que por un
tropo muy natural, se sustituye frecuentemente por la de
Juicio. Formar juicios es/2/2,i7?r; juzgando entre dos conocimientos se llega un tercero.
Razn como jente, juicio como medio, y conocimiento como trmino final, son pues los tres elementos
indispensables de Ja funcin de juzgar.
Como nuestra actividad intelectual, puede ejercerse expontnea voluntariamente, los juicios se clasifican en involuntarios y reflejos; en los primeros, los
trminos relacionados son la inteligencia por una parte
y el objeto del conocimiento por otra; cuando conozco
que llueve, que es de dia, que hace calor, es porque involuntariamente h juzgado; en los segundos se relacionan dos conocimientos anteriormente adquiridos; cuando
afirmo que Dios es justo, es porque voluntariamente he
(1) Aunque este captulo encierra solo una materia
tratada por todos los que lian escrito sobre Metodologa, la forana en que lo presentamos lo hace til para la perfecta inteligencia de los siguientes, de los cuales, por otra parte, debe ser
antecedente obligado.

Silogismo
sus clpmeiitos; su legitim i d a d ; su
empleo en la
Matemtica.

relacionado el conocimiento de Dios con el de justicia.

En adelante, nos referiremos exclusivamente estos
ltimos.
Aunque el resultado de todo juicio se llama en
general conocimiento, se suele reservar esta denominacin para cuando aquel lo miramos al travs del objeto
sobre que versa, y se adoptan las de concepto idga-para e caso en que se le vea al travs del sug-eto, pues es .
evidente, que sin objeto conocido y sugeto que conozca,
no puede existir conocimiento.
Los conocimientos, conceptos ideas pueden ser
simples conpy.cftfris. Son simples, cuando como sucede
en la de lnea recta no pueden descomponerse en otras
dos ms. Son compuestas, si como la de tringulo re-r
sultn de la agregacin de otras.
2. Para formar un juicio, son necesarios dos conoci|mientos adecuados y anteriormente adquiridos; las pro.posiciones que los expresan se llaman premisas
y la
ique traduce el juicio se denomina conclusin; entre to'das forman el silogismo que por lo tanto, es la reunin de
tres proposiciones tales que de las dos primeras se sigue
necesariamente la tercera.
Todo euL'ppo es poroso)
Ejemplo: , .
El hierro esporosoconcliisioii)
El liierro es cuerpo )

El sugnto de la conclusin se llama trmino menor porque en efecto, la idea que expresa es aplicable
menor lo sumo igual nmero de individuos que la
idea i'epresentada por el predicado de la. misma, y este se
denomina trmino mayor; por razn anloga el trmino
con el cual aquellos dos se comparan se adjetiva medio.
As en el ejemplo anterior, el liierro es el trmino menor, la jwro.?VW es el mayor, y el cwer/JO es el medio.
En cuanto las premisas, se denominan mayor menor
segn contengan uno otro trmino.
Un silogismo puede ser vicioso por la falsedad de
las premisas por la^ ilegitimidad de la conclusin una
vez aceptadas aquellas, lo cual est fundado en que se
puede j u z g a r bien con datos falsos, y discurrir mal con
datos verdaderos; lo ltimo rara vez sucede, lo primero
tiene l u g a r con harta frecuencia y no es necesario aadir
que las dos imperfecciones pudieran tener al mismo tiem-/
po lugar.No existen reglas para formar buenos silogismos porque esta operacin es la mas elemental de lag

3
que nuestra razn practica y por lo tanto no puede referirse otra mas sencilla; tampoco son imprescindibles,
pues si el que juzga est en el pleno goce de sus facultades mentales y presta al asunto la atencin debida, es
dificilsimo que se engae. Lo nico que puede decirse
con objeto de hacer una comprobacin, es que la premisa
mayor debe contener la conclusin, como un caso particular de la proposicin que ella exprese, y que la menor debe indicar que all est contenida. Este precepto est basado en que la fuerza del silogismo consiste
evidentemente en esta verdad clarsima: Lo que se dice
de todos los individuos de un grupo, se afirma de cada
uno de ellos.
En Matemticas los juicios se suelen expresar por
medio de igualdades desigualdades, las cuales, son la
traduccin fiel de relaciones dadas k j^i'iori son consecuencia de otras dos admitidas de antemano; en este ltimo caso, se forma un verdadero silogismo, expresado
con ese lenguaje breve y compendioso, que constituye
una de las mayores ventajas de las ciencias exactas.
W
Ejemplos:l.-^:^JA=C; '^^^^t.enG^^''^^^-''-''Uazona-j 3. Muchas veces para relacionar dos conocimientos,
miento,
' no basta un silogismo nico; entonces procede la razn
por una serie de ellos, de tal suerte encadenados, que
la conclusin de cada uno sirve de premisa al sig'uiente, y en tal caso se dice que se razona que
se hace uso de un razonamiento, voz que por lo
tanto es especfica respecto la de juzgar: Ejemplo:
A=BU_(
)

' >A=]S!. Si nuestro objeto era relaD=N)

ciouar la idea conocimiento A con la idea conocimiento N, lo hemos conseg-uido.
En las ciencias exactas cuya escritura con objeto
de simplificar, hemos adoptado en el anterior razonamiento, usando el signo = uno de los que sirven para
las comparaciones, se d comunmente la serie de silogismos la forma que los lgicos apellidan sorites, y que
consiste en dejar de repetir el trmino medio en cada dos
premisas haciendo tomar al razonamiento la forma de

-4
una cadena, cuyos eslabones iguales 6 desiguales relacionan indirectamente al primero con el ltimo. En el
ejemplo anterior tendramos: A = B = ; C = D = N , de donde legtimamente concluiramos A=]S!.
Ciencia, su J 4. Cuando razonamos con objeto de adquirir conociconcepto. ' mientos relativos un solo orden da cosas, podemos lle-j
g a r construir Ciencia, la cual, como quiera que todo
conocimiento supone sugeto que conoce y objeto conoci'
do, podr verse travs de este travos de aquel. De
aqu las denominaciones de ciencia siihjetiva y ciencia
objetiva para designar con distinta forma una cosa idntica eu esencia. (1)
Objetivamente considerada es la Ciencia un sistema ntegro de verdades de un mismo orden y dependientes de un solo principio. Este principio que se A'^ZDid fmdamental.
es en Matemticas el concepto de
cantidad. La palabra sislem vale tanto como reunin
ordenada, integro significa que comprende todos los conocimientos verdades que en g'rmen estn contenidas
en el principio fundamental; la frase: ds verdades, quiere dar entender que la verdad y no el error constituye
la materia, objeto propio de la Ciencia; de un mismo orden indica, que las verdades que la integran, han de ser
las que naturalmente se derivan del principio fundamental y nada ms; por ltimo: como este principio ha
de ser nico para cada ciencia particular, se aade l
condicin: dependientes de wi solo principio.
Ya se
comprende que la Ciencia as definida es la Ciencia tipo,
aquella la que el hombre tiende, y se acerca sin cesar,
aunque sin esperanza de alcanzarla completa. Por eso
medida que nuestras investigaciones van enganchando el
horizonte cientfico, el nmero de las verdades fundamentales va disminuyendo y se comprende que en el lmite, si fuere dado alcanzarlo, todo se reducira un solo
principio; el concepto de Dios.
Clasftca-) ^" ^ ^ conocimientos que constituyen la ciencia,
cion de las ip"^*^^^'^ pertenecer al orden abstracto, como la Aritmticiencias.
'ca, Algebra y Geometra, al orden espiritual como l a
Psicologa y Etica, al orden material comi a Fsica
(1)
Por esta causa y siendo nuestra intencin reducir
estos preliminares los ms pequeos lmites posibles, hacemos
caso omiso del aspecto subjetivo.

5
Qumica y Fisiologa. Los primeros los adquirimos medante uu trabajo de nuestra razn, en que esta marcha
mas all de lo que nos presentan los sentidos, y especulando sobre los resultados, establece leyes que ninguna
realidad tienen en el mundo externo, aunque l se aplican con provecho; los segundos se originan en la esperimeutacion interna, por la que atentamente examinamos
nuestras facultades y el modo que tienen de funcionar,
estableciendo en consecuencia reglas para el mas provechoso uso de aquellas; los terceros nacen de la observacian y experiencia externas. Tienen de comn los dos
primeros grupos el que sus verdades son eternas, necesjirias y perfectsimas, al paso que las del tercero son co//.s'tanfes, solamente dada, la in variabilidad d l a s leyes de
la Naturaleza.
De aqu resulta que con arreg-lo la clase de verdades deque se ocupanlasciencias,estas pueden dividirse
en racionales, espirituales y naturales. (1) Ni en las unas
ni en las otras campea esclusivamente ninguno de los
dos elementos razn y experimentacin, por mas q\ie en
las dos primeras predomina la razn y en la tercera la
experiencia sensible, y tanto es as que an en las racionales llamadas tambin exactas por escelencia hay que,
admitir intuiciones que traen su origen de aquella: tal
sucede en el concepto que tene;nos formado de lnea
recta.
6. Adems del principio fundamental, uno para cada
Principios
formales; da- ciencia pxrticnlar y probablemente idntico para todas,
tos primeros) necesitan las ciencias para desarrollarse otros principios
que se adjetivan formales y que puede ser axioinas
leyes ex])erimentales; los axiomas son verdades evidentes
por s mismas, comunes todas las ciencias y que tienen
su origen en la observacin espontnea. Ejemplo: lo
que se dice de una cosa, se dice de su igual. Los principios leyes experimentales son privativos de las ciencias
naturales y toman origen de la observacin y experimentacin voluntarias; estn fundados en el llamado
principio de induccin, que se expresa as: En la Natu(1)
Tibergien distingue dos clases de ciencias solamente:
las ciencias de principios y las ciencias de hechos. Las de principios comprenden los dos primeros grupos de la clasiflcacion
que nosotros dejamos apuntada; las de hechos soij las del torcer grupo.

6
raleza todo fenmeno, se produce en virtud de leyes constantes y generales. Ejemplo: la luz se propag-a en lnea recta. Los principios formales desempean respecto
al fundamental en cada ciencia determinada, anlog-o
papel que el calor y la humedad respecto al gormen de
cada planta que ha de desarrollarse, y puede decirse que
la nica diferencia que separa los axiomas de las leyes experimentales consiste en que los primeros las comprobaciones se presentan por s mismas, y en los segundos, tenemos que trabajar para buscarlas. Cuando decimos: dos
cosas iguales una tercera son iguales entre s se presentan instantneamente nuestra memoria multitud de
ejemplos que sin escepcion corroboran la universalidad
del principio. De esta cuestin, ntimamente ligada con
el origen de nuestros conocimientos, volveremos tratar
mas adelante.
De la observacin expontnea, ayudada de la reflexin, se sacan en cada ciencia particular, ideas generales, que determinan completamente la naturaleza de
las cosas encerradas en el principio fundamental. A estas ideas las llamaremos datos primeros y el nmero de
ellos es tanto menor cuanto mas se.acerque la ciencia al
tipo de las abstractas, que es el que en todas convendra
alcanzar, ser posible. As en la Aritmtica sern datos
primeros las ideas de unidad, pluralidad y totalidad, y
en Geometra las de cuerpo geomtrico, superficie, linea y punto, forma, posicin, equivalencia, semejanza
- /
igualdad.
Dc'luicion. 1 7. La verdad no se define: es su concepto tan gene],a verdad es fral, que por la misma sencillez que le distingue no pue"/|!"fl"'''|<'- de descomponerse en otros que lo sean ms, condi^/.yj/jjj"
jcion indispensable que debe satisfacer todo objeto
definible, pues definir una cosa es igualarla otra mas
general de antemano conocida, la cual por la adiccion de
algn nuevo carcter se convierta en aquella que se quiere definir. As cuando pai-a definir el tringulo decimos que es el polgono que consta de tres lados, ligamos
su concepto al de polgono que conviene infinito nmero de figuras, y luego particularizamos el tringulo,
aadiendo que debe tener precisamente tres lados. Tampoco es imprescindible el definir la verdad, pues como sucede con todas las ideas simples indescomponibles, est tan grabada en nuestro espritu, que no hay persona

^7
que no la distinga y an de ella no se haya creido alguna vez en posesin. (1)
Respecto la certidumbre de poseerla en cada
caso determinado, hay que distinguir entre las verdades
que pertenecen al mundo del espritu y las que corresponden al universo material; las primeras no admiten
probabilidad alguna de duda; de lo que nuestra conciencia nos afirma, de lo que nuestra i'azon nos evidencia,
estamos absolutamente ciertos; no hay necesidad de criterio seal alguna para establecer semejante linaje (!>
verdades, sopea de convenir en que Dios ha querido
burlarse de nosotros hacindonos juguetes de una constante ilusin.
Pero si en las afecciones de nuestra alma y en lo^
productor de nuestra inteligencia no podemos equivocarnos, no sucede lo mismo con la causa de estos conocimientos; el testimonio de ios sentidos es falible, aunque
no debe recusarse por sistema; no debe dudarse de todo,
sino examinar atentamente todas las pruebas, sometindolas un rigoroso contraste. (2)
Caracteres ( 8. Definida la ciencia como lo hemos hecho, fcil e-
lie la ciencia, {asignar sus caracteres. En efecto; pues que h de radicar
de un solo principio, h de sar una, h de tener
unidwh
y pues que h de formar un sistema ntegro, h de sor
universal, h de tener universalidad,
la cual lleva como corolario la variedad, as como la unidad, entraa
la arnionia. Sin embargo, ya hemos indicado, que dada
la imperfeccin de la humana inteligencia, no hay ni
habr ciencia alguna que en que la parte determinada
descubierta, alcance por completo al tipo perfecto qut*
hemos definido.
(1)
A. los que intentan definir la verdad, diciendo q'ae es
la conformidad de una ncon con su objeto pudiere preguntrseles qu entienden por conformidad de una nocin con su
objeto y seguramente se veran para responder en gran embarazo. Cometen un crculo vicioso, diciendo con muchas palabras
lo que puede decirse con una sola: la verdad.
(2)
El escepticismo que en las escuelas, griegas, liabia
degenerado en una ridicula cliarlatanera, despojado por los
modernos de sutilidades pedantescas, ha llegado ser la verdadera fllosofia, y consiste no en dudar de todo, sino en pesar todas las pruebas, sometindolas un rigoroso anlisis; no en
probar que el hombre nada puede conocer, sino en distinguir
bien, y en elegir por objeto de su curiosidad lo que es posible
.descifrar. (V. Conaorcet.Elogio de Franklin.)

8
Concrecin. I 9. ^ poco que reflexionemos soLre la manera segn
Abstraccin.) ]g^ g^^^l gg^jj g^ mjgg|.j.g^ mente clasificados los conocimientos, veremos que semejanza de lo que sucede en la
Naturaleza, donde muy pocos cuerpos simples, dan orgen esa infinidad de materias, que bajo tan distintas
formas se nos presentan, asi un nmero relativamente pequeo de ideas elementales indescomponibles, forman
todos nuestros conocimientos. De aqu resulta, que col-'
cados en uno cualquiera de ellos, podemos proceder la
consideracin de otros distintos dentro del mismo orden,
por dos caminos diametralmente opuestos: el primero,
que pudiramos llamar ^O'coCvc/o?i, consiste en la
sucesiva agregacin de nuevas ideas, que van haciendo al
conocimiento cada vez mas complejo, particular y determinado; el segundo, que pudiramos adjetivar _por aistraccin, consiste en la sucesiva sustraccin de caracteres, que nos v conduciendo por unasriede conocimientos, cada vez ms sencillos, generales indeterminados.
Del primer proceder tenemos ejemplo en el paso
del concepto de lnea al de ngulo, de este al de polg-ono, de este al de tringulo y de es!e al de tringulo equiltero, en la sucesiva consideracin de los nmeros, entero, quebrado ordinario y quebi-ado decimal. El segundo
camino se nos presenta en la sustitucin del concepto de
tringulo equiltero, por el de tringulo en general, del
de este por el de polgono, ngulo y lnea, en la de el
de quebrado decimal por el de quebrado ordinario y nmero entero.
Se comprende que la primera va, es en el orden
racional, la nica que emplea nuestra inteligencia para
enriquecerse con nuevas verdades, porque est en su dbil naturaleza el marchar siempre de lo simple lo compuesto, en cuanto al orden segn el cual aquellas deben
encadenarse, pero no sucede lo mismo con el estudio de
cada conocimiento individual, pues en este, con el objeto da estudiarlas separadamente, atacando las dificultades en detalle, abstraemos las ideas componentes si se
trata de un conocimiento racional separamos fsica
mentalmente las partes que integran su objeto si se trata de un conocimiento sensible. As, en Algebra, separamos la cantidad de la cualidad de los nmeros; as en
Geometra consideramos un cuerpo material cualquiera y
prescindiendo de todas sus propiedades menos de su ex-

9
tensin, nos resulta lo que llamamos cuerpo geomtrico,
de este abstraemos una dimensin y ee nos presenta la
superficie, hacemos lo mismo con esta y nos queda la lnea, repetimos con ella idntica operacin y llegamos al
punto, del cual no podemos pasar por no ser su concepto
susceptible de sustraccin alguna.
Generaliza-1 iQ. Esta disgregacin de un todo, en sus partes rea^'
^ les suele ser provechosa, pero la resolucin de un conocimiento complejo en sus elementos ideales es de todo punto necesaria, pues que por gu medio, recogemos los materiales indispensables para la generalizacin formacin de ideas generales, funcin importantsima, mediante la cual totalizamos en un tipo ideal comn, las cualidades caracteres que hemos abstrado de los conocimientos particulares. Asi adquirimos las ideas abstractas del bien y del mal, de lo justo y de lo injusto, de los
colores, de los placeres, de los dolores, etc., despus de
haber presenciado varias acciones buenas y varias malas,
algunas justas y otras injustas, despus de haber experimentado repetidas sensaciones producidas por tal cual
modo de reflejarse refractarse la luz, despus de haber
sufrido muchas impresiones de placer y otras muchas
de dolor. Desde aquel momento, dichas ideas permanecen
en nosotros, nuestro espritu se las apropia y las aplica
en el acto del conocimiento de cualquier x)bjeto particular sometido su actividad, pero guai'dmonos de creer
que tienen en s existencia real fuera de nuestra inteligencia, sino queremos caer en errores parecidos los que
cometi la antigua fsica, materializando la luz, el calrico, la electricidad y las fuerzas en general.
CQ abstrae- \ 11. Resulta que la abstraccin es funcin previa para
Pe^sabe*^^^' (^^ generalizacin, y ahora vamos probar, que es indis"a adquinr' (pensable para la adquisicin de la ciencia. Esta en efec<^iencia.
)to, no versa sobre conocimientos concretse individuales,
como seran el de un cierto nmero entero, el de un tringulo determinado, versa sobre abstracciones, sobre conocimientos generales, sobre aquellos caracteres que por
ser comunes las cosas todas de un mismo i*den cualC[uiera son aplicables todas ellas, todos los enteros
imaginables si se trata de nmeros enteros, todos los
tringulos trazables si estamos en Geometra. Sobre estos
materiales es sobre losfc[uela Ciencia se asienta y espe3

10
cula, y claro est que sin ellos, jams llegaramos
construirla.
Sntesis, I 12. Las dos vas que hemos Uam6.o por concrecin,
Anlisis. ^ y. ^ ^ abstraccin, nicas que nuestra inteligencia puede
recorrer, dan origen los dos procederes nicos tambin,
que aquella emplea para investigar y ensear la verdad,
y que respectivamente toman lnoxahve/Snlesis y Anlisis. En la Sntesis, se pasa de lo simple lo compuesto,
y como lo ms simple es lo ms general, tambin se puede decir, que se pasa de lo general lo particular. En el
Anlisis, por el contrario, se narcha de lo compuesto
lo simple, de lo particular lo general; pero hemos visto, que la concrecin y la abstraccin pueden recaer lo
mismo sobre los conocimientos i-acionales que sobre los
sensibles, luego habr sntesis y anlisis que denominaremos subjetivas porque no existen fuera del sugeio, que
conoce, y sntesis y anlisis objetivas porque versan sobre el objeto que fuera de nosotros se presenta.
As, si prescindimos de uno varios atributos de
un todo cualquiera, habremos hecho un anlisis subjetivo, como sucedera si del enunciado de un teorema
problema descartsemos alguna de sus condiciones, si
de la idea de tringulo rectngulo pasramos la de
tringulo en general; pero si descomponemos una cosa
cualquiera ya sea material ya sea ente da razn en sus
partes constitutivas, habremos efectuado un anlisis objetivo, como acontece cuando en la extraccin de la raiz
cuadrada de un nmero entero, distinguimos dos casos,
cuando pasamos del concepto de cuerpo geomtrico al de
superficie, finalmente, cuando descomponemos una mquina en sus rganos para mejor estudiarla. En suma: el
anlisis subjetivo, versa sobre cualidades de la cosa pensada, que no tienen de por s existencia propia ni an en
idea, mientras que el objetivo se opera sobre partes que
pueden concebirse separadas. Creemos muy importante
esta distincin, porque el no tenerla presente es en nuestro sentir, la causa de que gemetras ilustres se empeen
en no ver la identidad entre los mtodos por ellos empleados y los que usan los filsofos.
Extensin;) 13. Ya que la Ciencia se funda sobre ideas generacomprensin (les, obtenidas mediante abstraccin, conviene determi-Sus lmites; nar exactamente el valor relativo de ellas. Para verificarlo, atenderemos su extensin y su comprensin.

II
Extensin de una idea es el numer de individuos que
se estiende es aplicable, por ejemplo: la idea de nmero, es aplicable los enteros, los quebrados y los incomensurables; los positivos, los negativos y los
imaginarios; la idea de polgono se estiende los tringulos, cuadrilteros, etc., ya planos, ya alaveados, ya
rectilneos, ya curvilneos. Comprensin de una idea es
el nmero de atributos caracteres que la integran; as
la idea de nmero, comprende las de cantidad y cualidad ; la de polgono comprenda la de lados, ngulos y
espacio cerrado.
Entre la extensin y la comprensin de una idea,
h a y cierto antagonismo, en virtud del cual, tanto aumenta la una cuanto disminuye la otra, y esto se comprende sin esfuei'zo, pues si nos fijamos en una idea cualquiera que no sea indescomponible, podremos operar con
ella por via de concrecin por via de abstraccin.En el
primer caso, iremos agregndole nuevos caracteres, y
por lo tanto ganando en comprensin; p^X'o los nuevos
estados porque ir pasando, sern cada vez mas particulares y determinados, y por lo tanto cada vez, aplicables
menor nmero de individuos; es decir: dichos estados
irn menguando en extensin. As, si la idea de Aritmtica, considerada como ciencia que se ocupa exclusivamente del cuantum cuantidad del nmero, le agregamos la idea de cualidad del mismo, resulta el concepto del Algebra que trata del nmero bajo todos sus aspectos esenciales. La Aritmtica, tiene pues mayer extensin, es mas .9'(??ier^? que el Algebra, la cual s u vez tiene mayor comprensin, es mas compleja que la Aritmtica. (1)
(1)
Lo contrario se viene afirmando desde el origen del
Alg;ebra, quien lleg calificarse en sus primeros tiempos' de
Aritmtica universal, tal vez p )rque la diferencia entre ella y
la Aritmtica, se hacia consistir en que el nmero estuviese
representado de un modo indeterminado, por medio de signos
generales, que lo estuviese de una manera estremadamente
especial, por medio de cifras guarismos particulares. Se confundid el representado con el representante y los autores do
Aritmtica por ser consecuentes en su error renunciaron hasta
hace poco la sencillez que sus demostraciones, poda dar el
empleo de las letras del alfabeto para figurar la cuantidad de
un nmero cualquiera. Nosotros que ciframos dicho carcter, en
que se consideren simultneamente las categoras de cantidad

12
Por el contrario: en el segundo caso, iremos abstrayendo caracteres, y por lo tanto ir menguando la
comprensin, pero los nuevos estados por los que la primitiva idea ir pasando, sern cada vez mas generales
indeterminados, y consiguientemente aplicables cada vez
mayor nmei-o de individuos. As, muchos problemas
que son imposibles en Algebra por no acomodarse la
Cialidad dla, aolucion, alas condiciones impuestas en
el enunciado, quedan perfectamente posibles sino se
atiende mas que la cuantidad del resultado.
Si despus de haber operado por abstraccin cdn
una idea cualquiei'a, continuamos haciendo lo mismo con
las resultantes, llegaremos necesariamente una, que
por no constar ms que de un solo carcter, ser indescomponible. Esta idea que podemos adjetivar, simple,
ele7n'!ntnl generalsima, tendr el mximum de extensin y el mnimum de comprensin; tal sucede con las de
punto j tmidad absoluta. Viceversa: si procedemos por
concrecin, podremos seguir nuestro camino, sin otros lmites que los impuestos por la Naturaleza si de un objeto
material se ti*ata^ de los que quiera poner nuestro libre
albedro, si de entes puramente racionales nos ocupamos; entonces el resultado ser una idea individual, como la de el niimero 358.
Fuentes de i 14. Ya hemos indicado que la adquisicin de nuestros
coDocimien- jconocimientos, se verifica siempre por intermedio de los
sentidos por intermedio de la razn y que en uno y otro
caso la conciencia nos lo acusa; estos son pues los nicos
conductos por donde llega nosotros todo lo que sabemos, pero cada uno de ellos debe tener y tiene su peculiar origen causa. Respecto los sentidos todo el mundo est de acuerdo en atribuir la observacin y al esperiraento, cuanto nos comunican, y relativamente l
razn, pueden suceder dos casos: se trata de conociy cualidad en el nmero, que se prescinda en lo posible de esta ltima, no tenemos por contradictorio, el que el Algebra,
siendo ms particular que el Aritmtica, sea sin embargo aplicable todas las cuestiones que en esta se tratan y algunas
ms, pues precisamente, este es uno de los caracteres distintivos de lo particular respecto lo general. Las aplicaciones, por
ejemplo, del hierro son lis mismas que corresponden todos los
metales en general, j algunas ms, debidas las condiciones
que lo particularizan entre ellos.

18
mientos ms 6 menos individuales se trata de conocimientos elementales; si de los primeros, no hay duda que
los antecedentes son otros conocimientos, tambin ms
menos individuales que sirven de datos al razonamiento,
si de los segundos las opiniones se dividen. Unos siguiendo Platn, confiesan que dichos conocimientos elementales tienen su origen en la observacin, pero recusan
el que de ella directamenie se deriven, pues admiten que
nuestra inteligencia lleva en s misma ciertas nociones y
ciertas formas, que solo estn aguardando la occisin de
un heoho emprico de su especie respectiva que les sirva
de antecedente cronolgico indispensable para manifestarse nuestra conciencia; tal es hoy la opinin ms g-eneralizada. Otros, adoptando la mxima Aristotlica-.
Nihil est in intellectu quod non pris fuerit in sensu.i)
adicionada posteriormente por Leibnitz con la frase sed
intellectus ipse dan la observacin cuotidiana como
la causa pi'imera y nica de todo conocimiento; finalmente, la escuela de Descartes afirma que para nada interviene la experiencia en la adqujsicion de semejantes verdades, que son innatas en nuestro espritu.
Naturaleza \ 15. La palabra Mtodo, se deriva de las dos griegas
0*1 Mtodo yy^^gtd y odos etimologa, que vale tanto como en camino
en general.),
J
.
i ^
i^
i ^
Suselemen-'^i'^^ ^^^'^^'^^'' pero el que est en cammo el que va
tos.
\por un camino, marcha, anda, d una srie de pasos ordenados dirigidos un fin propuesto, es decir: que el
mtodo en general, y segn la composicin de la voz
que lo expresa, es una srie ordenada de operaciones
para llegar un fin de aqu se deduce: Primero: que no
pudiendo conseguirse fin alguno sino por sus medios
propios y adecuados, el Mtodo es aplicable todo, es
necesario para todo y efectivamente, mtodo es necesario
para construir las ciencias, mtodo para ensearlas, mtodo para la consecucin del fin ms vulgar y sencillo y
mtodo para la operacin ms trascendental importante. Segundo: que habiendo de ser los medios proporcionados los fines y siendo estos tantos y tan diversos,
muchos y muy diversos tienen que ser los mtodos. Pero
en medio de esas diferencias, todos tienen y no pueden
menos de tener ciertos elementos comunes, los elementos
generales de todo mtodo; pasemos pues determinarlos.
Segn hemos definido el mtodo, tres son sus elementos constitutivos: el ser v.una sriei) lo cual supone

14
principio 6 punto de partida; el constar de operaciones
ordenadas lo cual exige pluralidad de medios adecuados, y el estar estos encaminados nn;?. Punto de
partida, medios y fin, son pues las tres notas generales,
comunes todos los mtodos.
Mtodo cien-1 IQ. Entre la inmensa variedad de mtodos, cada uno
titico. Su na-^(jggtinado conseguir un fin diverso, el que sirve para
yes particu- investigar y exponer la Ciencia, se llama ('-Mtodo cienInres.
]ti/icoii y evidentemente quedar determinado, siempre
que se conozca su principio, sus medios y su fin. Del
principio nada decimos, porque es distinto para cada
ciencia particular; el fin es, la adquisicin y enseanza
de la misma ciencia; los medios son lo que nos interesa
estudiar, pues rigorosamente hablando, ellos caracterizan al mtodo, y ya que han de ser apropiados al objeto
que se h de conseguir, debern estar conformes con la
ciencia, lo que es igual, se referirn al entendimiento, nica potencia cognoscitiva. Diremos pues, que la
inteligencia es el agente, las operaciones intelectuales
son los medios y la cisncia es fin de todo mtodo cientfico, y por lo tanto, lo definiremos como una srie ordenada de operaciones intelectuales, conducentes la
adquisicin de la ciencia. De aqu se sigue: 1." que siendo imposible nuestra inteligencia el pasar de uno otro
conocimiento sin que aquel sea ms fcil que ste, se
debe proceder siempre de lo ms lo menos conocido;
2. que estando las verdades de cada ciencia, encadenadas de un modo continuo, esto es, sin soluciones de continuidad y no siendo posible nuesti'a inteligencia obrar
per saltum, no se debe intentar el paso de un conocimiento genrico otro individual sin recorrer uno por
lino y en el orden natural todos los conocimientos especficos. En descubir este orden natural, est todo el secreto de la ciencia.
Dificultad escalonada y gradacin suavsima, son
pues las leyes peculiares del.mtodo cientfico.
Doble proce-'\ l7. Pues que el Mtodo cientfico, como auxiliar de la
dimitinto del /inteligencia, debe acomodarse su naturaleza, es claro
Mtodo cien-qyg gyg procedimientos sern anlogos los que aquella
' ^'^'
' puede practicar para adquirir y exponer la ciencia; pero
esta tiene por nico objeto el Ser. luego sus procedimientos debern acomodarse el orden y respectiva distribucin segn la cual estn colocados los Seres. Ahora

15
bien: estos, ya sean naturales ya pertenezcan al mundo
del espritu estn dispuestos en forma de escala, ascendente de lo particular lo g-eneral, de lo compuesto A
lo simple; descendente desde lo general lo particular,
de lo simple 4 lo compuesto, y pues el paso de un conocimiento cualquiera otro de su mismo orden, hemos dicho que no puede verificarse, ms que por concrecin
por abstraccin de partes materiales si se ti'ata de un conocimiento sensible y de caracteres notas si se opera
sobre ideas suprasensibles, es evidente que la intelig-encia humana, y por consiguiente el Mtodo, slo puede
recorrer dos caminos: bajar de lo general lo particular, subir de lo particular lo general; al primero, le
hemos llamado sntesis procedimiento sinttico; al segundo, andlisis procedimiento analtico.
)
18. Si se sigue la primera va sacamos del conociBeduccion.
Iflduccion. * miento de que partimos, otro menos extenso, menos general, de este otro con las mismas condiciones, y as
continuando, hasta llegar aquel que forma el trmino
de nuestro viaje intelectual; si marchamos por la segunda, el conocimiento de que partimos, ingresa se introduce en otro ms extenso, ms general; este lo efecta
su vez en otro con las mismas condiciones, y as continuando hasta llegar aquel en que debemos detenernos.
A la primera se la ha llamado deduccin (deduco-is;
sacar), la segunda induccin (induco-is; introducir).
Parece intil aadir, que el ejercicio de ambas, como el
de toda funcin anmica, puede ser voluntario involuntario.
Paso de la
19 Para terminar este captulo haremos observar: 1.'
'Verdad fal- Que de la verdad de lo general, se deduce la verdad nesedad de lo
general la cesaria de lo particular, pues lo que se dice de todos los
<*e lo particu- individuos de un grupo, se afirma necesariamente de
lar y yicg. cada uno de ellos, y al tomar nosotros dicho principio ge^ersa.
neral por verdadero, es porque no admitimos escepcion
para ninguno de sus casos particulares. As, cuantos
pi'eceptos y cuantas reglas sean verdaderas para los quebrados ordinarios, lo sern para los decimales, que forman el caso particular de que el denominador de aquellos
sea una potencia entera de diez. Cuando admitimos como
verdadera la proposicin: La suma de los ngulos de un
polgono plano y rectilneo, es igual tantas veces dos
rectos, como lados tiene menos dos la admitimos tambin

16
implcitamente para el tringulo, cuadriltero, pentg-ono y todo otro polgono especial.
2." Que de la falsedad de lo general no se injiere la
falsedad necesaria de lo particular,
pues lo que se nieg a con razn suficiente de un conjunto de individuos, pudiera no ser racionalmente negable de alguno algunos
de estos. As de que sea falso que todos los hombres son
buenos no se deduce necesariamente que sea falso el que
tal cual hombre sea bueno; de que sea falso que todos
los nmeros son quebrados no se saca el que sea falso
3

que el nmerosea un quebrado; de que sea falso que

las caras de todo poliedro son cuadrados no se sigue
que las del cubo dejen de serlo. (1)
3. Que de la verdad de lo particular no se signe
forzosamente
la de lo general, pues lo que se diga de
uno varios individuos de un grupo, pudiera no convenir
los restantes. Por eso, cuando se quiere establecer una
propiedad general, es necesario patentizar que es exacta
para cada uno de los casos particulares que comprende,
lo que es ms elegante, pero ms difcil, remontarse de
(1)
Dubamel, en su obra acerca del Mtodo, expresa este segundo priucipio diciendo que de lo falso puede sacarse lo
verdadero y da entender que h pasado desapercibido, para
cuantos filsofos se lian sucedido desde Aristteles. Tomndolos
de \o%<'principios anah'ticostde este sabio, copalos ejemplossiguientes: Tod!o hombre es piedra 1 ^
^ ^ -L
.
_, , . j
1 Luego todo hombre es animal
Toda piedra es animal
"
Todo caballo es animal.
)^

i
v
u ii
T,..
,
,
. , > Luego mngun hombre-es caballo.
Isingun hombre es animal, i
Lo que le conduce esplicar el hecho afirmado: que puede
suceder que el conocimiento de que se trata sea una mezcla do
verdad y falsedadlo cual no tiene lugar en ninguno de dichos ejemplos ni puede acontecer jams, pues que cada premisa
es y h de ser, completamente verdadera absolutamente falsa,d tambin que en las aplicaciones repetidas que de l se
han hecho se hayan introducido errores que se compensen destruyndose los unos con los otros lo que ni en la resolucin de
problemas, ni en la demostracin de teoremas puede nunca suceder, porque la cuestin con quien enlazamos aquel y el
principio con el que ligamos este tienen siempre de antemano
adquirido el carcter de certidumbre, sin lo cual el razonamiento debiera recusarse como ilegtimo.
Por lo dems, basta abrir cualquier tratado de Lgica para encontrar en la parte relativa la comparacin de las proposiciones, el principio que esta nota se refiere.

17
un solo vuelo y abarcar en un solo razonamiento cuantos
puntos de vista puede ofrecer la cuestin, finalmente:
adoptur un temperamento medio entre los dos anteriores,
examinando uno ms casos particulares pero no todos,
y hacindolos en seguida servir de apoyo y obligado antecedente al razonamiento en virtud del cual el enunciado
toma el carcter de general.
Del primer proceder son ejemplos las demostraciones que ms ordinariamente se emplean para evidenciar la regla de la multiplicacin de un polinomio por un
monomio, y el teorema trigonomtrico de Carnot; del segundo nos los ofrecen, la teora algebraica de las fracciones, que comprenden las de trminos errtferos quebrados,
incomensurables, positivos negativos, y la proposicin
relativa la suma de los ngulos de un polgono plano
y rectilneo cuando para demostrarla nos servimos solamente de la suma de los ngulos externos que resultan
prolongando los lados en un mismo sentido; del tercero
podemos citar la deduccin de la frmula del binomio de
Newton, cuando el exponente es entero y Ift. de el teorema
geomtrico antedicho cuando el razonamiento se apoya
en el valor de la suma de los ngulos del tringulo.
4 " Que de la falsedad de lo particilar se concluye
inelndihlemente la de lo general, porque lo que no convenga una de las partes de un todo, aunque convenga
las dems, nunca podr afirmarse de todas ellas. Por
eso, si lo que se busca es poner en luz la falsedad de una
proposicin. Instar evidenciar la de uno siquiera de los
casos especiales que compendia.

CAPTULO SEGUNDO,

P l a n de las Ciencias abstractas.

Plan de las \ 20. Considerando ya al Mtodo cientfico, solamente
ciencias abs- (g^j relacin con las ciencias abstractas, se trata de saber
^^^g^^^'^^^'iQs el andlisis 61a, sntesis el procedimiento que en
' ellas conviene adoptar.
Para responder esta cuestin, debemos distinguir dos casos: se trata de hallar cual es el orden seg-un el que deben estar colocadas las verdades, se quiere
conocer el mejor camino para la investig-acion y exposicin de cada una de ellas aisladamente pensada; si lo
primero, tendremos lo que se llama plan de la ciencia;
si lo segundo habremos llegado lo que especialmente
se conoce con el nombre de mtodo de la misma. Cierto,
que si la palabra mtodo la tomamos en su acepcin
ms lata y general, el plan no ser ms que el mtodo
en lo que al orden se refiere, con lo cual nada en la esencia de su concepto habr cambiado. Pasemos ocuparnos del primer extremo.
Las ciencias abstractas tienen por objeto lo suprasensible, las relaciones necesarias y universales que son
independientes del sistema que rige al mundo; sus verdades son eternas, necesarias inmutables, como fundadas
en la esencia misma de las cosas y no estn por consiguiente escritas en el libro de la Naturaleza donde todo
es temporal, contingente y mudable. De aqu que la observacin y la experiencia no hayan contribuido formarlas con otra cosa que con la indispensable ocasionali-

19
dad de la excitacin del raciocinio cuya propia virtud
estn encomendadas, y por lo tanto se pueda y deba empezar su estudio por los principios ms universales y
concluir por sus ms particulares verdades.
Ahora bien; pues que hemos llamado plan al orden segn el cual aquellas se suceden, podremos por lo
dicho establecer, que el plan sinttico es el nico que
ebe emplearse en las ciencias abstractas.
Los lgicos sustituyen veces la palabra^?7ipor
la mas general de mtodo y entonces resulta una antinomia, que no es mas que aparente, entre el principio
que dejamos sentado y el tan vulgar cuanto verdico
aserto de que el mtodo analtico es la gran palanca con
que se han removido y i'emueven las mayores dificultades de la Matemtica.
De lo que llevamos expuesto resulta, que la construccin y estudio de toda ciencia abstracta habr de
principiar por las verdades ms universales siguiendo
por las que lo sean menos y concluyendo por las mas
particulai'es, y ahora aadimos que para descubrir este
orden es indispensable valerse tanto de la sntesis cuanto
del anlisis, pues mal podramos comenzar y proseguir
nuestro camino sin estudiar el principio fundamental y
todos los dems que de l, prxima remotamente se deriven bajo todos sus aspectos y en todos sus elementos
sucesivamente.
En lo que no hay conformidad de pareceres, es en
la pauta lgica que conviene adoptar en semejante construccin, por lo cual nosotros nicamente aconsejaremos
la ms en armona con nuestro modo de pensar, y que
consiste en estahlecevprimero cual es el verdadero concepto de la ciencia de que se trate, descubriendo los elementos componentes de su objeto y una vez aislados,estudiar cada uno de ellos en s mismo y apreciar las modiicacionesde que es susceptible,^ejMi?^ relacionar cada
uno con los dems y por ltimo reconstituir el todo haciendo la sntesis final; repetir las mismas operaciones
sobre cada elemento de los descubiertos por el anlisis y
continuar de un modo semejante el doble camino emprendido, descendiendo desde el objeto de conocimiento
al problema mas complejo, y ascendiendo desde cada nudo de la ciencia sus ltimos elementos.

soComo ejemplo de lo dicho, intentemos principiar

el trazado de! plan ea la Matemtica.
Plan do la^ ^ 1 . Si nos fijamos en una cosa determinada cualrjuieCiencia Ma ra (1) podemos mirarla bajo dos aspectos esLMiciales nitemtica
cc!s (|ue son: 1." independientemente de las diTni'is de su
g-nero. '2." en relacin con las dems ile su -.'ero.listos puufos de vista, son si empric-nente se les considera, siempre, simultneos inseparaljies.Asi al pi-nsar
en una circunfenMicia de crculo puedo ver en ell;;.- 1."
ai[uello ([ue constitu3'e su esencia en el sentido viilg-ar
do la palabra, aquello por lo que es circunferencia y no
otra cosa, aquello que si se, modiicas;; desa]>ai'eceria la circunferencia; 2." aquello que en (da liay de accidental y variable, aquiilo que puede modincarse suisistieudo la circunferencia. As tambin al considerar un
nmero quebrado puedo por un bulo pijusar, que es
(inu totalidad dt! partes ii^-ual(>s cualespiiera de la iniidad y por otro puedo ver apiello que le liacc; ms menos grande; si lo supon^-o solo, aisiido, se me aparece lo
primero, si eu relacin con otros quebrados veo lo seg'undo; el que sea un quebrado y no otra cosa, es inssparabK del objeto pensado, el que sea mayor menor, es
se])arable, mes bien pudiera tener otra cualquiera forma
sin dejar por eso de existir como quebrado.
llesuita pues que desde el rimer punto de vista
se descubre todo lo (pie la cosa tiene d(f coman con las
dems de su o-nero y esto se llama su ci(,ald:i(l y desde el s(;;:^-un o se percibe todo lo que la sopara y distingue de las dems cosas de su g-nero que es lo que se denomina su c/^'/i//V///^^ c/7//V^'/^/,-todo lo que, pudiera
expresai'se de la manera sif^'uiente; ((Las cosas se determinan por su cnnlidad en faeneros y dentro de cada faenero se individualizan por U cantidad. La cualidad y
la cantidad, son pues, (ui cierto modo lo que vulg-armente so denomina materia y forma,sustancia y accidente de las cosas.
l'i! concepto de WJi'/(7/, siendo orig-inado siempre por la relacin entre cosas de un mismo g-nero, con
objeto de individualizarlas, se comprende (pie dicha cornil) Entendemos por cMsta todo lo que puedo ser sujeto objeto (e un acto mitorial inmaterial, y porcosa latural apiuila (jiiu uu el muudo de la Naturaleza existe.

21
p a r a c i o n liabr por necesidad de efectuarse m e d i a n t e los
lmites de l a s cosas c o m p a r a d a s , pues que estos limites
son lo nico que d i s t i n g u e y separa cada u n a de e l l a s
d e l a s d e m s cong-neres: el fondo es idntico p a r a todas
y no servira por lo t a n t o p a r a d e t e r m i n n r l a s . (1)
Si pues p a r a obtener ]n cantidad de u n a cosa, so
La de c o m p a r a r inodiauti; Vniiites con on-a cosa, no h a b r c a n t i d a d en l a s ilimitadas infinitas. Xo debo verse u n a contradiccin entre esto y el lae s ; considorcn en
l a M a t e m t i c a canti'lades njia.'i'is pues el ininito (ue
a l l so estudia no t's ol intnito alisolno m(>tnfsico. sint)
el f|ue con ms propidad debiera l l a m a r s j nJ/'fi.ndo. es
decir: aquello luyosi lmites nuiv j^-raub's m u y ]ie(iucos se roiicihcn
[lero no se pueden i m a g n a r . li") A'
p u e s diremos: qa(! cantidad infinita es a(|nella cuyos lmites se, eouciben, pero no se pueden i m a g i nar t a l sucedo con el n m e r o da trminos de la serie:
-^-"+-T+ir+T(+
~ 1 ; y con el n u m e r o de p u n tos de u n a r e c t a de lonj^itud d e t e r m i n a d a : u n a recta de
doble long-itud t e n d r n e c e s a r i a m e n t e doble n m e r o de
puntos.
La c a n t i d a d y l a c u a l i d a d , son cosas nat>ir:iles y
finitas; son n a t u r a l e s porque en l a N iturale:a se d a n como a t r i b u t o s ; son finitas, porjue eir cosas finitas solo
a t r i b u t o s finitos.se pueden en(!ontrar. Lae^-o h a b r c a n tidad y c u a l i d a d en l a c a n t i d a d , c u a l i d a d y c a n t i d a d
(1) Cu;uido se com])aran dos cosas do lrercnto g;'i(ro
cvialidail, es menestci- ijuf.liaya utro [ji'aM-i) superior en ([ue ambas estn eoiiipruiditlas, y solo Irijo esta eonieioa soa c inparables; as las e.autidules positivas, las uef^ativas y las imajxinarias, son comparables bajo el eoiicepto coimiu de eaatidados, un
trinl^iilo y iiucrealo son comparables como superllcies so!amoute, ua'iniaeral y un vefjetal son comparables como euor]>os
fsii'O-qiiilicos nicamente, US decir cu cuanto su extensin,
densidad, composicin, etc.
2)
Didme una cosa fliiita, tan prodip;iosa como qnerais,
lipcia do tal modo (jue fner/.a de exceder ii to la m dida apreciabl(',se presento como infinita mi ima^''nadou; ella ser
siempre linita en mi concepto, yo concilio sns lmites aunque no
los piedo ima;,'in ir. No puedo soalar don le se, liallan, ]>TO S.'
claramente (ju existen, y lejos de confundirla con el ininito,
cono/.co evidoutenu'ute, que est an intnitamente distante de
la idea que tongo del infinito verdadero.Feneloa.Do la e>;istecia de Dios, parte 2,", uni. 28.

-22
en la cualidad, sia que sea posible aislar estas dos manifestaciones de la esencia de las cosas. Si se pretende pues
estudiarlas completamente separadas, se pretende un iraposible; lo nico que puede hacerse es considerar con
preferencia cualquiera de ellas. (1)
En resumen, resulta: I."que cualidad es una propiedad tal de las cosas, que si desapareciera se auulurian
tambin aquellas: 2. que cantidf/de,s una propiedad de
las cosas, mediante la cual se determinan, relacionndose por sus lmites con las dems de su gnero: 3. que
uo es posible separar completamente la cantidad de ia
cualidad: 4." que en las cosas ilimitadas no se d ms
que cualidad.
Como toda propiedad de las cosas, puede ser objeto de conocimiento cientfico, habr una ciencia de cantidad y esta es la Matemtica que por s misma se nos
presenta. La Matemtica, as designada en singular p a ra expresarla con ms vigor en su unidad, se subdivide
en varias ciencias matemticas, atendiendo su g r a n
desarrollo y poderoso crecimiento. Para descubrir cuales
sean estas ciencias, claro est que deberemos atender
los diversos modos de ser de su objeto genei-al: la cantidad. Procede pues hacer un examen detallado de esta.
Atendiendo la definicin que de la cantidad hemos dado, se v que dicho examen se debe reducir averiguar los modos como pueden relacionarse las cosas con
las dems de su gnero mediante lmites, y es claro que
estos modos sern tantos, cuantas sean las clases de l mites de las cosas y cuantas sean las combinaciones que
con ellos pueden hacerse: pero estos lmites que pueden
afectar no afectar nuestros sentidos, se reducen siempre para el efecto de su determinacin directa indirecta los primeros (2) los cuales en la Naturaleza solo pue(1) Tal vez habr quien niegue que la cantidad y la cualidad sean cosas naturales, porque aceptar que son conceptos.
que existen en el Yo, y que este los aplica en el acto del conocimiento. Aunque as fuera y se clasicaran como cosas espirituales, nuestro razonamiento quedara subsistente, pues todo
cuanto decimos de las cosas naturales, es aplicable las espirituales.
(2) En efecto: si son de velocidad, la velocidad es un espacio; sisn de calor, se aprecian por la variacin de un espacio
que es funcin de aquel, en el termmetro; si son de peso, reducimos la relacin entre estos lmites ala relacin entre los brazo

23
den ser de espacio y de tiempo (1) luego siguiendo la
pauta lgica que nos hemos impuesto, habr:
1. Cantidad en general, sin particulai* determinacin en el Espacio ni en el Tiempo. La ciencia que ella
est dedicada es la Algoritinin, j es ttica porque fija
y estudia en si el objeto general del conocimiento matemtico; sus conclusiones llevarn por tanto el sello de la
generalidad que la distingue y sern en consecuencia
aplicables todas las dems ciencias matemticas.
2." Cantidad en cuanto al espacio de las cosas. La
ciencia que se ocupa de su estudio se llama Geonietria,
y en relacin con su origen ser analtica, por cuanto se
presenta estudiando solo una de las dos formas de relacin de que hemos hecho mrito.
3. Cantidad en cuanto al tiempo de las cosas. La
ciencia que de ella trata se denomina Cronomeria, y es
en lo que su origen se refiere tan analtica como la
Geometra.
4." Cantidad en cuanto al espacio y tiempo de las
losas. La ciencia que sobre ella versa se conoce con el
lombre de Foronona ciencia del Movimiento, y es
linttica porque en ella se resumen los dos elementos anedichos.
Proceda ahora efectuar con el principio fundanentaldecada una estas cuatro ciencias, las mismas
eres operaciones que hemos llevado cabo con el capital
de toda la Matemtica y proseguir de esta manera con los
nuevos sucesivos elementos hasta llegar las ltimas
conocidas ramificaciones de la ciencia, pero como nuestro objeto actual es solamente presentar un ejemplo de
cmo se debe trazar el plan de las abstractas no iremos
n este asunto ms adelante.
de una palanca de primer gnero; si son de humedad, se evalan
por la yariacion de la longitud de un cabello, por la diferencia
de dos indicaciones termomtricas, por el efecto de una combinacionjpudieiido decirse que el problema universal que en cualquier ciencia, y en cualquier momento de la vida nos proponemos, consiste siempre en '.relacionar directa indirectamente
los limites de dos cosas. Este problema que en ocasiones se presenta sencillsimo,resulta otras en extremo difcil y an inaccesible al espritu humano.
(1) Toda cosa natural lleva en s coma propiedades inseparables an en idea un espacio y un tiempo que en vano intentaramos definir. Las cosas espirituales solo tienen como atributo eseacial un cierto tiempo.

CAPTULO TERCERO.

Mtodos generales p a r a la investigacin

y demostracin de teoremas.
Cuatro ra- I 22. Demostracin es todo razonamiento que pone en
"^-ff"*"
relatrativas.
i[evidencia
.
n ,un teorema.
. . Esta evidencia. se consig-ue
^^
i
Clonando la proposicin que se examina, con otra ya admitida, bien porque sea clara de por s, bien porque se
haya esclarecido de antemano; entonces la luz que aquella irradia, se esparce por toda la cadena de razonamientos, llega la que se h de demostrar, iluminndola la
hace evidente su vez.
Para llegar al encadenamiento apetecido, podemos valemos de cuatro medios distintos elementales
sencillos que resultan del anlisis siguiente:
Si nos ijamos en una proposicin cualquiera T
que se h de demostrar (1) podemos imaginar que tiene
sobre s las que la superen en generalidad y debajo las
que sean ms particulares que ella.
Unas y otras, podrn ser verdaderas V, V falsas F . F ' y la razn, podr marchar: 1. ascendiendo
V y F desde T por los caminos A, B; 2." descendiendo desde V F por los C y D hasta T; 3.. bajando
desde T V' y F' por los A' y B'; 4. finalmente: elevndose desde V'F' hasta T por los D', C'.
Rama 1,*
Si asciende la razn desde T por las vas A, B, el
(1) Vase lafiguraque puesta alfinalde estas pginas, sirve para hacer en cierto modo sensibles nuestros pensamientos.

25
mecanismo consistir en partir de la proposicin que se
h de demostrar y descubrir de cul otra pudiera considerarse como consecuencia; hacer lo mismo con esta y
continuar as hasta lleg-ar una anteriormente admitida
como verdadera V como falsa F; si se reconoce como
verdadera, la demostracin estar hecha, porque tendremos seguridad de que partiendo de aquella podramos
por un camino reg^resivo llegar la propuesta de deduccin en deduccin, y pues que ude la verdad de lo general se infiere la de lo particular, la proposicin T ser
verdadera; si el punto de llegada se tiene por falso F
nada podremos afirmar del teorema propuesto pues que
de la falsedad de lo general no se deduce la falsedad ni
la verdad necesaria de lo particular; de aqu se sigue,
que de los caminos A y B solo el primero nos puede servir para el esclarecimiento que intentamos de la cuestin.
Como ejemplos de dicho proceder pondremos los siguientes: 1." Demostrar que: si la suma de los valores absolutos de las cifras de un entero es mltipa de 3, dicho entero tambin lo ser. Esta pi'oposicion pudiera ser consecuencia de que todo entero es igual un mltiplo de 3,
ms la suma de los valores absolutos de sus cifras y sucesivamente diramos lo mismo de estas otras: la reunin
de varias unidades de un orden cualquiera, es igual un
mltiplo de 3 aumentado en el valor absoluto de dichas
unidades. Una unidad de un orden cualquiera es igual
un mltiplo de 3 aumentado en una unidad simple.Si
este teorema lo tenemos como cierto, podemos afirmar
que el propuesto tambin lo ser.
Ejemplo 2." Demostrar que el mximo comn divisor de dos enteros, se encuentra dividiendo el mayor por
el menor, este por el resto, este por el nuevo residuo, y
as sucesivamente. Transformaciones dla cuestin propuesta: en toda divisin, el mximo comn divisor del
dividendo y divisor, es el mismo que el del divisor y el
residuo. En toda divisin, todo divisor del dividendo y
divisor es divisor del resto, y todo divisor del divisor y
del resto es divisor del dividendo. La condicin necesaria y suficiente para que un entero divida la suma
la diferencia de otros dos, es que divida estos, y si un
entero divide otro, divide sus mltiplos. Si las tres
partes que comprende esta ltima proposicin son verdaderas, tambin lo ser la penltima; sindolo esta, tam5

26
bien lo ser la anterior, y as sucesivamente, luego la
propuesta es verdadera.
Ejemplo 3. Demostrar que: la suma de los ngulos
de todo ti'ingulo rectilneo es igual dos rectos. El
teorema pudiera ser consecuencia de este otro: la suma
de los ngulos de un polgono rectilneo convexo, es
igual tantas veces dos rectos como lados tiene menos
dos el cual ingresa* en el siguiente: la suma de
los ngulos externos que resultan prolongando en un
mismo sentido los lados de uu polgono rectilneo convexo, es igual cuatro rectos que su vez es consecuenr
ca de que: la suma de los ngulos foi-mados por todas
las rectas que parten de un mismo punto en un plano,
vale cuatro rectus el cual por ltimo: es un corolario de
que la suma de los ngulos adyacentes es igual dos
rectos. Siendo este teorema cierto, el propuesto lo ser
igualmente.
Advertencia: esta va es evidentemente inductiva
y por lo tanto el mtodo ser analitico.
Rama 2.*
^^ P^"^" '"^^ caminos C, D, se dirige nuestra razn
desde V F T, el artificio consistir en partir de una
proposicin reconocida como verdadera como falsa,
y sacar de ella una consecuencia, hacer otro tanto con
esta y continuar as hasta llegar al teorema que se h da
demostrar; entonces si hemos partido desde V la demostracin estar hecha, porque de un principio verdadero,
solo consecuencias verdaderas pueden deducirse razo-r
nando bien, como se supone que lo haremos; pero si
nuestra salida fu desde F nada puede afirmarse de T
pues de lo falso puede deducirse lo falso y tambin lo
verdadero.
De aqu resulta que de los procederes O y D solo
aquel debe emplearse.
Ejemplo 1." Demostrar que: si la suma de los valores absolutos de las cifras de un entero, es un mltiplo de
3, dicho nmero tambin lo ser. Partamos de la siguiente proposicin que suponemos conocida: una unidad de un orden cualquiera, es igual un mltiplo de
3, aumentado en una unidad simple. Consecuencia: la
reuHon de varias unidades de un orden cualquiera, es
igual un mltiplo de 3, aumentado en el valor absoluto de dichas unidades. De aqu resulta que todo entero
es igual un mltiplo de 3, aumentado en l suma de

__27
los valores absolutos de sus cifras, De donde se sig-ue el
teorema propuesto.
Ejemplo 2." Demostrar que: el mximo comn divisor de dos enteros se obtiene dividiendo el mayor por el
menor de ellos, este por el resto, dicho resto por el residuo siguiente y as sucesivamente hasta encontrar cociente exacto. Tomemos-corno punto de partida,las siguientes
proposiciones que tenemos por ciertas: Ja condicin necesaria y suficiente para que un entero divida la suma,
la diferencia de otros dos es que sea divisor de ambos; si un entero divide otro, divide sus mltiplos. Consecuencia: todo entero que divide al dividendo y al divisor de una divisin cualquiera divide al resto y iodo entero que divide al resto y al divisor, es factor del dividendo. Coi'olario: el mximo comundivisor
del dividendo y divisor, es el mismo que el del divisor y
el residuo, en una divisin cualquiera. Consecuencia:
el mximo comn divisor, de dos enteros, es el ltimo
divisor que resulta de dividir el mayor por el menor, el
menor por el resto, este por el residuo siguiente y as
continuando, hasta llegar una divisin exacta. Da
donde se sigue la verdad que queramos demostrar.
Ejemplo 3." Demostrar que: la suma de los ngulos
de un tringulo rectilneo, es igual dos rectos. Demos
por admitida la proposicin siguiente: la suma de dos
ngulos adyacentes es igual dos rectos. Consecuencia:
la suma de los ngulos formados al rededor de un punto en uij plano, es igual cuatro rectos. Consecuencia:
la suma de los ngulos estemos que resultan de prolongar en un mismo sentido, todos los lados de un polgono, es igual cuati-o rectos. Consecuencia: la suma
de los ngulos de un polgono rectilneo convexo es
igual tantas veces dos rectos como lados tiene menos dos. Consecuencia: la suma de los ngulos de
nn tring'ulo rectilneo, es igual dos rectos que es lo
que queramos demostrar.
Advertescia: evidentemente este proceder es deductivo y por lo tanto, sinttico.
Rama 3.*
gi desde T nos dirigimos por el camino A', podr
suceder que lleguemos de consecuencia en consecuencia
hasta V , sin embargo de lo cual nada podremos afirmar
respecto del teoi'ema que T representa, pues ya este sea
verdadero ya sea falso, siempre hay posibilidad de dedu-

28
ciruna consecuencia verdadera V ; pero si por B' lleg-amos por una serie de consecuencias F' no hay duda que
T es falso, porque si fuera verdadero no podamos haber
llegado ms que una proposicin verdadera.
De aqu resulta: que si se quiere averiguar si una
proposicin es verdadera falsa, se deducir de ella una
consecuencia, de esta se sacar otra y as sucesivamente;
si llegamos una reconocida de antemano como verdades
ra, nada podremos afirmar respecto la propuesta, pero
esta ser necesariamente falsa, si llegamos una consecuencia que lo sea.
Ejemplo 1.' Averiguar si es verdadera falsa, la si-r
guente proposicin: si los dos trminos de una fraccin
irreducible, no son cuadrados perfectos, su raz cuadrada
es comensurable. Consecuencia: el quebrado irreducible propuesto, es igual al cuadrado de un entero, es
igual al cuadrado de otro quebrado irreducible. Consecuencia: el quebrado irreducible propuesto es igual
un entero, sus trminos son cuadrados perfectos. Pero
la primera parte de esta proposicin, es evidentemente
falsa por contraria la naturaleza de las cosas, y la segunda es falsa porque es contrai'ia la hiptesis de la
propuesta, luego esta tambin es inadmisible.
Advertencia: cuando se trata de ensear la falsedad de una proposicin, si de antemano la conocemos como tal, se acostumbra presentarla como teorema, quitando su enunciado la forma pi-oblemtica. As en el
caso anterior diramos: demostrar que es falsa la siguiente proposicin: si los dos trminos de una fi-accion irreducible no son cuadrados perfectos, la raz cuadrada es comensurable.
Ejemplo 2. Demostrar la falsedad del siguiente enunciado: el error cometido en la estraccion de la raz cuadrada de un entero, puede ser igual -g-. Consecuencia:
llamando ^ la raiz entera por defecto, y S' la raiz
entera por exceso tendremos: ( R + - " ) =^ entero; bien
(R'
- \ =entero. Consecuencia: R'-j-E-fj-=entero;
R"^R'-lT-= entero. Consecuencia: en ambos casos
1

- j - = entero lo cual es falso, luego la propuesta tambin lo ser.

29
Ejemplo 3." Evidenciar que es falsa Ja siguiente proposicin: la suma de !os ngulos de un cuadriltero, es
ig-ual seis rectos. Consecuencia: la suma de los ngulos estemos que resultan, prolongando en un mismo sentido los Lados de un cuadriltero, es igual dos rectos.>
Pero esto es falso, luego aquello tambin lo ser.
Advertencias: 1 / Este proceder como deductivo que
es, tiene el carcter de la sntesis.
2." Aunque primera vista, parece iuti) pararse
demostrar la falsedad de una proposicin, mas adelante
sin embargo veremos que tal procedimiento forma la base de un mtodo demostrativo de la verdad, que es fre^
cuentemente usado,
ama 4."
Partiendo de V F' podr suceder que nuestra
razn llegue por los caminos C D' de induccin en induccin la propuesta T; con lo cual, nadase podr afirr
mar de esta en el primer caso, porque de la verdad de
lo particular no se infiere la verdad de lo ganeral pero
si partiendo de F' llegamos por induccin T, el teorema
que esta letra representa ser falso necesariamente, porque de la falsedad de lo particular se sigue de un modo
^ineludible la de lo general.
Ejemplo 1.* Demostrar que es falsa la siguiente proposicin: si los dos trminos de una fraccin irreducible
no son cuadrados perfectos, su raiz cuadrada es comensurable. Tomemos por punto de partida las siguientes
que tenemos por falsas: el quebrado irreducible cuyos
dos trminos no son cuadrados perfectos, es igual un
entero: el quebrado irreducible cuyos dos trminos no
son cuadrados perfectos, es cuadrado perfecto. Estas
pueden considerarse como consecuencias respectivas de
las siguientes: el quebrado irreducible propuesto es
igual al cuadrado de un entero: el quebrado irreducible propuesto, es igual al cuadrado de otro quebrado irreducible. Las cuales su vez ingresan en las estas
otras: la raiz cuadrada del quebrado propuesto, es igual
un entero: la raiz cuadrada del quebrado propuesto,
es otro quebrado irreducible; estas en fin reunidas pueden espresarse as: la raiz cuadrada de un quebrado irreducible cuyos dos trminos no son cuadrados perfectos,
es comensurable y como esta es la propuesta, quedi
germinado el razonamiento y conseguido nuestro objeto.
Ejemplog." Evidenciar la falsedaddel siguienteenun-

sociado: el error cometido en la estraccion de la raiz cuadrada de un entero puede en alg^un caso ser igual melia unidad.
Valindonos de la escritura simblica para
abreviar, llamemos i2 la raiz entera por defecto,
R' la raiz entera por exceso y salgamos de las
siguientes igualdades falsas: R'-f-R-f--4-= entero;
R"-^R'+ -7-=entei'o que pueden ser consecuencias de catas otras respectivamente:^,-]^) =entei'0; ( R '
g-j
=entero; yestasde las siguientes:R-|;--= ''^eDtero;R'
' - ^ - = ^entero; las cuales juntas constituyen la propuesta, luego esta es falsa.
Ejemplo 3." Demostrar la falsedad de la siguiente
proposicin: la suma de los ngulos de un cuadriltero, es mayor qus cuatro rectos. uporgamos que se tiene por falsa esta otra: la suma de los ngulos externos
que resultan prolongando en un mismo sentido los lados
de un cuadriltero, es menor que cuatro reotos; pera
esta puede considerarse como consecuencia de la propuesta, que por lo tanto resulta tambin falsa..
Advertencias: 1 .* Como la marcha de esta rama es
inductiva, el mtodo ser aualtico.
2.' De lo dicho en los cuatro ltimos prrafos, resulta que los caminas exteriores d la parte superior de la
figura, son los nicos que directamente nos llevan demostrar la verdad e una proposicin, y los interiores
de taparte inferior de la misma, son los nicos que nos
conducen poner en evidencia \a, falsedad &.Q ella.
Procedamos la comparacioude todas cuatro vias.
Desde luego los superiores no podrn relacionarse con los inferiores,, porque como sirven para cosas de
naturaleza tan distinta, cuales son la demostracin de la
verdad y la investigacin de la falsedad de una proposicin dada, ellos mismos sern heterogneos y por lo tanto incomparables, como lo son siempre los instrumentos
que para usos enteramente diversos se destinan; el examen deber por lo tanto limitarse relacionar entre s
primero los unos y despus los otros. Fijmonos por el
momento en los destinados demostrar la verdad,.

31
Compara- 23 La va analtica A tiene la ventaja de que conocccin de los Imos el punto T de partida y como se supone que poseeprocederes A 'mos un buen caudal de verdades relativas al asunto, aey C cuando
Se t r a t a de >r fcil aunque no sea seguro el llegar una de ellas V.
investigar la ,E1 proceder sinttico C tiene el inconveniente de que
verd ad de \mientras el analtico no nos haya descubierto, la verdad
una proposi'V, ignoramos el punto de partida, pues entre los teorecin.
mas que relativos al objeto propuesto existen, no sabemos cul tomar; adems entre las consecuencias del que
hayamos arbitrariamente elegido, ignoramos cul pre^
ferir y la misma dificultad se presenta en cada paso que
demos en nuestra marcha vacilante, siendo casi seguro
el que nos alejemos cada vez ms de el punto deseado
T. Tambin es verdad que en la analtica hay igualmente
cierta indeterminacin desde el segundo anillo en adelante, pues una misma proposicin puede ser consecuencia de otras muchas y muy distintas, pero como an as
ellas sern siempre en menor nmei'o que las deducciones que pueden hacerse de cada uno de los eslabones de
la sinttica,ya que el nmero de antecedentes siempre
es menor que el de consecuentes,la indeterminacin
ser tambin menor, en aquella que en esta ruta.
En cambio, la via analtica tiene la desventaja de
que nuestrai'azon la sigue ms trabajosamente que cuando
marcha por la sinttica, porque es ms sencillo sacar una
consecuencia de una pi'oposicion, que examinar de quien
ella puede serlo; es ms fcil la operacin deductiva que
la inductiva; an as sin embargo el conocimiento del
punto de partida hace esta muy preferible, siempre
que se trate de la investigacin de la verdad falsedad
de un teorema sujeto nuestro examen. Pero sucede
veces que el pensador, se propoie nicamente, ensan-?
char los lmites de la ciencia, enriquecindola con nuevas verdades, que deja al capricho de la suerte fijar, sin
que l se proponga de antemano evidenciarlas. Entonces ya es practicable la via sinttica C, pues que empezando por una proposicin cualquiera V reconocida como verdadera, y combinndola de un naodo arbitrario con
otras que tambin lo sean, llegaremos seguramente por
deduccin, alguna que se halle en el mismo caso, y
que podr ser lo suficientemente importante para que
desde aquel momento entre formar parte de la ciencia
escrita. En la infancia de la Matemtica, cuando los m7

32
todos de que hoy disponemos se ignoraban, y el nmero
de verdades conocidas era pequeo, debi ser este proceder muy usado, y an ms adelante, en el siglo XVII,
Gregorio de San Vicente y otros gemetras hicieron de
l una feliz aplicacin; hoy sin embargo, todos reconocen la ventaja de atacar de frente ln parte no descubierta de la ciencia y dejando tal camino adoptan como
ms conveniente el proceder analtico A, que ni requiere
id golpe de vista, ni la intuicin ni la suerte que pide al
Matemtico el mtodo sinttico C. Para practicar aquel,
no hay ms que partir de la proposicin T cuya verdad
se investiga y procurar subir por induccin, hasta otra,
V ya de antemano reconocida; si no se logra, se vuelve
T y se hace la escursion, por otra serie de verdades,
siendo fcil que si en realidad T es verdadero, logremos
descubrirlo al cabo de pocos tanteos.
Compara-'\ 24. Todo lo que hemos dicho en el prrafo anterior
'^'.'! H^?. *\* \^^ refiere solo la investigacin de la verdad; una vez
v'^^^ciumciol^^^l^^*^' podremos ensearla por el mtodo que para
sf ti-Uiide la\ello nos ha servido, suprimiendo como es natural, todos
('vsefiaiiza, /los tanteos infructuosos, pues su exposicin ^aunque til
en ocasiones, intex-esante siempre bajo otro punto de
vista, no es entonces pertinente al objeto determinado
que nos proponemos. Tambin s.omos dueos de adoptar
el mtodo sinttico, lo cual lograremos con solo invertir
los puntos de partida y de llegada, y por lo tanto el camino todo que antes habiamos seguido al hacer el descubrimiento. Roverbal, Newton y otros sabios matemticos
hacan sus descubrimientos por el mtodo analtico y los
exponan por el proceder sinttico, tal vez porque se profesaba entonces, la errnea opinin de que solo la sntesis poda dar evidencia las demostraciones, sin reflexionar que procedimientos que satisfacen al investigador,
deben satisfacer necesariamente al qne aprende. Pero lejos de ser provechoso el mtodo sinttico en la enpeanza
de una verdad determinada, tiene respecto al analtico la
desventaja de que el alumno d el primer paso y los sucesivos en la serie de razonamientos por donde se le conduce, sin saber por qu d aquellos y no otros; se asemeja una persona que con los ojos vendados es llevado de
la mano al sitio donde se propona. Por lo tanto, solamente cuando deseemos herir con sbita inesperada luz.
la mente del Discpulo, debemos empjear dicho proceder;

33-.el analtico tiene adems la inapreciable ventaja, 4e ;que

elalwpwKT^e hace la ilusin de que asiste: al .descubriBjien'to deja cienQia, cosa que escitando su j^ciosidad y
hasta su amor propio, d como natural conseuecia, que
el trayecto le sea agradable, que se aficione al estudio y
sobre todo,, que seapodevede dicho mtodo el,, cul' ms
tarde le h de servir para solvetar por s mismo las difir
cuitadas que en Matemticas y an n otros rdenes, d
investig.aco.n se le presentarn.
Compara25. Relacionemos ya entre S los procederes que sirven
cion de los , para investigar y exponer la falsedad de la proposiciones,
y *B^ ora''se i
La va D''acumula , todos IQS inconvemet*^ que
trate de -(hemos sealado para la.I),.l ser ipductiya y por To'tanto
wstigar ora rms penosa de recorrer que si fuera deductiva; l a B' tiede ensear \^Q todas las ventajas que para la A heios enumerado y'
de una^V^ jadems l de que siendo deductiva, la marcha por ella
posicin. yes ins desembarazada. Omitimos en gracia de la breve-^
dad y dejamos al cuidado del lector, el probar estoa'
nuestros asertos, que estn fundados en razones semejantes las dadas ea 1<58 dos. ltimos prrafos, y resumimos,
admitiendo en consecuencia que elcamino B'^es^el nico
que debemos emplear ya se trate de investigar, ya deensear la falsedad de un anunciado cualquiera,
Advertencia: Este proceder complementa al A
cuando ^ trata de examifr s una proposicin es ver-'
dadera falsa; despUres d Haber recorrido el uno ipifruc," tuosaroente debe intentarse el otro,, .siendo cnvejiiente
empezar por el supei'ior, pusque el inferioi* solo nos d
conocimientos negativos, aprovechables siempre para
que nuestro espritu, quede trag^^quilo y satisfecho en su
natural deseo de saber, pero* nunca incorporableS; la
parte de ciencia ya anteriormente constituida..
itos-M-) ^^' '^^^^^^^ Vi^^'^^^^'^^^^fS:^^ '^ verdad de. una protodo naUti-| posicin, caso'elrs^fr'cnte que ocurre en nuestros
co-sinte'tico. jestudios, ei proceder-atialtco^ es el ms aceptable,
veamos si podemos anular el inconveniente que en.'cuato s_/orW,presenta; pa eso es til hacer (onstar
la e-sisteticia de prpoMo: -tales, que la^ -verdad de
cada una de ellas supone necesariamente la verdad de la
otra, es decir: que cada una es consecuencia necesaria
d ltiti-a;, por ejemplo: si un nmei'O es la raiz cuadrada d,eoti;o, este es el cuadrado de aquel; si un nmero es el cuadrado de otro, este es la raiz cuadrada de
6

Saquel. Lo que se puede abfeviadaieate escribir as: si

r = / n resulta n = r ' ; si n=^T*, resulta ri= F^TLas proposiciones que se hallan en este caso, se denominan equivalentes, porque efectivamente valen lo mismo una que
otra..(1) Ahora bien: si saliendo de T nos dirigimos por
la via A' yllegamos V, ya sabemos que nada se podr
afirmar acerca de T, pero si al mismo tiempo que la i'e-^
corremos, nos aseguramos de la equivalencia de cada
dos proposiciones consecutivas, esto producir el mismo
efecto que si marchsemos simultneamente por los caminos A' y A 7 por lo tanto tendremos la facilidad de
aquel, unida al rigor lgico de este. El mecanismo consistir, en partir de la proposicin cuya verdad se quiere
demostrar y deducir de ella una consecuencia, sujeta la
condicin de equivalencia con la propuesta, sacar de
aquella consecuencia, otra sujeta al mismo contraste, y
continuar as hasta llegar una verdad admitida de antemano.
Ejemplo I." Averiguar si es verdadera la siguiente
proposicin: un quebi-ado no se altera, multiplicando
dividiendo sus dos trminos por un mismo nmero. En
obsequio de la brevedad nos valdremos de la escritura
simblica y tendremos, propoposiczon dada; -^ = w " ; cona
secuencia equivalente: bmX-? = am; corolario equivalente: bX'^=a; id. id.: a==a; que quiere decir: todo nr
mero es igual s mismo y como esto es evidente, la proposicin dada es verdadera y se puede colocar entre los
teoremas de la ciencia.
Ejemplo ^.^ Demostrar que un entero ser divisible
por 7 por 13, si quitando de sus decenas el producto de
sus unidades por 9, el residuo es respectivamente mltiplo de7 de 13.
Designemos el entero ppr iV", sus unidades por %
y el nmero de sus decenas por d; la hipteais str:
(1) A veces una proposicin-comprende en s como partes
otras v,arias, y es claro que toda la que le sea equivalente,debe
necesariamente abrazar otras tantas respectivamente equivalentes.
'

35
d9. u = m. 7.13, y la conclusin podr expresarse as:
N = l ^ 7. 13 bien: " ^ 7 . 1 3 = N = ^ . 10 + u = 9 l . u-f
+ d. 1090. u = 7 . 13. u + (d 9 u ) 10, de donde
resulta: m. 7. 13 = 7 . 13.u + (d 9. u) 10; pero esta
igualdad es verdadera, ya que por hiptesis d 9. u y
por lo tanto (d 9. u) 10 es un mltiplo de 7 y de.13,
luego el teorema es cierto. Despus de discutido puede
servir para asignar los caracteres de divisibilidad de un
entero cualquiera por dichos dos factores.
Ejemplo 3." Probar que si un tringulo tiene dos
ngulos iguales, los lados opuestos tambin lo son.w El
supuesto, designando loa elementos de la figura de que
se trata, del modo acostumbrado en Geometra, es: A = B ;
la tesis, a = b ; de esta se van deduciendo por su orden y
con equivalencia las siguientes roJaciones: a ' = V ; a*=
=b'; a*4- b" =b" + a*; _ a * + b ' + c - = b ' - f a ' +
4- c'; a' + b ' +c
b -|- a. +c
.=
; eos A = eos B;
2bc
2ac
A=B; lo que hemos admitido como cierto, luego tambin lo es que a = b .
Ejemplo 4." Evidenciar que si dos tringulos tienen
dos lados iguales y el ngulo comprendido es desigual,
el tercer lado ser mayor en el tringulo cuyo ngulo
opuesto sea mayor.
Hiptesis: b = b ' ; c = c ' ; A>A'; conclusin: a > a';
su consecuencia equivalente: a':.a'; id. id.: b'-j-c"
2 b c eos A ^ b"-f c"2 b' c' eos A'; pero en virtud de la
hiptesis, esta relacin se convertir con equivalencia en
esta oti'a: 2 b o eos A <2 b' c' eos A' y sucesivamente:
eos A <cos A'; A>A', lo cual tenemos por verdadero,
luego efectivamente a ? a'.
Advertencias: 1 .* Denominaremos analitico-sinttico
este pi'oceder, ya que participando de la naturaleza de
ambos mtodos puros, el punto de alida en la marcha
de la razn, es como en el analtico la cuestin que se
desea esclarecer, y el de llegada es tambin como all
una proposicin admitida como evidente.
2.* Esta proposicin admitida como cierta, puede ser

la hiptesis del teorema,propuesto, cual .sucede en los

dos ltimos ejemplos, 6 ser otra verdad cualquiera evidenciada de antemano corneo acontece en el primero,
nliet, -pu^de-participar d&aiufeias tjosas como tiene
iug'a'p en'ei-fegndCT,'-; '!" - ' ' ' ' '
'''.3." Si tomando por.punto de salida la conclusin y
por puBPo:& itegkda Hiptesis'J)<?'/ de ella, no se
Hafte so'de sta en el tegido de razonamientos empleaoi^,coffioVsoede en lcuartOf jm^pl',estaremos seguros
d enie^lareclpoca del teorema en-cuestin es tambin
vwdadei' eiiinecesidad de detnosfrrf, pues entonces
es evidente la posibilidad de ftorna por dicha serie, convirtindo la hiptesis en conclusin y yice-vrsa; as en
dicho tjetiplo tendramos: hiptesis dfe la recproca:
b=isb'-, c=i=ci'; '-a'; conclusin:' A A' y de esta deduciramos: "eos A > eos A' 2'b c coa A> 2 b' c' eos A';
b* -j-c'S b c coi A P. b" +c"2 b' c' eos. A' a" > a"';
a => r lo que es cierto, luego tambin lo es que A> A'.
Mtodo sin-\". 27 , Si tomando una verdad cualquiera admitida V
ttioo- anal-1 como primer anillo ,de razonamiento llegamos por C, metico.
; diante una no jnterruipida cadena de dediiciones T
ya sabemos que el teorema propuesto, queda perfectamente demostrado por el mtodo sinttico furo, ms s
nos aseguramos de Ja equivalencia de cada dos eslabones
consecutivos.elpoceder participar del carcter de la
sntesis y del del anlisis, y .como adems principiar y
concIui'^doQd^-aquel, podremos adjetivarle sinttico^'
analtico. ada en general habrenjoa adelantado con,
ello, jns que-dificultar,los aiovimieolos de nuestra razn, poi'; la cual,,no acostumbramos, formar empeo.
en qu icha eqviivlencia tenga lugar.
Ejemplo].' 'Demostrarque en toda divisin, el cociente completa es igiual un\Jimero cualquiera, ms
una fr&cciau'cuyomumeradbr.es <l, dividendo iBeno& el
producto del divisor por dicho n'iinaero, y cuyo deiwmi*;
nador es'el: divisor;rDesig-nndo por ^,l:dividepdo. por
d el divisor y.po A'uoiBmero cualquiera,- s evidente
que D=D; de dtsnd por scesivass consecueneiaS eqaiva<' j> dh H-'D dh
lentes resulta?: D=dk >-f< i* fh;! r^ =:
--,
,^,-^

1 P~~^^: que es lo (i^e spdeba probar.

~ d

" '" "

"37
" Ejemplo 2." Probar que: el nmero J de caras que
"forman un vrtice de un poedTO regular cualquiera, es
menor,, que el resultado de dividir el duplo del nmero
'de lados ?i de l misma cara por dicho nmero de lado;
mfentiS dos, y maj'or que el tercio de este cociente.
Designemos por a el valor del ngulo del polgono coT"epodiente en la superficie esfrica ' ciropnscrita
al poliedro, y piis'que sabemos qiie (ihc stim^ de los
rignl's de im polgono'esfrico, es menor'qdetantas ve^
ees dos rectos y mayor que tantas veces seis rectos como
lados tiene menos dos podremos escribir: ,
'_
\
2 (n2) 1
y poB

la >

.' .1 ,

1 ' fi ,f 9\ fcomo a v = 4 , divir

!

. 1

4n
diendo ordenadamente resultaj - ' ^ ^ . }, finalmente
V.

2n

^ n

. V 6(a-2).

} ?" ^3 ^^ 1^^ debia demostrarse.

3 (n2),

. Cralafio: Los poliedros regulares son cinc<5.

)em'os i valores eijteros sucesivos^ empezando por el
menor posiiale que es 3. Si ,n=;3 resultan ffarft v los nmeroso', 4, y 5; si n==4, n = 5 , btenmps para. en
ambois casos los valores 2 y 3; si n=6,el poliedro no puede existir, porque entonces y < 3; tampoco p.odr existir si
t se convierte en un entero mayor qiieG, puesque me-r
didaqueeaumenta, el quebrado "^~^^f-r- disminuye.:
n'
y como -p h de ser<8ieiapre'menor <jiie l,simpres
conservar menor que 3:

'
Adwrtencia: Cuaiido se-sigue -el-mtodo sinttico ^
ya puro ya misto, es'iiiuy frecuente el agregar un ani-.
lio cualquier de la- serie de razonamientos una nueva
verdad ya demostrada; tal sucede con elantepemiitimo'de
este ejemplo, toda vez que'le hemos aadido la igualdad
conocida av=4;. no s fcrea que por ello desaparece la
eqivaieoci, pues, podemos suponer que dipha .verdad se
ba ido 8wQCoaaijdo: todos los-eslaboneB d l a cadena,
contar desde el pf imero.

38
Aunque en la mayora de las ocasiones la via sinttica pura sencilla es muy preferible 4 J a mixta, hay
ciertos casos particulares en que el empleo de esta reporta algunas ventajas, y son los siguientes; 1 ."Si semejanza de lo que hemos hecho en algunos ejemplos del
prrafo anterior, pudiramos descomponer el teorema (1)
y colocando la hiptesis en V.saliramos de ella y llegramos por una serie de consecuencias equivalentes la
conclusin que imaginramos en T, adquiriramos simultneamente la evidencia de la propuesta y de su recproca, pues estai'amos seguros de que trocados los papeles de los juicios que expresan aquellas,podramos contramarchar desde la nueva hiptesis la nueva conclusin.
Ejemplo 1." En toda proporcin, el producto de
dos trminos puestos, es igual al producto de los otros
dos.
Hiptesis: r^^-:? I consecuencias equivalentes
eb
^
'^
ad=eh;
que
es lo que debamos demostrar.
db
T, ,
. , , ad
eb
a e
Kecproca: si ad=eb; -r v - = - T T " ;'::' = - ? .
'
bd
bd
b d
Ejemplo 2. Para que una imaginaria sea cero, es
necesario y suficiente que su mdulo sea cero. Es necesario, porque si h k / 1 = 0 , resulta con equivalencia
h=: =Fk / 1 y sucesivamente: h"=k'; h+k*=0 ; y
y'h'-hk'=0.
Recprocamente, es suficiente, porque si
/ h ' + k ' = 0 se sigue: h'-fk*=0; h'=k"; h ~ k / ^
h i k (/ZT=0;
Ejemplo 3.* Si un tringulo tiene dos ngulos iguales, los lados opuestos tambin lo son.
De la hiptesis A = B pasamos con equivalencia
las siguientes, pues que los ngulos son ambos necesa1
>
T. sen A. , a ,
,
mente agudos: sen A = s e n B;
-== 1; -r = 1; a = b .
sen B
b
(1)
No pretendemos con esto decir que las proposiciones
hipotticas,como son las que sirven ordinariamente para expresar los teoremas matemticospuedan ser descompuestas
sin destruir la unidad del juicio que traducen, pero esto no es
obstculo la consideracin aislada de cada una de las otras
dos proposiciones que en ellas se relacionan.
ad
bd

39
T.

'

T.

sen A

T,

Reciproco: si a=D; r = l; =1; senA=:senB;

'D
sen B
y pues que los ngulos no puede ser suplementarios, se'rn iguales.
Ejemplo 4." , Si dos tringulos tienen dos lados respectivamente iguales y el ngulo comprendido es desigual, el tercer lado ser mayor en el tringulo cuyo
ngulo opuesto sea mayor.
Hiptesis: b = b ' ; c=:c'; A=-A'; consecuencias
equivalentes de la relacin A>A"; eos A < eos A';
2be cosA<2b'c' eos A'; b'-Vc'2b ecos A> b"-]-c'"
2 b' c' eos A"; a' > a,''; a > a'
Recproco: hiptesis: b = b ; c=c';a:>a'; de esta
ltima relacin, se infiere: a* > a'; b'-f c*2 b c eos A >
>b*-J-c"2 b' c' eos A'; 2 b c eos A<2 b e eos A';
eos A < eos A'; A > A".
De lo antecedente se desprende la siguiente reg-la:
si partiendo de la hiptesis de un teorema, se llega la
conclusin, por sucesivas consecuencias equivalentes, el
recproco es cierto
2." caso particular: si la proposicin que se hade
evidenciar puede traducirse en una igualdad, cuyos
miembros representen el primero la hiptesis y el segundo la tesis, es claro que esta y aquella sern iguales en
esencia, aunque desiguales en la forma y que tomando
una cualquiera de las dos, y transformando!^ en la otra,
la demostracin estar hecha, pero si las consecuencias
han sido equivalentes, se habrn probado simultneamente la directa y su recproca. Ordinariamente se parte
de la hiptesis, lo cual ser indispensable si se. trata la
cuestin por el mtodo sinttico-analtico, como acontece
en los siguientes ejemplos:
1. Si se considera la potencia de un grado cualquiera de un quebrado, ella ser igual al cociente de las del
mismo grado del dividendo y divisor abreviadamente:
/'aV a
Ib / = Tbn '
Primer miembro: l-^| ; transformacipnes sucesivas:
a . .a .,a ^^
a. a. a
a"
j
i
t r X b - X f e X - - ; b.b.b
' - . s e g u n d o miembro.
Los razonamientos se escriben ordinariamente

en forma de sm de ig-uajdades, de este, modo:

/'^\_a I a , a,
..a. a. ...._ a
\ b ^ -b'^b'^'^"*^**"

:ii. b-. b.....,~~n;

2. Los cosenos de dos. arcos suplamentarios son

iguales y de signo contrario.; Siendo a un arco cualquiera su suplemento es 180a, y hay que demostrar la
siguiente igualdad eos (180a)=cosa; lo cual podr
hacerse del modo siguiente: cos(l 80''-a)=co8(90''-j-90-a)=
=8enj(90a)j=8en(90a)=cos.a. .
lscoliosge-') 28". 1. o hay necesidad d que durante el curso de
llrales to-| una demostracin cualquiera el proceder permanezca vmi<los los meto-/fQ].jjjg pyede el razonamieuto dividirse en dos ms secuh

nemos-1 .

trativos.

' K-

^ i

j< -i-j i

^ Clones SI .asi convmiere a la mayor facilidad, y emplear

para cada seccin un mtodo distinto, pues que siendo todos irreprochables, no habr inconveniente en hacer alto
eu uno de los estados porque sucesivamente va pasando la
proposicin que sirvi de punto de partida, y si de l depende la existencia de^la que se ha de demostrar, sustituir esta por aquel, evidencindolo mediante; otra via
distinta. As en el ejemplo 2." del prrafo 28^ siguiendo
el mtodo analtico-sinttico, hicimos depender la,verdad
del teorema propuesto, d l a cei'teza de est igualdad;
m!7. 3.7. 13. u. -}-(d9. u) 10, la cual demostramos'
sumariamente por la via sinttico-analtica de esta manera-.
. \^
\
, .
Hiptesis:'d9u.:.in.7.l3; conecuencias equivalentes: (d9, u) 10 ST-t.-rS;. 7.13.u+(d9.ti) 1 0 - ^ 7 . 1 3 .
2." Tambie se |>u^n relacionar entre s dos proposiciones, ligando cada ^una de' ellas sucesivarentexen '
una ter-cer,,la misgiajara ambas, ,y aun emplear, para
cada operacin un,i^po distinto: ', \
. ' '
Ejetiipl 1.; (ll* residuo r d l a raz cadrdiS'' de un
entero JV, es menor-que el duplo de la raiz entera , mas
la unidad.
,,
Porua parte: N=:a*-|-r; de^ondeNa=:r. Por
otra: N ^ (a+1 )';y deaqo N ^ a'+?a-f^ I ,-TSi-a* ^ 2a-f 1 luego r<2*-|-l que es lo que.se debia, demostrar.
Ejemplo 2'. " Si dos tringulos tieieiisus lados respectivamente proporcionales, tendrn sus ngulos res-

41
pectivamente iguales. Supongamos que se quiere demostrar que B=B', bastar hacer ver que cos.B=co8,B".
Tomemos como punto de partida el teorema de Carnot:

a'+oV

cos.B='

cos.B =

2a c
, , .i ,> hagamos alto en este estado y salga2' a' c'

b
c
mosde la hiptesis . = r r i = ' de la cual sacaremos
^
a
b' c'
a'
b* c'
a c
.
a'+c*V
-=T-,=--Ti=y sucesivamente: . , ..r-.=
a'
b* c \ a ' c "^
a ' + c b'
2 a c a-|-c b
a'4-c''^b"^'
.
,, ,
^ 2 ^ ' - n r ^ = ~ ^ I V - ' ^' ''^ ^8-ualdad y
de las anteriormente evidenciadas resulta eos. B=cos. B';
de donde B=B'. Del mismo modo se demostrarla que
C=C' y A = A ' .
3. Si el teorema es susceptible de sei* descompuesto
en dos ms partes, ya sean estas casos particulares del
propuesto, y o-ezcaa ms facilidad que este, ya constituyan de por si otros tantos teoremas diversos cuyo conjunto ponga en luz el que se ha de demostrar, ya por ltimo sean partes reales en que se divida la figura el
nmero sobre que versa la coestion, convendr generalmente operar dicha descomposicinque ser un verdadero anlisis objetivopues dichas partes sern enla mayora de las ocasiones ms fciles que el todo y an algunas veces podr escalonarse su estudio de tal manera,que
el de las unas sirva de fundamento al de las otras.
Ejemplo 1." Si se desea demostrar la regla de la
multiplicacin de un polinomio por un monomio, convendr considerar sucesivamente este: 1." como positivo,
2." como negativo, 3.* como imaginario; el primer caso
se dividir en otros tres segn que dicho monomio sea
entero, quebrado incomensurable.
Ejemplo 2." Cuando se quiera demostrar que los ngulos alternos internos entre paralelas son iguales se
puede comenzar por hacer ver que lo son los dos tringulos que resultan trazando desde el punto medio de la secante una perpendicular una de las paralelas, llevando
7

42
la distancia quo media entre el pi de esta y. el de dicha'
secante, sobre la otra paralela partir del punto de seccin en sentido contrario al anterior y uniendo el punto
que resulta con el medio de la secante; continuar evidenciando que las dos paralelas son respectivamente perpendiculares las dos rectas auxiliares trazadas y concluir
probando que estas forman una sola recta. De esta manera habremos hecho depender el teorema propuesto de
este otro que suponemos admitido: dos rectas que estando en un mismo plano, son perpendiculares una tercera son paralelas.))
Ejemplo 3. Demostrar que el rea 5 de un cuadriltero plano, es igual la mitad del producto de sus dia-
gonales, por el seno de uno cualquiera de los ngulos
que estas forman entre s. Supongamos que la figui'a
sea convexa y designemos por a jblos segmentos de una
de las diagonales y por c y d los de la otra; el poligono
queda naturalmente dividido en cuatro tringulos cuyas
reas integran la de aquel, y pues que todos los cuatro
ngulos formados por las diagonales tienen senos iguales, designemos auno de ellos por 0;en consecuencia ten1

dremos: s= -^ ad. sen. O -|-;;d b.sen.O-j-;;b c. sen. 0-j^

-f-r c a.sen.0=-(ad-f db-|-bc -}-ca)sen.O='^ua-|-b)d-|-f (b -1- a) c sen. 0 = " (a -j- 1^) (<5 + d) sen. O. que es lo
que se quera probar.
Si el cuadriltero fuera cncavo, su rea sera
evidentemente igual la diferencia entre las de los dos
tringulos mayores, y las dlos dos menores, que resultan
prolongando la diagonal interior hasta cortar la esterior, y por medio de un razonamiento anlogo, vendramos parar una frmula idntica la ya encontrada.
El artificio usado en este ltimo ejemplo es muy
empleado en Geometra, donde se le conoce con el nom-r
bre de Mtodo de divisin de figuras.))

CAPTULO CUARTO.

Clasificacin y estudio de las demostraciones,

atendiendo su forma.
Demostra- f 29 Todo cuanto hasta aqu hemos dicho relativamencoa mediata (^^ j^g demostraciones, se refiere su esencia especialmente; en lo que nos resta que aadir, atenderemos en
particular ^wforma. Bajo tal concepto,la demostracin
puede ser mediata (^inmediata, si se tiene en cuenta la
mayor menor distancia que separa al teorema que se
ha de demostrar, de los datos primeros de la ciencia de
que se trata; directa indirecta, si se mira al travs del
modo como se liga la proposicin que se ha de evidenciar, con el cuerpo de doctrina anteriormente construido; y kpriori ,posteriori, sise examina el papel que
en ella juega la experimentacin.
Demostracin mediata, es aquella en A>ie se toma
por punto de partida una verdad, que su vez se hizo
evidente por otro otros principios, ya axiomticos ya
fundamentales, ya teoremticos. Tal sucede la generalidad de las que se dan en las ciencias abstractas; sirvan
de ejemplos todos los que hasta aqu hemos expuesto.
Inmediata, 30 Demostracin inmediata, es la que solo se apoya
en axiomas en datos primeros de la Ciencia que pertenece el teorema. Ejemplo I." La serie de los nmeros
enteros es ilimitada pues aadiendo la unidad un entero cualquiera, lo que siempre es posible, resulta el inmediato siguiente. Ejemplo 2.* Si una recta tiene doble longitud que otra, tendr doble nmero de elemen-

44
tos lineales pues la segunda ha de estar dos veces contenida en la primera y por lo tanto las partes de aquella,
sean cuales fueren, habrn de guardar la misma proporcin con las de esta.
Directa.
31 Demostracin directa, es aquella en que nos valemos de una relacin necesaria entre el teorema que se
ha de probar y una verdad ya admitida; tal sucede cuando hacemos ver que la raiz de un grado cualquiera de
un quebrado es igual al cociente de las raices del mismo
grado de sus trminos valindonos del principio ya sabido la potencia de un grado cualquiera de un quebrado, se obtiene dividiendo la del mismo grado del numerador por la del denominador. Tal acontece tambin,
cuando demostramos que los ng'ulos que tienen sus lados paralelos y dirigidos en el mismo sentido son iguales sirvindonos de la verdad anteriormente evidenciada: los ngulos correspondientes entre paralelas son
iguales.
Indirecta,
32 Demostracin indirecta es aquella, en que no
pudiendo nuestra inteligencia, ver relacionada la cuestin que se ha de demostrar, con una vei-dad ya admitida,
la resolvemos sin embargo en un sentido determinado,
haciendo ver que est en la naturaleza de las cosas que
aquello sea as y no de otra manera. As tiene lugar,
cuando demostramos que A=rB; causa de no poder ser
A> B, ni A ^B; cuando queriendo hacer verque si dos
enteros son primos entre s, sus potencias tambin lo sern recurrimos al artificio de demostrar que si las potencias no son primas entre s, los nmeros dados tampoco lo sern.
La imostracion indirecta, puede hacerse de dos
maneras; por la antitesis por el absurdo.
Por la ant-1 33 La demostracin por la antitesis, est fundada
tesis.
) en la consideracin de dos proposiciones categricas contrarias, es decir: tales que la una es la simple negacin
de la otra, y que ambas por lo tanto mutuamente se excluyan, como por ejemplo las siguientes: A = B ; A 4 = B ;
una de ellas es la que se ha de demostrar, y el artificio
consiste en considerar la otra y demostrar directamente
que es falsa, en cuyo caso la propuesta ser verdadera,
en hacer ver de una manera directa que aquella es verdadera y entonces esta ser falsa. Ejemplo: existen infinitos nmeros primos. Contraria; no existen infinitos


^n'T ^^
"" '

45
nmeros primos. Sea n el mayor de ellos, la suma
1. 2. 3. 5
n + l evidentemente mayor que^, no es divisible por ningn primo, luego ella representa un nmero primo, luego la contraria es falsa; luego la directa
es verdadera.
Si la contraria comprende dos ms casos diferentes, liabr que distinguir entre cundo se haya de
demostrar la verdad, y cundo la falsedad de la propuesta; si se hade evidenciar la verdad, habr que probar la
falsedad de todos Jos casos particulares que encierre la
contraria, pues que si uno siquiera fuera verdadero,
aquella podra ser falsa; pero si se h de demostrar la
falsedad, bastar probar la verdad de uno solo de los
casos que comprende la contraria. As, si se quisiese demostrar que A:=B, habra de probar que A<j;B, y que
A<B; pero si se quisiei-a hacer ver que A4=B, bastara
evidenciar que A>B, que A<B.
En resumen: el mecanismo de esta demostracin
admite dos formas, segn que se quiera hacer ver que
una proposicin es vei-dadera falsa. El primero consiste en demostrar directamente que todos los casos que
comprende la contraria son falsos; el segundo est reducido poner de manifiesto que uno siquiera de aquellos
es verdadero, ligndolo con una verdad ya evidenciada.
De estos dos mecanismos, el segundo raras veces
se emplea, pues cuando se quiere demostrar que una
proposicin es falsa, es mas expedito mai'char desde T
F' por la va B' de la figura. El primero, cuando la demostracin de la falsedad de la proposicin contraria se
hace por dicho camino B' recibe el nombre de demostracin ad aisirdum, apaggica ad inconveiiienti.
} ^^ La demostracin apaggica se funda, en que si
bien de lo falso puede deducirse algunas veces lo verdadero, de lo verdadero nunca puede deducirse lo falso
si legtimamente se discurre. Por lo tanto, para demostrar la falsedad de una proposicin, bastar hacer ver
que admitindola provisionalmente como verdadera, llegamos por una serie intachable de deducciones otra
proposicin falsa, por incompatible con la hiptesis
hecha, por serlo con otra ya admitida como verdadera,
por contraria la naturaleza de las cosas, es decir: aisurda en la verdadera acepcin de esta palabra. De tal
suerte se hace ver que la contrarii de la proposicin da*

46
da es falsa y entonces aquella resulta verdadera.
Ejemplo 1." Dos constantes que difieren infinitamente poco de una misma variable son iguales entre s.
Sean a j blas constantes, a? la variable, y admitamos
por el momento que las constantes no son iguales entre
s. Esta proposicin contraria comprende tres casos,
pues que podr ocurrir que ? sea mayor que ambas constantes, que sea menor que ellas, que sea mayor que la
una y menor que la otra, es decir: que si para fijar las
ideas suponemos a> b, habr que patentizar la falsedad
de las I-elaciones a7> a> b; a> b> ce; y a> a;> b .
En efecto: de la primera de ellas se desprende que
Xb <T- (ab), ya que la diferencia entre a; y 5 siendo
infinitamente pequea por hiptesis, siempre ser menor
que g- (ab) que es una cantidad finita. Restando de la
igualdad evidente a^b=ab,la expresin anterior resulta: abx-j-b> - (ab) de donde sigue: ax> - (a-b),
que contra el impuesto, d: a> x, luego la relacin primei'a es inadmisible.
De la segunda, por razones anlogas las anteriormente expuestas obtenemos: ax<--(a^b) que restada de ab=.ab, produce a^ba-|-x> -^(ab) y por
consecuencia xb> -^ (ab) lo que supone contra la hiptesis, que x > b , luego la segunda relacin es absurda.
Finalmente: de la tercera se saca xb <-; (ab) y
sucesivamente abx-f-b> 'T(a b); ax> ^'(ab) lo
que nos dice, que la diferencia ax no es infinitamente
pequea, y como esto es falso, la tercera relacin
tambin lo sei-.
Resumiendo: los tres casos particulares que coraprend la proposicin contraria de la propuesta, son falsos, luego esta lo es igualmente y por lo tanto, aquella
es verdadera.
JVota: El teorema que en Algebra se conoce con
la denominacin: nde los.Umites^^ es un corolario del que

47
acabamos de demostrar, pues dos variables que en sus
diferentes estados permanecen siempre iguales entre s,
no son propiamente hablando, ms que una sola cantidad, que aqu hemos representado pora?.
Ejemplo 2." Sabiendo que todo punto de una circunferencia de crculo, est del centro una distancia
igniil al radio, todo punto perteneciente al crculo est
del centro una distancia menor que el i-adio, y todo
punto que situado en el plano de dicha figura es esterior
ella, est del centro una distancia mayor que el radio se trata de probar que todo punto situado en el
plano de un crculo, 1." si est del centro una distancia igual al radio se encuentra en la circunferencia;
2." si dista del centro una cantidad menor que el radio
est dentro del circulo, y 3. si dista del centro una cantidad mayor que el radio est fuera del crculo y de la
circunferencia.
Demostracin de la primera parte: Si el punto no
est en la circunferencia, estar dentro del crculo
fuera de l; si est dentro distar del centro una cantidad menor que el radio, lo cual es contra la hiptesis; si
est fuera distar del centro una cantidad mayor que el
radio, lo cual pugna con el supuesto; luego es falso que
no esto en la circunferencia y por lo tanto es veMadero
que est en ella. De un modo semejante se pondran en
evidencia las dos proposiciones restantes.
Generalizando el mtodo usado en el anterior
ejemplo, supongamos que en un juicio hipottico, a es el
sujeto, del cual pueden afirmarse solamente un determinado nmero de cosas, saber: que a es i, que a es c y
que a es d; admitamos que del primer supuesto, necesariamente se deduzca que m es n, del segundo resulte que
m es p, y del tercero se saque que m es g^, siendo adems
incompatibles todas tres conclusiones; digo que las recprocas de esta srie de teoremas, sern todas ciertas.
Efectivamente, 1.": si m es n, a es h, por que si
a no es b, a ser c, t a ser d; si a es c, segn las directas, m esp, lo que es incompatible con la hiptesis; si a
es d, m es ^, lo cual pugna con el supuesto, luego es
falso que ano es b j por lo tanto, verdadero que a es i.
Las otras dos recprocas se demostraran de idntica manera, por lo cual podemos ya establecer la siguiente regla general: Si en una proposicin serie de pro--

A priori.

48posiciones, se han hecho todas las hiptesis admisibles

sobre un sujeto determinado, y todas han conducido
conclusiones incompatibles entre s, las recprocas son
ciertas; por lo tanto no hay necesidad de evidenciarlas,
Corolario: si dos proposiciones hipotticas contrarias son verdaderas, sus recprocas tambin lo son.
Notemos ante todo, que diferencia de lo que sucede en
las proposiciones categricas, que son aquellas que espresan una afirmacin neg-acion independiente, en las
hipotticas esto es: en aquellas que representan un juicio dependiente de alg-un antecedente que se supone la
verdad de la una no conduce la falsedad de su contraria y vice-versa, sino que antes bien, se complemeotan:
as en las proposiciones: si es , c es d; si a no es J, c no
es d, la hiptesis de la primera d la condicin siificien~
te para que c sea d, y la de la segunda manifiesta la
condicin necesaria; pero en dichas proposiones se
hacen sobre el sujeto a las dos nicas hiptesis admisibles,
y las conclusiones que resultan son incompatibles, luego segn la regla antedicha, sus recprocas sern ciertas.
Advertencias: 1." Por un razonamiento anlogo
al empleado en evidenciar dicha regla probaramos que
dsi una proposicin hipottica y su recproca, sou ciertas, las contrarias tambin lo sern
2.' De todo lo dicho acerca del mtodo apaggico resulta, que aunque en esencia es intachable, tiene en
cuanto la forma, el inconveniente, de que si bien incorpora las verdades, al cuerpo de doctrina anteriormente construido, no descubre la genuina filiacin y entroncamiento de este con aquellas, que apareciendo como ramas desgajadas del rbol cientfico, ijo participan de su
vitalidad y dejan poco satisfecho al espritu estudioso
que en su insaciable sed de saber, no se contenta coa poseerlas sino que aspira conocer de donde se originan.
Por esta razn, el proceder se adjetiva indirecto y no se
emplea ms que en los primeros teoremas y en los recprocos; en aquellos, porque como las demostraciones son
casi inmediatas, con dificultad se encuentran principios
convenientes para hacerlas directas, y en estos, porque
nuestro nimo est ya pi-eparado recibirlos con cierta
especie de intuicin mediante el estudio de sus directos,
con los cuales en cierto modo se enlazan.
35 La demostracin j!?non es independiente de t o -

49
do experimento, es aquella, que en el orden fsico procede evidenciar la existencia de alg efecto, partiendo
de ciertas causas, de antemano conocidas, y en el intelectual, llega establecer la verdad de una proposicin,
apoyndose como primero ltimo escaln en otra puramente especulativa y ya anteriormente evidenciada. Sirvan de ejemplo en el primer orden, la demostracin relativa la ley de la intensidad de la luz, admitiendo que
se propaga en lnea recta y en todos sentidos y considerando dos superficies esfricas cuyo cento comn ocupa
el punto luminoso. En el segundo orden pueden citarse
como ejemplos todos los que hasta aqu hemos expuesto.
A posteriori.
36. La demostracin posteriori, no puede existir
sin el expeiimento ya sensible ya psiquico y racional;en
ella se procede tanto en el mundo corpreo cuanto en el
del espritu, evidenciar las causas conocidos los efectos; y en el intelectual, establecer una ley, sometindola aciertas pruebas sacadas bien de la naturaleza
misma del asunto, bien de la consideracin acertada de
'
lo que en sus casos particulares acontece. Sirvan de
ejemplo en el primer orden, la demostracin de las leyes de la caida de los cuerpos por medio del aparato de
Atwood; en el segundo, la de la existencia de las facultades anmicas dados los hechos de conciencia, y en el tercero, la de la frmula del binomio de Newton para
cuando el exponente es entero; la que hace ver que el
resultado obtenido en la rectificacin de la circunferencia por el mtodo de Mascheroni es eiTneo en menos de
media centsima, evidenciando que por dicho proceder
la longitud de la circunferencia cuyo dimetro fuese la
unidad, sera 3'1424; la que demuestra la regla de la divisin de un polinomio por un monomio, probando que
si se multiplica el divisor por el cociente resulta el dividendo, y por ltimo, la siguiente, que tiene por objeto
n1

establecer la frmula Sr^aX^^^ expresiva de la suma

de los trminos de una progresin por cociente.
n
Desde luego tenemos: a X - ~ - = a ( l + < l + q ' + . . .
n2 n1\
n2
nl

...+q

+q

j=a-faq-f-aq*-[-....-j-aq

-^aq

-so=a-fb-f-c+

l
4-1+0; de donde se deduce queaSnL
,

"

q1

es yei'daderamente la suma de los trminos, y llamando JS

esta suma, la frmula queda verificada.
De lo dicho resulta, que en las ciencias de liedlos, que por su naturaleza se ocupan de la materia, la
experimentacin se efecta por el intermedio de nuestros
sentidos, mientras que en las abstractas dicho experimento es puramente racional; por eso Chevreuill adjetiva al mtodo empleado en aquellas, ff posteriori experimental. No necesitamos aadir, que en las ltimas,
como independientes que son del sistema que rige al universo corpreo, podemos lanzarnos de un solo esfuerzo
los principios cardinales, que traducidos en teoremas
en definiciones, en s comprendan como en gormen, las
verdades particulares, y procedemos seguidamente enlazar estas con aquellas ya analtica ya siutticamente;
por lo cual el mtodo d priori es el rgano propio de esta
clase de investigaciones.
Las ciencias de hechos por el contrario; como encierran solo verdades contingentes, y mudables con las
leyes por que el mundo material se gobierna, se fundan
casi esclusivamente en el llamado principio de induccin
y su adelantamietito requiere que se consulte una y mil
veces al libro de la Naturaleza, en el cual solo por escepcion y talentos de primer orden es permitido en
ocasiones, leer sin gran esfuerzo; por ello estas ciencias
tienen un poderoso instrumento de investigacin en el
mtodo d poserior, nico que adoptarse debe para dislatar sus horizontes. El mtodo d priori es sin embargo
un buen auxiliar constructivo y didctico, condicin
de someter las conclusiones que con l se obtengan al
ms rigoroso contraste por la via esperimental, pues
aunque los razonamientos en aquel empleados sean intachables, los datos de donde se originan son menudo
tan complejos y dudosos que es indispensable no abandonarnos una ciega confianza cuyo trmino irremisi-
blemente encontraramos un cosmos fantstico, sin realidad,
Advertencia I 37 No se crea que lo que respecto de los mtodos angeneral.
^ tecede, se aplica nicamente las ciencias exactas; si los
ejemplos que hemos presentado y los signos que hemos

51
empleado pertenecen en su casi totalidad la Matemtica, ello es debido que esta nos ofrece el ms provisto y
adecuado arsenal para elegii-los y el ms sencillo, breve
y compendioso lenguage para expresarlos; fuera parte
de que el carcter y clase de alumnos quienes joarcwlarmente dedicamos este trabajo as lo aconsejaba y el
objeto especial que nos proponemos as lo exiga. Por lo
dems, si bien es cierto que el matemtico y el filsofo
emplean distinto modo de espresarse, no por eso se h
de creer que i'aciocinan y demuestran de diversa manera;
las ciencias de principios, ya se llamen lgica, psicologa tica, ya se honren con la calificacin de abstractas por antonomasia, todas usan y no pueden menos de
emplear los mismos procederes en su desarrollo; basta
en las adjetivadas naturales, una vez admitidos los fundamentos empricos indispensables, se induce y se deduce
con arreglo los mismos mtodos que hemos presentado,
y buen ejemplo de ello nos ofrece la teora fsica de la
luz donde de muy pocos principios sacados de la observacin y del esperimento, se desprende toda esa multitud
de verdades que constituyen la parte mejor organizada
de dicha ciencia. No poda suceder de otra manera, sopea de admitir que filsofos, matemticos y naturalistas
tienen inteligencias diversamente organizadas.

CAPTULO QUINTO.

Mtodos generales
para la resolucin de problemas.
Definiciones | 38 Problema es todo fia cientfico, propuesto la
preliminares inyestig-acion. La proposicin que lo expresa se llama su
enunciado. Propuesta es aquella parte del enunciado
que se refiere esclusivamente al fin.
El objeto de todo problema, es determinar ciertas
cosas desconocidas, mediante relaciones apropiadas y
suficientes que las liguen con otras conocidas; las co^
sas conocidas se las llama datos, y las desconocidas reci-'
ben el nombre de incgnitas.
'EXJn conseguido, es aquella cosa aquel sistema
de cosas que satisfacen la propuesta; el medio es la cadena de razonamientos que nos conducen al fin designado; aqul, luego de descubierto recibe el nombre de solucin y este despus de formado constituye la resolucin;
por lo tanto: resolver un problema, es bailar su solucin
soluciones; si el problema tiene una solucin nica, se
dice que es determinado-, si tiene dos ms, se adjetiva
indeterminado; si no tiene ninguna, se denomina imposible y su enunciado ser absurdo. Algunos dicen, que
un problema es determinado siempre que sus soluciones
no sean en nmero ilimitado.
Los problemas pueden ser de dos clases, de las
cuales la una tiene por objeto investigar si una proposi'
cion es verdadera falsa, y la otra est destinada
buscar reglas mediante las que ciertas incgnitas que-

III I " W Q Q I W " I

den determinadas en funeion de los datos; del primer grupo nos hemos ya ocupado; al segundo se referir especialmente cuanto ahora digamos.
Problema particular, en di(\\. en que los datos
estn expresados de un modo eminentemente detemiina3
5
do y concreto. Ejemplos: multiplicar -' por--;)) ((rectificar una cii'cunferencia de crculo cuyo radio tiene 10
metros de longitud.
ProUema general, es aquel en que los datos, estn expresados de una manera indeterminada. Ejemplos:
ahallar la regla para multiplicar dos quebrados cualesquiera encontrar el modo de rectificar una circunferencia de radio E. Se comprende que lo que aqu se pide, es un proceder, como se dice en matemticas, una
yoVm^A/,-para multiplicar entre s todos los infinitos
quebrados imaginables, y para rectificar todas las infinitas cii'cunfei'eneias concebibles^ mientras que all solo se
preguntaba por un nmero especial y, por una recta
nica.
Las denominaciones Aeparticulares y generales
que hasta aqu hemos dado los problemas, colocndonos en puntos de vista extremos, pueden tambin aplicrseles de un modo relativo si nos situamos en lugares
intermedios, originndose de ello las calificaciones de
pis general y menos general.
uUn ^problema es mdsgeneral que otro; cuando
las condiciones impuestas las incgnitas en su enunciado, son nicamente algunas pero no todas las de este
otro de donde se deduce que un problema es menos general ms particular, que otro, cuando las condiciones
impuestas sus incgnitas son las mismas que las de ^este otro j algiinas mas.
Ejemplos.: el problema: hallar dos nmeros cuya suma sea 30 es ms general que este otro: hallar
dQS. nmeros cuya suma sea 30 y cuya diferencia sea 16;
y consiguientemente, este es ms particular que aquel.
El enunciado: hacer pasar una circunferencia de crculo por, dos puntos dados es ms general que el siguiente; haoer pasar una circunferencia de crculo por
tres puntos no situados en lnea recta y por lo tanto,
Bste es cis particular que aquel.

54-Generaliza-1 39 A medida que de un enunciado cualquiera (proeanzackn'f^^^) ^ van separando abstrayendo caracteres {CQU(leimproble^i^i*^ioi'6s impuestas), aquel enunciado va ganando en <??ma.
\tensioii lo que va perdiendo en comprensin, j por consecuencia, v siendo aplicable mayor nmero de individuos (soluciones), de donde se sigue: 1. que sustituyendo un cierto problema, otro ms general, y resolviendo este en vez de aquel, encontraremos las mismas
soluciones que resolviendo el propuesto hubiramos encontrado, y algunas mds.t> 2 que sustituyendo un
problema dado, otro ms particular, y resolviendo este,
hallaremos solamente algunas de las soluciones que resolviendo el primitivo hubiramos obtenido. Kn el primer caso habr pues soluciones extraas la cuestin,
y en el segundo, habr soluciones que quedarn descoiiocidtis, es decir, perdidas para el investigador.
Ejemplos de lo 1. Resolviendo el problema hallar dos nmeros cuya suma sea 30 en vez de resolver el
de hallar dos nmeros cuya suma sea 30 y cuya diferencia sea 16 encontraremos la solucin 7 y 23 que
convendr indudablemente este, pero tambin hallaremos las 8 y 22, 9 y 21, y otra porcin de ellas que le sern extraas. Resolviendo la cuestin: hacer pasar una
circunferencia de crculo por dos puntos dados en lugar de resolver esta otra: trazar una circunferencia de
crculo por tres puntos no situados en lnea recta encontraremos forzosamente entre las soluciones, la circunferencia particular que pasa por dichos tres puntos,,
pero tambin hallaremos otra infinidad de ellas que conteniendo dos no contengan al tercero y estas sei'n las
soluciones extraas la cuestin.
Ejemplos de lo 2." Resolviendo el problema hallar
dos nmeros cuya suma sea 30 y cuya diferencia sea 16>).
en vez de resolver el de hallar dos nmeros cuya suma
sea 30 encontraremos por solucin nica, la 7 y 23,
que tambin conviene aquel pero habrn quedado a r didas las soluciones 8 y 22, 9 y 21, y otra porcin de
ellas. Resolviendo la cuestin hacer pasar una circnn~
ferencia de crculo por tres puntos no situados en lnea
recta en lugar de resolver la siguiente: hacer pasar
una circunferencia de crculo por dos puntos dados la
solucin que para la primera encontremos, satisfar seguramente la segunda, pero esta tambin lo quedara,.

55
por otra infinidad de circunferencias qu pasando por
dos de los tres puntos no pasarn por el 3." y consiguientemente resultarn perdidas.
Advertencia: en la prctica, no siempre se presentan soluciones extraas por la sustitucin de un problema general en vez de uno particular, pues si uno y
otro lo son en grado mximo, es decir: si forman los dos
puntos estremos de la escala que nos hemos referido
en el prrafo anterior, la misma particularidad
de los
datos del segundo excluir las soluciones que no sean
pertinentes su enunciado.
Ejemplos: 1." Hallar el valor de x en la espresion x'6x-|-8=;o Sustituyendo este problema el siguiente: hallar el valor de x en la expresin x-j-s x-f4-p=0)) encontraremos la solucin, que traduciremos
en regla, y aplicada esta la cuestin primitiva nos
dar los nmeros 2 y 4, nicos que satisfacen la
propuesta.
2. Trazar una tangente comn dos circunferencias determinadas que se tocan exteriormente. Sustituyamos este problema el general en que est comprendido: trazar una tangente comn dos circunferencias
y obtenida la regla que en s comprenda cuatro solu-
ciones, apliqumosla al caso concreto de que se trata; de
este modo quedarn de manifiesto las tres soluciones nicas de que es susceptible; la cuarta solucin que conviene al problema general, habr sido excluida por la misma particularidad de los datos.
Problemas) 40. Dos problemas son equivalentes, cuando las conequivalentes'(jjcJQues impuestas en los enunciados respectivos son
esencialmente las mismas, pero se presentan bajo formas
distintas; de donde resulta, que las soluciones de ambos
habrn de ser idnticas.
Ejemplos: 1.' Hallar un entero, que multiplicado
por 4 produzca 32 hallar un entero, que dividido por
4d2)) condiciones que simblicamente se espresarn
as: X X 4 = 3 2 ; -j = 2 : la solucin 8 conviepe ambos y
ninguno de ellos tiene otra.
2.'' Hacer pasar una circunferencia de circulo por 3
puntos no situados en lnea recta. Circunscribir un eirculo un tringulo. La regla para resolver ambas cuestiones es la misma,

56
Advertencia: como en un orden cualquiera de cosas, lo ms general contiene en la estension de su esfera,
lo menos general, se sigue, que al sustituir en vez de un
problema, otro ms general, el primero podr considerarse como consecuencia del segundo; que al sustituir en
vez de un problema otro ms particular, este ser uua
consecuencia de aquel, y que al reemplazar un problema
por otro equivalente, cada uno de ellos podr considerarse como consecitencia del otro.
En resumen: 1." Si un problema cualquiera se
sustituye otro de quien l sea una consecuencia, resolviendo este, encontraremos todas las soluciones de aquel.
y tal vez algunas ms, que sern extraas. 2." Si un
cierto problema se le sustituye otro que sea consocuencia
suya, hallando las soluciones de este, todas convendrn
aquel, pero podr suceder que algunas de las del primero queden para nosotros perdidas. 3 Si un problema
cualquiera se sustituye otro equivalente, resolviendo
este habremos resuelto aquel, pues que por lo visto no
habr ni soluciones extraas, ni soluciones perdidas.
Mtodo ana- > 41. En la i'esolucion de problemas, como en toda
ltico.
cuestin en que nuestra inteligencia especula, pueden
seguirse dos caminos solamente: el inductivo y el deductivo, los cuales sirven de fundamento dos mtodos exclusivos tambin: el analtico y el sinttico.
El mtodo analtico puede revestir dos formas: en
la primera nuestra razn sube desde la cuestin propuesta otra ms general; en la segunda asciende hasta el
problema propuesto desde otro ms particular; ambas
vas estn figuradas y llevan las letras A y C en el eschma que ponemos al final de estas pginas. En l, T
representa el problema que se ha de resolver, V un problema ms general cuya solucin se conoce, y V' una
cuestin ms particular, que se sabe satisfacer.
Primer procedimiento. Partiendo del problema
propuesto, se pasa otro ms general, este, se sustituye
por otro que lo sea ms, y se contina de la misma manera, hasta llegar uno, que por depender nicamente
de operaciones que sepamos ejecutar, estemos seguros de
resolverlo si lo intentamos. sto equivale examinar de
que otro problema pudiere el propuesto ser consecuencia^
hacer lo mismo con este segundo y continuar del mismo
modo hasta llegar uno resuelto de antemano; resol-

57
viendo entoncesieste, ente sus soluciones estarn forzosamente las del dado; pero como adems podr haber algunas que le sean extraas, estaremos en la obligacin
de eliminarlas demostrar que no existen.
Ejemplo 1." Hallar tres nmei-os tales, que restando
del primero la suma de los otros dos, el residuo sea cero,
quemultiplicados produzoad6.000yque sumados don 60.
Si prescindimos de la penltima condicin, el problema
se liabril generalizado, y podr considerarse como una
consecuenfia del siguiente: Hallar tres niimeros cuya
suma sea 60, y tales que restando del primero los otros
dos el residuo sea cero. Resolvindole enconti'aremos las
soluciones. 30, 20 y lO; 30, 12 y 18; 30, 17 y 13; y otra
infinidad de ellas, entre las cuales solo la 1." conviene
la cuestin propuesta; las dems le son extraas.
l^emplo 2." Trazar una tangente comn dos cir^
cunferencias secantes. Prescinditudo de que las circunfefencias se corten, el enunciado s habr . trasformado
ea este otro: ttTrzar una tangente coman dos circunferencias y resuelto este problema encontraremos cuatro
soluciones de las cuales dos no convienen al propuesto.
Advertencia.^ Propongamos resolver la siguiente cuestin: Una persona reparte con igualdad 30 reales entre
varios pobres si estos,fueran 3 menos, cada uno recibirla
2 reales ms.; cutos son los pobres? El Algebi'a, nos
dice que sOn 9;: ~ 6 , pero esta ltima solucin es inadmisible,, pues no puede concebirse uu primero negativo
de personas. Procede preguntar: por qu el clculo nos
ha dado una respuesta extraa al asunto? .
' - \ Observemos, que no todas las condiciones que deben estar sujetas las incgnitas de un problema cualquiera pueden traducirse por medio de los signos del Algebra y si se deja de expresar alguna de ellas generalizamos la cuestin, siendo entonces natural el encontrar
soluciones extraas. As al traducir las condiciones del
enunciado anterior por medio de la ecuacin
{-2=^,
hemos dejado de expresar que el nmero de ios pobres
habia deser positivo; tampoco hemos expresado que habla de ser entero, y por lo tanto, hubiera podido resultar
quebrado; la ecuacin en realidad, es la traduccin del
siguiente problema ms general. Hallar un nmero
tal, que dividiendo por l 36 y aadiendo al cociente
9

58
dos unidades, el resaltado sea igual al que se obtendra
dividiendo 38 por dicho nmero despus de quitarle tres '
unidades; la solucin podr por lo tanto ser positiva
negativa, entera fraccionaria.
Segitndo procedimiento: Partiendo de un problema
que de antemano sepamos resolver, se pasa otro ms
general, prescindiendo de alguna condicin; se hace lo
mismo con este y se contina as hasta venir parar al
propuesto, lo cual equivale examinar de que otro pudiera ser consecuencia uno que sepamos resolver, efectuar
la misma operacian con este, y proseguir la marcha hasta llegar al propuesto; si lo conseguimos, se resuelve el
que nos sirvi de punto de partida, y sus soluciones convendrn indudablemente al dado, pero este podr adems
tener otras, que ({\xeA&xka.perdidas y ser necesario buscarlas si en realidad existen, demostrar que no las hay
en caso contrario.
Ejemplo 1." Hall ar tres nmeros cuya suma sea 60.
Supongamos que sabemos resolver el siguiente: (X)Hallar tres nmeros tales, que restando del primero los dos
ltimos el residuo sea cero; que multiplicados produzcan
6.000 y que sumados don 60. Partiendo de l le consideraremos como consecuencia de este otro: hallar tres nmeros cuya suma sea 60, y que restando del primero loa
dos ltimos el residuo sea O el cual su vez ser consecuencia del propuesto; resolviendo el (X), la solucin 30,
20 y 10 convendr al enunciado, pero habr otra infinidad
de ellas que quedarn para nosotros perdidas.
Ejemplo 2." Trazar una tangente comn dos circunferencias. Supongamos que sabemos resolver el siguiente', (Z)aTrazar una tangente, comn dos circunferencia secantes. Como este es una consecuencia de trazar una tangente dos circunferencias que se tocan exteriormente y este lo es su vez del propuesto, hallando las soluciones del (Z) ellas convendrn la cuestin
dada, pero de esta manera habremos perdido dos soluciones, segn nos demuestra la Geometra,
Advertencia.
Por lo qtje antecede se v, que en
general este procedimiento es inconveniente bajo dos aspecto*; primero; porque est en la naturaleza de la raign humana el marchar en las ciencias abstractas desde
Jo simple que es tambin lo njf conocido,fcil y general,
\o compuesto que es lo ms desconocido, difcil y par-

59
ticiilar, cosa opuesta lo que en esta va se ejecuta ; seg^undo: porque entre los infinitos problemas
que pueden ser consecuencia del propuesto, no siempre es fcil ver cual conviene elegir, repitindose la
misma dificultad en las sustituciones sucesivas. Algunas veces sin embargo cuando se quiere descubrir
una ley general, conociendo otra particular, se emplea, auxiliado de ciertos artificios, entre los cuales
es notable el siguiente: propongamos, averiguar 4 que
ley est sujeto el producto de un nmero cualquiera de
factores binomios, cuyos primeros trminos sean iguales si es que tal ley existe. Al efecto, formemos el producto de un cierto nmero de factores que se encuentren
en las condiciones antedichas, cuatro de ellos por ejemplo; la simple inspeccin de eate producto particular, y
de los auxiliares que para llegar l hemos formado, nos
d una ley aplicable todos ellos. Ahora, pai'tiendo de
esta ley particular, tratemos de generalizarla para un
nmero cualquiera de factores; al efecto se emplea el
artificio, e demostrar dposteriori que verificndose para n bimonios se cumplir tambin para n-\-\, de donde concluiremos que aplicndose 4 factores se aplicar
5, y por lo tanto 6, y as sucesiva indefinidamente,
luego el problema queda resuelto y la solucin es la ley
general pedida.
I^ota 1.* Parece primera vista que en el anteior ejemplo, se procede por adiccion de condiciones, en
vez de marchar por sustraccin de ellas, pero debe notarse, que las verdaderas condiciones del problema de qua
se parte no son los factores, sino que estos sean precisainenteos, tres, cuatro, condicin deque seprescinde al pasar la ley general. 2." El mismo mtodo se ensaya siempre que tratndose de averiguar si un hecho
cualquiera se verifica en general, podemos probar que
sucede en varios casos particulares colocados en srie
ordenada.
teti>o'^ *"' { ^^ -^^ mtodo sinttico en la resolucin de proble* mas, puede revestir dos formas: en la primera nuestra
razn desciende al problema propuesto T desde otro ms
general V de antemano conocido (rama C dla figura); en
la segunda, baja nuestra mente desde la cuestin propuesta otra ms particular que se sepa resolver, (rama A')
Procedimiento primero. Saliendo de un probe-

60
ma ms general que el propuesto, y qne se supone que
sabemos resolver, se pasa otro itienos general, aadiendo alguna condicin que lo particularic, para lo cual
no hay ms que buscar otro problema que de l pueda
considerarse como consecuencia, hacer lo mismo con este
y continuar al hasta llegar al dado; si lo conseguimos,
sustituiremos este con aquel el cual resolveremos, pero
podremos encontrar soluciones (?.r^/'?I'?, (prrafo 40-^
advertencia) que ser preciso eliminar.
Ejemplo 1." Hallar 3 nmeros tales que restando del primero los dos ltimos, el residuo sea cero;
cuyo producto sea 6.000 y que sumados den 60. Si salimos del problema hallar 3 nmeros cuya suma sea 60
que se supone sabemos resolver, pasaremos otro que sea
su consecuencia, aadiendo la condicin de que restando del primero los dos ltimos el residuo sea cero y de
esta descenderemos al propuesto, agregando la condicin
de que el producto sea 6.000. Resolviendo aquel, entre sus infinitas soluciones se encontrar forzosamente la
nica que corresponde este y que es 30, 20 y 10, pero
tambin hallaremos otras que como la 40, 15 y 5 no le
convienen.
Ejemplo 2. Trazar una tangente comn dos circunferencias secantes. Si partiendo de la cuestin ms
general: trazar una tangente comn dos circunferen-r
cias lo cual admitimos que se sabe hacer, pasaremos
una consecuencia suya, agregando la condicin de que
dichas circunferencias se toquen exteriormente y desde
esta descenderemos el enunciado dado, aadiendo la.
condicin de que los puntos comunes las circunferencias sean dos vez de resolver esta hallaremos las
soluciones del ms general que nos sirvi de punto de
partida, y entre las cuatro que obtengamos, habr dos
que convendi-n la cuestin propuesta y otras dos, que
le sern extraas.
'
Advertencia. Cuando por este procedimiento, resolvemos un problema, cuyos datos estii'completamente
fijos y determinados, est determinacin excluye por s
misma las soluciones extraas. Tal sucede en el segundo
ejemplo; tal acontece Cambien en el siguiente: multi3

plicar '-' por -^w pues partiendo del general averiguar como se multiplican dos quebrados cualesquiera

-^61
cuestin que se supone saljemos resolver, la respuesta
,
3X5
:
el enunciado ser
.
4X6
Procedimiento 2. Saliendo del problema propuesto,
se pasa otro mas particular; este se sustituye con otro
<iue su vez sea ms particular que l, y s contini de
la misma manera hasta llegar uno que por no depender ms que de operaciones que sepamos ejecutar, estemos seguros de resolverlo si lo intentamos. Esto equivale
deducir del problema dado otro que sea su consecuencia, liacer lo mismo con este, y seguir asi hnsta llegar
uno que de antemano hayamos resuelto; hallando sus soluciones, estas convendi'n forzosamente al dado, el cual
podr tener adems otras que quedarn p'irdidis (prrafo 40), y ser preciso buscarlas si es que existen, demostrar que no las hay en caso contrario.
Kjemplo 1 .* Hallar 3 nmeros cuya suma sea 60,
Si este enunciado le agregamos la condicin de que la
difex'encia entre el primero y la suma de los dos ltimos
sea cero, se habr particularizado y ser una consecuencia del propuesto; las soluciones 30, 20 y 10; 30, 20 y
18; 30, 17 y 13; y otra infinidad de ellas convendrn
este pero quedarn ignoradas otras infinitas, entre las
cuales citaremos la 40, 15 y 5. Si al segundo problema
le aadimos la nueva condicin de que el producto sea
6.O00 la solucin del huevo enunciado, ser 30, 20 y 10.
Respecto %1 anterior, quedarn perdidas las soluciones
30, 20 y 18; 30, 17 y 13;
etc. y pOr lo tanto,
con relacin al propuesto sern perdidas las 30, 20 y 18;
SO, 17 y 18;;.... etc. y las40, 15 y 5,.,... etc.
Ejemplo2.' Trazar una tangente comn dos circunferencias dadas. Si este problema le sustituimos
por el que resulta de aadirle la condicin de que dichas
circunferencias se toquen esteriormente, habremos perdido una solucin; si este le adiccionamos la condicin
de que las circunferencias tengan adems otro punto comn, habremos perdido otra solucin. Resolviendo pues
este ltimo problema en vez de resolver l propuesto haAdverteneias\^''^^08 perdido dos soluciones.
comunes al j 43. Antes de termiilar lo concerniente Ids mtodos
mtodo ana-(que para la resolucin de probleinas, hasta aqu hemcg
tJt?IJ,^jJ|Q'(examinado, conviene hacer notar; 1." que al pasar do
dos mixtos. /

62uno otro enunciado en cualquiera dlos procedimientos

antedichos podr acontecer que alg"una alg-unas condiciones sean comunes dos de ellos consecutivos y entonces estaremos en el caso de elegir entre espresarlas en
ambos con las mismas palabras, traducirlas desde el
primero al segundo con leng-uage de forma distinta, para lo cual ser preciso convertirlas de antemano en otras
equivalentes,
2.' Que seguu se ha visto, los cuatro procedimientos
esplicados, tienen el inconveniente de no proporcionar
todas y solo todas las soluciones de la cuestin que se ha
de resolver; unas veces habr soluciones extraas, otras
las habr perdidas, y aunque eii ocasiones las circunstancias del problema escluirn aquellas, nunca estaremos
dispensados de un trabajo pesado al hacer la discusin,
con objeto de eliminar los resultados extraos, descubrir
los ignorados, demostrar que no existen los unos
los otros.
Veamos si hay medio de obviar tales imperfecciones.
Si cualquiera que fuese el proceder adoptado, en
vez de pasar de un pi'oblema otro ms general al
contrario, sustituysemos cada uno de ellos con otro
equivalente, es decir: si hubiese equivalencia entre cada
dos sistemas consecutivos de coBdiciones, es claro que
nunca habra soluciones peiviidas ni soluciones extraas,
pues cada enunciado podra considerarse voluntad, como consecuencia del siguiente y vice-versa. (V. prrafo
40.) Entonces la marcha de nuestra razn participara
del doble carcter del anlisis y de la sntesis y el mtodo, en contraposicin los anteriormente esplicados que
denominaremos j!>2<r, debera adjetivarse mixto, pudiendo ser sinttico-anaUtico anolitico-sinitico segn
que aquella discurra por las vas A.' y C por las A y C'.
Examinmoslas una por una.
Mtodos sin-1 44 R'jma A' En esta partiremos del problema protetieo-anali-|p^jgg^Q T cuyas condiciones sustituiremos por otras que
sean sus consemencias equivalentes, sacaremos de estus.
otras sujetas al mismo contraste, y as continuaremos
hasta llegar un sistema de ellas V' que estenios seguros de satisfacer si lo intentamos, bien porque el modo
de hacerlo sea intuitivo, bien porque de antemano lo hayamos aprendido; verificadas estas, las propuestas lo estnri^n igualmente.

-63Ejemplo 1." Hallar el valor de la diferencia de los

cuadrados de dos nmeros, en funcin de estos.
Las sucesivas consecuencias reciprocas de la condicin a'b' que traduce al enunciado son:
a'-f-Kbabb*; (a+b)a+(a+b)(b); (a+b) (ab); luego
la diferencia de los cuadrados de dos nmeros cualquiera, es igual la suma, multiplicada por la diferencia do
dichos nVimeroswque es lo que desebamos enconti-ar.
Ejemplo 2." Buscar un nmero, que sumado con
33, equivalga al duplo del resultado que se obtendra
aadindole 11 unidades. Las condiciones propuestas se
espresarn as, llamando x & la incgnita : x + 3 3 =
=2(x+l 1) v las consecuencias ordenadas en equivalencia
mutua sern: x+.33i=2x-)-22; 33=;;.x4-22; 3322 = x;bailando pues la diferencia entre 33 y 22 habremos resuelto el problema.
Ejemplo 3." Encontrar los caracteres que debe presentar un entero iV en sus cifras para ser divisible por
otroi. Designemos por a, b, c, d,
las cifras de
iVprincipiando por la derecha; llamemos q, q', q",
los cocientes enteros que X'esultan de dividir la base del
sistema de numeracin y sus potencias enteras sucesivas
por n; sean r, r', r",
los restos, algunos de los cuar
les pueden ser cero; la condicin propuesta es que sea
un entero; valindonos del signo de igualdad para indicar el paso de una condicin una consecuencia cuya
equivalente, podremos escribir:
N l.a-flO.b-t-lO.'c-hlO.'d-f
1 10 10"
:
;:=; a-{ b-j C-{r
n
fi
n
n
n
10'
1
/
r\
/
r'\
+-d+
= - a - f ( q 4 ~ ) b-h ( q ' 4 ~
c-\n
n
\ n / \
n/
+

r"\
1
r.b
r.'c
q"-|
d4-....=:-a4,qb-h+q'c-l~---+q"d-|.
\
ny
n
n
r."d

-h

La r.b

.. .(.

..j

+...=qb+q'c-fq"d-f...^-j--i----- + _ - ^ +
n
'
u n "

64
l.a-j-r.b4-r.'c+r."d-f....

4-....=qb+a'c+q"d-l-:...+

^-^-

de suerte, que la condicin propuesta se ha transformado'en esta otra equivalente: qb-|-q'c-}-q"d-{+

l.a+r.b-|-r/c4-r"d-l-...-; ^ ,
^
,
4

debj ser un entero, con lo

n
cual la solucin se b Iieclio intuitiva, pues siendo evidentemente un entero lasuma,qb+q*c-f-q"d-j^..., basta,;
I.a4-r.b.-t-r.'c+r"d4,
ra que lo sea tambin
; de
n
aqu se deduce la siguiente: Regla para determinar
los caracteres que debe presentar un entero en sm
cifras cuando sea divisible por otro: se divide la
base del sistema de numeracin y sus potencias- sucesivas por el factor de que se trata; se multiplica
la cifra de las nnidades Jel nmero propuesto por
uno, la de las decenas, por el residuo de la primera divisin, la de las centenas por el residuo de la segunda, y
as correlativamente; la suma de estos productes deber
ser divisible por el divisor que se. ensaya,'. . . .
,
Ejemplo 4." Trazar un plano tangente en un punta
de la superficie convexa de un cono de revolucin consecuencias sucesivas equivalentes: Trazar las tangentes
todas las lneas que situadas en la superficie pasan por
dicho punto; determinar dos de dichas tangentes y hacer
pasar por ellas un plano;. l^acer pasar un plano por el
lado y por la tangente la base en el punto en que aqul
lacoTfa; sTiSfecha esta condicin ltima, la propuesta
lo quedar tambin.
Ejemplo 5. Hallar grficamente el radio de una
esfera.') Consectjencias equivalentes: dibujar sobre un
plano una de las circunferencias mximas de una esfera
conocida; dada una esfera, encontrar sobre su superficie
tres puntos situados aobre una misma circunferencia mxima; buscar en la superficie de una esfera determinada, tres puntos equidistantes de otros dos i'hitrariamente
elegidos sobre ella; fijos dos puntos de una superficie esfrica, encontrar otra sobi'e ella que equidiste de. los
dados.
La resolucin de este problema que se supoae co-

nocemos no nos &vk inmediatamente la del propuesto,

pero nos proporcionar la del que le precede,- la de este
nos llevar la del que respectivamente le antecede; y
fesi sucesivamente hasta llegaf por ltimo al primitivo.
Cosa semejante sucede en muchas ocasiones, y entre ellas
es de notar aquella en que el planteo de un problema d
lug-ar un sistema determinado de ecuaciones; estas se
van trasformando en otras equivalentes, hasta venir
parar un'sistema que contiene una ecuacin con una
sola incgnita, otra con dos, otra con tres, y as sucesivamente; las incgnitas se van hallando entonces una
una, formndose la columna de valores por serie regresiva.
Ejemplo 6." Determinar el rea de un tringulo
rectilneo en funcin de sustres lados. El rea pedida,
debe ser equivalente la dada por la base b y altura k del
tringulo, por lo cual designando aquella por s tendrmoss=-<bh, frmula que se supone conocida; ahora, si
llamamos c uno de los lados contiguos la base, A al
ngulo comprendido entre esta y aquel y p al semi-permetro las consecuencias sucesivas y equivalentes podrn espresarse por la siguiente serie.
s = - i b c s e n A = b c s e n - A c o s l A = b c i /(P^Xpg)x
2
V
2
2
V
be
X

/ P (P~^^" = he

b&

/ P (P^) (P^^) (Pc) _

b'c

= >^I^(p-a)(p.-b)(p-c);
' "fV ,
Satisfaciendopues las condiciones exigidas en la
espresion V pfp^-^a) (prb) pc), cosa que sabemos
efectuar, la propuesta queda resuelta.

Advertencias: l / . E l problema qued resuelto desde

el antepenltimo ahillo,,pero se continutj.l^ trasformaciou con objeto de siipplificar. la solucin^.
2.* Si en vez de proceder por cadena de igualdades,
se hubiese querido poner, de manifiesto la serie de sllogisnios se hubiera hecho del modo siguiente:
10

S6
^ "2 ^
[
luego s=-^ b c sen. A
pero h = c . sen. A J
^
j
pero sen. A = 2 sen. ^ A eos. - A'
luego s = b c sen. .--Acos.-^A

pero sen. \ A eos. - A = 1 / ( p b ) (pc)[ / P (P) [

. '^
^
^
Iw
l^
be
)
luego s ^ b c |/(P^)(Pt^) / p (Pa),
l^
be
\/
bo
3.^ La equivalencia entre cada dos sistemas consecutivos de condiciones es evidente, pues al silog-ismo
1
1
s==5-bh, pero h = c sen. A, luego s==f--bc sen. A; corresponde el s = ^ b c s e n . A, pero h = c sen. A; luego
8:?=.- bh, y asi de los dems.

Rama C. Aqu el artificio consistir en tomar como

punto de partida un problema V qu de antemano se^
pamos i'esolver un teorema para nosotros conocido, y
deducir de l otro equivalente sistema de condiciones,
hacer lo mismo con estas y continuar as hasta llegar
al propuesto T que resultar equivalente al primero; resolviendo este, habremos resuelto aquel. ,
Ejemplo 1." Hallar el valor dfe la diferencia de loV
cuadrados de dos nmeros en funcin de estos. Partamos del problema multiplicar a-}-b por ab que sabemos efectuar; las sucesivas consecuencias equivalentes de
su espresion que es (a-j-b) (ab) sern las siguientes:
(a+b) a-f- (a-|-b)(b); a'-f-ababb'; a*b: que es la
propuesta, luego multiplicando la suma por la diferencia de dos nmeros cualesquiera, habremos encontrado la
diferencia de sus cuadrados.
Ejemplo 2." Determinar el rea de ^n, tringulo
rectilneo, en funcin de sijs tres lados. Adoptando la
notacin del ejemplo 6., rama A', tomemos por pri>^^p(p_a)(p-^b)(p-rC>cuyas
podemos
satisfar
mer eslabn de nuestro condiciones
razonamiento
la espresion

57
Cer pues que sabemos efectuar con los datos las operacionesenellaindicadas, y trausformmoslaspor consecuencias
equivalentes del modo siguiente: ^ppa)(pb)(pc)=
p(p-a)(pb)(pc)
=bc[/
b'c'

(pb)(pc

)X

be

P.(P f l = b c, sen.^ A eos. ^ A = ' 5 ' b c sen. A =

=:-H bli=:s, luego llevando efecto los clculos indica-

Procederes
analtico-siitticos.

I Advertenjcias comunes
| los proceIderes mixtos

dos en la espresion i/'p (pa) (pb) (pc) obtendremos

el rea s del tringulo.
Advertencia. Por lo dicho se comprende que este
proceder es regresivo respecto del anterior, y por lo tanto cuantos ejemplos se pongan i'elativos al uno sern
aplicables al otro con solo invertir los puntos de salida y
de llegada.
45 Ramas A y C . Los procederes analtico-sintticos
representados por las vas A y C' de la figura, se diferencian respectivamente de los sinttico-analiticos Cy A;
solo en que en estos, la marcha de la razn es inductiva
con equivalencia y en aquellos es deductiva con la misma condicin; aqu se procede examinando de quin pudiera sev consecuencia una cierta proposicin, asegurndonos despus de la equivalencia de ambas y all se saca
de ella una consecuencia que se somete luego al antedicho contraste, de donde resulta que cuantos ejemplos se
pusieron para la rama A' sern aplicables la 6'' y los
que se resolvieron para la C servirn para la A siu
cambiar nada en su escritura.
46 Respecto los procederes mixtos, tenemos que advertir: 1. que si los razonamientos como suele acontecer
en la Matemtica, se van traduciendo en serie de igualdades, esta representa la vez despus de escrita, una
marcha sinttico-analtica y su correspondiente analtico-sinttica, pues que tomando dos expresiones consecutivas cualesquiera, cada una puede considerarse como
consecuencia de la otra ya que son equivalentes. 2.* Que
en el caso de la serie antedicha, la solucin del problema puede cambiarse voluntad en propuesta y viceversa, con solo tomar el ltimo anillo por primero y al

-.68
cantravio, pero el nuevo problema, que pudiramos adr
iev&v recpi'oco del antiguo, nada ese,neialmente niievo
nos enseara; as el primero del prrafo,44se camljiarla
en este otro: , quines i-gual la suma' multiplicada por
la diferencia de dos nmeros? Y la solucin ser: la
difFencia d sus cuadrados. Esta transformacin siu
embargo, es algunas veces til y en ocasiones ne?esa-T
ria, pues en los clculos es conveniente dar una misma
cosa formas distintas segn las circunstancias; tal sucede por ejemplo con el producto de un nmero por un -entero, relativamente una suma cuyos datos son todos
ig-uales; en el cambio de una potencia entera de un nmero por un producto de factores iguales y al contrario;
en las reglas que nos sirven para restar expi-esiones aK
g-ebricas y para mudar de signo uno vaios trminos
de un polinomio; en las que nos dan el medio de multiplicar un polinomio por un monomio y el de separar el
factor comn de los trminos de este, etc.
Compara-'l 47 Pasando ya la comparacin de los procederes
"?'^ '^fpl"! [mixtos, no hay duda que los sinttico-analticos son muy
iiiixtos
> preferibles los aualtico-sintticos, porque es ms fcil
deducir que inducir, y parte de esta diferencia, nada
encontramos que los distinga. Descartados- pues estos,
examinemos cul de las dos vas C y A' ofrece mayor
ventajas, y para ello observemos ante todo que los descubrimientos pueden clasificarse en dos grupos: soluciones de ^vohlfunna jiropuestos j resultados obtenidos c<.92?efe. A la primsra pertenecen las cuestiones que
ordinariamente investigamos proponindonos un objetivo
prefijo; la segunda, las que resolvemos cuando poseedores de algunos materiales cientficos, los combinamos
voluntad sin objeto determinado, y de esta suerte llegamos al descubrimiento fortuito de verdades y soluciones hasta entonces ignoradas. Algo parecido sucedi
aquellos antiguos gemetras, que aunque discurrieron
con el objeto,pi'econcebido de encontrar la cuadratura del
crculo, no lo consiguieron, pero en compensacin llegaron enriquecer la ciencia con descubrimientos imprevistos acerca de las cnicas, proporcioimndo la base
que ms adelante haba de servir para fundar los portentosos adelantos de la Mecnica Celeste.
Ahora bien: si tratamos de resolver probleinas np
propuestos de antemano, el proceder C es el nico que

69
ilebemos emplear, pues que el punto de partida est situado entonces en V, y el de llegada en T; pero si los
eouociniientos que se han de conseguir estn designados
con antelacin, es siempre preferible la via A ' .
n efecto: en el camino C;ig'noramos el punto de
partida, porque entre la multitud de problemas y teore-^
inas conocidos que como primer eslabn de la cadena de
razonamientos podemos tomar, no existe criterio seg-uro
de eleccin acertada;si por C?5rt/'?V7-7 empezamos por el
mejor, se nos presentar seguidamente la misma dificultad para elegir entre sus consecuencias la ms apropsito, y el mismo inconveniente tendremos en los sucesivos
trnsitos, menos que el camino sea muy corto j acertemos ver el problema dado, como una consecuencia
caso particular de otro ya resuelto, de un teorema ya
demostrado, pero an entonces, sin darnos cuenta de
ello, habremos previamente recorrido la va A ' . Sin embargo, la costumbre de usar el procedimiento C, puedn
dotarnos con cierta especie de intuicin para verificar el
paso de uno otro anillo de la cadena de razonamientos,
y desde luego, en la generalidad de las ocasiones debe
principiarse por una verdad congnere con el asunto de
que se trate, mantenindose la misma prescripcin, para
cada trnsito de uno otro sistema de condiciones, pues
de este modo queda algo limitada la indeterminacin de,
nuestra vacilante marcha.
Por el contrario: si adoptamos la va A' conocemos desde luego el puuto de partida, dado en las condiciones mismas del problema, y si poseemos abundante
nmero de verdades relativas al asunto, SQi-d fdcI lleg a r transformando aquellas una de estas, con el auxilio de las dems.
Si despus de seguido tul camino queremos ensear otra persona el modo de resolver la cuestin, entonces, pues que hay equivalencia entre cada dos sisteteraas de condiciones, se puede nuestro arbitrio recorrer aquel, empezando por cualquiera de sus estreios, es
decir; comenzar por la proposicin conocida que V' representa y terminar por la que T simboliza, lo cual
.equivale a marchar por la va C, usar el mismo procedimiento que en la investigacin nos sirvi, despus de
haber suprimido como es natural las tentativas intiles.
Ordinariamente se haie uso del primer artificio por ms

Toque el segundo sea irreprochable, pues las pruebas que

satisfacen al indag-ador, deben necesariamente dejar
convencido al que aprende, pero tal costumbre no es la
ms conveniente, porque el procedimiento A' tiene en s\\
abono el que la luz de las condiciones dadas, acompaa
la razn, trasmitindose paulatinamente de anillo en
anillo hasta dejar indirectamente enlazado el propuesto
con otro ya conocido y posee adems la grandsima ventaja, de que el discpulo al connaturalizarse con l, va
prcticamente apoderndose del modo como debe usarlo, llegando por ltimo hacerse dueo del verdadero
mtodo de investigacin,^.?iprinctj):'?! aunque no nico que debe dirigir sus esfuerzos.
La via C tiene en su favor la sola circunstancia
de que por su medio se hiere sbita y profundamente
con la luz de la sorpresa la mente del que aprende, lo
cual aunque siempre y sobre todo en los problemas ms
elementales es conveniente, no compensa ni con mucho
las ventajas del procedimiento A'. Adems sus trmites
tienen algo de misterioso, pues que al recorrerlos, el
discpulo no sabe por qu se toma por punto de partida
y por consecuencias sucesivas, tal cual verdad y no
otra distinta, lo que trae como natural resultado, el que
la memoria juegue un papel importante.
Eesumiendo: si se trata de inquirir lo desconocido, y el problema no est propuesto de antemano, Jbrosmnenh hay que seguir la marcha indicada por C,
pero si la cuestin est prefija, pueden intentarse cualquiera de las simboliisadas por C j A" aunque esta ultima es preferible. Si se trata de ensear lo ya inquirido,
cualquiera de dichos procederes es aceptable, pero especialmente el segundo.
Por ltimo, lo dicho, solamente se refiere los
problemas generales, y los particulares en que no se
conozca la frmula que los resuelve, pues si esta hubiera
sido encontrada anteriormente, no habra que hacer otra
cosa ms que aplicarla los casos determinados que se
y)re9entaren,con lo cual se hara uso de la viaC. Si dicha
frmula no hubiese sido investigada, ser muy conveniente hacerlo, generalizando el enunciado, porque de
esta manera tendremos mucho adelantado para la solucin de todos sus infinitos anlogos.

71
A todo lo dicho en este capitulo son -aplicables los
escolios que siguen:
Escoliosge-\ 48. Escolio 1." Si el enunciado es susceptible de renerales la (solverse en dos ms problemas que ofrezcan mayor fuproblema^ i^^^^*^*^^' '^''^^ "'"* todo procederse tal descomposicin,
' que siempre ser tm anlisis objetivo.
Ejemplo 1." Treinta y seis soldados penetran en una
plaza fuerte, despus de haber ido dejando en cada uno
e tres cuerpos de guardia por que sucesivamente pasaron, la mitad ms medio de los individuos que eran al
llegar l. De cuntos hombres se componia el grupo,
antes de verificarse la primera susti'accion"?
Descompongamos la propuesta en otras tres, que
tendrn por objeto averiguar los que quedaron en cada
cuerpo avanzado, pues si esto conseguimos, una sencilla
adiccion nos proporcionar el valor de la incgnita. Lla^
mando x. y, z, los que respectivamente ingresaron en
cada guardia contar desde la tercera, tendremos que en
esta quedaron la mitad y medio de los soldados que hasta
ella llegaron, y pues que entraron despus en la plaza 36,
X

1
\

ser:----=36; de donde X1=72, y x=:73; del mismo modo, para el segundo cuerpo de guardia tendremos:
-^==73; luego y1=:146; y=.147; finalmente, para
?
1
el primero ser: -^^=^14^; z1=?94; z=295; en resi'imen, la incgnita del primitivo enunciado valdr:
295+147-^-73+36=551.
Ejemplo 2." Hallar las i-aices cuartas de la unidad
positiva. Lla,maudo x una cualquiera de estas raices,
tendremos: x = 1 ; de donde x ] ==0; y valindonos de
la propiedad relativa la divisibilidad de la diferencia de
las potencias semejantes de dos nmeros, por la diferencia de estos, operaremos la descomposicin de la manera
ix=:-f 1

^x_l=0J^^_^

Siguiente: x:IssO-

ix=-i/ZT
Ejemplo 3." ^^Con un radio conocido, trazar una cjr-

-72
eunferencia de circulo que sea tangente una recta y
otra circunferencia dada La cuestin se descompone
naturalmente en estas otras dos: 1.* con un radio determinado, trazar una circunferencia tangente una
recta fija. El conjunto de dos paralelas esta, trazadas una distancia de ella, ignial al radio dado, proporciona la solucin. 2." Con un radio conocido, trazar una
circunferencia tangente otra prefija. La reunin de
otras dos circunferencias concntricas con la dada, y
distantes de esta'una cantidad igual al radio conocido
resuelven el problema. Finalmente: los puntos en que
las rectas y las circunferencias trazadas se corten, sern
los centros de otras tantas circunferencias, que respondern al enunciado primitivo; en cuanto sus radios
respectivos se determinan seguidamente con gran facilidad.
Nota. La descomposicin objetiva, es muy conveniente cuando el problema tiene dos ms incgnitas, y estas son tales que por l intei-medio de las unas puede venirse fcilmente ert conocimiento de las otras. Entonces
se eligen aquellas ^^vprincipales, y se procua despejarlas, dejando para despus el hallar el valor de las
restantes.

Escolio 2." No es indispensable que al sustituir en la

serie de razonamientos un problema por otro, las incgnitas de ambos sean las mismas, pues evidentemente bastar que el conocimiento de las dersegundo, lleve en s
el de las del primero, para lo cual es suficiente; que estas estn ligadas por una relacin cualquiera Con aquellas. Si dicha relacin s fcil de aplicar, convendr
hacer uso de las nuevas incgnitais, que en atencin al
papel que representan en la investigacin de las propuestas, se denominan auxiliares.
,,
Ejemplo 1." Hallar un ninero que dividido p o r ' 8
d e l de residuo, y partd'o por 7 deje 4 por resto, siendo el cociente entero igua| en ambas operaciones.
Sustituiremos la incgnita del problema por el
cociente x de que trata el enunciado-, pues conocido
aquel, como se nos, d el divisor y el\resto, el dividendo
ser fcil de hallar.
,
' ;
Las condiciones del problertia se traducen as:
8 x-}-l=7 x-|-4; y sucesivamente,'xi=41; x=3'; luego

-73el nmero pedido ser 8X3-f 1=25, que tambin pudiera

averiguarse por la operacin 7x3-f-4=25.
Ejemplo 2." Trazar un trapecio, conociendo sus
cuatro lados, y entre ellos cules son las b^es. Si consideramos un tringulo, cuyos tres lados sean, los dos
no paralelos del trapecio, y la diferencia entre las bases,
este tringulf ser una incgnita auxiliar, pues prolongando el lado igual la diferencia, tomando en su continuacin una magnitud igual la base menor, y haciendo lo mismo en idntico sentido con una paralela previamente trazada por el vrtice opuesto, tendremos despus
de unidos los dos puntos resultantes, el trapecio pedido.
Finalmente, cuando en geometra se nos pide la
construccin de una figura cualquiera, podemos tomar
por incgnitas auxiliares, elementos de aquella, que basten para determinarla; si es un tringulo, sus tres lados,
sus tres medianas, dos lados y el ngulo comprendido, etc.; si es una circunferencia, su centro y su radio,
tres de sus puntos; si es un cuadrado su lado, su diagonal, y as de las dems.
Escolio 3." No siempre el proceder adoptado para la
resolucin de un problema, es desde su principio hasta
su terminacin el representado por una de las ramas de
la figura; veces se comienza la serie de silogismos por
na de aquellas y s concluye por otra, pues luego de halaer reducido la cuestin por medio del artificio A', por
ejemplo, otra ms fcil, se puede hallar la solucin de
esta, valindose de otra cualquiera via.
Escolio 4." Tampoco es siempre posible, obtener la
equivalencia entre cada dos sistemas de condiciones durante toda la serie de razonamientos empleados, y entonces ser indispensable hacer lo que se llama la discusin
del problema, para averiguar si existen soluciones perdidas y cuales sean estas, para descartar las soluciones
estraas caso de haberlas, para lo uno y para lo otro, ya
que ambas cosas pueden suceder, para convencernos
de la compensacin entre aquellas y estas, que algunas
veces tiene lugar. Dicha discusin, puede efectuarse por
partes, examinando uno tras otro los anillos en que no
exista equivalencia, pero es mejor evidenciar despus de
resuelta la cuestin, que las soluciones halladas convienen todas al enunciado y que no existen otras que le satisfagan.
11

-74Ejemplo 1.' Hallar el valor de ? en la ecuacin

x'4-sx=o. Este problema puede considerarse como una
consecuencia del siguiente que supongo ya resuelto. Encontrar el valor de la incgnita, en la ecuacin
x.''-f9x-|-p=o. La frmula conocida x = ' - 1 / ^ 5

dar, haciendo en ellap=o; x=^^{/^S-s. -^ -<-y los dos nmeros o ys sern las respuestas la
cuestin.
Ahora bien: pues que sin equivalencia, hemos
marchado por la va A de la figura, solo deberemos de
temer que existan soluciones estraas, lo cual averiguaremos sustituyndolas una una en la ecuacin propuesta, pero como esta en ambos casos se transforma en identidad, todas dos soluciones son legtimas.
Ejemplo 2." Dividir en medio y extremo, una recta
de longitud determinada.
Imaginemos dicha recta, cuyos extremos designaremos con las letras AjB.j
con la J/, el punto buscado. El problema comprende dos condiciones, una de las
cuales consiste en que la distancia de dicho punto uno
de los estremos, sea media proporcional entre su distancia al otro y la recta entera; la segunda condicin, es que
el punto incgnito est situado precisamente en la recta
y no en su prolongacin; si prescindimos de esta, habremos generalizado la cuestin, y entonces, para traducirla con ms facilidad por la escritura algebraica, podemos
llamar / la longitud de la recta dada, x la distancia de
uno cualquiera de sus estremos al punto buscado, y la
I
X
ecuacin ser: - = r r - ; resolvindola tendremos:
X

i^x

I'Ix=x'; x'qrZx^=o; x = - . l / i ' i /.. 3;_+i-{'

4 ' ' ~2~

Jl-^!/5;x=i(/5l) ; lo que d las cuatro

solu-

ciones siguientes: ^ / 5 -f ] ) ; ^ | / 5 ] j ; ^ / j / 5 -f-l| =

^("M^ 1 (-'r-l)=-i ('B'+l y. la

primera y cuarta son extraas al problema, porque esr

75presan long-itudes mayores que la reeta dada,- la seg-unda

y tercera son legtimas evidentemente y solo es diferencian en el signo, lo que debia suceder, ya que los puntos
A y B, pueden indiferentemente elegirse como origen para contar el valor numrica de la media proporcional
buscada.
Escolio 5.' Se comprende, que cualquiera que sea el
proceder adoptado, al sustituir un sistema de condiciones
por otro, podr suceder que nos alejemos en vez de acercarnos al fin propuesto; esto depender de la costumbre
que tengamos de ocuparnos de semejante clase de cuestiones, del caudal de conocimientos que relativos la
materia poseamos, y finalmente, del talento del que intente resolver el problema. Algo y an mucho queda
tambin la suerte, y por eso debemos confesar, que los
mtodos, no dan a seguridad de hallar Jas apetecidas
soluciones, pero s, la manei'a de buscarlas con alguna
probaMlidad de xito.
Conversin j 49. La diferencia entre problemas y teoremas es ms
dlosproble- /aparente que i'eal, pues que en trminos generales, puede
masenteore- ^afirmarse que todo teorema, antes de su descubrimiento,
versa"^ ^^ ' j ^ ^ debido afectar la forma de problema j a que toda
vei'dad no evidente por s misma, toda relacin entre cosas de un orden cualquiera, ha debido ser investigada y
descubierta, por medio de un razonamiento hecho sin
objeto determinado, como sucede casi siempre, con
ayuda de una cadena de juicios, dii'igidos investigarla;
en ambos casos se ha conseguido un fin cientfico, y por
lo tanto se ha resuelto un problema. As los teoremas:
El orden de los factores no altera al producto. Si dos
cuerdas de un crculo se cortan, los segmentos de la una
son recprocamente proporcinalas los de la otra no es
verosmil que se presentasen de tal modo enunciados la
mente de sus descubridores, sino que el simple examen de
dos productos, compuestos de iguales factores, en orden
diverso colocados, el de dos cuerdas que en una circunferencia se cortaran, les llevara naturalmente preguntarse: Si se cambia el orden de los factores, se altera el
producto? Si dos cuei-das de una circuuferencia se cortan, los segmentos resultantes, guardan entre s alguna
relacin? Halladas las respectivas soluciones, los teoremas pudieron ser en el acto formulados.
De aqu se sigue, que todo problema despus de

veresuelto, puede enunciarse como teorema, y todo teore~

ma, luego de hallado, es susceptible de esponerse en forma de problema. Para lo primero, basta cambiar el
sistema de condiciones propuestas en hiptesis y la solucin en tesis y viceversa para lo segundo, dejando intacta la mai'cha de los razonamientos. As, las condiciones propuestas en los problemas anteriores, tienen por
soluciones correlativas: el producto no se altera los
segmentos de la una, son recprocamente proporcionales
los de la otra .y los teoremas correspondientes sern:
Si el orden de los factores se cambia, el producto no se
altera. Si dos cuerdas de un circulo se cortan, los segmentos de cada una son recprocamente proporcionales
los de la otra. Sus demostraciones respectivas seran las
resoluciones de aquellos, y lo contrario se hara si se
quisiera transformar los teoremas en problemas.
Debemos guardarnos bien, de cambiarsegn generalmente se aconseja,la propuesta en tesis y la solucin en hiptesis, pues los teoremas resultantes, seran
recprocos de los que debiramos haber obtenido, y lo
que es peor, pudieran carecer de sentido, no ser vei-daderos, cual acontece en el siguiente: Si el producto no
se altera, el orden de los factores se ha cambiado. Adems, aunque dichos recprocos fueran verdaderos, nunca
podra drseles por demostracin la cadena de razonamientos hechos para resolver el problema de que se trate,
menos que cada dos sistemas consecutivos de condiciones, sean equivalentes.
Por ltimo, lo que hemos visto en los ejemplos
del presente escolio, no hay duda que se aplica de idn
tica manera todos los dems problemas y teoremas pertenecientes cada ramo particular de conocimientos abstractos, en su parte hasta hoy descubierta, y con mayor
razn en la que todava est por determinar, siendo en
consecuencia evidente, que en su origen, todas las ciencias se han compuesto exclusivamente de problemas por
resolver; la srie de estos disminuye de dia en dia, aumentando en cambio la de los teoremas, pero los lmites
cero infinito que al nmero de aquellos y al de estos
respectivamente corresponde, nunca sern alcanzados
por la humana inteligencia, cuyas sucesivas generaciones, hacen continuas y sorprendentes conquistas en el
campo de la verdad, pero nunca la alcanzarn completa.

CAPITULO FINAL.

i^ompandio.

50. Abreviado resumen de las principales afirmaciones hechas en los captulos que anteceden, son las siguientes:
1." En toda ciencia, de cuiilquier gnero que sea, dos
vias nicas le es dado la humana inteligencia recorrer
en sus especulaciones, 7 son la analtica y la sinttica;
se procede analticamente, cuando se pasa de lo simple
lo compuesto, y sintticamente cuando de lo compuesto
lo simple.
2." Tanto la anlisis, cuanto la sntesis, pueden ser
mtodos objetivos subjetivos; si son objetivos, consisten
en resoluciones y composiciones de las partes integrantes
de un objeto, cuyo conocimiento individual, se hace do
este modo ms perfecto; si son subjetivos, versan sobre
abstracciones y concreciones de ideas, en las cuales, mediante la eliminacin gradual de caracteres diferenciales,
se eleva nuestra razn de lo complejo lo simple, desciende desde lo sencillo lo compuesto, adquiendo de
esta manera el verdadero saier, cosa muy distinta del
vulgar conocer. En todas las ciencias, se emplean, a\mque en distintas proporciones, estas dos clases de anlisis
y de sntesis, predominando grandemente la parte subjetiva en las abstractas.
3." Tratndose de anlisis y sntesis subjetivas, lo
ms simple es lo ms general indeterminado, y tambin
suele ser lo ms fcil y conocido.
4." En la resolucin de problemas, y en la demostracin de teoremas, deducir de un principio sistema
de condiciones, verdadero falso, satisfecho por satis-

78
facer, otro que sea consecuencia suya, mediante la sucesiva agregacin de caracteres diferenciales, es proceder
sintticamente, inducir aquel en otro de quien l sea
una consecuencia, por medio de la abstraccin de notas
especficas, es operar analticamente.
5." Si el procedimiento es objetivo, el punto de partida estar en el todo en las partes del objeto, segn se
adopte la anlisis la sntesis, pero si la operacin es
subjetiva, el mtodo no resulta caracterizado por dicho
punto de origen, que podr situarse ya se trate de la anlisis, ya de la sntesis, en la cuestin propuesta, en otr;i
resuelta de antemano, finalmente, en un principio admitido como cierto como absurdo.
6." El proceder analtico puro, es causa de soluciones extraas la cuestin, si de problemas se trata, y el
sinttico deja soluciones ignoradas perdidas para el indagador.
7." Muchas veces, el mtodo empleado para descubrir una verdad, para exponerla, es intermitente de
anlisis y de sntesis y entonces,, si de problemas nos
ocupamos, podr haber soluciones extraas, y soluciones
perdidas; en este caso y en el del nmero antei'ior, una
discusin es indispensable.
8." Si cada dos sistemas consecutivos de condiciones
impuestas en la investigacin de un fin cientfico, son
equivalentes, la discusin es intil, porque las soluciones halladas, son todas legtimas y no existen otras.
9.* Hay que distinguir cuidadosamente, entre el mtodo empleado para evidenciar cada Yciniad constitutiva
del todo cientfico, y el orden segn el cual estas deben
ser estudiadasT dicha orden que hemos designado con el
nombre &plan, hade ser forzosamente sinttico en toda ciencia abstracta, y aquel mtodo, puede nuestra
voluntad ser analtico, sinttico, ambas cosas la vez.
10." La palabra anlisis, indica un mtodo de razonamiento, independiente de los signos que para ello se
empleen, pero ya sea por un tropo, siempre inconveniente en las ciencias exactas,, ya por una verdadera confusin de ideas, se suele dar aquel nombre, todo procedimiento exclusivamente traducido por medio del clculo, no obstante que muchas veces se practica una completa sntesis; hasta no falta quien reserva dicha denominacin, para ciertas teoras, que esparcidas en el Algebra

79
y en el Clculo infinitesimal, tratan del nmero en el
nmero, es decir: precisamente, de sintetizar los elementos numricos.
Conseuen-| 5 1 . \JQ igg anteriores conclusiones una vez admitidas,
cas
y de cuanto llevamos dicho, se desprenden los corolarios
que sig-ueu:
1." Los Matemticos, no solo Ijan pretendido disponer de un mtodo de razonamiento para su uso particular
y exclusivo, sino que consideran como una desg-racia
cientfica el que todo el mundo no piense como ellos.
2. No obstante, creemos liaber demostrado, que pai*tiendo de las definiciones que del anlisis y de la sntesis!
dan los metafsicos, se llega los procederes que emplean los g-emetras para resolver sus problemas y evidenciar sus teoremas, con tal que la descomposicin y
recomposicin que aquellos preceptan, no quede limiinda los objetos, sino que recaig-a tambin sobre las ideas
del sujeto que conoce. Algunos tratados de lgica han
contribuido no poco que se desconozca esta verdad, haciendo caso omiso de la anlisis y la sntesis subjetiva, y poniendo ejemplos que como los tan conocidas del
reloj y de la construccin del vestido citado por Condillac, se refieren solamente anlisis concretos y sntesis determinadas, con lo cual, ms que doctrina apropiada para esclarecer el concepto de materia tan importante, han sido aquellos libros, origen de prejuicios y conducto de confusiones. Es cierto que los metafsicos comprendieron por intuicin y enunciaron priori, la identidad entre sus mtodos y los empleados por los gemetras, pero ni han logrado evidenciar esta verdad, ni los
conatos que al efecto practicaron han producido otro
fruto, que la divisin de las oposiciones, siguindoles algunos matemticos en sus asertos sin pruebas, y combatindolos otros, apoyados en la consideracin limitada
del asunto, por los mismos lgicos propalada.
3. Se h confundido el orden segn el cual deben
estar escalonadas las verdades integrantes de toda ciencia
abstracta, con el mtodo propio para indagar y ensear
cada una de aquellas verdades aisladamente pensada.
As Lacroix en su Ensayo sobre la enseanza (1) estima que los Mementos de Enclides estn tratados por el
\l) Pgina 204,

80
mtodo sinttico, en el mero hecho de que este autor,
despus de haber sentado los axiomas y formulado los
postulados, establece proposiciones que prueba sucesiwvamente apoyndose en lo que precede. Pero como
quiei-a que no puede ser otro el plan de cualquier obra
de matemticas, segn hemos demostrado, si en tal circunstancia hubiera de consistir lo que ordinariamente se
llama mtodo, todas habran de estar forciori tratadas
por el sinttico.
4." Los gemetras han tomado por anlisis lo que es
una verdadera sntesis, pues el mismo Lacrois, Pappus.
Bnhamel, y todos los mejores y ms recientes libros do
matemticas, afirman que se practica el mtodo sinttico,
procediendo por srie de consecuencias por cadena do
deducciones, y nosotros eremos haber probado, que tal
sistema es siempre de composicin y por lo tanto sinttico. El primero nos dice: (1) Se atribuye Platn el ha)ber usado por vez primera el mtodo analtico en los esntudios geomtricos. Por este mtodo, se supone que el
problema en cuestin est ya resuelto; sigese de aqu
que cierta condicin queda cumplida, lo que es' lo
mismo, que hay igualdad entre muchas magnitudes,
las unas dadas y las otras incgnitas. Biscando
las
y^consecxiencins de la condicin que se h supuesto cumwplida, de la magnitud que de ella se h seguido, es
Dcomo S8 llega finalmente descubrir la cantidad incgnita, trazar el proceder que es necesario seguir para
ejecutar lo que se h pedido. Y ms adelante aade:
La demostracin de los teoremas, en la forma
que se llama rednccion al absurdo, es hablando coa
propiedad, un proceder analtico, porque se supone que
la proposicin enunciada es verdadera, y se buscan
ciertas consecuencias, que encontrndose absurdas, h a cen ver que la hiptesis que se examina^ tambin lo es.
Pero ni el artificio apaggico est claramente expuesto
en la regla precedente, ni aplicndola haramos uso de
la anlisis, sino que por el contrario, practicaramos una
sntesis perfecta.
Por su parte, Pappus, en las Colecciones matemticas, (2) escribi los siguientes prrafos:
(1; Obra citada, pg. 205.
(2J Libro 7.Prefacio.

81
((La anlisis es el camino que partiendo de la cosa
pedida, que se concede por el momento, lleva por una
serie de consecuencias, alg-una cosa conocida de anMtemano. E insistiendo, dice que en la anlisis que tiene por objeto reconocer la verdad la falsedad de una
proposicin, dicho mtodo consiste en que teniendo por
verdadero por ya existente el asunto de la proposicin
enunciada, marchamos por las consecuencias de la hi))ptesis, alg-una cosa conocida, y si este resultado es
verdadero, la propuesta tambin lo ser.
En cuanto Duhamet, en su obra acerca del Mtodo (1) reitera la que en distintos lug-res de la misma
tiene ya expresado, con las siguientes palabras: Este
mtodo (el analtico) consiste en general, en partir del
problema propuesto y llevarle otro; despus referir
este otro nuevo, hasta que se llegue uno que se sepa
resolver. Pero cada uno de los problemas que as se sustituyen al que le precede, puede estar con l ligado de
dos maneras muy diferentes. Las condicienes que le son
impuestas, pueden ser consecuencias del precedente
llevar estas como consecuencias.
Por ltimoabstenindonos por razones fciles de
comprender de citar otros autores de fecha ms reciente
Vincent afirma en su geometra, que en unasrie ededucciones consiste el llamado anlisis del problema.
5." Los matemticos, y entre ellos los dos ltimos
que se citan en el prrafo anterior, han hecho consistir
la esencia de los mtodos, segn prueban sus palabras
en dicho corolario consignadas, en que el punto de partida del i'azonamiento est 6 deje de estar en la proposicin enunciada en el problema propuesto, y nosotros
creemos'haber evidenciado, que en general, tal circunstancia para nada influye en que el procedimiento sea
analtico sinttico. Tambin Euclides en sus Elementos
(2) dice que El anlisis es la admisin de la cosa
buscada como si estuviera hallada, para deducir las
consecuencias que desde ella conducen alguna verdad
admitida y que la sntesis al contrario, consiste en
Impartir de cosas admitidas y deducir consecuencias que
conduzcan al conocimiento de la cosa buscada.^ Lacroix^
(1)
(2)

Parte 2.'^, pg. 367.

Libro 13.
12

82
afirma que en el primer mtodo (sntesis) la proposicin
enunciada es siempre la ltima consecuencia de la serie
de razonamientos que forman la demostracin.
6." Varios autores y entre ellos Vincent, pretenden
que el mtodo sinttico en la resolucin de problemas
consiste en prescribir al principio las opei'aciones que
deben ejecutarse, probando despus, que su resultado satisface las condiciones impuestas. Por nuestra parte
debemos confesar, que no acertamos ver aqu, ni el
mtodo sinttico, ni tampoco el analtico; vemos s, la
conversin del problema en teorema y la demostracin de
este. Cuando dicha demostracin sea sinttica, sinttico
ser el proceder, y analtico si analtica; no admitimos
que la esencia de los mtodos, pueda jams consistir en
cosa tan accidental y formalista, como la enunciacin 4
priori posteriori, de la regla que se pide, la cual ser
siempre priori, para el primero que analtica sintticamente la descubri, pero ser susceptible de darse d voluntad hntes despus, cuando se trate de la enseanza.
Por ltimo, habida cuenta del objeto especialmente didctico de este trabajo, renunciamos poaer de manifiesto otras antinomias de menor importancia, que entre
las opiniones generalmente admitidas y las que nosoti'os
sustentamos aparecen, pues lo basta aqu indicado basta
para poner en claro nuestro modo de pensar sobre asunto
de tan gran inters. Cerraremos por lo tanto este primer
libro, no sin antes expresar el vehemente deseo de que
filsofos y matemticos, compi'endiendo los verdaderos
intereses de las ciencias que respectivamente les estn
encomendadas, se dediquen hermanarlas, buscando
interpretando sus necesarias armonas, no inquiriendo
sus imposibles contradicciones; aplicando al orden de
conocimientos que cada cual profesa, la doctrina descubierta por ios otros, no salindose de la propia esfera
pai'a invadir la ag-ena sin lmite ni medida y veces
hasta sin los ms indispensables conocimientos; en una
palabra: tratando todos de aprovechar los materiales
acopiados por los que diverso orden cientfico se dedican, no intentando, llevados por el inmoderado afn de
celebridad, derruir con estriles esfuerzos, obras gigantescas producto de muchas generaciones de sabios ge.metras y filsofos. Con esta reg-la de conducta que nr, se
opone, antes bien exige, que el matemtico estudie l-

83
gica y que el metafsico aprenda matemticas, es como
en nuestro sentir desaparecern esas recriminaciones
eternas y esas polmicas casi siempre infecundas; la lgica terica, crecer lozana al lado de la Matemtica que
no es otra cosa que la lgica en accin, y si por dicha
del humano saber florece uu nuevo Kant, no caer en
errores semejantes al que este clebre filsofo cometi en
su Crtica de la razn pura afirmando que tan demostrada est la teora del flojisto, como las leyes de la calda de los cuerpos descubiei-tas por Newton, ni habr un
talento de primer orden que como Heg-el, despus de h a ber sostenido que entre Jpiter y Marte no existe planeta alg-uno, tenga que contemplar merced la perfeccin
del telescopio, la presencia de ms de ciento.

> 3> > <S>e--

85

NDICE.
Prlogo.
CAPTULO

\.Preliminares.

Prrafos.
1
2
3
4
5
(i
7
8
9
10
11
12
13
14
15
16
17
18
19

Razn, Juicio, Juzgar, Conocimiento, Concepto idea.

Silogismo; sus elementos; su legitimidad; su empleo on la
Matemtica.
Enzonamiento.
Ciencia, su concepto.
Clasificacin de las ciencias,
Principios formales; datos primeros,
Definicin. La verdad es indefinible. Cr'terio do la verdad.
Caracteres de la ciencia.
Concrecin. Abstraccin.
Generalizacin.
La abstraccin es indispensable para construir ciencia.
Anlisis. Sntesis.
Extensin; Comprensin; Sus lmites.
Fuentes de conocimiento.
Naturaleza del Mtodo en general. Sus elementos.
Mtodo cientfico. Su naturaleza y leyes particulares.
Doble procedimiento del mtodo cientfico.
Deduccin. Induccin.
Paso de la verdad falsedad de lo general la de lo particular y viceversa.
CAPTULO II.Plan

20
21

de las Ciencias

abstractas.

Plan de las ciencias abstractas en general.

Plan de la Matemtica.
GkVY\hO\ll.Mtodos
generales para la
cien y demostracin de teoremas.

23
23
24
25
26
27
28

investicja-

Cuatro ramas demostrativas. Su examen sucesivo.

Comparacin de los procederes A y C cuando se t r a t a do
investigar la verdad de una proposicin
Comparacin de los procederes A y C cuando se trata de
la enseanza.
Comparacin de los procederes B' y D' ora se trate de investigar, ora de ensear la falsedad do una proposicin.
Mtodos mixtos.Mtodo analtico-sinttico.
Mtodo sinttico-analtico.
Escolios generales todos los mtodos demostrativos.

86

CAPTULO IV.Clasificacin y estudio de las demos

traciones atendiendo d su forma.
Prrafos.
29
30
31
32
33
34
35
36
37

Demostracin mediata.

inmediata.

directa.
>
indirecta.

por la anttesis.
por el absurdo,

a priorj.

posteriori.
Adverteacia general.

CAPTULO "V.Mtodos generales para la resolucin

de problemas.
38
39
40
41
42
43
44
45
46
4T
48
49

Definiciones preliminares.
Generalizacin y particularizacion de un problema.
Problemas equivalentes.
Mtodo analtico.
Mtodo sinttico.
Advertencias comunes al mtodo analtico y al sinttico.
Mtodos mixtos.
Mtodos sinttico-analticos.
Procederes' anal tico-sintticos-.
Advertencias comunes los procederes mixtos.
Comparacin de los procederes mixtos.
Escolios generales la resolucin de problemas.
Conversin de los problemas en teoremas y viceversa.
CAPITULO FINAL.

50
51

Compendio.
Consecuencias.

SE SUPLICA A L LECTOR
l a correccin previa de las siguientes erratas.

PG.

DtCE.

LfJ.

DEBR DECIR.

Metafsica
Matemtica
19
VI.
h=i=d.seii C
d = d . sen C
3 22
omo la
comi a
4 1
to-Ja medida
to la medida
21 8
Algoritmia
23
5
Algoritmin
Si las dos
Si las tres
25 - 3
en las estas
en estas
29 9
36 . 16 1
eos A> eos A'
eos A<cos A'
36 16 2 b e . c o s A > 2 F c ' eos A' 2 b e . c o s A < 2 b ' c* eos '
36 17
b--j-c" _
b"4-c'__
38 7
h = kj/1
h = ^ k i/'1
H b)H++'S+
40
45 15
A < B y que A < 8
A>B.yqueA<B
contra el impuesto
46 18
contra 3l supuesto.
+l+n
50
1, a+b+c+
a4-b+e4-....-l-l.}-u
primero
57 16
nmero
CyA
67 16
CyA'
oposiciones
79 10
opiniones
snttico
80 13
analtico
priori
82 17
posterior!

(i)

curn

tintasis

Sntesis