Semana 7.

Alejandro Dı́az Barriga.

Axiomas de Peano
i) 1 ∈ N
ii) n ∈ N ⇒ s(n) ∈ N
iii) no existe n ∈ N t.q. s(n) = 1
iv) s(n) = s(m) ⇒ n = m
v) N es inductivo

Estos axiomas nos dan una construcción de los números naturales, nos define exactamente cuales son los números
naturales.

Veamos más a detalle que nos dicen estos axiomas, el primero nos dice que el 1 es natural, el segundo axioma
nos dice que si un número es natural, entonces su sucesor lo es, con estos 2 axiomas podemos observar que el 1 es
natural, el 2 es sucesor del natural 1, entonces tambien es natural, el 3 es sucesor del natural 2, y ası́ sucesivamente,
el 39584 será natural.

El tercer axioma nos dice que no exite natural tal que su sucesor sea 1, es decir empezamos en 1, el cuarto
axioma nos dice que no existen dos numeros distintos tales que el sucesor es el mismo para los 2.

Por último que sea inductivo, significa que si tomamos un subconjunto de los naturales que contiene al 1, y que
ademas, contiene a todos los sucesores de nuestro conjunto, entonces, el subconjunto son todos los naturales, dicho
en otras palabras:

Principio de inducción. Si S ⊂ N es tal que:

i) 1 ∈ S
ii) n ∈ S ⇒ s(n) ∈ S
Entonces S = N

En el reporte de la semana 3 hay algo breve sobre suma y multiplicacion de números naturales, hay que checarlo
y observar como usamos la definicion de sucesor para efectuar una suma.

Numeros no naturales
Existen diversos tipos de números además de los naturales, por ejemplo los enteros:
Z = {. . . − 4, −3, −2, −1, 0, 1, . . . , n, . . .} y los racionales Q, que son aquellos que admiten una expresión como
el cociente de dos enteros con denominador distinto de cero, es decir una expresion de la forma ab con b 6= 0 por
ejemplo: 23

Recordando las clases de lógica, vimos que algo cierto, siempre nos va a llevar a cosas ciertas, esto es lo que us-
amos cuando hacemos una contradicción, suponemos algo como cierto y si esto nos lleva a algo falso, entonces √ lo que
habiamos supuesto como cierto debe ser falso. A continuación haremos una contradicción para demostrar que 2 no
es racional, es decir no se puede expresar como el cociente de dos números enteros con denominador distinto de cero.
√
Demostración de que 2 no es racional: Suponemos que es racional, entonces es el cociente de dos en-
teros con denominador distinto de cero. Recordemos que los números racionales tienen distintas representaciones,
y podemos escojer un cociente reducido, es decir un cociente ab tal que a y b sean primos relativos (el único número
que divide a ambos es el 1).

1
 √ 2
Tenemos que 2 = ab , entonces 2 = ab2 , luego 2b2 = a2 , esta ecuacion nos indica que a2 es par, pues es multiplo
de 2, en la siguiente sección encontramos una demostración de que cuando un número elevado al cuadrado es par,
entonces ese número es par, es decir: a2 par ⇒ a par.
Como a es par, entonces a = 2k para algún entero k, entonces 2b2 = a2 = (2k)2 = 4k 2 . En esta ecuación podemos
observar que b2 = 2k 2 para algún entero k, por lo que b2 es par. Hemos demostrado que tanto a como b son pares,
es decir el 2 divide a ambos números a y b, por lo que la fracción ab no es reducida, esto es falso, ya que habiamos
tomado a y b de tal forma que ab fuera una fracción reducida. Como nuestra suposición nos lleva a algo falso,
√
entonces es falsa, es decir 2 no es racional.

Hay que recordar que algo falso tambien podrı́a llevarnos a algo verdadero, entonces si suponiendo algo y lleg-
amos a algo falso, lo que supusimos debe ser falso; pero si suponemos algo y llegamos a algo verdadero no podemos
saber si es falso o verdadero, ya que algo verdadero siempre nos lleva a cosas verdaderas y algo falso también podrı́a
llevarnos a algo verdadero.

Construcción de racionales con regla y compás

Euclides dio formalidad al estudio de la geometrı́a, observó que la geometrı́a podia resumirse en una serie de
axiomas y en base a ellos se podia construir lo demás. Euclides basa la lógica de sus demostraciones en lo que
puede construir usando una regla y un compás; pero estos tienen ciertas caracteristicas: la regla no es graduada y
es infinita, esto nos permite trazar rectas de cualquier longitud pero no podemos medir con ella, el compás tambien
nos permite trazar cı́rculos de cualquier longitud y además podemos copiar distancias con el, es decir si tenemos
dos puntos trazados, podemos abrı́r el compás usando como referencia esos puntos de tal forma que la abertura de
nuestro compás sea la distancia entre los puntos.

