Repblica Bolivariana de Venezuela

Ministerio del Poder Popular para Educacin

Universitaria, Ciencia y Tecnologa.

Tipos
De
Teoremas
Docente: Integrantes:
Yalimar Colon Zaraza,
Guanerge 23.536.761
Materia: Anlisis Matemtico

El Tigre, Marzo del 2017

 Teorema de Pitgoras

Teorema que establece que en un tringulo rectngulo el rea del cuadrado de

la hipotenusa es igual a la suma de las reas de los cuadrados de los catetos.

El teorema se puede escribir como una ecuacin que relaciona la longitud de

los lados a, b, y c, amenudo llamada la ecuacin de Pitgoras:

Ejemplo:

1. Conociendo los dos catetos calcular la hipotenusa

Los catetos de un tringulo rectngulo miden en 3 m y 4 m respectivamente.

Cunto mide la hipotenusa?

2. Conociendo la hipotenusa y un cateto, calcular el otro cateto

La hipotenusa de un tringulo rectngulo mide 5 m y uno de sus catetos 3 m.

Cunto mide otro cateto?

Teorema de Bayes
Este un procedimiento para obtener probabilidades condicionales
(probabilidades de ocurrencia de acontecimientos condicionadas a la
ocurrencia de otros acontecimientos).El teorema de Bayes da respuesta a
cuestiones de tipo causal, predictivas y de diagnstico.

La expresin del teorema de Bayes para dos variables discretas es:

Para variables que toman ms de dos valores, la expresin es:

Ejemplo:

1. El 20% de los empleados de una empresa son ingenieros y otro 20% son
economistas. El 75% de los ingenieros ocupan un puesto directivo y el
50% de los economistas tambin, mientras que los no ingenieros y los
no economistas solamente el 20% ocupa un puesto directivo. Cul es la
probabilidad de que un empleado directivo elegido al azar sea ingeniero?

2. La probabilidad de que haya un accidente en una fbrica que dispone de

alarma es 0.1. La probabilidad de que suene esta s se ha producido
algn incidente es de 0.97 y la probabilidad de que suene si no ha
sucedido ningn incidente es 0.02.
En el supuesto de que haya funcionado la alarma, cul es la
probabilidad de que no haya habido ningn incidente?

Sean los sucesos:

I = Producirse incidente.
A = Sonar la alarma.

Teorema del Binomio

El teorema del binomio, tambin llamado binomio de Newton, expresa la
ensima potencia de un binomio como un polinomio. El desarrollo del binomio
b
a+
posee singular importancia ya que aparece con mucha frecuencia en

Matemticas y posee diversas aplicaciones en otras reas del conocimiento.

b
a+
Formula general:

Ejemplo:
4
1. Desarrolle: (a + b)

6
2. Determine el quinto trmino en el desarrollo de ( x + 2 )

quinto trmino m = 5 k = 4
2
Por lo tanto el quinto trmino es 240 x

Teorema de muestreo de Nyquist-Shannon

El teorema de muestreo de Nyquist-Shannon, tambin conocido como teorema

de muestreo de (Whittaker-Nyquist-Kotelnikov-Shannon, teorema de Nyquist),
este es un teorema fundamental de la teora de la informacin, en especial
inters del campo de las telecomunicaciones y su contenido informatico.

Este demuesta que la reconstruccin exacta de una seal peridica continua

en banda base a partir de sus muestras, es matemticamente posible si la
seal est limitada en banda y la tasa de muestreo es superior al doble de su
ancho de banda.
Si la frecuencia ms alta contenida en una seal analgica
x a (t) es f max =

B y la seal se muestrea a una tasa

Fa > 2 F max 2 B entonces
x a (t) se

puede recuperar totalmente a partir de sus muestras mediante la siguiente

funcin de interpolacin:

sin2 Bt
g(t)= 2 Bt

As,
x a (t) se puede expresar como:

Ejemplo:

1.

Teorema de Incompletitud de Gdel

Los teoremas de incompletitud de Gdel son dos teoremas de lgica

