Postulados y Teoremas: Reglas y Logros
La geometría funciona como un juego con reglas claras. Los postulados son las reglas que se aceptan sin probar y los teoremas son los logros o descubrimientos nuevos que se prueban usando esas reglas. Como en el fútbol, nadie demuestra por qué la cancha es rectangular, se acepta y se juega, pero una buena jugada sí se explica paso a paso.
Un postulado es una afirmación básica que se acepta sin demostración porque es evidente o necesaria. Debe ser simple, no contradecir a otros postulados y servir de base para probar otras cosas. El ejemplo clásico es que por dos puntos distintos A y B pasa una única recta l.
Un teorema es una afirmación que no se acepta de frente, se debe demostrar con lógica. Todo teorema tiene hipótesis, que es lo dado al inicio o el si pasa esto, tesis, que es lo que se debe probar o el entonces ocurre esto, y demostración, que es el camino paso a paso con postulados. Por ejemplo, si B está entre A y C, entonces AB + BC = AC. Un corolario es una consecuencia rápida de un teorema y un lema es un teorema pequeño que ayuda a probar otro mayor.
Los postulados que más usarás vienen de Euclides: por dos puntos pasa una única recta, todo segmento se puede prolongar, por un punto fuera de una recta pasa una única paralela y todos los rectos son iguales. Con ellos se prueba por contradicción que dos rectas distintas que se cruzan solo tienen un punto en común: suponer dos puntos comunes rompe el postulado de la única recta, por lo que es falso.