Calculadora de Demostraciones Geométricas

Una demostración geométrica es un argumento paso a paso que demuestra la verdad de una afirmación utilizando definiciones, postulados y teoremas previamente demostrados. La Calculadora de Demostraciones Geométricas toma una condición dada y una afirmación a demostrar, y produce una demostración completa en dos columnas — paso, razón, paso, razón — utilizando los postulados y teoremas aplicables. Este tutorial explica la estructura de una demostración en dos columnas, lo que cuenta como una razón válida y los tipos de demostración más comunes que encontrarás en geometría.

El formato de demostración en dos columnas

El formato tradicional para las demostraciones de geometría de secundaria tiene dos columnas:

Cada paso debe tener una justificación en el lado derecho. Justificaciones aceptables:

• Dado — indicado en el problema
• Definición — por la definición de un término (por ej. "definición de punto medio")
• Postulado — una suposición fundamental que no necesita prueba (por ej. Postulado LLL)
• Teorema — una afirmación previamente demostrada (por ej. "Teorema de los ángulos opuestos por el vértice")
• Propiedad — una propiedad algebraica (reflexiva, simétrica, transitiva, sustitución, distributiva)
• CPCTC — Las partes correspondientes de triángulos congruentes son congruentes (se usa después de demostrar que dos triángulos son congruentes)

Cómo funciona la calculadora

En segundo plano, la calculadora utiliza un modelo de lenguaje grande entrenado con miles de demostraciones geométricas. Tú proporcionas:

1. Lo dado: las condiciones iniciales. Ejemplo: "AB = CD, BC = DE, ABCD es un cuadrilátero".
2. Lo a demostrar: la afirmación que deseas demostrar. Ejemplo: "El triángulo ABE ≅ El triángulo CDE".
3. Opcional: una fotografía de la figura. El sistema de Visión Artificial puede leer tanto el diagrama como cualquier etiqueta impresa.

La IA:

1. Analiza las condiciones dadas y el objetivo.
2. Identifica qué teorema(s) las conectan.
3. Construye la cadena de afirmaciones, citando cada justificación.
4. Genera la demostración en formato de dos columnas (o en forma de párrafo si se solicita).

Tipos estándar de demostración

La mayoría de las demostraciones introductorias de geometría caen en una de estas categorías:

1. Demostraciones de congruencia de triángulos

Utiliza uno de los 5 postulados de congruencia (LLL, LAL, ALA, ALA, HL) para demostrar que dos triángulos son congruentes. Luego utiliza CPCTC para extraer igualdades específicas de partes correspondientes.

Estructura típica: identificar elementos compartidos (lados reflexivos, ángulos opuestos por el vértice, ángulos alternos internos), emparejarlos, invocar el postulado y concluir la congruencia.

2. Demostraciones de semejanza de triángulos

Utiliza uno de los 3 postulados de semejanza (AA, LLL-semejanza, LAL-semejanza) para mostrar que dos triángulos son semejantes. Luego utiliza la proporcionalidad de los lados correspondientes para derivar razones específicas.

3. Demostraciones de ángulos en líneas paralelas

Establece que dos líneas son paralelas mostrando una de las condiciones angulares equivalentes (correspondientes iguales, alternos internos iguales, consecutivos suplementarios). O utiliza líneas ya paralelas para derivar ángulos iguales.

4. Demostraciones de clasificación de cuadriláteros

Muestra que un cuadrilátero es un paralelogramo, rombo, rectángulo, cuadrado, cometa o trapecio isósceles demostrando sus propiedades definitorias.

Ejemplo: "Demuestra que ABCD es un paralelogramo." Estrategia: muestra que ambos pares de lados opuestos son paralelos, O que ambos pares de lados opuestos son iguales, O que ambos pares de ángulos opuestos son iguales, O que las diagonales se bisecan mutuamente — CUALQUIERA de estas es suficiente.

5. Demostraciones de teoremas del círculo

Teorema del ángulo inscrito, propiedades de la línea tangente, relaciones cuerda-arco, teoremas de ángulos de cuadriláteros cíclicos.

6. Demostraciones de segmentos y ángulos

Bisectrices, puntos medios, perpendiculares, adiciones/sustracciones de ángulos. A menudo utilizan propiedades algebraicas (sustitución, transitividad) junto con las geométricas.

Qué hace que una demostración sea "rigurosa"

Una demostración es rigurosa cuando cada paso está justificado por una afirmación previamente establecida — sin saltos de intuición, sin "obviamente esto es cierto". Los rúbricas estándar de calificación de geometría de secundaria esperan:

• Cada paso numerado.
• Cada paso justificado por nombre (por ej. "Teorema de los ángulos opuestos por el vértice", no "obvio").
• La progresión lógica — cada paso sigue de los anteriores mediante el teorema/propiedad citado.
• El paso final coincide exactamente con lo "a demostrar".

Ejemplo resuelto

Dado: AB ∥ CD; AB = CD.
A demostrar: △ABE ≅ △CDE (donde E es la intersección de las diagonales AC y BD).

La demostración tiene 5 líneas, cada una justificada, llevando desde lo dado hasta la conclusión.

Consejos para escribir demostraciones a mano

• Empieza con lo dado, termina con el objetivo. Asegúrate de que el paso 1 cite un "dado" y el último paso coincida exactamente con "a demostrar".
• Identifica elementos compartidos temprano. Un lado compartido o un ángulo compartido (reflexivo) suele ser un paso gratuito que conecta las dos partes de tu demostración.
• Busca líneas paralelas. Ellas te dan muchas igualdades angulares "gratis" a través de los teoremas de líneas paralelas.
• No saltes pasos. Incluso los pasos algebraicamente obvios como la sustitución deben citarse. "A = B, B = C, por lo tanto A = C" son tres pasos, no uno.
• Escribe CPCTC, no "partes correspondientes". El acrónimo estándar es universalmente aceptado.

Cuándo usar IA vs hacerlo a mano

La IA es más rápida para:

• Verificar que has encontrado una demostración correcta (compara tu trabajo con el de la IA).
• Generar una demostración cuando estás atascado y necesitas una estrategia inicial.
• Traducir una demostración de libro de texto de forma de párrafo a forma de dos columnas (o viceversa).
• Leer un problema de una foto y obtener una demostración instantánea.

Hazlo a mano cuando:

• Es trabajo evaluado y el profesor lo requiere.
• Estás estudiando para un examen (escribir demostraciones a mano consolida los patrones).
• La demostración es corta — para demostraciones de 3 líneas, la IA es excesiva.

Limitaciones

• La IA puede citar el nombre incorrecto del teorema. El razonamiento suele ser correcto, pero el nombre explícito (por ej. "Teorema de los ángulos opuestos por el vértice" vs "Teorema del par lineal") puede ser inconsistente. Lee críticamente.
• Las demostraciones largas de múltiples etapas pueden resumirse. Una demostración que requiera 12+ pasos podría comprimirse a 6-7. Si necesitas cada paso, pide "demostración completa en dos columnas, sin pasos resumidos".
• Geometría no euclidiana no soportada. La IA asume axiomas euclidianos estándar. Las demostraciones de geometría esférica/hiperbólica/proyectiva están fuera del alcance.