Proyecto de Cálculo I

Nombre: Patricia Cárdenas [00117498], Andrea Gómez [00138526], Natasha Vernooij [00141192].
Nrc de la clase: 2474.
Profesor: PhD. Eduardo Alba.
Semestre:Segundo Semestre 2016-2017.
Nombre del Editor Matemático Usado: Latex
Fecha de Entrega: 20 de Abril del 2017.
Código: MAT0131.

Objetivo: La presencia de paradojas en la Antigua Grecia y su utilización en la retórica preocuparon

a muchos filósofos de la época, pues temı́an que dichas paradojas sirvieran para confundir y distorsionar la
verdad. Surge entonces la necesidad de establecer reglas claras con las cuales proceder en el discurso lógico.
La primera manisfestación de la matemática sigue justamente este requerimiento.
Ası́ es como Euclides construye un sistema de definiciones, postulados o axiomas, y teoremas que se con-
stituyeron en lo que hoy conocemos como Geometrı́a Euclideana. La Geometrı́a Euclideana es el primer
ejemplo histórico de un sistema formal.
El concepto de sistema formal fue establecido a principios de este siglo y surgió del trabajo de varios
matemáticos y logicistas como David Hilbert, Emil Post, Bertrand Russell, Allan Turin y muchos otros,
quienes trataban de responder a varias paradojas encontradas a finales del siglo XIX dentro de la teorı́a de
conjuntos. La teorı́a de conjuntos tenı́a la ambiciosa misión de fundamentar toda la matemática.

1 Proporcione las definiciones de Concepto Primario, Definición, Axioma y Teorema.

Concepto Primario
En matemática un concepto primario también se lo puede conocer como concepto básico, concepto funda-
mental o noción primitiva, se indaga que tuvo su Origen desde Grecia con la Obra de Euclides los Elementos.
Es una idea no definida que es indemostrable. Idealizaciones fundamentales dentro de un campo de estudio y
que por su compleja naturaleza no es posible enmarcarla en una sola definición, pero es palpable mediante la
intuición, llegando a ser representaciones abstractas que transmiten nociones que son esenciales para futuros
razonamientos que permitan avanzar en los diferentes campos del saber.

Definición: En matemátı́ca son enunciadaos estructurados de manera formal, basados en un lenguaje

propio, que busca delimitar entes con propiedas únicas; fundamentada en una base lógica.

Axioma: Proposición que sobrepasa lo evidente y no requiere una demostración para porbar su veracidad.

Teorema: Etimológicamente se deriva del termino latı́n theorema, a diferencia del axioma es una proposición
que requiere una demostración rigurosa para probar su veracidad.

2. Ilustre con un ejemplo cada uno de los conceptos descritos en la pregunta 1.

Ejemplos
Concepto Primario: El punto,objeto fundamental de la Geometrı́a euclideana, que carece de dimensión o
medida, es indivisible y describe una coordenada en el espacio.

Definición Una función se define como la relación entre dos o más variables, que asigna a cada valor x del
conjunto D un único elemnto de las segunda variable y, conjunto E, puede ser representada por y = f (x).

1
 Teorema El teorema de Pitágoras enuncia que, un triángulo rectángulo, la suma del cuadrado de los
catetos es igual al cuadrado de la hipotenusa.

Figure 1: Teorema de Pitágoras

3 Describa con sus palabras la estructura del lenguaje matemático.

Como todo lenguaje busca transmitir ideas , pensamientos razonamientos sujetos a las reglas establecidas
del mismo. Ya sea de un modo formal o abstracto, para ello su lenguaje se estructura con sı́mbolos que son
indispensables para su correcto entendimiento y uso, pero también hay elementos que son conformados por
nociones que son percibidos por los sentidos como es el punto, la lı́nea, planos, los números, la idea del
infinito, etc. En base a dichos elementos que son percibidos como evidentes , se fundamenta y se delimita los
axiomas, principios, y también aparecen teoremas , donde todos estos conocimientos puede converger a ideas
más complejas, y profundizar de manera racional ese universo de lo desconocido a través de este lenguaje
tan vasto.

4 Un ejemplo sencillo de un sistema formal es el siguiente: Sistema REB

Este sistema formal consta, como todo sistema formal, de un alfabeto, un conjunto de axiomas, un
conjunto de reglas de formación y conjunto de reglas de deducción.
ALFABETO: R, E, B (El alfabeto es un conjunto de sı́mbolos.)
AXIOMAS: RE (Una afirmación que asumimos como dada.)
El sistema REB consiste de palabras (teoremas) que pueden ser formadas con el alfabeto a partir del axioma
dado siguiendo las siguientes reglas de inferencia del sistema:
REGLAS
Regla 1
Si se posee una palabra cuya última letra es E se puede añadir una B al último.
Regla 2
Si se tiene la palabra Rx entonces podemos obtener Rxx.
Regla 3
Si EEE aparece en una palabra se puede reemplazar EEE por B.
Regla 4
Si la secuencia BB aparece en una palabra se puede borrar dicha secuencia.

