Вы находитесь на странице: 1из 150

Una IntroducciÛn a la TeorÌa de N˙meros Algunas aplicaciones con DERIVE

Luis Alejandro M·smela Caita

Junio de 2010

ii

Õndice general

IntroducciÛn

VII

I

Primera Parte

1

1. Fundamentos

3

1.1. Propiedades Fundamentales

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

1.2. La NotaciÛn Sumatoria y Productoria

 

11

1.3. InducciÛn Matem·tica

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

19

1.4. Relaciones de Recurrencia

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

26

1.5. El Teorema Binomial

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

32

1.6. N˙meros Poligonales

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

41

1.7. N˙meros Piramidales

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

48

1.8. N˙meros de Catal·n

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

53

2. Divisibilidad

59

2.1. El Algoritmo de la DivisiÛn

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

59

2.2. ConÖguraciones NumÈricas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

69

2.3. N˙meros Primos y Compuestos

 

74

2.4. N˙meros de Fermat

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

85

3. M·ximo Com˙n Divisor

91

3.1. M·ximo Com˙n Divisor

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

91

3.2. El Algoritmo de Euclides

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

104

3.3. El Teorema Fundamental de la AritmÈtica

 

108

3.4. MÌnimo Com˙n M˙ltiplo .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

120

3.5. Ecuaciones Lineales Diof·nticas

 

127

3.5.1.

MÈtodo de Euler para la soluciÛn de ELDs .

.

.

.

.

.

.

.

132

A. Una IntroducciÛn al paquete DERIVE

 

137

. A.2. RECUENTO DE LOS PRINCIPALES COMANDOS

A.1. øQU… ES DERIVE?

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

137

138

A.2.1.

A.2.2.

Barra de TÌtulos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

138

Barra de Men˙

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

138

 

iii

 

iv

ÕNDICE GENERAL

A.2.3.

Barra de herramientas o de Ûrdenes

 

139

A.2.4.

Ventana de ·lgebra .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

139

A.2.5.

A.2.6.

. Barra de introducciÛn de expresiones

Barra de estado

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

139

139

A.2.7. Barra de de letras griegas y sÌmbolos matem·ticos

 

139

A.3. APLICACIONES CON DERIVE

139

A.3.1.

Introducir expresiÛn

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

139

A.3.2.

SimpliÖcar Expresiones

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

140

A.3.3.

Introducir vector

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

142

A.3.4.

Introducir Matriz .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

142

Prefacio This is the preface. It is an unnumbered chapter. The markboth TeX Öeld at the beginning of this paragraph sets the correct page heading for the Preface portion of the document. The preface does not appear in the table of contents.

v

vi

PREFACE

IntroducciÛn

El texto que a continuaciÛn se presenta y que aborda el tema de la TeorÌa de N˙meros, es una traducciÛn de la primera parte del libro ìElementary Number Theory with Applicationsî escrito por Thomas Koshy. Busca esbozar algunos temas que se han seleccionado de dicho libro y que se han desarrollado en un primer curso de TeorÌa de N˙meros con estudiantes de primer semestre del Proyecto de Matem·ticas en la Universidad Distrital Francisco JosÈ de Cal- das. Se busca que el estudiante, a travÈs de este curso, se familiarice de manera gradual con diferentes procesos rigurosos de las matem·ticas, en especial con los distintos procesos de demostraciÛn, formalizando conceptos que fueron trabaja- dos operativamente en sus cursos anteriores de matem·ticas en la secundaria. Se ha pretendido desarrollar este curso a la par con laboratorios en sala de cÛm- puto, utilizando el software matem·tico DERIVE, debido a la simplicidad en su manejo y a que se convierte en una herramienta que le permite al estudiante, explorar muchas de las conjeturas que Èl mismo establece a medida que avanza en el estudio de los distintos temas.

vii

viii

INTRODUCCI”N

Parte I

Primera Parte

1

CapÌtulo 1

Fundamentos

1.1. Propiedades Fundamentales