3
Si un segmento que nos determina una unidad, para construir por medio del compás y la regla de Euclides 5 de
esta unidad, Hacemos la siguiente construcción:
1. Trazamos otra recta que se intersecte en el 0 con la recta de nuestro segmento unidad (uno de los axiomas de
Euclides nos dice qaue podemos hacer esto).
2. Abrimos el compás a una distancia cualquiera(En la geometrı́a que da Euclides, no podemos medir ası́ que no
podemos decir abrimos el compás a 3cm, sin embargo podemos darle una abertura, de la cual no sabemos el
tamaño a eso me refiero con distancia cualquiera). Con esta abertura del compás, centramos el compás en 0
y marcamos una de las intersecciones con la segunda recta.
3. El compás de euclides nos permite copiar distancias, entonces podemos usar la misma abertura del compás que
acabamos de utilizar centrando el compás en la marca que ya habiamos hecho (a), y marcando nuevamente
la recta, y ası́ sucesivamente para obtener 5 segmentos del mismo tamaño.(sabemos que son iguales, pues los
construimos con la misma abertura del compás, pero no sabemos de que tamaño son.)
4. Trazamos otra recta que pase por el último punto que marcamos y el 1. (esto nos permite hacerlo otro de los
axiomas de Euclides.)
5. Con la regla y el compás de Euclides se pueden trazar paralelas, si aún no han visto como se trazan, o no
les queda muy claro como se hace pidanle a pau que les explique como trazar paralelas con regla y compás
en alguna tutoria. Trazamos paralelas de la última recta trazada que pasen por cada una de las marcas que
hicimos, estas paralelas dividirán nuestra unidad en 5 partes iguales (esto es por el teorema de thales. Si ya
vieron thales intenten ver por que son iguales tratando de hacer una demostracion formal usando el teorema
de thales, si no lo pueden demostrar, pidanle a Pau que se los demuestre o que les ponga ejercicios parecidos
que les ayuden a demostrarlo ustedes.) Como los 5 segmentos son iguales, entonces es claro que esos puntos
serán 1/5, 2/5, etc. entre ellos 3/5 que es el que queriamos construitr.
De forma parecida podemos construir 9/7, como se muestra en la figura 2.

2
 3
Figura 1: Construccion de 5

0 1 9/7

Unidad dada

9
Figura 2: Construccion de 7

Números Periodicos
Los números periodicos son aquellos que al final de su representación decimal tienen una secuencia de cifras que
se repiten indefinidamente, por ejemplo: 987. 8753142857142857142857 . . . en este caso la secuencia de cifras que se
repite indefinidamente es 142857 y decimos que el número es periodoco con periodo 6 que es la cantidad de cifras
en la secuencia que se repite. En caso de que el número tenga una cantidad de cifras finita, por ejemplo 3.5 decimos
que el número tiene periodo 0.

Para representar la fracción 73 en su representación decimal, realizamos la división. En la figura 3 se muestra

la división explı́cita. Observemos que al tener residuo 3, como el residuo 3 ya lo teniamos anteriormente, entonces
los residuos se empezarán a repetir, al igual que las cifras del resultado de nuestra división, de esta forma, el
núnero 37 es periodico de periodo 5, pues las secuencia de cifras 42857 se repetirá indefinidamente. Podemos es-
cribir 37 de la forma 0.428571,
\ lo que indica que la secuencia de cifras 42857 se repite indefinidamente. Cuando
realizamos la representación decimal de cualquier número racional pq , al hacer la división, en cada paso obtenemos
un residuo (en el caso de 37 obteniamos un residuo 2, luego 6, 4, etc.), estos residuos son siempre menores que q
por la forma en que se realiza una división, de esta forma, tenemos como posibles residuos: 1, 2, 3, ..., q − 1, que por
ser una cantidad finita, en algún momento se van a repetir y en consecuencia las cifras del resultado de nuestra

3
 3
Figura 3: división de 7

p
división tambien se van a repetir, de lo que podemos concluir que nuestro número racional q es un número periodico.

Observemos que nos tomamos un racional cualquiera pq , no un racional especı́fico, por lo que hemos demostrado
que todo racional es un número periodico.

