Creator prompt
The idea behind this presentation
┌─────────────────────────────────────────────────────────────────┐
│ │
│ 🧮 INDUCCIÓN MATEMÁTICA Y DEDUCCIÓN │
│ │
│ Matemática Discreta - Segundo Semestre │
│ │
│ 📚 Contenido: │
│ • Diferencia entre Inducción y Deducción │
│ • Principio de Inducción Matemática │
│ • 4 Ejemplos prácticos paso a paso │
│ • Aplicaciones en la vida real │
│ │
│ "La inducción es el arte de generalizar a partir de │
│ casos particulares" │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ 🎯 OBJETIVOS DE APRENDIZAJE │
│ │
│ Al finalizar esta clase, podrás: │
│ │
│ ✅ Diferenciar entre razonamiento inductivo y deductivo │
│ ✅ Comprender el Principio de Inducción Matemática │
│ ✅ Aplicar inducción para demostrar sumatorias │
│ ✅ Aplicar inducción en problemas de Torres de Hanoi │
│ ✅ Demostrar propiedades de divisibilidad │
│ ✅ Identificar cuándo usar inducción vs deducción │
│ │
│ 📌 PREGUNTA INICIAL: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ ¿Todos los cisnes son blancos? │ │
│ │ • Inducción: He visto 100 cisnes blancos → │ │
│ │ "Todos los cisnes son blancos" (conclusión │ │
│ │ probable pero NO garantizada) │ │
│ │ • Deducción: Si todos los cisnes son blancos y │ │
│ │ este es un cisne, entonces es blanco │ │
│ │ (conclusión garantizada) │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ ⚖️ INDUCCIÓN VS DEDUCCIÓN │
│ │
│ ┌────────────────────────────────────────────────────────────┐│
│ │ CARACTERÍSTICA │ INDUCCIÓN │ DEDUCCIÓN ││
│ ├──────────────────┼─────────────────────┼─────────────────┤│
│ │ Dirección │ Particular → │ General → ││
│ │ │ General │ Particular ││
│ ├──────────────────┼─────────────────────┼─────────────────┤│
│ │ Certeza │ Probable │ Cierta ││
│ │ │ (no garantizada) │ (garantizada) ││
│ ├──────────────────┼─────────────────────┼─────────────────┤│
│ │ Base │ Observaciones │ Premisas ││
│ │ │ empíricas │ lógicas ││
│ ├──────────────────┼─────────────────────┼─────────────────┤│
│ │ Ejemplo │ "El sol sale por │ "Todos los ││
│ │ │ el este todos los │ hombres son ││
│ │ │ días" │ mortales. ││
│ │ │ │ Sócrates es ││
│ │ │ │ hombre → ││
│ │ │ │ Sócrates es ││
│ │ │ │ mortal" ││
│ ├──────────────────┼─────────────────────┼─────────────────┤│
│ │ Uso en │ Ciencias │ Matemáticas, ││
│ │ matemáticas │ experimentales │ Lógica ││
│ └──────────────────┴─────────────────────┴─────────────────┘│
│ │
│ INDUCCIÓN MATEMÁTICA vs INDUCCIÓN CIENTÍFICA: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ • Inducción Científica: Generalización a partir de │ │
│ │ observaciones (probabilística) │ │
│ │ • Inducción Matemática: Demostración rigurosa │ │
│ │ (100% cierta) │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ 📚 PRINCIPIO DE INDUCCIÓN MATEMÁTICA │
│ │
│ DEFINICIÓN FORMAL: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Sea P(n) una proposición definida para todo n ≥ n₀. │ │
│ │ Si se cumple: │ │
│ │ │ │
│ │ 1. PASO BASE: P(n₀) es verdadero │ │
│ │ │ │
│ │ 2. PASO INDUCTIVO: Para todo k ≥ n₀, │ │
│ │ P(k) → P(k+1) │ │
│ │ │ │
│ │ Entonces P(n) es verdadero para todo n ≥ n₀ │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ ANALOGÍA DEL DOMINÓ: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ 🂠 🂠 🂠 🂠 🂠 🂠 🂠 🂠 🂠 🂠 │ │
│ │ │ │
│ │ • Paso Base: El primer dominó cae │ │
│ │ • Paso Inductivo: Cada dominó derriba al siguiente │ │
│ │ • Conclusión: Todos los dominós caen │ │
│ │ │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ ESTRUCTURA DE UNA DEMOSTRACIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ 📌 PASO BASE (n = n₀) │ │
│ │ Verificar directamente que P(n₀) es verdadero │ │
│ │ │ │
│ │ 📌 HIPÓTESIS DE INDUCCIÓN │ │
│ │ Suponer que P(k) es verdadero para algún k ≥ n₀ │ │
│ │ │ │
│ │ 📌 PASO INDUCTIVO │ │
│ │ Demostrar que P(k) → P(k+1) │ │
│ │ (Usando la hipótesis de inducción) │ │
│ │ │ │
│ │ 📌 CONCLUSIÓN │ │
│ │ Por el principio de inducción, P(n) es verdadero │ │
│ │ para todo n ≥ n₀ │ │
│ │ │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ 📝 EJEMPLO 1: SUMATORIA DE NÚMEROS IMPARES │
│ │
│ PROPOSICIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Para todo n ≥ 1: │ │
│ │ │ │
│ │ 1 + 3 + 5 + ... + (2n-1) = n² │ │
│ │ │ │
│ │ Es decir: Σ_{i=1}^{n} (2i-1) = n² │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ DEMOSTRACIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ 📌 PASO BASE (n = 1): │ │
│ │ Lado izquierdo: Σ_{i=1}^{1} (2i-1) = 1 │ │
│ │ Lado derecho: 1² = 1 │ │
│ │ ✅ 1 = 1 → Verdadero │ │
│ │ │ │
│ │ 📌 HIPÓTESIS DE INDUCCIÓN: │ │
│ │ Suponer que para algún k ≥ 1: │ │
│ │ Σ_{i=1}^{k} (2i-1) = k² │ │
│ │ │ │
│ │ 📌 PASO INDUCTIVO (k → k+1): │ │
│ │ Σ_{i=1}^{k+1} (2i-1) = │ │
│ │ Σ_{i=1}^{k} (2i-1) + (2(k+1)-1) = │ │
│ │ k² + (2k+2-1) = k² + (2k+1) │ │
│ │ k² + 2k + 1 = (k+1)² │ │
│ │ │ │
│ │ ✅ Por lo tanto, la fórmula se cumple para n = k+1 │ │
│ │ │ │
│ │ 📌 CONCLUSIÓN: │ │
│ │ Por el principio de inducción matemática, │ │
│ │ Σ_{i=1}^{n} (2i-1) = n² para todo n ≥ 1 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ 📊 VISUALIZACIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ n=1: ■ = 1 = 1² │ │
│ │ n=2: ■ + ■■■ = 4 = 2² │ │
│ │ n=3: ■ + ■■■ + ■■■■■ = 9 = 3² │ │
│ │ n=4: ■ + ■■■ + ■■■■■ + ■■■■■■■ = 16 = 4² │ │
│ │ │ │
│ │ ¡Forman un cuadrado perfecto! │ │
│ │ │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ 📝 EJEMPLO 2: SUMATORIA DE NÚMEROS NATURALES │
│ │
│ PROPOSICIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Para todo n ≥ 1: │ │
│ │ │ │
│ │ 1 + 2 + 3 + ... + n = n(n+1)/2 │ │
│ │ │ │
│ │ Es decir: Σ_{i=1}^{n} i = n(n+1)/2 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ DEMOSTRACIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ 📌 PASO BASE (n = 1): │ │
│ │ Lado izquierdo: Σ_{i=1}^{1} i = 1 │ │
│ │ Lado derecho: 1(1+1)/2 = 1 │ │
│ │ ✅ 1 = 1 → Verdadero │ │
│ │ │ │
│ │ 📌 HIPÓTESIS DE INDUCCIÓN: │ │
│ │ Suponer que para algún k ≥ 1: │ │
│ │ Σ_{i=1}^{k} i = k(k+1)/2 │ │
│ │ │ │
│ │ 📌 PASO INDUCTIVO (k → k+1): │ │
│ │ Σ_{i=1}^{k+1} i = Σ_{i=1}^{k} i + (k+1) │ │
│ │ = k(k+1)/2 + (k+1) │ │
│ │ = (k+1)(k/2 + 1) │ │
│ │ = (k+1)(k+2)/2 │ │
│ │ │ │
│ │ ✅ Por lo tanto, la fórmula se cumple para n = k+1 │ │
│ │ │ │
│ │ 📌 CONCLUSIÓN: │ │
│ │ Por el principio de inducción matemática, │ │
│ │ Σ_{i=1}^{n} i = n(n+1)/2 para todo n ≥ 1 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ 📊 ANÉCDOTA HISTÓRICA: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Carl Friedrich Gauss (1777-1855) descubrió esta │ │
│ │ fórmula a los 10 años. Su maestro les pidió │ │
│ │ sumar 1+2+3+...+100. Gauss encontró: │ │
│ │ 100·101/2 = 5050 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ 📝 EJEMPLO 3: TORRES DE HANOI │
│ │
│ EL PROBLEMA: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ ┌──┐ │ │
│ │ │1 │ │ │
│ │ ├──┤ ┌──┐ │ │
│ │ │2 │ │ │ │ │
│ │ ├──┤ └──┘ ┌──┐ │ │
│ │ │3 │ │ │ │ │
│ │ └──┘ └──┘ │ │
│ │ Torre A Torre B Torre C │ │
│ │ │ │
│ │ Mover todos los discos de A a C usando B como │ │
│ │ auxiliar, moviendo un disco a la vez y nunca │ │
│ │ colocando un disco grande sobre uno más pequeño. │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ PROPOSICIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ El número mínimo de movimientos para n discos es: │ │
│ │ │ │
│ │ M(n) = 2^n - 1 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ DEMOSTRACIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ 📌 PASO BASE (n = 1): │ │
│ │ M(1) = 1 = 2^1 - 1 │ │
│ │ ✅ Verdadero │ │
│ │ │ │
│ │ 📌 HIPÓTESIS DE INDUCCIÓN: │ │
│ │ Suponer que para algún k ≥ 1: │ │
│ │ M(k) = 2^k - 1 │ │
│ │ │ │
│ │ 📌 PASO INDUCTIVO (k → k+1): │ │
│ │ Para mover k+1 discos: │ │
│ │ 1. Mover k discos de A a B: M(k) movimientos │ │
│ │ 2. Mover el disco más grande de A a C: 1 │ │
│ │ movimiento │ │
│ │ 3. Mover k discos de B a C: M(k) movimientos │ │
│ │ │ │
│ │ M(k+1) = M(k) + 1 + M(k) = 2M(k) + 1 │ │
│ │ = 2(2^k - 1) + 1 = 2^{k+1} - 2 + 1 │ │
│ │ = 2^{k+1} - 1 │ │
│ │ │ │
│ │ ✅ Por lo tanto, la fórmula se cumple para n = k+1 │ │
│ │ │ │
│ │ 📌 CONCLUSIÓN: │ │
│ │ Por el principio de inducción matemática, │ │
│ │ M(n) = 2^n - 1 para todo n ≥ 1 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ 📝 EJEMPLO 4: n³ - n ES MÚLTIPLO DE 3 │
│ │
│ PROPOSICIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Para todo n ≥ 1: │ │
│ │ │ │
│ │ n³ - n es divisible por 3 │ │
│ │ │ │
│ │ Es decir: 3 | (n³ - n) │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ DEMOSTRACIÓN: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ │ │
│ │ 📌 PASO BASE (n = 1): │ │
│ │ 1³ - 1 = 1 - 1 = 0 │ │
│ │ 0 es divisible por 3 │ │
│ │ ✅ Verdadero │ │
│ │ │ │
│ │ 📌 HIPÓTESIS DE INDUCCIÓN: │ │
│ │ Suponer que para algún k ≥ 1: │ │
│ │ 3 | (k³ - k) │ │
│ │ Es decir: k³ - k = 3m para algún m ∈ ℤ │ │
│ │ │ │
│ │ 📌 PASO INDUCTIVO (k → k+1): │ │
│ │ (k+1)³ - (k+1) = │ │
│ │ (k³ + 3k² + 3k + 1) - (k + 1) = │ │
│ │ k³ + 3k² + 3k + 1 - k - 1 = │ │
│ │ k³ - k + 3k² + 3k = │ │
│ │ (k³ - k) + 3(k² + k) │ │
│ │ │ │
│ │ Por hipótesis: k³ - k = 3m │ │
│ │ Entonces: (k+1)³ - (k+1) = 3m + 3(k² + k) │ │
│ │ = 3(m + k² + k) │ │
│ │ │ │
│ │ ✅ 3 | ((k+1)³ - (k+1)) │ │
│ │ │ │
│ │ 📌 CONCLUSIÓN: │ │
│ │ Por el principio de inducción matemática, │ │
│ │ 3 | (n³ - n) para todo n ≥ 1 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
---
┌─────────────────────────────────────────────────────────────────┐
│ EJERCICIO 1: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Demostrar por inducción: │ │
│ │ 1² + 2² + 3² + ... + n² = n(n+1)(2n+1)/6 │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ EJERCICIO 2: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Demostrar por inducción: │ │
│ │ 5 | (6^n - 1) │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
│ EJERCICIO 5: │
│ ┌────────────────────────────────────────────────────────┐ │
│ │ Demostrar por inducción: │ │
│ │ La suma de los primeros n números pares es: │ │
│ │ 2 + 4 + 6 + ... + 2n = n(n+1) │ │
│ └────────────────────────────────────────────────────────┘ │
│ │
└─────────────────────────────────────────────────────────────────┘
Follow Design: {"palette":["Chalkboard Slate #1E293B — deep background for focus","Mathematical Indigo #4F46E5 — primary accent and headings","Proof Emerald #059669 — validation checks and base case highlights","Parchment White #F8FAFC — clean foreground card background","Graphite Charcoal #0F172A — primary body text","Logic Amber #D97706 — inductive step alert and highlights"],"fonts":{"STIX Two Text":"https://fonts.googleapis.com/css2?family=STIX+Two+Text:ital,wght@0,400..700;1,400..700&display=swap","Inter":"https://fonts.googleapis.com/css2?family=Inter:ital,wght@0,100..900;1,100..900&display=swap","JetBrains Mono":"https://fonts.googleapis.com/css2?family=JetBrains+Mono:ital,wght@0,100..800;1,100..800&display=swap"},"type":"STIX Two Text for formal mathematical headers and theorem statements with classic serif elegance; Inter for crisp, highly readable pedagogical body text; JetBrains Mono in medium weight for inline proofs, formal algebra strings, and notation indices.","layout":"A 12-column modular academic grid with generous 64px gutters. Slide compositions use a two-track layout: theoretical proposition cards anchored on the left 5 columns, with structured proof progression and domino step-cards stacked linearly across the right 7 columns.","framework_treatment":"Crisp off-white proof cards with razor-thin 1px border rules (#E2E8F0), pill-shaped step badges ('Paso Base', 'Hipótesis', 'Paso Inductivo') color-coded with subtle tinted backgrounds, monospace formula callout containers with left highlight borders, and discrete grid-dot background patterns.","feels_like":"A modern MIT OpenCourseWare lecture slide deck blended with a refined LaTeX mathematical paper"}