2
 4.1 Practica las reglas del sistema deduciendo 3 teoremas cualesquiera. (es decir, formando 3 palabras
cualesquiera). Debes mencionar en tu deducción qué reglas, teoremas y axiomas utilizas.

1 1 2
RE → REE → REEB → REEBEEB.

2 2 2
RE → REB → REBEB → REBEBEBEB

2 2 3
RE → REE → REEEE → REB
4.2 Deduce RBEEB
2 2 2 2
RE → REE → REEEE → REEEEEEEE → RBEEB
4.3 ¿Puedes deducir B?

Debido a las reglas implantadas por el sistema formal, no es posible llegar del axioma a la letra B, ya
que con las reglas se puede tener infinitas combinaciones de letras pero, el problema en nuestro sistema
es eliminar R, ya que ninguna regla del sistema nos permite hacerlo. En conclusión no es posible hacer
deducciones para llegar a B.
4.4 Describe cualitativamente el efecto repetitivo de cada regla.

Cada regla esta sujeta a un número finito de combinaciones, como todo en este sistema empieza con RE,
se debe tener en cuenta en que casos es aplicable cada regla, a cada regla que se aplica puede surgir que se
pudo aplicar otra, todas estas reglas brindar un marco al cual esta restringido las posibles combinaciones de
las letra R, E, B, dentro de este sistema formal.

4.5 ¿Puedes deducir RB? Si la respuesta es afirmativa muestra la deducción. Si la respuesta es negativa
argumenta la imposibilidad de tal teorema.

No hay posibilidad de deducir RE a RB debido a que; con las reglas que nos brinda el sistema, se llega a
varias combinaciones pero no es posible reducir las expresiones a RB, una de ellas es la regla número 2, en
la cual siempre que se repite la secuencia de letras después de R, y el número de letras una vez aplicado
esta regla es siempre par, para llegar a RB, se necesita que esté la secuencia sea REEEEEEEEE, donde el
número de E’s es impar, por ello no es posible debido debido a las reglas implantadas dentro de esté sistema
formal .

4.6 Encuentra una forma ordenada de crear nuevos teoremas. Sugerencia: Haz un árbol partiendo del
axioma RE

3
 Figure 2: Árbol

RE

REE REB

REEEB REEEE
REBEB

REEEBEEB RBB REB REEEEB REBEBEBEB

RBE

5 Si son dados los puntos A(6, 7) y B(4, 5) encontrar dE (A, B) y dT (A, B) Representar gráficamente las
dos distancias en un mismo sistema de coordenadas rectangulares.

Figure 3: Distancias

Sea dT la distancia del taxista, en el gráfico es el segmento de color rojo.

Sea dE la distancia Euclidea que en el gráfico es el es el segmento de color azul.
p
dE = (x2 − x1 )2 + (y2 − y1 )2 dT = |y2 − y1 | + |x2 − x1 |
p
dE = (4 − 6)2 + (5 − 7)2 dT = |5 − 7| + |4 − |
√
dE = 13 dT = | − 2| + | − 2| = 4

dE u 3.60 dT = 4

4
 6 Verificar si el siguiente enunciado es verdadero o falso: Si A, B, C, D son cuatro puntos arbitrarios
entonces si dE (A, B) = dE (C, D) entonces dT (A, B) = dT (C, D)

A = (xa , ya ), B = (xb , yb ), C = (xc , yc ), D = (xd , yd )

⇒
p p
(xb − xa )2 + (yb − ya )2 = (xd − xc )2 + (yd − yc )2
|(xb − xa )2 + (yb − ya )2 | = |(xd − xc )2 + (yd − yc )2 |

(xb − xa )2 + (yb − ya )2 − (xd − xc )2 − (yd − yc )2 = 0

Esta condición se cumple ⇐⇒


 xb = xa
yb = ya


 xd = xc
yd = yc

⇒
dE (A, B) = dE (C, D) se cumple sólo cuando los puntos A = B y D = C.

A = (xa , ya ), B = (xb , yb ), C = (xc , yc ) D = (xd , yd )

|yb − ya | + |xb − xa | = |yb − yc | + |xd − xc |

Esta condición se cumple ⇐⇒



 xb = xa
yb = ya


 xd = xc
yd = yc

⇒
dT (A, B) = dT (C, D) se cumple sólo cuando los puntos A = B y D = C.

si dE (A, B) = dE (C, D) entonces dT (A, B) = dT (C, D)

Esta condición se cumple ⇐⇒ A = B y D = C

7 Sea A(5, 0)
7.1 Determine y grafique el conjunto de todos los puntos P (x, y) que se encuentren alejados del punto A a
una distancia del taxista de 5 unidades, es decir, encontrar el gráfico del conjunto {P |dT (P, A) = 5}.
la notación {P |dT (P, A) = 5} se lee como:” el conjunto de todos los puntos P tales que la distancia de
taxista de P a A es igual a 5”.

A = (5, 0), P = (x, y)

dT (P, A) = 5
dT (P, A) = |y − 0| + |x − 5| = 5

5
 Figure 4: Distancia de dT (P, A) = 5

7.2 Determine y grafique el conjunto de todos los puntos P que se encuentran alejados de A a una distancia
euclideana igual a 5. Esto es graficar {P |dE (P, A) = 5}

A = (5, 0), P = (x, y)

dE (P, A) = p
5
dE (P, A) = (y − 0)2 + (x − 5)2 = 5

Figure 5: Distancia de dE (P, A) = 5

7.3 ¿Cómo deberı́a llamarse el conjunto de puntos {P |dT (P, A) = 5} ? Cı́rculo del Taxista.
|∆y| |y2 −y1 |
7.4 ¿Cuál serı́a un valor razonable para π en la geometrı́a de taxista ? 2|∆x| = 2|x2 −x1 |

6
8. Determine el siguiente conjunto de puntos y utilice algún software para graficarlo. Se sugiere primero
determinar analı́ticamente el conjunto de puntos y luego graficar. Describa con sus palabras el conjunto.

{P |dT (P, A) + P |dT (P, B) = dT (A, B)}

Se tiene los siguientes puntos A = (3, 6), B = (8, 5), P (x, y)

Se calcula las distancias dT (P, A), dT (P, B) y dT (A, B)

dT (P, A) = |3 − x| + |6 − y| dT (P, B) = |8 − x| + |5 − y|
dT (A, B) = |8 − 3| + |5 − 6| = |5| + | − 1| = 6

La expresión {P |dT (P, A) + P |dT (P, B) = dT (A, B)} es |3 − x| + |6 − y| + |8 − x| + |5 − y| = 6

A continuacı́on se presenta la gráfica de: |3 − x| + |6 − y| + |8 − x| + |5 − y| = 6

Figure 6: Distancia de {P |dT (P, A) + P |dT (P, B) = dT (A, B)}

7
 Se tiene los siguientes puntos A = (5, 9), B = (2, 9), P (x, y)
Se calcula las distancias dT (P, A), dT (P, B) y dT (A, B)

dT (P, A) = |5 − x| + |9 − y| dT (P, B) = |2 − x| + |9 − y|
dT (A, B) = |2 − 5| + |9 − 9| = | − 3| + |0| = 3

Se obtiene la expresión {P |dT (P, A) + P |dT (P, B) = dT (A, B)} que es: |5−x|+|9−y|+|2−x|+|9−y| = 3
A continuacı́on se presenta la gráfica de: |5 − x| + |9 − y| + |2 − x| + |9 − y| = 3

Figure 7: Distancia de {P |dT (P, A) + P |dT (P, B) = dT (A, B)}

8
 9 Determine el siguiente conjunto de puntos y utilice algún software para graficarlo.

9.1 {P |dT (P, A) = 2dT (P, B)} con los puntos A(3, 4) y B(4, 3).
Se tiene los siguientes puntos A(3, 4) y B(4, 3) y P (x, y)
Se calcula las distancias dT (P, A), dT (P, B) ⇒ dT (P, A) = |3−x|+|4−y| dT (P, B) = |4−x|+|3−y|

Se obtiene la expresión de la forma: {P |dT (P, A) = 2dT (P, B)}

|3 − x| + |4 − y| = 2|4 − x| + 2|3 − y|
A continuación su gráfica.

Figure 8: {P |dT (P, A) = 2dT (P, B)}

9
 9.2 {P |dE (P, A) = 2dE (P, B)} donde A y B son los mismos puntos de 9.1.

p p
A(3, 4) y B(4, 3) y P (x, y) dE (P, A) = (3 − x)2 + (4 − y)2 dE (P, B) = (4 − x)2 + (3 − y)2

Se obtiene la expresión de la forma: {P |dE (P, A) = 2dE (P, B)}

p p
(3 − x)2 + (4 − y)2 = 2 (4 − x)2 + (3 − y)2

A continuación su gráfica.

Figure 9: {P |dE (P, A) = 2dE (P, B)}

(9.3) Describa las figuras obtenidas en 9.1 y 9.2.

En 9.1 se observa una figura parecida a un trapecio, el cual está rotado y trasladado, de acuerdo a la
geometrı́a del taxista este serı́a las calles por las cuales él puede viajar.

En 9.2 se observa un cı́rculo trasladado del origen, la forma de esta grafica se debe a la función, que
como es Euclidiana se aprecia que sea un cı́rculo .

10
 9.4 En un mismo de coordenadas grafique el conjunto de puntos {P |dT (P, A) = kdT (A, B)} y
sistema
P |dT (P, A) = k1 dT (A, B)

Figure 10: {P |dT (P, A) = kdT (A, B)} P |dT (P, A) = k1 dT (A, B)


9.5 Dado un valor de k, describa la relación de las gráficas de los dos conjuntos dados.

Para un valor k = 5 , las figuras tienden a contraerse sus medidas de tamaño a comparación de la figura
inicial.

9.6 Describa el efecto que se produce con el aumento de k.

A medida que k aumenta, las figuras tienden a contraerse en los respectivos conjuntos, como se puede
observar en las gráficas, las figuras de color negro son las figuras de tamanño inicial, si aumenta el valor de
k, se reduce el tamaño de la figura como se puede apreciar en las gráficas de colo rojo y azul.

11
 10 Hasta ahora hemos analizado dos maneras de medir distancias, y vimos que las dos cumplen con las
tres propiedades fundamentales. Uno podrı́a pensar entonces si es que hay más. Bueno, la respuesta es sı́,
hay una gran cantidad de “distancias” distintas en el plano. Por ejemplo se puede definir.

dm(A, B) = max {|xA − xB |, |yA − yB |}

En una misma figura grafique el conjunto de todos los puntos que equidistan del punto O ,(0, 0) a una
distancia de 8, usando las tres diferentes distancias que se han definido. Es decir,dibujaremos las tres cir-
cunferencias con centro en 0 y radio 7.
p
7= (x − 0)2 + (y − 0)2 7 = |x − 0| + |y − 0| 7 = max {|0 − x|, |0 − y|}

Figure 11: Gráfico de las tres circunferencias

11 Tercera parte RESOLUCIÓN DE PROBLEMAS

Lea la sección Principios para la Resolución de Problemas del final del capı́tulo 1 de su Texto y realice los
problemas 14,16,17 de la página 80. Es muy importante que la respuesta de estos ejercicios esté desarrollada
con todos los procedimientos.

14 Use un razonamiento indirecto para probar que log25 es un número irracional.

H0 : Asumimos que log2 5 es irracional.

⇒ log2 5 = pq para números naturales p y q.
Tomando la forma exponencial de la expresión. 2p/q = 5 y elevando ambos lados de la ecuación por q
⇒ 2p = 5q , pero 2p es par y 5q es impar.
⇒ Tenemos una contradicción. ⇒ Rechazamos H0 ⇒ Concluiomos que log2 5 es irracional.

12
 16 ¿Es verdad que f ◦ (g + h) = f ◦ g + f ◦ h?
Asumimos f (x) =senx, g(x) = x y h(x) = x

⇒ El lado izquierdo de la ecuación es [f ◦ (g + h)](x) =sen(x + x) =sen(2x) = 2senxcosx]

y el lado derecho es (f ◦ g)(x) + (f ◦ h)(x) =senx+senx=2senx
⇒ Las ecuaciones no son iguales.

⇒ El enunciado f ◦ (g + h) = f ◦ g + f ◦ h es falso.

17 Demuestre que si n es un entero positivo, entonces 7n − 1 es divisible entre 6.

Sea la afirmación Q = 7n − 1 es divisible para 6.
⇒ Asumimos que Q es verdadera. ⇒ 7k − 1 es divisible para 6.
⇒ 7k − 1 = 6n para cualquier número entero. 7k − 1 = 7k .7 − 1 = (6n + 1).7 − 7 = 42n + 6
⇒ 42n + 6 = 6(7n + 1) ⇒ es divisible para 6.
⇒ Q es verdadera

13
References
[1] Tom M Apostol. Análisis matemático. Reverté, 1996.
[2] William Anthony Granville. Cálculo diferencial e integral. Limusa,, 1980.
[3] NN Piskunov et al. Cálculo diferencial e integral. 1970.
[4] James Stewart. Calculus. Cengage Learning, 2015.

14