1) El documento habla sobre la introducción a las demostraciones matemáticas para estudiantes de primer año de la carrera de matemáticas.
2) Explica diferentes métodos de demostración como el método directo, reducción al absurdo y por inducción matemática.
3) Resalta la importancia de entender claramente las hipótesis y el objetivo de la demostración al enfrentarse a una.
Este documento introduce el concepto de límite de forma intuitiva a través de ejemplos numéricos. Explica que un límite representa el valor al que se acerca una función cuando su variable independiente tiende a un valor particular. Muestra cómo calcular límites mediante tablas que ilustran cómo la función se aproxima a un valor conforme la variable se acerca a cierto número. También introduce los límites de sucesiones numéricas y explica cómo determinar el valor al que tienden mediante la eliminación de la periodicidad en las expresiones.
1. El documento presenta una paradoja sobre un explorador capturado por caníbales.
2. Explica las operaciones lógicas de conectivos y tautologías usando la paradoja como ejemplo.
3. Presenta dos problemas lógicos para aplicar reglas de inferencia y llegar a una conclusión a partir de premisas dado.
Lógica y conjuntos proposiciones y cuantificadoresjazzme
Este documento presenta información sobre proposiciones y cuantificadores. Incluye definiciones de proposiciones singulares, particulares y universales, así como reglas para la traducción del lenguaje natural al simbólico usando cuantificadores existenciales y universales. También cubre temas como reglas de cuantificación, pruebas de validez e invalidez, proposiciones multicuanticadas, y negación de cuantificadores. El documento proporciona ejemplos para ilustrar cada uno de estos conceptos lógic
1. El documento presenta conceptos básicos sobre números enteros como números primos, compuestos, primos entre sí y sus propiedades. 2. Incluye fórmulas para calcular divisores, suma de divisores, suma de inversas de divisores, producto de divisores y la función de Euler. 3. Contiene 26 problemas de práctica relacionados con estos conceptos numéricos.
Este documento presenta un índice de 28 capítulos sobre álgebra. Los capítulos cubren temas como potenciación, radicación, polinomios, ecuaciones exponenciales, factorización, ecuaciones de segundo grado, números complejos, funciones y logaritmos. Adicionalmente, incluye ejercicios resueltos de cada tema.
Este documento presenta 4 problemas resueltos sobre lógica proposicional. El primer problema evalúa las proposiciones (5 + 4 = 9) ∧ (4 + 7 < 10) y (10 + 15 = 25) → (4 > 5) usando tablas de verdad. El segundo problema evalúa la proposición (¬p ∧ q) → (q → p). El tercer problema encuentra el valor de verdad de (p → ¬q) ∧ (¬q → r) sabiendo que (¬p → q) ∨ r es falso. El cuart
Problemas resueltos de matemática_ preuniversitarioNklp Peláez
1. The maximum value of n is 3 based on the equations: m -2 = n +5 and n2 +5 = m+4.
2. The polynomial is reducible to a single term with coefficient 48.
3. Based on the equation 1239=1.92 +2.9+3, the value of a×b is 4×2=8.
Este documento introduce el concepto de límite de forma intuitiva a través de ejemplos numéricos. Explica que un límite representa el valor al que se acerca una función cuando su variable independiente tiende a un valor particular. Muestra cómo calcular límites mediante tablas que ilustran cómo la función se aproxima a un valor conforme la variable se acerca a cierto número. También introduce los límites de sucesiones numéricas y explica cómo determinar el valor al que tienden mediante la eliminación de la periodicidad en las expresiones.
1. El documento presenta una paradoja sobre un explorador capturado por caníbales.
2. Explica las operaciones lógicas de conectivos y tautologías usando la paradoja como ejemplo.
3. Presenta dos problemas lógicos para aplicar reglas de inferencia y llegar a una conclusión a partir de premisas dado.
Lógica y conjuntos proposiciones y cuantificadoresjazzme
Este documento presenta información sobre proposiciones y cuantificadores. Incluye definiciones de proposiciones singulares, particulares y universales, así como reglas para la traducción del lenguaje natural al simbólico usando cuantificadores existenciales y universales. También cubre temas como reglas de cuantificación, pruebas de validez e invalidez, proposiciones multicuanticadas, y negación de cuantificadores. El documento proporciona ejemplos para ilustrar cada uno de estos conceptos lógic
1. El documento presenta conceptos básicos sobre números enteros como números primos, compuestos, primos entre sí y sus propiedades. 2. Incluye fórmulas para calcular divisores, suma de divisores, suma de inversas de divisores, producto de divisores y la función de Euler. 3. Contiene 26 problemas de práctica relacionados con estos conceptos numéricos.
Este documento presenta un índice de 28 capítulos sobre álgebra. Los capítulos cubren temas como potenciación, radicación, polinomios, ecuaciones exponenciales, factorización, ecuaciones de segundo grado, números complejos, funciones y logaritmos. Adicionalmente, incluye ejercicios resueltos de cada tema.
Este documento presenta 4 problemas resueltos sobre lógica proposicional. El primer problema evalúa las proposiciones (5 + 4 = 9) ∧ (4 + 7 < 10) y (10 + 15 = 25) → (4 > 5) usando tablas de verdad. El segundo problema evalúa la proposición (¬p ∧ q) → (q → p). El tercer problema encuentra el valor de verdad de (p → ¬q) ∧ (¬q → r) sabiendo que (¬p → q) ∨ r es falso. El cuart
Problemas resueltos de matemática_ preuniversitarioNklp Peláez
1. The maximum value of n is 3 based on the equations: m -2 = n +5 and n2 +5 = m+4.
2. The polynomial is reducible to a single term with coefficient 48.
3. Based on the equation 1239=1.92 +2.9+3, the value of a×b is 4×2=8.
El documento habla sobre funciones racionales, que son funciones cuya fórmula es una expresión racional. Explica que el dominio de una función racional es el conjunto de valores de la variable que no anulan al denominador. También cubre cómo simplificar expresiones racionales cuando existen factores comunes en el numerador y denominador, y cómo encontrar ceros, asíntotas y cortes con los ejes de una función racional.
El documento explica cómo resolver inecuaciones cuadráticas de la forma ax2 + bx + c < 0 (o >0, ≥0, ≤0) donde a ≠ 0. Se describen los pasos para escribir la inecuación en forma estándar, resolver la ecuación asociada, usar las raíces como puntos críticos para dividir la recta numérica en intervalos, y determinar el signo del polinomio en cada intervalo para encontrar la solución.
El documento define una relación binaria como un subconjunto de la multiplicación cartesiana de dos conjuntos A y B. Describe las propiedades de reflexividad, simetría, asimetría, transitividad y antisimetría que pueden tener las relaciones binarias. También define el dominio y rango de una relación como los conjuntos de las primeras y segundas componentes de los pares ordenados en la relación. Finalmente, da ejemplos de relaciones binarias entre conjuntos de productos y animales de producción, y entre números.
El documento presenta notas de clase sobre álgebra lineal. Incluye definiciones de conceptos clave como matrices, tipos de matrices, suma y diferencia de matrices, y ejemplos de problemas resueltos que involucran sumar y restar matrices. También contiene tablas de contenido y referencias bibliográficas al final.
Este documento describe diferentes tipos de relaciones binarias, incluyendo relaciones simétricas, antisimétricas y transitivas. Una relación es simétrica si x está relacionado con y implica que y también está relacionado con x. Una relación es antisimétrica si x está relacionado con y excluye que y esté relacionado con x. Una relación es transitiva si si x está relacionado con y y y está relacionado con z, entonces x está relacionado con z.
Este documento explica cómo resolver desigualdades y encontrar su conjunto solución. Primero define una desigualdad como la relación de orden entre dos cantidades. Luego, muestra un ejemplo de encontrar los valores de la variable x que satisfacen la desigualdad 3x - 2 < 8, sustituyendo valores del conjunto {-3, 2, 4, 5} y evaluando si son verdaderas u falsas. Los valores -3 y 2 hacen que la desigualdad sea verdadera y por lo tanto son soluciones.
El documento describe el orden de los números enteros. Explica que los números enteros están ordenados y que se puede determinar si un número es mayor, menor o igual que otro. También define que un número fraccionario a/b es mayor que otro c/d si y solo si el producto ad es mayor que bc.
Ejercicios de Química Orgánica Básica - 6.Biomoléculas - 04 Nucleótidos y din...Triplenlace Química
Este documento presenta información sobre nucleótidos y dinucleótidos. Instruye al lector a escribir las fórmulas de a) 5'-citidina monofosfato, b) 5'-desoxiguanosina monofosfato, y c) un dinucleótido formado por la unión de ambos. Explica que los mononucleótidos se forman por la unión de una base nitrogenada, un azúcar y ácido fosfórico, y que los dinucleótidos se forman por la unión de dos mononucleó
El conjunto de los números enteros (Z) incluye los números positivos, negativos y cero. Las operaciones de suma y multiplicación de números enteros siguen propiedades como la cerradura, asociatividad, conmutatividad y la existencia de un elemento neutro. La suma de números enteros siempre resulta en otro número entero, mientras que el producto de un número entero por uno es el número mismo.
1. Existen varios criterios para determinar si una serie es convergente o divergente, incluyendo el criterio de comparación, el criterio del cociente, el criterio de la raíz y el criterio de la integral.
2. El criterio de comparación establece que si los términos de una serie son menores o iguales a los términos de otra serie convergente, entonces la primera serie también es convergente.
3. El criterio de la integral compara la convergencia de una serie con la convergencia de la integral asociada.
Este documento presenta información sobre conjuntos y álgebra. Explica diferentes tipos de conjuntos como finitos, infinitos, vacíos, unitarios y universales. También cubre relaciones entre conjuntos como inclusión, igualdad y diferencia. Por último, proporciona ejemplos de operaciones con conjuntos como unión, intersección y complemento.
Este documento trata sobre funciones lineales y afines. Explica que las funciones lineales tienen la forma f(x)=mx, donde m es la pendiente, y que las funciones afines tienen la forma f(x)=mx+n, donde m es la pendiente y n es el término independiente. También describe cómo calcular la pendiente a partir de dos puntos y cómo encontrar la ecuación de una recta dada un punto y su pendiente. Finalmente, incluye ejemplos de gráficos de funciones lineales.
El documento presenta 12 problemas de razonamiento lógico. Cada problema presenta hipótesis y una conclusión, y pide determinar si el razonamiento es válido o no. Los problemas cubren temas como condicionales, bicondicionales, disyunciones y conjunciones.
Este documento trata sobre el tema de las derivadas de funciones algebraicas. Explica conceptos como la pendiente de una recta tangente, tasas de cambio, cómo determinar la derivada de una función, reglas de derivación y derivadas de orden superior. También cubre temas como incrementos y diferenciales, derivadas de funciones compuestas usando la regla de la cadena, y derivación implícita. El documento provee ejemplos para ilustrar cada uno de estos conceptos.
1) El documento presenta diferentes ejercicios sobre lógica proposicional. Define símbolos para describir proposiciones sobre restaurantes y traduce oraciones al lenguaje simbólico. 2) Explica operadores lógicos como negación, conjunción, disyunción e implicación y provee ejemplos. 3) Solicita construir tablas de verdad para diferentes esquemas proposicionales y evaluar expresiones dadas sus valores de verdad.
1. El documento presenta 10 métodos para factorizar expresiones algebraicas. Estos incluyen factor común, trinomio cuadrado perfecto, diferencia de cuadrados, suma o diferencia de cubos perfectos y suma o diferencia de potencias iguales.
2. Se proporcionan ejemplos y reglas para cada método de factorización. Además, se incluyen 95 ejercicios para que los estudiantes apliquen estos métodos.
3. El objetivo general es enseñar diferentes técnicas para descomponer expresiones algebraicas en fact
Este documento trata sobre lógica proposicional. Explica conceptos como proposiciones, conectores lógicos, tablas de verdad, razonamientos y reglas de inferencia. Además, introduce la lógica simbólica y los fundamentos de la lógica formal.
Este documento define y explica los conceptos de grafo bipartito y grafo bipartito completo. Un grafo bipartito es aquel cuyos vértices se pueden separar en dos conjuntos disjuntos de tal forma que cada arista una un vértice de un conjunto con uno del otro. Un grafo bipartito completo es aquel donde cada vértice de un conjunto está conectado a todos los vértices del otro conjunto.
Este documento trata sobre los conceptos de grado relativo y grado absoluto de un polinomio. El grado relativo de un polinomio está representado por el mayor exponente de una variable dada, mientras que el grado absoluto está representado por el monomio de mayor grado general. Se proporcionan ejemplos y ejercicios resueltos para ilustrar estos conceptos.
Este documento presenta información sobre estructuras lógicas discretas. Explica conceptos como proposiciones, conectivos lógicos, tablas de verdad, leyes del álgebra proposicional y su aplicación en matemáticas e ingeniería. También describe métodos de demostración como directa, indirecta, por reducción al absurdo y por contraposición y cómo representar expresiones lógicas mediante circuitos.
El documento habla sobre la lógica matemática. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido mediante reglas y técnicas. También se aplica ampliamente en filosofía, matemáticas y computación. Describe los diferentes tipos de proposiciones como simples y compuestas, y los operadores lógicos como AND, OR, condicionales y bicondicionales. Finalmente, presenta conceptos como tautologías, contradicciones, leyes de la ló
El documento habla sobre funciones racionales, que son funciones cuya fórmula es una expresión racional. Explica que el dominio de una función racional es el conjunto de valores de la variable que no anulan al denominador. También cubre cómo simplificar expresiones racionales cuando existen factores comunes en el numerador y denominador, y cómo encontrar ceros, asíntotas y cortes con los ejes de una función racional.
El documento explica cómo resolver inecuaciones cuadráticas de la forma ax2 + bx + c < 0 (o >0, ≥0, ≤0) donde a ≠ 0. Se describen los pasos para escribir la inecuación en forma estándar, resolver la ecuación asociada, usar las raíces como puntos críticos para dividir la recta numérica en intervalos, y determinar el signo del polinomio en cada intervalo para encontrar la solución.
El documento define una relación binaria como un subconjunto de la multiplicación cartesiana de dos conjuntos A y B. Describe las propiedades de reflexividad, simetría, asimetría, transitividad y antisimetría que pueden tener las relaciones binarias. También define el dominio y rango de una relación como los conjuntos de las primeras y segundas componentes de los pares ordenados en la relación. Finalmente, da ejemplos de relaciones binarias entre conjuntos de productos y animales de producción, y entre números.
El documento presenta notas de clase sobre álgebra lineal. Incluye definiciones de conceptos clave como matrices, tipos de matrices, suma y diferencia de matrices, y ejemplos de problemas resueltos que involucran sumar y restar matrices. También contiene tablas de contenido y referencias bibliográficas al final.
Este documento describe diferentes tipos de relaciones binarias, incluyendo relaciones simétricas, antisimétricas y transitivas. Una relación es simétrica si x está relacionado con y implica que y también está relacionado con x. Una relación es antisimétrica si x está relacionado con y excluye que y esté relacionado con x. Una relación es transitiva si si x está relacionado con y y y está relacionado con z, entonces x está relacionado con z.
Este documento explica cómo resolver desigualdades y encontrar su conjunto solución. Primero define una desigualdad como la relación de orden entre dos cantidades. Luego, muestra un ejemplo de encontrar los valores de la variable x que satisfacen la desigualdad 3x - 2 < 8, sustituyendo valores del conjunto {-3, 2, 4, 5} y evaluando si son verdaderas u falsas. Los valores -3 y 2 hacen que la desigualdad sea verdadera y por lo tanto son soluciones.
El documento describe el orden de los números enteros. Explica que los números enteros están ordenados y que se puede determinar si un número es mayor, menor o igual que otro. También define que un número fraccionario a/b es mayor que otro c/d si y solo si el producto ad es mayor que bc.
Ejercicios de Química Orgánica Básica - 6.Biomoléculas - 04 Nucleótidos y din...Triplenlace Química
Este documento presenta información sobre nucleótidos y dinucleótidos. Instruye al lector a escribir las fórmulas de a) 5'-citidina monofosfato, b) 5'-desoxiguanosina monofosfato, y c) un dinucleótido formado por la unión de ambos. Explica que los mononucleótidos se forman por la unión de una base nitrogenada, un azúcar y ácido fosfórico, y que los dinucleótidos se forman por la unión de dos mononucleó
El conjunto de los números enteros (Z) incluye los números positivos, negativos y cero. Las operaciones de suma y multiplicación de números enteros siguen propiedades como la cerradura, asociatividad, conmutatividad y la existencia de un elemento neutro. La suma de números enteros siempre resulta en otro número entero, mientras que el producto de un número entero por uno es el número mismo.
1. Existen varios criterios para determinar si una serie es convergente o divergente, incluyendo el criterio de comparación, el criterio del cociente, el criterio de la raíz y el criterio de la integral.
2. El criterio de comparación establece que si los términos de una serie son menores o iguales a los términos de otra serie convergente, entonces la primera serie también es convergente.
3. El criterio de la integral compara la convergencia de una serie con la convergencia de la integral asociada.
Este documento presenta información sobre conjuntos y álgebra. Explica diferentes tipos de conjuntos como finitos, infinitos, vacíos, unitarios y universales. También cubre relaciones entre conjuntos como inclusión, igualdad y diferencia. Por último, proporciona ejemplos de operaciones con conjuntos como unión, intersección y complemento.
Este documento trata sobre funciones lineales y afines. Explica que las funciones lineales tienen la forma f(x)=mx, donde m es la pendiente, y que las funciones afines tienen la forma f(x)=mx+n, donde m es la pendiente y n es el término independiente. También describe cómo calcular la pendiente a partir de dos puntos y cómo encontrar la ecuación de una recta dada un punto y su pendiente. Finalmente, incluye ejemplos de gráficos de funciones lineales.
El documento presenta 12 problemas de razonamiento lógico. Cada problema presenta hipótesis y una conclusión, y pide determinar si el razonamiento es válido o no. Los problemas cubren temas como condicionales, bicondicionales, disyunciones y conjunciones.
Este documento trata sobre el tema de las derivadas de funciones algebraicas. Explica conceptos como la pendiente de una recta tangente, tasas de cambio, cómo determinar la derivada de una función, reglas de derivación y derivadas de orden superior. También cubre temas como incrementos y diferenciales, derivadas de funciones compuestas usando la regla de la cadena, y derivación implícita. El documento provee ejemplos para ilustrar cada uno de estos conceptos.
1) El documento presenta diferentes ejercicios sobre lógica proposicional. Define símbolos para describir proposiciones sobre restaurantes y traduce oraciones al lenguaje simbólico. 2) Explica operadores lógicos como negación, conjunción, disyunción e implicación y provee ejemplos. 3) Solicita construir tablas de verdad para diferentes esquemas proposicionales y evaluar expresiones dadas sus valores de verdad.
1. El documento presenta 10 métodos para factorizar expresiones algebraicas. Estos incluyen factor común, trinomio cuadrado perfecto, diferencia de cuadrados, suma o diferencia de cubos perfectos y suma o diferencia de potencias iguales.
2. Se proporcionan ejemplos y reglas para cada método de factorización. Además, se incluyen 95 ejercicios para que los estudiantes apliquen estos métodos.
3. El objetivo general es enseñar diferentes técnicas para descomponer expresiones algebraicas en fact
Este documento trata sobre lógica proposicional. Explica conceptos como proposiciones, conectores lógicos, tablas de verdad, razonamientos y reglas de inferencia. Además, introduce la lógica simbólica y los fundamentos de la lógica formal.
Este documento define y explica los conceptos de grafo bipartito y grafo bipartito completo. Un grafo bipartito es aquel cuyos vértices se pueden separar en dos conjuntos disjuntos de tal forma que cada arista una un vértice de un conjunto con uno del otro. Un grafo bipartito completo es aquel donde cada vértice de un conjunto está conectado a todos los vértices del otro conjunto.
Este documento trata sobre los conceptos de grado relativo y grado absoluto de un polinomio. El grado relativo de un polinomio está representado por el mayor exponente de una variable dada, mientras que el grado absoluto está representado por el monomio de mayor grado general. Se proporcionan ejemplos y ejercicios resueltos para ilustrar estos conceptos.
Este documento presenta información sobre estructuras lógicas discretas. Explica conceptos como proposiciones, conectivos lógicos, tablas de verdad, leyes del álgebra proposicional y su aplicación en matemáticas e ingeniería. También describe métodos de demostración como directa, indirecta, por reducción al absurdo y por contraposición y cómo representar expresiones lógicas mediante circuitos.
El documento habla sobre la lógica matemática. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido mediante reglas y técnicas. También se aplica ampliamente en filosofía, matemáticas y computación. Describe los diferentes tipos de proposiciones como simples y compuestas, y los operadores lógicos como AND, OR, condicionales y bicondicionales. Finalmente, presenta conceptos como tautologías, contradicciones, leyes de la ló
Trabajo de logica matematica modalidad.olave_julian
El documento habla sobre la lógica matemática. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido mediante reglas y técnicas. También se aplica ampliamente en filosofía, matemáticas y computación. Describe conceptos como proposiciones, proposiciones compuestas, tablas de verdad, leyes lógicas y métodos de demostración.
El documento habla sobre la lógica matemática. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido mediante reglas y técnicas. También se aplica ampliamente en filosofía, matemáticas y computación. Describe los diferentes tipos de proposiciones como simples y compuestas, y los operadores lógicos como AND, OR, condicionales y bicondicionales. Finalmente, presenta conceptos como tautologías, contradicciones, leyes de la ló
Este documento describe varios métodos de demostración matemática, incluyendo métodos deductivos, directos, inductivos y reducción al absurdo. Explica cada método con ejemplos y pasos a seguir para aplicarlos correctamente en demostraciones matemáticas formales.
en esta publicación veremos el motivo de saber analizar un problema que a simple vista, pareciera ser correcto en procedimiento pero nos damos cuento que el resultado es erróneo y hay es donde entra el análisis exhausto de una falacia, la cual es un argumento que parece valido pero no lo es, aquí les dejo esta pequeña explicación
El documento describe diferentes métodos de demostración matemática, incluyendo métodos deductivos, inductivos y reducción al absurdo. Explica que el método deductivo parte de premisas generales para llegar a conclusiones particulares a través de silogismos. El método inductivo se usa para demostrar propiedades verdaderas para números naturales infinitos mediante pasos básicos, inductivos y de conclusión. El método de reducción al absurdo supone que una proposición es falsa y muestra que esto lleva a una contradicción, por lo que la
Este documento presenta un ejercicio matemático resuelto de manera incorrecta que contiene un error. Define varios conceptos matemáticos como lógica aristotélica, demostración y operaciones algebraicas básicas para analizar el ejercicio paso a paso y encontrar dónde se cometió el error, el cual surgió al obtener 1 = 0 al final del problema.
El documento describe diferentes métodos de demostración matemática como el deductivo, inductivo y reducción al absurdo. El método deductivo parte de premisas generales para llegar a conclusiones particulares a través de silogismos. El método inductivo demuestra propiedades para números naturales mediante un paso básico, inductivo y conclusión. El método de reducción al absurdo supone que una proposición es falsa y muestra que esto lleva a una contradicción, por lo que la proposición debe ser cierta.
El documento discute diferentes temas relacionados con el conocimiento matemático. Explica que este conocimiento se mueve entre su naturaleza histórica y los objetos matemáticos actuales. También describe cómo se adquiere este conocimiento a través de la intuición directa o del razonamiento deductivo reflexivo. Finalmente, analiza diferentes métodos para establecer la verdad de proposiciones matemáticas como la inducción o la reducción al absurdo.
1) El objetivo es experimentar métodos de demostración directa e indirecta. 2) Se definirán proposiciones y se identificarán sus conectivos lógicos. 3) Se conocerán diferentes formas proposicionales como tautologías y contradicciones, y leyes del álgebra proposicional.
3ro numero complejos mishel barzallo jeremy polo damarisjordycedillo1
Este documento describe cinco métodos de demostración matemática: 1) método directo, 2) método indirecto por contrapositiva, 3) método indirecto por reducción al absurdo, 4) método de inducción matemática, y 5) método por contraejemplo. Explica brevemente cada método y provee ejemplos ilustrativos. El documento concluye con definiciones de axioma, teorema y postulado.
Este documento presenta los diferentes métodos de demostración en matemáticas como el método directo, indirecto por contrapositiva y reducción al absurdo, inducción matemática y por contraejemplo. Explica cada método con ejemplos y define conceptos como axioma, teorema e inferencia. El documento es para el curso de 3ro BGU sobre métodos de demostración en matemáticas.
Este documento trata sobre lógica matemática. Explica que estudia sistemas formales y cómo representan conceptos matemáticos usando lenguaje formal. También define conceptos como proposiciones, conectivos lógicos, tautologías, contradicciones y métodos de demostración. Finalmente, resume varias leyes y principios importantes en lógica como las leyes de De Morgan y el principio de inducción matemática.
El documento trata sobre lógica matemática. Explica que estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha sido fundamental para el estudio de los fundamentos de las matemáticas.
El documento trata sobre lógica matemática. Explica que estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha sido fundamental para el estudio de los fundamentos de las matemáticas.
La lógica matemática estudia los sistemas formales y cómo codifican nociones matemáticas usando lenguaje formal. Se divide en teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. En matemáticas, una proposición puede ser verdadera o falsa pero no ambas, y los conectivos lógicos como la negación, conjunción y disyunción conectan proposiciones. Los métodos de demostración incluyen métodos directos, indirectos y por inducción
Similar a Linero demostracion matematicas(jsimon) (20)
Soluciones Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinar...Juan Martín Martín
Criterios de corrección y soluciones al examen de Geografía de Selectividad (EvAU) Junio de 2024 en Castilla La Mancha.
Soluciones al examen.
Convocatoria Ordinaria.
Examen resuelto de Geografía
conocer el examen de geografía de julio 2024 en:
https://blogdegeografiadejuan.blogspot.com/2024/06/soluciones-examen-de-selectividad.html
http://blogdegeografiadejuan.blogspot.com/
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMJuan Martín Martín
Examen de Selectividad de la EvAU de Geografía de junio de 2023 en Castilla La Mancha. UCLM . (Convocatoria ordinaria)
Más información en el Blog de Geografía de Juan Martín Martín
http://blogdegeografiadejuan.blogspot.com/
Este documento presenta un examen de geografía para el Acceso a la universidad (EVAU). Consta de cuatro secciones. La primera sección ofrece tres ejercicios prácticos sobre paisajes, mapas o hábitats. La segunda sección contiene preguntas teóricas sobre unidades de relieve, transporte o demografía. La tercera sección pide definir conceptos geográficos. La cuarta sección implica identificar elementos geográficos en un mapa. El examen evalúa conocimientos fundamentales de geografía.
José Luis Jiménez Rodríguez
Junio 2024.
“La pedagogía es la metodología de la educación. Constituye una problemática de medios y fines, y en esa problemática estudia las situaciones educativas, las selecciona y luego organiza y asegura su explotación situacional”. Louis Not. 1993.
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...JAVIER SOLIS NOYOLA
El Mtro. JAVIER SOLIS NOYOLA crea y desarrolla el “DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARIS”. Esta actividad de aprendizaje propone el reto de descubrir el la secuencia números para abrir un candado, el cual destaca la percepción geométrica y conceptual. La intención de esta actividad de aprendizaje lúdico es, promover los pensamientos lógico (convergente) y creativo (divergente o lateral), mediante modelos mentales de: atención, memoria, imaginación, percepción (Geométrica y conceptual), perspicacia, inferencia y viso-espacialidad. Didácticamente, ésta actividad de aprendizaje es transversal, y que integra áreas del conocimiento: matemático, Lenguaje, artístico y las neurociencias. Acertijo dedicado a los Juegos Olímpicos de París 2024.
El curso de Texto Integrado de 8vo grado es un programa académico interdisciplinario que combina los contenidos y habilidades de varias asignaturas clave. A través de este enfoque integrado, los estudiantes tendrán la oportunidad de desarrollar una comprensión más holística y conexa de los temas abordados.
En el área de Estudios Sociales, los estudiantes profundizarán en el estudio de la historia, geografía, organización política y social, y economía de América Latina. Analizarán los procesos de descubrimiento, colonización e independencia, las características regionales, los sistemas de gobierno, los movimientos sociales y los modelos de desarrollo económico.
En Lengua y Literatura, se enfatizará el desarrollo de habilidades comunicativas, tanto en la expresión oral como escrita. Los estudiantes trabajarán en la comprensión y producción de diversos tipos de textos, incluyendo narrativos, expositivos y argumentativos. Además, se estudiarán obras literarias representativas de la región latinoamericana.
El componente de Ciencias Naturales abordará temas relacionados con la biología, la física y la química, con un enfoque en la comprensión de los fenómenos naturales y los desafíos ambientales de América Latina. Se explorarán conceptos como la biodiversidad, los recursos naturales, la contaminación y el desarrollo sostenible.
En el área de Matemática, los estudiantes desarrollarán habilidades en áreas como la aritmética, el álgebra, la geometría y la estadística. Estos conocimientos matemáticos se aplicarán a la resolución de problemas y al análisis de datos, en el contexto de las temáticas abordadas en las otras asignaturas.
A lo largo del curso, se fomentará la integración de los contenidos, de manera que los estudiantes puedan establecer conexiones significativas entre los diferentes campos del conocimiento. Además, se promoverá el desarrollo de habilidades transversales, como el pensamiento crítico, la resolución de problemas, la investigación y la colaboración.
Mediante este enfoque de Texto Integrado, los estudiantes de 8vo grado tendrán una experiencia de aprendizaje enriquecedora y relevante, que les permitirá adquirir una visión más amplia y comprensiva de los temas estudiados.
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptxOsiris Urbano
Evaluación de principales hallazgos de la Historia Clínica utiles en la orientación diagnóstica de Hemorragia Digestiva en el abordaje inicial del paciente.
1. LA DEMOSTRACIÓN EN MATEMÁTICAS
En estas notas, a modo de aterrizaje en los estudios del Grado en Matemáticas, se pretende que el
alumno entre en contacto con el quehacer en Matemáticas, que el aroma del oficio matemático se
empiece a sentir dentro del aula.
Estas notas no pretenden ser exhaustivas, ni mucho menos. Ni se puede decir que el alumno que las
trabaje correctamente adquirirá definitivamente con ellas un grado tal de madurez que lo sitúe en
plenas condiciones ante el reto de seguir las clases de las diferentes asignaturas como el de su
posterior asimilación. Pero al menos queremos que el salto cualitativo de unos estudios de
secundaria a otros de nivel superior sea lo menos traumático posible, pretendemos llenar el vacío
-grande a nuestro entender- que supone el iniciar unos estudios universitarios, los del grado en
Matemáticas, sin haber estado el alumno demasiado en contacto en el instituto con los mecanismos
lógicos en los que se basan la creación y el desarrollo de las diferentes áreas del campo matemático.
Tras unas charlas sobre Lógica Matemática y sobre el lenguaje de las matemáticas, ahora
abordamos la cuestión de la demostración en Matemáticas. Seguiremos el siguiente índice de
contenidos:
1. Introducción. Objetivo de estas notas.
2. Tipos de demostración. Ejemplos y ejercicios.
3. Comentarios alrededor de la demostración en Matemáticas.
4. Textos de demostraciones.
5. Referencias bibliográficas.
2. 1. INTRODUCCIÓN
Según el diccionario de la Lengua Española de la Real Academia Española,
demostración (del latín demonstratio, -onis) es, según una de las entradas del término,
“la prueba de algo, partiendo de verdades universales y evidentes”.
En términos matemáticos, diremos que una demostración es una serie de pasos lógicos, donde cada
paso se sigue de manera lógica de los anteriores, encontrándose que el último escalón es justamente
la afirmación que se quiere probar. El siguiente esquema nos aclara de forma intuitiva el
procedimiento de trabajo en los diferentes campos de las Matemáticas.
Partiendo de unas definiciones y un cuerpo axiomático bien definidos, se trata de ir desarrollando
un cuerpo teórico en el que en primer lugar se van deduciendo, mediante pasos lógicos, una serie de
resultados “menores” (lemas, proposiciones, …), que vienen a ser piezas de un puzle que unidas
convenientemente dan lugar a resultados de mayor envergadura y calado.
Aunque en principio el cuerpo de doctrina que se desarrolla es meramente teórico, no son
desdeñables -ni debemos perder su perspectiva- las posibles aplicaciones de los resultados
encontrados. Sin ir más lejos, la descomposición de los números naturales en factores primos es
pilar en que se basa el fluir seguro de información en Internet.
A continuación, veremos los diferentes métodos de demostración que se emplean en los pasos
lógicos que conducen a las afirmaciones que se quieren probar. Debe destacarse que la validez de
los resultados obtenidos siguen un estricto protocolo o control de calidad: partiendo de verdades ya
conocidas debemos encontrar argumentos lógicos que nos conduzcan a la conclusión deseada.
Definiciones
AXIOMAS
Lemas, Proposiciones,...
Teoremas, Corolarios
Aplicaciones
3. 2. MÉTODOS DE DEMOSTRACIÓN EN MATEMÁTICAS
Tratamos en este apartado los siguientes mecanismos lógicos:
• Método directo.
• Reducción al absurdo.
• Contrarrecíproco.
• Bicondicionales (doble implicación). Equivalencias múltiples.
• Método de inducción.
• Contraejemplos.
Método directo
En los libros de texto se suele leer:
“Si A, entonces B”
“Para que se cumpla B es suficiente que se cumpla A”
“B es una condición necesaria para que se cumpla A”
Se trata de de demostrar que si se cumple la propiedad A, entonces se verifica B.
Ejemplos:
i) Si a es un número real, sabiendo que en el conjunto de los números reales se cumple la
propiedad distributiva del producto respecto de la suma y que 0 es el elemento neutro de la
suma, probar que a×0 =0.
ii) Si n es un número natural impar, probar que n2
es de la forma 8k+1, para algún entero k≥1.
iii) Demostrar que para cada terna de números reales positivos a, b, c se cumple que
a/(b+c) + b/(a+c) + c/(a + b) ≥ 1.
iv) Dado un entero positivo n, probar que n3
-n es siempre múltiplo de 3.
v) Demostrar que las soluciones de la ecuación ax2
+bx+c=0, donde a,b,c son números reales,
vienen dadas a través de la fórmula (-b±√b2
-4ac)/2.
A B
4. Reducción al absurdo
Para probar que una propiedad A es verdadera, se supone que A es falsa y se llega a una
contradicción. Evidentemente, empleamos el hecho de que una proposición en Matemáticas ó es
verdadera ó es falsa, pero no ambas cosas a la vez.
Hay que decir que este recurso era muy querido por los matemáticos griegos. Hay quienes opinan
que es preferible dar, si es posible, demostraciones directas, para de esa forma no confundir al
alumno con tantas suposiciones que lleguen a crearle una sensación de falta de control en el
razonamiento, al no poder saber en cada momento qué es cierto o qué es falso.
Ejemplos:
i) Probar que √2 es un número real irracional.
ii) Demostrar que hay infinitos números primos (Euclides).
Contrarrecíproco
Este mecanismo de demostración se basa en el hecho de que la implicación A B es
equivalentemente lógica a NO B NO A. Este mecanismo es aconsejable cuando no sabemos
cómo trabajar a partir de la hipótesis A y, en cambio, la negación de B proporciona un buen punto
de partida. No se debe confundir el contrarrecíproco con el mecanismo de reducción al absurdo.
Ejemplos:
i) Si n2
es un número natural par, entonces n es par.
ii) Sean x, y números reales. Si x2
+y2
=0, entonces x=0 e y=0.
Doble implicación
El recíproco de la implicación A → B es B → A. Obviamente si se cumple una implicación no tiene
por qué cumplirse necesariamente la otra. Por ejemplo, si A representa a la propiedad de que un
número natural es múltiplo de 6 y B a la de ser múltiplo de 3, tenemos que A → B pero su recíproco
es cierto (¿sabría demostrarlo?).
Cuando se tiene que tanto la implicación A → B como su recíproco B → A son ciertas, decimos que
A B
NO B NO A
5. las condiciones A y B son equivalentes y empleamos el signo de la doble implicación.
En los textos aparece desarrollada esta doble implicación en sentencias del tipo:
“Probar que A y B son equivalentes”
“Probar que se cumple A si, y sólo si, se cumple B”
“Una condición necesaria y suficiente para que se dé A es que se verifique B”
Ejemplos:
i) Dados dos números reales x,y se cumple que x2
+y2
=0 si, y sólo si, x=0 e y=0.
ii) Dados dos enteros n, m se cumple que n∙m es par si, y sólo si, n es par ó m es par.
iii) Para que un paralelogramo sea un rectángulo es condición necesaria y suficiente que sus
diagonales tengan la misma longitud.
Equivalencias múltiples:
A lo largo de la carrera nos encontraremos con enunciados que afirmen que una serie de
propiedades son equivalentes. Por ejemplo, en Álgebra Lineal se demuestra el siguiente resultado.
“Dada una matriz A con n filas y n columnas, las siguientes afirmaciones son equivalentes:
i) A es invertible
ii) A tiene rango n
iii) Las filas de A son vectores linealmente independientes
iv) El sistema homogéneo de ecuaciones lineales con matriz de coeficientes A es determinado
v) A tiene determinante no nulo”
En este caso, estamos diciendo que las condiciones se implican unas a otras, así que en cuanto
sepamos que una de ellas es cierta (o no se cumple) entonces del resto podremos decir lo mismo.
Existen muchas formas de demostrar el resultado anterior, en el sentido de que podemos escoger
distintos itinerarios de implicaciones, eso sí, en las que intervengan todas las condiciones y de modo
que dicho itinerario forme un bucle cerrado. Por ejemplo, una posible vía sería
i) → ii) → iii) → iv) → v) → i)
Otra posibilidad puede ser
i) v) junto con ii) → iii) → v) → iv) → ii)
Etcétera.
Ejemplo: Probar que, dados dos números reales no negativos a,b las siguientes afirmaciones son
equivalentes:
i) a < b
ii) a2
< b2
iii) √a < √b
6. Método de inducción
Sea P(n) una propiedad relacionada con el número natural n.
– Se demuestra que P(1) es cierta.
– Se prueba que si P(k) es cierta, entonces P(k+1) también lo es.
En ese caso, la propiedad P(n) es válida para cualquier n Є N.
Ejemplo:
Probar por inducción que la suma de los n primeros enteros positivos es igual a n(n+1)/2:
1 + 2 + 3 + … + n =n(n+1)/2
En este caso, P(n)=la suma de los n primeros enteros positivos es n(n+1)/2
La propiedad es cierta para n=1: P(1)=1=1(2)/2=1
Es conveniente ver que también es cierta para algunos valores más
P(2)=1+2=3=2(3)/2; P(3)=1+2+3=6=3(4)/2.
La dificultad del método de inducción está en probar el paso general, esto es, demostrar que si
suponemos que la propiedad es cierta para k, también lo es para k+1.
Se supone que P(k)=k(k+1)/2 y queremos probar que la fórmula sigue siendo válida también para
k+1, es decir, que P(k+1)=(k+1)(k+2)/2. Vamos allá.
P(k+1)=1 + 2 + … + k + (k+1)= P(k) + (k+1) = aplicamos la hipótesis de inducción
=k(k+1)/2 +(k+1)=(k+1)[k/2+1]=(k+1)(k+2)/2, como queríamos probar.
Ejercicios:
i) Encontrar una fórmula para 2+4+6+ … +2n, n≥1, y demostrarla por inducción.
ii) Probar por inducción que para n>0 la derivada de fn(x)=xn
es f n '(x)=nxn-1
.
Dos observaciones: También se puede aplicar el método de inducción para probar que una
propiedad es cierta a partir de un valor k0, no tenemos por qué empezar necesariamente la inducción
por 1. En segundo lugar, cuando demostramos el paso general además de suponer que la propiedad
P(k) es cierta en un paso k podemos utilizar que la propiedad es cierta para 1, 2, …, k.
7. Contraejemplos
A veces, la validez de una propiedad se refuta dando un ejemplo en el que no se cumple dicha
propiedad: habremos probado entonces que,en general, la propiedad en cuestión es falsa. A dichos
ejemplos que echan abajo la validez de la propiedad se les conoce con el nombre de contrajemplos.
En muchas ocasiones, cuando nos enfrentamos a resolver un problema y vemos que la propiedad
que queremos demostrar no tiene un ataque sencillo, nos podemos plantear la posibilidad de
encontrar un contrajemplo.
Ejercicios:
i) ¿Es cierto que para cada entero positivo n se cumple que f(n)=n2
-n+17 es un número primo?
ii) ¿Es cierto que la derivada de una función derivable y periódica sigue siendo periódica?
¿Y qué podemos decir de la integral de una función periódica integrable?
iii) Leibniz probó que para cualquier entero positivo n se cumple
→ n3
-n es múltiplo de 3
→ n5
- n es múltiplo de 5
→ n7
-n es múltiplo de 7
A la vista de esos resultados, ¿podemos concluir que, en general, nk
-n es divisible
por k.
8. 3. COMENTARIOS
A. Sobre cómo abordar el enfrentarse a una demostración
Se deben entender todas las hipótesis así como el resultado al que se quiere llegar; es muy
importante conocer el marco en el que estamos trabajando. Una vez que entiendas bien de dónde
partes y a dónde quieres llegar, utiliza cualquiera de los mecanismos que has visto en la sección
anterior. Y no olvides tener en cuenta los conocimientos previos de cada uno de los temas en que te
estés desenvolviendo. Por ejemplo, si te piden demostrar que el límite de la suma de dos sucesiones
convergentes es igual a la suma de cada uno de los límites, está claro que tendrás que conocer la
definición de límite de una sucesión y de cómo se formula matemáticamente la convergencia de una
sucesión.
A medida que vaya pasando el tiempo te darás cuenta con mayor rapidez de qué tipo de
razonamiento deberás aplicar, en esto la repetición rutinaria en clase y tu esfuerzo en casa te
proporcionarán la madurez necesaria para afrontar con éxito la lectura y comprensión de cualquier
demostración.
B. Hipótesis latentes
Volviendo al tema de tener claras todas las hipótesis y de especificarlas convenientemente en los
enunciados, en el siguiente ejercicio se ve la importancia de este aspecto.
Ejercicio: Las siguientes afirmaciones son falsas. Explica por qué y añade las hipótesis necesarias
para dar validez a las respectivas afirmaciones.
• La ecuación x2
-2=0 no tiene soluciones.
• Dos rectas que no son iguales ni paralelas se cortan en un punto.
• Si una función f:R→R verifica f(0)<0 y f(2)>0, entonces su gráfica corta el eje de abscisas
en el intervalo (0,2).
Ejercicio: En la prensa, regional o nacional, suele aparecer en la página de pasatiempos el
siguiente juego, llamado cuadro numérico.
“Rellenar los cuadros en blanco con los números apropiados, de modo que resolviendo las
operaciones que se especifican se puedan obtener los resultados que se solicitan.”
+ ▬ = 1
+ + :
X 4 ▬ = 1
X ▬ +
+ : = 2
= 9 = 2 = 7
9. ¿Cree que el enunciado es preciso, desde un punto de vista matemático? ¿Por qué?
¿Cuál es el tipo de solución buscada? Si son soluciones enteras, ¿incluye el cero?
¿Qué tiene que decir respecto al orden de las operaciones?
¿Es única la solución?
C. Errores en las demostraciones
Como se dijo en secciones anteriores, para superar el control de calidad debemos cerciorarnos de
que todos los argumentos lógicos son correctos. No siempre es tarea fácil, como muestran los
siguientes ejemplos:
EJEMPLO 1: Detecte el error en la siguiente demostración, en donde se prueba que 1=2.
“Supongamos que x=y; entonces x2
=xy;
por tanto, restando a ambos lados y2
, tenemos x2
-y2
=xy-y2
;
de aquí, factorizando, se llega a (x+y)(x-y)=y(x-y);
simplificamos en esta última igualdad para llegar a que x+y=x;
como x=y, se sustituye y se obtiene 2y=y;
y al simplificar se obtiene ¡¡1=2!!”.
EJEMPLO 2:
“Queremos resolver la ecuación x3
-3x2
+4x-6=0.
La reescribimos así: x(x2
-3x+4)=3•2;
igualamos factores: x=3, x2
2-3x+4=2;
es decir x=3, x2
-3x+2=0;
al resolver la ecuación de segundo grado se obtiene: x=3, x=1, x=2;
por tanto, las soluciones son x=1, x=2, x=3”.
¡¡Pero el alumno puede comprobar, mediante sustitución en la ecuación de partida, que ninguno de
los valores es solución!!
EJEMPLO 3:
“Queremos resolver la ecuación trigonométrica sen(2x)=1.
Tenemos en cuenta que sen(π/2)=1;
en ese caso, x=π/4;
por tanto, la solución general, que debe contemplar cualquier número arbitrario de vueltas, será
x=π/4+2πk, con k un número entero arbitrario.”
¡¡Pero no todas las soluciones están contempladas en la expresión anterior!!¿Por qué?
10. EJEMPLO 4:
A continuación os presentamos la prueba de que la suma de los ángulos de un triángulo es igual a π
radianes. Sin embargo, no es correcta. ¿Sabrías indicar en dónde falla el razonamiento?
“Para mayor comodidad, sin que ello suponga pérdida de generalidad, trabajaremos sobre el
siguiente triángulo
Llamamos α a la suma de los ángulos del triángulo. Observamos entonces que
1+2+3= α, así como 4+5+6= α. Sumando ambas igualdades, llegamos a
1+2+3+4+5+6=2α; por otra parte, 1+3+4+6=α y 2+5=π, así que
(1+3+4+6)+(2+5)=2α → α + π = 2α → despejando, α = π, como queríamos demostrar”.
D. Conjeturas
Ya dijimos que la validez de los resultados en Matemáticas siguen un estricto protocolo de control
de calidad: debe encontrarse un argumento lógico que, mediante el uso de propiedades ya
conocidas, nos conduzcan a la conclusión deseada.
Este control no lo superan las llamadas conjeturas, proposiciones que se elaboran a partir de la
experiencia acumulada y de las observaciones realizadas, pero que no se logran demostrar con
argumentos lógicos. A veces, el uso de computadoras da evidencias numéricas de que la propieda en
cuestión es válida para ciertos valores, pero este hecho no es bastante como para concluir
categóricamente que la propiedad es cierta
Hasta hace unos pocos años, la conjetura más famosa era la de Fermat, quien a mediados del siglo
XVII afirmó que para n>2 una suma de potencias de base entera y exponente n no puede dar lugar a
una potencia de las mismas características.
Otras conjeturas que están todavía sin resolver y que, seguramente, tendrán que esperar a que se
desarrollen las herramientas matemáticas apropiadas, son:
– Conjetura de Goldbach: “Todo número par mayor que 2 se puede escribir como la suma de
dos números primos”
– Conjetura de los primos gemelos: “Hay infinitos primos gemelos, esto es, infinitas parejas
de primos que son consecutivos (saltando, obviamente el par que los separa)”.
– Conjetura de Collatz: “Dado un número entero positivo n1 , realizamos el siguiente proceso
de iteración: si n1 es par, devolvemos n1 /2; si n1 es impar, hacemos 3 n1 +1; y repetimos el
proceso de nuevo. Por ejemplo, si n1=6, encontramos la sucesión
{6,3,10,5,16,8,4,2,1,4,2,1,2,4,...}. Pues bien, la conjetura de Collatz afirma que, se empiece
por el número n1 que se quiera, acabaremos llegando al bucle periódico 1,2,4,1,2,4, ...”
2
1
3 4
5 6
11. E. El ingenio en las demostraciones
El ingenio es importante cuando se quiere hacer una demostración. Además, al matemático le gusta
encontrar nuevas demostraciones que sean lo más sencillas posibles, sin un arsenal muy sofisticado,
aunque no siempre es posible (recordemos el teorema de Fermat). También el tiempo hace que
vayamos aprendiendo nuevas estrategias de resolución.
– i) El principio del palomar como parte de ese ingenio.
¿Qué argumento podríamos elaborar para demostrar que en la región de Murcia hay al
menos dos personas con el mismo número de pelos en la cabeza? (se excluyen los calvos).
– ii) Las fichas de dominó.
¿Qué argumento podríamos elaborar para demostrar que si en un tablero de ajedrez
quitamos dos esquinas es imposible teselar la figura resultante con 31 fichas de dos
cuadrados cada una?
– iii) Un problema de desigualdades:
¿Qué número es mayor, π elevado a e o e elevado a π?
– iv) Probar que todas las funciones reales derivables f(x) tales que f'(x)=f(x) son del tipo
f(x)=Cex
, con C una constante arbitraria.
12. 4. TEXTOS DE DEMOSTRACIONES
Los siguientes resultados están tomados de diferentes libros de texto. En ellos vamos a tratar de
reconocer los mecanismos de demostración que se han aplicado e intentaremos diseccionar los
ingredientes que forman parte en sus enunciados.
Proposición: Sea A un conjunto y sea * una ley de composición interna (l.c.i.). Entonces existe a lo
sumo un elemento neutro en A respeto de * .
Demostración:
Supongamos que e y e' son dos elementos neutros en A. Entonces se satisfacen las siguientes
igualdades:
e * e' = e' = e' * e (por ser e neutro)
e * e' = e = e' * e (por ser e' neutro)
Consecuentemente, e=e', csqd. □
Responda a las siguientes preguntas:
1) ¿Qué conceptos debe conocer a priori para entender perfectamente el enunciado?
2) ¿Podría dar un ejemplo reconocible de un conjunto y una operación interna dentro de él?
3) ¿Qué tipo de prueba se desarrolla en la demostración?
4) Según se desarrolla la demostración, ¿piensa que se da por hecho que siempre existe un
elemento neutro? ¿Podría precisar un poco más la parte inicial de la prueba?
Teorema:
Si X=(xn) es una sucesión convergente de números reales y si xn ≥0 para toda nЄN, entonces
x:=lim(xn) ≥ 0.
Demostración:
Supóngase que la conclusión es falsa y que x<0; entonces ε:=-x es positiva. Puesto que X converge
a x, existe un número natural K tal que
x – ε < xn < x + ε para toda n ≥ K.
En particular se tiene xK < x + ε = x + (-x)=0. Pero esto contradice la hipótesis de que xn ≥ 0 para
toda nЄN. Por lo tanto, esta contradicción indica que x ≥ 0. □
Responda:
1) ¿Qué conceptos debe entender perfectamente si quiere comprender completamente la
demostración?
2) ¿Qué mecanismo emplea el autor para demostrar el teorema?
3) Piense: Si en el enunciado escribimos “Si X=(xn) es una sucesión convergente de números
reales y si xn >0 para toda nЄN, entonces x:=lim(xn) > 0”, ¿será verdadera o falsa la
afirmación? Si es cierta, demuéstrelo, y si es falsa proponga un contraejemplo.
13. Teorema: Sea S un subconjunto de R. Entonces las tres afirmaciones siguientes son equivalentes:
a) S es compacto.
b) S es cerrado y acotado.
c) Todo subconjunto infinito de S tiene un punto de acumulación en S.
Demostración:
Como se indicó antes, (b) implica (a). Si probamos que (a) implica (b), que (b) implica (c) y que (c)
implica (b), habremos establecido la equivalencia de las tres afirmaciones.
Supongamos que se verifica (a). Probaremos primero que S está acotado. Elijamos un punto … por
lo tanto, S está acotado.
A continuación probaremos que S es cerrado. Supongamos que no lo fuese. Existiría … Esta
contradicción prueba que S es cerrado y, por lo tanto, que ( ) implica ( ).
Supongamos que se verifica (b). En este caso la demostración de (c) es inmediata, ya que …
Supongamos que se verifica (c). Probaremos (b). Si S no estuviese acotado, … en contradicción con
el hecho de que … Todo ello prueba que S está acotado.
Para terminar la demostración tenemos que probar que S es un conjunto cerrado. Sea x un punto de
… con lo cual queda demostrado que (c) implica (a). □
Responda:
1) Haga un esquema de la estrategia seguida para demostrar el resultado.
2) ¿Cuántas veces se ha empleado el mecanismo de la reducción al absurdo?
3) Complete la parte subrayada en el texto.
4) Si quiere entender perfectamente el enunciado, ¿qué conceptos deberá conocer
necesariamente?
5) En la demostración se usa un resultado previo establecido en el texto con anterioridad.
¿Sabría decir cuál es?
5. REFERENCIAS BIBLIOGRÁFICAS
– Libro de Miguel de Guzmán: “Cómo hablar, demostrar y resolver en Matemáticas”,
Editorial Anaya, 2003.
– “Método de inducción matemática. Lecciones populares de Matemáticas”, I.S. Sominski,
Editorial Mir, 1985 (librillo de unas 60 páginas con todo lo que se debe saber acerca del
método de inducción).
– Materiales de la Universidad Complutense de Madrid:
http://www.mat.ucm.es/~angelin/labred/indice.htm
– Materiales de la Profesora Marta Macho, de la Universidad del País Vasco:
http://www.ehu.es/~mtwmastm/Docencia.html
14. EJERCICIOS
1. Demuestra que si q es un entero no divisible por 2 ni divisible por 3, entonces q2
-1 es
divisible por 12.
2. Dado un número natural par n, probar que n(n2
+20) es múltiplo de 48.
3. Dados dos números reales no negativos a, b, probar que su media aritmética es siempre
mayor o igual a su media geométrica, esto es, (a+b)/2 ≥ √ab .
4. Con el fin de trabajar correctamente el uso de implicaciones en las demostraciones, se pide
que en las siguientes frases se completen los puntos suspensivos con “si”, “sólo si” ó “si y
sólo si” y se formule la propiedad usando los símbolos de implicación correspondiente:
• Una suma de números enteros es impar sólo si uno de ellos es impar
(si la suma es impar uno de ellos es impar )
• Un producto de números enteros es par … … … uno de ellos es par.
• Dos números enteros suman 25 … … … uno de ellos es mayor que 12.
• Un número entero es par … … … su cuadrado es múltiplo de 4.
• Un número natural que acaba en 4 es múltiplo de 4 … … … la cifra de las decenas es par.
• Un número natural es múltiplo de 5 … … … acaba en 5.
• x2
-5x+6=0 … … … x=2 ó x=3.
• x3
-6x2
+11x-6=0 … … … x=2 ó x=3.
• Para un número real x se tiene: x Є [1,2] … … … x2
Є [1,4].
5. En la misma línea del ejercicio anterior, complete ahora los puntos suspensivos con
“necesario”, “suficiente” ó “necesario y suficiente”.
• Para que un producto de números enteros sea impar es … … … que uno de ellos sea impar.
• Para que una suma de números reales x+y sea positiva es … … … que x e y sean positivos.
• Para que un número real x esté en el intervalo [1,5] es … … … que el cuadrado x2
esté en el
intervalo [1,25].
• Para que una matriz cuadrada A sea invertible es … … … que su determinante |A| sea no
nulo.
6. Si a, b son números reales positivos tales que √ab ≠ (a+b)/2, entonces a≠b.
7. ¿Son ciertas las siguientes afirmaciones sobre números reales? Conteste razonadamente.
• (x+y)2
=0 si, y sólo si, x=y=0.
• Si a es un número irracional y b es racional, entonces a+b es necesariamente irracional.
• Si a y b son números irracionales, a·b es necesariamente irracional.
15. 8. Sean A, B, C conjuntos. Probar la validez de las siguientes propiedades:
• A∩(B U C) = (A ∩B) U (A ∩ C).
• (A B) U (B A) = (A U B) (A ∩ B).
• La imagen f(A ∩ B) está contenida en f(A)∩f(B), donde f es una aplicación arbitraria.
9. Demuestra que x+(1/x)≥2 para todo número real positivo x.
10. Prueba que √3 es un número real irracional.
11. Definimos la parte entera de un número real x, y la representamos a través de [x], como el
mayor de los enteros k tal que k ≤ x. Por ejemplo, [3'24]=3 y [-12'897]=-13.
Prueba que para cualquier pareja x, y de números reales se tiene que una condición necesaria
y suficiente para que se cumpla [x]<[y] es que exista un entero n de modo que x < n ≤ y.
12. Sean a,b números reales con 0<a<b, y sea n un entero positivo. Probar que existe un entero
k tal que a < k/n < b si, y sólo si, [na]+1 < nb.
13. Si escogemos seis números entre 1 y 10, dos de ellos sumarán 11.
14. Sea A la matriz 2x2 de coeficientes a11=a12=a22=1, a21=0. Encontrar una fórmula para la
matriz An
, donde n es un entero positivo.
15. Deducir una fórmula para la suma de los cuadrados de los n primeros números enteros
positivos, y demostrar su validez mediante inducción.
16. Para acabar, relájate un poco con el siguiente sudoku, pero, eso sí, resuélvelo de manera
lógica, e interioriza qué tipo de razonamiento has efectuado en cada paso.
1 9
6 8 7 5
7 2
2 1 5 9 3
4 8
4 3 2 8 7
1 9
5 6 9 4
6 8