Podemos encontrar una representación racional para 0.c 17, para esto damos un nombre a 0.c 17, digamos
x = 0.17 = 0,17171717171717 . . . Observemos que 100x = 17,171717 . . . = 17 + 0,17171717 . . . = 17 + 0.c
c 17 = 17 + x.
Nos queda la ecuación 100x = 17 + x, la solución de esta ecuación es la expresión racional 17 99 . De esta manera
17
0.c
17 = 99 . De a qui podemos concluir un método para obtener una representación racional de un número periodico,
sin embargo no estamos demostrando que todos los números periodicos tienen representación racional, ya que podria
ser que algún número fuera tal que al realizar el método nos resulte alguna ecuación sin solución, o que alguno de
los pasos de nuestro método no se pueda hacer.

Algunos observaron que al realizar el método en distintos números las ecuaciones que resultan son muy pareci-
das, esto es parte de lo que hay que ver para demostrar en forma que todo número periodico es racional, traten de
probarlo, vean que cosas falta mencionar del método, para que con eso se pueda hacer una demostración formal.

Hemos visto que los números periodicos tienen representación racional, y los racionales tienen representación
periodica, entonces Racionales y periodicos son ”masomenos lo mismo”, la única diferencia está en la definición de
ambos, y aunque al final resultan ser lo mismo, es importante tomar en cuenta esta diferencia.

Tarea
Alejandro no dejó tareas para entregar, sin embargo es importante que las hagan para que aclaren que tanto
entendieron y si tienen dudas puedan preguntarnos.
Problema 1. Demostrar que las construcciónes de 35 y 79 son correctas, es decir que si nos resultan 35 y 97 de
la unidad dada. (Para demostrarlo vean como se fué construyendo, en la construcción que viene escrita en este
documento viene incluida parte de la demostración pero hay que agregar varias cosas para justificar bien las cosas.
Problema 2. Encontrar una expresión racional para:
a. 0.315
d

b. 0.428571
\

c. 2.512
d

d. 3,35335

Ricardo Vila.

Aritmetica Generalizada
1. Lineas de fracciónes utilizadas para asociar

4
 2. Traducción del lenguaje común al lenguaje algebraico
3. Proporciones

Teorema. Dado un entero n, si n2 es par, entonces n es par y si n2 es impar, entonces n es impar.

Demostración. Si n es par, entonces n es de la forma n=2m con m un entero, ası́ n2 = (2m)2 = 4m2 = 2(2m2 ),
lo que demuestra que n2 es par(solo hay que verificar que 2m2 es entero, pero esto ocurre ya que m es un entero,
ası́ al elevarlo al cuadrado y multiplicarlo por 2 seguirá siendo entero). Ahora, Si n es impar, entonces n es de la
forma n=2m+1 con m entero, ası́ (2m + 1)2 = 4m2 + 4m + 1 = 2(2m2 + 2m) + 1, lo que demuestra que n2 es
impar(hay que verificar tambien que 2m2 + 2m es entero, pero esto ocurre por que m es entero).
Hemos demostrado que: (n par ⇒ n2 par) y (n impar ⇒ n2 impar), Hay que observar que no hemos demostrado el
teorema, pues lo que nos dice el teorema es: (n par ⇐ n2 par) y (n impar ⇐ n2 impar), pero si n2 es par, entonces
n no puede ser impar, pues demostramos que si es impar el cuadrado debe ser impar lo cual es falso, de esta forma
n debe ser impar, con esto demostramos que (n par ⇒ n2 par). De igual forma podemos demostrar que (n impar
⇒ n2 impar).
En la demostración me salto el paso, de demostrar lo de los impares, esto es para que ustedes lo hagan(no es
para entregar, pero haganlo), en la última parte de la demostración uso contradicción, tomamos como cierto n2
par, suponemos que n es impar, y llegamos a una contradicción, entonces nuestra supocicion es falsa, es decir n no
es impar, por lo tanto es par.

Detallé los apuntes de Alejandro por que me parecio bueno recalcar algunas cosas y darles un poco mas de
detalles; en el caso de la sesion de Vila no hay mucho que agregar.

Tarea
En california el descuento es del 25 % y el iva del 9.2 %. ¿Dará igual si aplican primero el iva y sobre ese precio
aplican el descuento que si lo hacen al revés? ¿Siempre dará igual o es casualidad?

Resta

Recordemos que un inverso aditivo de a es un número b que cumple lo siguiente: a + b = 0, hay que notar que
tanto el inverso aditivo como el multiplicativo son únicos, lo demostraremos para el inverso aditivo:

Tomamos un número a, sabemos que tiene un inverso aditivo, llamemosle b, entonces a + b = 0. si tomamos un
número c que es inverso aditivo de a, entonces a + c = 0, entonces observemos lo siguiente: a + b = 0, sumando c a
ambos miembros de la ecuacion, la igualdad se sigue conservando, ası́ c + a + b = c + 0, por la propiedad conmutativa
de la suma c + a = a + c, luego la igualdad c + a + b = c + 0 se transforma en a + c + b = c + 0, además a c lo escoji-
mos de tal forma que a+c = 0, ası́ nuestra igualdad resulta ser 0+b = c+0 y como 0 es neutro aditivo, entonces b = c.

Observemos lo que nos dice nuestra demostración, nos escojimos 2 inversos de a y al final encontramos que
eran iguales, entonces podemos concluir que solo exite uno. Es importante ver que tanto a como c solo tienen la
caracteristica de ser inversos de a, no escojimos valores particulares, de esta forma estamos demostrando esto para
todos los inversos de a, que resultan ser iguales. La unicidad del inverso multiplicativo queda de ejercicio.

La expresión a − b representa la suma de a con el inverso de b, que generalmente es representado como −b,
ası́ podriamos representar a − b como a + (−b) para comprender mejor el significado de la resta.

Ya hemos visto las reglas básicas del álgebra pera suma y multiplicación, y es importante notar que estas reglas
son usadas para los números reales, ahora daremos dos reglas más que necesitaremos para el uso apropiado de la
resta:
1. (−1)(x) = −x

2. (−1)(−1) = 1

5
Con base en estas propiedades podemos obtener 3 mas:
1. −(−a) = a Usando la propiedad 1 obtenemos que −(−a) = −1(−a). Aplicando nuevamente la propiedad 1
tenemos que −1(−a) = (−1)(−1(a)), aplicando la ley asociativa para el producto tenemos que
(−1)(−1(a)) = [(−1)(−1)]a, con la propiedad 2 obtenemos que [(−1)(−1)]a = [1]a, pero 1 es el neutro
multiplicativo, entonces [1]a = a, entonces en resumen hicimos lo siguiente:
−(−a) = −1(−a) = (−1)(−1(a)) = [(−1)(−1)]a = [1]a = a
2. −a(b) = −(ab) = a(−b) En la solucion de este problema no indicaremos que propiedad o axioma estamos
usando, haremos la demostración y queda como ejercicio notar cuáles propiedades estamos utilizando.
−a(b) = −1(a)(b) = −1[(a)(b)] = −[(a)(b)] = −ab = −1(a)(b) = (a)(−1)(b) = a(−b)
3. −(a + b) = (−a) + (−b) Este queda como ejercicio, lo hicimos en clase, pero es importante recordar como lo
hicimos para ver si nos quedo claro todo.

Propiedades del 0
Ya hemos visto que el 0 se define como el neutro aditivo, es decir a + 0 = 0 para todo valor de a, además vimos
que es único, para el 0 tenemos 3 propiedades que justificaremos, como ejercicio hay que indicar que propiedades
estamos utilizando:
1. a − 0 = a a − 0 = a + (−0) = a + 0 = a
2. a · 0 = 0 a · 0 = a · (1 + (−1)) = a · 1 + a · (−1) = a + a · (−1) = a + (−1) · a = a + (−a) = 0

3. Si ab = 0, entonces a = 0 o b = 0. Demostraremos esta propiedad por contradicción,

Fracciones
La expresión ab representa la multiplicacion de a con el inverso multiplicativo de b, que generalmente se denota
por b−1 . De esta forma podemos representar ab como a(b−1 ) para una mejor comprensión de esta operación.

En las fracciónes se tienen distintas formas de representar un mismo número, 12 puede ser representado como 24 ,
este tipo de fracciones que tienen el mismo valor y distinta representación son llamadas fracciones equivalentes.

Como ejercicio justificaremos las siguientes propiedades para b 6= 0 y d 6= 0:

1. 0
b =0 0
b = 0·1
b = (0 · 1)b−1 = 0(1 · b−1 ) = 0 · 1
b =0
a
2. 0 no está definido.
Esto por que 0 no tiene inverso multiplicativo, es decir 0−1 no existe, por lo que a
0 no está definido
a
3. b = dc si y solo si ad = bc
si y solo si(⇔) significa que ab = dc ⇒ ad = bc y ab = dc ⇐ ad = bc. Hay que demostrarlo en 2 partes,
primero partiremos de ab = dc , al multiplicar esta ecuación por bd obtenemos la ecuación ad = bc, con esto
demostramos la primera parte, para la segunda parte, hay que partir de ad = bc, como b y d son distintos de
0, entonces ambos tienen inverso multiplicativo, ası́ b−1 y d−1 existen, de esta forma multiplicamos ad = bc
por d−1 b−1 , y despues usando la conmutatividad y el hecho de que son inversos llegamos a la ecuación ab = dc ,
lo que nos demuestra la otra implicación. Por lo tanto se cumple el si y solo si.

4. − ab = −a a −a
b = −b y −b = b
a

Demuestrenlo, lo que tienen que usar es: el inverso multiplicativo es único, -a=(-1)a, (-1)(-1)=1(de aquı́ pueden
ver que -1 es inverso multiplicativo de 1 y como el inverso es único, entonces (−1)−1 = −1). En la tutoria
tuve problema para demostrar esto, por que olvide mostrarles el detalle de la unicidad.
a ac
5. b = bc , siempre que c 6= 0 Demuestrenlo usando la propiedad de identidad multiplicativa y la de inverso
a
6. b± dc = ad±bc
bd
Demuestrenlo usando la propiedad anterior y las propiedades ya vistas de suma y multiplicación

6
 a c ac
7. b · d = bd Demuestrenlo usando conmutatividad
a
8. b ÷ dc = ab · dc = ad
bc
Demuestrenlo usando que si x 6= 0, entonces x · x−1 = 1 por lo que x es el inverso de x−1 , es decir (x−1 )−1 = x,
notemos que es importante la unicidad, para que podamos definir el inverso multiplicativo, es decir y −1 como
el único número tal que y · y −1 = 1. No hagan cosas del tipo (x · y −1 )−1 = x−1 · y. Para calcular (x · y −1 )−1
busquen el número que al multiplicarlo por (x · y −1 )−1 nos de 1.

Negaciones
1. Determine el valor de verdad de cada una de las siguientes proposiciones, y en caso de que sean falsas,
convirtalas en verdaderas.
Un cuadrado es un polgono de tres lados iguales y tres ngulos rectos.
El 53 es un nmero primo.
El 1441 es un nmero par.

2. Represente las siguientes proposiciones compuestas (recuerde utilizar los conectivos lgicos y las letras minscu-
las) y ecribe sus negaciones
Si est lloviendo entonces est nublado.
me regala una moto o me regala un carro.
Mara es amable y sensible.
Esteban est leyendo o est trabajando en el computador.
3. Identifica cada una de las proposiciones en los siguientes enunciados, escribe su forma lgica, encuentra el
contrarecproco y escribelo nuevamente en lenguaje matemtico.
Si a.b = 0 entonces a = 0 b = 0
Si a ≥ b y b ≥ a entonces a = b
Si a 6= 0 entonces a2 > 0
Si a > b enconces a + c > b + c
Si a > b y b > c entonces a > c
Sean a, b nmeros reales tal que a+b = 0 entonces b=-a
Si a.b = a.c y a 6= 0 entonces b = c
a.b > 0 entonces (a > 0 y b > 0) (a < 0 y b < 0)
Dos ngulos son complementarios si la suma de sus medidas es 90
Si a y b son nmeros pares entonces a+b es un nmero par

Notas
De tarea esta semana está lo de Vila y que lean detalladamente este texto. Hagan los ejercicios que se dejan a lo
largo del texto, es importante que despues de cada tutoria, chequen los archivos que subimos, generalmente estan
hasta el martes, ya que requiere tiempo hacerlos, pero en general trataremos de tenerlos los lunes.

Hay que checar estos archivos y tambien revisen que todo el material de la tutoria les queda claro, y que saben
hacer todos los ejercicios, en caso de que no, para eso están las tutorias en linea. quienes no han podido ingresar al
chat, escriban un correo para ayudarlos a ingresar.

En las tutorias sismpre va a haber ejercicios que no todos hicieron y que se resuelven en el pizarron, deben checar
que efectivamente entendieron y que ustedes ya pueden resolver ese problema, no solo se conformen con entenderlo
en el pizarron, chequen esos problemas en sus casas y resuelvanlos, en ocasiones entendemos lo del pizarron, pero

7
si no lo hacemos nosotros se nos olvida.

Alguien me comento si podiamos hacer el formato de los textos mas pequeños, para no tener que imprimir tanto,
trataremos hasta donde sea posible, en este texto reduje la letra, si creen que es muy pequeña o que deberia hacerla
mas pequeña, me mandan un correo, para modificar la letra del documento.