Bloque Primero Aritmtica y lgebra

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Abu Abdullah Muhammad bin Musa al-Khwarizmi

Al-Khwarizmi fue un matemtico y astrnomo musulmn chi que vivi aproximadamente entre 780 y 850. Poco se conoce de su biografa, a tal punto que existen discusiones no saldadas sobre su lugar de nacimiento. Algunos sostienen que naci en Bagdad y otros que naci en el actual Uzbekistan. Estudi y trabaj en Bagdad en la primera mitad del siglo IX, es considerado como el padre del lgebra

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Captulo 1
Nmeros Enteros

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Euclides 325 a.c. 265 a.c.

Vivi y trabaj en Alejandra. Su obra ms conocida son Los elementos y es una de las obras cientficas ms conocidas del mundo. La geometra de Euclides, adems de ser un poderoso instrumento de razonamiento deductivo, ha sido extremadamente til en muchos campos del conocimiento; por ejemplo, en la Fsica, la Astronoma, etc. Inspirados por la armona de la presentacin de Euclides, en el siglo III se formul la teora ptolomeica del Universo, segn la cual la tierra es el centro del universo, y los planetas, la luna y el sol dan vueltas a su alrededor en lneas perfectas, o sea circunferencias.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Sistemas de representacin de

El primer uso de los nmeros es cardinal, se utilizan para contar y comparar conjuntos. Por tanto los primeros nmeros para los humanos fueron los naturales .

Se han utilizado diversas formas para representar a los nmeros. De todos es conocido el sistema utilizado por los romanos que es muy simple pero en el cual los algoritmos de las operaciones aritmticas eran muy complicados o inexistentes, por este motivo el sistema no perdur. El sistema posicional decimal (base 10) que es estndar hoy en da en todo el mundo naci en la India y lleg a Europa a travs del Islam.
La difusin en Europa se debe en gran parte al libro Liber Abaci de Leonardo de Pisa, alias Fibonacci. En este libro no solo se difunde el nuevo sistema de numeracin sino tambin los algoritmos de las operaciones aritmticas y los propios guarismos.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Sistemas posicional actual

Dado un natural > denominado base, cualquier natural puede expresarse de forma nica como:
= + + + + , , , , < , < , , <