La teorÌa de n˙meros concierne a una teorÌa que se desarrolla solamente sobre el conjunto de los n˙meros enteros. Es asÌ que de ahora en adelante se denotar· al conjunto de n˙meros enteros a travÈs del sÌmbolo Z : 1

Z = f : : : 2 ; 1 ; 0 ; 1; 2; : : : g

A lo largo de este texto se escribir· "x 2 S "para denotar que "el elemento x

pertenece al conjunto S "; de manera similar "x 2= S "denotar· que " el elemento x no pertenece al conjunto S: "Por ejemplo si hacemos referencia al conjunto de interÈs Z; se puede aÖrmar que 4 2 Z, mientras que 2= Z:

Los n˙meros enteros pueden representarse geomÈtricamente sobre la deno- minada recta numÈrica. Ver Figura 1.1.

sobre la deno- minada recta numÈrica. Ver Figura 1.1. Figura 1.1: Recta NumÈrica A los enteros

Figura 1.1: Recta NumÈrica

A los enteros 1 ; 2 ; 3; :::se les denomina enteros positivos. Ellos tambiÈn

reciben el nombre de n˙meros naturales o n˙meros para contar. Se en- cuentran a la derecha del origen (coordenada cero) en la recta n˙merica. Se denotar· al conjunto de los enteros positivos por Z + o N :

Z + = N = f1 ; 2; 3; : : : g

1 La letra Z proviene de la palabra alemana Zahlen para n˙meros.

3

4

CAPÕTULO 1. FUNDAMENTOS

El conjunto de los enteros positivos, junto con el 0; conforman el conjunto denominado n˙meros enteros W :

W = f0 ; 1; 2; 3; : : : g

El conjunto de los enteros negativos, a saber, : : : ; 3 ; 2; 1 se ubican a la izquierda del origen. Es de notar que 0 no es ni positivo ni negativo. Es posible utilizar los n˙meros enteros positivos para comparar los n˙meros enteros en general, como en la siguiente deÖniciÛn.

La RelaciÛn de Orden

Sean a y b dos enteros cualesquiera. Entonces a es menor que b; que se denota por a < b si existe un entero positivo x tal que a + x = b; esto es, si b a es un entero positivo. Cuando a < b; se puede aÖrmar tambiÈn que b es mayor que a; que se escribe b > a: 2 Si a no es menor que b , se escribir· a b ; similarmente, a b denotar· que

a no es m·s grande que b:

Se sigue de esta deÖniciÛn que un entero a es positivo si y solo si a > 0:

DeÖniciÛn 1 (Ley de la TricotomÌa) Dados dos n˙meros enteros a y b , hay tres posibilidades: a < b; o a = b; o a > b:

GeomÈtricamente, esto signiÖca que si a y b son cualesquiera dos puntos en la recta numÈrica, entonces es cierta solo una de las siguientes tres aÖrmaciones, el punto a esta a la izquierda del punto b; el punto a coincide con el punto b; o el punto a esta a la derecha del punto b:

Puede combinarse el menor que y la relaciÛn de igualdad para deÖnir la relaciÛn menor que o igual . Si a < b o a = b; se escribir· a b: 3 De manera similar, a b signiÖca que a > b o a = b . Se puede notar que a b si y solo si

a b:

Teorema 2 Denote m nf x; y g el mÌnimo de los enteros x y y; y max fx; y g su m·ximo. Entonces m nfx; y g + m ax fx; y g = x + y:

DemostraciÛn. (por casos) Caso 1. Sea x y: Entonces m nfx; y g = x y m axf x; y g = y; asÌ, m nfx; y g+

m

Caso 2. Sea x > y: Entonces m nfx; y g = y y max fx; y g = x; asÌ, m nf x; y g +

m

axf x; y g = x + y:

axf x; y g = y + x = x + y:

y g = x + y: ax f x; y g = y + x =

2 Los sÌmbolos < y > son introducidos en 1631 por el matem·tico inglÈs Thomas Harriet

(1560ñ1621).

3 Los sÌmbolos y fueron introducidos en 1734 por el matem·tico francÈs P. Bougher.

1.1. PROPIEDADES FUNDAMENTALES

5

Valor Absoluto

El valor absoluto de un n˙mero real x; denotado por jxj ; se deÖne por

jxj =

x

si x 0

x en otros casos

Por ejemplo, j5j = 5; j j = ( ); j0j = 0 :

GeomÈtricamente el valor absoluto de un n˙mero indica la distancia de Èste al origen de la recta numÈrica. Aunque el interÈs recae sÛlo en las propiedades de n˙meros enteros, a menudo se tratar· con n˙meros racionales y reales. Las funciones piso y techo son dos tales funciones teÛrico-n˙mericas. Ellas tienen usos importantes en matem·ticas discretas y ciencias de la computaciÛn.

Funciones Piso y Techo

El piso de un n˙mero real x; denotado por b xc es el m·s grande entero x:

El techo de x; denotado por d xe , es el m·s pequeÒo entero x: 4 El piso de x redondea por debajo a x; mientras que el techo redondea a x por encima. De acuerdo a esto, si x 2= Z; el piso de x es el m·s prÛximo entero a la izquierda de x sobre la recta numÈrica, y el techo de x es el m·s prÛximo entero a la derecha de x; ver Figura . La funciÛn piso f (x) = b xc y la funciÛn techo g (x) = d xe son conocidas tambiÈn como la funciÛn mayor entero y la funciÛn menor entero, respectivamente.

mayor entero y la funciÛn menor entero, respectivamente. Por ejemplo p 2 = 1 ; b

Por ejemplo p 2 = 1; b c = 3; b 3 ; 5 c = 4; p 2 = 2; d e = 4 y

d 3; 5e = 3 :

La funciÛn piso es pr·ctica cuando los n˙meros reales deben ser truncados o aproximados a un n˙mero deseado de cifras decimales. Por ejemplo el n˙mero real = 3 ;1415926535 : : : truncado a tres cifras decimales est· dado por

b 1000 c = 3141

1000

1000 = 3;141;

de otro lado redondeado a tres cifras decimales es

b 1000 + 0;5c

1000

= 3 ;142:

Hay otro uso simple de la funciÛn piso. Suponga que se divide el intervalo uni- tario [0; 1) en 50 subintervalos de igual longitud y luego se pretende saber el

4 Estas dos notaciones y los nombres, piso y techo, fueron introducidas por Kenneth E. Iverson en los albores de los 60s. Ambas notaciones son variaciones de la original notaciÛn mayor entero [ x ] :

6

CAPÕTULO 1. FUNDAMENTOS

subintervalo que contiene el n˙mero 0;4567. Ya que b 0;4567 =0;02c + 1 = 23 Èste esta en el subintervalo n˙mero 23. De manera general, sea 0 x < 1 : Entonces x esta en el subintervalo b x=0 ;02 c + 1 = b 50xc + 1:

Ejemplo 3 (La funciÛn de la oÖcina de correos) En 2006 la tasa de franqueo en Estados Unidos para un primer tipo de carta de peso x; de no m·s de una onza fue de 39c/; la tasa para cada onza adicional o fracciÛn hasta 11 onzas fue un adicional de 24c/. AsÌ, el franqueo p (x) para una primera clase de carta puede deÖnirse como p (x) = 0 ;39+ 0;24 d x 1 e ; 0 < x 11: Por ejemplo, el franqueo para una carta que pesa 7.8 onzas es p (7;8) = 0 ;39+ 0;24 d 7;8 1 e =

$2;07:

Algunas propiedades de la funciÛn piso y techo son listadas en el siguiente teorema. Se probar· una de ellas; las otras se proponen como ejercicio.

Teorema 4 Sea x cualquier n˙mero real y n un n˙mero entero. Entonces

1. b n c = n = d n e

2. d xe = b xc + 1 (x 2= Z)

3.

b x + n c = b xc + n

4. d x + n e = d xe + n

5.

n

2

=

n

1

2

si n es impar.

6.

n

2

= n +1

2

si n es impar.

DemostraciÛn. Todo n˙mero real x puede ser escrito como x = k + x 0 ; donde k = b xc y 0 x 0 < 1: Ver Figura . Entonces

= b x c y 0 x 0 < 1 : Ver Figura . Entonces x

x + n =

k + x 0 + n

=

(k + n ) + x 0

asÌ

b x + n c =

b (k + n ) + x 0 c

=

k + n ya que 0 x 0 < 1

=

b xc + n

que era lo que se querÌa mostrar.

n ) + x 0 c = k + n ya que 0 x 0 <

1.1. PROPIEDADES FUNDAMENTALES

7

Ejercicios 1.1.

Eval˙e cada una de las siguientes expresiones, en donde x es un n˙mero real.

1.

2.

3.

4.

5.

6.

7.

8.

9.

10.

11.

12.

El matem·tico inglÈs Augusto De Morgan, que viviÛ en el siglo XIX, una vez comentÛ que Èl tenÌa x aÒos en el aÒo x 2 . øCu·ndo nacio Èl?

Eval˙e cada item, asuma que x es un n˙mero real.

f (x) =

j

xj (x 6= 0)

x

g (x)

h (x) = d xe + d xe

Determine si:

b xc = b xc

d xe = d xe

Hay cuatro n˙meros enteros entre 100 y 1000 que son, cada uno igual a la suma de los cubos de sus dÌgitos. Tres de ellos son 153, 371, y 407. Encuentre el cuarto n˙mero.

Un n˙mero entero positivo N de n dÌgitos es un n˙mero de Kaprekar si la suma del n˙mero formado por los ˙ltimos n dÌgitos en N 2 , y el

n˙mero formado por los primeros n (o n 1 ) dÌgitos en N 2 es igual a

N . Por ejemplo, 297 es un n˙mero de Kaprekar ya que 297 2 = 88209 y

88 + 209 = 297 . Hay cinco n˙meros de Kaprekar < 100. EncuÈntrelos.

Encuentre la falla en la siguiente "demostraciÛn":

Sean a y b n˙meros reales tales que a = b: Entonces

= b xc + b xc

ab = b 2

a 2 ab = a 2 b 2

Factorizando, a(a b ) = ( a + b )(a b ): Cancelando a b en ambos lados,

a = a + b: Ya que a = b; de esto se tiene que a = 2a: Cancelando a ambos lados a, se tiene que 1 = 2 :

El entero 1105 puede expresarse como la suma de dos cuadrados en cuatro formas diferentes. Encuentrelas.

øCu·ntos cuadrados perfectos pueden mostrarse en la pantalla de una calculadora de 15 dÌgitos?

Pruebe cada item, asumiendo que a; b y n son enteros cualesquiera, y x es un n˙mero real.

jabj = jaj jb j

8

CAPÕTULO 1. FUNDAMENTOS

13. ja + b j jaj + jb j

14.

15.

16.

17.

18.

k

2

m

2

n 2

l n

j n

4

n 2

4

= n 1

2

= n + 1

2

si n es impar.

si n es impar.

=

n 2 1

4

si n es impar.

= n 2 + 3

4

si n es impar.

j n

2

k + l n

2

m = n

19. d xe = b xc + 1 (x 2= Z)

20. d xe = b xc

21. d x + n e = d xe + n

La distancia desde x hasta y sobre una lÌnea recta, denotada por d (x; y ); se deÖne por d (x; y ) = jy xj : Pruebe cada item, asumiendo que x; y y z son enteros cualesquiera.

22. d (x; y ) 0

23. d (0; x) = jxj

24. d (x; y ) = 0 si y solo si x = y:

25. d (x; y ) = d (y; x)

26.

d (x; y ) d (x:z ) + d (z; y )

1.1. PROPIEDADES FUNDAMENTALES

