Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoría de Números - I. Niven, H. Zuckerman (Limusa, 2a Edición)
Teoría de Números - I. Niven, H. Zuckerman (Limusa, 2a Edición)
2 dado que el
caso p =2 no presenta dificultades. Entonces p es impar y 4af(x)
= (2ax +b)? + 4ac — b%, De aqui que u es una solucién de f(x) =0
(mod p) si y solamente si 2au + b==v (mod p), donde v es una solu-
cién de v?=b? — 4ac (mod p). Ademés, supuesto que (2a, p) = 1,
para cada solucién v existe uno, y solamente un; u médulo p tal que
2au + b==v (mod p). Evidentemente, diferente » médulo p propor-
ciona diferente u médulo p. De modo que el problema de resolver la
congruencia de grado dos se reduce a Ja de resolver una congruencia
de la forma x? =a (mod p).
En el capitulo 3 se considerar4 con todo detalle la congruencia x? =a
(mod p). Por el momento simplemente obtendremos algunos resultados
generales referentes a la congruencia més general x"==a (mod p) y
ciertos conceptos relacionados con el tema.congruencias de grado dos, médulo primo 57
Problema
1. Reducir las siguientes congruencias a la forma
a) 4x? 4 2x 1==O0(mod 5); c) 2x2 4 7x — 1
b) 8x? x4 5=20(mod 7); d) eH xe
a (mod p):
(mod 11);
(mod 13).
2.9, Residuos de potencias
Definicién 2.6 Si .x"==a (mod p) tiene una solucién, entonces a
recibe el nombre de n-ésimo residuo de potencia médulo p.
Definicién 2.7 Sea m un entero positivo y a cualquier entero tal
que (a, m) = 1. Seah el menor entero positivo tal que a*=1 (mod
m). Se dice que a pertenece al exponente h médulo m.
Puesto que, por el teorema de Euler, a®™ = 1 (mod m), se ve que
todo a relativamente primo para m, pertenece al algin exponente h S
$(m) médulo m. Dividiendo $(m) entre h se obtiene ¢(m) = qh +7,
OSr 1. Supuesto que m es impar
se tiene 3m nlog2
5 -#Qn) Bay
donde debe suponerse que, en la primera igualdad, n> 1.
Para todo real x = 2, supéngase que 2n es el mayor entero par que
no excede a x. Entonces se tiene x 2 2n,n 2 1, 2n > x y, de donde,
= _nlog2 — nlog2_ (2n +2) log2 _ log2 x
a(x) 2a = 2
(*) B*(0) Bien) = “loge = Hogs 4 logela funcién x(x) 177
Para obtener la otra mitad de la desigualdad se aplica la primera
parte de (8.5). Para todo real y= 4, supéngase que 2n es el menor
entero par no menor que y. Se tiene y S 2n, x(y) S(2n),y + 2 > 2n,
Boni, =(3) Bre - 1) Ba(n) — 1, y de aqui que
2
y 2n log 2 (y +2) log 2
my) — © () Sr(2n) —x(n) +18 7 +1s “Tor (y/2) +1
2y+2) log? , , < 3ylog2 | _ dy log 2,
logy logy logy
Por Jo tanto z(y) — x(y/2) < (4log2)y/logy si y=4. Pero, para
25y <4 se tiene x(y) — 7(y/2) Sx(4) = 2 y facilmente se ve que
la funcién y/log y toma su valor minimo, e, cuando y = e. De donde se
tiene
x) ~r(#) 3 Seu para2 Sy <4,
y de aqui que
y\ — (log 2)y 2
ay) —7 ) < ogy Pte
dado que 2/e <4 log 2. Ahora bien, para y = 2 se tiene
6) 4)logy ~+(¥) 06% = (xa) - x(¥)) 06 v
9
++(2)to¢2 < 4y log 2 + $F log2 = 5 log2.
Ahora, para todo real x22 existe un entero no negativo j tal que
22 > x= 2h, Se reemplaza y en (8.6) por x, x/2, x/2%,+-+,x/2,
y se suma, Dado que x/2/* < 2, m(x/2/) = 0, se obtiene
9 z z
r(@)log2 <3 (2+ 2+ +++ +55) log2 < 92 log 2.
Por tanto, puede tomarse a = (log 2) /4, 6 = log2 y el teorema queda
demostrado. Se han encontrado valores de a y b que son suficientes pero
que, por ningtin medio, son los mejores valores posibles.
El teorema que acaba de demostrarse dice algo acerca de que tan
numerosa y escasamente estén distribuidos los primos. Dado que hay un
niimero infinito de primos, no puede decirse que hay més niimeros natu-
rales que primos, No obstante, la raz6n a(n) /n representa la proporcién
de primos en los primeros n nimeros naturales, Puesto que 7(n) /n <
b/log n tiende hacia cero conforme 1 crece, nos conduce a decir que los178 — observaciones elementales
primos son més escasos que los néimeros naturales. Con frecuencia esto
se establece diciendo: “casi todos los enteros positivos son compuestos”.
Por supuesto, el teorema dice bastante més. Dado que
a(x)
4 < Flog =
<4,
a funcién 7(x) es de orden x/log.x. Los primos no son demasiado nu-
merosos ni demasiado escasos. Puesto que
Ve < Bx
a(x) ~@
0 conforme x x,
la sucesién de cuadrados es més escasa que la sucesién de primos. El
teorema de los nimeros primos mencionado en Ia seccién 1.3 es un
refinamiento del presente teorema,
Problema
1, Probar que vp, tal y como se define en relacién con (8.1), es igual a
log 2n
log p |
8.2 La sucesién de primos
Los resultados referentes a la magnitud del r-ésimo primo, p,, tam-
bién pueden usarse para describir qué tan numerosos son los primos.
Nuestro primer resultado es esencialmente un corolario al teorema 8.1.
Teorema 8.2 Existen las constantes positivas c y d tales que
cr logr < py < drlogr para r= 2.
Demostracién. Aplicando el teorema 8.1 y el hecho de que p, =r
se tiene
= br a log br > i
r=a(br)
pavin PSBH/S
El primer producto en Ja iiltima expresién tiene cuando més V2n — 2
factores, dado que V2n = 4 y 1 y 4 no son primos. Se aplica el Teore-
ma 8.5 al segundo producto y entonces se tiene
(8.9) (?") S (2nyVi~242013,
Ahora, an es el mayor de los 2 n + 1 términos en el desarrollo bino-
mial de (1 + 1)?* de modo que se tiene
(Qn +1) () > 22",
n
Pero 4n? > 2n + 1 y de aqui que
An? () > 2, (?") > 2°(3n)-2,
Esto con (8.9) implica que
22"(2n)-® < (Qn) V2gIm/s, DNS < (Qn) VER,
Tomando logaritmos y dividiendo entonces entre Vn se obtiene
(8.10) ive log 2 < log (2n).
Pero (1/3) V2n log 2 — log (2n) es positivo sin = 405 y
é ( V2n log 2 — log em) =
Jo cual es positive para n = 38. De aqui que (8.10) es falsa para n = 450
y el teorema se cumple para n = 450.
Para completar la demostracién simplemente debe presentarse un p
apropiado para n = 8,9, .--, 449. Puede usarsepostulado de Bertrand 183
p= 13para 8Sn< 12
3 BEn= 2
8
83
163 = 83 Sn = 162
317 163 =n S316
6310-317 Sn =449
El lector puede descubrir que n = 450 no es el menor valor de n que
hace falsa a (8.10). Ese valor particular es uno fécil para sustituirlo
en (8.10). Es mucho més facil extender Ja tabla anterior més adelante
de lo necesario que calcular valores adicionales de (8.10). De hecho la
tabla como es nos llevar4 hasta n = 630.
Esta demostracin es representativa de muchas demostraciones en la
teoria de los numeros. En la demostracién se usan desigualdades y se
estiman las magnitudes de varias expresiones. Con frecuencia estas es-
timaciones son lo suficientemente buenas para probar el teorema para
grandes valores de n, digamos, pero son demasiado toscas para propor-
cionar el resultado deseado para n menores. Entonces es imprescindible
tomar en cuenta estos n menores mediante métodos més especiales.
Problemas
1. Probar que para todo nimero real positivo x >1 existe un primo p tal
que x 1, k> 1.
3. Sean k y 7 enteros positives, k>1, r>1. Probar que existe un primo
cuya representacién digital para la base r tiene exactamente k digitos.
4. Para este problema incluir 1 como un primo. Probar que todo entero posi-
tivo puede representarse como una suma de uno o més primos distintos.
Probar que las siguientes tres propiedades de un entero positivo n son
equivalentes: (i) todos los primos = Wii son divisores de n; (ii) todos los
enteros positivos 1 y q es impar. Escribir o(q) =q +k y ast deducir, a partir de
o(2%1q) = 2"q que q = k(2"— 1), Por tanto, kiq y k
0 y B® —4ac <0. (Observar que este problema muestra que la con-
dicién c >0 del Teorema 5.19 es superflua).
5. Probar que ax? + bxy + cy? es una forma positiva si, y solamente si, c > 0
y bt — 4ac <0.
6. Probar que la forma ax? + bxy + cy? es negativa si, y solamente si, a <0
y b?— 4ac <0.
7. Probar que la forma ax? + bxy + cy? es definida si, y solamente si,
b? — 4ac <0.
Probar que x? + 7xy + y? no es forma definida ni forma cero.
Encontrar todas las soluciones de las ecuaciones diofantinas.
a) 5x? + lday + L1y? = 35;
b) 5x? + Iday + 11? = 46.
10. Encontrar el menor entero positivo representado por la forma positiva
Tx? + Day + 23y?.
11. Si f(x,y) es una forma cuadratica binaria positiva, probar que f(a, 8) ¢s
positiva para todo par de nimeros reales a, 8, excepto 0,0.
12. Sea f(x,y) =ax?-+bxy+ey? una forma cuadrética con a > 0 y b? — 4ac=0.
Dado también que (a,b,c) = 1, probar que los enteros representados por
f son precisamente los nimeros m2, con m= 0,1,2,---. De aqui, qui-
tando la restriccién de que (a,b,c) = 1, probar que los enteros represen-
tados por f son todos los mimeros de la forma dm?, donde d = (a, by c).
ee
5.14 Equivalencia de formas cuadraticas
Teorema 5.22 La inversa de una transformacién entera
(5.20) x=aX+BY, y=yX+8¥
es también. una transformacién entera si y solamente si A = +1, donde
A es el determinante de la transformacién,
A
= a8 — By.
| By
Demostracién, La inversa existe si y solamente si (5.20) puede
resolverse univocamente para X y Y, de aqui que si y solamente si
40. Entonces, si la inversa existe puede resolverse para obtener
B y,,8
3
(5.21) Xafe-in Ya —Te+$y.
Si A = +1 entonces(5.21) es una tranformacién entera,equivalencia de formas cuadraticas 131
Ahora supéngase que (5.21) es una transformacién entera, Sea p
cualquier primo, y sea p* la potencia maxima de p que divide a A. Si
p no divide a A, entonces k = 0. Dado que los coeficientes en (5.21)
son enteros, se concluye que
#8, FB, Fly, pre
Se deduce que
p* a8, p*|By, pA.
Pero p* es la maxima potencia de p que divide a A, de modo que se
tiene 2k Sk, lo cual implica & = 0. Por tanto ningin primo divide
a Ay de donde A= +1.
Este teorema muestra que si F es una forma cuadratica obtenida de
un: forma f por medio de (5.20) con A = +1, entonces, precisamente
cou, en la Seccién 5.13, el problema de representar los enteros por f
puede reducirse al de representarlos mediante F.
Definicién 5.1 Una forma cuadrdtica f(x,y) = ax® + bxy + cy?
es equivalente a una forma g(x,y) = Ax* + Bxy + Cy* si existe una
transformacién entera (5.20), con determinante A = +1, que lleve f(x,
y) hacia g(X,Y). En caso de que f sea equivalente a g se escribe f ~ g.
Aplicando (5.20) a f y multiplicando se encuentra
(5.22) A = aa® + bay + cy’, B= 2aaB + b(ad + By) + 2cy8,
C = af? + bB8 + 8%,
si (5.20) Heva f(x,y) hacia g(X, Y).
El siguiente teorema muestra que esta equivalencia es una verdadera
relacién de equivalencia: es reflexiva, simétrica y transitiva,
Teorema 5.23 Sean f, gy h formas cuadrdticas binarias. Entonces
a) fot
b) si f ~g entonces g~f,
c) si f~gy g~h entonces f ~h.
Demostracién. a) La transformacién identidad x = X, y = Y tiene
determinante 1 y lleva f(x,y) hacia f(X,¥).
b) Puede suponerse que (5.20) es la transformacién que leva f(x,y)
hacia g(X,Y). Entonces, por (5.21), la transformacién que leva g(X,
Y) nuevamente hacia f(x,y) tiene determinante
x1
AA AAA
¢) Se supone que (5.20) con A = +1 lleva f(x,y) hacia g(X,Y)
y que la transformacién X = ayu + Bw, ¥ = yu + 81x, con Ay =132 algunas ecvaciones diofantinas
a8; — Bry: = +1 lleva g(X,Y) hacia h(u,v). Si se eliminan X y Y,
se encuentra
x= (aa + By:)u + (ai + 88x),
y = (yor + 8y:)u + (yr + 881),
y esta transformacién Meva f(x,y) hacia h(u,v). Un calculo facil
muestra que el determinante de esta transformacién es igual a (a8 — By)
(e181 — Bayi) = +1. Por lo tanto, f(x,y) es equivalente a h(x, y).
Teorema 5.24 Si f ~ g, entonces los discriminantes de f y g son
iguales.
Demostracién. Supongamos que (5.20) leva f(x,y) hacia g(X, ¥)
como en la Definicién 5.1. Es posible calcular el discriminante B? — 44C
de g aplicando (5.22), para obtener B? — 44C = (a3 ~ By)2(b? — 4ac)
pero es més sencillo usar la regla coméin para multiplicar determinantes,
« 7|[20 b |la Bl _ | 2ae+ by ba + Bey \« B
B Bld 2rlly 8|~ |2aB+ 08 OB +28|ly 8
_|24 B
“lB 2c|.
Evaluando Jos determinantes se encuentra (a8 — Py)?(4ac — b*?) =
4AC — B?, Dado que (a3 — By)? = A? = 1 se tiene b? — 4ac = BY —
4AC.
A la luz del Teorema 5.23 pueden separarse todas las formas cuadra-
ticas binarias en clases de equivalencias, poniendo dos formas f y g en la
misma clase si f ~ g. La parte (b) del Teorema 5.23 asegura que f y g
representan el mismo conjunto de enteros si f y g estan en la misma clase
y que hay una correspondencia biunivoca entre las representaciones
mediante f y aquellas mediante g. En otras palabras es suficiente con-
siderar slo una forma representativa de cada clase de equivalencias.
Evidentemente, si una forma en una clase es positiva entonces lo son
todas las demas en esa clase. También dos formas en la misma clase
tienen los mismos discriminantes.
La siguiente cosa que es conveniente tener es alguna manera de
seleccionar una forma representativa tinica de cada clase de equivalen-
cias, En el caso de las formas cuadraticas binarias positivas, esto puede
hacerse de un modo bastante sencillo. La teoria completa relacionada
con las formas positivas es muy elegante. Por esta razén, de ahora en
adelante, restringiremos nuestra atencién a las formas positivas.
Definicién 5.2 Una forma cuadrdtica binaria positiva ax* + bxy +
cy? es una forma reducida si 0b Sa Sc.
Por ejemplo, x? + y* es una forma reducida.equivalencia de formas cuadraticas 133
Teorema 5.25 A cada forma cuadrdtica binaria positiva le corres-
ponde una forma reducida equivalente.
Demostracién. Considérese cualquier forma cuadratica binaria posi-
tiva g(x,y) = Ax? + Bry + Cy*, Se demostraré que existe una forma
equivalente ax? + bxy + cy? con 0S |b] Sac. Esto bastard porque
en el caso de que b sea negativo, la transformacién x = —X, y = Y
llevara ax? + bxy + cy? hacia una forma reducida,
Denotemos por a el menor entero positivo representado por g. En el
Corolario 5.21 se vio cémo puede encontrarse a. Existen enteros a y B
tales que Aa? + Bay + Cy? =a. Nétese que (a,y) =1; porque si
(a, y) = d, entonces F(a/d, y/d) = a/d?, lo cual implica d = 1 supuesto
que a fue ntimero minimo. Entonces, por el Teorema 1.3, existen los
enteros y 8 tales que a8 — By = 1 y se usan éstos para construir la
transformacién x = au + Rv, y = yu + bv de determinante 1. Esta trans-
formacién leva g(x,y) hacia
h(u,v) = A(au + Bv)? + Blau + Bv) (yu + 8v) + C(yu + bv)?
uu? + kuv + mv®,
digamos, donde a es el entero definido anteriormente.
Ahora bien, para cualquier entero j la transformacién u = x — jy,
= y tiene determinante 1 y leva h(u, v) hacia
F (x59) = ax? + (k — 2aj)xy + (aj? — kj + m)y*
Si se toma j como el entero més proximo a k/2a, se tiene
~aSk-2ajSa, |k—2aj| 0 se deduce que jay| <1. Si jay] = 0 se tiene
IV
a
(5.24) A = ae? + cy? Zac? +
1, entonces (5.23) se reduce
porque a y y no son ambos cero. Si |ay|
inmediatamente al mismo resultado, A 2 a. Asi se tiene A = a en ambos
casos y esto, con a = A, implica que a = A.
Ahora que se tiene a = A > 0 sélo se necesita probar que b = Bo
bien ¢ = G, dado que uno se deduce del otro porque, por el Teorema
5.24, b* — 4ac = B — 4AC. Asi que el caso ¢ = G no requiere demos-
tracién adicional. Ya que a = A pueden intercambiarse las formas, si fue-
Ta necesario, y puede suponerse c > C. Entonces se tiene ¢ > a ya que
CZA =a, Esto excluye la posibilidad |ay| = 1, porque si |ay| = 1 en-
tonces cy? > ay? y (5.23) entonces implicaria A> aley| = a. Ahora
que se tiene jay| = 0 puede probarse que 7 = 0, porque de otra manera
se tendria otra vez cy? > ay? y (5.24) implicaria A > a.
Se han limitado las posibilidades hasta a = A, a (a + c)/
(b+).
Caso I. &< (a +c) /(b + d). Supéngase que
(6.2) le-
<
ee cera —
b= py b+ (b +d)? V5
Sumando las desigualdades se obtiene
£ ate
d b+daproximaciones racionales 143
de aqui que
1 (atc)b— w+ ae 1 (Ls 1 )
b(6 +d) 6(b + d) = V5 \b (b+ dy?
Estas dos desigualdades contradicen el Lema 6.10. Por lo tanto, en este
caso, por lo menos una de a/b, c/d, (a + c)/(b + d) serviré como h/k.
Caso I. £> (a +¢)/(b + d). Supéngase que
a, 1 , ate, 1 pz
5 TFRs b+a= Ota V5 2PY
Sumando como antes, se obtiene
CEUs ewe 1 1 ¢ ate, 1 + 1
ad bbs TRV d b+d -@V5 +4)? V5
y de aqui que
1 1 1 1 1 1
ia = Siloti) +a * alata z)
lo cual también contradice el Lema 6.10, Nuevamente, por lo menos una
de a/b, c/d, (a + c)/(b + d) servird como h/k.
Se ha demostrado la existencia de alguna h/k que satisface (6.2).
Esta h/k depende de la seleccién de n. De hecho k/k es a/b, c/d 0 bien
(a+ ¢)/(b +d), donde a/b y c/d son fracciones consecutivas en la
sucesién de Farey de orden n y a/b < £ < c/d. Aplicando e] Teorema 6.7
tetas
|e-tlsactes * [e-tleactoy
| = b@ +1) ( ke
En cada caso se tiene
1
< :
ntl
Se desea establecer que existe un ntimero infinito de h/k que satisfa-
cen (6.2). Supéngase que se tiene cualquier hi/k que satisface (6.2).
h
It
Entonces
e- | es positive y puede escogerse n > 1 /\ f- z :
; ee
sucesién de Farey de orden n entonces proporciona un h/k que satisface
(6.2) y tal que
[r-§lea144 fracciones de Farey
Esto demuestra que existe un néimero infinito de mimeros racionales h/k
que satisfacen (6.2) ya que, dado cualquier ntimero racional, puede en-
contrarse otro que sea m&s préximo a &.
Teorema 6.12 La constante V5 del Teorema 6.11 es la mejor po~
sible. En otras palabras, el Teorema 6.11 no se cumple si V5 se reemplaza
por cualquier valor mayor.
Demostracién. Sdlo se necesita presentar un £ para el cual V5 no
pueda reemplazarse por un valor mayor. Tomemos ¢ = 3(1 + V5)-
Entonces
/
(8) FO
Entonces, para los enteros h, k con k > 0, se tiene
oa) |b. a/R e+ v5 2)
[3 k 2
-z |A? — hk — # |.
La expresién de la izquierda en (6.3) no es cero debido a que tanto £
como V5 — son irracionales. La expresién |k? — hk — &*| es un entero
no negativo. Por tanto |h? — hk — k*| 1 y se tiene
h A
(6.4) pelt ve
Ahora supéngase que se tiene una sucesién infinita de ntimeros racio-
nales hj/k;, kj > Oy un numero real positive m tal que
hy 1
bE < me
ty mk
Entonces kjé — ax hy hye + ~ y esto implica que hay sola:
4 Kj
mente un niimero finito de h; correspondientes a cada valor de kj. Por
lo tanto, se tiene kj -> «9 conforme j—> %. También, por (6.4), (6.5)
y la desigualdad del tridngulo se tiene
4g lA
RR
de aquf queaproximaciones racionales 145
y de donde
Problemas
1. Probar que para cada nimero real x existe un nimero infinito de pares
de enteros a, 6 con b positivo tal que |bx — a] < (V5 b)-*.
2. Sea £ un irracional. Sean A > 0 y a > 2 niimeros reales. Probar que existe
s6lo un némero finito de racionales h/k que satisfacen
ra
3. Supéngase que hk = a, k = b es una solucién de la desigualdad (6.2) para
algin irracional . Probar que s6lo un ndmero finito de pares h, k en el
conjunto {h = ma, k = mb; m= 1,2,3,-++} satisfacen (6.2).
4. Sea @> 1 un néimero real. Supéngase que para algin ndmero real @ existe
un niimero infinito de néimeros racionales h/k tales que |B — h/k| < k-*.
Probar que f es irracional.
5. Probar que los siguientes ntimeros son irracionales:
y 2-3, 5 oa,
im imCapitulo 7
Fracciones continuadas
simples
7.1 El algoritmo euclidiano
Dada cualquier fraccién racional uo/1;, en su més simple expresién
de manera que (to, %) = 1 yu; > 0, aplicamos el algoritmo euclidiano
tal y como se formulé en el Teorema 1.11 para obtener
(7-1) tug = W109 + U2, O
se 2 prlogr.
Asimismo, se tiene r = 7(p) > ap,/log p,. Si r es grande, también
lo es pr, y existe.una constante k tal que log p,/Vp, a>
Pr V
de aqui que r > Vp,, log p, <2logr y por lo tanto ap, 2n y
de donde vp = 1 y pp <1. Para todo primo p que satisface pS V2n
se tiene p'r 2jajq’* = ¥ 2jasq~*(qi — g~).
jatn jad
Asi que se encuentra
only?) = (L- 9").) jas? — 9),
y de aqui que, por (10.3),
et
lah)? = = a) (—1yiatal = gr) eel.
{
eni(q’) ni)
Ahora bien
2n n
2) (92
n(Q*) en (9?)
= mesadesaee SS I (1 — 9’) I (1 — q™) $1,
entD en) iad ronan
a}
y © ia”\a — | converge, de donde, para n > m, se tiene
a
aq)? — (1 9? a yigit(g? — oi Pang?) en(Q)
en(q’)? = (L — @ ye Yj" — @ ) Sarid ens)
s > ie’ |\g — 7| > ig" — 1.
jomtt jomthuna propiedad de divisibilidad 229
Se mantiene k fijo pero arbitrario y hacemos n—> «. Por el Teorema
10.6 se tiene
$an(Q?) eng?) _ (4)?
lim 1
nove Ynsj(Q*) Gn-i (4?
¢(q*)* de modo que se obtiene
y “ gn(q*)®
Pea -y (-1%9"@i — 7) | S > jay - ol.
jam+1
Ahora, haciendo m~—> e se encuentra
aa? = Yair =) = y (-1) ig + » (<1) jg?
j= ja
donde puede efectuarse el tiltimo paso debido a que ambas series con-
vergen. Cambiando j a j + 1, se escribe Ia iltima serie como St (—1)*
fe
(j + 1)q! y entonces puede sumarse a Ia primera serie para obtener
23
oq (1° Qj + Dg?
j=
Esto es el teorema con x reemplazada por q?.
Problema
1, Reemplazar z por q’* en (10.3), multiplicar por g,(q?) y aplicar (10.5)
para obtener una demostracién de la férmula de Euler
10.6 Una propiedad de divisibilidad
Teorema 10.14 Si p es un primo y Ox <1 entonces
donde los a; son enteros.
Demostracién. Para 0 =u <1 se tiene el desarrollo
(l-u-? = 1+) (<1 Poe Ds Hp - 5 +1),
(@@+j-))!,
~14y Mp — 1)!230 = Ia funcién particién
y por tanto, digamos,
l-w Sow,
hu)? = wh =u)? = » byw — > bust?
% i
(1 — uP
pat «
= > ba + D) (b; -
Pi j= i>
ero
5, Gt DG +2) ++ G+ p-1)
@=!
_,)ui » osu,
{i (mod p) si j==0 (mod p)
0 (mod p) si jz0 (mod p),
y bo 0,
¢;==0 (mod p) para j > 0.
Ahora, para 0x <1,
om(z”) _ J] 4-2"
ona? th a= ame
= ama
imo
donde a‘) = ¢, y, por el Lema 10.9,
2 2 2 = [h/m]
Sara = Soe Sate =) eneadet
i itso io 70
Entonces, por el Lema 10.10, se tiene
Ta/m)
ay =) cyaxtns,
f=
y de aqui que
a” =a" =a ==, (mod p),
am > al) Sal = c,>0,
™ a") ss h