Reglas para escribir una demostración - [Detalles]
Platicamos en que consiste una demostración, y además damos cuatro reglas a seguir para conseguir una demostración coherente y exitosa. Una demostración es una justificación de la veracidad de un teorema.
Demostración directa y primeros ejemplos - [Detalles]
Explicamos sobre el método de demostración conocido como "Demostración directa". Demostramos un teorema sobre los números pares e impares.
Demostración por casos - [Detalles]
Explicamos el método y reglas para realizar una demostración por casos. También se dan recomendaciones para saber cuándo aplicar la demostración por casos.
Teorema de la derivada y la multiplicidad. Demostración - [Detalles]
Damos la demostración del teorema de la derivada y la multiplicidad, el cual vimos en el video anterior. La demostración es relativamente sencilla teniendo en cuenta que sí "a" es de multiplicidad "m" en un polinomio entonces el polinomio es de la forma "(x-a)^m*Q(x)", por lo que podemos obtener su derivada de forma explícita, y demostrar que "a" es raíz de multiplicidad "m-1".
¿Qué es una demostración? - [Detalles]
Platicamos sobre las demostraciones, en qué consisten y que herramientas nos pueden ayudar para hacer una demostración. Las matemáticas universales y para siempre.
Como demostrar una implicación. Demostración directa - [Detalles]
Platicamos las características de la demostración directa y damos un ejemplo con una proposición sobre los números enteros múltiplos de 6.
Demostración por casos - [Detalles]
Explicamos como realizar una demostración por casos y las reglas que se deben seguir, damos ejemplos con números enteros.
Demostración por contradicción - [Detalles]
Explicamos el método de demostración por contradicción y vemos algunos ejemplos.
Demostración por contrapositiva 2 - [Detalles]
Ejemplos ilustrativos del método de demostración por contrapositiva.
Demostración por contradicción 2 - [Detalles]
Ejemplos ilustrativos del método de demostración por contradicción
Ejemplo Demostración por contradicción - [Detalles]
Damos un ejemplo de cómo aplicar la demostración por contradicción, la proposición a demostrar incluye al cuantificador existe
Teorema de existencia y unicidad. Demostración de la unicidad - [Detalles]
Demostramos la parte de unicidad del Teorema de Existencia y Unicidad de Picard, y previamente probamos dos lemas que nos ayudan a la demostración
Demostración del Teorema de Existencia y Unicidad de Picard-Lindelof - [Detalles]
Presentación de la demostración del teorema de existencia y unicidad para ecuaciones diferenciales de primer orden
Diapositivas sobre cómo escribir una demostración directa - [Detalles]
Explicamos las características de hacer una demostración directa de p implica q acompañada de una serie de ejemplos báscios respecto a este tipo de demostraciones.
Diapositivas sobre demostraciones por contrapositiva - [Detalles]
Mostramos la importancia para hacer demostración por contrapositia, lo que se requiere para hacer válida este tipo de demostración matemática, la explicación va acompañada de un ejemplo.
Diapositivas sobre demostraciones por contradicción - [Detalles]
Mostramos la importancia para hacer demostración por contradicción, lo que se requiere para hacer válida este tipo de demostración matemática, explicando la lógica acompañada. La explicación va acompañada de un par de ejemplos.
Diapositivas sobre demostraciones de conjuntos - [Detalles]
Se muestran las diferentes maneras por las cuales se demuestran proposiciones de conjuntos como la demostración de una contención; la igualdad de conjuntos por doble contención, por si y solo si; demostración por casos la cual es ocupada para demostrar propiedades de conjuntos en donde está involucrada la operación unión.
Demostración del teorema fundamental del álgebra usando el grupo fundamental del círculo - [Detalles]
En este video damos una demostración hermosa del teorema fundamental del álgebra usando e hecho de que el grupo fundamental del círculo es cíclico infinito.
Lema de Burnside: demostración alternativa - [Detalles]
Se enuncia y demuestra el Lema de Burnside (una demostración alternativa de otra que se dio en otro video que no aparece en el sitio).
Demostración del teorema de Cayley-Hamilton - [Detalles]
En esta entrada demostraremos el teorema de Cayley-Hamilton. Daremos dos demostraciones de sabores muy diferentes. La primera demostración explota las propiedades de la matriz adjunta, mientras que la segunda echa mano de las familias especiales de las cuales calculamos el polinomio característico.
Demostración de condicionales y dobles condicionales - [Detalles]
En esta entrada vemos ejemplos de demostraciones con doble implicación, algunas convenciones de su redacción y técnicas de demostración.
Teorema de Pitágoras - [Detalles]
Bella demostración del teorema de Pitágoras. Se enuncia y se demuestra el teorema de Pitágoras
Demostración por contrapositiva - [Detalles]
Explicamos el método de demostrar una implicación usando su contrapositiva y vemos algunos ejemplos.
Demostración de un bicondicional - [Detalles]
Explicamos cómo demostrar un bicondicional, es decir, un sí y solo sí. Vemos dos posibles estrategias y algunos ejemplos.
Demostración de un cuantificador - [Detalles]
Explicamos cómo demostrar una proposición o enunciado que involucre cuantificadores. Veremos las estrategias principales y ejemplos que usen los cuantificadores existe, para todo y existe un único.
Como demostrar un bicondicional (si y sólo si) - [Detalles]
Damos reglas generales para demostrar una proposición con bicondicional (si y solo sí). Particularmente utilizamos una demostración de ida y otra de vuelta.
Demostración de que hay infinitos primos - [Detalles]
Explicamos cómo demostrar que hay una cantidad infinita de números primos. Para tal fin suponemos ciertos el teorema fundamentar de la aritmética.
Ejemplo de demostración de relación de equivalencia - [Detalles]
Damos un ejemplo de relación de equivalencia con elementos del plano cartesiano y demostramos que es una relación de equivalencia, es decir, cumple las 3 propiedades
Principio de inducción - [Detalles]
Describimos el método de demostración llamado: Principio de Inducción Matemática (PIM). Explicamos como podemos usar la inducción para demostrar que una propiedad "P(n)" se cumple para todos los naturales.
Inducción matemática (1) - [Detalles]
Definimos los conjuntos inductivos, y la relación que guarda con el Principio de Inducción Matemática (PIM). También hablamos de cómo usarlo para hacer una demostración por inducción.
Inducción matemática (3) - [Detalles]
En este video demostramos la famosa Suma de Gauss, usamos inducción para demostrarla y damos otra demostración alternativa.
Damos una demostración alternativa del Teorema del Binomio. También explicamos la relación del binomio con la combinatoria y el triángulo de Pascal.
Principio de inducción - [Detalles]
Introducimos el principio de inducción matemática, el cual es un método de demostración para alguna propiedad o proposición P(n), es decir que la propiedad o proposición está relacionada a un número natural. Damos un ejemplo de cómo demostrar usando el principio de inducción, demostrando el caso base y luego el paso inductivo.
Inducción matemática (1) - [Detalles]
Definimos los conjuntos inductivos, y la relación que guarda con el Principio de Inducción Matemática (PIM). También hablamos de cómo usarlo para hacer una demostración por inducción.
El algoritmo de Euclides: enunciado y demostración. - [Detalles]
Demostramos el algoritmo de Euclides, es un método o procedimiento que nos ayuda en la búsqueda del Máximo Común Divisor de dos números enteros. Vemos que hace uso del algoritmo de la división repetidamente y que hay una relación entre el residuo y el máximo común divisor.
El mínimo común múltiplo - [Detalles]
Definimos el mínimo común múltiplo de "n" enteros. Primero damos la definición de común múltiplo y el más pequeño es aquel que tomamos como mínimo común múltiplo. Definimos la notación para expresar el mínimo común múltiplo y demostración un teorema sobre el mismo.
Hay una cantidad infinita de números primos - [Detalles]
Para terminar esta sección demostramos un teorema de bastante relevancia, el cual nos dice que existe una cantidad infinita de numero primos. La demostración es sencilla y hacemos uso del teorema fundamental de la aritmética.
Teorema de existencia y unicidad. Ecuación integral asociada - [Detalles]
Damos los primeros detalles para la demostración del Teorema de existencia y unicidad de Picard. Encontramos una manera equivalente de resolver un problema de condición inicial, que es resolviendo una ecuación integral asociada.
Teorema de existencia y unicidad. Demostración de la existencia - [Detalles]
Demostramos la parte de existencia del Teorema de Existencia y Unicidad de Picard, en un intervalo que construimos previamente mediante un lema
Teorema del valor intermedio - [Detalles]
Demostración del teorema del valor intermedio
Teorema del máximo-mínimo - [Detalles]
Demostración del teorema del máximo-mínimo
Introducción al teorema de existencia y unicidad para sistemas de ecuaciones de primer orden - [Detalles]
Enunciamos el teorema de existencia y unicidad para sistemas de ecuaciones de primer orden y damos los primeros detalles para la demostración de dicho teorema.
Regla de la cadena - [Detalles]
Demostración de la derivada de composición de funciones y la regla de la cadena.
Reglas de derivación - [Detalles]
Resumen de las reglas de derivación y demostración de la derivada de funciones frecuentes.
Derivada de las funciones exponencial y logarítmica - [Detalles]
Demostración de la derivada de las funciones exponencial y logarímica.
Derivada de la función inversa - [Detalles]
Demostración y ejemplos de la derivada de la inversa de una función.
Derivada de las funciones trigonométricas - [Detalles]
Demostración y ejemplos de la derivada de las funciones trigonométricas y sus inversas.
Teorema de Rolle y teorema del valor medio - [Detalles]
Demostración del teorema de Rolle y del teorema del Valor Medio.
Secciones locales y caja de flujos - [Detalles]
Continuamos presentando las herramientas necesarias para la demostración del teorema de Poincaré - Bendixson en el plano. En esta ocasión definimos una sección local en un punto del plano y su caja de flujos.
Diapositivas sobre reglas para escribir demostraciones - [Detalles]
Mostramos la importancia de escribir demostraciones y entablamos las cuatro reglas usuales para escribir una demostración coherente y lógica.
Diapositivas sobre cómo escribir una demostración por casos - [Detalles]
Mostramos la importancia y los motivos para poder ocupar este tipo de demostraciones por casos.
Diapositivas sobre imagen y preimagen de una función - [Detalles]
Damos la definición de 2 elementos de una función: la imagen y la preimagen; mostramos ejemplos de estos 2 conjuntos y el como identificarlos así como diferenciarlos, de igual modo enseñamos que al encontrar estos conjuntos es necesario realizar la demostración de la igualdad del conjunto con el propuesto como su preimagen o imagen.
Diapositivas sobre el principio de inducción - [Detalles]
Se muestra el proceso para realizar una demostración por inducción matemática sobre el conjunto de los números naturales, se explica el paso basi y el paso inductivo (cómo se construye la hipótesis de inducción) y unos ejemplos de como realizar este tipo de demostraciones.
Leyes de cósenos. Demostración - [Detalles]
Demostramos la ley de Cosenos, la cual es una generalización del teorema de Pitágoras en los triángulos rectángulos en trigonometría.
El enunciado del teorema de van Kampen - [Detalles]
En este video damos una breve motivación para el enunciado del teorema de van Kampen. El video lo terminamos con el enunciado formal de dicho teorema. En un video posterior daremos la demostración. Espero que lo disfruten.
La demostración del teorema de van Kampen - [Detalles]
En este video damos la demostación del teorema de van Kampen. Este teorema es la herramienta computacional más poderosa para calcular grupos fundamentales.
Álgebra homológica - el lema de la serpiente - [Detalles]
En este video enunciamos y demostramos el "lema de la serpiente". Este lema será usado en la demostración del teorema fundamental del álgebra homológica.
Homología singular - invarianza homotópica - [Detalles]
En este video demostraremos una de las propiedades fundamentales de la homología, es decir, que funciones homotópicas inducen funciones iguales en homología. La demostración es un poco larga e involucra cuentas que están relacionadas con la combinatoria del n-simplejo estándar.
Homología singular - escisión - [Detalles]
En este video enunciaremos en teorema de escisión sin demostración. Este teorema es una de las propiedades fundamentales de la homología y nos dice que siempre que tomemos homología relativa, podemos ignorar lo que pasa adentro del subespacio con el que estamos relativizando.
Homología singular - la homología de un cociente - [Detalles]
En este video demostraremos que la homología de la (buena) pareja (X,A) es isomorfa a la homología reducida del cociente X/A. La demostración hace uso del teorema de escisión.
Homología singular - invarianza de la dimensión - [Detalles]
En este video demostraremos que si dos abiertos de ciertos espacios euclideanos son homeomorfos, entonces los espacios tienen la misma dimensión. Este teorema es muy bonito porque es intuitivo el enunciado, la demostración no es nada trivial, pero con toda la herramienta que hemos desarrollado es posible demostrarlo en términos simples.
El algoritmo de Euclides - [Detalles]
Explicamos el algoritmo de Euclides con ejemplos. Damos su demostración. Vemos cómo ayuda a poner MCD como combinación lineal entera.
Algortimo de la división, teorema del factor y del residuo - [Detalles]
Acoplamos temas vistos en los enteros pero ahora para el anillo de los polinomios como el tema de divisibiliad y el teorema del algoritmo de la división conjuntamente con su demostración y su aplicación en la práctica. Asimismo se define lo que es un polinomio irreducible así como el teorema del facotor y el del residuo.
Factorización en ciclos disjuntos - [Detalles]
Demostramos que toda permutación de un conjunto finito es una composición de ciclos disjuntos. Además damos un ejemplo para ilustrar la demostración.
¿Qué son las demostraciones en matemáticas? - [Detalles]
En este video explicamos con una analogia que es una demostración en matemáticas
Ejemplo Desigualdad del Triángulo - [Detalles]
En este video, nos sumergimos en el corazón de una demostración que explora la relación entre $\vert xy - x_0y_0\vert$ y un valor $\varepsilon$ determinado, todo ello haciendo uso de la poderosa Desigualdad del Triángulo.
Los Elementos de Euclides: Teorema 4 - [Detalles]
En este video cubrimos el Teorema 4 de Los Elementos de Euclides. Aquí se realiza la demostración del criterio de congruencia de triángulos LADO - ÁNGULO - LADO.
Los Elementos de Euclides: Teorema 19 - [Detalles]
En este video cubrimos el Teorema 19 de Los Elementos de Euclides. Aquí se realiza la demostración de la propiedad de los triángulos que afirma que a mayor ángulo se opone mayor lado.
Los Elementos de Euclides: Teorema 47. Teorema de Pitágoras - [Detalles]
En este video cubrimos el Teorema 47 de Los Elementos de Euclides. Aquí se realiza la demostración del teorema de Pitágoras
Los Elementos de Euclides: Teorema 48. Recíproco del Teorema de Pitágoras. - [Detalles]
En este video cubrimos el Teorema 48 de Los Elementos de Euclides. Aquí encontrarás la demostración del recíproco del teorema de Pitágoras.
Álgebra de conjuntos - [Detalles]
En esta nueva entrada abordaremos a las operaciones entre conjuntos desde una perspectiva diferente: el álgebra. A traves de varios ejemplos veremos que existe otra forma de probar la igualdad entre conjuntos sin necesidad de usar la demostración por doble contención.
Diferencia simétrica - [Detalles]
En esta sección hablaremos de una nueva operación entre conjuntos: la diferencia simétrica. Abordaremos este tema demostrando algunos resultados con ayuda del álgebra de conjuntos, algunos otros los probaremos con el método de demostración habitual.
Principio de inducción - [Detalles]
En esta entrada hablaremos acerca del principio de inducción, este principio nos permitirá demostrar propiedades que cumple los números naturales. Será de gran importancia pues emplearemos este teorema como método de demostración en el conjunto de los naturales.
Funciones compatibles - [Detalles]
En esta entrada definiremos las funciones compatibles y veremos varios resultados relacionados a ellos. Este concepto será de gran utilidad en la demostración de nuestro siguiente teorema: el teorema de recursión.
Ejercicio Funciones invertibles por un lado - [Detalles]
En este video, abordaremos un enigma matemático fundamental: Si \(f(g(x))\) es igual a la función identidad y \(g\) es inyectiva, ¿qué podemos deducir sobre \(f\)? A través de una demostración detallada y sistemática, revelaremos que \(f\) debe ser suprayectiva.
Ejercicio Subsucesiones convergentes de sucesión de Cauchy - [Detalles]
¿Puede una sucesión de Cauchy garantizar la existencia de una subsucesión convergente? En este video, abordaremos este enigma matemático con meticulosidad y rigor, llevándote a través de una demostración exhaustiva que desentrañará este misterio. Utilizando definiciones precisas, argumentos lógicos y visualizaciones intuitivas, te guiaremos por el camino que une a las sucesiones de Cauchy con la convergencia.
Ejercicio Teorema del Sandwich - [Detalles]
¡Sumérgete en una sabrosa rebanada de matemáticas con la inigualable Ley del Sándwich! En este video, nos adentraremos en los ingredientes esenciales de esta fascinante teoría, desplegando paso a paso su demostración. Al igual que un sándwich artesanalmente preparado, esta ley tiene capas y matices que vale la pena explorar en detalle. ¿Podrán dos funciones acotar a una tercera como las rebanadas de pan a un delicioso relleno?
En esta entrada continuaremos recordando algunas propiedades vistas previamente enfocándonos en el teorema de Gauss y su demostración. Esto nos dará una pequeña pista de la relación entre las formas cuadráticas y matrices. Además, con el teorema de Gauss obtendremos un algoritmo para poder escribir cualquier forma cuadrática en una forma estandarizada. Esto nos llevará más adelante a plantear la ley de inercia de Sylvester.
Existencia de la forma canónica de Jordan - [Detalles]
Lo que haremos ahora es mostrar una versión análoga de la forma canónica de Jordan para una familia mucho más grande de matrices. De hecho, en cierto sentido tendremos un resultado análogo para todas las matrices. Primero, generalizaremos nuestra noción de bloques de Jordan para contemplar cualquier eigenvalor. Estudiaremos un poco de los bloques de Jordan. Luego, enunciaremos el teorema que esperamos probar. Finalmente, daremos el primer paso hacia su demostración.
Introducción al teorema de la función inversa - [Detalles]
Enunciamos el teorema de la función inversa y lo explicamos. Probamos resultados auxiliares para su demostración.
Demostración del teorema de la función inversa - [Detalles]
Demostramos el teorema de la función inversa para varias variables (campos vectoriales). Damos un ejemplo de su aplicación.
Teorema de la función implícita y demostración - [Detalles]
Damos el teorema de la función implícita para campos vectoriales (varias variables). Lo demostramos con el teorema de la función inversa.
Demostraciones matemáticas (El mundo de los Blorg) - [Detalles]
En esta entrada introducimos la idea de una demostración matemática, su significado y una de las primeras estrategias para empezar a demostrar.
Demostraciones por reducción al absurdo - [Detalles]
Revisaremos la estrategia de reducción al absurdo o demostración por contradicción. Revisamos algunos ejemplos y su significado.
Demostración de proposiciones con conectores - [Detalles]
En esta entrada revisamos algunos ejemplos de las demostraciones matemáticas con conectores como la conjución y disyunción.
Demostración de proposiciones con cuantificadores - [Detalles]
En esta entrada, veremos las estrategias para demostraciones matemáticas que incluyen cuantificadores como: "para todo" y "existe".
Producto de matrices con matrices - [Detalles]
Definimos el producto de matrices y vemos casos con pocas entradas. Enunciamos algunas propiedades con demostración y vemos ejemplos.
Introduciremos las nociones de cotas superiores e inferiores, y presentaremos el axioma del supremo, finalizando con la demostración de un par de consecuencias de éste.
Ejemplos demostración de limites - [Detalles]
En este video se ejemplifica cómo demostrar (épsilon-delta) que el límite cuando x tiende a 2 de f(x)=x^4 es 16, y que el límite cuando x tiende a un número positivo a, de f(x)=1/x es 1/a.
Límites Trigonométricos Especiales - Demostración - Ejercicio 1. - [Detalles]
Suscribirse en: https://www.youtube.com/user/willingtonprofe Twitter: https://twitter.com/WillingtonProfe
Teorema de la Función Inversa - [Detalles]
En este video se hace una demostración del Teorema de la Función Inversa.
COMAL: Cálculo Diferencial e Integral I - [Detalles]
Este curso de Cálculo Diferencial e Integral I introduce desde motivaciones históricas hasta temas de números reales, funciones, límites, derivadas, sucesiones y algo de series. Con actividades prácticas, videos explicativos y ejercicios, se espera que quienes usen este material conozcan con suficiente profundidad los temas propuestos y desarrollen habilidades de demostración. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.
Correctez en programas recursivos, Técnica del invariante de ciclo - [Detalles]
Técnica del invariante de ciclo - Diseño y demostración de un algoritmo iterativo mediante la técnica del invariante de ciclo.
Correctez en programas recursivos, Correctez de un algoritmo iterativo - [Detalles]
Correctez de un algoritmo iterativo - Seguimiento de la técnica del invariante del ciclo y demostración de correctez en un algoritmo iterativo.