matemtica demostrados por Kurt Gdel en 1931. Ambos estn relacionados
con la existencia de proposiciones indecidibles en ciertas teoras aritmticas.

Primer teorema: Cualquier teora aritmtica recursiva que sea consistente es

incompleta.

Sea una teora formal aritmtica y recursiva T -consistente. Sea la

frmula z, DEM(z, x), donde DEM es la frmula que expresa la relacin
numrica Dem relativa a la teora formal T. Por el lema de diagonalizacin
existe una sentencia G con nmero de Gdel g, para la que se
demuestra G z, DEM(z, [g]), es decir, que afirma ningn nmero codifica
una demostracin (en T) de la frmula representada por g, o de otro modo,
no soy demostrable (en T). La negacin de esta sentencia, G, es
equivalente a z, DEM(z, [g]), o mi negacin es demostrable (en T).
Supngase entonces que G puede demostrarse. Entonces existe un
nmero n que cumple Dem(n, g), y en T puede probarse entonces DEM([n],
[g]), lo cual implica formalmente G; y esto es imposible si T es consistente.
Por tanto no existe una demostracin de G, y se cumple Dem(n, g) para todos
los nmeros n, lo cual resulta en un nmero infinito de teoremas
formales DEM([n], [g]) para cada numeral [n]. Como T es -consistente, no
puede ocurrir entonces que x, DEM(x, [g]) sea un teorema, por lo que G es
indemostrable, y T es indecidible.
Segundo teorema: En toda teora aritmtica recursiva consistente T, la
frmula Consistente T no es un teorema.

La demostracin del segundo teorema de incompletitud requiere de un hecho

tcnico que Gdel originalmente no prob. Sea una teora T en las condiciones
anteriores y sea la frmula ConsisT z, DEM(z, [k]), donde k es el nmero
de Gdel de la sentencia 0 = 1. ConsisT afirma que la teora T es consistente
(pues deja algo sin demostrar). La versin formal (de la primera parte) del
primer teorema de incompletitud puede expresarse como ConsisT y,
DEM(y, [g]) y esto es equivalente precisamente a ConsisT G. De modo que,
de poder probar formalmente esta sentencia, ConsisT sera indemostrable
puesto que se tendra entonces una demostracin de G, en contradiccin con el
primer teorema.
El hecho tcnico que se necesita es precisamente una prueba de que la
demostracin del primer teorema de incompletitud puede traducirse en una
demostracin formal de la sentencia ConsisT y, DEM(y, [g]). Esto es
posible en toda teora aritmtica recursiva, ya que verifican unas
ciertas condiciones de demostrabilidad.

Ejemplo:

Teorema del Lmite Central

Si X1, X2, ..., Xn son variables aleatorias (discretas o

continuas) independientes ,con idntico modelo de probabilidad, de valor
medio y varianza 2 , entonces la distribucin de la variable

se aproxima a la de una variable normal tipificada N(0,1), mejorndose la

calidad de la aproximacin a medida que n aumenta.

Este resultado prueba que el estadstico o estimador media muestra:

Con carcter general, o al menos en los modelos de probabilidad clsicos, se
admite una aproximacin aceptable al modelo normal siempre que n sea
mayor o igual que 30, a pesar de que esta cifra es insuficiente en
determinados casos y excesiva en otros; por lo que debemos ser cautelosos en
su aplicacin. En el enlace modelos de probabilidad , se establece una relacin
de algunos modelos, con aproximaciones particulares, que en la mayora de los
casos derivan del teorema del lmite central.

Ejemplo:

Teorema de los Nmeros Primos

Teorema de los nmeros primos es un enunciado que describe la

distribucin asinttica de los nmeros primos. Este teorema da una descripcin
general de cmo estn distribuidos los nmeros primos en el conjunto de los
nmeros naturales. Esto formaliza la idea intuitiva de que los primos son
menos comunes cuanto ms grandes son.

Ejemplo:

Teorema de la Divergencia

Este relaciona el flujo de un campo vectorial a travs de una superficie cerrada