Habitualmente esta representacin se escribe como: = . . (

Obviamente, no sealamos la base cuando es 10 pero el sistema es el mismo en cualquier otra base. Con el advenimiento de las computadoras se utilizan para determinados fines la base 2 y la base 16 (hexadecimal).

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Cambio de base de sistema de numeracin

Pasar del sistema de numeracin con base a base decimal significa nicamente valorar la siguiente expresin:
. . ( = + + + +

Pasar de decimal a otra base supone realizar sucesivas divisiones del nmero y de los siguientes cocientes entre la base b hasta obtener un cociente nulo. Los restos que se han ido obteniendo son las cifras del nmero expresado en base b.
Por ejemplo, pasemos el nmero 48 a base 5 48 3 5 9 4 5 1 1

5 0

El nmero es ( =

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Evolucin histrica del concepto de nmero

El orden histrico de las construcciones de los nmeros no ha sido el orden lgico tal y como se conoce hoy. La realidad se mueve por la necesidad, primero fueron los naturales por la necesidad de contar y ordenar. Los griegos no conocan los nmeros enteros negativos pero como necesitaban para su Geometra medir segmentos inventaron los nmeros racionales positivos como razn entre dos segmentos. Los griegos ya saban que no todas las medidas de segmentos eran racionales y llamaban inconmensurables a los nmeros irracionales como .

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Evolucin histrica del concepto de nmero

Los rabes como promotores del lgebra fueron los primeros en utilizar los enteros negativos, los racionales negativos y en general los nmeros reales. Rafael Bombelli en el siglo XVI fue el verdadero descubridor de los nmeros complejos . La construccin lgica rigurosa de todos los conjuntos de nmeros tiene lugar a finales del siglo XIX con la corriente formalista liderada por David Hilbert. A finales del XIX se construyen rigurosamente los naturales siguiendo los axiomas de Giuseppe Peano y los reales por Georg Cantor. Los dems conjuntos de nmeros requieren una construccin inmediata a partir de naturales y reales, tal es el caso de enteros, racionales y complejos. IES San Mateo Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Evolucin histrica del concepto de nmero

1,2,3, . 2, 1,0,1,2, .

,
3

1 11 , 3 9
3

1 + 2, , , 2 2, .

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Ampliaciones del concepto de nmero

Generalmente algebraicas: las ampliaciones surgen por necesidades

De para poder resolver la ecuacin + = De para poder resolver la ecuacin = De para poder resolver la ecuacin + =0 Algunas ampliaciones no son algebraicas: De se extiende para dar cabida a los nmeros irracionales y tambin a los nmeros trascendentes.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Orden entre los enteros

El conjunto de los enteros engloba a los naturales positivos, el cero y las soluciones de ecuaciones del tipo + = que se denominan enteros negativos.
En el conjunto de los naturales de los nmeros naturales existe un orden lineal como: Entre los enteros este orden puede extenderse:

Los enteros mayores que cero se denominan positivos y los menores negativos.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Operaciones con enteros, propiedades.

Suma de enteros:
, +
+

La definicin permite sumar dos cualesquiera nmeros enteros y verifica:

Asociativa: Conmutativa + + = + + + = + , , ,

Elemento neutro
Elemento opuesto

0 + = + 0 =
+ = + =

Se dice que con la suma forma un Grupo Abeliano

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Operaciones con enteros, propiedades.

Producto de enteros: ,
La definicin permite multiplicar dos cualesquiera nmeros enteros y verifica: Asociativa: Conmutativa Elemento neutro Distributiva Cancelativa = = 1 = = + = + = , , , , , =

Se dice que con la suma y producto forma un anillo conmutativo con elemento unidad y por la propiedad cancelativa se dice que es un dominio de integridad.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Orden y operaciones, propiedades.

El orden y las operaciones verifican una serie de propiedades de compatibilidad:
+ +

El orden de los enteros es total o lineal, es decir dados dos nmeros a, b bien o bien A diferencia de los nmeros naturales el orden de los enteros no es un buen orden, no todos los subconjuntos tienen un elemento mnimo

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Divisibilidad

Se dice por definicin que a divide a b y se nota | cuando:
| = En este caso se dice que a y c son divisores de b, o bien que a es mltiplo de a y c. La relacin binaria | es una relacin de orden parcial entre los enteros positivos ya que verifica las propiedades: Reflexiva Antisimtrica Transitiva | = |

No es una relacin de orden total.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Divisibilidad

Representada grficamente la relacin a divide a b entre los enteros positivos:
. 4 2 1 6 9 3 10 15 25 5 ..

El nivel inferior lo ocupa el entero positivo 1 y el siguiente nivel lo ocupan los nmeros primos, es decir los nmeros que solo admiten como divisores a s mismo y a la unidad. Cualquier nmero no primo se dice que es compuesto.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

No todos los nmeros enteros tienen inverso respecto del producto, o sea no siempre existe otro entero que multiplicado por el primero de la unidad. Los nicos enteros con inverso son , + y, por ello, se denominan unidades. Un subconjunto se dice que es un ideal por definicin cuando es un subgrupo aditivo y, adems:

Nmeros Enteros Unidades e ideales

Por ejemplo son ideales los conjuntos , cualquier otro ideal se dice que es propio. Un ideal propio es por ejemplo el conjunto de todos los mltiplos de un entero concreto: = . . =

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Anillo de ideales principales

Los ideales propios que se reducen al conjunto de los mltiplos de un entero se denominan ideales principales.

En el dominio de integridad de los enteros todos los ideales propios son el conjunto de los mltiplos de algn nmero por ello se dice que es un dominio de ideales principales (PID).
La interseccin de ideales es un ideal, por tanto los mltiplos comunes de dos enteros deben ser todos ellos mltiplos de un entero que debe ser un mltiplo comn, lo que ms adelante se define como el mnimo comn mltiplo.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Divisin eucldea

Algo muy singular del dominio de integridad de los enteros es la existencia de una divisin eucldea. Dados , con > denominados dividendo y divisor respectivamente existe dos nmeros enteros nicos , denominados cociente y resto respectivamente tales que: = + <

La demostracin de la existencia y unicidad de cociente y resto se basa en que el orden entre los enteros positivos es un buen orden, o sea todo subconjunto tiene un mnimo. Si el resto de la divisin eucldea es nulo = entonces es un mltiplo de o, si se prefiere, es un divisor de .

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Nmeros primos

Un entero se dice por definicin que es primo si: 1. 2. Es mayor que 1 > Sus nicos divisores son los elementos de +, , ,

Es decir los primos son 2,3,5,7,11,13,17,19,.. Los nmeros primos son las piezas de Lego de la Matemticas. Una de las propiedades caractersticas de los primos que a veces se utiliza como definicin es que si es primo entonces: | | |

Un primo que divide a un producto divide a uno de los factores.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Nmeros primos

Los nmeros primos constituyen una sucesin ilimitada, es decir que existen infinitos nmeros primos. Si , , , . . , fueran los r primeros y nicos nmeros primos, entonces . . +1 da de resto 1 al dividirlo por cualquiera del los r primeros primos luego no es divisible por ninguno de ellos por tanto es primo lo que contradice que solo existan r primos. Esta demostracin fue realizada por primera vez por Euclides. Dado que no existe ninguna formula recurrente simple de generar la serie de los nmeros primos tiene mucha importancia el diseo de un algoritmo eficiente para averiguar si un nmero es primo.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Nmeros primos

Cmo averiguar si un nmero entero dado es primo? Se va dividiendo p por todos los primos anteriores menores o iguales que hasta obtener un resto nulo. Si se obtuviera un resto nulo antes de llegar a compuesto, en caso contrario es primo. el nmero en

Este algoritmo no es difcil de programar, pero utilizando Mathematica de forma interactiva basta con una instruccin para averiguar si un nmero entero es primo:

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Teorema fundamental de la Aritmtica

Una propiedad caracterstica de corresponde al siguiente enunciado: los enteros es la que

Cualquier entero no nulo puede expresarse como 1 por factores primos, adems esta expresin es nica salvo permutaciones del orden de los factores.

x = 1 2 3 .

1 , 2 , ,

Esta factorizacin se denomina descomposicin en factores primos, ya era conocida y utilizada por Euclides. La descomposicin en factores primos es como la huella dactilar de un nmero entero. No existen dos enteros con la misma huella dactilar.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Descomposicin en factores primos

Descomponer en factores primos es un proceso relativamente simple de describir, ahora bien cuando los factores primos son grandes o muy grandes puede tomar a un ordenador mucho tiempo. La ayuda de un software como Mathematica facilita las tareas:

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Teorema de los nmeros primos

Sabemos que la sucesin de los nmeros primos es infinita, ahora bien caben muchas preguntas:

Hay aproximadamente en mismo nmero de primos en cada millar?

No, parece que van disminuyendo Son cada vez ms numerosos o cada vez ms raros? Cada vez son ms raros y se distancian ms Existe alguna forma de predecir el nmero de primos que un nmero dado x? menores

Gauss conjetur que

crece indefinidamente

se aproxima a

cuando

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Teorema de los nmeros primos

Que cada vez son ms escasos se puede comprobar de inmediato contando haciendo uso de la funcin PrimePi[x] de Mathematica:

Tres millares que contienen cantidades decrecientes de primos.

Luego parece que efectivamente los primos no se distribuyen de modo uniforme sino que cada vez son ms escasos

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Teorema de los nmeros primos

La conjetura de Gauss respecto de la distribucin de los primos afirma que:

para valores de x elevados puede tomarse como

De modo que

una aproximacin del valor de . Por ejemplo Cuntos primos aproximadamente hay entre los primeros 100 millones enteros positivos?. La respuesta aproximada es La respuesta correcta es:

= .

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Divisores de un nmero entero

Todos los factores primos de cualquier divisor de otro entero deben aparecer en la descomposicin en factores de este. Agrupando en potencias los factores primos que se repiten: = 1 1 2 2 Los divisores enteros positivos de este nmero son los sumandos del desarrollo de
1 1 1 +. . + 1 + 1 +. . +1 1 1 + 2 +. . +1 2 . . 1 +

El nmero de divisores enteros de es: = 2 1 + 1 2 + 1 . . + 1

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Mximo comn divisor

Dados , se define su mximo comn divisor ( , ) como el entero > 0 tal que:

i. ii.

| |

Es decir que el mximo comn divisor de dos enteros es otro entero positivo divisor comn tal que cualquier otro divisor comn es divisor suyo.
La existencia y unicidad del mximo comn divisor es consecuencia de la existencia de la divisin eucldea y la demostracin se debe a Euclides y es constructiva, se conoce como algoritmo de Euclides.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Propiedades del mximo comn divisor

Cualquier divisor comn de dos nmeros es divisor de su mximo comn divisor. Si un nmero es mltiplo de otro el mximo comn divisor de ambos es el segundo. Dos nmeros cuyo mximo comn divisor es la unidad se dice que son primos entre si (coprimes en ingles) El mximo comn divisor del dividendo y divisor de una divisin eucldea es igual que el mximo comn divisor de divisor y resto = + < < , = (, )

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Algoritmo de Euclides

El algoritmo de Euclides es un procedimiento de clculo del mximo comn divisor de dos nmeros basado e la propiedad: = + < < , = (, )

Consiste en realizar divisiones sucesivas hasta obtener un resto nulo. Si el resto no es nulo para la siguiente divisin el divisor pasa a ser dividendo y el resto pasa a ser el divisor.
Cuando se obtiene resto nulo el ltimo divisor es el mximo comn divisor

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Algoritmo de Euclides

Dados , + o en caso de que alguno fuera negativo se considerara su opuesto ya que el mximo comn divisor ser el mismo y ser siempre positivo, se realiza la divisin eucldea sucesiva: = 1 + 1 = 1 2 + 2 1 = 2 3 + 3 . . 3 = 2 1 + 1 2 = 1 + 1 = +1 0 1 < 0 2 < 1 0 3 < 2 0 1 < 2 0 < 1

, = , 1 = 1 , 2 = = 1 , =

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Identidad de Bezout

Dados , , sea = , , entonces existen dos enteros , tales que: = + A partir de algoritmo de Euclides, comenzando por el final y sustituyendo cada resto despejado en la expresin anterior hasta llegar a la primera se obtiene el mximo comn divisor como combinacin lineal de los dos nmeros, es decir la identidad de Bezout. El clculo de los coeficientes m y n se realiza como se describe en el prrafo anterior.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Mnimo comn mltiplo

Dados , se define su mnimo comn mltiplo ( , ) como el entero > 0 tal que:

i.
ii.

|
|

Es decir que el mnimo comn mltiplo de dos enteros es otro entero positivo mltiplo comn tal que cualquier otro mltiplo comn sea mltiplo suyo. Utilizando la identidad de Bezout se puede demostrar que el producto de dos nmeros es igual que el producto de su mximo comn divisor por su mnimo comn mltiplo. = , ,

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Propiedades del mnimo comn mltiplo

Cualquier mltiplo comn de dos nmeros es mltiplo de su mnimo comn mltiplo. Si un nmero es mltiplo de otro el mnimo comn mltiplo de ambos es el primero. Dos nmeros primos entre s tienen como mnimo comn mltiplo el producto de ambos. La interseccin entre el ideal de los mltiplos de x y el ideal de los mltiplos de y es otro ideal formado por los mltiplos comunes por tanto es el ideal de los mltiplos del mnimo comn mltiplo. = = ,

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Clculo del mnimo comn mltiplo

La existencia y unicidad del mnimo comn mltiplo es consecuencia de la existencia y unicidad del mximo comn divisor y de la propiedad:

= , ,
El clculo del mnimo comn mltiplo es sencillo basndose en la propiedad anterior. Dados dos nmeros , se calcula en primer lugar su mximo comn divisor utilizando el algoritmo de Euclides = , . Despus se calcula: , = =

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Mcd y mcm con Mathematica

La descomposicin en factores es una operacin ms complicada de lo que aparenta a primera vista.
Un nmero compuesto cuyo primer factor primo es grande implica un arduo trabajo para descomponerlo en factores, mientras que el calculo del mcd de este nmero con otro puede ser muy simple y requerir pocos pasos mediante el algoritmo de Euclides. Por consiguiente, para nmeros grandes es casi siempre mas eficiente calcular mcd y mcm mediante el algoritmo de Euclides.

Mathematica utiliza el algoritmo de Euclides para el clculo de mcd.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Mcd y mcm con Mathematica

En ingles mcd se denomina greatest common divisor y se nota GCD. Del mismo modo mcm se denomina least common multiple y se nota LCM.

En Mathematica existen instrucciones para el clculo de ambos:

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Mcd y mcm por descomposicin en factores

Dados dos enteros , y sus respectivas descomposiciones en factores primos: =

Entonces, es sencillo demostrar que: m , =

,,

m , =

,,

Formulas que corresponden a las conocidas reglas factores primos comunes al menor exponente para el mcd y factores primos comunes y no comunes al mayor exponente

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Congruencias

En el conjunto de los nmeros enteros dado + se puede definir la relacin siguiente:

Otra definicin equivalente consistira en decir que dos enteros estn relacionados si y solo si dan el mismo resto en la divisin eucldea entre m. La relacin as definida verifica las propiedades reflexiva, simtrica y transitiva, de forma que es una relacin de equivalencia. Dos enteros relacionados se dice que son congruentes mdulo m.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Congruencias

Se puede comprobar que la relacin es de equivalencia y el conjunto cociente tiene m clases que se corresponden con los m posibles restos de un entero al dividir por m: = = 0, 1, 2, , 1 En el conjunto cociente se puede considerar dos operaciones: suma y producto + = + =

Las definiciones son consistentes pues se puede comprobar que el resto de la suma (producto) de dos nmero al dividir por m es la suma (producto) de los restos de ambos nmeros al dividirlos por m.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Congruencias

Suma de elementos de , : , + La definicin permite sumar dos elementos de cualesquiera y verifica: Asociativa: Conmutativa Elemento neutro Elemento opuesto + + = + + + = + + = + = + = + = , , ,
+

Se dice que con la suma forma un Grupo Abeliano

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Congruencias

Producto de elementos de , :
,

La definicin permite sumar dos elementos de cualesquiera y verifica:

Asociativa: Conmutativa Elemento unidad Distributividad = = = = + = + , , , , ,

Se dice que con la suma y producto forma un anillo conmutativo con elemento unidad denominado el anillo de los restos mdulo m.

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Considrese anillo de las clases residuales mdulo 6. Las tablas de sus operaciones son: +

Nmeros Enteros Congruencias

Obsrvese que no se verifica la propiedad cancelativa:

= y, sin embargo,
Existen divisores de cero como =

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Criterios de divisibilidad

Cualquier nmero entero positivo puede expresarse en forma de polinomio de potencias de 10 cuyos coeficientes son las cifras o dgitos del nmero: = + + + + + Esta representacin va a permitir establecer criterios de divisibilidad. Por ejemplo, considrense los restos de las potencias de 10 mdulo 3. = = = =

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa

Nmeros Enteros Criterios de divisibilidad

Los restos de todas las potencias de 10 mdulo 3 son iguales a la unidad, por tanto dado un nmero: . . = + + + + Entonces: Sumando . .
=

es decir:

Un nmero es divisible por tres si la suma del valor de sus cifras es mltiplo de 3

IES San Mateo

Bachillerato de Excelencia Ciencias y Tecnologa