9

DERIVE. Laboratorio 1 Objetivo

En el presente taller se busca implementar algunos ejemplos trabajados en esta secciÛn y que utilizan la funciÛn Piso ( FLOOR ) y Techo (CEILING) en DE- RIVE.

Actividades

Inicialmente se establecen tres par·metros requeridos para implementar de manera correcta las funciones que se desean crear, Èstas determinan el modo de precisiÛn y el n˙mero de dÌgitos en las simpliÖcaciones:

PrecisionDigits:=100

NotationDigits:=100

Notation:=Decimal

1. Con base en la funciÛn Piso (FLOOR ) se desea crear una funciÛn que se llamar· "truncar" cuyos par·metros ser·n:

x:valor a truncar

n:n˙mero de cifras en el truncamiento

La funciÛn se deÖne como:

truncar(x,n):= FLOOR(x 10 n )

10

n

La funciÛn Piso es pr·ctica cuando los n˙meros reales deben ser truncados o aproximados a un n˙mero deseado de cifras decimales. Por ejemplo el n˙mero real = 3;1415926535::: truncado a tres cifras decimales est· dado por 3;141: Para ello basta con simpliÖcar en DERIVE, luego de especiÖcada la funciÛn anterior, la expresiÛn

truncar(pi,3)

2. Similar a la funciÛn anterior, se desea crear, con base en la funciÛn Piso (FLOOR ) una funciÛn que se llamar· "redondo" que busca redondear un n˙mero dado y cuyos par·metros ser·n:

x:valor a redondear

n:n˙mero de cifras en el redondeo

La funciÛn se deÖne como:

redondo(x,n):= FLOOR(x 10 n + 0;5)

10

n

AsÌ, redondeado a tres cifras decimales es 3;142 y se puede obtener simpliÖcando

redondo(pi,3)

10

CAPÕTULO 1. FUNDAMENTOS

3. La funciÛn a continuaciÛn pretende, al dividir el intervalo [0; 1) en n subin- tervalos, encontrar el subintervalo que contiene al valor x. La funciÛn se bautizar· con el nombre " endonde(x,n) "los par·metros representan:

x:valor que se pretende ubicar

n:n˙mero de subintervalos en que se divide el intervalo [0; 1)

Para esto, la funciÛn se deÖne como:

endonde(x,n):=FLOOR(x n + 1)

Por ejemplo, suponga que se divide el intervalo unitario [0; 1) en 50 subin- tervalos de igual longitud, y luego se pretende saber el subintervalo que contiene el n˙mero 0;4567: Para ello se simpliÖca la expresiÛn

endonde(0.4567,50)

4. Mediante la siguiente funciÛn se ilustra el Ejemplo 3 p·gina 6, "La funciÛn de la oÖcina de correos".

En 2006 la tasa de franqueo en Estados Unidos para un tipo de carta de peso x, de no m·s de una onza fue de 39 centavos, la tasa para cada onza adicional o fracciÛn hasta 11 onzas fuen un adicional de 24 centavos. la funciÛn post(x) deÖnida a continuaciÛn permite calcular el franqueo de una carta con peso x.

post(x):=0.39+0.24 CEILING(x 1)

Por ejemplo, simpliÖcando post(7.8) se encuentra el franqueo para una carta de 7.8 onzas.

5. Por ˙ltimo, algunas funciones adicionales para esta secciÛn son valor ab- soluto, mÌnimo y m·ximo que se obtiene mediante

ABS(x)

MIN(X1,X2,

)

MAX(X1,X2,

)

Por ejemplo ABS( ), MIN(2,4,-2) y MAX(2,4,-2)se simpliÖcan a ; 2 y 4 respectivamente.

1.2.

LA NOTACI”N SUMATORIA Y PRODUCTORIA

11

1.2. La NotaciÛn Sumatoria y Productoria

Se dar· la notaciÛn de sumatoria y productoria muy utilizada a lo largo de este texto. Primero se iniciar· con la notaciÛn sumatoria.

La NotaciÛn Sumatoria

Sumas tales como a k + a k +1 + + a m ; pueden escribirse de manera m·s compacta usando el sÌmbolo sumatoria P (letra Griega may˙scula sigma), la cual se denota con la palabra suma. La notaciÛn de sumatoria fue introducida en 1722 por el matem·tico francÈs Joseph Louis Lagrange. Un tÈrmino tÌpico de la suma referida con anterioridad puede ser a i ; asÌ, la suma anterior es la suma de los n˙meros a i con i recorriendo los n˙meros enteros desde k hasta m que se puede escribir como P i =m a i : De esta forma

i

=k

i =m

X a i = a k + a k +1 + + a m

i =k

La variable i es el Ìndice de la sumatoria. Los valores k y m son, re- spectivamente, los lÌmites inferior y superior del Ìndice i: El " i = " del lÌmite superior es usualmente omitido:

Por ejemplo

5

i

=m

X

i

=k

a i =

m

X

i

=k

a

i

X i 2 = 1 2 + 2 2 + 3 2 + 4 2

i =1

+ 5 2

El Ìndice i es una variable dummy ; se puede usar cualquier variable como Ìndice sin afectar el valor de la suma, asÌ

m

X

i

=k

a i =

m

X

j

=k

a j =

m

X

r

=k

a

r

1

Ejemplo 5 Eval˙e P = 2 j 3 (j 1) 2 SoluciÛn.

j

0

X j 3 (j 1) 2

j = 2

= ( 2) 3 ( 2 1) 2 + ( 1) 3 ( 1 1) 2 + (0) 3 (0 1) 2

= 76

Los siguientes resultados son muy usados en la evaluaciÛn de sumas Öni- tas, ellos pueden ser probados utilizando inducciÛn matem·tica, un mÈtodo de prueba que se presentar· m·s adelante.

12

CAPÕTULO 1. FUNDAMENTOS

Teorema 6 Sean n cualquier entero positivo y c cualquier n˙mero real, y a 1 ; a 2 ; ::: ; a n ; y b 1 ; b 2 ; ::: ; b n un par de secuencias numÈricas. Entonces

n

X

n

X

i

=1

c = nc

n

X

ca i = c

a i

n

i =1

X (a i + b i ) =

i =1

i

n

X

=1

a i +

i =1

n

X

i =1

b i

(1.1)

(1.2)

(1.3)

(Este resultado puede ser extendido a cualquier lÌmite inferior k 2 Z:)

3

Ejemplo 7 Eval˙e P =1 10 j 2 + 3j :

j

SoluciÛn.

3

X 10j 2 + 3j = 10

j

=1

3

X

j

=1

j 2 + 3

3

X

j

=1

j

= 10(1 2 + 2 2 + 3 2 ) + 3(1 + 2 + 3)

= 158

Sumatorias Indexada

La notaciÛn sumatoria puede ser extendida a secuencias con conjuntos de Ìndices I como sus dominios. Por ejemplo, P i 2I a i denota la suma de los valores a i cuando i recorre todos los valores de I:

Por ejemplo, si I = f1; 3 ; 5 ; 7g ; entonces P i 2I (i 2 + 1) representa la suma de los valores de i 2 + 1 cuando i toma los valores en I; esto es,

X (i 2 + 1) =

i 2I

(1 2 + 1) + (3 2 + 1) + (5 2 + 1) + (7 2 + 1)

= 88

Frecuentemente se requiere evaluar sumas de la forma P P a ij ; donde los subÌndices i y j satisfacen ciertas propiedades P:

Por ejemplo, sea I = f1 ; 2 ; 3 ; 4g: Entonces P 1 i<j 4 (2i +3j ); denota la suma de los valores de 2i + 3 j; donde 1 i < j 4: Esto puede ser abreviado como P i<j (2i + 3 j ) proporcionado, obviamente, el conjunto de Ìndices del contexto. Para encontrar esta suma, se consideran todas las posibles parejas (i; j ); donde