con la integral de su divergencia en el volumen delimitado por dicha superficie.
Intuitivamente se puede concebir como la suma de todas las fuentes menos la
suma de todos los sumideros da el flujo de salida neto de una regin.

Ejemplo:

Teorema de Bell

El teorema de Bell es un meta-teorema que muestra que las predicciones de

la mecnica cuntica (MC) no son intuitivas, y afecta a temas filosficos
fundamentales de la fsica moderna. Es el legado ms famoso del fsico John S.
Bell. El teorema de Bell es un teorema de imposibilidad, que afirma que:

Ninguna teora fsica de variables ocultas locales puede reproducir

todas las predicciones de la mecnica cuntica.

Ejemplo:

Teorema de Stokes

El clsico teorema de Kelvin-Stokes relaciona la integral de superficie

del rotacional del campo vectorial sobre una superficie en el 3-espacio
euclidiano a la integral de lnea del campo vectorial sobre su borde, es un caso
especial del teorema de Stokes generalizado (con n = 2) una vez que
identifiquemos el campo vectorial con una 1-forma usando la mtrica en el 3-
espacio euclidiano.

Ejemplo:

Teorema de Tales

Existen dos teoremas relacionados con la geometra clsica que reciben el

nombre de teorema de Tales, ambos atribuidos al matemtico griego Tales de
Mileto en el siglo VI a. c.

Primer Teorema: Si en un tringulo se traza una lnea paralela a cualquiera de sus lados,
se obtiene un tringulo que es semejante al tringulo dado.

Segundo Teorema: Sea B un punto de la circunferencia de dimetro AC y

centro "O", distinto de A y de C. Entonces el tringulo ABC, es un tringulo
rectngulo donde <ABC = 90.

Ejemplo:

Teorema de los Ceros de Hilbert

El Hilberts Nullstellensatz (en alemn: "teorema de los lugares de los ceros") es

un teorema en Geometra algebraica que relaciona variedades e ideales en
anillos de polinomios sobre cuerpos algebraicamente cerrados. Fue probado
inicialmente por David Hilbert.

Ejemplo:
 Teorema de Frobenius

El teorema de Frobenius, aplicado al mbito matemtico del lgebra abstracta,

afirma que la nica lgebra asociativa divisible de dimensin finita que no es
conmutativa sobre los nmeros reales son los cuaterniones. Este teorema fue
demostrado por Ferdinand Georg Frobenius en 1877.

De acuerdo a este teorema, cada lgebra es isomorfa a una de las siguientes:

R: (los nmeros reales)

C: (los nmeros complejos)
H: (los cuaterniones).

Estas lgebras tienen dimensiones 1, 2, y 4, respectivamente. De estas tres

lgebras, R y C son conmutativas, pero no lo es H.

Ejemplo:

Teorema de Fermat

En teora de nmeros, el ltimo teorema de Fermat, o teorema de Fermat-

Wiles, es uno de los teoremas ms famosos en la historia de la matemtica.
Utilizando la notacin moderna, se puede enunciar de la siguiente manera:

Si n es un nmero entero mayor que 2, entonces no existen nmeros enteros

positivos x, y y z, tales que se cumpla la igualdad:

X n +Y n =Z n

El teorema fue conjeturado por Pierre de Fermat en 1637, pero no fue

demostrado hasta 1995 por Andrew Wiles ayudado por el matemtico Richard
Taylor. La bsqueda de una demostracin estimul el desarrollo de la teora
algebraica de nmeros en el siglo XIX y la demostracin del teorema de la
modularidad en el siglo XX.

Ejemplo:

Teorema de Morley

En geometra plana, el teorema de Morley establece que, en

un tringulo cualquiera, los tres puntos de interseccin entre trisectrices de
ngulos adyacentes forman un tringulo equiltero, denominado tringulo de
Morley.

Cabe notar que, como no se puede trisecar un ngulo slo con regla y comps,
no se puede construir el tringulo de Morley con dichas limitaciones. Adems,
el teorema de Morley no se cumple en las geometras esfrica e hiperblica

Ejemplo: