Documentos de Académico
Documentos de Profesional
Documentos de Cultura
'TRATADO
DE
AiLISlS MATEMÁTICO
(ALGEBRA SUPERIOR)
POR EL
BARCELONA
1896
'^ Áj-r^ t-i yce/^/fTF^
i i í, i .' í J J I I I I I
/ / , ' . •
.. ^Oí^ '
ANÁLISIS MATEMÁTICO
^ALCilíHRA SUIMÍRIOR;
roK' i:i.
hN I \ L Í ; I V 1 RblDAD i;fcNrKU,
\
15ARCBLONA
t A l . l . i ; UK U u N r l i A l . K U U K , N . " -J
m jnlíÁit¿a¿ ¿ti (¡Mtiai
INTRODUCCIÓN fi
• r ^ ' '
TRATADO
DE
ANÁLISIS MATEMÁTICO
NOCIONES PRELIMINARES
y = F ( r (9 (o:))) = F (W (x)) = Tc ( x ) .
í7) y-=A(^),
1-2 TRATADO DE ANÁLISIS MATEMÁTICO
?/ = /•(«),
a,- = /(,v).
Cuando de la (6) se sacan las dos funciones distintas (7); (8),
se dice que las (7) y (8) son inversas una de otra. Las funciones
m
(I) fip¡,y) = o
entre las dos variables ac, y, y se toman estas variables como
coordenadas generales de cualquiera de los puntos de una linea si •
tuada en el plano de los ejes, y se van dando á una de las varia-
bles X, por ejemplo, valores arbitrarios, que vayan sucesivamen-
te creciendo en valor absoluto desde cero en el sentido positivo ó
negativo, los diferentes valores, que se obtengan para y conjunta-
mente con los respectivos de x, serán soluciones evidentes de
la ( I ) ; pero cada par de valores simultáneos de a; é y serán las
coordenadas de uno de los puntos de la línea propuesta, y el con-
junto de los puntos así determinados definirá perfectamente dicha
linea; y recíprocamente, las coordenadas de los puntos de esta
línea serán soluciones particulares de la (i).
24. Así, si se tiene la ecuación
(2) y3
(3) y-fi.^\
puede representársela geométricamente, de modo que su repre-
sentación haga concebir una idea clara de la relación, que existe
entre dicha función y, y la variable x de que depende, y dé no-
ción distinta de la marcha y algunas propiedades importantes de
esta función.
• 27. Se deduce de todo lo expuesto que
Para construir aproxi-
madamente la línea repre-
sentada por la función (3),
se pone sobre el eje de
abscisas OX (fig. 3.*), á
partir del origen O, un
valor OP de x tomado en
una escala dada, y el valor
de X llevado á la (3) dará
y=^l{0?), •
ó el valor de la función y, que será la ordenada correspondiente,
cuyo valor tomado asimismo en la escala propuesta, se llevará
desde P en una perpendicular PB á OX hacia arriba ó hacia abajo,
según el signo de! valor de y sea -}- ó — , lo cual reducirá ma-
nifiestamente la (3) á la siguiente:
±PB=-/(OP).
El extremo B de la perpendicular PB, valor de lá función j / , de-
terminará el punto B del lugar geométrico, ó de la línea que re-
presenta la función (3).
De la misma manera se determinarán cuantos puntos se quie-
ran y tan próximos entre sí como convenga. La línea trazada por
estos puntos será la representación de la íunción propuesta.
El punto, en que la línea (3) corla al eje de ordenadas, se
halla haciendo .-r = o ea la (5), Jo que da, tomando en la escah
el valor, que resulta para y,
• • \
NOOIOHBS PEBLIMIIIARHS 17
• ¿/-
lím. a = o .
(O «<P,
y por ser ¡3 limite inferior de x
(2) «>?.
lo cual es absurdo, á causa de no poder subsistir simultáneamente
las desigualdades ( i ) y (2). Luegól
lím. a == o .
(3) T^ '
que tiene evidentemente por trasformada
(4) T->^'
A
• •
Luego cualquiera hipótesis, que hagamos en la (4), subsistirá en
'* (3X y por consecuencia, haciendo fe = o en la (4), resulta
, . a
(5) -7->o;
A
lo cual nos dice que la (5) se verifica para cualquier valor de A
por grande que sea.
Se tendrá, pues, poniendo en la (3) la condición b = o,
(O y==/"(^)
determinada en el intervalo (Xo , «« ) tiene un valor determinado
para cada valor de x comprendido en el intervalo (aco, Xn ).
33. También se dice que una función de a; es díí^rmínada
en un intervalo {xo, Xn ), cuando cualquier valor de la función en
este intervalo es menor en valor absoluto que un cierto valor po-
sitivo A (COMBEROUSSE).
54. Si la función ( i ) es jinita en el intervalo {Xo , ac„), in-
dudablemente admitirá, en general, en este intervalo un limite
superior hy un limite inferior 1; porque evidentemente dicha fun-
ción no podrá dentro del intervalo {xg, Xn ) ser mayor en valor
positivo que -f-A ni menor en valor negativo que — A, siendo A
sufícientemente grande; pero fácilmente se concibe que A puede
coincidir con L ó /, ó sólo diferir de estos límites en un infinita-
mente pequeño. Si L y / son del mismo signo, y con mayor ra-
zón, si lo tienen diferente, resulta claramente que
KOCIONBS PRdUMINARÉS 27
(2) L > l ; •
de donde •
L- / > o ;
lo cual prueba que L — /es siempre una diferencia positiva.
55. La diferencia L — /, que puede ser cero, se denomina
oscilación de la función (i) en el intervalo (xo , Xn), cuya oscila-
ción tiene indudablemente á 2A por limite superior, en el supues-
to de ser L y / de igual valor absoluto y de signos contrarios;
pero es también evidente que este límite puede ser mucho menor.
56. Si dividimos el intervalo (Xo, «n) en n intervalos/)flr-
ciales, y representamos por
(4) /) . hy h , /n,
los respectivos limites superiores é inferiores de la función (i) en
estos intervalos parciales, será L el mayor de los límites (3), y /
el menor de los límites (4). Luego
La oscilación de la función ( i ) en el intervalo {x^ , x^ ) conte-
nido en el {xo, Xn) es, á lo más, igual á la oscilación L — /.
57. Si la ( I ) es una función determinada en el intervalo
{•Vo, x„), y X,, £Cg son dos valores de X pertenecientes á dicho
intervalo, la función ( i ) ser.-i finita en el intervalo (íc„, x„), siem-
pre que se tenga
fix,)-fix,)<A,
siendo A una cantidad positiva dada, porque es claro que el valor
absoluto de la ( I ) se conserva en el indicado intervalo siemp'e
menor que
A(^o)-fA,
y su oscilación es al mismo tiempo, á lo más, igual á A (n." 55).
58. Recíprocamente, si la (i) es una función determinada en
el intervalo {x„ , x„) sin ser finita, cualquiera que sea el valor po-
sitivo A, habrá en el intervalo (x„, x«), á lo menos, un valor
de X, que haga el valor absoluto de f{x) mayor que A.
28 TRATAUO DE AMXLIBIS MATBMXTICÓ
f{x,)-r{x,)>k.
59. Ocasión tendremos de aclarar en este Curso las nocio-
nes, que aquí sólo apuntamos, y que creemos suficientes^ por
ahora, al fin que nos hemos propuesto actualmente.
ji.-..--^
•f^
PRIMERA PARTE
TEORÍAS FUNDAMENTALES
CAPITULO PRIMERO
Princlpioa jcenerales sobre la diTislbilidad de !«•
fanciones alcébrieaa
^ 1.—PropIedMdeH taiportantea de Isa ranclones alg^brieaH
y de an divlaitfn
o = B(Q-QO;
y como B no es cero, resulta
Q-Q,=o;
luego
Q=Q..
63, Si no es exacta la división de las funciones enteras A, B
ordenadas con relación á x de los grados m y r» < m, y lleva-
mos la división hasta obtener un cociente Q entero en x, y un
resto R también entero en x de grado menor que n, sabemos
que
A-BQ + R,
ó bien
A ^ +, —
= Q R •
B ^ ^ B
Demostremos que, aún en este caso, Q y R «o pueden tener
más que un solo valor, dentro de las condiciones del enunciado.
En efecto, si no resultara así, se obtendría
A==BQ+R,
A=BQ,-fR,;
TBOKIAS FUMDAMBNTALBS 31
de donde
ó bien
(2) B(Q-Q,) = R,-R.
Y por serQ, Q , cocientes enteros en x, su diferencia Q—Qi
también lo será, y su producto por B será, á lo menos, del gra-
do n de B; pero por hipótesis R, R , son de grado inferior á n
con relación i x, y asimismo su diferencia R, — R; luego la (2)
no puede subsistir, á no verificarse que sea
Q - Q . = o,
en cuyo caso se tendrá
R,_R=o;
de donde
Q = Q. y R= R..
64. En la división exacta de las funciones A, B de a; el co-
ciente siempre es, en realidad, el mismo, ya se ordenen A y B
con relación á x por potencias decrecientes, ora por potencias
crecientes; sólo resulta que la ordenación del cociente ap'arece
invertido en uno de estos casos respecto del otro.
65. Pero, si la división es inexacta, la igualdad (n." 63)
'B = Q + "^
^ ' B
puede tomar una infinidad de formas distintas, apareciendo en
cierto modo como indeterminada; porque al ser el primer término
del divisor independiente de a; ó constante, este primer término
siempre será un divisor exacto relativo del primero del dividendo
y de cada primero de los restos sucesivos, y por tanto, ordenando
por potencias crecientes de x, h división podrá detenerse donde
se quiera, ó prolongarse indefinidamente, puesto que el resto,
según hipótesis, jamás será uro. Asi se obtiene
32 TRATADO DB ANÁLISIS MATBMÁTIOO
3 + 2x = (3 4 - s x + 4 x ' ) ( i - x - f ~ - x « + - ^ x '
47 V. 151 + 188 X
— - ^ x M + x'^ .—i—Z: _ .
y así sucesivamente
A, = 0 ,
'%
A3 = 0 ,
O .
se tendrá
Afl = ííj, A| = df, Aj = flj. A, = Og, , Am = flm .
En efecto, la (7) da, trasponiendo todos los términos al pri-
mer miembro,
(Ao — a,) + (A, — a,)a; + (As — a,) ac' - f (A, - a,) x»
-f- + (Am — cí„, )a;'" = o ;
de donde
Ae ^^^ ^'oi A , = O^, A j = ffj, A3 = O,-, , , Am í = CTm ,
V
T B O R Í A S FlTNOÁMaNTALBS 35
^0 — «o = O, A, — í/, = o, As — Oj = o, A , — 03 = o,
) An — ün = O, , Am = O J
<ie donde
y por consecuencia,
luego
,o\ j ^ _ _ _ ^ _ . _ ñ l __ ___^_.o
flo <*i *s ''n
Reciprocamente, si la relación (8) de los coeficientes de
iguales potencias de x es constante, se tendrá
AQ J\^ X A^ X
•Oj a, X fltj a;'
_X por consecuencia,
A, + A, ac -f- A, a;' + + A™ ac"
=.Q
Co + O) O! -f- a, o;' 4 - + «m 05"
independientemente de los valores de x.
70. Busquemos la ley del cociente y la forma del resto de la
división de la (unción ( i ) por x — a, asi como la condición de
su divisibilidad.
Llamemos, para ello, f(_x) el cociente y R el resto de dividir
á I(a;) por x — a. Se tendrá (n.° 63)
V(x)^ix-a)f{x) + R',
pero f{x) es evidentemente de la forma
(9) /•Ca5)«=B,a;»-»-f-B,í»"-* + B»a;"'-»
+ -i- B„ ao-»-"-! H h B„,^\ X 4- B«-,;
luego
An = Bn — Bn—1 út ,
F(a) = o ,
y reciprocamente, si
F(a) = o ,
3." Es T*" -f- a" divisible ó no por ^ •\- a, según sea m im-
par ó par, puesto que x =s= — a anula á x"' -\- a" al ser m impar,
y reduce a r" -}- a" á 2a al ser m par.
EJEMPLO. Hallar el cociente y el resto de la división de
^x* — 5a?' -{- A^' — 9 por ^ — 2.
3 Completemos, ante todo, la función pro-
y^ 2 puesta
6 ^x* — ^x' •\- 4x — 9 ,
,^r\ 3 r 7 introduciendo la potencia a;*, con coeficiente cero
y^ 2 ^o.\3i forma siguiente:
2 (13) 30^' — 5a;' + o • a?' -j- 4'^ — 9 >
+ o
/ /\ ~r I y apliquémosle las reglas de los principios de
+ 2
2 los n."' 71 y 73.
X Para ello, multipliquemos por 2 el primer
4
+ 4 coeficiente 3 de la función (13), y al producto
+
(3') ZL. 8 g 6 sumémosle el segundo coeficiente — 5; mul-
tipliquemos por 2 la suma + i obtenida (i'), y
X 2
16 al producto 2 sumémosle el tercer coeficiente
— 9 -f- o; multipliquemos por 2 la suma -f- 2 obte-
(4) + 7 nida (2'), y al producto 4 sumémosle el cuarto
coeficiente -I-4, y finalmente, multipliquemos por 2 la suma + 8
obtenida (3'), y al producto 16 sumémosle el último coeficiente
— 9, lo que da + 7> según la (4').
El primer coeficiente 3 del polinomio (13) y los resultados
( I ' ) , (2'), (3') son coeficientes de los términos del cociente, y -f- 7
es el resto de dividir por x — 2 la función (13), es decir, que
3 - 2 * — ; . 2^ + 4 . 2 — 9 = 7 .
75- Según lo expuesto, podemos establecer que
'1.° Si una función F(x) entera y de m grado en x se
anula por m valores de x, será igual al producto de m fac-
tores de primer grado de la forma x — 3, y de otro factor
independiente de x.
En efecto, sean a, b, c, , k, I los m valores de ,T dife-
rentes entre sí, que anulan á F(.^).
Por anular o á FO/), será F(.T) divisible por a? — a (n.° 74);
luego
(14) F(,T) = . (x - a) V^ix),
F(,c) = {x — a) {x — b) {x — c) {x — k) (x — l).
0 = 0.
(*) Eltmtnloi d$ tai leoriai coordmaloria y dt 2a> <f</«miin<mift, primen fWW, ea-
p(tulo III, g S
TEORÍAS FÜNDAMBNTALBS 43
+ +1""^^)
mi
Resulta, pues, que el desarrollo (20) de la función algébrica,
racional y entera (17), cuando se reemplaza x por x -\- h, es un
polinomio en h ordenado por las potencias de o á m, cuyos coe-
ficientes se forman por la ley de las derivadas sucesivas de la
expresada función. La (20) se denomina ley ó fórmula de TAY-
LOR, de la cual, así como de la teoría de las derivadas, nos
ocupamos detenidamente en el Análisis infinitesimal.
EJEMPLO. Las derivadas sucesivas de la función
son claramente
f(x) = loa;* — i2íF* 4- 12* — 9 , -
' 40X' —• 24a?
n^) => + 12,
rw=- 240ÍP,
120ÍP* —• 2 4 .
ri^) =
rix) = 2 4 0 * ;
puesto que las derivadas de la constante ao, y de las sucesivas
constantes, que van resultando, son nulas, por ser cero en estas
constantes el exponente de a^.
en que los coeficientes o^, o,, Oj, ... ., «m-i i «m sólo podrán
contener, á lo más, n letras.
Pero al multiplicar la (i) por B, se obtiene
(2) AB == aoBit™ + o, Ba?™-! •+- o» Bíe"-»
4- + «ift-i Bíc - f Éfm B;
luego P, que divide i AB por hipótesis, y es independiente de x,
ha de dividir á los respectivos coeficientes a^ B, a, B, a, B,'
, am_iB, Om B de jc en el segundo miembro de la (2), y por
tanto, según el supuesto admitido, á B ó simultáneamente á
<*o> fli, « í , , flm-i, «I» .
Si divide á B, el teorema queda demostrado; pero, si no divide
á B sino á a „ a„ (¡f„ , a^r-x, "m » dividirá á A, según la (i);
El enunciado Á, pues, evidente en el cfso actual.
Segundo casó}. Si'A y B contienen n + i letras y P sólo n,
y Qfíjenamos á A y á B con relación á letra aa, que no se encuen-
tre en P, se tendrá
(3) • A = ttt x"" + <»f *"*•* -+- ^» *"'"'' + + ^m ,
(4) B = 6, a;» + i>. a?-> - f &, a,-» - f + ft, ,
46 TKATADO DB ANÁLISIS MATBMÁTICO
+ ao6„í-" +a,b„,T'"-> + + a„ 6„ .
Pero P divide á AB y es independiente de x; luego ha de di-
vidir á todos los coeficientes de x en el segundo miembro de la
(5), y por tanto, á todos los coeficientes de x en la (3) ó en la
(4); porque, si alguno de estos coeficientes a,, por ejemplo, de
la (3) no luese divisible por P, tendrían que serlo, por la hipóte»
sis, todos los de la (4), que son factores de o, en los coeficientes
(6) AF, Ti F, F„ = PQ ;
lo que nos dice que la cantidad prima Fo, que divide al primer
miembro de la (6), dividirá el producto PQ; pero P contiene
n -\~ I letras y Q también n -\- i 6 sólo n; luego por lo demos-
trado en el segundo caso ó en el primer caso, F^ que sólo
contiene n letras, á lo más, ha de dividir á P ó á Q; y como F„ no
puede dividir á la cantidad prima P, habrá necesariamente de di-
vidir á Q.
Llamando Q, el cociente de dividir á Q por FQ, se obtiene
por la (6)
(7) AF, F, F„ = P Q , .
: Por la misma razón que anteriormente F, ha de dividir á Q, en
la (7), y llamando Q , el cociente de dividir á Q, por F,, se ob-
tiene
AF, .... F„ = P Q , .
Prosiguiendo de igual manera hasta llegar á dividir por F„ , y
llamando el respectivo último cociente Q», se obtiene, final-
mente
A = PQ„;
lo cual demuestra que P en el supuesto que nos ocupa divide á A.
Cuarto caso. Si A, B, P contienen n + i letras, y supo-
nemos que uno de los factores A, por ejemplo, sea de mayor
grado que P, y que P no lo divide exactamente, al dividir á A por
P, después de ordenar ambas funciones por una de sus letras x,
hasta llegar á un resto R de menor grado que P con relación á .r,
V reducir á un común denominadc r M al cociente Q y el resto ^
R, si tienen términos fraccionarios, se tendrá, representando res-
pectivamente por — , -rj- el cociente y resto que así resulten,
M M
(n." 63)
48 TBATADO DB ANÁLISIS UATCMÁTICO
de donde
(8) iMA = PQ, -f- R, ,
p - - ^ ^ p '
AB
pero M X —r-- yir BQ, son cantidades enteras; luego su diferencia
R H . <í
RR
— ^ l o es también, y por consiguiente, P divide á BR,.
P
Si R, es independiente de x, sólo contendrá n letras, á lo
más; y como B y P contienen » + i, habrá P de dividir á B por
el tercer caso.
Pero, si R( no es independiente de x, dividiendo á P por R,,
reduciendo á un común denominador M, los términos del co-
ciente y del resto, si no son enteros, y representándolos por
^ , ^ , se tendrá (n.o 63)
M, M(
P = R, X
M, ^ M, '
de donde
(9) Al.P-RiQi-f-R,,
T E O R Í A S FUNDAMENTALES 49
M, BP = BR,Q, 4- BR, ,
i> bien
RR '
pero M, B y ——^ X Qi son cantidades enteras, á causa de diví-
•dir P á BR, por lo dicho anteriormente; luego su diferencia
RR
—=— lo es también, y por consiguiente, P divide á BRj.
r
Si Rj es independiente de .r, sólo contendrá n letras, á lo más;
y como B y P contienen n -{- i, habrá'P de dividir á B por el
tercer caso.
Si R., no es independiente de .Í, proseguiremos dividiendo su-
-cesivamente á P por los restos Rj, R,„ etc., que se vayan obte-
niendo, hasta llegar á uno R„ independiente de x, y lograr por el
procedimiento que venimos empleando una igualdad de la forma
BR„_,
"~ X Qn ) y por consiguiente, P ha de -dividir á BR„ ; pero
P
por ser R„ independiente de ./•, no contendrá más de n letras,
mientras que B y P contienen n -\- i; luego por el tercer cas'>
P ha de dividir á B.
Quedan, pues, hechas todas las hipótesis posibles, en que P
pueda dividir al producto AB, ya que en el supuesto de que f con-
tuviese n -\- I letras, y A y B sólo n, no sería admisible que P
dividiese á AB, y en todas resulta evidenciado que al verificarse
el teorema para n letras, también ha de verificarse para n - j - • •
Pero el teorema propuesto está demostrado tx\\i. Aritmética,
cuando A, B, P son números enteros ó contienen cero letras;
luego también se verificará por el método de inducción de BER-
NocLLi (*), cuando A, B, P contengan i letra; si se verifica al
tener i letra A, B, P, se verificará, cuando contengan 2, y así su-
cesivamente hasta contener n letras.
Es, pues, cierto el teorema de MR. LEFEBURE DE FOURCY er>
el caso de ser P una función prima. Demostremos, además, que
78. Toda función algébrica entera P, que divide et
producto de otras dos funciones algébricas enteras A, B , ^
es prima con una B de estas funciones, divide necesaria-
mente á la otra A.
En efecto, si suponemos á B descompuesta en sus tactores-
primos F, , F, , , F„ , se tendrá
AB = AF, F, F„ , .
(•) Elemmioa dt leu troriai coordinaloria y áe la» dtlermitianleí, primera parle, Ctpt
lulo I, §1
TEORÍAS FUNDAMENTALES 51
80. Hemos dicho (n.°» 12, 13) que una función algébrica es
racional y entera con relación á una ó varias de sus letras, cuando
estas letras no entran en la función debajo de radical ó con ex-
ponentes fraccionarios ni como divisores ó con exponentes nega-
tivos. Según esto, los divisores de una función pueden ser enteros
ordinarios y enteros relativos; son enteros ordinarios, cuando dan
cocientes exactos y enteros con relación i todas sus letras, y son
enteros relativos, cuando dan cocientes exactos, pero de términos
enteros sóio con ¡elación á una ó algunas de sus letras.
81. Se comprende fácilmente, se^ún esto, que para que un
divisor sea e/iiero ordinario es necesario que siempr£ el primer tér-
mino del divisor divida exactamente con cociente de forma ente-
ra al primero del dividendo y de los restos sucesivos; pero esta
condición no es indispensable que se satisfaga en el caso de los
divisores relativos, en <jue basta únicamente que el último resto
sea cero, y los téririnos del cociente sean enteros sólo con rela-
ción á una ó algunas de las letras consideradas como principales-
82. Dé la definición del divisor relativo se deduce que
I." Si una ¡unción entera de x es divisor relativo de otra fun^
ción entera de x, el producto de la primera por un factor independiente
de X es también divisor relativo de la segunda; porque, si
B<,a;" + B,,r'-'+ + B„
es un divisor relativo de
M
L ,.m-
^ M
. / • ' " •
-"-' +,...• + M
la cual demuestra que el cociente es, en efecto, una función en-
tera con relación ,-i ,/•; luego
M(B<,.r"-f B, j — i - f .... + B „ ) ,
AB = (aa; + 6 ) QA + A R ;
RA A
R (ct j-' + 6) a x -| - b
51 I TRATADO DK ANÁLISIS UATRMATICO
U) B, B % B ' , , B^
las combinaciones dos á dos de los a -|- i factores (2) con los p
de los (3) serán asimismo divisores (n.'' 73, 8.*) de /"(.i); luego
el número de los divisores de f{j;), en que entran A y B será
claramente
(4) ( a + i ) + ? ( a + i ) = (a-f-i)(P+i).
L,, L , L. , , v> ,
resultan
(a + i)(P + i)Y
divisores de f{x), que sumados con los (4) darán
( a + 0 (;3-f-i)-}-(a + I) C3-f I ) r = (a + I ) ( t i + 0 (Y + O
divisores de f(jj), y así sucesivamente hasta obtener
(5) (« + 0 ( ! ^ I - 0 ( T + 0 (>^+0
para el número de los factores primos y compuestos de f{j.:), in-
cluyendo entre ellos la misma función /(.r), y la unidad.
85. Pero es indudable que todos los divisores de f{.v) serán
los diferentes términos del producto de las expresiones
A"+' — I
i4-A + A^ + .... + A«= - 7 - 3 7 - '
B^+' — I
I + B + B' + + B? = -Y^Z7~ '
Cr+' - I
1+C+O + -fa=--——-,
b(> TRATADO DB ANÁLISIS HATSMATICU
K^^^' - .
i + K+Iv^-}--. 4-K^ =
360 = 2 ' . 3 ^ . j , .
(3 + 0 ( 2 + O (• + O = 4- 3-2 = 24,
y para la suma de los valores de todos los divisores
1 + 2 + 3 = 6.
se forma ¡a suma de los términos hasta que esta suma sea un número
primo, el producto de esta suma por su último término es UN NÚME-
RO PERFECTO,
Si llamamos S„ la suma de los n primeros términos de la pro-
gresión (7), se obtiene
TlCOlifAS FUNDAMBNTALES 67
1 + 2 + 4 + 7 1 + 1 4 2 = 220 .
1,2,3,4
í(i) = i.
(12) '^;(N) = N - i ,
a ,2a , 3a , , a ==N ,
a
es decir, que -evidentemente sólo habrá en la serie (13)
a
N
múltiplos de a; luego, quitando de los N números (13) los
a
suprimidos, quedarán en la (13)
(14) N . ^ N - ^ - ^ N f i -)
a \ a /
números no divisibles por a .
De la misma m.anera, los números divisibles por b de la serie
(13) son los múltiplos de b
ü
í I 2 , 3 ) > L '
N N / I \
a b \ a J
-(-T)-T(-V)-(-~)(-Í)-
Ue la misma manera, los números divisiWes por c de la (13)
son los múltiplos de c
. ^ N
(17) C, 2C, 3c, , C = N ;
c
pero por ser a, b, c, primos entre sí Jos á dos, los múltiplos que
á la vez lo sean de a y de 6 estarán en fa serie
(18) 1,2,3, , .
o
que resulta de dividir respectivamente por c los números (17).
Los números no divisibles por a ni por b de la serie (13) es-
tarán en la serie (iS), que contendrá, según lo dicho anterior-
mente,
v(^-v)('-T-)
múltiplos de c, que deben suprimirse de los números, que quedan
en la (13), después de suprimirlos múltiplos de a y de b. Se ten-
drá, pues, en la (13)
^•--T-f(-]-)-T(-v)('-T)
= 4-f)(-T)('-f) ,.:
números no divisibles por a, por b ni por c.
TKORÍA» FUNDAMENTALES 01
<")'<'^)-(-V)('-Í)('-T) (-f)-
91. Si se tiene
.-i'-^yi'-Tyi'^v) "H-T)
- W - a'-) ( í , * - (,»-') ( c - - «•'-') ••••(/.^- O i
de donde
X X(/.-i)^-^"' •
Si N es un número primo p = n' , la (20) dará
60 = 2 ' . 3 . 5 ,
se obti ene
62 TRATADO DE AMALIBIS MATEMÁTICO
,(ío)=<ío(.-i)(-|)(,-j) = éo4-i-A_,6.
siendo, en efecto, i6 los números
J, 7, " . 13. 17. 19. 23, 29, 31. 37, 4 1 , 43, 47, 49, 53, 59
»(-)=K-7)(-i)(-7) (-f);
'"',K,,=N.(,-i-)(,-^)(,-^):..(.-x),
y multiplicando ordenadamente las (22), viene
(2,),(NWM,)=NN,((.-i)(—i-)(--i:) (.-i-)J
T E O R Í A S FUNDAMENTALES C3
a"'6^'/ /,-^';
luego podemos hacer
í K ) = '-f(a''')í(/)'f(/) f(A-^').
Es evidente que la suma de los valores de 9 para los distintos
divisores de N en la (24) es igual al producto (n.° 85)
(O A= BQ-hR,
suponiendo que Q es el cociente entero ordinario, y R el resto.
La ( I ) prueba que el m. c. d. de A y B, que llamaremos D,
pordi^dirá B, dividirá á su mültiplo BQ; luego, si D divide á A
y á BQ, ha de dividir á la diferencia R entre A y BQ.
Es, pues, D un divisor común de B y R, y además no puede
66 TBATADO DB ANÁLISIS MATEMÁTICO
(2) A= BX-^-+R.
y por consecuencia,
M, = M ,
conforme el enunciado.
103, Los cocientes de dividir respectivamente varias funciones
algébricas enteras por su m. c. d. son primos entre si.
A: M = A, , Vamos á demostrar que los cocientes
B: M = Bi , A,, Bj , C i , etc., en las (4), de dividir á las
(4) C; M = C, , funciones A, B, C, etc., por su m. c. d. M
etc. son primos entre sí.
R= R.Q.-hR,,
representando por Qj y R, el cociente y resto de la división.
TEORÍAS PÜNDAMENTALBS 71
A' = A. A3,
^^' B' = B, B3,
y sustituyendo estos valores (9) de A' y B' en las (7) y (8), viene
, , A = A, A, A , ,
^'") B = B , B, B3.
El .producto del m. c. d. d, de A, y B„ del m. c. d. d, de
A, y Bs, del m. c. d. ds de Ag y B,, es decir,
di dt dg,
72 I'RATADO DB ANÁLISIS MATBMÁTICO
cuyos coeficientes no son primos entre sí, y por esto los dividire-
mos por su m. c.d. 9.11 = m. c. d. 99, lo que no altera el
w. c. d, de R y R, (n.° 97). Y como este resto R( así modificado,
que es 4,x^ -j~ .^w — 3, divide exactamente á R
el m. c. d de;(,.) y ^(,).
' las funciones son más de dos, se halla su m. c. d., apli-
cando el principio del n.° 102.
4. bl máximo común divisor, de que nos hemos ocu-
pado en los números anteriores, se denomina máximo común
divisor ordinario, y el que sólo es entero con relación á una ó
algunas de sus letras, se denomina máximo común divisor re-
lativo, cuyas denominaciones están de acuerdo con lo expuesto
en el n.° 80. Se define este máximo común divisor relativo,
de la manera siguiente:
Máximo común divisor relativo de dos funciones algébri-
cas de X es la función de mayor grado en x, que divide á dichas
funciones (n." 81).
115. De esta definición se deduce inmediatamente que los
76 TRATADO DE ANÁLISIS MATEMÁTICO
(*} La palabra miiliiplo, qne aqnl aplicamos al producto de una función por
otra, no tiene la acepción, qne le hemos atribuido en las funciones de funciones
(»• i5); pero so distinto sentido en uno ú otro caso no puede producir confusión
•tisana, porque «en funoióii múltipla de otra,> y <en función m<iple de varias
uadae,» se percibe por el simple enunciado que la palabra múltiplo en el primer
?»so »lgniñ<¡m producto, y en el segundo caso función dt funeionet
78 TRATADO DB ANÁLISIS MATEMÁTICO
AB, = A , B ;
M, = M.
CAPÍTULO II
€;»ntid«des comensarables é incomenitarables: apro-
xlmaeién de las incomenaarables.—Teorenia de Le-
Jeane-Oirichlet.
(4) MN = rB + sN .
Volveremos á llevar el nuevo resto sN sobre el primer
resto rB, y suponiendo que sN quepa en rB un número exacto
de veces 4, por ejemplo, se tendrá, por último, r f'^'p
(5) rB = 4sN.
Poniendo en la (4) el valor (5) de rB, se obtiene.* ;
(6) MN = 5sN, "•
y en la (3) los valores (6) y (5) de MN y rB, resulta
(7) AB=i9sN.
Y como sN cabe exactamente en AB y en MN, según las
(7) y (^)t será sN la medida común entre la magnitud AB y la
unidad MN.
Dividiendo la (7) por la (6), y suprimiendo en el segundo
miembro de la que resulta el factor común sN, viene
AB 19
(8) ~IÍÑ=^Y-
(9) a= y/T
sea un número entero ó fraccionario, que mida á A según uni-
dad B. Por lo manifestado anteriormente (2) y (8), se tendrá
A »_
(10) — = « = VN.
a» = N ;
lo cual es contrario á la hipótesis; y si a es un número fracciona-
P
V ",—
de donde
r
Y como p Y q son primos entre si, también lo serán sus po-
p"
tenciasp" , q" (n," 79, 3/), y por tanto, —^ será una fracción
irreducible igual á un número entero N, ló que es imposible.
n
Queda, pues, demostrado que la raíz yN , dentro de las con-
diciones impuestas, no puede ser medida por un número entero
ni por un número fraccionario exactos, y que por ello en la (10)
es —- una cantidad incomensurable según unidad B,
129. En el cuadrado la relación de la diagonal al lado es in-
comensurable; porque se demuestra en Geometría, llamando d
la diagonal y ¿ el lado, que
AB -^ <B = m X P ,
MN — sN = ?»X q;
de donde
AB — ÍB p
(>•)
MN —sN g '
,, AB —/B • . p AB
'™' MÑ"-«Ñ='™-T=MN"'
AB
es decir, que la relación de una magnitud AB incomensurable
con su unidad MN es el limite á que tienden las relaciones sucesivas
V
, que se o¿>tienen, cuando se sustituyen la magnitud AB y la uni-
dad MN por magnitudes comensuraMes p, q, que se las aproximan
indefinidamente.
131. Precisemos algo más el trascendental concepto de las
TBORIAS FÜSDAMBNTALKS fó
p
relaciones comensurables •, que tienden sucesivamente hacia
AB
la relación incomensurable v,vT ^^ decrecer indefinidamente la
MN
cantidad m.
Supongamos, para ello, que al dividir la unidad MN en q,
partes iguales, AB contenga p^ de estas partes sin llegar á con-
T) 19 - I I
tener p, 4- t . Es claro que las relaciones —'— y —' mcá'i-
rán dos magnitudes comensurables P y Q, que comprenderán á
AB, y por tanto, se tendrá
(12) P<AB<Q.;
pero evidentemente es
AB — P <
1<
Q-AB<
ís <h 9. í
TBOKÍAS FUMDAMBNTALBS 87
(24) --^._<^^^<-^<
q, (h i.<
de los números, que miden las magnitudes comensurables
(n.o 126) P, P, , P , , etc., y Q, Q , , Q , , etc., han de tener
un limite común, puesto que las diferencias de los términos, que
se corresponden en las series (24) y (25), pueden ser tan peque-
ñas como se quiera, se deduce que este límite común de las rela-
ciones comensurables (24) y (2$), que miden las cantidades co-
mensurables (22) y (23) y que se acercan indefinidamente á la
¡ncomensurable AB, es el que ha de tomarse legítimamente
como nudida de AB según unidad MN. Luego
La medida de una magnitud incomensurable AB con la unidad
MN, 6 sea el número incomensurable, que mide su relación á dicha
unidad, es el limite común de dos serias de números que miden ma¿'
88 TRATADO t>B AMALISIS MATCMATICO
n{q—kx)< I;
de donde
_j * I
k kn
la exclusión del o, como parte entera, exige que una de esas par-
tes enteras sea igual á otra en dos productos diferentes; luego,
si m es esta parte entera, se tendrá, por ejemplo,
(V) n{q — kx) = m-\-a.,
g— k n{g — k)
90 TRATADO DB ANXLISIS MATBMATICO
I
q—p
La (8') prueba que el valor de — es aproximado por
K g
exceso á la irracional x en menos de - ,, .- , y la (9') prue-
ba que el valor de es aproximado por defecto á la irra-
g—k
I
cional X en menos de
n(g~k) \
Se ve, pues, que en todas las hipótesis admisibles el teorema
de MK. LEJEUNE-DJRJCHLET es evidente, puesto que sea h \, g ,
siempre es /.• — .7 ó g—h menor que A < n , y por consecuencia,
el denominador de — — ó de — ha de hallarse dcn-
lí — 9 9—k
tro de las condiciones impuestas á la fracción pedida.
134. Se deduce del teorema demostrado que, por Ser n un
número cualquiera, siempre es posible obtener una serie de frac-
ciones comensurables convergentes hacia el valor de una irracio-
nal £C, tales que el error por exceso ó por defecto, que se cometa
al tomar una de estas fracciones por valor de la irracional x sea
menor que la unidad dividida por el cuadrado del denominador;
puesto que en la expresión —— es h, á lo más, igual á n, y por
consiguiente el limite de este error será, en genesal,
I
CAPÍTULOJIIII
Teorin ile las t'raccionesi contlnnaa
§ 1.—Kacionen preliminares
(I) «.H
(h -\
' fíj -f- etc.
Su descubrimiento se atribuye á LORD BKOUNEKER; pero el es-
tudio de sus propiedades se debe á M. HUYGÜNS.
Nosotros no nos ocuparemos aquí de las fracciones continuas
en su forma general (i), que poca utilidad prestan al Análisis ma-
temático, sino de las que se presentan bajo la forma particular
(2) fli + ^
'^'3 +
í?i etc.
Las expresiones
«1 » «1 H . a,-\ — » «1 -\ ; ) etc.
a
convertidas en fracciones ordinarias se denominan reducidas ó
fracciones convergentes.
Las fracciones continuas se representan abreviadapiente^ po-
niendo entre dos barritas los cocientes incompletos, por la nota-
ción siguiente: '
Ao ., I "* I '
A, A, I
(4) 77^^^+A;=''=+A7'
A,
en que A,, < Aj.
Dividiendo A, por A,, y representando por a, el cociente y
por A4 el resto, se tendrá
A, , A4 I
i)) A, A3 _A^
A,
en i^ue A< < A^.
Prosiguiendo de la misma manera, se llegará siempre, por ser
el procedimiento del máximo común divisor (n.° 107) aplicado á
los dos números Ao , A , , á un resto cero. Supongamos que la di-
visión ~7—dé «4 por cociente y cero por resto; se tendrá
(6) 4 ^ = «-
A4
4 e.d.
at -j
de donde
<..+-i
«,+-
<..+ '« .
94 TBATAUO DE ANÁLISIS MATEMÁTICO
ria 631 •
Se tendrá
I __5 I
a? = «, +
y = «. + ^ r •
Prosiguiendo así indefinidamente, puesto que siempre las frac-
ciones , — , —- , etc., serán incomensurables, se obtendrá
X y z
A = a, -I '
I '
' ' O;, - j - etc.
(7) A=-1±.V^
3
en fracción cÍJntmua.
(8) • J±VE=3 + ^ .
3 íc
« *• *
donde £c > i. Luego, despejando á « en la (8), viene
96 TRATADO DH ANALISIS MATBMATIOÓ
J _ 3 (\/37 + 4) _ V37 + 4
T
V37-4 37-16 7
(9) . = V?ZÍ4,^, + J ^ ,
7 ?/.
7 y '
que se saca de la (9), se obtiene
_2 7(V37^+ 3) VST'+S
!/ =
V37"—3 37 — 9
„. , V37 4 - 3 > 2 , , ,
Siendo — L_¿_ ^ se tendrá
. 4 <3
4
donde áf > i. Luego, despejando á r en la ecuatión
VW-\- 3 , ,j_
== 2 - f - >
4 ^
que se saca de la (10), resulta
z= 4 _ 4(VS7'-f 5) ^ Váf-f 5
V37"— 5 37 — 25 3
lo que nos dice qae
TBORÍAS FUNDAMENTALES 97
3
y por tanto, en la reducción de A á fracción continua los cocien-
tes incompletos 3 , 1 , 2 han de reproducirse periódica é indefini-
damente. Luego, poniendo eh la (8) el valor (9) de x; en la que
resulta el valor (10) de y; en la que resulta el valor (i i) de r, y
asi sucesivamente, se obtiene
3
'+•
2+-
I
14-
1
3 + etc.
i 0,Segundo caso. Si la cantidad, que quiere convertirse en frac-
ción continua, es desconocida, ó es el valor x de la incógnita
de una ecuación, se hallan dos números enteros consecutivos
a, y a, -f~ ' í 1"^ comprendan á ÍC, y se hace
(12) aj = rt,-] ,
y
en que y > i .
Sustituyendo el valor (12) de as en la ecuación propuesta se
obtiene otra ecuación en y, en la cual se hallan dos números en-
teros consecutivos a,yo,-^i , que comprendan á y, y se hace
y asi sucesivamente.
El valor de x será, pues,
x = a,-i •
a, -)- etc.
98 TRATADO OB ANÁLISIS MATEMÁTICO
"^ 2
se halla que x "^ . Luego claramente es
< 3
(14) *=2+—-,
en que j/ > i .
Poniendo el valor (14) de ae en la (13), se tendrá por la fór-
mula de TAYLOR (n.° 76)
f(íc)«3íc'+i,
f{x) = í a : ,
r'(2)
= 13,
ii
- 6.
r(2)
TBORIAS FUNDAMBNTALBS 99
\ y) y ^ y' y'
de donde
{16) l o t / ' — 13?/^ — 6 / / — I = 0 .
y = 1 , 2 , 3.
(17) 2/=' + —»
en que z > i .
Poniendo el valor (17) de j / en la (16), se tiene por la fórmu-
la de TAYLOR
/,(>) I , /-.(O I
/•.•(-v)
i + ---)=MO+-V^
. I! z:- +
' 2 ! 2'
= 0 ,
' 3! 2'
(18) 102'-j-22*—iSz—10 = 0 .
. z==i , 2, 3 ,
a,
; I
Ó bien
(O Ifli.o, ,«3, a„\,
las expresiones
el^,a^'\ , a. H — , etc.
I <t. g . + I
a, - j — - - = ,
fllfls í'3+a',+«3
(2) a, +
, 1 , 1 . a, O, + I
¿f, -) a, - |
(a, «5 + 1 ) a, 4 - o ,
_ ^ ^ etc.
(Ijflt;,+ 1
íi:, -I , lo que da
aí(a3«4+ 0 + «*
"•(''•+7:)+'
= ((«' ^y+ O fa+ «O «4 4- q. «<+ t
( a í a , + 1 ) a<4-a,
y asi sucesivamente.
102 TRATADO DE ANÁLISIS MATBMXTICO
P«
siendo a» el cociente incompleto correspondiente á
Qn
I
Pero, poniendo en lugar de a» el número mixto an -f
se obtiene evidentemente la siguiente reducida del orden n -}- *
(6) p„_/f»„-f-^)H-p„_;
í n+l \ fln+t /
( Q n - 1 On - f Q n - » ) « n + l " f Q " - I
(*) CbtiMiKM 4i iof ItorUu coordinaloria y ii leu Mirmtnantet, Primera parla, o«-
pitalo I, g I.
TEOBIAS FUNDAMENTALES 1Ü3
I h 1,5. 3, 2 | ,
sus reducidas serán
I , , J Í_ .25 + 1 _ ít "3 + 2 35
I I I 1-5 + I I 6 6y-f-1 19
' ' 35-2~f- II 81
19.2 + 6 44 '
EJEMPLO II. Si la fracción continua es
| o , 3 , I, 7 , 3 | . ,
5US reducidas serán
104 TRATADO DB ANÁLISIS MATBMÁTICO
J + -Í-
.+ — 1
.+^
3+-^
' 3 -f-etc.
del n.* 158, E). II, es periódica pura, y es periódica mixta la si-
guiente:
I
2+
4+-
5+ -^
3+-
1
I
3+ 1
.+ 3 '-h etc.
149. To¿a fracción continua periódica es una de las raices de
una ecuación de segundo grado de coeficientes racionales.
En efecto, la fracción periódica pura
106 TRATADO DB ANÁLISIS MATEMÁTICO
I
^+
«,+ «3 +
a.+
Cti-
«3-j-
a„ -)- etc.
puede ponerse bajo la forma siguiente:
I
(7) x= a,+
«2 +
«^3 +
4-
de donde
(8) Qn a;' + (Qn-r — ?n)x — K-i = * o ;
la cual prueba que el valor x de la fracción continua propuesta es
TaonlAS FUNDAMENTALES 107
una de las raíces de la ecuación de segundo grado (¡S) de coefi-
cientes racionales.
Si la fracción continua es la periódica mixta
(9) y = \m,n,p,...,ii, V, a„ a^,..., a„ , a„ a^,.. , a„ , . . . | ,
y hacemos
(10) a; = a,-f--i—-
+ I
I
a,,
X
se tendrá
(n) ij = m-\
" + 1T
"+ I
U V .
luego, si - r ! 7 , -rrr son las reducidas correspondientes á los dos
cocientes incompletos u, v anteriores inmediatamente al x en la
(11), se tendrá (n.» 143) para la última reducida de la fracción
continua (11)
. . Vx + U
(-) v-Y^-fíF-
P n + l Q n + í — ^ n+í Q n + l
Pi _ P . __ - I
Q. Q. o, '
ó bien
P. Q« - P. Qf ^ - I
Ps Q4 - P« Q3 = - I ,
conforme el enunciado.
151. Las reducidas son fracciones irreducibles; porque, si una
p
cualquiera no lo fuera, tendrían sus términos Pn , Qn algún
factor común distinto de i, que habría de dividir á la diferencia
± I entre P„ Qn+i y Pn+i Qn , según la (21), lo que no es po-
sible.
152. Si una fracción ordinaria se convierte en fracción conti-
nua, y después se forman las reducidas correspondientes, la última
de estas reducidas será, según el principio anterior (n.° 151), el va-
lor totalmente simplificado de la fracción propuesta.
133. La diferencia de dos reducidas consecutivas cualesquiera
\.es igual á ± I dividido por eíproducto de los denominadores de ¡as
mismas reducidas, y por tanto, dicha diferencia va disminuyendo sin
i\ cesar en valor numérico, á medida que aumenta el orden de estas re-
, ^ducidas, siendo alternativamente positiva ó negativa, conforme sea
\ par ó impar el orden de la reducida minuendo; porque hemos visto
\'\ (n.° 150) que
1
y = a„+i +
O-n-í-2 4"
a„a.»-|- etc.
á todo el resto de la (22), á partir del cociente incompleto a„+i,
se tendrá (n,° 143)
_ ^ ^ I
es decir, que
lo que da
(25) * < 7 p '
y será positiva la diferencia
_ P"-' ^ _y
* Q.._i Q»-i (Qn y + Q«-ií '
«s decir, que
OH — - r > o ,
v¿n-l
112 TRATADO DE AKÁLISIS MATEMÁTICO
lo que da
(26) ^ > ^ ^ ^ -
Pn
Se ve, pues, que, si n es par, la reducida -—— será de orden
p
par, y la —^— de orden impar, en cuyo caso, la (25) prueba que
p
toda reducida —r— de orden par es mayor que la fracción conti-
Qn
p
tinua total x, y la (26) prueba que toda reducida de orden
Qn-l
impar es menor que la fracción continua total x, conforme el
enunciado.
Si la fracción continua es limitada, la última reducida es evi-
dentemente igual á dicha fracción continua.
155. De este principio se deduce inmediatamente que
Pn-l / . P»
Qn-l Qn
de decir, que
El valor X de toda fracción continua total está comprendido entre
P P
do: reducidas consecutivas cualesquiera —^^^— v —— •
^ Q„-i ^ Q„
156. Una reducida cualquiera se aproxima'más ala fracción
continua total que la reducida anterior] porque hemos demostrado
(n.° 154) que en valor absoluto es
(27) *•
Qn-l Q„-i (Q„ y + Qn-l) '
Pn I
(28) jv -
Qn Qn(Qny + Qn-.) '
pero evidentemente es
T E O R I A S FUNDAHE1NTALE8 113
• •""•'•'•"•*-,
0,-1 < Q n , - •
Ó bien, multiplicando por Qn y + Qn-i > • '
5- ,_
(32) JT —• -— > W
Qn-, ^^ Qn '
Pn
luego, si !a diferencia de—— á .*' es menor que la diferencia de
Qn
"n—I , . , "n "n—1
— a X, se aproxmíara —— í x más que -— , como nos
Qn—l Qn Qn—l
propusimos evidenciarlo.
J57. Demostremos, además, que «n ioda fracción continua
ilimitada la serie de las reducidas de orden impar, las cuales van
aumentando con el grado, y
fj la serie de las de orden par,
/c4- ^ que van disminuyendo con
dicho grado, tienden ambas
, • . • , . .¿o ^ "« mismo ¡imite, que es el
O ^•^i'^g. •^t'^t'^*-^í ^ valor total de la fracción con-
tinua propuesta.
En efecto, para evidenciar esta notable propiedad, tomemos
sobre la recta indefinida OL (fig. 6,»), á partir de un punto fijoO»
p
el valor OA, «= —— de la primera reducida, y desde el mismo
8
114 TRATADO DB ANALISIS MATBMATICO
de donde
P, P3 P. P,
P P
luego la diferencia — - ^ que es positiva (n.'* 150), y po-
demos representar por x^ será en valor numérico menor que
A, Aj, según las (i') y (2'), Y como,de
P, P3
-—-= X .
Q. Q3
se saca
JP, __P?!_
P
resulta que, si restamos de — - = OA, la diferencia x, que su-
pondremos igual á A, A3; la tercera reducida será igual á OA»,
estando evidentemente el punto Aj, que la determina, entre A, y
A, por ser, como hemos visto, según la (3')» A, A, < Ai A,.
También se tiene en valor numérico (n/ 154)
P, _Pl- <- Z« ^
^'^'^ 03 ' Q« Q. Q. '
TBORÍAS FUNDAMENTALES 115
P- P
luego la diferencia —r^ FT"' ''^^^ ^^ negativa (n.° 150), y po-
demos representar por — .r,, será en valor numérico menor que
A , A3, según la (4'). Y como de
Q3 Q,
se saca
P3 , _ P4
L- A.
Q, ' Q. ''''"
«stán entre A3 y A., A, y A5, etc., y que, por consecuencia, se
tiene claramente
OA, < OA3 < ÓA, < ,
OA, > OA4 > OA„ >
)
es decir, que
P P P
(5') _Ll-<^<il_<.
^^- • Q> Q3 Q.
' Q, Q4 Q,
116 TRATADO DB ANÁLISIS MATBHÁTICO
Se ve, pues, que las reducidas de orden impar (5') van cre-
ciendo en A) A3, A3A,, etc., pero conservándose siempre me-
nores que las de orden par (n." 154), y por tanto, tienden á un
límite finito representado por la distancia de O á un punto X
comprendido en los intervalos A, A.^, A3A,, etc., que van es-
trechándose cada vez más.
También se ve que las reducidas de orden par (6') van decre-
ciendo en A.2 Al, A4 A^, etc., pero conservándose siempre mayo-
res que las de orden impar (n." 154), y por tanto, tienden hacia
un límite finito representado por la distjncia de O á un punto K
comprendido en los intervalos precitados A, A,, A, A4, etc., que
van estrechándose cada vez más.
Pero la diferencia en valor absoluto (n.° 153)
P-. P
Q= Qr, Q.Qa
y en general,
P«-l P« I
Qn-1 Qn Q.n-1 Qn '
« Pn_l ^
y por consecuencia,
P>Qn. I
También de las (7') se saca
P„ a P„_i '
118 TRATADO DE ANÁLISIS ;HA'rSMÁTICC
de donde
Qn Qn-1 ^ P Qn-1
Pn Pfi—1 a Pn—1
( " ) -V
Qn QniQ.y + Qn-^) '
pero por ser y > i , se tiene
Q. Q. (Q. + Q.-.) •
También es evidente que
(•50 7^7ÍT-:V7^<
Q . ( Q . y + Q.-i)
•
Q ; •
(14) ^—-7^<
Q" Q :
Y como lo mismo se tiene
I I
Qn (Qn y + Q„-0 <
^ Q„ Q„-i '
resulta por la (11') que
P„ I
35 ^
Q„ ^ QnQn-l
Es, pues, el enunciado cierto en todas sus partes; pero el lí-
120 TRATADO DB ANALISIS IIATBMÁTIOO
la (14').
i6i. Del principio anterior se deduce que
Para hallar el valor de una fracción continua en me-
nos de -;;-, basta llegar hasta la reducida, que tenga un
o
denominador igual ó mayor que V S .
Es evidente que, si la fracción continua es limitada, su última
reducida es su valor exacto (n." 152); pero, si es iliqíitada, siem-
pre podremos llegar á una reducida, en que se tenga
lo que da
de donde
I I
(15') T > ' ^ >
I P„
(16') 7^'>'=
Q: Q" ' .
resulta, sumando las (15') y (16'), y simplificando.
I P«
> «
Pn
lo que demuestra, según el enunciado, que la reducida -:—- es un
valor aproximado i la irracional, ó cantidad incomensurable a?
(n.° 146) con un error menor que - — .
5
T B O R Í A S PUMDAHBNTAbBS 121
«1 ft. o 0 0
I a» b. 0 0
(16') o -1 a^ ^3 0
0 0 • I «4 K
0 0 0 -1 «5
0, I 0 0 0
I a, I 0 0
(17') 0 -1 as I 0
0 0 -1 «4 I
0 0 0 -I flts
08')|.:-^J=a.a,+ .;
a, I o
(19') -I a, I <í,a,a3-|-a,-|-fl3'==Kfl5 4 - i K + « i ;
•o - 1 a .
(*) Elemental de ¡ai teoría» coordtnatoria y de lai delerminanlti, segunda parte, ca-
pitulo II, o." Igí, (tercera edición)
122 TRATADO DB ANÁLISIS MATEMÁTICO
a, I 0 0
-I a. I o
(20')
o -I «3 I
o o -I a ((«iOt + i)a3 + ai^a^ -\~ a,a2-f-1;
a^ 1 o 0 0
-I flj I o o
(21') 0-1 «3 I 0 = a, a, a, o^ a^ + a, o^ a, + «i «j '¡'s
0 0 - 1 «4 I
o o 0 -I a.
[ ( ( a , a , + i ) r t 3 + a O " « + " ' ^ » + ' ] '^^
etc.
Se ve, puesi que los desarrollos de las matrices (i8'),:(i9'),
(20'), (21') etc., no son más que los numeradores de las reduci-
das sucesivas {n.°' 140, 141, 142, 143), á partir de .la 2.*, de la
fracción continua
(22') I a,, Oj, a „ «4, tts, I ,
en la cual los cocientes incompletos son los elementos principa-
les de la continuante de MUIR de la forma (17')-
Y como lo mismo puede probarse que los respectivos deno-
minadores de las reducidas de la (22') son las menores comple-
mentarias correspondientes al elemento Oj, ó primer cociente in-
completo, en la continuante de MUIR, podemos legítimamente
concluir que ,
I." El desarrollo de toda continuante de la forma (17')
es numerador de la reducida de una fracción continua de
la forma (22'), tomando por cocientes incompletos los ele-
mentos principales de la continuante.
Reciprocamente, el numerador de la reducida de una
fracción continua de la forma (22') puede traducirse en
continuante, tomando los cocientes incompletos de la frac-
ción continua como elementos principales y completando
la continuante, según la (17').
2.° El desarrollo de la menor complementaria del pri-
TfDORÍAS FÜNOAMENTALES 123
I I 0 0 0 o I o o o
-1 I o o
I -I 3 I 0 o
o • r 5 I o o -I I 1 o
o o I 3 I o o -I 7 I
o o 0-12 0 0 0 •I 3
I I 0 o 3 0 o
-I 5 1 o -I 1 o
o -I 3 I o 7 I
o o •I 2 o •I 3
165. Pero al suprimir del producto de los elementos princi-
pales de toda continuante pares de elementos consecutivos^ se obser-
va que evidentemente se obtienen los términos del desarrollo de
dicha continuante, que siguen al término principal, que es el pri-
mero del desarrollo, es decir, que, si del producto
«1 a , Og «4 fls
y si del producto
a , fjj flj « 4
«3 + at-\- etc.,
de que no hacemos uso en el Análisis matemático (n.° 135).
TEOUIAS FUNDAMENTALES 125
(I) x = a¡-\-
«s H
«3-f- a, -|- etc.
(-0"
. , Pn-i P714-S
(2)
Qn-, ¿n+1
Sfc-H == Sfc - ) - Q„ ,
t * •
TBOBtAS rONDAMBNTALUg 129
Pero, si esto no sucede, se formarán las series de reducidas
de orden impar y las de orden par con sus correspondientes frac-
ciones intercalares. Cada una de las fracciones, que en las referi-
das series tenga mayor denominador inmediatamente inferior á /.',
será la fracción pedida. Las dos fracciones así obtenidas com-
prenden (n." 155) á la irracional x, y dan los valores más aproxi-
mados por defecto y por exceso de esta irracional x entre todas las
fracciones de denominador menor que k.
173. Se ve, pues, que siempre debemos emplear las fi-ac-
ciones continuas, cuando haya de buscarse la fracción más sim-
ple y aproximada posible al valor de una irracional dada, ó ai
valor de la. relación de números demasiado grandes. En la aproxi-
mación de las raices incomensurables de una ecuación numérica
por el método de LAGRANGE se emplean en la forma precitada las
fracciones continuas, como veremos en lugar oportuno. 'i-¿-'>'
174. INVERSIÓN DE FRACCIONES CONTINUAS LIMITADAS: FRAC-
CIONES CONTINUAS SIMÉTRICAS. SÍ SC tiene una fracción irreducible
——— mayor que i, y de términos racionales, ^u desarrollo dará
una fracción continua limitada (n.° 144) de la forma
l j ^ ! ' /$• ^ h
P ,A.
(") = | a , , a^^üt^ an|,
P. P, P«-i P«
(")
Q. ' Q, ' Q, ' ' Qr-l ' Qn
n—1
= 1 a , , a,, Oa, , an~\ \
Qn-I
Pero sabemos (n." 143) que
130 TRATADO OB ANÁLISIS MATBMÁTICO
(13) -5 =a„_, + —-
(14) Un—1
' P , '
Pn—S
P„-4
P3
= (
P.
(15) P.
P„ = a , «. + I .
P, = « 1 5
Pn
(lé) — — = 1 a„ , a„_i, fln-i, , a s , flt, <«il,
Tn—I
Q, = a,, y Q, = I .
P„Q„_,-P„_,Q„ = ( - i ) » ;
P„Q„_,-Q^ = ( - i ) » ,
132 TRATADO DB ANÁLISIS MATBMÁTICO
lo que da
ln
luego f
Ql ± I
(20) — - — — = número entero.
P
Pn
De aqui se deduce que, si una fracción irreducible —r— es de-
sarrollable en fracción continua simétrica, el numerador P» ha
de dividir á Q* + i , ¿ á Q ' — i .
176. Recíprocamente, sidos números enteros "PyQ < P JA-
P
tisfacen á la condición (20), la fracción —podrá convertirse en ¡rae-
eión continua simétrica.
P . .
En efecto, desarrollemos — en fracción continua, y hagamos
par el número de los cocientes incompletos al dividir Pn á Q^ -f-i»
é impar al dividir P,, á Q„ — i , lo que es posible lograr, reem-
plazando a„ por a„ — i -f-
Llamando Q' al número entero (20), se tendrá
Q* ± I
P„
de donde
(21) PnQ.'~Q* = (~l)».
p _ p^ p
Pero, si —~— es la reducida que precede á —— = —,
viene (n." 150)
— — - = I 2, 3, I, 4, I, 3, 2 I .
^99
CAPITULO IV
(a, ± r)" ,
(2) • I. 2. 3. 4 n
la designó KRAMP por el símbolo n\ , y la llamó facultad «/'""«.
Los ingleses denotan la (2) por | ^ ; luego se tiene
n " == n{n — i) (n — 2) 3. 2. i,
siendo entonces iguales la base y el exponente.
De estas distintas notaciones emplearemos en este Curso la de
WRONSKI para la factorial de la forma (i), y la de KRAMP para la
factorial de la forma (2), dejando desde luego establecido que
Ó bien (*)
gn\r = (j" + s, a"-i r -f S, a"-* r= -f- S, a"-^ r' -\-
+ S„_, ar"-' ,
= ,...,(• + ^)(,+.^)(,+3^).....(.+(»-)i-);
de donde
a"'*" = a" X I " l ~ •
<*} Er«in«n(M <1< tiu «oriot coordinaton'a y da ¡at (hterminanie». Primera pafte, c«pi-
lulo III, g 3. (Tercer* edición).
TEORÍAS FUNDAMENTALES 137
{a±,mr)(^a±{m-{-\)r\ ( a ± ( m + n — i ) r ) =(a±mr)''ͱ''^
184. Si hacemos
(10) m = h-\-n ,
*
resulta por la (9) ya demostrada
nil + r
, N Tn~n\±r ^
(12) a " =
para n = o , y
(13) «-"i±^
(a qi nr)"l=f
para m = o.
186, Interpretemos el símbolo a~"'±''. Recordemos, con este
objeto (n."* 179, 182), que
y que
(I J) (a q: r)"«=F'- = (a :p r) (a qr 2r) (o q: n r ) .
a-nli'-:
(a z^ r)"!^'- ' • .
o ! = I . 5
(*) Elemmiloii di la$ teorUtu coordinaloria y de ta» dtierminanUt. Primera parla, ca-
pítulo l i l i 1- OTercera edición).
T B O R Í A S FUNDAMBNTA1.E8 141
I
(21) a"'±'- =
(a ± nr)~ ri|±r
(22) m -\- n = h ,
la cual da *"
(23) - (//«-^rt} = ~ h .
Se tendrá
(a + hrfi^'-
de que se deduce al poner los valores (22), (23) de A y —h
I
(24) a-<'"+^)l±''
(a=F(m-f-n)r)"'+"l±'' '
^ ^^ • '(a=F(m+n)r)'»»±' (aq:«r)"i±'
142 TRATADO DB ANÁLISIS MATBMATIOO
y de la propia manera
Se ve, pues, que las fórmulas (26) y (27) son las fórmulas,
que resultan al aplicar la (8) al caso de ser negativos los exponen-
tes m y n. Luego la fórmula fundamental (8) también es
cieña al ser negativos los exponentes m y n.
190. Toda factorial, cuya base menor que el expo-
nente es un múltiplo del incremento, es igual á cero, siem-
pre que la base é incremento tengan signos contrarios.
En efecto, sea la factorial ,
+ ar"P'' = 0,
conforme el enunciado.
191. También aplicando á las factoriales + ar"l±'' y
+ a"l±'"' el procedimiento, que indican las (28) y (29), resulta
claramente
+ ar"'^'' = r" (± a"í±>),
hacemos
(31) , m = n + ;^,
y ponemos esta hipótesis en la (30), se tiene
Síes
(33) n= m4-ft,
la (30)" dará
144 TRATADO DK ANÁLISIS MATEMÁTICO
193. Si en la factorial
(35) a"«^ = a(<, + /•) ( a - h 2 r ) ( a + 3/-) (a-\-{n - i)r)
hacemos
o = a^T
se tendrá al poner este valor en la (25)
X ( a + ( n - i ) r ) ( p 4 - ( n - i ) r ) ( Y + ( n - i ) r ) ...,
y reemplazando en la (39) los valores (56) y (37) de sus 2.°*
miembros, viene
(40) (a^Y )"•'• < a"""" X P"'^ X r ' ' X
conforme el enunciado.
195. RESULTADOS OPERATIVOS DÉLAS FACTORIALES. La suma
algébrica de las íacioriales se obtiene claramente por la regla or-
dinaria de la adición algébrica, así como la sustracción.
El producto de varias factoriales es igual al producto de los
desarrollos de estas factoriales, como lo indica la (37); pero no
es, según acabamos de demostrar, y lo manifiesta la (40), la fac-
torial de un producto igual al producto de las factoriales de los
factores.
El 'cociente de las factoriales a™''' y a">'' de igual base é in-
cremento es (n." 192)
según sea m = n.
<
Í (a + nr}"' -"•'•,
{a -f- mr)"-'"f
lU
146 TRATADO DB ANÍLISIS MATBJIATICO
X ( a + ( n — i ) m r ) (a+((n—i)m-{-i)r)
^«+((n—i)m-f-m—/)r) j
ñero
m"l-'
H _ _ , 7 , . m - n | r ^».|r I I ^mlr
' jn|l ' ' '
es decir, que
El desarrollo de toda factorial binomia de grado m es
un polinomio formado por factoriales de exponentes con-
secutivamente decrecientes de m á o del /."" término bino-
mial y crecientes de o á m con relación al 2." término,
cuyos coeficientes son los números combinatorios de m
objetos o á O, I á I , 2 íf 2, , m á ni.
La fórmula simbólica es (*)
(*) Blmunlot it la» Itoriai rooriinaloria ¡/ dt t(u yteíertninanttt. Primera parle, ca-
pitulo li, § 1, cap. III, S s. (Tareera edición.)
148 TRATADO DB ANÁLISIS MATBMÁTICO
ó bien
\r^n=m mi
^ ^ ' Z - r . ^ nl{m — n)\ '
rn-fl
( m 4 - i ) m ( m - i ) . . . ( m 4 - i - ( n - i ) ) ,,„,+,_„,.„„,. , . , , „ „ . x . , .
^ (n+i)!
en que se realiza la ley de VANDERMONDE.
Y como evidentemente se tiene que
(•) Elenunu» dt la» téorU» coorHinalorta y de ¡ax delerminanlex. Primera parle, ca-
pitulo 1(1, % i. (Tercera edicfúD.j
150 ^ TRATADO DB ANALISIS MATEMÁTICO
investigando, para ello, las fórmulas que dan el vaFor de cada uno
de los coeficientes S,, Sj, S,, etc. Consideraremos los casos, en
que el exponente m sea un número entero positivo ó negativo, ó
que sea fraccionario.
200,' Haciendo n === i en la fórmula fundamental (8)
del n.» 183, viene
+ (m-i)S,
+ S,
tw(w—I) (>n—2) (m—3) a^-sr*-}-..,
+ m{m— I) (m—2)
+ (»»-3) S,
(') BUmenloi dt l<u («oriat cooriHnaforta y dé Uu dettrminantn. Primera parte, «-ap. III,
g a, D.* IH. rfarcera edición.)
152 TRATADO VB ANÁLISIS IIATBMÁTIOO
c _ m{m—i) _
2!
• 1 /rM(m—i)(m—2) (m—i)(m—2) \
(.2) S, = —^ -~-^-, + ^ S,j, ^
I /w(ín—i)(m—2)(m—5) (»»—i)(w—2)(/w—3) ^,
S. =
3(3-0 _ __ .
2I >>
2 X 3 ! 2! /
de donde
—mS, —mS,
+: s,
»i(m+i) (m-f-2) —m—I ..3
• —m—3
r*4-
a w(m-|-i)(m-f2)(>n+3)
I (>»+0(w+2)g
2!
(»i-{-i).(>n+2)(m+3)
(m4-2)Sí, (m+2) (m+3)
+ S. + 2!
S.
(m+3)S.
+ S4
TEORÍAS FUMDAHBNTALBS 1B5
2¡
etc.;
de donde, despejando á S,, S,, S3, etc., saca
2I '
I / m(>n+i)(m42) (m+i)(>«-H2) \
.9') ^^^'~ 31 + 2! ^ ' j ;
I / « ( m + i ) (m4-2) (m+3) ()w-H)(m+2)(m4-3)
«3 =_ 1 _ , 3,
3 V 4' 3I
(m+2)(m-j-3) \
etc.;
y en general,
I / m(m+i) (m-f-n) (/<i+i) (w4-2) (m-|-n)^
(m + n ^ i)(m + n) g \
± d: ; — an_i I .
2I /
Se ve, pues, que el desafrollo de la factorial a"*'*" bajo la for-
15fi TRATADO DB ANÁLISIS MATBMATICO
+ S3 a-*"-» r' 4-
den el desarrolla de a""*''', pero en número indefinido de térmi-
nos, cuya suma puede no tender á un límite .determinado. Así,
aplicando las (19') á la factorial 9~''*, se halla
,„.„„„(,+s,^+s,-5-+S.,^+S.-Í;+ ).
que se obtiene al separar á a*" como factor común en el 2°
miembro de la (7') del n.* 199. Los valores d e | p s coeficientes
r
S, , S , , S3 , etc. de las potencias enteras y conocidas de •— se
a
determinarán fácilmente por las fórmulas (12') del n." 200. Así
hallaremos param = • 2
I
T'' Tí
\
'
8
^
a
+ 128- a'
^
X+ 1
1034 • ^ " ^ /'
1034
TBORIAS FDNDAMBNTALBB 167
( a X"*!''
-—j .resulta claramente
(TF"
=T(T+-)(fH(i+-):-(T+<"-')^)
_ aja -f- br) (a -f- 2br) {a -f ^br) {a-{- {m —• i)6r)
de donde
/ a yi' I
—) de base (r^^cio-
158 THATADO DB ANÁLISIS MATBHATIOO
o
naria -— depende del desarrollo de la factorial a'"!'"' de base en-
b
tera a.
204. Ya que conocemos la teoría factorial en su parte fun-
damental, examinemos brevemente las cuestiones, que en ella
pueden presentarse.
Es evidente que en toda factorial existen, como elementos
esenciales, la base, el incremento y el exponenie ó grado. Vea-
mos, pues, cómo pueden determinarse unos de estos elementos
en función de los otros.
Puede suceder que se desconozca la base, el incremento ó el
exponente, ó conjaiitamente dos de estos elementos, y aún los
tres.
205. Si la base es la desconocida, su investigación se.nom-
bra extracción de la base de la factorial propuesta. Así, si se tiene
(20') x"^"" ,
La fórmula (21') da
£c^|3 = x^ ~\-S, . yx = io ;
2! «
luego
37* - j - 3 a; — 10 = 0;
de donde
_ — 3 ±: V3» + 4.10 —3^7.
2 2
Sea la factoría!
x-m 5
de expedente negativo — 2
Se tendrá (n.» 186)
x-ni ==
(a;_3)t|-3 (a;_3)(a;_6) '
160 TRATADO DB ANÁLISIS MATBMÁTICO
luego
I
= 5;
(•'' - 3) (•'• - 6)
de donde
S{jr — 3) {r — 6) = I ,
ó bien
5^.^ _ 45 X -f 89 — o ,
y por consiguientfc,
45 ± V24r
X
10
Si la factorial es
/'l-« • = _ 3 ,
se tendrá
^^1-1 _ 3.3 4_ s . . -- 23* + S,• 4a = — 3 ;
-
' 2! ^ '
c I / 3(3 — I ) (3 — 2) , (3-0(3-2) ^;
, ) = .
' 2 \ 3! ' 2l ^
luego
.T'I-* = x^ — 6.T» -f- 8,T r= _ 3 ;
de donde
3?' — 63;* 4" 8* + 3 === O »
y asi se irán obteniendo ecuaciones de grados, que aumentan con
el exponente de la factorial de base incógniu, de cuya solución,
que da el valor de esta base, no debemos ocupamps aquí.
206. Por un procedimiento análogo al empleado para de-
terminar la base, se halla el incremento incógnito. Por ejemplo,
TaORtAS FUNDAMBNTALBS 161
2I
viene
231a: 5= 2' 4- 3.2'a; + 2.20!* •=• 24 ,
ó bien
X* -\- }x — 4 = 0 ;
de donde
^ _ -3±V-9+ i 6 _ - 3 ± 5
a °^ 2
—«,
. t* • o a /
u
162 TB&TADO DB ANÁLISIS MATEMÁTICO
y por consiguiente,
(24') a^ =
^ + ^'T+^'^ + ^'Í^ +
Y como, según veremos en el Análisis infinitesimal, si el
denominador del 2° miembro de la (24') es una serie conver-
gente, puede buscarse un valor p, que lesea tan aproximado
como se quiera, después de haber determinado á S„ Sj, Sj, etc.
por las fórmulas (12') del n.» 200, se deduce que la (24') dará
aproximadament;
lOBflt— los S
El valor — ^ de x será la solución de la factorial
log a
a"^, ó el valor del exponente factorial x con la aproximación
que se quiera, en el supuesto de ser el denominador de la (24')
una serie convergente.
Pero á veces puede hallarse el valor exacto del exponente a;
por un n\étodo práctico, que se infiere del carácter de toda fac-
torial.
En efecto, se tiene por definición
TBORÍAS FDMOAHBNTALEB 163
(5 ) , , , , etc.
P P P P
van constantemente decreciendo, y como lo son en número finito,
stempr« se llegará á uno
m»
P
que dé •
m„ < p ,
y por tanto, un cociente entero igual á cero.
Supongamos que se llegue á epte caso, en que el cociente
«ntero v
JÜL
P . '
sea cero. Resultará, entonces, razonando en orden inverso, que
«starán contenidos
p . 2p . 3P m,p = Wj! p"»
en factorial iWjl;
p . 2p . 3P m^p ==s m,! p"^
«n factorial m j , y
p . 2p ."3p miP — m,! p'»«
(f)'(T)'(t)'(t)'-
EJEMPLO. Hallar la máxima potencia del número primo 5
contenida en 40!
Se tiene
. _ ( ^ ) _ . , < 3 ;
3
luego
, i j-H+i
1 3 + 4 + I•
2." La factorial m! es divisible por
«! P! Yl . . . . . . ,
siempre que se tenga
(6') a + jj + y - l - <m.
al p! Y1
T B O R I A S rUNDAMBNTALBB 167
<'•' (f)'(7)'(})'(7)'
y sustituímos en (7') estos cocientes enteros (8*) obtenidos por
las divisiones (9"), se tendrá
(10") m, > a , 4 - p , + Y . + ;•
de donde, dividiendo la (10") por p, viene
(ii) - — ^ — r
p p p P
Si llamamos respectivamente
(12') w „ a „ p5, Y„ .....
los cocientes enteros
<•'•' (^)'(7)'(^)'(7)
y sustituímos en (11") estos cocientes enteros (12') obtenidos por
las divisiones (13'), se tendrá
(H*)" ^ »w«^«. + P. + Y, + ;
de donde, dividiendo la (14') por p, viene
168 TRATADO DB AKÍU«IS MATSMÁTICO
(151
üb_>A4.li4_Ii^
p P P p
Si llamamos respectivamente
i
'-•) (^)'(7).e).(f).
p / \p/ \p/ \p
y sastitoimos en (15') estos cocientes enteros (16') obtenidos por
las divisiones (17'), se tendrá
pero
(24")
«! {m — n ) !
llena la condición n-\-m —n = mds la (6*) para ser un nú-
mero entero; luego también lo será su igual
m"'~' m(in — i) (m — 3) (m — n-}- i)
n! ni
g ». PsenltAAea
/a;"'l±'',/'(a?j+r)™,
l{x[(f{x))
También las facultades pueden ser algébricas y trascendentes,
según sea la base una función algébrica ó trascendente.
~ Sólo vamos á dar en este § 2 unas breves nociones de las
algorítmicas, que sirvan para hacerlas conocer en su parte más
fundamental.
215. Pero, no obstante que las facultades difieran (n.* 215)
esencialmente de las factoriales, gozan unas y otras de propieda-
des análogas, que son las que aquí vamos á estudiar á la ligera.
Es evidente que
I." El valor del desarrollo de toda facultad se obtiene siem-
pre por el mismo procedimiento, cualquiera que sea el signo del
incremento, cuando el exponente es positivo; porque por defini-
ción se tiene
ifix±(m — i)r13^r)*"'-/'(a?±{m—i)r). f(x±(rít — 2)r)...
f{oo±2r).f{x±r).f{x),'
cuyo 2.* miembro es igual al 2.° miembro de la (2); luego
172 TRATADO DB AMÍLIBIB UATBMÍTICO
Demostrémosla, pues.
Se tiene por definición
(4) f{^ Ir)-"-^ =/"(a;). /-(a: + r ) . /"(o; -f 2r) {fx + (m - i)r)
X f{x-\-mr). f(x + (m-f i)r) fix-^itn -f » - i ) r ) ;
pero evidentemente es
f{x). f{x + r) ./-(^ -i- 2r).... f{x + ( « - i)'-) =f{^ I r-)- /
/•(ar+wr) ./•(.x+(m-|-i)r) fix-{-im-^a—iy)=fix-\-mrÍr)'';
luego, sustituyendo estos valores en la (4), viene '
/•(x-f ( m - - n ) r j r ) »
¡
f{x i »•)"•-" = •
f{x-{ (m — n ^ I r ) "
f(x I r)"*
y para m = o
(10) ((xlr)-"^
f{x — nr I r)"
de donde
(f{x I r ) . 9{x I r) . 4»(a; | r))« = /(a; (r)™ . (<f(x \ r ) . <^(x | r ) ) "
= /"(j; I r)-" X ?(« I r)™ X +(:«; I r)»-,
y en genera),
(/(x I r) . <p(ar I r) . t};(a; | r) r.{x | r) ) "
= f{x j r)-" X ¥(a; I O™ X «KaJ I r)"" X X «(ÍF| r ) " ,
conforme el enunciado.
4 . ' En la facultad f{x\ r) "•" se verifica que
(12) f{x ) r)'»" = f{x I wr)" I r)'" == /"(as | r)" | mr)" .
En efecto, según la fórmula fundamental (3), se tiene
(13) /'(a? I r)'»+íH-í «=/-(aj J r)'» X f{x -\- mr \ r)P+«,
suponiendo n^p-^-q; pero por la misma fórmula fundamen-
tal (3) es
(14) f{x-\-mr I r)P+? = /'(«-4- w r | r)? X /"(<» + {m +?)»• I O * ;
luego, suponiendo q=-t-\-s, resulta
(15) /•(«+(W4-J>)r I r)'+'
== f{x + (mr + p)r | r)' x A* + ( » » + P + O^ I r)' ,
y asi sucesivamente.
Multiplicando ordenadamente las ( n ) i ('4), (15), etc., y su-
primiendo los tactores ^omunes en los dos miembros de la que
resulta, después de haber puesto los valores q=t-\-s , s=a-\-v,
etc., se obtiene
(16) ^(a, I y)^+P+(f. .....
=¡\x I r)"" X f{x-\-mr \ rf X f{x + («n + p)r \ r ) '
X / ( ^ + (m + p - f ; ) r | r ) ' x
Por consecuencia, al hacer m = p^^t=Bz $ = en la (i 6),
se tendrá
TBOHÍAS FUMDAVBNTALBS 175
que significa que hay que buscar una función f{x), cuya facultad
de incremento r y exponente m produzca /(a;Ir)"; luego por
definición se tiene la identidad siguiente:
. mir m|r
(21) V^xlr)"» == V/í* !«»•)" !•')'"« f(x\mrY
Por consiguiente, si .en la (21) hjcemos
(aa) mn: « I ,
lo que da
I
(23) n = 1
m
y ponemos en los miembros extremos de la (at) los valores (aa)
y (33) de mn y n, resulta
mlr J_
\f\x)-^^ f(x[mr)m ,
m|r 1
y<p{x) = (p{xlmr)~m ,
CAPÍTULO V
An&lisi» Indeterminado
J*
218. ANALISIS DE LAS ECUACIONES INDETERMINADAS DE JPllíw"''
MÉR GRADO. Hcmos visto (n." I ) que, si se tiene una función
impliciu de la forma
(I) •aa;-{-bf/=k,
(5) a;= •
a .
pero los restos de dividir
(6) k,k—b,k—2b,k—$b,...,l{—Zb,...,k—xb,...,k—{a—i)b
por a son todos diferentes entre si; puesto que, si así no resulta-
ra, sino que dos fuesen iguales, llamando r estos dos restos
iguales, y q, qt los cocientes correspondientes de dividir k — 56,
k — yb, por ejemplo, por o, 5e tendría (n.** 63)
A- — tb = aq -4- r ,
A —Y6 = ag,-fr;
Kr — 5) = n(q —q,),
•ó bien
6(r-8)
==í — ? .
180 TSATADO DB AülUBIB HATUfÁTICO
de donde
aci -\~ bp = k ;
lo cuál demuestra que los valores enteros x = %, y s=: ^ satisfa*
cen la (4), conforme el enunciado.
223./ Hemos visto qus, si a y b son primos entre si, la (4)
siempre tiene solución en números enteros. Demostrttnos, por
último, que
Si la (4) admite una solución entera x = a, y = ^, /a
admitirá en número infinito, ó habrá una infinidad de
pares de valores enteros de las variable^, que satisfagan
á la (4).
En efecto, ú x = a, y *= ^ ts una solución entera de la (4)^
se tendrá
oa + bp = *, ^*
que restada de la (4) da
a(ar,— «) + b{y — p)«» o ;
de donde
T B O R Í A S FDNOAMBNTALBa 181
(8) íB — a =
a
y como X — a ha de ser un número entero, también lo será
— ; pero por ser a y 6 primos entre sí, a dividirá (n.° 78)
a
j/ — 8
á y — P; luego, representando el número entero por la
indeterminada t, viene
= í,
ó bien
(9) y-^=.nt,
y poniendo este valor (9) en la (8), resulta
(10) £c'—a = -^bt.
Las (9) y (10) dan
£C =* a — 6 í ,
^"^ ¡/ = P 4 - a í ,
y puesto que la indeterminada { es un número entero cualquiera,
positivo ó negativo, podrá dársele los valores
a — 6< > 0 ,
i3 + ai > 0 , ^
ó bien
(18)
• '<T y * > - a
por un mismo valor entero de t; y para que las soluciones ente-
ras de la (15) sean positivas, precisa y basta que se tenga en
las (17)
a 4- 6í > o ,
p + aOo,
6 bien
a B
(19) í>—
Las (18) prueban que sólo son positivas las soluciones enteras
de la (14), para los valores de í comprendidos en el intervalo
coeficientes primos entre sí, asi como las tiene en número limi-
tado, ó no tiene ninguna toda ecuación de la forma (14).
225. Se ve, según lo demostrado, que la resolución com-
pleta de la ecuación
(20) ax + by = k
se reduce á sólo hallar un valor entero de a; y otro de y, que si-
multáneamente la satisfagan. Veamos, por consiguiente, cómo
puede hallarse esta primera solución.
Sabido es que por operaciones conocidísimas puede reducirse
toda ecuación con dos variables a; é y á la forma
(1') Aaj + By = K,
en que A, B, K representan números enteros. Vamos á simplifi-
car la ( r ) , y ponerla en condición necesaria x suficiente, para
que pueda tener solución entera. Para conseguirlo, dividamos,
ante todo, los coeficientes A, B de os é y, y el término constante
K por su máximo común divisor, si no son primos entre sí, y
llamemos Aj, B,, K, los respectivos cocientes. Se tendrá
Y como —f—
S
ha de ser un número
.
entero, y^ 8 no divide \(n." 10?)
j/
i B,, dividirá (n." 78) á y, cuyo cociente tiamaremos y^•, luego la
(5') da
A,a?-I-Biy» = K,.
TflORf A8 FUNDAMBNTALBB 185
(70 a; + 6y«»fc,
186 TBATADO D B ANÁLISIS MATBMÁTICO
(9) « = •—-—•
a
Si el coeficiente a no es demasiado grande, hallaremos por
tanteo en la eerie de los números (n." 222)
o, I, 2; j , , a — I
(13') ry + at^k
sacada de la (i i'), y que por ser r < a, a < 6 es, por tanto,
más sencilla que la (8').
Los valores enteros de y y í, que satisfagan á la (13'), dan
asimismo valores enteros en la (12) para x, y estos valores de
X é y en función de la indeterminada t, resuelven la (8').
La cuestión queda, pues, así reducida á resolver la (13')» que
se acerca al fin que nos vamos proponiendo, ^es decir, á la
forma (7').
Fácilmente se comprende que la división de b por a ha de
efectuarse por defecto ó por exceso para que el rfesto sea menor
que la mitad del divisor, y resulte de esta manera más sencilla
la (13') con el coeficiente de y el menor posible, lo cual conti-
nuaremos haciéndolo siempre en las divisiones, subsiguietnes.
También conviene efectuar, siempre que se pueda, la divi-
sión por defecto ó por exceso del término constante por el divisor
respectivo, para ir simplificando cada vez más todo lo posible la
ecuación correspondiente.
Despejando la y en la (13')» se obtiene
, ,. k — at
(•4) , J/ = • — : : — •
(.0 . -^^^='..
para valores enteros de í, representando la nueva indeterminada
ti un número entero cualquiera.
Se tendrá, pues, que h (rj'), que tom» por laliipótesis {16')
la forma
(17') y^y.q,t-{-t,
dependerá de la ecuación
{18') r,t-\-rt, = k
sacada de la (t6')> Y ^^^ Por ser r^ <i r, r <i a es, por tanto,
mis sencilla que la (i3')-
Los valores enteros de t y t,, que satisfagan i la (iS*), dan
asimismo valores enteros en la ( i / ) para y, y estos valores de
y y de i en función de la indeterminada ¿, resuelven la (13').
La cuestión queda, pues, así reducida á resolver la (i8')i que
se acerca más aún al ñn que vatnos proponiéndonos, es decir, á
la forma (7'). ,
Despejando la t eb la (18'), se obtieíie
(„r ,.±^^. •
Dividiremos á r por r,, y llamando g,, el cociente y r, el
resto, se tendrá
TBORÍAS FUMDAUBNTALBS 189
(20 ; t = = — g,<, -j .
(„., ±:zlh^-i.
para valores enteros de í,, representando la nueva indetermina-
da-íi un númérp entero cualquiera.
Se tendrá, pues, que la (ao'), que toma por la hipótesis (21')
la forma
(22') . í = _ g,í, 4 . í,
dependerá de la ecuación
(23') r,í, + r.í, = A
de la (7'); de donde
ti =h — rj^,
que será la resolvente del sistema
y^ — qxt -f-í,,
t =r — q^t, -f í„
<i= * k — níí,
de que sé deducirán por la eliminación de t, li los valores enteros
de a? é y en función de la indeterminada (,, cuyos valores con-
tendrán, en general, un término independiente de í, y otro fun-
ción de í , , como es fácil comprobarlo al efectuar dicha elimina-
ción. Serán, puer, de la oiisma forma
que ya hemos hallado (n.° 223) para los valores generales ente-
ros de a; é y, siendo evidentemente A y B primos entre si, pues •
to que, si no resultara asi, sino que tuviesen un factor común S,
se verificaría que * -
X = a -\- A,Sí,,
y = P + B.5/,,
serian valores enteros de » é J/ para el fraccionario -— de íi, lo
cual no es posible por ser siempre enteros los valores de las in-
determinadas í, según las hipótesis, que nos haní llevado á las
fórmulas (24').
TBORÍAS FUNDAMENTALES 191
B ~ a '
k'-r'y ^
o X ( i qk) — 6 X ( ± pk) « * ;
lo cual demuestra que x ===> de qk, y «= ± pk es m)a solución
entera de la (8'), 7 por tanto, será su solución general
x=^ázqk — bt,
• y =se zt pk -{• at.
Despejando la x, viene
23 — ly .
3
pero el valor entero de y, que lo dé entero para ,r, ha de hallar-
se (n.° 222) en la serie de los números
0 , 1 , 2 = 3 — 1,
23 — 7 . 2 = 9 ;
luego
23—7.2"
3
3
conjuntamente con «/ == 2 dan una primera solución de la (29'), y
por tanto,
a.' « 3 — 7¿ ,
y = 2 + 3Í
« f y ,>-f.
se deduce que la (29') sólo tiene la solución entera y positivii
(50') I;?:'-—'28?/.= 9 j ,
= lyy'^' — 95 _^ — ( 9 5 — 177-0
^ 128 128
(3T) y- ^8 . -
1 7 7 = 128 + 4 9 ;
haciendo *
(»') J 2 128
ir^_,. '
La(j;')(ia
490;^ — laSí a- 95
de donde
9J + I28Í
49
. pero, hallando el cociente entero por exceso, para mayor simpli-
ñcación, de i 2 & p o r 4 9 , se tiede
TBOKÍAS FUNDAMENTALES 195
128 = 4 9 . 3 — 1 9 ;
luego, sustituyendo este valor en la (34'), viene
49
xle donde
,; «= 5—49'i
•será la r^ío/ví«<í del sistema
<30 íP = 3¿ + I9<i,
í » 5 __ 49<^ ,
de que se deducirán por la eliminación de (los valores enteros
de o; é y en función de la indeterminada t^, como vamos á verlo
^ie seguida.
Pooietido en la íegunda de las (36') el valor "de í, y el de ¡F
•que resulta y el mismo de I en la primera, se obtiene
Ni
196 TRATADO DB ANALIBIS MATEMÁTICO
15.—128Í, > o ,
20 — 177Í, > o ;
de donde
128 177
Todos los valores de í, corñprendidos en el intervalo (o,— 00)
darán dichas soluciones enteras y positivas.
EJEMPLO IIL Resolver en números enteros la ecuación
^1 — 9 + 32^1 ,
y, — 164- 59<, ,
<le donde
a? =='36 4- 128 ^ ,
y = 48+i77<, .
Los valores de U, que satisfagan tas desigualdades
36 -}- 128 í, > o ,
48 + 177 tt > o ,
es decir,
,,>_-4- . , , > _ 48
128 177
5 9 . 13 — 32 • 2 4 = " — I •>
59 X (— 13 • 19) — 32 X ( ~ 24 • 19) = 19 •
Es, pues, .r, = — 13 . 1 9 = —247, y, = — 2 4 , 19 = - 4 5 6
una primera solución de la (39'), y su solución general
a;, = — 247 + 32 í ,
!/, x= — 4 5 6 - J - 5 9 Í . •
•«'• = Y + Ti= — bt ,
!/ = S + 5,j 4- «í ,
cuyas fórmulas darán valores enteros para ./• é »/ por los valores
enteros que reciban z y t, y estos valores de .r é y conjuntamente
con los correspondientes dados á : satisfarán simultáneamente
h (I").
231. Si los coeficientes de .1 é ij en la (i') no son primos
entre sí, ó tienen el factor común m, serán de la forma ma, mi',
y la (I") dará
(5') may; - j - hnin = fc — c:,
ecuación más que al ser estos coeficientes primos entre sí. Por
esto siempre conviene dejar en el i . " miembro de la (i') los tér-
minos de coeficientes primos entre si, y trasponer el término de
coeficiente que tenga factor común con alguno de los antedichos,
cual lo hemos efectuado al trasformar la (i") en la (2').
232. Si se tiene, en general, la ecuación
y haciendo
k — cz — — lu
= 1,
5
resulta
(I I') CI + 5Í + + ÍM = A-,
que es una ecuación con una variable menos que la (10').
Procediendo de la misma manera con la (ii*)» obtendremos
otra ecuación con una variable menos, y continuaremos así su-
cesivamente hasta llegar á una ecuación con sélo dos variables,
fácil de resolver, y cuya solución se sustituirá en h anterior, y de
la propia manera, retrocediendo de ecuación en ecuación hasta
la propuesta, iremos hallando los valores de todas las variables
en función de una misma indeterminada.
Se ve, de un modo manifiesto y daro,^ que la resolución de
una ecuación con más de dos variables' se reduce fácilmente, eá
definitiva, al Caso de una ecuación sólo con dos variables, en lo
cual no creemos necesario insistir.
TBORIAS FUNOAHBNTALBS 201
('3')
(*) El*m»nto$ di lai teorlai coordinatoHa y át la$ dttetmitiantn, Sagttilda parte, e*-
pitolo III, 0.0 m. (Tercera edioión ) .
202 TRATADO DK ANÁLISIS MATBMÁTICO
de la cual se saca
(n „.„ = - »ta + ae - M+ í ^ ^ ^ f ^ :
lo que nos dice que, si los valores (7') de x son enteros, susti-
tuidos en la (5*) conjuntamente con el + 5 de ¿>ÍC 4- e darán va-
lores enteros para y. -.
De lo expuesto se deduce claramente que las soluciones de la
(2') son en número limitado, y que aún puede no existir nin-
guna.
Para hallar los divisores 5, observemos que, según la (5*), se
tiene
{b*!f 4- abx — ae + bcC) {hx 4- e) = hie — ae* — b*f ;
lo que prueba que, si bde — ae* — b*f es divisible por bx 4- e,
también lo será por números de la forma b*y -\- abx — ae-^ bd,
y que, por consiguiente, como dice BALTZER, «habremoí de bus-
car entre los divisores de bde — oe* — h*f los que sean de la
iorma bx •\~ e; ó entre los números de esu forma, los que se
hallen contenidos en bde — ae* — b*f.> Asi, por ejemplo, si se
tiene la ecuación
(8") au' 4- xif — 2x — $y =«= 29
puesta bajo la forma
{X — 3) // 4 - X* — 207 =* 2 9 ,
nos dará
— X* 4- 20? + 29
^= ^=1—•
TBORIAS FUNDAMBMTALBS 205
,1 •— — X— 1 -\ ;
a,- — 3
de donde
(.'/ + .'• 4- i ) ( í r — 3 ) = = 2 6 .
Y como
+ 1, ± 2 , ± 1 3 , + 2 6
/ a ae — bd\
!t(bj[-\-e) == — o*» — dúí—t = {iu-\-e) ( — x -f — - — j ,
de donde
(bx -\~ e) {b*y -\- abx + 6d — ae)=o .
bx -\- e = o ,
b^!/-\-(ilx--{-bd—ae=o,
, ms —ax* — áx — f
(¡3) y - --•
e
Si suponemos que ar = ada una solución entera para la (13*),
V hacemos
(14') ./.• = a + e í ,
IJQl,* — ¿(X f
(15") t / = - ( a a a - f £/)í — a e í ^
e
pero por hipótesis es
— auí* — d a — /'
(lé") 3./' — 2 , r — 3 y + I = 0 ,
resulta
í,r' — 2.r' 4 - !
3
í-^- + y) + 2 = o;
4
la cual resuelta con relación á y produce
Acc — 8
± I, ±2, ±4, ±8 •
•de 8, se tiene
a: _ 4 = ± I , + 2 , i 4 , i 8 ;
de donde
*• = 5 , 3 » 6 . 2 , 8 , o , 12 , — 4 ,
y = 12,-4 » 8 , o , 6 , 2 , 5, 3,
cuyos valores sustituidos en la (17') dan los correspondientes
THOHÍAS FUNDAMKNTAliBS 209
CAPÍTULO VI ''^ t \
i • • - ••
(I) A = B(mód. M ) ,
A = B ± un múltiplo de M,
•s decir,
A - B ± kM .
La expresión
A ^ B ( m ó d . M)
significa que A y B tío son congruentes según módulo M, ó que di-
vididas respectivamente por M no dan el mismo resto. ,
Las cantidades A y B se nombran primer miembro y segundo
miembro de la congruencia (i).
244. , Son corolarios de la definición de las cantidades con-
gruentes (n.° 242) los principios siguientes:
I.* Das cantidades guales entre si son congruentes con relación
á cualquier módulo, es decir, que
a^a (módm)
cualquiera que sai el valor .entero de m; puesto que es evidente
que su división por una misma cantidad m ha de dar siempre el
mismo resto (n.* 63).-
2." Si una canttíad a es múltipla de otra m (*), será a con-
gruente con o s^ún módulo m, es decir, que
0 ^ 0 (mód. m);
porque al ser a divisible por m, et resto de la división ha de ser
claramente cero, y también o dividido por m da o de resto.
Reciprocamente, si una cantidad a es congruente con o s^ün
móduloffl,será a múltiplo de ro; porque el resto de o flividido por
m es cero\ luego para que a sea congruente con o según módulo
m, precisa que también sea o el resto de dividir á o por m; lo
cual prueba que a ha de ser múltiplo de tn.
3 . ' Dos cantidades am, bm múltiplas de una tercera m son
eongrumtes con relación á esta tercera m, es decirr 1^
am ^ ftm (mód. m ) ;
porque la división de am, hm por m ha de dar el mismo resto o.
(*i InUéndaM <ia» «o Mte capitalo tubltramM tlenpre d« cantidadM «BtorM,
•1 no adTMtlrM to cootrktio.
TBOBIAS FUMDAUBHT&LBS 2t{
o —b
m
ay b son congruentes según módulo m. Por esto suele emplear-
se la notación (n." 243)
(10) a = h ±. km
D ^ r (mód. m);
puesto que es sabido (n.° 63) que
D = gm -|- r ,
representando q el cociente de D dividido por m; de donde
D — r — gm ,
también ha de tenerse
a^b (mód. m).
En efecto, la congruenda de a y n según módulo m da
<n.°63)las(ii)y(i2), y la congruencia de 6 y n según módulo m
da las (I 3) y (12); luego a yb, que di-
{i I) a = C . m - j - r , vididas respectivamente por m produ-
{12) n = c, .m-\-r , cen el mismo resto r, como lo prue-
{13) b-=Ct.m-\-r ban las (11) y (13), son congruentes
entre si según el módulo m (n.° 242),
conforme el enunciado.
Se deduce que
246. Si se suma ordenadamente una serie de congruencias se-
gún un misn:o módulo, se obtiene una
(5) a, ^ bf (mód. m) , congruencia según dicho módulo; pues-
(6) a, ^ 6, (mod. >n) , to que, si además de las (r) y (2),
etc. se tienen las (5), (6), etc., la suma
de las (1) y (2) dará
a -\- at^b -\-bt (mód. m);
samando á ésta la (5), viene
a -f «1 -|- a, ^ 6 4- &i f 6, (mód. m\;
volviendo á sumar á ésta la (6), viene
a + o, 4- í7, 4- fla = 6 -f fc, f 6, -+- 6« (mód. íw) ,
y así sucesivamente.
247. Una congruencia no varía al sumar ó restar i sus dos
miembros una misma cantidad; puesto que, siendo la diferencia de
dos cantidades congruentes
(7) a^b (mód, \n) , un múltiplo, del módulo
(8) a — b «- c. m\ (n.? 244. 4.°), la (7) da la
(9) (a±k)~{b ±k) '^ c, m. (8), de la caal evidente-
mente se saca la (9); luego
por el reciproco del principio 4.° del n.° 244, la (9) demuestra
que
a±k^b ±k (mód. m) ,
•
conforme el enunciado.
248. Una congruencia no varia al aumentar 6 dismú
nuir uno de sus miembros ó ambos en un múltiplo dé su
módulo; por-
i'a±km) — b =aí c. m.± km =•=> {e ± k). m, que de la (8) se
^'°^ a — (&±km)«=c. wi T üm»= (cTk).m. sacan las (10),
y ' por tanto ,
por el recíproco del principio 4.» del n." 244
, TBORIAB FDHOAMBHTALHS 916
a ±km^b (mód. m ) ,
a^b ±km (mód. w ) ,
y también por lo mismo, ó por lo demostrado en el n<.*> 247 an-
terior,
a±km^b ±Atitn (mód. m).
249. De este principio se deduce que ,
Una congruencia de la forma
a = mq + )• ,
, b = mqx -f- ''n
y sustituyendo estos valores en la (i i), viene
(mg -f- r)x ^ mq, -f- r, (mód. m) ,
6 bien
mqx -\-rx^ mg, -j- r, (mód. m ) ;
ak — bk»* c. k. m;
216 TRATADO 0B ANALISIS MATHMATIOO
En efecto, las (12) dan (n.° 244, 4."*) las (13), de las cuales se
deducen lás (14);,
a — b = c. m , pero multiplicando
^'^^ Oi — 6 , = c , . m ; '»» (14), resulta
la (15), ó bien la
a = 6 -f-c. m , (<6); Juego (n.°
^'"^^ a» = i,-{-6-,. m ; 244, Redp. 4.'»)
conforme el enunciado.
Y en general, el producto de varias congruencias según
un mismo módulo es una
(17) o, ^ 6, (mód. m ) , congruencia según el mó-
(18) Oj, ^ 6, (mód. m) , du/o comtin; puesto que, si
etc. además de las (12), se tienen
las (17), (I 3), etc., el producto
de las (12) dará, como hemos visto anteriormente,
aot ^ 66, (mód. m),
TBORÍAS FÜNDAMKNTALBB ^7
y asi sucesivamente.
252. Si los dos miembros de una congruencia se elevan á
una misma potencia, resulta una congruencia; ó bien
La n.*"™» potencia de una congruencia es otra con-
gruencia; puesto que las (12), (17), (18), etc. subsisten al ser
a==n^ = a^ = a3 = ,
b = b^ = 6^ = 63 = ,
luego, si
f{x) = AoO!" 4- AIOJ^T' 4"
r ^ r^ (mód. m,) ,
r ^ r, (mód. m,) .
En efecto, las congruencias (25), (26), (27) dan (n.* 244, 4.*)
las (28), (29), (30);
(28) a — r == c. nii m,, pero, restando res-
(29) a — r, = c,. m, ,
a — r, = Cj. m , ;
pectivamente de la
(30)
(28) las (29) y (30),
, , r,-r^(c.m,-c.)m., resultan las (31);
(^') a,-r = (c. m. - c ) m , . '-^^g"' «^g^f^^ÍBi),
^ ^ se tienen las con-
gruencias (n." 244, Recíp, 4.')
r ^r^ (mód. m,) ,
r ^ rs (mód. m,),
conforme el enunciado.
256. No siempre pueden dividirse los dos miembros
de una congruencia por uno de sus/adores comunes, sub-
sistiendo la congruencia según el mismo módulo, es decir,
que, si
(32) ak ^ bk (mód. m) ,
no siempre se verificará que sea
»
(33) rt^6(mód. m).
En efecto, la (32) da (n." 244, 4.') la (34); luego, si supo-
nemos que 5 sea el mdximo común divisor de ^ y m, dividiendo
la (34) por 5, y llamando kt y
(34) ak — bk = e.m , tñt los cocientes de dividir res-
(35) ak, — bk^ a» c. m, , pectivamente á A: y á m por 8, se
(36) (o — b)k^ =• c. m, , tendrá la (35), 6 bien la (36), la
(37) a — í» = c,. »w, cual prueba que m,, que es fac-
tor de su 2.* miembro, ha de di-
vidir al primero (a — b)k,\ y como m, es primo con ¿, (n.* 103),
ha de dividir (n,* 78) á a — 6, y por consiguiente, represen-
TKORIAS FÜNDAMENTALBS 221
a — h = d. m \
_((a4.i)m-N),
m
262. Si el reslü positivo r es igual á , también el r e -
2
r > ,
2
a^r (mód. m)
la serie de vaíores <
TEORtAS FUNDAMENTALES 225
{a , a — m , a — im , a — 3m ,.
r = ( a-{-m , a-\-2m, a-\-^m y
y en general, el valor
(2) r ± am ,
verificándose siempre (n." 248) la congruencia
' a ^r ± ém (móJ. m). \
EJEMPLO, Si se tiene
N — Oj m -4- »•,
son todos diferentes; puesto que, como hemos visto (n.° 222), si
en los múltiplos (8) de N existieran dos ^N, «N, por ejemplo,
que al dividirlos por m diesen el mismo resto R, se tendría, re-
presentando por Q , Q í los cocientes correspondientes.
228 TBATAOO DE ANÁLISIS HATBMÁTICO
pN — Q . m -I- R ,
aN = Q , . m + R ,
y estando,
(P-«)N-(Q-Q.,)'«,
ó bien
(? - a)N
Q - Q . ,
m
y por ser m primo con N, dividiría (n." 78) á p — a, que es evi-
dentemente menor que m, lo que es imposible; luego .todos los
restos propuestos son diferentes.
270. De este principio se deduce inmediatamente que ,
Si en una expresión ax, en que a es primo con m, damos á la
variable x sucesivamente los valores de un sistema de cantidades in-
congruentes según módulo m, los valores correspondientes de los múl-
tiplos'zx de a formarán también un sistema de cantidades incon-
gruentes según módulo m.
271. Si se multiplican los términos de la serie de los números
(9) « . 2 . 3, ("»— O
por una cantidad entera a prima con m, ¡os múltiplos de a
(10) a , 20, 3a, , (m—i)a
tienen números congruentes según módulo m en la serie (9); porqués
por el principio antarior del n." 269 iodos l«js múltiplos sucesi-
vos (ic) de a divididos por m han de da^ restos diíerentcs evi-
dentemente menores que el divisor m, los cuales no puédeo ser
otros que los números de la serie (9); luego el múltiplo de a de
la serie (10), que dé uno de los restos (9), será congruente coa
dicho resto según módulo m (n.* 244, 6/), conforme ,el éntm-
ciado. j
272. Si ¡a cantidad m es prima con a, los términos de la pro-
gresión aritmética
(I O b , b 4- a , 6 4- 2 0 , 6 + 30 ,• •-.. 6 + (m — i)a
TBOSÍAS FUNDAUBMTALES 229
of^"" = I (mód. m ) ,
ó (n.*» 244, 4.", 248)
o'P^'"^ — 1 = 0 (mód. m) ,
conforme el enunciado.
TEOREMA DE FERM\T. Si el número entero a no es divisible por
el número primo m, la diferencia a""' — I será divisible por m, es
decir que,
a""' — 1 ^ 0 (mód. m ) ,
ó bien
am-i ^ , (nj(W. m ) .
En efecto, por ser a y m primos entre sí (n.» 77), los miilti-
plos de a
T B O B Í A S raKDAMBNTALBS 281
conforme el enunciado,
275. TEOREMA DE WILSON. Si va es un número primo, la
suma
(m — I ) 1 + I
es divisible por m, es decir, que ,
(m — 1 ) 1 4 - 1 ^ 0 (mód. m ) ,
ó bien
(m — 1)! ^ — 1 (mód. m ) .
Hn efecto, sí a es uno cualquiera de los números
a' — I = (fl — I ) (a H- I )
(m — i ) I s w - r - 1 (mód. m);
*. ( w — I ) ! = — 1 (mód. m),
TaORiAS FUNDiLMBHTAIiBB 283
3, 2, 5, I, I
para valores de ,
a? «= o, 1, 2, 3, 4*= 5 — 1,
(9) a? a= K -[- ^w .
de »/; y como los nymeíos (17) son primos con p, será también
primo con p; luego los valores (17) serán las raices de la con-
gruencia
(18) b^af^' + ft.y'-a - f + ¿„_, s o (mód. p).
(22) x = - i , 2 , 3, , ( p — I)
en ací*"* — i, cada uno de los resultados que se obtengan serán
divisibles porp, así como el i . " miembro de la (21) (n." 248);
luego el 2." miembro de la (21) también será divisible por p al
poner en él cada uno de los valores (22) de x, y por consiguietitf , ^ ^ ^ ,
la congruencia- de p — 1 grado '^\ ' " * ^ X
'•y. .-^ ' ^ %
F(j) X (p(x') ~ o (mód. p) ," ' 'A'^»'
admitirá/) — i raíces (22),
Y como, si la (19) tuviese menos raíces que unidades áú
grado, la congruencia
(p(aj) ^ o (mód, p)
,F(«)-Q/(a;) + R;
lo cual prueba que, siendo F(x), f\x) divisibles por p para cada
raíz común de las (23), también lo será R. Y siendo en estas
condiciones divisibles R y f{j;) por jo, \Q será asimismo F(a-).
Luego las raíces de las congruencias
Í6
242 TRATADO DB ANÁLISIS MATEMÁTICO
que tendrá tantas raíces como unidades su grado (n." 287), por
dividir D(ar) á XP~^ — i , dará las raíces de la (27).
289. El producto de dos funciones í(x), ^(x) de x enteras y de
coeficientes enteros, es congruente con o según módulo primo p, siem-
pre que uno de los factores sea congruente con o, y sólo lo es en este
caso.
En efecto, es evidente (n." 281) que para que no sea el pro-
ducto /'(a) X ^{p») congruente con o según módulo primo p, se
necesita y basta que uno, á lo menos, de los coeficientes en cada
una de las dos congruencias
*\x) = a„ a;" + rt, ,T"-' + -f-rt„ -, ,r -f Í?„ = o (mód. f) ,
<f(x) = h„.r''-{-b^x"-*-\- 4-6„_, 3 - + í>„ = o (mód. p)
es decir, que por hipótesis todos los términos del coeficiente (i8)
244 TRATADO DE ANÁLISIS MATEMÁTICO
en la congruencia de grado n
/•,(P)-o(mód.p);
lo que prueba que p es raíz de la congruencia
(33) /X/)H5o(mód./)).
Dividamos á /,(.') por .'• — p, y sean /,(.';) el cociente y r, el
resto independiente de ./•. Se tendrá (n." 63)
246 TRATADO DB ANÁLISIS MATEMÁTICO
A(P)=^;
lo que prueba (n.» 283) que r, es un múltiplo del módulo p, ya
que P es una raíz de la (33), es decir, que (n." 244, 2.")
r, 53 o (mód. j)) ;
(,f-?)A(.i)^o(mód.p),
A(Y) = *•,•.
r3 = o (mód. p ) ;
(« —"OísC^O^oCmód. p),
(^ — Y) U{3;) + r, = O (mód. p ) .
en que la suma de los términos en rg, r,, r,, del 2.* miembro de
la (38) es múltiplo dep.
Prosiguiendo de la misma manera, siempre llegaremos en el
factor correspondiente á la raíz X á la igualdad'cvidente
(2) ax = h-\-my,
representando y un número entero cualquiera, cuya ecuación (2)
no podrá satisfacerse por valores enteros de *• é y, si a y m tie-
nen algún factor común d, que no divida á h (n.* 220).
Pero, si el máximo común divisor o de a y m divide á h, la
congruencia (i) sipiplificada ó reducida
<„ ^.^(„,,^)
sólo admite una raíz a (n." 284). Los valores (n.° 283) de ÚP, que
satisfagan á la (3), se deducirán de laiórmnla general
(4) *'=a+^-í
sacada de la ecuación
TBORtAS F U N D A M E N T A L E S 249
a h m
i r - a m .
en que Jos coehcientes enteros—:;r > son primos entre si,
o rj
y í en la (4) es una indeterminada, de que puede disponerse, de
tal modo que tenga x siempre un valor comprendido entre o y m,
es decir, que sea
^ = 1 , 2 , 3 , , o— I ,
m, 2m , m
(5) a, a 4 - - ^ r - , a + - v - , .... « + " r - ( 5 — O
cuya raíz es >;; = 4 < 5 , dará para la (6) las 3 raíces menores
que 15 '
I '5 I 2 . 15
3 3
ó bien
.t = 4 , 9 , 14.
260 TRATADO DB ANALHIS HATBMATICO
(7) 'j=ct~\-mt,
07 ^ ( — i)"(mód. m),
ó bien
(8) i—i)" aq ^ 1 {mód. m) ,
y multiplicando la (8) porh, viene
ít X (— O"/»? ^ '' (mód. m).
Se ve, pues, que
* = (— lyhq
31 X (— 5. 2 ) ^ 2 (mód. 13),
es decir, que
íc = — 5 . 2 = — 10
y por consiguiente
o; saa — 1 0 - | - 13 < ;
ja; = 8 + 27y ;
de donde
5 '
Determinando (n." 226) en la serie de los números
o, I, 2, 3, 4 = 5 — I
el valor de '/, que dé un valor entero para .';, se halla que para
// == í, se obtiene
x^ 8 + ^7 __ .
luego
(•3) .<' = 7 + 2 7 Í .
Ó bien
(14) 1237 . 27Í = —4563 (mód. 27 . 25) ,
y dividiendo por 27 los dos miembros y el módulo de la (14),
viene (n.° 253)
(15) 1237Í SE; — i69(mód. 25),
la cual se reduce, como anteriormente, á la congruencia de coe-
ficientes menores que el módulo 25
«
12Í s s 6 (mód. 2^) ,
:f = 4
será la raí? de la (16).
También por meras trasformaciones de la congruencia pro-
puesta se halla á veces su raíz.
EJEMPLO IV. Sea la congruencia
,í = 5 (mód. 97),
y por consecuencia,
X = 5
es la raíz de la (17).
295. Si se tiene un sistema de n congruencias de 1." grado
con n incógnitas, y se las reducen i la forma (n." 276)
a,x-j- h, 11 ~j- c, z -}- -{- ki u -\-¡, E^o\
(,^^ «, r + /-/// + c , z + •••• +A-.U + i , ^ o I ^ ^ ^ ^ ^ ^
I «, ¿« e. k„ I // — I rt, /, O3 A„ I ^ o (mód, m) ,
(21)
I a, lii c, A„ I u — I a, /ij C3 ?„ | ^ o (mód. m) ,
_ I íi, /, c, /••„ I , ,, .
I « I l'i C3 /•„ I
I «1 l>i C3 i» \ , ,j s
I «1 ''i C:, /.„ I ( m o d . m ) ;
de donde
t ¿. ^ C3 An I
I «I /', C3 A„ I '
I a i ^ C; k„ I
I a. /', C;, Á-„ I
I a , /'j C3 ..... l„ {
?t
l a , l>i C3 /.„ I
l i H : , :|<-^^--^)'
[7 2l\y^\l
|
"Icmód. 14),
|7 - 3 |
— 1 9 . / ^ ^ 7 (mód. 14),
— 19*/ E^ 4 ( m ó d . 1 4 ) ,
TKORÍAS FUNDAMBNTALDS 2S7
5.'/ = — 4 + i4<;
de donde
4 — 14Í
5
y haciendo t = i, viene
?/ = 2 .
5 5 II 13 5 4
2 3 2 | : ^ J 2 3 7 (mód, 12) ,
J I 3I I5I6
ó bien, hallando los valores de las determinantes,
(26) 28cí ^ — 28 (mód. 12),
(27) 28?/ ^ 20 (mód. 12),
(28) 28--= 96 (mód. 12).
ÍC = 2, 5, 8, II ,
De la (30) se saca
7//== S + 3 Í ;
de donde
5 + 3<
7 » / s 5 (mód. 1 2 ) ,
resulta
7.'/=5 + i2í;
de donde
7
la cual da para í = 6 la raíz única 1/ = 11 ó 1/ = — 1, puesto
•que 7 es primo con el módulo 12 (n." 284).
La (31) da directamente la raíz - = 3, y por lo ya dicho
' = 3. 6, 9, o .
En consecuencia, los valores
ce = 2 , 5 , 8 , 1 1 ;
?/ = 2, 5, a, 11;
• = 3, 6, 9, o;
ó bien
^ = 2, 5, 8, II ;
;/ = n , u , 11, 11 ;
- = 3> 6, 9, o-
resuefven ef sistema.(25).
260 TBATADO D B ANÁLISIS MATEMÁTICO
(!') X ^ a (mód. m ) ,
•X ^ h (mód. » ! , ) ,
a — i (mód. S)
o
ó bien, llamando
a-\-mct = Xi,
la congruencia
íc^or,Imód. -1
^1 H ; — í ^ c ( m ó d . Wj);
o
de donde
(12')^ — ; — í = c — :f, (mód. m,) .
o
La (12') sólo será posible, cuando el máximo común divisor
- , mm, , , ,
^, de ; — y W j , divida (n.»» 281, 284) á c —;r, . Se ten-
5
diá que
x\ =. f. (mód. Sí)
será la condición de coippatibiUdad de las (10') y (12'), y por
tantOjdel sistema (9').
264 TEATADO DB AMALISIS MATBMÁTIOO
llamando
X ^ Xn (mód. M ) ,
ac A»/^ P (mód,/;),
/^,'^ ab A t ^ P ( m ó d . c),
abe u ^ P ( m ó d . A:).
266 TRATADO DB ANÁLISIS HATBHÁTIOO
de las potencias
4 , 4», 4% 4*, 4 ' , 4»;
los
TEORÍAS FUNDAUBNTALBS 269
8 , 12, 5 , I
de las potencias
8,8'.8',8S
los
9.3.1
de las potencias
9 . 9*. 9 ' .
1; I + 3;4 + 5; 9 + 7 0 5;5 + 9 0 3 •
Serán, pues, restos cuadráticos de 11
h 4» 9, 5» 3-
y no-resíos
<5) 2, 6, 7, 8, 10,
cuyos últimos números (5) jamás podrán ser restos cuadráticos
según módulo 11.
Se ve que por simples adiciones de los números impares me-
nores que el módulo se determinan íácilmente los restos cuadra*
ticos sucesivos de cualquier módulo por medio de los restos ya
obtenidos.
305. Poniendo la congTMencia de FERMAT
xP-^ — 1 ^ 0 (mod. p)
TBOBÍAS FUNDAMENTALES 271
p—I
que ambas tienen raíces. Las raíces de la (6) son restos
1
cuadráticos de p, y las de la (7) son no-restos cuadráticos
de p.
Un número a será resío ó no-resto cuadrática del mó-
dulo p , según satisfaga i la (6) ó á la (7), es decir, según sea
P-'
-j- I ó — t el resto de dividir á a * porp. LEGENDRErepresenta
este resto ó np-resío por el símbolo I — J = d: i (SERRET).
•^06. Siempre existe una potencia de cualquier número a
primo con el módulop, que es congruente con la unidad, es de-
cir, que siempre habrá para el número a un exponente ,7, que
verifique la congruencia
(8) a ' ^ I (mod. p ) ,
(9) 1, «, a\ a\ , «»-'
dan restos todos diferentes entre sí, resulta que de la congruencia
a* ^ I (mod. p)
se sacarán legítimamente (n.' 303) las siguientes:
TRATADO DB ANALISIB MATBMÍTICO
«9+» ^ O (mod. p ) ,
0»+* = a»(mod. p ) ,
a"^^^^ s I (mod. p)
a» ^ I (mód. p) ,
fls+i :=. a (mód. p ) ,
0»+* = «^ (mód. p ) ,
('0
o»" = I (mód. p ) ,
flíff+i ^ (í (mód. p) ,
ftíe+í = a* (mód. p ) ,
etc.
«
Se deduce inmediatamente de las ( n ) que, si se tiene un ex-
ponente a s= mg *f- r, siendo r resto mínimo según el gaussiano
g de a, se verificará que
pero r, r' son menores que g, y con mayor razón r — r' < g;
luego, sejgün las ( i i ) , la congruencia (12) sólo podrá verificarse
al ser r = r', y por consiguiente (n." 242)
P = a (mód. g) ,
^ II
(17) a» S I (mód. p ) ;
luego a será raíz de la congruencia binomia
276 TRATADO OB ANÁLISIS MATHMÁTICO
(19) í, 2, 3, . ( ^ — I)
(21) a * ^ r (mód. p ) ,
(22) ( a* )9 ^ r» (mód. p ) ;
r» ^ I (mód. p ) ;
-í.a.a^o? ,a9-',
y de la congruencia
x^ H= I (mód. 13)
Jos restos
I, 3, 9;
porque (n.* 303) es 6 el gaussiano de 4, y 3 es el gaussiano
de 9.
315. Si el grado n de la congruencia
(23) x"^ I (mód. p)
es primo con p — i, lo será con el gaussiano, de que p — i es
un múltiplo (n." 310); luego, si n no es múltiplo del gaussiano
g, no podrá (n.°' 301, 302) ser x" congruente con i, sino en el
único caso de ser ar = i, y por tanto, la (23) no tendrá más raíz
•que la unidad, y ninguna otra distinta de i, que pertenezca al
cxponenie n según módulo p.
El estudio de las congruencias binomias se reduce, en conse-
cuencia, al de las congruencias, cuyo grado divida i p — i, re-
presentando p el módulo de la congruencia.
316. Si llamamos g un divisor de p — i, y « un número,
cuyo gaussiano es g según módulo p, las potencias
(24) a, «S x\ , a"
representarán (n." 113) la raíces de la congruencia
(25) .f» = I (mód. p) ,
y si existe cualquier otro número, que pertenezca al exponente 3,
ha de ser congruente con alguna de las potencias (24), Vamos á
demostrar que sólo existen potencias de exponentes primos con
3, que pertenezcan al exponente g, y que las otras pertenecen á
exponentes menores que g.
En efecto, si /; es un número primo con g, y determinamos
(n.' 279) un número A, qutí satisfaga á la congruencia
(26) k\ ^ I (mód. g),
278 TBATADO DB ANÁLISIS MATUITÁTIOO
(31) a « s i ( m ó d . p);
«9 ^ I (mód. p)
k
evidente por hipótesis, y -— un número entero, la congruencia de
o
exponente múltiplo del gaussiano g
k
— 9
a. ^ I (mód. p)
será también evidente (n." 306), ó su idéntica
TEORÍAS FUNDAHBNTALES 279 *
* •
A.
( a'') ' = 1 (mód. p ) ;
g
la cual demuestra que a* de la (28) pertenece á un exponente -7-
menor que el exponente e = g, cuando k [no es un número
primo con g.
317. Se deduce, pues, que entre las potencias
(3') x'-'=a-{m6á.p);
pero por el teorema de FERMAT (n." 274) es
(4') «P-» = I (mód. p)
para todo valor de x primo con p ; luego, según las (3') y (4')
P-'
« " ^ I (mód. p).
La (2')> admitida por el reciproco, da (n." 244, 4.')
28(1 TRATADO o a ANÁLISIS MATBMÁTIOO
p-i
(5') a«—i = mp;
conforme el enunciado.
EJEMPLO, En la congruencia
se satisface la condición
15—1
8 » = 1 (mód. 13) ,
ó bien
8 * = I (mód. 13),
puesto que hemos visto (n." 307) que el gaussiano de 8 es 4;
luego la (8') es posible.
319. Sabemos (n.° 310) que el exponente de la (i') y el
gaussiano de toda congruencia binomia son divisores del módulo
disminuido en una unidad. Veamos ahora de que manera puede
reducirse toda congruencia ((') á otra, cuyo exponente divida
á p — I.
.Supongamos que, siendo 5 el máximo común divisor de n y
de p — 1, sea P un número, que satisfaga á la congruencia _
(9') n? = 5 ( m ó d . ( p - i ) ) .
Se tendrá (n." 309)
2 i § = 3 (mód. 30),
ó bien
7 ^ ^ I (mód. 10),
a'''-''^ = I (mód. *) ,
í / ^ a ^ ( m ó d . k) , •
9(9) = 6 ,
la (19') se rebajará al 2." grado, obteniéndose
(21') x * ^ — 2(mód. 9) ,
y lo mismo la (20') se rebajará al 2.°, obteniéndose
g 7—Raicen prlnUlTsa
321. En la congruencia
(I) X"^ I (mód. p) ,
donde el módulo p es un número primo, hemos demostrado
(n.°'316, 317) que existen n raices, las que llamaremos ratc^i
propias de la (i) de acuerdo con DOM EULOGIO JIMÉNEZ; pero
entre estas n raíces de la ( i ) hay 9(n) especíale?, que satisfacen
á la congruencia
T'^^''^= I (mód.p),
y que se denominan ralees primitivas de la congruencia (r)
(SERRET), aunque, hablando con propiedad, las raices primitivas
son las que satisfacen á la congruencia de EULER (n." 273)
6,7,11
serán las raices primitivas de 13, pues en las potencias (3) los
exponentes 5 , 7 , 11 de la raíz primitiva 2 son primos con p—i
= 13—1 = 12, como es fácil comprobarlo en las congruencias
6'*= I
7 " = ; i'(mód. 13).
i i " = i^
(5) ^ - ^ P 9 <*
286 TRATADO DB AMALISIS MATSMÁTIOO
a^(/'")^i(mód.p"),
(6) a'(*^'=i(mód.,^),
a^^'' y I (mód./),
etc.
Si llamamos M el mínimo común múltiplo de los números
(n.°9i)
9(p«) = ( p _ , ) p « - l ,
(7) <P(gP)"=(í-t)9^-^
^(rV) = ( r — I )r^~^,
etc.,
, y elevamos cada una de las congruencias (6) á la potencia indi-
cada por el (actor, que falta á cada exponente (7) de a para ser
igual al mínimo común múltiplo M, resulta claramente
<t*~i (mód, k) .
M.<9(/0;
lo que prueba (n.* 322) que el número a, que satisface á la con-
gruencia
o" ^ I (inód. k)
, ( / • • ) = 2 ^ - ^ .
(8) a = = ± i + 2^X/',
lo que siempre es admisible.
Elevando al cuadrado la (8), viene
a » = 1 + 2. 2\h-\-2* . 6 ' = i + 2'(/> + 26'),
ó bien
(9) a» = I -f- 2 ' . 6, ,
haciendo
2
cuyo valor sustituido en la última de las (10) da
a » = 1 + 2 6y_j ;
de donde (n." 244, 4.')
(12) a * == I ( m ó d . 2 ' ) ;
.r*('-^=^i(mód.p).
p— 1=2 q r s ,
;fP-i — 1 ^^ o (mód. p ) ,
X 'I = I
(17) J'-il ) (mód. i>),
. r *• ^ I
a; ' ^ I /'
I, 2, 3. ..... , ( / ) — ! )
hay la mitad, que son restos cuadráticos de jf), la q.*»*^<^ parte, que
son restos de potencias g, la r.^'""* parte, que son restos de po-
tencias r , , la «.<'»'»» parte, que son restos de potencias s.
En efecto, los números, que son á la vez restos de cuadrados,
de potencias q, etc., satisfacen á las congruencias (17); luego son
raíces (n.* 283) de
/)— I
y por tanto, su numero es
2qr
292 TRATADO DB ANÍLIBIB MATBHÁTICO
(18) 1 , 2 , 3 , 4, , (p— O
todos los restos de cuadrados, de potencias 9, de potencias r, ,
de. potencias s, se obtendrán en los números no suprimidos en la
(18) las raíces primitivas de p, ó que satisfacen á la congruencia
x'P(í'^ = i(mód.p).
de los restos
(22) 8,8,8,5,5,5,
que dan los cubos
8, 125, 216, 343,512, 1331
de los 6 números (21), y quedarán los números sin suprimir en
la (21)
2, 6, 7, II,
que son precisamente las raices primitivas de 13, ó que satis-
facen á la congruencia
^ W 3 ) ^ , (mód. (13),
es decir (n." 91),
,f'* =s I (mód. 13),
como es fácil comprobarlo.
Los restos potenciales (ao), (22), etc. de los números no su-
primidos se hallan con suma facilidad, multiplicando cada uno de
dichos números por su resto potencial d^ orden inmediato infe-
rior ya obtenido (n." 303). Así hallaremos, por ejemplo, los res-
tos cúbicos (22) de los números (21), multiplicando cada número
(21) por su resto cuadrático, es decir, que el 2 por su resto cua-
drático 4 obtenido en .las (20) da el resto cúbico 8; el 7 por su
resto cuadrático 10 obtenido en las (20) da su cúbico 5» y así su*
cesivamente.
330. Pero hay otro método más expedito para hallar una
de las raices primitivas de un módulo primo, el cual se debe á
GAUSS, pudiendo deducirse las demás por el procedimiento ya ex*
pilcado en el n.* 322. Vamos, pues, á determinar una rai{ pri'
mitiva de la congruencia de módulo primo p
x*^^ ^ i (raód.p)
294 TRATADO DB ANÁLISIS MATEMÁTICO
( -Y
Vrt » / ^ a* = 1 (mód. p),
ó bien
a-í—• ^ 1 (mód. ;*).
El número ^ asi obtenido será la ra/^ primitiva de p. Las
demás raices primitivas se determinan, como queda indicado
en el n.* 322.
EJEMPLO. Hallar la rai^ primitiva del número primo 73
por el método gaussiano.
Tanteemos los números de la serie
2, 3. 4, 5. 72 = 73 — I ,
comenzando por el 2.
El período (n.* 306) de los restos potenciales del 2 según
exponente 73 lo forman los 9 números
(25) 2» 4. 8, 16, 32, 64, 55, 37, I .
Es, pues, A- = 9 el gaussiano de 2 según módulo 7 j , es de-
cir, que 2 satisface á la congruencia
(26) íc»= I (mód. 73);
296 TRATADO DB ANÁLISIS MATBMÁTICO
1 (mód. 7 3 ) ,
(mód. 74);
9 1»
73 — 5 4 = 19
da (n.» 248)
( - 5 4 ) » " = i 9 * " ( m ó d . 73),
ó bien
54'"' = 19»" (mód. 73) .
2 5 « = i (mód. 73),
ó bien
(sT=S"=i(mód.73).
Es, pues, 5 rai¡( primitiva de 73, puesto que satisface á la
congruencia (n.** 321, 322)
/m p(p— 1) , , \
asp" = . i 4 - m , p ' ,
TBORÍAS FUNDAMBNTALBS 299
«'•'*'-" ^ I (mód.p^+^0,
y por consiguiente,
o = v —^
es el menor valor que puede tener o para que se satisfaga la con-
gruencia
. p'(p-i) _ _
(10') s I (mód. p^ ).
Luego
5 = 7— 1,
si es p = 1.
Cuando 5 = v — i, la (10') da (n.° 91)
("') «'^^'>^i(mód./),
siendo a raii^ primitiva de p^, y si 5 < v — i, pertenece a á
un exponente menor que ?(p^), no siendo, por consecuencia, «
raí^primitiva de p^ .
En su consecuencia, si «, según h {11'), es rai^ primitiva
TaOBÍAS FCMDAMRNTALBS 301
(12') a^(P'^^i(mód./»;
y como también es
a^íí'í^iímód.p).
es decir (n.° 91),
aP-» ^ I (mód. p),
resulta que (n.* 294)
aP-' = \-\-mp\
de donde
aP-V — I
= m:
aP~» — I
lo que 4)rueba que al ser divisible por p, lo seria m,
af'-i — I
lo cual no es posible; pero, si p no divide á — — — - , tampoco
dividirá á m, que es la condición, que han de satisfacer las (9'),
para que pueda deducirse la (ii'). Luego el principio enunciado
es evidente.
333. Á cada rai!{ primitiva según p corresponden
(p — I ) P^~* raices primitivas según módulo p^ .
En efecto, si a es una raíz primitiva de p tomada en el inter-
f valo (o, p — I ) , la fórmala de las raíces primitivas congruentes
con a será
!i = a-\-mp;
de donde, elevando á la potencia p — i , y restando i de los dos
miembros de la que resulta, viene
luego las (17') y (20') prueban (n." 307) que g' es múltiplo de g.
Por ser a impar, se tiene claramente
(21') »'' z^ I (mód. 2),
y pof tanto (n." 323), las (17') y (21') dan
r^ = I (mód. 4),
ó bien
.r* =E I (mód. 4),
(24') , - ''•^-+-''
«^'^.(mód.2^-^^+');
luego, si 2 es el gaussiano de a, se tendrá
^ _f_ 2 -I- 5 ^ y ,
1.3.5 .(2'-!)»
dos series compuestas cada una de 2 — i valores.
Deducimos de aquí, de acuerdo con MR. SERRET, que
Si 5 representa uno.de los números
2,3,4. ,(v — 2 ) ,
existen 2 ' números, que pertenecen al exponente 2 según
módulo 2".
306 TR&TADO DB ANÁLISIS HATEHÁTIOO
ó bien
p+ 2= V - ,,
^ •' á; * = .r ^ I (mod. 2 )
x^ ^ i (mód, 2^),
da los números (26') ó las raices del módulo 2" = 2', las cuales
son evidentemente
2»-< — 1 = 3 ; 2»-' - j - I = 5 ; 2» — 1 = 7 .
EJEMPLO. Sea V = 5. Se tendrá (n," 92)
2
TaORfAS FUNDAHBMTALBS 307
o, I, 2, 3, , ^{p)— I .
El conjunto de los índices de una misma base con sus correla-
tivos números, según un módulo dado, constituye un sistema de
índices, que goza de propiedades análogas á las de los sistemas
de logaritmos; pero dicho sistema difiere de los logarítmicos por
ser su base siempre una rai'f primitiva de un número esencial-
mente primo.
Si la base a está determinada, para expresar que un número a
es congruente con la potencia n de a, se emplea la notación
Ind. a = n .
a
33$, Los índices de -)- i y — i son constantes, cualquiera
que sea la base; puesto que, cualquiera que ella sea, siempre se
verificará la congruencia de FERMAT
(3) a''~' ^ I (mód. p);
y poniendo en lugar de i su igual a", viene
«p-1 _ , = (a » — 1) (a » + 1) s o (mód. p ) ;
TnoutAS PUNDAMBNTALBS 309
pero por ser p — i el gaussiano de a, no puede verificarse
(n.» 322)
a * — I =5 o (mód. p) ;
luego habrá do ser
a ^ -f I sís o (mód, p) ,
ó bien
til
a * ^ — r (mód. p),
y por tanto, por definición
p— -í _
Ind. (— I) =
2
wj = m (mód. ?(/J)) ,
m (mód. if (;i)) ;
n= —
Ind. Va
";_
^ Ind. a (mód. 9(p))
n
342. Se ve, pues, que, si se tienen tablas de índices con sus
números correspondientes, pueden hacerse de la teoría de los
índices análogas aplicaciones que con la teoría de los logaritmos.
Si tomamos por base de un sistema de índices la raíz primi-
tiva 2 según módulo 13, se tendrán las TABLAS siguientes:
a I 2 3 4 S 6 7 8 9 10 II 12
I."
Ind. a 0 I 4 2 9 5 ri 3 8 10 7 6
Ind. a 0 I 2 3 4 5 6 7 8 9 10 II
I 2 4 8 3 6 12 11 9 5 10 7
2 X Ind. x ^ I (mód. 3 ) ,
Ind. x ^ 2 (mód. 3 ) ,
311 TRATADO DB ANAMSIS MATBMATICO
CAPÍTULO Vil
»/=..en d, //=cos .<•, //=tg .<•, ¿/=cot ./•, ?/=^sec ./•, í/=cosec x .
MN
sen (I) OM
Luego el seno de un arco ó de su ángulo, tomando el
radio del arco correspondiente como unidad (n." 123), es
TEORÍAS FUNDAMHNTALES 317
— I y -(- I > y que en cada período pasa dos veces por el mismo
valor, y una sola vez por el valor máximo -f-1 > y e' mínimo — i.
351. La fig. 8 da asimismo
OP _ ^ ^
de donde
ON
(2) eos (J) =
OM
(O sen lü =
r
X
(4) eos <ú =
r
TEORÍAS FUNDAMENTALES 319
(8) JL=i£L_r,
X e o s O)
X eos 0)
(")
sen 0)
(12) COt (O = .
y
sen! 1- ü ) j = cos(—tü),
t g ( - ^ + ü)j= cot(-ü)),
326 TRATADO OB ANÁLISIS MATBMÁTIOO
cot í 1- tú I = — tg ti),
sen ( „ _ ü ) ) = = s e n í - ^ + ( ^ ü))j== c o s ( - ^ - ü ) ) ;
luego
sen (TC — «fl) = sen w .
Por análoga razón
eos (it — (ü) = — eos w ,
tg (« — (ú) = — tg (1) ,
T E O K I A S PUNDAMENTALB8 327
de la misma manera
sen (r + w) = — sen (j) ,
eos (s -f- **) = — eos ti) ,
tg (^ 4 - «") = ^g «^ '
. cot (ií - h w) = 1 _ COt (1) ,
sec (15 -{- tj)) == — sec ti) ,
cosec {n -{- <¡>) = — cosec u) ,
sen I 1- ü) j = — eos e» ,
cosí \- t o J = sentó ,
tg ^ — ^ - { - ( D J = — cot to ,
eos B O)M
M == CCS í( (I) IV= sen (O ,
I
por ser sec x = '\y\..« 389) .
eos X
sen X = eos I x \ ;
tg 1 X =
sen
(f--^)
\ 2 ' / TC \
c o s ( ^ — - xj
luego (n •" 349, 357)
eos X
(33)
sen ,p
3912. Las relaciones
<6')
I + tg' as
I
<7') coi' X
i-htg»a,-
Asimismo al elevar la (3') d cuadrado, resulta
i 1
I
sen X
ó bien
COt' X eos* X
I + coi' X sen' X -\- t o s ' x
I + COt^ X cos^ a? -}- sen' x
I sen*' 05
•de donde, como anteriormente,
col' '
(8') eos'' X
I - ) - coi' X
I
<9')
I - | - COt' X
:'3')
sec' X
+ cosec' fic
• = X
a = ikr. ± AM ,
siendo el coseno de a el mismo que el de AM. Por consiguiente,
viene
(270 sen (o -j- í») = sen a cosb-\- eos a sen b ,
y al reemplazar 6 por — 6, resulta
(28') sen (a — 6) = sen a eos 6 — eos a sen b .
396. Dividiendo la (27') por la (24'), se obtiene evidente-
mente (n." 390)
sen g eosfc-|- '^°^ ^ ^^" ^
ig ('t + '') == eos acosb — sea a s e ñ T '
y dividiendo los dos términos del 2> miembro por eos a eos b,
viene
346 TRATADO DH ANÁLISIS MATEHÁTIGO
, , , I ,V te a + tg 6
I + tg a tg fe
al poner —feen vez de fe.
Si dividimos la (24') por la (27'), y por sen a sen h los dos tér-
minos del 2." miembro de la que resulta, se obtiene (n." 391)
, ,^ cot a cot fe — I
cot (« 4 - ") =
cot o 4- cot fe
de donde también
I -t- cot o cot fe
cot (a —fe)^
cotfe— cot a
/ ,x 2 tg a
I
2tg A
. 2
tg A =
I —tg'— A
2
399. Sumando y restando las (27') y (28'), así como las (24')
y (25'), se obtiene
A + B
y llamando o -|- 6 = A, a — 6 = B, lo que da a =
2
A - B
y f) = j resulta
A L D A + B A - B
sen A -|- sen B = 2 sen 2 eos 2
A+ B A —B
sen A — sen B == 2 eos sen ,
(30
» . ^ A+ B A —B
eos A -4- eos B = 2 eos eos ,
2 fi
A-fB A - B
eos A — eos B = ; — 2 sen sen —
tg — ( A + B)
sen A + sen B ^ 2^ • '
(j? ) ' ==•
sen A — sen B i ,. «v
348 T R A T A D O D B AiiALisrs M A T B H Á T I U O
/' sen B
(4")
c sen C
402. De este principio se deducen las consecuencias si-
guientes: -
I." En todo triángulo se verifica que
a' = fc' -|- c* — 2I1C eos A .
de donde
... b _ , eos A sen C
(9 ) —
a = eos C + sen A
La {6') da
c sen A
(Io') sen C =
a
tg-^(A + B)
(16-)
a 7^h tg—(A-B)
3.' Si A = 90°, la ( I O da
(17") a^ = /.« + , \
CAPÍTULO VIII
Expresiones Ini«cinarl««
S 1. Moeioaes («aérale*
(0 a=^\Jh.
ó bien
(2) a*" = A ;
pero, llamando
(3) ., x=^y—A
la magnitud, cualquiera que ella sea, que elevada á la potencia
zn produzca la cantidad sub-radical — A, de acuerdo <on la de-
finición de la raíz zn.***** de cualquiera cantidad, viene también
(4) ar»" = - A ;
(5) ar = o.v,
TaORtAa rUMDAMBNTAI'BB 353
de que se saca
««_
(7) V ^ = VXxV-i,
conforme el enunciado
404. Pero evidentemente es
ó haciendo V ^ = P »
,. _ yzTT; x T - - - V ^ ^ ' = ^ V - • ;
luego, poniendo sobre una recta indefinida X,X (fig. H)^ » P^^-
^ ' ^ tirdeO, enelsentidopoíi-
Zi-w X.X la longitud
y en el sentido negativo la
longitud
• -2:7 -^z ^ *^ OA, = - b,
(10) a 4- b V _ I ,
que lácilmente puede interpretarse por consideraciones geomé-
tricas; puesto que la
íg (10) puede significar
que á la magnftud
OA = a (fig. 15)
debe añadirse la ine-
. ' \ci)
dia geométrica b V—J
Ú-- ^
^ -=AB entre AC=-f/<
y AD^ — — 6 con
su sentido cualitativo
% de perpendiculañdad,
La quebrada OAB
así obtenida puede, pues, representar, sin objeción razonable, h
imaginaria (10), pudiendo decirse, si sólo se trata de fijar en un
plano la posición de un punto B por medio de las magnitudes
ay b V— I , á partir del panto O en el sentido positivo X,X ,
que hay equivalencia entre la quebrada OAB, y la distancia OB
en su dirección AOB.
. 408. Y como por el teorema de PITAGORAS se tiene en valor
numérico en el triángulo rectángulo BOA (fig. 15).
OA' + AB*: OB
ó bien
resulta que
OB == Vn» + b*
será en la acepción tradicional (n." 352) el módulo de h comple/u
(Io), que no es más que en valor absoluto la distancia de O á B.
Pero, llamando w el ángulo AOB, viene (n." 356)
AB
tg ü ) ,
OA
ó bien
b
--=tgü);
a
lo que xlemuestra que la parte real fl y el coeficiente // de V— i
de \a. compleja (10) determinan perfectamente'el ángulo w, que
define la dirección del módulo OB, al ser ü)<27t. El ángulo w es
el argumento (n." 352) de la imaginaria (10).
Luego podemos legítimamente concluir que, según el trián-
gulo rectángulo OAB, es (n.* 353)
. a = V*' + b^ eos (O ,
b = Va' -f- b' sen w ,
que se nombra (n." 352) con frecuencia radio vector; pero que
nosotros llamaremos, de acuerdo con el ilustrado catedrático
DON • ATANASÍO LASALA Y MARTÍNEZ (•), imaginaria en su forma
módulc-argumental, y bajo cuya forma estudiaremos las imagina-
rias en § aparte. >
ó bien
AD == 12 eos 60° ,
y la imaginaria
CD = 2 V ^ . V~i
se obtiene con las condiciones impuestas por un procedimiento,
cuya explicación pertenece á la Geometría analitiea moderna (*).
El lado imaginario ADC en el triángula imaginario ADCB
resuelve el problema propuesto^ que no tiene solución en el con-
cepto tradicional; porque el lado BC == 10 es menor que, la perr
pendicular BD, como es fácil comprobarlo por la fórmula
BD = 12 sen 60".
a
de las cantidades reales.
415. Esto podemos verlo también por medio de la forma
trigonométrica (14) de la (10); porque es evidente que para cual-
quier valor del módulo r, se tiene sucesivamente
r^cOs-^-fV^^sen ^ j - r X - V ^ »
ó bien
« = r X 4- ' »
& = rX + I,
a = r X —I,
&==r X — i t
362 TRATADO DB ANALISIS MATBNÁTICO
a -|- oV— í = «; •
suponer o) == —
es hacer girar la OB — r un ángulo recto, ó hacer coincidir la
OB con OC = /; V— i , en que OA — a se anula, ó se hace
o -= o ; de donde la (16) se reduce á
— rt -|- o V— I = — a ;
a = r eos (I),
b = r sen tu,
ó bien
— a = — r eos w ,
— b = — r sen tó ;
luego (n.» 408, (13))
es decir, "^
a = r sen (1),
6 == r eos ü> ,
ó bien
a ss= r seo <o ,
— 6 -=> — r eos 40;
TBORÍAS FÜNDAMBNTALBS 366
a — I) V— 1 = r (sen m — V — 1 eos w)
y sustituyendo los valores (22) de sema y — eos «o, viene
(23) a — 6 V ~ l = r ( c o s ( - ^ 4 - ( o ) + V ^ s e n ( ^ ^ + w ) V
crfs 9 + V— 1 sen 6
a ± ¿ V"^^ = o ,
resulta
a = H= ¿> V ^ - ^ ;
la cual no puede subsistir sino al ser simultáneamente 0 = 0,
í> = o. Luego
5.° Si una compleja a ± fe V — 1 es igual á cero, su módulo
\ / " í i H ^ * también lo es.
6." Si el módulo de una compleja a ± b \l ~l es igual á
cero, esta compleja también lo es; porque de la hipótesis
se deduce
a' 4- 6« = o ;
la cual nb puede subsistir sino al ser simultáneamente a = o,
// = o, y por consiguiente, ha d? tenerse
a ±h V ^ ^ == o .
se saca
a — a, = (/>, — h) y/^^;
están moduladas al tomar las respectivas formas, que les son idén-
ticas,
m «•
(25) ' a X ± I, V A - V — i . I" (eos « -f- V " ^ sen » ) .
m
En las (25) los módulos son a, V A , r, y los coeficientes afecti-
I )(j; — 2 ) = 5 0 ,
( • X /
•ó bien
X^ — 20X-\- 136 = 0;
de donde
<26) a; = 10 ± 6 V— I •
Será, pues,
68 34
10 ± 6 V— I 5 ± 3 V—I
(yrrr -+,,
( a + p y r i ) ( a . + p . y l Z l ) = ( a « , - p p , ) + (ap,+«,p) y^CT^
es evidentemente
a 4. p V ^ I I
«' + P' a-pV^=^
3." La división de una cantidad por una compleja puede re-
ducirse á multiplicar la cantidad por la conjugada de la compleja,
dividiendo el producto por la norma de dicha compleja; pues
(9) as ± y = Y 2a4-2 V á * + ^ ± y — 2 a + 2 V a H ^ . V ^ i
(10) X áz y = 2 y a ± 6 V— • ;
Y a-f-fcV~ = — y 2a-4-2V«*+'>'
+ — y—2a+2Va«+//» . V ^ ,
y a — ftvdT=—^2/1 + 2 Vfl'+**
— — \/—2a-f2V«* + ¿'* . V ^ ,
es decir,
(,2) yv^+yzv==T=a.,
X* = 2 ,
y» = — 2 ;
de donde
y sumando,
X-{-!, = VT-f VT. V~ ;
pero las ( 1 2 ) y (13) dan
<» + y = 2Y V ^ ;
luego
2 \/v~i=V^H- VT. V - í . .
es decir,
yyr;=.-i_vT+J-VT.v^
Ó bien
, / m . m(m—i) (m—2) ,, , \ ,
+ I-—a^-ift í^ y U""-^ h'-\ jV— I
w(m—I) . . . . m(in—i)(m—2) (m—3) . , \
(
2! 4! /
• I m ' , m(jn — \) (m—2) , .^ . \ , ^,—-
+ l-Y-a"'-' ^= Y ^a"-»^^^- IftV- «
= A + B¿/V^ ;
pero los valores A y B de los paréntesis del 3."'' miembro de la
(14) conservan sus signos para cualquier valor positivo ó negativo
de b; luego al poner en los miembros extremos de la (14) — beti
en lugar de b, se tendrá evidentemente
(o_fcy'i~r)'"=A—BfrV^rr, .
SlmwnlM 4* ku Utria» coordinaioria y it la» (lcl«rm<(i<mln, Primera parU, ca-
pilnlo III. g t. (EdicMn tercera.)
TBORÍAS FONDAMBMTALES 379
( a + b\/^^T = A + C V^^^.
^(a _ j - t V - ^ ) = P + Q V ^ ^ '
f(a — ¿ V ^ ^ ) = P - Q V ^ ^ -
434. Si se tienen las dos imaginarias
(15) r(cos (1) -f- V— I sen (a) , ri(cos u, -|- y/— i sen w,) ,
(,8) A+BV^ = V A ^ ( v = i + ^ V ^ ) ;
luego, llamando R el módulo VA* + B' y <p el argumento, viene
(n.» 410)
(19) R =:\/(r CCS ti)±r, eos «,)' + (''sen «fl ± r, sen <"i)'
= V r ' ± 2rr, eos («» — w,) + r] ;
r (eos M + V ^ s e n u ) ) r . ^ i A/—r 7 A
(23) — ——r: = —(cos(to-ü),)-{-V-lsen(w-(ú,));
r,(cos,ti)-f V—Isenw,) fi
*
porque al multiplicar el 2." miembro de la (23) por el divisor
r, (eos (I), -\- V— í sen w,) por la regla del 11.*' 436 anterior, se
obtiene el dividendo r (eos w -f- V— 1 sen w).
La (23) prueba que
1,° El cociente de dos imaginarias, puestas bajo la for-
ma trigonométrica, es otra imaginaria de la misma forma,
cuyo módulo es el cociente de los módulos de las propues-
382 TBATADO DK ANÁLISIS MATBMATIOO
pero para que las imaginarias de los dos miembros de la (24) sean
iguales, precisa y basta que sus módulos^ lo sean, y también
sus argumentos sean iguales, ó sólo difieran entre sí en un número
«xacto de circunferencias-(lü" 413); luego
p" = r y ma =s w -|- 2kv:;
de donde
w + 2kK
m
y por consecuencia,
m
(25) y r (eos w-j-V—í sen tü)
m
/ (I) -f-2AJI , ,— to + sAnX
r (eos ! hV-lsen - ^ );
\ m m /
la cual prueba que
I.» La rai^ m.*""» de una imaginaria en su forma
trigonométrica es otra imaginaria de la misma forma,
cuyo módulo es la m.**'"* rai)( del módulo de la imagina-
ria propuesta, y el argumento es el cociente de dividir por
el índice radical el valor general (n.° 413) del argumento
de dicha imaginaria; de donde
384 TBATADO DB ANÁLISIS MATBMÁTICO
A = m, m -f- I, rn + 2, etc., í
J
resultan los argumentos
ü) + 2W7C ü)
m m+ 27:,
m m ín
ü) -(- 2(m + 2)7t
= h 27:,
m m m
etc.,
que sólo difieren de los (26) en un número exacto de circunferen-
cias, y que producirán los mismos valores para los cosenos y los
senos obtenidos ya en el 2." miembro déla (25) por los argumen-
tos (26), y por tanto, para el r.*' miembro de la misma (25). Se
hallarán, pues, peri.Sdica é indefinidamente los mismos valores
para el 2 ° miembro de la (25), dándose á k los valores compren-
didos entre o y -f- °°-
Y como lo propio sucede, aunque en un orden invertido, si
hacemos sucesivamente
/'• = — I. — 2, — 3, , — =» ,
(O a+ M - y a, -f A, \ ' — I
cuyas representaciones en su forma módulo-argumental
(n - 407, 411) sean (OA)„ , (OR)„^ (fig. 18).
Recordemos que para corre-
lacionar el punto A, denominado
punto imaginario, y la com-
pleja a + /' \ — I hemos ad-
mitido (n." 407) que la suma de
OC = a y CA ==/< \ ' ^ 7 re-
presente á dicha co/Jí^/e/a; luego,
- si la referimos á un sistema coor-
denado (n." 21) de ejes rectan-
gulares X, X, Y, Y situados en
el plano de la compleja, y cuyo origen sea el O de las imagi-
narias ( I ) , la proyección OC = a del módulo O A = r sobre el
eje de abscisas OX será la abscisa del punto imaginario A,
y la proyección OD = l> del mismo módulo OA == r sobre el
eje de ordenadas OY será la ordenada de dicho punto imagi-
nario A, y por consiguiente, podemos decir, según esto, que
toda compleja es la suma de la abscisa y de la ordenada con
coeficiente V — 1 de' punto, que ella determina.
' Porconsecuencia.construiremcis spbre las imaginarias (OA)^, ,
(OB)j^ , que representan las (i), el paralelogramo OARB, y por
el conocido teorema de las proyecciones (n." 385), se tendrá
que la suma de las proyecciones de OA y AR = OB sobre los
respectivos ejes coordenados será igual á la proyección de la re-
sultante OR; luego, si la proyección de OR sobre X, X es igual
á a -|- a,, y sobre Y, Y es igual á /» -f" ^i> '* OR que representa
la compleja
(2) (« + «.) + (i* + b,) V"=^
será la suma de las imaginarias (i).
388 TRATADO DE ANALISIS MATBMATICO
- ¿ - ^ = tg ROX = tgqp
OR = V I M - «.)' -fWTf^' = p
el módulo OR = p de la misira compleja.
Se tendrá (n." 434)
> OA — OB.
TKORtAS FCNDAMBNTALBS 339
"^OET OC '
y por tanto, sin género de
duda,
OC = O A X O B .
Ou= I OA, = QA
OA OC
a92 TRATADO DH ANAUSIS MATBHÁTICO
y por tanto,
OC = 67^ .
Luego, haciendo girar !a O C un ángulo negativo igual á A O X = Ü ) ,
la O C coincidirá con OX, ó el argumento del producto, suma
de los argumentos o) y — w de los factores, se anulará, es
decir, que
(oc)„ = (ÓÁ' )O
(4) a + /' V— I •
Para ello, hallemos (n.° 407) la representación (OA,)jjj
(ñg. 21) de la imaginaria (4), que designaremos por r^ , y pon-
gamos la unidad lineal positiva
desde O hasta A sobre el eje
^, X^X. Resultará así el triángu-
/Ty. 2i Jo OAA,, que tendrá el lado
OA = I, siendo O A , = r el
módulo de la (4) y ü)=áng. A, O A
su argumento.
Construyendo sobre OA, el
J?;-^ ~^ triángulo OA,A, semejante al
OAA,, cuyos lados homólogos
sean OA y OA,, OA, y 0 A „
AA, y A, A,, y haciendo lo mismo sobre las lados, que vayan
resultando OAj , OA3 , OA, , etc., se tendrá claramente
0A = OA. OA, ^ 3
de donde
OA.^OA.* = (rcoy.
OA„. = OA,'"=(r^y
394 TRATADO DB ANÁLISIS MATEMÁTICO
m ' m m m m m
/ , r , r ,r , , r
' o ' l 2 « ' '4ir ' ' ' * ' ' ' '"
f , I , 1 , , I
TBORIAS FUNDAMENTALES 397
<( -|- Tt
y (n." 437)
A^ : B^^ = (A : B)^_„, .
V^
de la raíz cuadrada de \ — i "
Por ser — ^ = ' 7 1 ("•" 4^o)> resulta (n." 440)
I I
eos = sen —-=z-~^ = — \/ ^
4 4 V 2 2 ^ '
I alíeos }-V—I s e n — I ;
JL \ 4 4 /
luego
1 í
< 4
resulta que
' 5.
se tiene
5n
sen — = — sen 45 ,
4
-Vv^ = - - v ~ - - v ~ • v=^.
V 2 2
465. Con suma facilidad se concibe la manera de pasar de
la forma binomia ó compleja á l a / o r m a módulo-argumen-
tal, y al contrario, de ésta á h forma compleja, con sólo tener
presente lo expuesto en el n.° 408. Asi, si se tiene la forma com-
pleja
(3) --VT4--V^,
2 2
V(-TVTy+(f) = 1
eos ü) =
I
I
2 i_
sen ü) I 2 )
T 1 VT
tg w == ; = ^^^ = ;—;
-LvT VJ 3
2
luego
TBORÍAB FUNDAMENTALES 401
Se tendrá, pues, '<•>;: % • > • %
V3 + - V - I •-•y
•:n ^
para la forma módulo-qrgumerUal de la compleja (3).
Y recíprocamente, al tenerse la forma módulo-argumental
6 = I sen
6
pero
eos — = — eos 30° =
6 2
511 I
sen - - = sen 30° = —
6 2
luego
CAPÍTULO IX
De»e«mp«sielón de u n a fr»eeióB • I s é b r i c a raeion»!
en fKMcelOBea s l a p l e *
(O
¿6
402 TRATADO OB AKALISIS UATBUÁTICO
X= a - p V ^ ,
que también anule á /(a), anticiparemos aquí desde luego que,
no sólo son posibles las descomposiciones (2) y (3), sino asimis-
mo la siguiente:
(5) /•(x) = ((.T-«)-^^p-0'".
Esto admitido, distinguiremos dos casos en la descomposición
de h fracción racional (i) en fracciones simples: i.' que los
valores de o, i>, c, , /, reales ó imaginarios, de x que anu-
len á f{x) sean todos desiguales entre si, y a . " que no sean todos
desiguales.
468. PRIMER CASO. Efectuada en la (i) la descomposición
F(x)
del denominador f{x) bajo la forma (2), es claro que —j:,—r po-
drá descomponerse de la manera siguiente:
(8) A- ^^^")
A= P—QV-1
B=P+QV^,
donde P y Q son funciones reales y racionales de a y ^; luego
las fracciones simples correspondientes serán
A B
X— a X — h
(12) j^~~=.A,
(x - a)° •
Aplicando este teorema á la última fracción del 2,» miem-
bro de la (14), y lo mismo á las análogas, que vayan resultando
sucesivamente hasta llegar á una última, cuyo denominador no
contenga ya el factor x — a, se tendrá, en definitiva, la descom-
posición
/n_(f) _ /•n(.T)_
^ ' ' - /,(.,•) (.,-/,)/' "^ ( . , - / , y - ' "+" '"^ ,-b "^ /,(r) •
(•-r-(=c-pv'~))";
luego f{x) será divisible por
en que f,ÍT), cociente de dividir á f(a;) por ((j — a)' -)- .'i')", es
una función real entera de x.
• Haciendo (n.° 469)
dará (n.' 424, 8.°) al igualar las partes reales y los coeficientes
deV^
Ma + N = P y Mp = Q,
las cuales siempre determinarán valores reales y ñnitos para
MyN.
Puesta la (20) bajo la forma
tu-)
¥{fí) =, Al\{a);
de donde .
. ~ fM '
en que queda determinado el valor de A.
412 TRATADO DB ANÁLISIS MATBMXTICO
/•'(•y 6 3 \
Sustituyendo en la (25) los valores obtenidos por las {26)
para A, B, C, resulta
^{^ _ 2^*-3-^g+9 _ 23 _ _7 , 1
f{x) ~ a;'4-2<—X—2 "~ 3(,7;-j-2) a + i 30''"-')'
en sus simples.
Se tiene evidentemente
(27) /(>•) = X- — 2.r' + v - - ./• (x — I y- U- -h 1)';
luego, haciendo (n."» 471, 472)
414 TRATADO DB ANALIBIS MATBMÁTIOO
B= I.
, ^ 8 C —4C, = - — . 8 — 4C, ;
2
TaORfAS FUNDAIiBNTALBa 415
de donde
4 •
Sustituyendo en la (28) los valores obtenidos para A, B ,
13,, C, C,, resulta
F(.7) .'•' — 1
i{x) ,r* - 2..' + 8.'>* — 1 ^.r -h 8
en sus simples.
Se tiene evidentemente
j^*—aa^-{-2
— 9 = 100 A ,
de donde
9
A= —
100
(,+VZ:Ty ^ (M+K-^-MV=T) ( i + V ^ ) ,
y efectuando operaciones é igualando en la que resulta las partes
reales y los coeficientes deV—i , se obtiene (n.* 423, 8.")
— 3 == 2M -|- 3N ,
2 = 4M 4 - "N,;
de donde
I 2 ti —S
* 2 3j —10 10
4 i
2 -3
4 21 ' 16 8
:'l -10
)
.--2.+2== ((.C-(I+V=^)) ( x - ( l - V = l ) ) ,
se obtiene al simplificar
TBORÍAS FDNDAHBMTALBS 417
6V-~i =4M+N—8M,—2N,4-(2M+4M,-1-6N,)V^ ;
luego (n." 423, 8.') >,''^^^C^
4M + N — 8M, — 2N, = o , '• "^ ;
2M -f4M, + 6N, = 6 , .. ' ,^^|
9 8 • . • . *«' .,!'/
y sustituyendo los valores y de M y N, se tiene df*- . --*'
10 5
pues de simplificar
4 M.+ N,= I ,
20M, -f 30N, = 21 ;
de donde
I i
9
M.=
4 11 100
20 30 í
4 " I
20 21 I 64 16
N,
4 II 100 25
20 30 I
F(x) a'— I • 9
j\j:) x'—2a-*+8£r'—i2,T-|-8 100 (3;+2)
I
io(a'*—2x-\-2y 100(3*—23;+2)
que es la descomposición pedida,
418 TRATADO DB ANALIBIS MATBMÁTICO
CAPITULO X
Principio de 91 onr(ne: su aplicación * dos caaos
importantes
(O "o 1 A, , A2 , A, , , An ,
Ó bien
n - = 2, 3, 4, 5, ,
(!') A, = A-A,-A.,,
(2') A3 = A - A , - - A , ,
iV) A,==AA,-A, , .
(4') A, = AA,-A,,
etc.,
i.° Todos los términos de los 2.** miembros de las (9), al-
ternativamente positivos y negativos, son con relación á k de
grado par ó de grado impar.
2." Los coeficientes en columnas de las potencias de /.-, á
partir defe*=?= i, son en valor numérico las filas del triángulo
de PASCAL, y uno cualquiera es igual en valor numérico al situado
encima, más el inmediato superior á éste colocado á si) izquierda
en la serie de las relaciones (9).
3 .** Cada coeficiente de k es igual asimismo á la suma de los
coeficientes de la columna anterior á la que contiene el coeficiente
considerado, á contar desde i hasta el de la fila en dos lugares
antes de la fila, que corresponde al coeficiente propuesto.
Para demostrar la generalidad de los dos primeros corolarios
del principio de MotWGUE por el método de inducción de BER-
MOULLi, supongamos que, según la ley de formación de los coefi-
cientes P„ Pi, Pj, etc., resulte
P—» = k"-* - a„_8 A-"-* + h„_, k"-* - c,._i k"-^ + ,
^ ' ° ^ P , ^ , = fc»-' — o„_, /.•"-» 4- b„.¡ k"^ - Cn-x A-'-' 4 -
Según las (5), se tiene
(11) P„ = AP,^, — P , _ , ,
''„ — •
'•„- -• + /'„-- i 1
etc. ,
y asi sucesivamente, subsistiendo la última de las (14), porque,
según las (9), es a, == o.
Luego, sumando ordenadamente las respectivas igualdades
422 TRATADO DB ANÁUSIS MATBMÍTIGO
(14), las (15), las (16), etc., y simplificando los términos comu-
nes á ios miembros de las que resultan, viene
o „ = I + 1 4- 1 + I + ,•
(17) /',. == «;,-í 4 - f'n—•! + C"-i +
etc.;
las cuales evidencian el corolario tercero.
481. Hallemos, pues, el valor del término generaf An de la
serie (i). Determinemos, para ello, ante todas cosas, los valores
de P„_2 y P„_i.
En las (14) hay clar^^mente n — i igualdades, como lo indi-
can los sub-indices de a en los 1.°' miembros, y por tanto, el
2." miembro de la primera de las (17) es igual á n — i = — — ,
es decir, <jue
, n—I
(20) c„_,=//„_3-j-/A,_,-f/>„_,,-) =
(«—4) (w—5) ( « - 6 )
3!
ro,^ ^ (^_5)(„_6)(n-7)(n-8)
(21) rf„_i = - —
4!
etc.
Llamando N,, Nj, N3, etc. ios valores (18), (19), (20). (21),
etc., y sustituyéndolos en los coeficientes de la segunda de las
(10), resulta
in-3)
a„_a = : <
(n — 4 ) ( n ~ 5)
bn-3 =
2!
(23) („ _ 5) (n _ 6) (.1. - 7)
C„_2 --^ ,
3!
(n _ 6) (n - 7) (n - 8) (/i - 9)
4!
etc.;
• „ . 2M, 3M, 4M,
luego, llamando respectivamente , —-—. —z-—, etc. los
Mi M| M,
n
valores (23), en que M,N= — , y sustituyéndolos en la primera
de las (10), viene
An = "n -1 A, Fn—j A,
los coeficientes de A, y A, por los valores (22) y (24), resulta,
finalmente,
(25) A„ = (A-"-' — N,A"-» -f tij;"-- - N / " - ' + ) A,
y restémoslas. Se tendrá
sen 7i6
(29) ^ = (2 eos e)"-' — N, (2 eos e)"-* -j- N, (2 eos e)"-^
sen 8
— N, (2 eos •)"-' 4-
la cual es evidente para cualquier valor entero y positivo de n.
También si sumamos las relaciones conocidas (n." 39^, 24',
394. 25')
eos (9 -|- 9) == eos 9 eos 9 — sen 9 sen <p ,
eos (9 — f) = eos 9 eos I? 4- sen 9 sen «f ,
se tiene
eos (9 -|- 9) 4 - eos (9 — T ) = 2 eos 9 eos 9 ;
de donde
(30) eos (9 + T ) = 2 eos 9 eos <p — eos (9 — 9 ) ,
y haciendo 9 = (n — i) 9 = n9 — 9 en la (30), viene
FIN .
TRATADO DE ANÁLISIS MATEMÁTICO
Introducción 3
CAPITULO I
CAPITULO 11
CAPITULO III
§ I. Nociones preliminares , 91
> 2. Reducidas de las fracciones contiuuab: sus piupieuadcs roas im-
portantes: continuante i(x>
» ). Fracciones intercalares. Inversión de fracciones continuas limi-
tadas: fracciones continuas simétricas. . , . ° 125
CAPÍTULO IV
CAPITULO V
CAPÍTULO VI
CAPITOU) Vil
CAPÍTULO VIH
Expregiones imaginarias
CAPÍTULO IX
CAPITOLO X
Hlemenliiíi de Matemáticas
lieometriu analítica de dos y tres dimensiones.
Teoría de las delerminanles.
Elementos de las teorías coordinatoria // de Ia^determinantes.
Tralailo de Análisis matemático ¡Algebra superior/.
Miscelánea.—Uu tomü.
Colección de Memorias, discursos // diversas composiciones.—
Dos tomos
La mujer y su educación literaria. ^
Las cuatro edades de la vida (poema).
Influjo del Orador en la moralidad y civilización de los pue-
blos, y cualidades que requiere
Dos juguetes iterarios: La Virijen del bosque y Carlos.
Catalina, Novela cubana ,
Consideraciones subre la educación escolar (folleto).
Discurso inau'/ural leído ea la apertura del curso académico
de iSTi á 73 del ln0tuto de Huesca.