i; j 2 I e i < j: AsÌ,

X (2i + 3j ) =

i<j

(2 1 + 3 2) + (2 1 + 3 3) + (2 1 + 3 4) + (2 2 + 3 3)

+(2 2 + 3 4) + (2 3 + 3 4)

= 80

1.2.

LA NOTACI”N SUMATORIA Y PRODUCTORIA

13

Ejemplo 8 Eval˙e P d 1 d; donde d j6 signiÖca que d divide a 6 :

SoluciÛn.

X

d 1

dj 6

d

dj 6

= suma de los enteros positivos d; divisores de 6

= suma de los divisores positivos de 6

= 1 + 2 + 3 + 6 = 12

Sumatorias m˙ltiples tambiÈn son frecuentes en matem·ticas. Ellas se eval˙an por lo general de derecha a izquierda. Por ejemplo, la doble sumatoria P i P j a ij

se eval˙a como P i P j a ij ; como se muestra a continuaciÛn.

Ejemplo 9 Eval˙e P SoluciÛn.

1

0

X X

i = 1 j = 1

0

i = 1 P j

1

= 1 3i 2 j:

3i 2 j

=

=

=

1

X

i

= 1

1

2

4

0

X

j

= 1

3

5

i 2 j 3

X 3i 2 ( 1) + 3i 2 (0)

i = 1

1

X 3 i 2

i = 1

= 3( 1) 2 + 3(0) 2 + 3(1) 2

= 6

La NotaciÛn Productoria

La notaciÛn productoria es usada de manera similar a la notaciÛn sumatoria, el producto a k a k +1 a m se denota por Q i =m a i ; el sÌmbolo productoria Q corresponde a la letra Griega may˙scula pi. Como en el caso de la notaciÛn sumatoria, la "i = " arriba del sÌmbolo productoria se omite frecuentemente:

i

=k

i

=m

Y

i

=k

a i =

m

Y

i

=k

a i = a k a k +1 a m

Nuevamente, i es una variable dummy.

La funciÛn factorial , se usa frecuentemente en teorÌa de n˙meros, y puede deÖnirse usando la notaciÛn productoria, como se muestra en el siguiente ejem- plo.

14

CAPÕTULO 1. FUNDAMENTOS

Ejemplo 10 La funciÛn factorial f (n ) = n ! (se lee n factorial o el factorial de n ) se deÖne como n ! = n (n 1) 2 1; donde 0! = 1 : Usando la notaciÛn productoria

f (n ) = n ! =

n

Y

i

i =1

Ejemplo 11 Eval˙e Q 4 =2 (2i + 3):

i

SoluciÛn.

4

Y

i =2

(2i + 3) =

[2(2) + 3] [2(3) + 3] [2(4) + 3]

= 693

Ejemplo 12 Eval˙e Q i;j 2I (2i + 3j ) donde I = f 1; 2; 3; 4g :

i j j

i<j

SoluciÛn. Se reÖere aquÌ a la productoria de todas las parejas de la forma (i; j ); donde i y j son elementos de I; pero especÌÖcamente aquellas parejas en donde i divide a j siendo i menor que j: Estas son (1; 2); (1; 3); (1; 4); (2; 4); asÌ, evaluando 2i + 3j en cada una de estas parejas se tiene que

Y (2i + 3j ) =

i;j 2I

i j j

(2 1 + 3 2)(2 1 + 3 3)

(2 1 + 3 4)(2 2 + 3 4)

= 19172

Ejercicios 1.2

Eval˙e cada suma.

P
1.

P
2.

6 i =1 i

4

j =0 (j 1)

3. P k 4 =0 (3 + k )

P
4.

4

i = 1 3

2

5. = 2 j (j 2)

P

j

6. P k 5 =1 (3 2 k )k

Reescriba cada suma utilizando la notaciÛn sumatoria.

7. 1 + 3 + 5 + + 23

8. 3 1 + 3 2 + + 3 10

1.2.

LA NOTACI”N SUMATORIA Y PRODUCTORIA

15

9.

10.

1 2 + 2 3 + + 11 12

1(1 + 2) + 2(2 + 2) + + 5(5 + 2)

Determine si cada proposiciÛn es verdadera.

11. P n

12.

13.

P n

i =m i = P i n

i =m x i = P i n

=m (n + m i)

=m x n +m i

i

Sumas de la forma S = P n =m+1 (a i a i 1 ) son llamadas sumas telescop- icas. Muestre que S = a n a m :

i +1 ; y encuentre una formula

Use el Ejercicio 13 y la identidad para P n

14.

i ( i +1) = 1 i

1

1

1

i =1 i ( i +1) :

15.

16.

17.

Usando el Ejercicio 13 y la identidad (i + 1) 2 i 2 = 2 i + 1; desarrolle una

formula para P n

i =1 i:

Usando el Ejercicio 13 y la identidad (i + 1) 3 i 3 = 3 i 3 + 3i + 1; desarrolle

una formula para P n

Evalue.

P

i =1 i 2 :

5

i =1 P j

6

=1 (2i + 3j )

18.

19.

20.

21.

P

3

i =1 P

i

j =1 (i + 3)

3

Q =0 (i + 1)

i

5

Q =3 (j 2 + 1)

j

Q 50 =0 ( 1) k

Evalue cada Ìtem, donde p

k

2 f 2; 3; 5; 7 ; 11 ; 13g e I = f 1; 2; 3; 5g :

22.

23.

24.

25.

26.

P p 10 p

Q i 2I (3i 1)

P i;j 2I

i

j j

(2 i + 3 j )

Q i;j 2I

i

j

i

j

Encuentre el dÌgito de las decenas en la suma P 999

k =1 k !

16

CAPÕTULO 1. FUNDAMENTOS

DERIVE. Laboratorio 2 Objetivo

En el presente taller se busca implementar algunos ejemplos trabajados en esta secciÛn y que utilizan la funciÛn Sumatoria (SUM) y Productoria (PRODUCT) en DERIVE.

Algunas funciones requeridas

Antes de comenzar se revisar·n dos funciones adicionales como son VECTOR y DIVISORS. La funciÛn VECTOR(u, k, m, n) se simpliÖca a un vector de n-m+1 elemen- tos generado por la simpliÖcaciÛn de la expresiÛn u (k ) con la variable k variando desde m hasta n en saltos de 1 . Por ejemplo

VECTOR(k^2, k, 2, 5)

se simpliÖca al vector

[4, 9, 16, 25]

Los par·metros m y n pueden cambiarse por un vector sobre el cual la variable k toma valores evaluados en la funciÛn u (k ); por ejemplo

VECTOR(k^2, k, [3, 5, 8])

que se simpliÖca al vector

[9, 25, 64] :

La funciÛn DIVISORS(n) se simpliÖca al vector ordenado de todos los divi- sores positivos de n. Por ejemplo

se simpliÖca a

DIVISORS(28)

[1, 2, 4, 7, 14, 28] :

Actividades

La funciÛn SUM maneja los mismos par·metros de la funciÛn VECTOR y se interpretan de manera similar, asÌ la sumatoria de la expresiÛn u respecto a n desde k hasta m se puede introducir mediante la expresiÛn

SUM(u, n, k, m)

la diferencia es que mientras la funciÛn VECTOR genera un vector con ciertos elementos, la funciÛn SUM entrega la suma de dichos elementos. A continuaciÛn

1.2.

LA NOTACI”N SUMATORIA Y PRODUCTORIA

17

se ingresar· la sumatoria del Ejemplo 5 y se simpliÖcar· utilizando la funciÛn SUM. Recordando la sumatoria de este ejemplo, esto es,

0

X j 3 (j 1) 2 = ( 2) 3 ( 2 1) 2 + ( 1) 3 ( 1 1) 2 + (0) 3 (0 1) 2

j = 2